-
On the 576-fold periodicity of the spectrum SQFT: The proof of the lower bound via the Anderson duality pairing
Authors:
Theo Johnson-Freyd,
Mayuko Yamashita
Abstract:
We are aimed at giving a differential geometric, and accordingly physical, explanation of the 576-periodicity of TMF. In this paper, we settle the problem of giving the lower bound 576. We formulate the problem as follows: we assume a spectrum $\mathrm{SQFT}$ with some conditions, suggest from physical considerations about the classifying spectrum for two-dimensional $\mathcal{N}=(0,1)$-supersymme…
▽ More
We are aimed at giving a differential geometric, and accordingly physical, explanation of the 576-periodicity of TMF. In this paper, we settle the problem of giving the lower bound 576. We formulate the problem as follows: we assume a spectrum $\mathrm{SQFT}$ with some conditions, suggest from physical considerations about the classifying spectrum for two-dimensional $\mathcal{N}=(0,1)$-supersymmetric quantum field theories, and show that the periodicity of $\mathrm{SQFT}$ is no less than 576. The main tool for the proof is the analogue of the Anderson duality pairing introduced by the second-named author and Tachikawa. We do not rely on the Segal-Stolz-Teichner conjecture, so in particular we do not use any comparison map with TMF.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Dagger $n$-categories
Authors:
Giovanni Ferrer,
Brett Hungar,
Theo Johnson-Freyd,
Cameron Krulewski,
Lukas Müller,
Nivedita,
David Penneys,
David Reutter,
Claudia Scheimbauer,
Luuk Stehouwer,
Chetan Vuppulury
Abstract:
We present a coherent definition of dagger $(\infty,n)$-category in terms of equivariance data trivialized on parts of the category. Our main example is the bordism higher category $\mathbf{Bord}_{n}^X$. This allows us to define a reflection-positive topological quantum field theory to be a higher dagger functor from $\mathbf{Bord}_{n}^X$ to some target higher dagger category $\mathcal{C}$. Our de…
▽ More
We present a coherent definition of dagger $(\infty,n)$-category in terms of equivariance data trivialized on parts of the category. Our main example is the bordism higher category $\mathbf{Bord}_{n}^X$. This allows us to define a reflection-positive topological quantum field theory to be a higher dagger functor from $\mathbf{Bord}_{n}^X$ to some target higher dagger category $\mathcal{C}$. Our definitions have a tunable parameter: a group $G$ acting on the $(\infty,1)$-category $\mathbf{Cat}_{(\infty,n)}$ of $(\infty,n)$-categories. Different choices for $G$ accommodate different flavours of higher dagger structure; the universal choice is $G = \operatorname{Aut}(\mathbf{Cat}_{(\infty,n)}) = (\mathbb{Z}/2\mathbb{Z})^n$, which implements dagger involutions on all levels of morphisms. The Stratified Cobordism Hypothesis suggests that there should be a map $\mathrm{PL}(n) \to \operatorname{Aut}(\mathbf{AdjCat}_{(\infty,n)})$, where $\mathrm{PL}(n)$ is the group of piecewise-linear automorphisms of $\mathbb{R}^n$ and $\mathbf{AdjCat}_{(\infty,n)}$ the $(\infty,1)$-category of $(\infty,n)$-categories with all adjoints; we conjecture more strongly that $\operatorname{Aut}(\mathbf{AdjCat}_{(\infty,n)}) \cong \mathrm{PL}(n)$. Based on this conjecture we propose a notion of dagger $(\infty,n)$-category with unitary duality or $\mathrm{PL}(n)$-dagger category. We outline how to construct a $\mathrm{PL}(n)$-dagger structure on the fully-extended bordism $(\infty,n)$-category $\mathbf{Bord}_n^X$ for any stable tangential structure $X$; our outline restricts to a rigorous construction of a coherent dagger structure on the unextended bordism $(\infty,1)$-category $\mathbf{Bord}_{n,n-1}^X$. The article is a report on the results of a workshop held in Summer 2023, and is intended as a sketch of the big picture and an invitation for more thorough development.
△ Less
Submitted 23 April, 2024; v1 submitted 3 March, 2024;
originally announced March 2024.
-
Ground-state degeneracy of twisted sectors of Conway Moonshine SCFT
Authors:
Alissa Furet,
Theo Johnson-Freyd
Abstract:
We calculate the ground state degeneracies of all twisted sectors in the "Conway Moonshine'' holomorphic SCFT $V^{f\natural}$. We find that almost all sectors have ground states of only a single parity: specifically, 66 twisted sectors have nontrivial ground states of a single parity, 39 twisted sectors have spontaneous supersymmetry breaking, and only 6 twisted sectors have ground states of both…
▽ More
We calculate the ground state degeneracies of all twisted sectors in the "Conway Moonshine'' holomorphic SCFT $V^{f\natural}$. We find that almost all sectors have ground states of only a single parity: specifically, 66 twisted sectors have nontrivial ground states of a single parity, 39 twisted sectors have spontaneous supersymmetry breaking, and only 6 twisted sectors have ground states of both parities. Although "nontrivial ground states, all of the same parity'' is the expected behaviour for a generic SQM model without symmetry protection, it is surprising in the presence of a large symmetry group, as is the case in $V^{f\natural}$. This surprise hints that there are as-yet-undiscovered features of Conway Moonshine.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Minimal nondegenerate extensions
Authors:
Theo Johnson-Freyd,
David Reutter
Abstract:
We prove that every slightly degenerate braided fusion category admits a minimal nondegenerate extension, and hence that every pseudo-unitary super modular tensor category admits a minimal modular extension. This completes the program of characterizing minimal nondegenerate extensions of braided fusion categories.
Our proof relies on the new subject of fusion 2-categories. We study in detail the…
▽ More
We prove that every slightly degenerate braided fusion category admits a minimal nondegenerate extension, and hence that every pseudo-unitary super modular tensor category admits a minimal modular extension. This completes the program of characterizing minimal nondegenerate extensions of braided fusion categories.
Our proof relies on the new subject of fusion 2-categories. We study in detail the Drinfel'd centre Z(Mod-B) of the fusion 2-category Mod-B of module categories of a braided fusion 1-category B. We show that minimal nondegenerate extensions of B correspond to certain trivializations of Z(Mod-B). In the slightly degenerate case, such trivializations are obstructed by a class in $\mathrm{H}^5(K(\mathbb{Z}_2, 2); k^\times)$ and we use a numerical invariant -- defined by evaluating a certain two-dimensional topological field theory on a Klein bottle -- to prove that this obstruction always vanishes.
Along the way, we develop techniques to explicitly compute in braided fusion 2-categories which we expect will be of independent interest. In addition to the model of Z(Mod-B) in terms of braided B-module categories, we develop a computationally useful model in terms of certain algebra objects in B. We construct an S-matrix pairing for any braided fusion 2-category, and show that it is nondegenerate for Z(Mod-B). As a corollary, we identify components of Z(Mod-B) with blocks in the annular category of B and with the homomorphisms from the Grothendieck ring of the Müger centre of B to the ground field.
△ Less
Submitted 14 June, 2023; v1 submitted 31 May, 2021;
originally announced May 2021.
-
Topological Orders in (4+1)-Dimensions
Authors:
Theo Johnson-Freyd,
Matthew Yu
Abstract:
We investigate the Morita equivalences of (4+1)-dimensional topological orders. We show that any (4+1)-dimensional super (fermionic) topological order admits a gapped boundary condition -- in other words, all (4+1)-dimensional super topological orders are Morita trivial. As a result, there are no inherently gapless super (3+1)-dimensional theories. On the other hand, we show that there are infinit…
▽ More
We investigate the Morita equivalences of (4+1)-dimensional topological orders. We show that any (4+1)-dimensional super (fermionic) topological order admits a gapped boundary condition -- in other words, all (4+1)-dimensional super topological orders are Morita trivial. As a result, there are no inherently gapless super (3+1)-dimensional theories. On the other hand, we show that there are infinitely many algebraically Morita-inequivalent bosonic (4+1)-dimensional topological orders.
△ Less
Submitted 19 July, 2022; v1 submitted 9 April, 2021;
originally announced April 2021.
-
(3+1)D topological orders with only a $\mathbb{Z}_2$-charged particle
Authors:
Theo Johnson-Freyd
Abstract:
There is exactly one bosonic (3+1)-dimensional topological order whose only nontrivial particle is an emergent boson: pure $\mathbb{Z}_2$ gauge theory. There are exactly two (3+1)-dimensional topological orders whose only nontrivial particle is an emergent fermion: pure "spin-$\mathbb{Z}_2$" gauge theory, in which the dynamical field is a spin structure; and an anomalous version thereof. I give th…
▽ More
There is exactly one bosonic (3+1)-dimensional topological order whose only nontrivial particle is an emergent boson: pure $\mathbb{Z}_2$ gauge theory. There are exactly two (3+1)-dimensional topological orders whose only nontrivial particle is an emergent fermion: pure "spin-$\mathbb{Z}_2$" gauge theory, in which the dynamical field is a spin structure; and an anomalous version thereof. I give three proofs of this classification, varying from hands-on to abstract. Along the way, I provide a detailed study of the braided fusion $2$-category $\mathcal{Z}_{(1)}(Σ\mathbf{SVec})$ of string and particle operators in pure spin-$\mathbb{Z}_2$ gauge theory.
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
Fusion 2-categories with no line operators are grouplike
Authors:
Theo Johnson-Freyd,
Matthew Yu
Abstract:
We show that if $\mathcal{C}$ is a fusion $2$-category in which the endomorphism category of the unit object is $\rm{Vec}$ or $\rm{SVec}$, then the indecomposable objects of $\mathcal{C}$ form a finite group.
We show that if $\mathcal{C}$ is a fusion $2$-category in which the endomorphism category of the unit object is $\rm{Vec}$ or $\rm{SVec}$, then the indecomposable objects of $\mathcal{C}$ form a finite group.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Topological Mathieu Moonshine
Authors:
Theo Johnson-Freyd
Abstract:
We explore the Atiyah-Hirzebruch spectral sequence for the $tmf^\bullet[\frac12]$-cohomology of the classifying space $BM_{24}$ of the largest Mathieu group $M_{24}$, twisted by a class $ω\in H^4(BM_{24};Z[\frac12]) \cong Z_3$. Our exploration includes detailed computations of the $Z_3$-cohomology of $M_{24}$ and of the first few differentials in the AHSS. We are specifically interested in the val…
▽ More
We explore the Atiyah-Hirzebruch spectral sequence for the $tmf^\bullet[\frac12]$-cohomology of the classifying space $BM_{24}$ of the largest Mathieu group $M_{24}$, twisted by a class $ω\in H^4(BM_{24};Z[\frac12]) \cong Z_3$. Our exploration includes detailed computations of the $Z_3$-cohomology of $M_{24}$ and of the first few differentials in the AHSS. We are specifically interested in the value of $tmf^\bullet_ω(BM_{24})[\frac12]$ in cohomological degree $-27$. Our main computational result is that $tmf^{-27}_ω(BM_{24})[\frac12] = 0$ when $ω\neq 0$. For comparison, the restriction map $tmf^{-3}_ω(BM_{24})[\frac12]\to tmf^{-3}(pt)[\frac12] \cong Z_3$ is surjective for one of the two nonzero values of $ω$.
Our motivation comes from Mathieu Moonshine. Assuming a well-studied conjectural relationship between $TMF$ and supersymmetric quantum field theory, there is a canonically-defined $Co_1$-twisted-equivariant lifting $[\bar{V}^{f\natural}]$ of the class $\{24Δ\} \in TMF^{-24}(pt)$, where $Co_1$ denotes Conway's largest sporadic group. We conjecture that the product $[\bar{V}^{f\natural}] ν$, where $ν\in TMF^{-3}(pt)$ is the image of the generator of $tmf^{-3}(pt) \cong Z_{24}$, does not vanish $Co_1$-equivariantly, but that its restriction to $M_{24}$-twisted-equivariant $TMF$ does vanish. This conjecture answers some of the questions in Mathieu Moonshine: it implies the existence of a minimally supersymmetric quantum field theory with $M_{24}$ symmetry, whose twisted-and-twined partition functions have the same mock modularity as in Mathieu Moonshine. Our AHSS calculation establishes this conjecture "perturbatively" at odd primes.
An appendix included mostly for entertainment purposes discusses "$\ell$-complexes" and their relation to $\mathrm{SU}(2)$ Verlinde rings. The case $\ell=3$ is used in our AHSS calculations.
△ Less
Submitted 17 April, 2021; v1 submitted 4 June, 2020;
originally announced June 2020.
-
On the classification of topological orders
Authors:
Theo Johnson-Freyd
Abstract:
We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial centre. Dualizability encodes the word "topological," and we take it as the definition of "(separable) multifusion $n$-category"; triviality of the centre implements…
▽ More
We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial centre. Dualizability encodes the word "topological," and we take it as the definition of "(separable) multifusion $n$-category"; triviality of the centre implements the physical principle of "remote detectability." We show that such $n$-categorical algebras are Morita-invertible (in the appropriate higher Morita category), thereby identifying topological orders with anomalous fully-extended TQFTs. We identify centreless fusion $n$-categories (i.e. multifusion $n$-categories with indecomposable unit) with centreless braided fusion $(n{-}1)$-categories. We then discuss the classification in low spacetime dimension, proving in particular that all $(1{+}1)$- and $(3{+}1)$-dimensional topological orders, with arbitrary symmetry enhancement, are suitably-generalized topological sigma models. These mathematical results confirm and extend a series of conjectures and proposals by X.G. Wen et al.
△ Less
Submitted 13 June, 2022; v1 submitted 14 March, 2020;
originally announced March 2020.
-
Supersymmetry and the Suzuki chain
Authors:
Theo Johnson-Freyd
Abstract:
We classify $N{=}1$ SVOAs with no free fermions and with bosonic subalgebra a simply connected WZW algebra which is not of type $\mathrm{E}$. The latter restriction makes the classification tractable; the former restriction implies that the $N{=}1$ automorphism groups of the resulting SVOAs are finite. We discover two infinite families and nine exceptional examples. The exceptions are all related…
▽ More
We classify $N{=}1$ SVOAs with no free fermions and with bosonic subalgebra a simply connected WZW algebra which is not of type $\mathrm{E}$. The latter restriction makes the classification tractable; the former restriction implies that the $N{=}1$ automorphism groups of the resulting SVOAs are finite. We discover two infinite families and nine exceptional examples. The exceptions are all related to the Leech lattice: their automorphism groups are the larger groups in the Suzuki chain ($\mathrm{Co}_1$, $\mathrm{Suz}{:}2$, $\mathrm{G}_2(4){:}2$, $\mathrm{J}_2{:}2$, $\mathrm{U}_3(3){:}2$) and certain large centralizers therein ($2^{10}{:}\mathrm{M}_{12}{:}2$, $\mathrm{M}_{12}{:}2$, $\mathrm{U}_4(3){:}D_8$, $\mathrm{M}_{21}{:}2^2$). Along the way, we elucidate fermionic versions of a number of VOA operations, including simple current extensions, orbifolds, and 't Hooft anomalies.
△ Less
Submitted 17 May, 2020; v1 submitted 28 August, 2019;
originally announced August 2019.
-
Condensations in higher categories
Authors:
Davide Gaiotto,
Theo Johnson-Freyd
Abstract:
We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretati…
▽ More
We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretation of the notion of condensation: it encodes a general class of constructions which produce a new topological phase of matter by turning on a commuting projector Hamiltonian on a lattice of defects within a different topological phase, which may be the trivial phase. We also identify our higher Karoubi envelopes with categories of fully-dualizable objects. Together with the Cobordism Hypothesis, we argue that this realizes an equivalence between a very broad class of gapped topological phases of matter and fully extended topological field theories, in any number of dimensions.
△ Less
Submitted 1 August, 2019; v1 submitted 23 May, 2019;
originally announced May 2019.
-
Mock modularity and a secondary elliptic genus
Authors:
Davide Gaiotto,
Theo Johnson-Freyd
Abstract:
The theory of Topological Modular Forms suggests the existence of deformation invariants for two-dimensional supersymmetric field theories that are more refined than the standard elliptic genus. In this note we give a physical definition of some of these invariants. The theory of mock modular forms makes a surprise appearance, shedding light on the integrality properties of some well-known example…
▽ More
The theory of Topological Modular Forms suggests the existence of deformation invariants for two-dimensional supersymmetric field theories that are more refined than the standard elliptic genus. In this note we give a physical definition of some of these invariants. The theory of mock modular forms makes a surprise appearance, shedding light on the integrality properties of some well-known examples.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
Galois action on VOA gauge anomalies
Authors:
Theo Johnson-Freyd
Abstract:
Assuming regularity of the fixed subalgebra, any action of a finite group $G$ on a holomorphic VOA $V$ determines a gauge anomaly $α\in \mathrm{H}^3(G; \boldsymbolμ)$, where $\boldsymbolμ \subset \mathbb{C}^\times$ is the group of roots of unity. We show that under Galois conjugation $V \mapsto {^γV}$, the gauge anomaly transforms as $α\mapsto γ^2(α)$. This provides an a priori upper bound of…
▽ More
Assuming regularity of the fixed subalgebra, any action of a finite group $G$ on a holomorphic VOA $V$ determines a gauge anomaly $α\in \mathrm{H}^3(G; \boldsymbolμ)$, where $\boldsymbolμ \subset \mathbb{C}^\times$ is the group of roots of unity. We show that under Galois conjugation $V \mapsto {^γV}$, the gauge anomaly transforms as $α\mapsto γ^2(α)$. This provides an a priori upper bound of $24$ on the order of anomalies of actions preserving a $\mathbb{Q}$-structure, for example the Monster group $\mathbb{M}$ acting on its Moonshine VOA $V^\natural$. We speculate that each field $\mathbb{K}$ should have a "vertex Brauer group" isomorphic to $\mathrm{H}^3(\mathrm{Gal}(\bar{\mathbb{K}}/\mathbb{K}); \boldsymbolμ^{\otimes 2})$. In order to motivate our constructions and speculations, we warm up with a discussion of the ordinary Brauer group, emphasizing the analogy between VOA gauging and quantum Hamiltonian reduction.
△ Less
Submitted 18 February, 2020; v1 submitted 15 November, 2018;
originally announced November 2018.
-
Holomorphic SCFTs with small index
Authors:
Davide Gaiotto,
Theo Johnson-Freyd
Abstract:
We observe that every self-dual ternary code determines a holomorphic N=1 superconformal field theory. This provides ternary constructions of some well-known holomorphic N=1 SCFTs, including Duncan's "supermoonshine" model and the fermionic "beauty and the beast" model of Dixon, Ginsparg, and Harvey. Along the way, we clarify some issues related to orbifolds of fermionic holomorphic CFTs. We give…
▽ More
We observe that every self-dual ternary code determines a holomorphic N=1 superconformal field theory. This provides ternary constructions of some well-known holomorphic N=1 SCFTs, including Duncan's "supermoonshine" model and the fermionic "beauty and the beast" model of Dixon, Ginsparg, and Harvey. Along the way, we clarify some issues related to orbifolds of fermionic holomorphic CFTs. We give a simple coding-theoretic description of the supersymmetric index and conjecture that for every self-dual ternary code this index is divisible by 24; we are able to prove this conjecture except in the case when the code has length 12 mod 24. Lastly, we discuss a conjecture of Stolz and Teichner relating N=1 SCFTs with Topological Modular Forms. This conjecture implies constraints on the supersymmetric indexes of arbitrary holomorphic SCFTs, and suggests (but does not require) that there should be, for each k, a holomorphic N=1 SCFT of central charge 12k and index 24/gcd(k,24). We give ternary code constructions of SCFTs realizing this suggestion for k \leq 5.
△ Less
Submitted 1 November, 2018;
originally announced November 2018.
-
Third Homology of some Sporadic Finite Groups
Authors:
Theo Johnson-Freyd,
David Treumann
Abstract:
We compute the integral third homology of most of the sporadic finite simple groups and of their central extensions.
We compute the integral third homology of most of the sporadic finite simple groups and of their central extensions.
△ Less
Submitted 10 August, 2019; v1 submitted 30 September, 2018;
originally announced October 2018.
-
Symmetry Protected Topological phases and Generalized Cohomology
Authors:
Davide Gaiotto,
Theo Johnson-Freyd
Abstract:
We discuss the classification of SPT phases in condensed matter systems. We review Kitaev's argument that SPT phases are classified by a generalized cohomology theory, valued in the spectrum of gapped physical systems. We propose a concrete description of that spectrum and of the corresponding cohomology theory. We compare our proposal to pre-existing constructions in the literature.
We discuss the classification of SPT phases in condensed matter systems. We review Kitaev's argument that SPT phases are classified by a generalized cohomology theory, valued in the spectrum of gapped physical systems. We propose a concrete description of that spectrum and of the corresponding cohomology theory. We compare our proposal to pre-existing constructions in the literature.
△ Less
Submitted 19 September, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
The Moonshine Anomaly
Authors:
Theo Johnson-Freyd
Abstract:
The anomaly for the Monster group $\mathbb{M}$ acting on its natural (aka moonshine) representation $V^\natural$ is a particular cohomology class $ω^\natural \in \mathrm{H}^3(\mathbb{M},\mathrm{U}(1))$ that arises as a conformal field theoretic generalization of the second Chern class of a representation. This paper shows that $ω^\natural$ has order exactly $24$ and is not a Chern class. In order…
▽ More
The anomaly for the Monster group $\mathbb{M}$ acting on its natural (aka moonshine) representation $V^\natural$ is a particular cohomology class $ω^\natural \in \mathrm{H}^3(\mathbb{M},\mathrm{U}(1))$ that arises as a conformal field theoretic generalization of the second Chern class of a representation. This paper shows that $ω^\natural$ has order exactly $24$ and is not a Chern class. In order to perform this computation, this paper introduces a finite-group version of T-duality, which is used to relate $ω^\natural$ to the anomaly for the Leech lattice CFT.
△ Less
Submitted 30 September, 2018; v1 submitted 26 July, 2017;
originally announced July 2017.
-
$\mathrm{H}^4(\mathrm{Co}_0;\mathbf{Z}) = \mathbf{Z}/24$
Authors:
Theo Johnson-Freyd,
David Treumann
Abstract:
We show that the fourth integral cohomology of Conway's group $\mathrm{Co}_0$ is a cyclic group of order $24$, generated by the first fractional Pontryagin class of the $24$-dimensional representation.
We show that the fourth integral cohomology of Conway's group $\mathrm{Co}_0$ is a cyclic group of order $24$, generated by the first fractional Pontryagin class of the $24$-dimensional representation.
△ Less
Submitted 31 August, 2018; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Exact triangles, Koszul duality, and coisotopic boundary conditions
Authors:
Theo Johnson-Freyd
Abstract:
We develop a theory of "arrowed" (operads and) dioperads, which are to exact triangles as dioperads are to vector spaces. A central example to this paper is the arrowed operad controlling "derived ideals" for any operad. The Koszul duality theory of arrowed dioperads interacts well with rotation of exact triangles, and in particular with "exact Stars of David," which are pairs of exact triangles d…
▽ More
We develop a theory of "arrowed" (operads and) dioperads, which are to exact triangles as dioperads are to vector spaces. A central example to this paper is the arrowed operad controlling "derived ideals" for any operad. The Koszul duality theory of arrowed dioperads interacts well with rotation of exact triangles, and in particular with "exact Stars of David," which are pairs of exact triangles drawn on top of each other in an interesting way. Using this framework, we give a cochain-level lift of the "relative Poincaré duality" enjoyed by oriented manifolds with boundary; moreover, our cochain-level lift satisfies a natural locality-type condition, and is uniquely determined by this property. We discuss the meaning of the words "relative orientation" and "coisotropic." We extend the AKSZ construction to bulk-boundary settings with Poisson bulk fields and coisotropic boundary conditions.
△ Less
Submitted 13 September, 2017; v1 submitted 30 August, 2016;
originally announced August 2016.
-
The Quaternions and Bott Periodicity Are Quantum Hamiltonian Reductions
Authors:
Theo Johnson-Freyd
Abstract:
We show that the Morita equivalences $\mathrm{Cliff}(4) \simeq {\mathbb H}$, $\mathrm{Cliff}(7) \simeq \mathrm{Cliff}(-1)$, and $\mathrm{Cliff}(8) \simeq {\mathbb R}$ arise from quantizing the Hamiltonian reductions ${\mathbb R}^{0|4} // \mathrm{Spin}(3)$, ${\mathbb R}^{0|7} // G_2$, and ${\mathbb R}^{0|8} // \mathrm{Spin}(7)$, respectively.
We show that the Morita equivalences $\mathrm{Cliff}(4) \simeq {\mathbb H}$, $\mathrm{Cliff}(7) \simeq \mathrm{Cliff}(-1)$, and $\mathrm{Cliff}(8) \simeq {\mathbb R}$ arise from quantizing the Hamiltonian reductions ${\mathbb R}^{0|4} // \mathrm{Spin}(3)$, ${\mathbb R}^{0|7} // G_2$, and ${\mathbb R}^{0|8} // \mathrm{Spin}(7)$, respectively.
△ Less
Submitted 11 December, 2016; v1 submitted 21 March, 2016;
originally announced March 2016.
-
Exact triangles as modules over an $A_\infty$-category
Authors:
Theo Johnson-Freyd
Abstract:
This note describes a strictly-unital $A_\infty$-category whose representations are exact triangles such that the three-fold symmetry on exact triangles is manifest on the $A_\infty$-category.
This note describes a strictly-unital $A_\infty$-category whose representations are exact triangles such that the three-fold symmetry on exact triangles is manifest on the $A_\infty$-category.
△ Less
Submitted 27 October, 2015; v1 submitted 25 October, 2015;
originally announced October 2015.
-
Heisenberg-picture quantum field theory
Authors:
Theo Johnson-Freyd
Abstract:
What we should mean by "Heisenberg-picture quantum field theory"? Atiyah--Segal-type axioms do a good job of capturing the "Schrödinger picture": these axioms define a "$d$-dimensional quantum field theory" to be a symmetric monoidal functor from an $(\infty,d)$-category of "spacetimes" to an $(\infty,d)$-category which at the second-from-top level consists of vector spaces, so at the top level co…
▽ More
What we should mean by "Heisenberg-picture quantum field theory"? Atiyah--Segal-type axioms do a good job of capturing the "Schrödinger picture": these axioms define a "$d$-dimensional quantum field theory" to be a symmetric monoidal functor from an $(\infty,d)$-category of "spacetimes" to an $(\infty,d)$-category which at the second-from-top level consists of vector spaces, so at the top level consists of numbers. This paper argues that the appropriate parallel notion "Heisenberg picture" should also be defined in terms of symmetric monoidal functors from the category of spacetimes, but the target should be an $(\infty,d)$-category that in top dimension consists of pointed vector spaces instead of numbers; the second-from-top level can be taken to consist of associative algebras or of pointed categories. The paper ends by outlining two sources of such Heisenberg-picture field theories: factorization algebras and skein theory.
△ Less
Submitted 4 November, 2019; v1 submitted 24 August, 2015;
originally announced August 2015.
-
Spin, statistics, orientations, unitarity
Authors:
Theo Johnson-Freyd
Abstract:
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^\circ$-rotation of the spin structure agrees with the operation of flip** the signs of all fermions. We set up a framework in which these two notions are precisely analo…
▽ More
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^\circ$-rotation of the spin structure agrees with the operation of flip** 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 $\mathrm{Vect}_{\mathbb R}$, but rather than being defined in terms of a single tangential structure, they are defined in terms of a bundle of tangential structures over $\mathrm{Spec}(\mathbb R)$. Bundles of tangential structures may be etale-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 etale-locally equivalent to Orientations. This bundle owes its existence to the fact that $π_1^{et}(\mathrm{Spec}(\mathbb R)) = π_1{BO}$. We interpret Deligne's "existence of super fiber functors" theorem as implying that in a categorification of algebraic geometry in which symmetric monoidal categories replace commutative rings, $π_2^{et}(\mathrm{Spec}(\mathbb R)) = π_2{BO}$. There are eight bundles etale-locally equivalent to Spins, one of which is distinguished; upon unpacking the meaning of that distinguished tangential structure, one arrives at field theories that are both Hermitian and satisfy spin-statistics. Finally, we formulate a notion of "reflection-positivity" and prove that if an etale-locally-oriented field theory is reflection-positive then it is necessarily Hermitian, and if an etale-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.
△ Less
Submitted 25 June, 2016; v1 submitted 22 July, 2015;
originally announced July 2015.
-
(Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
Authors:
Theo Johnson-Freyd,
Claudia Scheimbauer
Abstract:
Motivated by the challenge of defining twisted quantum field theories in the context of higher categories, we develop a general framework for lax and oplax transformations and their higher analogs between strong $(\infty, n)$-functors. We construct a double $(\infty,n)$-category built out of the target $(\infty, n)$-category governing the desired diagrammatics. We define (op)lax transformations as…
▽ More
Motivated by the challenge of defining twisted quantum field theories in the context of higher categories, we develop a general framework for lax and oplax transformations and their higher analogs between strong $(\infty, n)$-functors. We construct a double $(\infty,n)$-category built out of the target $(\infty, n)$-category governing the desired diagrammatics. We define (op)lax transformations as functors into parts thereof, and an (op)lax twisted field theory to be a symmetric monoidal (op)lax natural transformation between field theories. We verify that lax trivially-twisted relative field theories are the same as absolute field theories. As a second application, we extend the higher Morita category of $E_d$-algebras in a symmetric monoidal $(\infty, n)$-category $\mathcal{C}$ to an $(\infty, n+d)$-category using the higher morphisms in $\mathcal{C}$.
△ Less
Submitted 26 January, 2016; v1 submitted 23 February, 2015;
originally announced February 2015.
-
Tree- versus graph-level quasilocal Poincare duality on S^1
Authors:
Theo Johnson-Freyd
Abstract:
Among its many corollaries, Poincare duality implies that the de Rham cohomology of a compact oriented manifold is a shifted commutative Frobenius algebra --- a commutative Frobenius algebra in which the comultiplication has cohomological degree equal to the dimension of the manifold. We study the question of whether this structure lifts to a "homotopy" shifted commutative Frobenius algebra struct…
▽ More
Among its many corollaries, Poincare duality implies that the de Rham cohomology of a compact oriented manifold is a shifted commutative Frobenius algebra --- a commutative Frobenius algebra in which the comultiplication has cohomological degree equal to the dimension of the manifold. We study the question of whether this structure lifts to a "homotopy" shifted commutative Frobenius algebra structure at the cochain level. To make this question nontrivial, we impose a mild locality-type condition that we call "quasilocality": strict locality at the cochain level is unreasonable, but it is reasonable to ask for homotopically-constant families of operations that become local "in the limit." To make the question concrete, we take the manifold to be the one-dimensional circle.
The answer to whether a quasilocal homotopy-Frobenius algebra structure exists turns out to depend on the choice of context in which to do homotopy algebra. There are two reasonable worlds in which to study structures (like Frobenius algebras) that involve many-to-many operations: one can work at "tree level," corresponding roughly to the world of operadic homotopy algebras and their homotopy modules; or one can work at "graph level," corresponding to the world of PROPs. For the tree-level version of our question, the answer is the unsurprising "Yes, such a structure exists" --- indeed, it is unique up to a contractible space of choices. But for the graph-level version, the answer is the surprising "No, such a structure does not exist." Most of the paper consists of computing explicitly this nonexistence, which is controlled by the numerical value of a certain obstruction, and we compute this value explicitly via a sequence of integrals.
△ Less
Submitted 11 April, 2015; v1 submitted 15 December, 2014;
originally announced December 2014.
-
Reflexivity and dualizability in categorified linear algebra
Authors:
Martin Brandenburg,
Alexandru Chirvasitu,
Theo Johnson-Freyd
Abstract:
The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its double dual) or dualizable (the pairing with its dual comes with a corresponding copairing). Our main results are that the category of comodules for a countable-…
▽ More
The "linear dual" of a cocomplete linear category $\mathcal C$ is the category of all cocontinuous linear functors $\mathcal C \to \mathrm{Vect}$. We study the questions of when a cocomplete linear category is reflexive (equivalent to its double dual) or dualizable (the pairing with its dual comes with a corresponding copairing). Our main results are that the category of comodules for a countable-dimensional coassociative coalgebra is always reflexive, but (without any dimension hypothesis) dualizable if and only if it has enough projectives, which rarely happens. Along the way, we prove that the category $\mathrm{Qcoh}(X)$ of quasi-coherent sheaves on a stack $X$ is not dualizable if $X$ is the classifying stack of a semisimple algebraic group in positive characteristic or if $X$ is a scheme containing a closed projective subscheme of positive dimension, but is dualizable if $X$ is the quotient of an affine scheme by a virtually linearly reductive group. Finally we prove tensoriality (a type of Tannakian duality) for affine ind-schemes with countable indexing poset.
△ Less
Submitted 20 September, 2014;
originally announced September 2014.
-
Chains(R) does not admit a geometrically meaningful properadic homotopy Frobenius algebra structure
Authors:
Theo Johnson-Freyd
Abstract:
The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to a degree shift and some homotopic weakening of the axioms. We prove that under reasonable "locality" conditions, a cofibrant resolution of the dioperad controlling nonunital shifted-Frobenius algebras does act on Chains(…
▽ More
The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to a degree shift and some homotopic weakening of the axioms. We prove that under reasonable "locality" conditions, a cofibrant resolution of the dioperad controlling nonunital shifted-Frobenius algebras does act on Chains(R), and in a homotopically-unique way. But we prove that this action does not extend to a homotopy Frobenius action at the level of properads or props. This gives an example of a geometrically meaningful algebraic structure on homology that does not lift in a geometrically meaningful way to the chain level.
△ Less
Submitted 24 December, 2014; v1 submitted 15 August, 2013;
originally announced August 2013.
-
Poisson AKSZ theories and their quantizations
Authors:
Theo Johnson-Freyd
Abstract:
We generalize the AKSZ construction of topological field theories to allow the target manifolds to have possibly-degenerate (homotopy) Poisson structures. Classical AKSZ theories, which exist for all oriented spacetimes, are described in terms of dioperads. The quantization problem is posed in terms of extending from dioperads to properads. We conclude by relating the quantization problem for AKSZ…
▽ More
We generalize the AKSZ construction of topological field theories to allow the target manifolds to have possibly-degenerate (homotopy) Poisson structures. Classical AKSZ theories, which exist for all oriented spacetimes, are described in terms of dioperads. The quantization problem is posed in terms of extending from dioperads to properads. We conclude by relating the quantization problem for AKSZ theories on R^d to the formality of the E_d operad, and conjecture a properadic description of the space of E_d formality quasiisomorphisms.
△ Less
Submitted 26 May, 2014; v1 submitted 22 July, 2013;
originally announced July 2013.
-
"A combinatorial universal $\star$-product" is incorrect
Authors:
Theo Johnson-Freyd
Abstract:
A very short note, explaining the error in the original paper, which renders its central result incorrect.
A very short note, explaining the error in the original paper, which renders its central result incorrect.
△ Less
Submitted 1 August, 2013; v1 submitted 10 July, 2013;
originally announced July 2013.
-
How to derive Feynman diagrams for finite-dimensional integrals directly from the BV formalism
Authors:
Owen Gwilliam,
Theo Johnson-Freyd
Abstract:
The Batalin-Vilkovisky formalism in quantum field theory was originally invented to address the difficult problem of finding diagrammatic descriptions of oscillating integrals with degenerate critical points. But since then, BV algebras have become interesting objects of study in their own right, and mathematicians sometimes have good understanding of the homological aspects of the story without a…
▽ More
The Batalin-Vilkovisky formalism in quantum field theory was originally invented to address the difficult problem of finding diagrammatic descriptions of oscillating integrals with degenerate critical points. But since then, BV algebras have become interesting objects of study in their own right, and mathematicians sometimes have good understanding of the homological aspects of the story without any access to the diagrammatics. In this note we reverse the usual direction of argument: we begin by asking for an explicit calculation of the homology of a BV algebra, and from it derive Wick's Theorem and the other Feynman rules for finite-dimensional integrals.
△ Less
Submitted 4 November, 2019; v1 submitted 7 February, 2012;
originally announced February 2012.
-
The fundamental pro-groupoid of an affine 2-scheme
Authors:
Alexandru Chirvasitu,
Theo Johnson-Freyd
Abstract:
A natural question in the theory of Tannakian categories is: What if you don't remember $\Forget$? Working over an arbitrary commutative ring $R$, we prove that an answer to this question is given by the functor represented by the étale fundamental groupoid $π_1(\spec(R))$, i.e.\ the separable absolute Galois group of $R$ when it is a field. This gives a new definition for étale $π_1(\spec(R))$ in…
▽ More
A natural question in the theory of Tannakian categories is: What if you don't remember $\Forget$? Working over an arbitrary commutative ring $R$, we prove that an answer to this question is given by the functor represented by the étale fundamental groupoid $π_1(\spec(R))$, i.e.\ the separable absolute Galois group of $R$ when it is a field. This gives a new definition for étale $π_1(\spec(R))$ in terms of the category of $R$-modules rather than the category of étale covers. More generally, we introduce a new notion of "commutative 2-ring" that includes both Grothendieck topoi and symmetric monoidal categories of modules, and define a notion of $π_1$ for the corresponding "affine 2-schemes." These results help to simplify and clarify some of the peculiarities of the étale fundamental group. For example, étale fundamental groups are not "true" groups but only profinite groups, and one cannot hope to recover more: the "Tannakian" functor represented by the étale fundamental group of a scheme preserves finite products but not all products.
△ Less
Submitted 9 February, 2012; v1 submitted 16 May, 2011;
originally announced May 2011.
