[論文レビュー] Non-zero degree maps between $2n$-manifolds

Haibao Duan, Shicheng Wang|ArXiv.org|Feb 8, 2004

Geometric and Algebraic Topology参考文献 10被引用数 21

ひとこと要約

この論文は、トム＝ポントリャーギン双対性と交差形式を用いて、(n−1)-連結な2n-多様体間の非自明な次数の写像の存在について、計算可能な必要十分条件を提供する。主な結果は、4-多様体に関して、閉じた向き付け可能4-多様体Mから単連結4-多様体Lへの次数kの写像が存在するための必要十分条件は、k=1のときLの交差形式がMの交差形式の直和成分に同型であることであり、一般には任意のkに対して行列条件に一般化されることである。

ABSTRACT

Thom-Pontrjagin constructions are used to give a computable necessary and sufficient condition when a homomorphism $ϕ: H^n(L;Z) o H^n(M;Z)$ can be realized by a map $f:M o L$ of degree $k$ for closed $(n-1)$-connected $2n$-manifolds $M$ and $L$, $n>1$. A corollary is that each $(n-1)$-connected $2n$-manifold admits selfmaps of degree larger than 1, $n>1$. In the most interesting case of dimension 4, with the additional surgery arguments we give a necessary and sufficient condition for the existence of a degree $k$ map from a closed orientable 4-manifold $M$ to a closed simply connected 4-manifold $L$ in terms of their intersection forms, in particular there is a map $f:M o L$ of degree 1 if and only if the intersection form of $L$ is isomorphic to a direct summand of that of $M$.

研究の動機と目的

• (n−1)-連結な2n-多様体のコホモロジー群間のホモモーフィズムが、非ゼロ次数の写像によって実現可能である条件を特定すること。
• n>1 である閉じた向き付け可能な (n−1)-連結な2n-多様体間における次数kの写像の存在について、必要十分条件を提供すること。
• 4-多様体に対して、特に単連結4-多様体への写像に関して、交差形式を用いた特徴づけを拡張すること。
• n>1 である (n−1)-連結な2n-多様体がすべて、1より大きい次数の自己写像をもつことの証明。
• 行列方程式とホモトピー群を用いて、このような写像の完全なホモトピー的および代数的分類を確立すること。

提案手法

• トム＝ポントリャーギン双対性を用いて、多様体間の写像をコホモロジーおよびホモロジー上のホモモーフィズムに関連づけ、特にH^nの自由部分への注目を集中する。
• MのH^nの自由部分に定義される交差形式X_Mを、選ばれた基底に関してユニモジュラー行列Aとして表現する。
• 行列条件 P^T A P = kB を導出する。ここでPはホモロジー上の誘導写像を符号化し、Bは標的多様体の交差形式を表す。
• 2n-セルの非自明な付加写像を考慮するために、ホモトピー群π_{2n−1}(S^n)におけるホワイトヘッド積 [s^n, s^n] を用いた2次ホモトピー不変量を統合する。
• 4-多様体に関して、写像f:M→Lが次数kをもつことの必要十分条件が、行列方程式P^T A P = kB に加え、fのホモトピー類に関する追加制約を満たすことの証明を行う。
• 手術と分類結果を用いて、このような写像のホモトピー類の数が有限であり、π_{2n}(L)によって制御されることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられたホモモーフィズム φ:H^n(L;Z)→H^n(M;Z) が、非ゼロ次数kの写像 f:M→L によって生じるための条件は何か？
• RQ2 (n−1)-連結な2n-多様体間における次数kの写像の存在を保証する、交差形式およびホモトピー不変量に関する正確な代数的条件は何か？
• RQ3 4-多様体に関して、MからLへの次数1の写像が存在するのはいつか？ これは交差形式の構造とどのように関係するか？
• RQ4 これらの多様体間で、与えられた次数kの写像を実現するホモトピー類はいくつあるか？
• RQ5 すべての (n−1)-連結な2n-多様体が、n>1 に対して1より大きい次数の自己写像をもつだろうか？

主な発見

• (n−1)-連結な2n-多様体MとLの間で、次数kの写像f:M→Lが存在するための必要十分条件は、行列PがP^T A P = kB を満たし、ホワイトヘッド積を含む2次ホモトピー条件を満たすことである。
• 4-多様体に関して、次数kの写像f:M→Lが存在するための必要十分条件は、P^T A P = kB であり、ここでAとBはそれぞれMとLの交差形式を基底に関して選んだものである。
• 4-多様体に関して、次数1の写像f:M→Lが存在するための必要十分条件は、Lの交差形式がMの交差形式の直和成分に同型であることである。
• n>1 であるすべての (n−1)-連結な2n-多様体は、主定理の推論として、1より大きい次数の自己写像をもつ。
• 与えられた次数kの写像を実現するホモトピー類の数は有限であり、π_{2n}(L)の元と一対一対応する。
• 4-多様体に関して、CP²#CP² や S²×S² のような場合、D(M,L) = {0} であるが、T⁴ と #₃S²×S² の間では D(T⁴, #₃S²×S²) = Z であり、すべての整数次数が実現可能であることが示される。