Spacetime Double Category: Structure & Applications

• Spacetime double category is a higher categorical structure that organizes independent spatial and temporal morphisms with strict coherence laws, providing a rigorous foundation for field theories.
• It encodes both region inclusions and admissible embeddings via horizontal and vertical arrows, resolving functoriality issues in algebraic quantum field theory.
• The framework supports applications to TQFT and AQFT by ensuring that translations, rotations, and boosts interact consistently through well-defined 2-cells and interchange laws.

A spacetime double category is a mathematical structure in higher category theory designed to capture the interplay of two independent compositional directions in models of spacetime and field theory, such as space vs time, region inclusions vs symmetries, or worldline concatenation vs time evolution. Double categories encode both horizontal and vertical morphisms, together with 2-cells (squares), enabling a strict formulation of scenarios where two types of processes, such as spatial and temporal compositions, coexist and interact subject to strict coherence (interchange) laws. These structures are particularly prominent in the categorification of spacetime symmetries, the formulation of algebraic quantum field theory (AQFT), and geometric models involving path/loop spaces and string interactions.

1. Formal Definition of Spacetime Double Category

A double category $\mathbb{D}$ consists of:

• A set of objects $O$,
• Sets of horizontal arrows $H$ and vertical arrows $V$, each with source and target maps to $O$,
• A set of squares (2-cells) $S$ with boundary maps into $H$ and $V$,
• Identity arrows and squares,
• Strict horizontal and vertical compositions on arrows and squares.

These data are subject to:

• Source-target compatibility,
• Two-sided identity laws for each composition,
• Strict associativity for both compositions,
• The interchange law: For any compatible configuration of four squares, $$(X \circ_{h} Y) \circ_{v} (Z \circ_{h} W) = (X \circ_{v} Z) \circ_{h} (Y \circ_{v} W)$$, ensuring coherence between vertical and horizontal composition.

A double groupoid is a double category where both arrows and squares are strictly invertible, and a double group is a double groupoid with exactly one object (Majard, 2011).

2. Spacetime Double Category in AQFT

In algebraic quantum field theory (AQFT), the obstruction to functoriality when relating inclusions of regions (vertical, locality-preserving) to symmetries or transport along correspondences (horizontal) motivates the use of a spacetime double category. The approach begins by fixing a spacetime manifold $M$ and a class of “admissible” regions $\mathscr{R}(M)$ (e.g. causally convex diamonds):

• Objects: $\mathscr{R}(M)$ (regions).
• Vertical Arrows: Inclusions $U \subseteq V$, denoted $\iota_{U,V}$.
• Horizontal Arrows: Admissible embeddings $h: U \hookrightarrow V$ in $M$.
• Squares (2-cells): Commuting diagrams where $j \circ h = h' \circ i$ for inclusions $i$, $j$ and embeddings $h$, $h'$.

Both compositions are strict (inclusion and composition of embeddings), with strict associativity and unit laws. The interchange law holds strictly because all data are set-theoretic, and pastings correspond to commutative squares of region maps (Komalan, 12 Jan 2026).

3. Maximally Exclusive Double Groups and the Poincaré Group

The theory of maximally exclusive double groups establishes that, up to isomorphism, any such double group $\Gamma$ with maximality (every horizontal/vertical pair bounds some square) and exclusivity (core bundle equals core groupoid) arises from a group $G$ with:

• Two subgroups $H, K \subseteq G$ such that $g \in G$ has a unique decomposition $g = hk'$,
• A normal abelian subgroup $A \triangleleft G$ centralizing $H$ and $K$,
• $G = AHK$.

The squares in the double group correspond to elements of $A$, with boundary arrows in $H$ (horizontal) and $K$ (vertical). For the Poincaré group $P = \mathbb{R}^4 \rtimes \mathrm{SO}(3,1)$, the Iwasawa decomposition yields $H = \mathrm{SO}(3)$ (rotations), $K = AN$ (boosts/null rotations), and $A = \mathbb{R}^4$ (translations). Each $g \in P$ decomposes as $h \cdot k \cdot a$ with $h \in H$, $k \in K$, $a \in A$, so the double group structure explicitly separates space (rotations), spacetime (boosts), and translations, encoded within the 2-cells. The strict interchange law ensures that the net translation induced by sequences of boosts and rotations is independent of composition order (Majard, 2011).

4. Geometric Models: Path Space and Worldsheet Double Categories

Given a complete Riemannian manifold $M$, the path space $\mathcal{P}M$ of smooth paths modulo “back-track” equivalence (erasing immediately retraced sub-arcs) forms the basis for a double category:

• 0-cells: “Spacetime events” $(p, X, a)$ with $p \in M$, $X \in T_pM$, $a \in \mathbb{R}$.
• 1-cells: “World-lines” $(\gamma, X, a)$, with $\gamma \in \mathcal{P}M$, $X$ a tangent field along $\gamma$, at fixed time $a$.
• 2-cells: Geodesic segments $[a, b][(\gamma, X)]$ in path space, representing worldsheet evolution in time.

Vertical composition corresponds to concatenation in time (worldsheet evolution), while horizontal composition corresponds to spatial concatenation/interactions of strings or worldlines at a given time. The interchange (exchange) law asserts that time evolution and spatial joining commute, ensuring that the resulting worldsheets are well-defined and independent of the order of operations. Normal neighborhood structure on $\mathcal{P}M$ guarantees unique geodesic pastings in both directions (Chatterjee, 2014).

5. Applications to TQFT and Algebraic Quantum Field Theory

The double categorical structure is intrinsically suited to cobordisms with corners in topological quantum field theory (TQFT):

• Cobordism Double Category: $0$-cells are $(n-2)$-manifolds, $1$-cells are $(n-1)$-cobordisms, $2$-cells are $n$-manifolds with corners.
• Double Functorial Field Theory: A double functor $Z: \mathrm{Cob}^* \to \mathrm{Rep}(\Gamma)$ assigns categories of states to objects, functors to cobordisms, and natural transformations to corners, with $\Gamma$ a double group encoding spacetime symmetry.
• State Sum Models: Triangulate an $n$-manifold with corners, label $1$-strata by $H, K$ (horizontal/vertical symmetries), $2$-strata by $A$ (abelian translations), and weight $n$-simplices via representation theory (e.g., $6j$- or $15j$-symbols). The strict interchange law guarantees topological invariance under Pachner moves with corners, crucial for the well-posedness of a state-sum invariant (Majard, 2011).

In AQFT, a Haag-Kastler net is reformulated as a double functor $\mathcal{F} : \Mink(M) \to \vNA$, associating von Neumann algebras to regions, *-homomorphisms to inclusions, Hilbert bimodules to admissible embeddings, and intertwiners to 2-cells, with the Haag–Kastler axioms expressed as strict double-categorical coherence. This formalism resolves historic functoriality issues in the interplay between region inclusions and quantum symmetry operations (Komalan, 12 Jan 2026).

6. Structural Significance and Physical Interpretation

The spacetime double category makes explicit the factorization of spacetime processes into independent yet coherent horizontal and vertical directions—space versus time, region inclusion versus symmetry transformation, or worldline concatenation versus time evolution. This separation is mathematically engineered through the double categorical data and their interchange laws, guaranteeing the independence of “pasting order” for composite spacetime operations. In geometric and physical models, such as those arising from path spaces and string interactions, this results in a smooth category of objects (events), arrows (worldlines/strings), and squares (worldsheets) which accurately encode the dynamics and composition laws relevant to free strings, field-theoretic nets, and higher-categorical symmetry (Chatterjee, 2014).

A plausible implication is that the double category framework naturally accommodates extended TQFTs and operator-algebraic AQFTs with built-in, rigorous treatment of spacetime locality, symmetry, and topological invariance, enabling new models where translation, rotation, and boost symmetries are strictly separated yet coherently related.

7. Remaining Challenges and Directions

Open issues include the development of a comprehensive representation (fusion) theory for noncompact double groups, analytic and measure-theoretic aspects of state-sum models built from double group data, and the explicit realization of extended TQFTs and AQFTs using these structures. For the Poincaré group and other noncompact cases, constructing finite-dimensional 2-representations and integrating over noncompact parameter spaces are significant analytic challenges. Nevertheless, the rigid combinatorial and categorical skeleton provided by the spacetime double category brings substantial progress to the rigorous mathematical treatment of spacetime in quantum and topological field theory (Majard, 2011).