A K-theory spectrum for cobordism cut and paste groups

Basic Information

• Paper ID: 2210.00682
• Title: A K-theory spectrum for cobordism cut and paste groups
• Authors: Renee S. Hoekzema, Carmen Rovi, Julia Semikina
• Classification: math.AT math.CT math.GT math.KT (Algebraic Topology, Category Theory, Geometric Topology, K-theory)
• Publication Date: October 2022 (arXiv preprint, revised September 2024)
• Paper Link: https://arxiv.org/abs/2210.00682

Abstract

This paper investigates cobordism groups and cut and paste groups of manifolds, both of which are generated by imposing different relations on the monoid of disjoint union of manifolds. By simultaneously imposing both types of relations, the authors define the cobordism cut and paste groups $\overline{\text{SK}}_n$. The definition is extended to manifolds with boundary, yielding groups $\overline{\text{SK}}^{\partial}_n$, and the relationship between these groups and appropriately defined cobordism groups of manifolds with boundary is studied. The main results include: constructing a spectrum whose $π_0$ recovers the cobordism cut and paste groups $\overline{\text{SK}}^{\partial}_n$ of manifolds with boundary, and constructing a spectrum map that lifts the standard quotient map $\text{SK}^{\partial}_n \rightarrow \overline{\text{SK}}^{\partial}_n$.

Research Background and Motivation

Problem Background

1. Classical SK groups: The cut and paste equivalence relation was originally introduced by Karras, Kreck, Neumann, and Ossa to study topological invariants of closed manifolds. Two manifolds are called SK equivalent if one can be obtained from the other by cutting along a codimension-1 submanifold and regluing.
2. Cobordism theory: Cobordism is another important equivalence relation for manifolds; two n-dimensional manifolds are cobordant if and only if their disjoint union forms the boundary of some (n+1)-dimensional manifold.
3. Challenges with manifolds with boundary: Generalizing these concepts to manifolds with boundary presents technical difficulties, particularly in defining an appropriate cobordism relation such that not all manifolds of the same dimension are automatically cobordant.

Research Motivation

1. Theoretical completeness: Unifying classical SK theory and cobordism theory within the framework of manifolds with boundary.
2. Spectral theory connections: Constructing K-theory spectra to encode these algebraic invariants, establishing deep connections between algebra and topology.
3. Classifying spaces: Providing geometric realizations through infinite loop space structures.

Core Contributions

1. Introduction of trivial boundary cobordism: Defining a trivial boundary cobordism relation for manifolds with boundary, resolving the issue that traditional cobordism relations are too broad.
2. Construction of cobordism cut and paste groups: Defining the group $\overline{\text{SK}}^{\partial}_n$ for manifolds with boundary and establishing exact sequence relationships with classical SK groups.
3. K-theory spectrum construction: Constructing a quadruple simplicial set $X^*_{•,•,•}$ and the corresponding spectrum $K^□(\text{Mfd}^{\partial}_n)$, generalizing existing K-theory constructions.
4. Main theorem proofs:
   • Theorem A: $K^□_0(\text{Mfd}^{\partial}_n) \cong \overline{\text{SK}}^{\partial}_n$
   • Theorem B: Constructing a spectrum map that lifts the quotient map $\text{SK}^{\partial}_n \rightarrow \overline{\text{SK}}^{\partial}_n$

Detailed Methodology

Definition of Trivial Boundary Cobordism

Definition 2.2.1: Two manifolds with boundary $M$ and $M'$ are trivially boundary cobordant if and only if there exists a manifold with corners $W$ whose boundary consists of three parts:

• A part homeomorphic to $M$
• A part homeomorphic to $\overline{M'}$ (with reversed orientation)
• A part homeomorphic to $\partial M \times I \cong \partial M' \times I$

This definition ensures that the cobordism is "cylindrical" on the boundary, avoiding the trivial situation where arbitrary manifolds are cobordant.

Quadruple Simplicial Set Construction

The paper constructs a quadruple simplicial set $X^*_{•,•,•}$, where:

1. First direction (horizontal): SK embeddings, encoding cut and paste operations
2. Second direction (vertical): SK embeddings, encoding cut and paste operations
3. Third direction (depth): Trivial boundary cobordism
4. Fourth direction: Topological parametrization, handling manifold bundles

Basic Building Blocks

• $X^r_{0,0,0}$: Manifold bundles over $\Delta^r$
• $X^r_{1,0,0}, X^r_{0,1,0}$: SK embeddings between manifold bundles
• $X^r_{0,0,1}$: Trivial boundary cobordism
• $X^r_{1,1,0}$: Cut and paste squares
• $X^r_{1,1,1}$: Manifold cubes

Technical Innovations

1. Three-dimensional cube structure: Unlike traditional two-dimensional square K-theory, introducing a third simplicial direction to handle cobordism relations.
2. Mixed morphism categories: Three simplicial directions corresponding to different types of morphisms (two SK embedding directions and one cobordism direction).
3. Topological treatment: Introducing topological structure through a fourth simplicial direction, yielding a topological version of the manifold cut and paste spectrum.

Main Theorem Proof Strategy

Proof Strategy for Theorem A

Through direct simplicial combinatorial arguments:

1. Vertex contraction: First contracting all vertices to a single vertex
2. Generator simplification: Using 2-simplices to establish relations, simplifying generators to the form $[∅ \to A]$
3. Relation identification: Proving that main relations come from:
   • Square relations (encoding SK equivalence)
   • Cobordism relations (encoding trivial boundary cobordism)
4. Completeness verification: Proving these are all relations

Key insight: Any general 2-simplex relation can be obtained through combinations of SK and cobordism relations.

Γ-space Structure

Using Segal's Γ-space machinery to prove that $|X^*_{•,•,•}|$ is an infinite loop space:

1. Decomposability: Defining decomposable and indecomposable elements
2. Marking system: Marking indecomposable components with non-basepoint elements of $n_+$
3. Specialness proof: Proving Segal maps are weak homotopy equivalences through "shift map" techniques

Experimental Results

Exact Sequence

The paper establishes an important exact sequence: $0 \rightarrow \text{SK}_n \xrightarrow{\alpha} \overline{\text{SK}}^{\partial}_n \xrightarrow{\beta} C_{n-1} \rightarrow 0$

where $C_{n-1}$ is the group completion of boundary $(n-1)$-manifolds.

Spectrum Map

Constructing a spectrum map: $K^□(\text{Mfd}^{\partial}_n) \rightarrow K^□(\text{Mfd}^{\partial}_n)$ that induces the standard quotient map $\text{SK}^{\partial}_n \rightarrow \overline{\text{SK}}^{\partial}_n$ on $π_0$.

Related Work

Historical Development

1. KKNO73: Establishing foundational relationships between classical SK groups and cobordism theory
2. HMM+22: Generalizing SK theory to manifolds with boundary, constructing the $K^□(\text{Mfd}^{\partial}_n)$ spectrum
3. CKMZ23: Developing K-theory framework for square categories

Technical Connections

• Genauer fibration: Utilizing fibration structures of cobordism categories
• Parametrized cobordism categories: Borrowing parametrization techniques from RS17
• Γ-space theory: Applying Segal's infinite loop space theory

Conclusions and Discussion

Main Conclusions

1. Successfully generalizing cobordism cut and paste theory to manifolds with boundary
2. Constructing the corresponding K-theory spectrum, establishing algebraic-topological correspondence
3. Providing natural generalization and unified framework for classical theory

Limitations

1. Considering only oriented compact smooth manifolds
2. The restriction of trivial boundary cobordism may be overly strict
3. Certain technical details (such as existence of cubes) require further verification

Future Directions

1. Generalizing to non-oriented or non-compact cases
2. Investigating more general boundary conditions
3. Exploring relationships with other topological invariants

In-Depth Evaluation

Strengths

1. Theoretical depth: Successfully unifying two important manifold theories
2. Technical innovation: The quadruple simplicial set construction is an important generalization of existing K-theory
3. Rigor: Complete proofs with careful technical details
4. Geometric intuition: The cube structure provides clear geometric visualization

Weaknesses

1. Complexity: The construction of the quadruple simplicial set is quite complex, potentially limiting applications
2. Computational difficulty: Actually computing $\overline{\text{SK}}^{\partial}_n$ may be difficult
3. Application scope: Currently mainly theoretical results; practical applications require further development

Impact

1. Theoretical contribution: Providing new tools and perspectives for manifold topology
2. Methodology: Multi-directional simplicial techniques may apply to other problems
3. Connectivity: Strengthening connections between different branches of algebraic topology

Applicable Scenarios

1. Studying topological classification problems of manifolds
2. Theoretical research in K-theory and algebraic topology
3. Invariant theory in geometric topology

References

The paper cites 31 important references covering core works in cobordism theory, K-theory, manifold topology and other fields, particularly:

• KKNO73 Foundational work on classical SK group theory
• HMM+22 Direct predecessor of SK theory for manifolds with boundary
• CKMZ23 Theoretical foundation of K-theory for square categories

Summary: This is a high-quality theoretical mathematics paper that successfully generalizes classical manifold theory to more general settings and provides profound topological realization through K-theory spectra. Although technically complex, it makes important contributions to the development of manifold topology.