[論文レビュー] Pontryagin-Thom-Szucs type construction for non-positive codimensional singular maps with prescribed singular fibers

Boldizsár Kalmár|ArXiv.org|Dec 5, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 4

ひとこと要約

この論文は、非正のcodimensional特異写像に対してPontryagin-Thom-Szűcs型の構成を発展させ、指定された特異ファイバーをもつ$-1$ codimensional安定写像のcobordismおよびbordism群の研究を可能にする。構造群をコンパクト部分群に還元し、ホモトピー論的技法を適用することで、低次元におけるカスプ写像の向き付きcobordism群を計算し、$ mathcal{C}ob_{ mathfrak{c}}^{O}(3,-1) \cong \mathbb{Z}_2$および$ mathcal{C}ob_{ mathfrak{c}}^{O}(4,-1)$がランク2であることを示し、生成子は特定の特異ファイバー型に関連している。

ABSTRACT

We give a Pontryagin-Thom-Szucs type construction for non-positive codimensional singular maps, and obtain results about cobordism and bordism groups of -1 codimensional stable maps with prescribed singular fibers.

研究の動機と目的

• Pontryagin-Thom-Szűcs構成を非正のcodimensional特異写像、特にcodimension $-1$ に拡張すること。
• この設定において、指定された特異ファイバーをもつ安定写像のcobordismおよびbordism群を研究すること。
• ホモトピー的解析のため、特異ファイバー bundle の構造群をコンパクト部分群に還元すること。
• 構築された枠組みを用いて、低次元におけるカスプ写像の明示的なcobordism群を計算すること。

提案手法

• 与えられた写像 $h: X^l \to \mathbb{R}^k$ と構造群 $\mathcal{G} \subset \mathrm{AUT}(h)$ に対して、Milnorの構成を用いて普遍 bundle を構成する。
• Pontryagin-Thom-Szűcs構成を用いて、特異写像の族と、Thom空間への写像のホモトピー類との関係を確立する。
• リーマン計量と対称性の考察を用いて、特異集合上の bundle $\xi_\SS(f)$ の構造群をコンパクト部分群に還元する。
• 構成から得られるホモトピー完全列を応用し、cobordism群を計算する。
• 既知の安定ホモトピー群およびThom空間に関する結果を活用し、$\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1) \cong \pi_{n-1}^s(\mathbb{R}P^\infty)$ を同定する。
• 幾何的構成および代数的数え上げなどの不変量を用いて、cobordism群のランクと torsion を特定する。

実験結果

リサーチクエスチョン

• RQ1 Pontryagin-Thom-Szűcs構成を非正のcodimensional特異写像、特にcodimension $-1$ にどのように適応できるか。
• RQ2 この文脈における特異ファイバー bundle の構造群の還元はどのようなものがあり、cobordism分類にどのように影響するか。
• RQ3 低次元における $-1$ codimensional カスプ写像の向き付きcobordism群の構造はいかなるものか。
• RQ4 代数的数え上げのような不変量が、cobordism群の生成子とどのように関係するか。
• RQ5 単純なカスプ写像のcobordism群は、$\mathbb{R}P^\infty$ の安定ホモトピー群と同一視できるか。

主な発見

• 向き付きcobordism群 $\mathcal{C}ob_{\mathfrak{c}}^{O}(3,-1)$ は $\mathbb{Z}_2$ に同型であり、その同型は写像の特異集合をそのcobordism類への浸漬として写すホモモーフィズム $\gamma$ によって実現される。
• cobordism群 $\mathcal{C}ob_{\mathfrak{c}}^{O}(4,-1)$ はランク2であり、タイプ $\mathrm{III}^8$ および $\mathrm{III}^b$ の特異ファイバーの代数的数え上げによって生成される。
• 特異ファイバー $\sigma_\SS$ に関連する bundle $\xi_\SS(f)$ の構造群はコンパクト部分群に還元可能であり、これは横断性およびホモトピー論的技法との整合性を保証する。
• 各連結成分に高々1つの特異点をもつ単純なカスプ写像に対して、向き付きcobordism群 $\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1)$ は $\pi_{n-1}^s(\mathbb{R}P^\infty)$ に同型である。
• 向き付き折りたたみcobordism群からの和因子 $\pi_{n-1}^s$ は $\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1)$ に零写像として写るため、自然なホモモーフィズムの核はまさに折りたたみ部分の像に一致する。
• ファイバー・ジェルムを保存するリーマン計量を保つ等長変換からなる群 $\mathrm{ISO}(\sigma_\SS)$ は、$\sigma_\SS$ に円周成分がなく、かつ $p > \kappa(\SS)$ がその位数を割らないとき、有限群である。