A missing link: Brane networks and the Cobordism Conjecture

Abstract: The absence of global symmetries in a quantum gravity theory often requires the introduction of (new) symmetry-breaking defects, which appear as singular objects in the low-energy description. This has been formalized in the Cobordism Conjecture, which further relates the asymptotics of these defects to non-trivial deformation classes of the effective theory. In this work we investigate the symmetry-breaking defects for theories with a discrete symmetry $G$ encoded in the bordism groups $Ω^ξ_2 (BG)$ and, in particular, its sub-class described in terms of the homology groups $H_2(BG;\mathbb{Z})$. Contrary to expectations we find that the defects are of codimension two rather than three. However, they do not appear isolated but participate in brane networks explaining the naive mismatch. While in special situations linking configurations of defects are sufficient, our strategy generically predicts the existence of junctions, thus expanding the predictive power of the Cobordism Conjecture. We demonstrate the viability of this approach in four-dimensional supergravity theories originating from string and M-theory with a discrete Heisenberg group acting on its axionic degrees of freedom.

• The paper demonstrates that trivializing cobordism classes in quantum gravity requires brane networks of codimension-two defects arranged in linking and junction configurations.
• It employs group cohomology and the Atiyah–Hirzebruch spectral sequence to connect discrete symmetry groups with topological defect arrangements in string/M-theory compactifications.
• The work substantiates its claims with explicit constructions in 4d N=2 SUGRA from type II compactifications, offering new insights for the Swampland program.

Brane Networks, Defect Cobordism, and Symmetry Breaking in Quantum Gravity

Introduction

The work "A missing link: Brane networks and the Cobordism Conjecture" (2605.18952) addresses a sharp formulation of the interplay between global symmetries, defect networks, and the structure of quantum gravity, focusing on the realization and trivialization of cobordism classes in the presence of discrete symmetries. The main conceptual framework is the Cobordism Conjecture, which posits that theories consistent with quantum gravity admit no nontrivial deformation classes (i.e., all relevant cobordism groups vanish), enforcing the absence of global symmetries and, more subtly, the triviality of higher bordism invariants associated with extended objects.

A key technical result of the paper is the identification of a mismatch in naive dimensional reasoning for the defects required to trivialize cobordism classes $\Omega_2^\xi(BG)$ for discrete symmetry groups $G$. The authors demonstrate that symmetry-breaking defects required in quantum gravity are generically of codimension two (not three), but nontrivially arranged into brane networks—linking and junctions—realizing the necessary codimension-three topological obstructions. The analysis combines topological, group-theoretic, and string-theoretic tools, with explicit applications to 4d $\mathcal N=2$ SUGRA from type II compactifications.

Cobordism Conjecture, Bordism Groups, and Symmetry Breaking

The Cobordism Conjecture [McNamara:2019rup] asserts that a consistent quantum gravity theory must admit a trivial cobordism group in all relevant dimensions, forbidding conserved global charges. In the context of discrete symmetries, the relevant deformation classes are elements of bordism groups $\Omega_k^\xi(BG)$, where $BG$ is the classifying space of the discrete symmetry group and $\xi$ encodes tangential structure (e.g., orientation or spin).

Traditionally, to trivialize a $k$-dimensional class in bordism one expects the necessity for codimension-$(k+1)$ symmetry-breaking defects. However, the authors show that for $k=2$ and discrete symmetry groups this expectation fails: the defects required to kill the associated bordism classes are of codimension two, but their global arrangement—via linking configurations and brane junctions—captures the codimension-three topological constraint.

The analysis employs the group cohomology framework and the Atiyah–Hirzebruch spectral sequence to relate $\Omega_2^\xi(BG)$ to group homology classes $G$0. Through Hopf's theorem, the paper systematically connects group presentations (generators and relations) of $G$1 to geometric realizations involving defects and their networks.

Topological and Group-Theoretic Foundations: From Group Homology to Defect Networks

For a discrete group $G$2, the second bordism group $G$3 decomposes into a gravitational part and a reduced piece governed by the second group homology $G$4. Explicit presentations of $G$5 allow computation of $G$6 using Hopf's formula, relating group-theoretic relations and commutator structure to bordism representatives.

A crucial result is that elements of $G$7 can typically be realized as $G$8-bundles over genus-$G$9 Riemann surfaces $\mathcal N=2$0, with transition functions around noncontractible cycles determined by group elements constrained by the presentation of $\mathcal N=2$1. Obstructions are then tied not to individual defects but to their collective arrangements—individually, codimension-two defects provide local monodromies, but topologically nontrivial classes require the mutual linking or intersecting (junction) of such defects.

The authors rigorously demonstrate that for $\mathcal N=2$2 classes realized as single commutators, the bordism defect configuration involves the mutual linking of two codimension-two defects, each associated to commuting group elements. For higher-genus cases realized as products of commutators, as in the surface group $\mathcal N=2$3, the required defect network involves nontrivial bouquets with junctions, whose closure implements the global group relation.

Explicit Constructions: Linkings, Junctions, and No-Go Theorems

The paper provides a systematic construction of defect networks for both genus-one and higher-genus surfaces:

• Genus One: The class in $\mathcal N=2$4 is realized by commuting elements $\mathcal N=2$5; the defect configuration is a link of two codimension-two objects, each wrapping a 1-cycle (e.g., in the solid torus filling the $\mathcal N=2$6).
• Genus $\mathcal N=2$7: The presentation involves products of commutators $\mathcal N=2$8, leading to multivalent bouquets of defects whose closure enforces the group relation. In many groups, notably in free groups and surface groups, the combinatorial topology forbids resolving these bouquets using only linking (no junctions), except in cases where certain commutators are torsion.

A strong claim is established: For non-torsion commutator classes, linking resolutions are generally impossible, and junctions become mandatory. The explicit resolution of the bouquets in terms of possible links and the adjunction of junction points is formulated as a system of group-theoretic equations governing closure and monodromy relations. The combinatorial and homological structure determines the possible network types (pure links, links with junctions, etc).

String-Theoretic Realizations: Junctions in Type II and M-Theory

To substantiate the general topological and group-theoretic results, the analysis is extended to explicit string compactifications:

• In type IIA compactified on Calabi–Yau 3-folds, arising $\mathcal N=2$9 SUGRA theories possess discrete Heisenberg symmetry groups acting on axionic fields. The nontrivial $\Omega_k^\xi(BG)$0 classes originate from commutator relations in the Heisenberg group and require networks of D4-branes and fundamental strings, linked and joined in specific configurations dictated by the structure of the monodromy group and topological couplings in the action.
• Generalization to M-theory compactification on 7-manifolds further demonstrates the universality of these structures. Depending on the Betti numbers and torsion in the manifolds, one can engineer generators of $\Omega_k^\xi(BG)$1 requiring networks with arbitrarily complicated junction structure.

The paper closely analyzes the minimal number of commutators needed for certain classes, showing, for example, that for the Heisenberg group $\Omega_k^\xi(BG)$2 relevant to type II hypermultiplet moduli, $\Omega_k^\xi(BG)$3 contains classes that cannot be built without junctions, directly tied to the non-torsion property of the corresponding commutators.

Theoretical, Practical, and Conceptual Implications

The analysis advances the understanding of how quantum gravity enforces not only the absence of global symmetries but also highly nontrivial consistency conditions on defect spectra and their allowed networks. It implies that geometric topology, group cohomology, and the structure of brane networks in string/M-theory are deeply intertwined in ways not previously appreciated.

The methodology in the paper predicts new types of extended defects and network motifs that must exist in consistent string/M-theory compactifications, which can have implications for low-energy phenomenology, anomaly cancellation, and the construction of effective field theories with discrete gauge symmetries. Moreover, the precise link between the topological couplings (e.g., Chern–Simons terms) and cobordism trivialization gives a physical realization of a piece of the Swampland program.

Furthermore, the techniques and results are expected to generalize (albeit with complications such as nontrivial differentials) to higher cobordism groups and possibly to non-invertible and higher-group symmetries, further constraining the landscape of admissible quantum gravity theories and their low-energy limits.

Conclusion

This work refines the Cobordism Conjecture by identifying that cancellation of bordism classes associated with discrete symmetries $\Omega_k^\xi(BG)$4 requires not isolated codimension-$\Omega_k^\xi(BG)$5 defects, but rather networks of codimension-two defects arranged in link and junction patterns, with the type of network determined by the group theory of $\Omega_k^\xi(BG)$6 and the topology of the underlying bordism generator. In particular, for generic non-torsion commutator classes, junctions are unavoidable.

By combining homological algebra, manifolds with $\Omega_k^\xi(BG)$7-bundles, and explicit string-theoretic scenarios, the analysis compellingly demonstrates that cobordism-based Swampland constraints have concrete, sharp implications for the spectrum and allowed topological configurations of defects in quantum gravity. These results form a rigorous platform for future investigations into the structure of symmetries, defects, and their networks in both string theory and quantum gravity more broadly.