×

Conformal field theory as a nuclear functor. (English) Zbl 1277.18005

Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 101-132 (2007).
Summary: We consider Segal’s categorical approach to conformal field theory (CFT). Segal constructed a category whose objects are finite families of circles, and whose morphisms are Riemann surfaces with boundary compatible with the families of circles in the domain and codomain. A CFT is then defined to be a functor to the category of Hilbert spaces, preserving the appropriate structure. In particular, morphisms in the geometric category must be sent to trace class maps.{ }However, Segal’s approach is not quite categorical, as the geometric structure he considers has an associative composition, but lacks identities. We begin by demonstrating that an appropriate method of dealing with the lack of identities in this situation is the notion of nuclear ideal, as defined by Abramsky and the first two authors. More precisely, we show that Segal’s structure is contained in a larger category as a nuclear ideal. While it is straightforward to axiomatize categories without identities, the theory of nuclear ideals further captures the idea of the identity as a singular object. An excellent example of a singular identity to keep in mind is the Dirac delta “function”. We argue that this sort of singularity is precisely what is occurring in conformal field theory.{ }We then show that Segal’s definition of CFT can be defined as a nuclear functor to the category of Hilbert spaces and bounded linear maps, equipped with its nuclear structure of Hilbert-Schmidt maps.{ }As a further example, we examine Neretin’s notion of correct linear relation (CLR), and show that it also contains a nuclear ideal. We then present Neretin’s construction of a functor from the geometric category to CLR, the category of Hilbert spaces and correct linear relations, and show that it is a nuclear functor and hence a generalized CFT.{ }We conclude by noting that composition in Neretin’s category can also be seen in Girard’s geometry of interaction construction.
For the entire collection see [Zbl 1273.68018].

MSC:

18D10 Monoidal, symmetric monoidal and braided categories (MSC2010)
03F52 Proof-theoretic aspects of linear logic and other substructural logics
81T40 Two-dimensional field theories, conformal field theories, etc. in quantum mechanics
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abramsky, S.; Jagadeesan, R., New foundations for the geometry of interaction, Information and Computation, 111, 1, 53-119 (May 1994)
[2] Abramsky, S.; Blute, R.; Panangaden, P., Nuclear and trace ideals in tensored *-categories, Journal of Pure and Applied Algebra, 143, 3-47 (1999) · Zbl 0946.18004
[3] Abramsky, S.; Haghverdi, E.; Scott, P., Geometry of interaction and linear combinatory algebras, Mathematical Structures in Computer Science, 12, 625-665 (2002) · Zbl 1014.03056
[4] Abramsky, S., Retracing some paths in process algebra, (Montanari, U.; Sassone, V., CONCUR ’96: Concurrency Theory, 7th International Conference (1996), Springer-Verlag), 1-17 · Zbl 1514.68153
[5] Abramsky, S.; Coecke, B., A categorical semantics of quantum protocols, (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science 2004 (2004), IEEE Comput. Soc. Press)
[6] Atiyah, M., Topological quantum field theories, Publ. Math. Inst. Hautes Etudes Sci. Paris, 68, 175-186 (1989) · Zbl 0692.53053
[7] Atiyah, M., The Geometry and Physics of Knots (1990), Cambridge University Press · Zbl 0729.57002
[8] R. Blute. Shape theory for nuclear ideals. to appear in Theory and Applications of Categories; R. Blute. Shape theory for nuclear ideals. to appear in Theory and Applications of Categories
[9] R. Blute, P. Panangaden. Nuclear ideals and formal distributions. Preprint; R. Blute, P. Panangaden. Nuclear ideals and formal distributions. Preprint · Zbl 1253.81006
[10] Doplicher, S.; Roberts, J., A new duality theory for compact groups, Inventiones Mathematicae, 98, 157-218 (1989) · Zbl 0691.22002
[11] Danos, V.; Regnier, L., Proof nets and the Hilbert space, (Girard, J. Y.; Lafont, Y.; Regnier, L., Advances in Linear Logic (1995), Cambridge University Press) · Zbl 0854.03011
[12] Fiore, T., Pseudo Limits, Biadjoints, and Pseudo Algebras: Categorical Foundations of Conformal Field Theory, Memoirs of the American Mathematical Society, 182, 860 (2006) · Zbl 1100.81036
[13] T. Fiore. On the cobordism and commutative monoid with cancellation approaches to conformal field theory. To appear in the Journal of Pure and Applied Algebra, (2007); T. Fiore. On the cobordism and commutative monoid with cancellation approaches to conformal field theory. To appear in the Journal of Pure and Applied Algebra, (2007) · Zbl 1119.81384
[14] Girard, J.-Y., Linear logic, Theoretical Computer Science, 50, 1-102 (1987) · Zbl 0625.03037
[15] J.-Y. Girard. Geometry of interaction I: interpretation of system F. Proceedings of the ASL Meeting, Padova; J.-Y. Girard. Geometry of interaction I: interpretation of system F. Proceedings of the ASL Meeting, Padova
[16] Girard, J. Y.; Lafont, Y.; Taylor, P., Proofs and Types (1989), Cambridge University Press
[17] Grothendieck, A., Produits Tensoriels Topologiques et Espaces Nucleaires, AMS Memoirs (1955), American Mathematical Society · Zbl 0123.30301
[18] E. Haghverdi. Unique Decomposition Categories, Geometry of Interaction and Combinatory Logic, Thesis, (2000); E. Haghverdi. Unique Decomposition Categories, Geometry of Interaction and Combinatory Logic, Thesis, (2000) · Zbl 0951.03062
[19] Higgs, D. A.; Rowe, K., Nuclearity in the category of complete semilattices, Journal of Pure and Applied Algebra, 57, 67-78 (1989) · Zbl 0666.18007
[20] Hu, P.; Kriz, I., Conformal field theory and elliptic cohomology, Advances in Mathematics, 189, 325-412 (2004) · Zbl 1071.55004
[21] Hu, P.; Kriz, I., Closed and open conformal field theories and their anomalies, Communications in Mathematical Physics, 254, 221-253 (2005) · Zbl 1091.81073
[22] Joyal, A.; Street, R.; Verity, D., Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society, 119, 425-446 (1996) · Zbl 0845.18005
[23] Kadison, R.; Ringrose, J., Fundamentals of the Theory of Operator Algebras (1983), Academic Press · Zbl 0518.46046
[24] Kelly, G. M.; Laplaza, M., Coherence for compact closed categories, Journal of Pure and Applied Algebra, 19, 193-213 (1980) · Zbl 0447.18005
[25] Mac Lane, S., Categories for the Working Mathematician, Graduate texts in Mathematics, volume 5 (1971), Springer-Verlag: Springer-Verlag New York · Zbl 0232.18001
[26] Malacaria, P.; Regnier, L., Some results on the interpretation of \(λ\)-calculus in operator algebras, (Proceedings of Logic in Computer Science (1991), IEEE Computer Science Press)
[27] Milin, I. M., Univalent Functions and Orthonormal Systems (1977), AMS: AMS Providence, Rhode Island · Zbl 0342.30006
[28] Milnor, J. W., Topology from a differentiable standpoint (1965), Princeton University Press
[29] Y. Neretin. Holomorphic extensions of representations of the group of diffeomorphisms of the circle Math. USSR Sbornik 67, pp. 75-97; Y. Neretin. Holomorphic extensions of representations of the group of diffeomorphisms of the circle Math. USSR Sbornik 67, pp. 75-97 · Zbl 0696.58010
[30] Pressley, A.; Segal, G., Loop Groups (1988), Oxford University Press · Zbl 0638.22009
[31] Segal, G., The definition of conformal field theory, (Bleuler, K.; Werner, M., Differential Geometric Methods in Theoretical Physics (1988), Kluwer Academic Publishers), 165-171
[32] Segal, G., The definition of conformal field theory, (Tillmann, U., Topology, Geometry and Quantum Field Theory (2003)), 421-575 · Zbl 1372.81138
[33] P. Selinger. Dagger compact closed categories and completely positive maps. (Extended Abstract). in; P. Selinger. Dagger compact closed categories and completely positive maps. (Extended Abstract). in · Zbl 1277.18008
[34] Witten, E., Topological quantum field theory, Comm. Math. Phys., 117, 353-386 (1988) · Zbl 0656.53078
[35] Witten, E., Quantum field theory and the Jones polynomial, Comm. Math. Phys., 121, 351-399 (1989) · Zbl 0667.57005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.