[論文レビュー] Mapping degrees of self-maps of simply-connected manifolds

Manuel Amann|arXiv (Cornell University)|Sep 5, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 6

ひとこと要約

本稿は、次元 ≥70 のすべての次元において、単連結で滑らかでコンパクトな閉多様体を構成し、それらが非可逆的（有限個の写像次数しか持たない）であり、かつ方向反転写像を持たない（負の次数を持つ自己写像がない）ことを示している。有理ホモトピー論と最小モデルを用いて、これらの多様体が分解不能（非自明な連結和でも積でもない）であり、Copeland–Sharの予想を現実世界へ一般化している。

ABSTRACT

An oriented compact closed manifold is called inflexible if the set of mapping degrees ranging over all continuous self-maps is finite. Inflexible manifolds have become of importance in the theory of functorial semi-norms on homology. Although inflexibility should be a generic property in large dimensions, not many simply-connected examples are known. We show that from a certain dimension on there are infinitely many inflexible manifolds in each dimension. Besides, we prove flexibility for large classes of manifolds and, in particular, as a spin-off, for homogeneous spaces. This is an outcome of a lifting result which also permits to generalise a conjecture of Copeland--Shar to the "real world". Moreover, we then provide examples of simply-connected smooth compact closed manifolds in each dimension from dimension 70 on which have the following properties: They do not admit any self-map which reverses orientation. (For this we consider the lack of orientation reversal in the strongest sense possible, i.e. we prove the non-existence of any self-map of arbitrary negative mapping degree.) Moreover, the manifolds neither split as non-trivial Cartesian products nor as non-trivial connected sums.

研究の動機と目的

• 高次元における非可逆的かつ方向反転写像を持たない単連結で滑らかでコンパクトな閉多様体を構成すること。
• 70次元以上から始まるすべての次元において、このような多様体が存在することを示すこと。これにより、既知の例における空白を埋めること。
• これらの多様体が分解不能であること、すなわち非自明な連結和やカルテジアン積に分解されないことを証明すること。
• 有理ホモトピー論を用いて、写像次数の枠組みを現実世界の多様体へ一般化し、Copeland–Sharの予想を拡張すること。

提案手法

• 写像次数の分析に、有理ホモトピー論と可換微分付き代数（CDGA）の最小モデルを用いる。
• APLおよびADR関手を適用し、連続写像とその微分形式およびホモロジーへの誘導写像との関係を確立する。
• de Rham定理を用いて、有理写像次数を単体ホモロジー次数に等置する。
• 最小モデルの構造を用いて、任意の分解が球面と有理ホモトピー同値に強制されることを示し、コホモロジー構造に矛盾することを示す。
• 障害理論的技法を用いて、特定の多様体が負の次数の自己写像を持たないことを証明する。
• 体積形式が次数の偶数乗によって変換されることに着目し、正の性質を保証し、したがって方向反転が生じないことを示す。

実験結果

リサーチクエスチョン

• RQ1 高次元における単連結多様体のうち、非可逆的かつ負の次数の自己写像を一切持たないもの是否存在するか？
• RQ2 70次元以上において、このような多様体が分解不能（連結和でも積でもない）に構成可能か？
• RQ3 有理ホモトピー論的手法を用いて、写像次数に関するCopeland–Shar予想を現実世界へ一般化可能か？
• RQ4 有理コホモロジー構造は、方向反転自己写像の障害にどのように寄与するか？
• RQ5 CDGAの最小モデルは、写像次数の有限性および負の次数写像の不在をどのように反映するか？

主な発見

• すべての次元 n ≥ 70 に対して、負の次数の自己写像を持たない単連結で滑らかでコンパクトな閉多様体が存在する。
• これらの多様体は分解不能である。非自明な連結和やカルテジアン積に分解されない。
• 最小モデルの構造と非自明な自己準同型の不在により、写像次数集合が有限（非可逆的）である。
• 負の次数写像の不在は、体積形式が次数の偶数乗によって変換されることに起因し、正の性質が保たれるためである。
• 構成された多様体の有理ホモトピー型は、特定の操作のもとで保存され、非可逆性や方向反転の不在といった主要な性質が継承されることを保証する。
• 結果として、このような多様体が滑らかで強い位相的制約を満たす現実世界に存在することを示すことにより、Copeland–Sharの予想が現実世界へ一般化された。