2025-11-23T06:46:16.057673

A K-theory spectrum for cobordism cut and paste groups

Hoekzema, Rovi, Semikina

Cobordism groups and cut-and-paste groups of manifolds arise from imposing two different relations on the monoid of manifolds under disjoint union. By imposing both relations simultaneously, a cobordism cut and paste group $\overline{\mathrm{SK}}_n$ is defined. In this paper, we extend this definition to manifolds with boundary obtaining $\overline{\mathrm{SK}}^{\partial}_n$ and study the relationship of this group to an appropriately defined cobordism group of manifolds with boundary. The main results are the construction of a spectrum that recovers on $Ï_0$ the cobordism cut and paste groups of manifolds with boundary, $\overline{\mathrm{SK}}^{\partial}_n$, and a map of spectra that lifts the canonical quotient map $\mathrm{SK}^{\partial}_n \rightarrow \overline{\mathrm{SK}}^{\partial}_n$.

academic

コボルディズムカット・アンド・ペースト群のためのK理論スペクトラム

基本情報

論文ID: 2210.00682
タイトル: A K-theory spectrum for cobordism cut and paste groups
著者: Renee S. Hoekzema, Carmen Rovi, Julia Semikina
分類: math.AT math.CT math.GT math.KT（代数的位相幾何学、圏論、幾何学的位相幾何学、K理論）
発表時期: 2022年10月（arXiv プレプリント、2024年9月改訂）
論文リンク: https://arxiv.org/abs/2210.00682

要旨

本論文は多様体のコボルディズム群とカット・アンド・ペースト群を研究する。これら両群は多様体の非交和演算上の単一群に異なる関係を課すことで生成される。両関係を同時に課すことにより、コボルディズムカット・アンド・ペースト群 $\overline{\text{SK}}_n$ を定義する。本論文はこの定義を境界付き多様体に拡張し、群 $\overline{\text{SK}}^{\partial}_n$ を得て、この群と適切に定義された境界付き多様体のコボルディズム群との関係を研究する。主要な結果には以下が含まれる： $π_0$ が境界付き多様体のコボルディズムカット・アンド・ペースト群 $\overline{\text{SK}}^{\partial}_n$ を復元するスペクトラムの構成、および標準商写像 $\text{SK}^{\partial}_n \rightarrow \overline{\text{SK}}^{\partial}_n$ を持ち上げるスペクトラム写像の構成。

研究背景と動機

問題背景

古典的SK群：カット・アンド・ペースト同値関係は元々Karras、Kreck、Neumann、Ossaによって導入され、閉多様体の位相不変量を研究するために用いられた。余次元1部分多様体に沿って切断し再び貼り付けることにより、2つの多様体はSK同値と呼ばれる。
コボルディズム理論：コボルディズム関係は多様体等価関係のもう一つの重要な形式であり、2つのn次元多様体がコボルディズムであるとは、それらの非交和がある(n+1)次元多様体の境界を構成する場合である。
境界付き多様体の課題：これらの概念を境界付き多様体に一般化することは技術的困難に直面する。特に、任意の同次元多様体が自動的にコボルディズムにならないような適切なコボルディズム関係を定義する必要がある。

研究動機

理論的完全性：古典的SK理論とコボルディズム理論を境界付き多様体の枠組みに統一する必要がある。
スペクトラム理論との関連：これらの代数的不変量を符号化するK理論スペクトラムを構成し、代数と位相幾何学の間の深い関連性を確立する。
分類空間：無限ループ空間構造を通じて幾何学的実現を提供する。

核心的貢献

自明境界コボルディズムの導入：境界付き多様体の自明境界コボルディズム関係を定義し、従来のコボルディズム関係が過度に広いという問題を解決した。
コボルディズムカット・アンド・ペースト群の構成：境界付き多様体に対して $\overline{\text{SK}}^{\partial}_n$ 群を定義し、古典的SK群との完全列関係を確立した。
K理論スペクトラムの構成：四重単体集合 $X^*_{•,•,•}$ と対応するスペクトラム $K^□(\text{Mfd}^{\partial}_n)$ を構成し、既存のK理論構成を一般化した。
主要定理の証明：
- 定理A： $K^□_0(\text{Mfd}^{\partial}_n) \cong \overline{\text{SK}}^{\partial}_n$
- 定理B：商写像 $\text{SK}^{\partial}_n \rightarrow \overline{\text{SK}}^{\partial}_n$ を持ち上げるスペクトラム写像を構成した

方法の詳細

自明境界コボルディズムの定義

定義2.2.1：2つの境界付き多様体 $M$ と $M'$ が自明境界コボルディズムであるとは、その境界が3つの部分から構成される角付きコボルディズム $W$ が存在する場合である：

$M$ と同相な部分
$\overline{M'}$ （逆向き）と同相な部分
$\partial M \times I \cong \partial M' \times I$ と同相な部分

この定義はコボルディズムが境界上で「円筒状」であることを保証し、任意の多様体がコボルディズムになる自明な場合を回避する。

四重単体集合の構成

論文は四重単体集合 $X^*_{•,•,•}$ を構成した。その構成は以下の通りである：

第1方向（水平）：SK埋め込み、カット・アンド・ペースト操作を符号化
第2方向（垂直）：SK埋め込み、カット・アンド・ペースト操作を符号化
第3方向（深さ）：自明境界コボルディズム
第4方向：位相パラメータ化、多様体束を処理

基本構成要素

$X^r_{0,0,0}$ ： $\Delta^r$ 上の境界付き多様体束
$X^r_{1,0,0}, X^r_{0,1,0}$ ：多様体束間のSK埋め込み
$X^r_{0,0,1}$ ：自明境界コボルディズム
$X^r_{1,1,0}$ ：カット・アンド・ペースト正方形
$X^r_{1,1,1}$ ：多様体立方体

技術的革新点

3次元立方体構造：従来の2次元正方形K理論と異なり、コボルディズム関係を処理するために第3の単体方向を導入した。
混合態射圏：3つの単体方向は異なる性質の態射（2つのSK埋め込み方向と1つのコボルディズム方向）に対応する。
位相化処理：第4の単体方向を通じて位相構造を導入し、多様体カット・アンド・ペースト・スペクトラムの位相版を得た。

主要定理の証明戦略

定理Aの証明戦略

直接的な単体組合論的議論を通じて：

頂点の縮約：まずすべての頂点を単一の頂点に縮約する
生成元の簡約：2-単体を利用して関係を確立し、生成元を $[∅ \to A]$ 形式に簡約する
関係の同定：主要な関係が以下から生じることを証明する：
- 正方形関係（SK同値を符号化）
- コボルディズム関係（自明境界コボルディズムを符号化）
完全性の検証：これらがすべての関係であることを証明する

重要な洞察：任意の一般的な2-単体の関係はSKおよびコボルディズム関係の組み合わせで得られる。

Γ-空間構造

Segalの Γ-空間機構を利用して $|X^*_{•,•,•}|$ が無限ループ空間であることを証明する：

分解性：分解可能および分解不可能な元を定義する
標識システム： $n_+$ の非基点元で分解不可能な成分を標識する
特殊性の証明：「シフト写像」技術を通じてSegal写像が弱ホモトピー同値であることを証明する

実験結果

完全列

論文は重要な完全列を確立した： $0 \rightarrow \text{SK}_n \xrightarrow{\alpha} \overline{\text{SK}}^{\partial}_n \xrightarrow{\beta} C_{n-1} \rightarrow 0$

ここで $C_{n-1}$ は境界 $(n-1)$ -多様体の群完備化である。

スペクトラム写像

スペクトラム写像を構成した： $K^□(\text{Mfd}^{\partial}_n) \rightarrow K^□(\text{Mfd}^{\partial}_n)$ $π_0$ 上で標準商写像 $\text{SK}^{\partial}_n \rightarrow \overline{\text{SK}}^{\partial}_n$ を誘導する。