Nested Cobordism Invariants

• Nested cobordism invariants are a hierarchical set of invariants that encode complex geometric and algebraic structures through embedded submanifolds and higher-order data.
• They are derived using methodologies such as the nested Pontryagin–Thom construction, stratified Morse theory, and group localization to reveal hidden torsion and linkage.
• Their construction and classification employ techniques from TQFTs, categorical diagrams, and iterated cohomology theories to solve advanced topological classification problems.

Nested cobordism invariants constitute a broad hierarchy of invariants capturing subtle topological, geometric, and algebraic properties of manifolds and cycles equipped with embedded, nested substructures or associated higher-order algebraic data. These invariants generalize classical cobordism invariants by encoding additional information descending from the data of embedded submanifolds, flags, group filtrations, parity towers, or intermediate cohomology theories. Modern research demonstrates that nested cobordism invariants detect geometric features—such as hidden torsion, higher-order linkages, or iterated cohomological obstructions—which are invisible to previous invariants. Their construction draws on stratified Morse theory, Pontryagin–Thom maps, advanced group localization, and deep connections to the structure of cobordism categories, TQFTs, and homotopy theory.

1. Definitions of Nested Cobordism and Hierarchical Structures

Nested cobordism refers to the study of manifolds equipped with specified, possibly iterated, sequences of embedded submanifolds (flags), and to cobordisms between such objects that interpolate both the ambient and all subordinate strata. Formally, an $(I-1)$–manifold for a dimension sequence $I = (d_1 < d_2 < \cdots < d_n)$ is a closed $d_{n-1}$–manifold with successively embedded closed $d_{n-2},\dots,d_1$–dimensional submanifolds. A nested cobordism is an $I$–tuple $(W_{d_n},\ldots,W_{d_1})$ of nested manifolds with prescribed identifications on in- and out-boundaries. Cobordism classes are then considered up to nested-diffeomorphism, with composition defined via stratified pushouts (Calle et al., 2024).

These geometric structures parallel systematic filtrations in algebraic topology and group theory. For instance, the successive kernels of topological realization maps or the lower central series of fundamental groups provide algebraically nested classes to which successively finer cobordism invariants may be attached (Quick, 2015, Cha et al., 2011). In virtual knot theory, towers of parity assignments yield hierarchies of group-valued invariants incorporating multiple indices (Manturov, 2022).

2. Pontryagin–Thom Construction for Nested Submanifolds

A central mechanism for extracting invariants from nested manifold data is the nested Pontryagin–Thom construction. For structures given by Serre fibrations $\theta:B\to BO(d)$ and $\theta':B'\to BO(d')$, a once-nested $(\theta',\theta)$–submanifold in $M$ consists of $K' \subset K \subset M$ with $\theta$- and $\theta'$-structure lifts. Given tubular neighborhoods $N(K')\subset N(K)$, one defines a well-defined collapse map

$$f_{K',K}\colon M\to \mathrm{Th}(\theta'^*\gamma_{d'})_+ \wedge \mathrm{Th}(\theta^*\gamma_d)$$

that encodes how $K$ and $K'$ are embedded (Blanco, 20 Dec 2025).

A classification theorem asserts a natural bijection (up to homotopy and under standard codimension restrictions):

$$\mathrm{NCob}^{(\theta',\theta)}(M) \cong [\,M\,,\, \mathrm{Th}(\theta'^*\gamma_{d'})_+ \wedge \mathrm{Th}(\theta^*\gamma_d)\,],$$

mirroring the role of classical Pontryagin–Thom spaces for ordinary cobordism, now extended to "flagged" (nested) configurations. This construction extends to stable structures, relating stable nested cobordism to homotopy groups of hybrid Thom spaces.

3. Algebraic and Homological Hierarchies: Lower Central Series and Group Localizations

Nested invariants capture "deep" algebraic features via sequences such as the transfinite lower central series of groups or iterated group localizations. For any group $G$,

$$\Gamma_1(G) = G,\qquad \Gamma_{n+1}(G) = [G,\Gamma_n(G)],\qquad \Gamma_\lambda(G) = \bigcap_{n<\lambda} \Gamma_n(G)$$

for limit ordinal $\lambda$. Elements deep within this series (e.g., in $\Gamma_\omega$ but not $\Gamma_{\omega+1}$) correspond to "hidden" geometric phenomena.

Group localizations such as Vogel’s $R$-homology localization $G\to \hat{G}$ (where $R=\mathbb{Z}$ or $\mathbb{Z}/p$) enable the detection of local hidden torsion—elements $g\in G$ of infinite order whose localized images acquire finite order (Cha et al., 2011). Such elements yield algebraic approximations to geometric hidden torsion, which is only revealed via sophisticated cobordism constructions.

4. Construction and Classification of Nested Invariants

Nested cobordism invariants are realized using distinct frameworks:

• Whitehead Product and Linkage Invariants: When the highest-dimensional structure is framed, the nested Pontryagin–Thom target splits, and Whitehead product invariants (such as Wang’s $\Delta_\lambda$) arise from Hilton–Milnor decompositions. These detect nontrivial linkage among nested submanifolds and are necessary and sufficient obstructions to null-cobordism in codimension $>1$ (Blanco, 20 Dec 2025).
• Abel–Jacobi and Hodge–Filtered Invariants: In algebraic cobordism, Hopkins–Quick define nested Abel–Jacobi invariants on successive kernels of realization maps, yielding a filtration

$$\Omega^p_{top}(X) \subset \Omega^p_{top,E}(X) \subset \Omega^p_{hom}(X) \subset \Omega^p(X)$$

and a corresponding tower of Jacobian-type invariants, each probing finer structure via cohomological and Hodge-theoretic data (Quick, 2015).

• Homology Cylinders and Johnson–Milnor–Orr Invariants: For the homology cobordism group $H_{g,n}$ of homology cylinders, one constructs descending filtrations—such as the interleaved Johnson–Milnor chain—so that each successive quotient is abelian, finitely generated, and classified by extended Johnson, Milnor, or Orr invariants. Invariants associated to these quotients—and further, to intersections of all kernels—yield infinite rank abelianizations not detected by classical means (Song, 2020, Song, 2015).
• Parity-Tower Virtual Knot Invariants: Manturov defines a "nested" sequence of parity-indexed group-valued sliceness obstructions, iterating the process of Gauss diagram valuation through higher-order parity assignments, yielding a direct system of invariants sensitive to increasingly complex cobordism moves—sometimes undetected by standard theories (Manturov, 2022).
• Categorical and TQFT-Derived Invariants: In two dimensions, the discrete cobordism category of nested 1– and 2–submanifolds (e.g., the "striped-cylinder" category $\mathrm{Cyl}$) leads to functorial invariants in any strict monoidal category via generators and relations. These connect to Temperley–Lieb, annular, and cyclic objects, and realize all 2D TQFTs as $\mathrm{Cyl}$-objects (Calle et al., 2024).

5. Detection and Nontriviality Beyond Classical Invariants

A key feature of nested cobordism invariants is their ability to distinguish objects that are invisible to all previously known invariants. For instance, Cha–Orr construct closed hyperbolic 3-manifolds possessing local hidden torsion in $\pi_\omega$, not detected by any torsion-free, nilpotent, or $p$-group quotient of the fundamental group. Only using representations to amenable, non-nilpotent groups with prescribed torsion can the corresponding Cheeger–Gromov $\rho$-invariants distinguish these manifolds up to homology cobordism (Cha et al., 2011).

Similarly, sequence filtrations in the homology cobordism group of homology cylinders yield infinite rank abelian subgroups in intersections of all descending kernels, detected by higher-order Hirzebruch-type intersection form defect invariants (using iterated $p$-covers and Witt-class signatures), rather than by Johnson, Milnor, or classical nilpotent invariants (Song, 2015).

In virtual knot theory, the nested (two- or higher-index) parity invariants offer sliceness obstructions sensitive to $\Delta$–moves and higher-order cobordism operations, unattainable by previous Gauss diagram or finite-type invariants (Manturov, 2022).

6. Functoriality, Relations, and Category-Theoretic Structure

Nested cobordism invariants are functorial under appropriate morphisms:

• Pullbacks and Pushforwards: In the algebraic setting, Abel–Jacobi-type invariants respect both pullback along smooth morphisms and Gysin push-forward, matching functoriality of underlying cohomology theories (Quick, 2015).
• Composition in Categorical Settings: In the cobordism category $\mathrm{Cyl}$, all closed morphisms induce (numerical) invariants via evaluation of functor images, and the data of a TQFT is precisely the data of a $\mathrm{Cyl}$-object satisfying all generator relations (eight families of relations for elementary cobordisms) (Calle et al., 2024).
• Splitting Theorems: When the ambient framing allows, stable splitting results due to Wall decompose the stable nested cobordism group as a direct sum of lower-dimensional cobordism groups, realized by cofiber sequences among associated Thom spectra (Blanco, 20 Dec 2025).

7. Applications, Examples, and Impact

Nested cobordism invariants have broad applications:

• Topological Classification: They provide distinguishing invariants for closed 3-manifolds homology cobordant but with different lower central series lengths, answering problems posed by Cochran–Freedman and extending the geometric reach of cobordism theory (Cha et al., 2011).
• Link Concordance and Embedding Problems: The nested Pontryagin–Thom construction recovers previously studied link cobordism invariants, with stable Whitehead product invariants classifying null-cobordism in many cases (Blanco, 20 Dec 2025).
• Virtual Knot Theory: Parity-nested invariants define a tower of sliceness obstructions and move-sensitive invariants, opening a path to systematic classification of virtual knots beyond Vassiliev invariants (Manturov, 2022).
• Algebraic Cycles: Nested Abel–Jacobi homomorphisms reconstruct and refine classical regulators, providing a finely filtered understanding of algebraic cycles not detected by topological realization, and supporting functorial, product-compatible, and computationally explicit invariants (Quick, 2015).
• TQFTs and Diagrammatics: The structured presentation of nested cobordism categories and their functorial invariants generalizes the classical Temperley–Lieb story, encompassing module and representation theoretic aspects of topological invariants (Calle et al., 2024).

In summary, nested cobordism invariants, constructed through stratified topological, algebraic, and categorical machinery, capture layered geometric and algebraic structures unobservable by classical invariants, enabling new classification results and revealing deeper connections among topology, group theory, and homotopy theory.