Subsystem SymTFT: Topological Field Framework

• Subsystem SymTFT is a framework that encodes rigid, lower-dimensional symmetries using partially topological, foliated structures in higher dimensions.
• It employs dual formulations such as foliated BF theories and exotic tensor gauge actions to capture anomaly inflows, defect fusion, and non-invertible dualities.
• Its systematic approach aids in classifying subsystem symmetry-protected topological phases and understanding the behavior of fracton and lattice models.

Subsystem Symmetry Topological Field Theory (SymTFT) provides a unifying formalism to encode subsystem symmetries—symmetries acting on rigid subsets such as lines or planes rather than globally—within higher-dimensional topological quantum field theories. The subsystem SymTFT generalizes topological holography for conventional global and higher-form symmetries by incorporating partially topological or foliated structures that reflect the restricted mobility and non-Lorentz-invariant character of subsystem symmetries. It has become a central toolkit for classifying and controlling subsystem symmetry-protected topological phases, capturing dualities, and analyzing defect fusion and anomaly inflows in quantum many-body and quantum field theories.

1. General SymTFT Construction and Subsystem Symmetries

The standard SymTFT framework associates to a $d$-dimensional QFT with a symmetry $\mathcal{S}$ a $(d+1)$-dimensional topological field theory $\mathcal{Z}(\mathcal{S})$ defined on $[0,1]\times M_d$. Physical and topological boundaries correspond to the dynamical theory and the symmetry data, respectively. This is encapsulated by the sandwich construction: the local QFT emerges as a boundary mode, while alternative boundary conditions encode different 'global forms' (choices of gauging or background structure) for the symmetries (Etxebarria et al., 2024, Beest et al., 2022).

Subsystem symmetry generalizes this setup to symmetries associated with lower-dimensional submanifolds—lines, planes, or codimension-$k$ "leaves"—resulting in states and operators with constrained mobility (fractons, dipoles, etc.) and conserved charges localized to these leaves. The crucial feature is the appearance of foliated structures: gauge fields and defects are supported on or constrained by a system of foliations, breaking full diffeomorphism invariance and resulting in only partial topological invariance (Apruzzi et al., 15 Apr 2025, Hsin et al., 2024).

2. Foliated and Exotic SymTFT Actions: Formal Structure

Subsystem SymTFTs are constructed in one higher dimension with bulk gauge fields adapted to the foliation. For linear subsystem symmetry in $d=2$, the minimal SymTFT is a 2-foliated $(3+1)$d BF theory with level $N$ (Cao et al., 2023, Jia et al., 28 May 2025): $$S_{\mathrm{bulk}} = \frac{N}{2\pi} \int_{M_4} \sum_{k=1}^2 dB^{(k)}\wedge C^{(k)}\wedge dx^k + b\wedge C^{(k)}\wedge dx^k + b\wedge dc$$ where $\mathcal{S}$0 are 1-form fields on the $\mathcal{S}$1-th foliation hyperplane, and $\mathcal{S}$2 are a 2-form/1-form pair.

Alternatively, this formulation is dual to the "exotic" description, where $\mathcal{S}$3 and their duals transform under generalized gauge symmetries involving higher spatial derivatives, e.g. $\mathcal{S}$4. The action is

$\mathcal{S}$5

This duality equivalently captures the partially topological, non-Lorentz-invariant nature of subsystem symmetries, and maps foliated BF theories to "exotic tensor gauge theories" (Jia et al., 28 May 2025).

3. Boundary Conditions, Gluing, and Classification of SSPT Phases

Subsystem SymTFT encodes all admissible gapped phases and their classification in terms of topological boundary conditions:

• Dirichlet boundaries correspond to fixing electric subsystem lines (e.g., $\mathcal{S}$6-holonomies), selecting sectors diagonalized by line operators.
• Dual Dirichlet boundaries fix magnetic duals.
• Twisted boundaries induced by dressing magnetic operators with electric ones, giving rise to distinct subsystem SPT (SSPT) phases (Jia et al., 28 May 2025, Cao et al., 2023).

The classification of strong SSPT phases with linear subsystem symmetry group $\mathcal{S}$7 is given by

$\mathcal{S}$8

For $\mathcal{S}$9, this yields $(d+1)$0 phases, with explicit field-theoretic and lattice representatives (e.g., cluster states) (Jia et al., 28 May 2025).

4. Operator Content: Lines, Strips, Fractionalization, and Anomalies

Bulk and boundary operators reflect the subsystem symmetry structure:

• Subsystem lines and strips: Operators $(d+1)$1, etc., have restricted mobility—topological only along their foliation.
• Fractionalization: In the presence of multiple foliations, subsystem lines can acquire anomalous projective relations at intersections, classified by bulk topological terms such as $(d+1)$2 encoding the anomaly inflow for the mixed commutation relations of subsystem charges (Hsin et al., 2024).
• Anomalies: Braiding relations and ground-state degeneracy are governed by the structure of the subsystem SymTFT, with anomalies realized as obstruction to full gauging in the boundary theory, canceled by bulk inflow.

A typical $(d+1)$3d bulk action capturing subsystem symmetry fractionalization is

$(d+1)$4

where $(d+1)$5 labels the fractionalization class. This term enforces a nontrivial projective relation amongst subsystem lines, reflected in the boundary ground-state degeneracy and the nontrivial commutation of defect operators (Hsin et al., 2024).

5. Non-invertible Dualities, Condensation Defects, and Duality Webs

Subsystem SymTFTs generically support duality defects associated with $(d+1)$6 automorphisms of the BF or tensor gauge theory structure.

• Kramers-Wannier (KW) and Jordan-Wigner (JW) dualities are realized as boundary swaps or non-invertible condensation defects exchanging electric and magnetic subsystem operators.
• The fusion of such defects reproduces non-invertible operator algebras, e.g., the subsystem KW fusion rule and, after conjugation, the subsystem JW fusion algebra (Cao et al., 2023).
• In continuous (e.g., XY-plaquette) models, the bulk admits a continuous $(d+1)$7 duality symmetry; a $(d+1)$8 subgroup survives as a continuous non-invertible duality at the boundary. For XYZ-cube models, only discrete exchange self-duality remains (Bedogna et al., 3 Feb 2026).

Model	Bulk Duality Group	Surviving Boundary Duality	Defect Algebra
XY-plaquette	$(d+1)$9	$\mathcal{Z}(\mathcal{S})$0	Non-invertible, continuous fusion
XYZ-cube	Discrete ($\mathcal{Z}(\mathcal{S})$1 auto)	Exchange $\mathcal{Z}(\mathcal{S})$2	Non-invertible, finite fusion

Such defects are constructed as codimension-1 condensation interfaces via higher gauging with discrete torsion. Their explicit fusion rules have been calculated via path integral/defect operator analysis (Bedogna et al., 3 Feb 2026).

6. Brane Realizations, Topological Couplings, and Category Theory

String- and M-theory engineering of QFTs has led to geometric interpretations of SymTFTs:

• Brane picture: The SymTFT action and its couplings arise from dimensional reduction of topological sectors (e.g., Chern-Simons terms) from higher dimensions, with BF-terms and anomaly couplings mapped to brane linkings, intersections, and Hanany–Witten moves. Drinfeld center defects and generalized charges correspond to brane configurations and their linking numbers (Apruzzi et al., 2023).
• Defect and fusion algebra: Topological defects in SymTFTs form the Drinfeld center of the symmetry category, including both invertible and non-invertible generators, with fusion rules encoded by categorical algebra and condensation-completion (Apruzzi et al., 2023).

7. Applications and Lattice Realizations

Subsystem SymTFTs provide a field-theoretic classification of subsystem SPT (SSPT) phases, predicting explicit ground-state degeneracy, fusion and braiding of rigid subsystem operators, and the structure of anomaly inflows for fracton and higher-rank gauge models (Jia et al., 28 May 2025, Hsin et al., 2024). Their predictions are matched directly in explicit lattice Hamiltonians (e.g., generalized cluster states), with correspondence established for invariants under half-space operators, corner charges, and subsystem dualities.

Subsystem SymTFTs have been extended to classify strong SSPT phases via cohomological invariants, e.g., for $\mathcal{Z}(\mathcal{S})$3, reproducing lattice-based results and confirming bulk-boundary correspondence for subsystem symmetries (Jia et al., 28 May 2025). All physical properties, including degeneracy and non-abelian defect fusion, are dictated by the topological data of the subsystem SymTFT.

---

References:

(Etxebarria et al., 2024, Apruzzi et al., 15 Apr 2025, Cao et al., 2023, Jia et al., 28 May 2025, Hsin et al., 2024, Apruzzi et al., 2023, Bedogna et al., 3 Feb 2026)