Spin, statistics, orientations, unitarity

Johnson-Freyd, Theo¹

¹Department of Mathematics, Northwestern University, 2033 Sheridan Road, Evanston, IL 60208, United States

Algebraic and Geometric Topology, Tome 17 (2017) no. 2, pp. 917-956

Résumé

A topological quantum field theory is hermitian if it is both oriented and complex-valued, and orientation-reversal agrees with complex conjugation. A field theory satisfies spin-statistics if it is both spin and super, and 360∘–rotation of the spin structure agrees with the operation of flipping the signs of all fermions. We set up a framework in which these two notions are precisely analogous. In this framework, field theories are defined over  Vectℝ, but rather than being defined in terms of a single tangential structure, they are defined in terms of a bundle of tangential structures over Spec(ℝ). Bundles of tangential structures may be étale-locally equivalent without being equivalent, and hermitian field theories are nothing but the field theories controlled by the unique nontrivial bundle of tangential structures that is étale-locally equivalent to Orientations. This bundle owes its existence to the fact that π1 ét(Spec(ℝ)) = π1 BO(∞). We interpret Deligne’s “existence of super fiber functors” theorem as implying that π2 ét(Spec(ℝ)) = π2 BO(∞) in a categorification of algebraic geometry in which symmetric monoidal categories replace commutative rings. One finds that there are eight bundles of tangential structures étale-locally equivalent to Spins, one of which is distinguished; upon unpacking the meaning of a field theory with that distinguished tangential structure, one arrives at a field theory that is both hermitian and satisfies spin-statistics. Finally, we formulate in our framework a notion of reflection-positivity and prove that if an étale-locally-oriented field theory is reflection-positive then it is necessarily hermitian, and if an étale-locally-spin field theory is reflection-positive then it necessarily both satisfies spin-statistics and is hermitian. The latter result is a topological version of the famous spin-statistics theorem.

Détail

DOI : 10.2140/agt.2017.17.917

Classification : 14A22, 57R56, 81T50
Keywords: TQFT, spin, super, categorification, torsors, Galois theory

Bibliographie

[1] M Atiyah, Topological quantum field theories, Inst. Hautes Études Sci. Publ. Math. 68 (1988) 175

[2] D Ayala, Geometric cobordism categories, PhD thesis, Stanford University (2009)

[3] D Ayala, J Francis, Factorization homology of topological manifolds, J. Topol. 8 (2015) 1045 | DOI

[4] J C Baez, J Dolan, From finite sets to Feynman diagrams, from: "Mathematics unlimited—2001 and beyond" (editors B Engquist, W Schmid), Springer (2001) 29

[5] G J Bird, Limits in 2–categories of locally presentable categories, PhD thesis, University of Sydney (1984)

[6] M Brandenburg, A Chirvasitu, T Johnson-Freyd, Reflexivity and dualizability in categorified linear algebra, Theory Appl. Categ. 30 (2015) 808

[7] D Calaque, C Scheimbauer, A note on the (∞,n)–category of cobordisms, preprint (2015)

[8] A Chirvasitu, T Johnson-Freyd, The fundamental pro-groupoid of an affine 2–scheme, Appl. Categ. Structures 21 (2013) 469 | DOI

[9] P Deligne, Catégories tensorielles, Mosc. Math. J. 2 (2002) 227

[10] C L Douglas, C Schommer-Pries, N Snyder, The balanced tensor product of module categories, preprint (2014)

[11] S Eilenberg, Abstract description of some basic functors, J. Indian Math. Soc. 24 (1960) 231

[12] D S Freed, M J Hopkins, Reflection positivity and invertible topological phases, preprint (2016)

[13] N Ganter, M Kapranov, Symmetric and exterior powers of categories, Transform. Groups 19 (2014) 57 | DOI

[14] R Haugseng, Iterated spans and “classical” topological field theories, preprint (2014)

[15] M Kapranov, Supergeometry in mathematics and physics, preprint (2015)

[16] G M Kelly, Basic concepts of enriched category theory, 64, Cambridge University Press (1982) 245

[17] A Kleshchev, Linear and projective representations of symmetric groups, 163, Cambridge University Press (2005) | DOI

[18] L G Lewis Jr., When projective does not imply flat, and other homological anomalies, Theory Appl. Categ. 5 (1999) 202

[19] D Li-Bland, The stack of higher internal categories and stacks of iterated spans, preprint (2015)

[20] J Lurie, On the classification of topological field theories, from: "Current developments in mathematics" (editors D Jerison, B Mazur, T Mrowka, W Schmid, R Stanley, S T Yau), Int. Press (2009) 129 | DOI

[21] V Ostrik, On symmetric fusion categories in positive characteristic, preprint (2015)

[22] C J Schommer-Pries, The classification of two-dimensional extended topological field theories, PhD thesis, University of California, Berkeley (2009)

[23] G Segal, The definition of conformal field theory, from: "Topology, geometry and quantum field theory" (editor U Tillmann), London Math. Soc. Lecture Note Ser. 308, Cambridge University Press (2004) 421 | DOI

[24] S Stolz, P Teichner, Supersymmetric field theories and generalized cohomology, from: "Mathematical foundations of quantum field theory and perturbative string theory" (editors H Sati, U Schreiber), Proc. Sympos. Pure Math. 83, Amer. Math. Soc. (2011) 279 | DOI

[25] R F Streater, A S Wightman, PCT, spin and statistics, and all that, W A Benjamin (1964)

[26] C E Watts, Intrinsic characterizations of some additive functors, Proc. Amer. Math. Soc. 11 (1960) 5 | DOI