Abstract:Dynamical quantum field theories (QFTs), such as those in which spacetimes are equipped with a metric and/or a field in the form of a smooth map to a target manifold, can be formulated axiomatically using the language of ∞-categories. According to a geometric version of the cobordism hypothesis, such QFTs collectively assemble themselves into objects in an ∞-topos of smooth spaces. We show how this allows one to define and study generalized global symmetries of such QFTs. The symmetries are themselves smooth, so the 'higher-form' symmetry groups can be endowed with, e.g. , a Lie group structure. Among the more surprising general implications for physics are, firstly, that QFTs in spacetime dimension d , considered collectively, can have d -form symmetries, going beyond the known (d−1) -form symmetries of individual QFTs and, secondly, that a global symmetry of a QFT can be anomalous even before we try to gauge it, due to a failure to respect either smoothness (in that a symmetry of an individual QFT does not smoothly extend to QFTs collectively) or locality (in that a symmetry of an unextended QFT does not extend to an extended one). Smoothness anomalies are shown to occur even in 2-state systems in quantum mechanics (here formulated axiomatically by equipping d=1 spacetimes with a metric, an orientation, and perhaps some unitarity structure). Locality anomalies are shown to occur even for invertible QFTs defined on d=1 spacetimes equipped with an orientation and a smooth map to a target manifold. These correspond in physics to topological actions for a particle moving on the target and the relation to an earlier classification of such actions using invariant differential cohomology is elucidated.

Local symmetries in partially ordered sets

Do causal sets have symmetries?

A survey of congruences and quotients of partially ordered sets

The structure of generic automorphisms of the random poset

Category of SET orders

Partially Ordered Sheaves on a Locale. I (II)

The Geometry of Relations

Posets arising from decompositions of objects in a monoidal category

Symmetrizing polytopes and posets

Classification of topological phases with finite internal symmetries in all dimensions

Algebraic properties of soluble posets

$SG$-classes, Singular Symplectic Geometry and Order-preserving Isomorphisms

An Analysis of Symmetry in Quantitative Semantics

Regular Schur labeled skew shape posets and their 0-Hecke modules

Spherical posets from commuting elements

Symmetries as Isomorphisms

Symmetry in the cubical Joyal model structure

Classification of Affine Symmetry Groups of Orbit Polytopes

On the Holonomic Rank Problem

Smooth generalized symmetries of quantum field theories

Copies of Monomorphic Structures