[論文レビュー] Foundations of algebraic surgery

Andrew Ranicki|ArXiv.org|Nov 30, 2001

Cardiac, Anesthesia and Surgical Outcomes参考文献 8被引用数 4

ひとこと要約

本稿は、ポアンカーレ双対性を備えたチェーン複体を通じて、多様体上の幾何的 surgery の代数的対応物を同定することにより、代数的 surgery の基盤を確立する。正規写像上の幾何的 surgery と核の二次的ポアンカーレ複体上の代数的 surgery の間の一対一対応を証明し、Wall の surgery 障害が核複体のコボルディズム類に等しいことを示し、事前の幾何的 surgery が不要な形で偶数次元と奇数次元の両方を統一的に取り扱う。

ABSTRACT

An elementary introduction to the principles of algebraic surgery.

研究の動機と目的

• チェーン複体を用いて、多様体上の幾何的 surgery の代数的対応物を形式化すること。
• 正規写像上の幾何的 surgery と核複体上の代数的 surgery の間の一対一対応を確立すること。
• Wall の surgery 障害が核の二次的ポアンカーレ複体のコボルディズム類に等しいことを示し、事前の幾何的 surgery が不要となるようにすること。
• 代数的 surgery を用いて、偶数次元と奇数次元の両方の surgery 障害の定式化を統一すること。

提案手法

• 群環 $\mathbb{Z}[\pi_1(M)]$ および $\mathbb{Z}[\pi_1(X)]$ 上の対称的および二次的ポアンカーレ複体を用い、多様体と正規写像をモデル化する。
• 多様体 $M$ 上の幾何的 surgery の効果を、チェーンレベルでの代数的マッピングコーンとしてモデル化する。
• 正規写像 $(f,b): M \to X$ の核複体 $(C, \psi)$ を、ホモロジー $K_*(M) = \ker(f_*: H_*(\widetilde{M}) \to H_*(\widetilde{X}))$ を持つチェーン複体として定義する。
• $n > 4$ および $2i \leq n$ を満たす $i$-連結な正規写像に対して、$x \in K_i(M)$ を消去する幾何的 surgery と $x \in H_i(C)$ を消去する代数的 surgery の間の一対一対応を確立する。
• Wall の surgery 障害 $\sigma_*(f,b) \in L_n(\mathbb{Z}[\pi_1(X)])$ を核の二次的ポアンカーレ複体 $(C, \psi)$ のコボルディズム類に同定する。
• 局所化完全系列と $S^{-1}A$-可縮複体を用いて相対 $L$-群を記述し、代数的 surgery を用いて $L$-群を計算する。

実験結果

リサーチクエスチョン

• RQ1 多様体上の幾何的 surgery をチェーンレベルでどのように代数的にモデル化できるか？
• RQ2 正規写像上の幾何的 surgery の正確な代数的対応物は何か？
• RQ3 Wall の surgery 障害は核複体のコボルディズム類とどのように関係するか？
• RQ4 事前の幾何的 surgery が不要な形で、核複体から直接 surgery 障害を計算できるか？
• RQ5 $S^{-1}A$-可縮複体は代数的 surgery フレームワークにおいて果たす役割は何か？

主な発見

• 次元 $n > 4$ および $2i \leq n$ を満たす $i$-連結な正規写像に対して、$x \in K_i(M)$ を消去する正規写像 $(f,b)$ 上の幾何的 surgery と、核の二次的ポアンカーレ複体 $(C,\psi)$ 上の代数的 surgery が $x \in H_i(C)$ を消去するものとの間には一対一対応が存在する。
• Wall の surgery 障害 $\sigma_*(f,b) \in L_n(\mathbb{Z}[\pi_1(X)])$ は核の二次的ポアンカーレ複体 $(C,\psi)$ のコボルディズム類に同定され、偶数次元と奇数次元の両方に対して一様な定式化が可能となる。
• $n = 2i$ の場合、微分と双対形式を含む写真の余核が瞬間の surgery 障害を示し、$\sigma_*(f,b)$ を表す非特異な $(-)^i$-二次形式が得られる。
• $n = 2i+1$ の場合、瞬間の surgery 障害は非特異な $(-)^i$-二次的形成として表現される。
• 局所化完全系列により、$L_n(A,S)$ は $A$ 上の $(n-1)$-次元の $S^{-1}A$-可縮二次的ポアンカーレ複体のコボルディズム群として記述可能であり、$L$-群の計算が可能になる。
• $L$-群 $L_n(\mathbb{Z})$ および $L^n(\mathbb{Z})$ は $\mathbb{Q}$ における局所化系列を用いて計算され、$n \mod 4$ に応じて $\mathbb{Z}$、$\mathbb{Z}_2$、または 0 となる。偶数次元では、符号数とArf不変量が現れる。