Papers
Topics
Authors
Recent
Search
2000 character limit reached

Cobordism Conjecture in Quantum Gravity

Updated 4 July 2026
  • Cobordism Conjecture is a proposal in quantum gravity stating that the bordism groups, with all required physical structures, must vanish to avoid conserved topological charges.
  • It implies that any nontrivial bordism class triggers the need for explicit defects—such as branes, orientifolds, or singularities—to cancel emerging topological charges.
  • The conjecture informs studies in string theory and F-theory by recovering 7-brane spectra, constraining supergravity models, and refining moduli-space and anomaly conditions.

Searching arXiv for recent and foundational papers on the Cobordism Conjecture and closely related developments. arXiv_search(query="Cobordism Conjecture swampland quantum gravity", max_results=10, sort_by="submittedDate") arXiv_search(query="On the Swampland Cobordism Conjecture and Non-Abelian Duality Groups", max_results=5, sort_by="relevance") arXiv_search(query="(Dierigl et al., 2020)", max_results=3, sort_by="relevance") The Cobordism Conjecture, proposed by McNamara and Vafa within the swampland program, states that the bordism group of quantum gravity is trivial, ΩnQG0\Omega_n^{QG}\equiv 0 for all nn (McNamara et al., 2019). In this formulation, one considers compact backgrounds endowed with whatever additional structure quantum gravity requires—spin, gauge bundles, duality bundles, fluxes, or related data—and identifies two such backgrounds when they are connected by a higher-dimensional quantum-gravity configuration with matching boundary structure (Andriot et al., 2022). The conjecture is therefore a sharpened version of the no-global-symmetries principle: a nonzero cobordism class would define a conserved topological charge, and consistency then demands physical defects, such as branes, orientifolds, boundaries, or more general singular objects, that trivialize every class (McNamara et al., 2019). Subsequent work has used this principle to recover familiar 7-brane spectra in type IIB/F-theory, constrain supergravities with 16 supercharges, formulate dynamical end-of-the-world singularities, and organize the relevant tangential and geometric structures entering quantum-gravity bordism (Dierigl et al., 2020).

1. Mathematical formulation and swampland motivation

For a candidate quantum gravity theory in total spacetime dimension dd, with D=dkD=d-k noncompact dimensions, the conjecture is phrased in terms of a cobordism group ΩkQG\Omega_k^{QG} of compact kk-dimensional internal backgrounds. Concretely,

ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,

where MNM\sim N if there exists a finite-energy domain wall, realized as a noncompact (k+1)(k+1)-dimensional quantum-gravity background WW with

nn0

The group law is disjoint union, the zero element is the empty background, and inverses come from reversing orientations (McNamara et al., 2019). In the special case of smooth manifolds with additional nn1-structure and a map to a space nn2, this reduces to the generalized cobordism groups nn3 familiar from algebraic topology (McNamara et al., 2019).

The physical motivation is that a nonzero class nn4 behaves as a conserved nn5-form charge. The construction described in the swampland literature forms a localized nn6-dimensional defect by taking the connected sum nn7 in the internal directions; the associated topological current nn8 obeys

nn9

for a linking dd0-sphere dd1 (McNamara et al., 2019). Black-hole evaporation arguments then lead to the standard alternatives of charge nonconservation or an infinite family of Planck-mass remnants, so the conjecture concludes that consistency requires

dd2

(McNamara et al., 2019).

A related formulation emphasizes that any two closed dd3-dimensional QG-manifolds dd4 and dd5 are QG-bordant if there is a compact dd6-manifold dd7 carrying an extension of the required QG-structure and satisfying dd8 as QG-manifolds (Andriot et al., 2022). This makes explicit that the conjecture is not only a statement about ordinary topology, but about topology together with the full physical structure of the theory.

2. Defect trivialization and the role of explicit quantum-gravity objects

In the conjectural picture, triviality of dd9 is implemented dynamically. For a family of D=dkD=d-k0-manifolds D=dkD=d-k1 generating a bordism class D=dkD=d-k2, the statement D=dkD=d-k3 means there exist D=dkD=d-k4-manifolds D=dkD=d-k5 with

D=dkD=d-k6

realized physically as worldvolumes or boundaries of defects. In practice one writes an exact sequence

D=dkD=d-k7

and shows that all classes in D=dkD=d-k8 are cancelled by explicit brane insertions (Dierigl et al., 2020).

Several canonical examples recur across the literature. For D=dkD=d-k9-form gauge fields, an approximate group ΩkQG\Omega_k^{QG}0 is detected by

ΩkQG\Omega_k^{QG}1

and killing this charge requires a magnetic monopole brane, identified with a DΩkQG\Omega_k^{QG}2-brane (McNamara et al., 2019). For ΩkQG\Omega_k^{QG}3, generated by K3, the conjecture requires orientifold-like objects: in M-theory the map ΩkQG\Omega_k^{QG}4 has kernel ΩkQG\Omega_k^{QG}5, and nonorientable ΩkQG\Omega_k^{QG}6 manifolds such as the MO5-plane break the corresponding charge; further defects such as the MO1 kill the remaining torsion (McNamara et al., 2019). For ΩkQG\Omega_k^{QG}7 in type IIB on ΩkQG\Omega_k^{QG}8 with periodic spin structure, the class is killed by an O7-plane background, described as the half-K3 F-theory compactification on the hemisphere or Sen’s orientifold limit (McNamara et al., 2019).

Approximate group Representative Known killer
ΩkQG\Omega_k^{QG}9 K3 MO5, MO1
kk0 kk1 O7-plane background
kk2 kk3 MO9, O8

The same logic extends beyond supersymmetric defects. The 2019 swampland analysis argues that known supersymmetric branes, NS5-branes, orientifold planes, Horava–Witten walls, and smooth Calabi–Yau blow-up/down processes kill almost all candidate classes, but residual gaps predict genuinely non-supersymmetric objects, such as a domain wall between IIA and IIB in 10d or a junction of 24 non-BPS kk4 7-branes killing the last kk5 4-generator (McNamara et al., 2019). These defects are topologically stable through a finite cyclic selection rule, kk6, rather than through an accompanying low-energy gauge field (McNamara et al., 2019).

A further refinement arises in AdS/CFT. There, domain walls implement cobordisms between asymptotic boundary data, and topological obstructions to direct conformal interfaces can be bypassed by localizing anomaly-absorbing matter on the wall. In this sense, any two consistent AdS duals can be connected by a bulk domain wall carrying sufficient worldvolume fields to absorb the mismatch, and a single AdS background admits an end-of-the-world brane by the same mechanism (Ooguri et al., 2020).

3. Type IIB, duality bundles, and non-Abelian 7-brane physics

The type IIB/F-theory realization is the most detailed arena in which the conjecture has been analyzed. In type IIB compactified on a circle, a duality twist kk7 defines a class in kk8, and the conjecture predicts that such a twist must be trivialized by codimension-two defects, namely 7-branes. Concretely,

kk9

and the ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,0 factor is generated by a D7-brane monodromy, so vanishing of the corresponding QG bordism forces the inclusion of at least one D7-brane for each unit of ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,1-twist (Dierigl et al., 2020).

The non-Abelian structure of the IIB duality group requires more than the D7-brane sector alone. The axio-dilaton

ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,2

takes values in the upper half-plane ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,3, with ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,4 acting by fractional linear transformations, and the physical moduli space is the orbifold

ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,5

Since ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,6, one has

ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,7

so closed paths in ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,8 encode the full duality-twist data (Dierigl et al., 2020). The general ΩkQG={Mk closed, compact quantum-gravity backgrounds}/,\Omega_k^{QG} = \{ M^k \text{ closed, compact quantum-gravity backgrounds} \}/\sim,9 7-brane carries monodromy

MNM\sim N0

and this monodromy agrees with the transition function of the corresponding loop in MNM\sim N1 (Dierigl et al., 2020).

This geometric description also reproduces non-Abelian braid statistics. For two non-local 7-branes MNM\sim N2 and MNM\sim N3 with monodromies MNM\sim N4 and MNM\sim N5, dragging MNM\sim N6 around MNM\sim N7 conjugates MNM\sim N8 by MNM\sim N9, and the resulting braid relation is

(k+1)(k+1)0

Thus bordism triviality supplies the need for 7-branes, while the orbifold fundamental group of axio-dilaton moduli space captures the full noncommutative exchange structure of (k+1)(k+1)1 7-branes (Dierigl et al., 2020).

Later work sharpened this picture by incorporating fermions and orientation reversal. In type IIB with fermions, the duality group lifts from (k+1)(k+1)2 to its metaplectic double cover (k+1)(k+1)3, and allowing worldsheet orientation reversal promotes it to the (k+1)(k+1)4 cover of (k+1)(k+1)5. In that setting, many non-trivial bordism classes with (k+1)(k+1)6 duality bundles are identified with asymptotic boundaries of known supersymmetric F-theory backgrounds, including (k+1)(k+1)7-7-branes, non-Higgsable clusters, and S-folds. Extending to the (k+1)(k+1)8 cover requires an additional non-supersymmetric “reflection 7-brane,” predicted precisely to kill the extra bordism classes appearing in the enlarged duality structure (Debray et al., 2023).

4. Moduli-space constraints, anomalies, and restrictions on supergravity

Combining the Cobordism Conjecture with the Ooguri–Vafa expectation that a quantum-gravity moduli space becomes simply connected once all physical defects are included yields sharp constraints on F-theory vacua. For a congruence subgroup (k+1)(k+1)9, one compactifies

WW0

by adjoining cusps and orbifold points to obtain the modular curve WW1. The condition WW2 forces WW3 to have genus zero. In 8D F-theory this implies that WW4 must be one of the genus-zero congruence subgroups, and the corresponding Mordell–Weil torsion groups are exactly the known ones: WW5, WW6, giving WW7; WW8, WW9, giving nn00; and intersections such as nn01, giving nn02, nn03, and related cases (Dierigl et al., 2020).

A second line of development uses cobordism together with anomaly cancellation to constrain supergravity theories with 16 supercharges in nn04. In the relevant nn05 structure, one has

nn06

generated by nn07. Triviality requires a singular 3-manifold nn08 with nn09, realized in string examples as the local orbifold nn10 or an orientifold quotient; the associated codimension-three defect is called an I5-fold (Montero et al., 2020). Compactification on nn11 with eight fixed points then turns bordism triviality into arithmetic restrictions. In nine dimensions one obtains

nn12

while in eight dimensions one obtains

nn13

Combined with the distance-conjecture bounds nn14 in nine dimensions and nn15 in eight dimensions, these congruences give nn16 and nn17, respectively, exactly the known string-theoretic constructions (Montero et al., 2020).

The same anomaly analysis constrains the global structure of enhanced gauge groups. For non-abelian factors nn18 whose conjugation is in the Weyl group, anomaly cancellation forces

nn19

This excludes, for example, nn20, while nn21, nn22, and appropriate nn23 and nn24 factors remain compatible (Montero et al., 2020). The broader significance is that cobordism triviality is not merely a topological existence statement for defects; when combined with anomaly inflow, it constrains the rank and global form of admissible low-energy gauge sectors.

5. Dynamical cobordism, singularities, and end-of-the-world branes

A major refinement replaces the static statement nn25 by a dynamical criterion for singular solutions. In the generalized Dudas–Mourad and Blumenhagen–Font models, finite-size “rolling” solutions in a nn26-dimensional EFT develop a singularity at finite proper distance, and consistency with quantum gravity requires a local on-shell end-of-the-world brane whose near-core behavior matches that singularity. In both models one finds the universal lower bound

nn27

for the critical exponent nn28 controlling the scaling of proper distance and curvature near the wall (Blumenhagen et al., 2023). In the codimension-one sector, neutral and charged ETW defects realize the two characteristic values nn29 and nn30, and BPS orientifold planes appear as special charged ETW branes; in particular, the nn31 case recovers the O8-plane (Blumenhagen et al., 2023).

The Sharpened Dynamical Cobordism Conjecture formulates this in terms of a structure-dependent allowed range nn32 for nn33. For a near-singularity solution

nn34

a singularity with nn35 is interpreted as a genuine transition-to-nothing, whereas nn36 indicates an obstruction, i.e. a non-trivial cobordism global charge, and the EFT must be enlarged by new higher-form fields or explicit brane defects (Makridou et al., 7 May 2026). In a pure Einstein-dilaton theory this gives

nn37

The resulting diagnostics are nontrivial: in massive IIA without O8-planes the Romans-mass solution has nn38, which lies outside the pure Einstein-dilaton range, but after adding the 9-form potential under which the O8 is charged, the allowed range collapses to the single point nn39, so the O8-plane precisely restores cobordism triviality (Makridou et al., 7 May 2026). By the same criterion, the Janis–Newman–Winicour naked singularity is “bad,” the extremal Garfinkle–Horowitz–Strominger solution is “good” in Einstein-dilaton-Maxwell theory, and only the problematic nn40 D3-brane distribution fails both Gubser and sharpened dynamical cobordism (Makridou et al., 7 May 2026).

A geometrically distinct approach studies cobordism through Ricci-flow surgery. If nn41 is an embedding, surgery produces

nn42

and the trace-cobordism

nn43

satisfies nn44, so surgeries preserve cobordism classes (Velázquez et al., 2022). In oriented cobordism one has nn45, generated by nn46, while nn47, so

nn48

Accordingly,

nn49

has trivial class in nn50, providing a concrete model in which defect insertion preserves trivial cobordism after surgery (Velázquez et al., 2022).

6. Structural refinements, dualities, and neighboring notions

One structural proposal is that the Whitehead tower organizes the tangential data entering the conjecture. For nn51, the first stages are

nn52

with obstruction classes nn53, nn54, nn55, and nn56, respectively (Andriot et al., 2022). The same work argues that geometric structures such as higher nn57-bundles with connection should be included directly in bordism, using stacks like nn58, and proves

nn59

Allowing magnetic defects modifies the classification by quotienting flux labels,

nn60

and this in turn suggests the necessity of Kaluza–Klein monopoles from the requirement that nn61 be killed (Andriot et al., 2022). The same framework emphasizes that T-duality exchanges NS5-branes, KK monopoles, and Q-branes while preserving the cobordism criterion (Andriot et al., 2022).

A complementary refinement identifies cobordism charges with open-string charge groups. Using the Atiyah–Bott–Shapiro and Todd orientations, the open-closed correspondence described in the literature gives

nn62

interpreted as a physical manifestation of a generalized Conner–Floyd isomorphism (Blumenhagen et al., 2021). In this picture, D-brane K-theory charges and closed-string cobordism charges are the same RR gauge charge, and gauging the diagonal combination recovers type I and F-theory tadpole cancellation conditions, including the familiar 24 seven-branes on nn63 in F-theory on K3 (Blumenhagen et al., 2021).

More recent work shows that bordism trivialization for discrete symmetry groups can require networks rather than isolated defects. For a discrete group nn64, the second bordism is controlled by the short exact sequence

nn65

and nontrivial classes in nn66 are trivialized not by codimension-three “holes” but by linked and junctioned networks of ordinary codimension-two defects (Dierigl et al., 18 May 2026). In four-dimensional supergravity with a discrete Heisenberg symmetry acting on axions, this predicts explicit D4-string and fundamental-string junctions whose valence is fixed by the commutator structure of nn67 (Dierigl et al., 18 May 2026). A related G-theory-motivated analysis computes

nn68

with nn69 an abelian 2-group of order 16, most likely nn70; 24 nn71-branes cancel the perturbative nn72-subgroup, while the extra torsion points toward S-folds and other exotic U-duality defects (Damian et al., 11 May 2026).

A persistent terminological ambiguity should be removed. In higher category theory, the “cobordism hypothesis” is the statement that fully extended framed nn73-dimensional TQFTs are classified by fully dualizable objects in a symmetric monoidal nn74-category, with

nn75

(Ayala et al., 2017). That theorem concerns the bordism category of manifolds and higher morphisms in TQFT. The swampland Cobordism Conjecture instead concerns the vanishing of quantum-gravity bordism groups and the necessity of defects that trivialize them. The shared terminology reflects common topological input, but the two statements address different problems.

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Cobordism Conjecture.