Abstract:We use shifted symplectic geometry to construct the Moore-Tachikawa topological quantum field theories (TQFTs) in a category of Hamiltonian schemes. Our new and overarching insight is an algebraic explanation for the existence of these TQFTs, i.e. that their structure comes naturally from three ingredients: Morita equivalence, as well as multiplication and identity bisections in abelian symplectic groupoids. Using this insight, we generalize the Moore-Tachikawa TQFTs in two directions. The first generalization concerns a 1-shifted version of the Weinstein symplectic category $\mathbf{WS}_1$. Each abelianizable quasi-symplectic groupoid $\mathcal{G}$ is shown to determine a canonical 2-dimensional TQFT $\eta_{\mathcal{G}}:\mathbf{Cob}_2\longrightarrow\mathbf{WS}_1$. We recover the open Moore-Tachikawa TQFT and its multiplicative counterpart as special cases. Our second generalization is an affinization process for TQFTs. We first enlarge Moore and Tachikawa's category $\mathbf{MT}$ of holomorphic symplectic varieties with Hamiltonian actions to $\mathbf{AMT}$, a category of affine Poisson schemes with Hamiltonian actions of affine symplectic groupoids. We then show that if $\mathcal{G} \rightrightarrows X$ is an affine symplectic groupoid that is abelianizable when restricted to an open subset $U \subseteq X$ statisfying Hartogs' theorem, then $\mathcal{G}$ determines a TQFT $\eta_{\mathcal{G}} : \mathbf{Cob}_2 \longrightarrow \mathbf{AMT}$. In more detail, we first devise an affinization process sending 1-shifted Lagrangian correspondences in $\mathbf{WS}_1$ to Hamiltonian Poisson schemes in $\mathbf{AMT}$. The TQFT is obtained by composing this affinization process with the TQFT $\eta_{\mathcal{G}|_U} : \mathbf{Cob}_2 \longrightarrow \mathbf{WS}_1$ of the previous paragraph. Our results are also shown to yield new TQFTs outside of the Moore-Tachikawa setting.

Torsion theories of simplicial groups with truncated Moore complex

Lattice theory of torsion classes: Beyond $τ$-tilting theory

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Infinite families of higher torsion in the homotopy groups of Moore spaces

Semistable torsion classes and canonical decompositions in Grothendieck groups

The Moore Complex of a Simplicial Cocommutative Hopf Algebra

A Torsion Theory in the Category of Cocommutative Hopf Algebras

On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

A facial order for torsion classes

Spherical Complexes Attached to Symplectic Lattices

Torsion invariants of complexes of groups

Torsion homology and cellular approximation

Torsion in $p$-adic étale cohomology: remarks and conjectures

On the degree-two part of the associated graded of the lower central series of the Torelli group

Torsion models for tensor-triangulated categories: the one-step case

The Moore-Tachikawa conjecture via shifted symplectic geometry

Braid groups, free groups, and the loop space of the 2-sphere

Boolean lattices of torsion classes over finite-dimensional algebras

Discrete Torsion, Non-Abelian Orbifolds and the Schur Multiplier

Group theoretic properties of Clifford multiplication on 2-torsion points on the Dirac Spinor Abelian Variety