[論文レビュー] Realizability of the group of rational self-homotopy equivalences

Mahmoud Benkhalifa|arXiv (Cornell University)|Oct 7, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用数 14

ひとこと要約

本稿では、任意の自然数 $ n $ に対して、有理自己ホモトピー同値群が $ \mathbb{Z}_2 $ のコピーを $ 2^{n+1} $ 個の直和に同型である1連結な有理CW複体 $ X_n $ が存在することを証明している。Sullivanの有理ホモトピー論を用いて、可換コチェーン代数の最小モデルを構成し、コhomology的障害とホモトピー類を通じて自己同型を解析することで、生成子とその次数に対する明示的な代数的制約を通じて、望ましい群構造を実現した。

ABSTRACT

For a 1-connected CW-complex $X$, let $\mathcal{E}(X)$ denote the group of homotopy classes of self-homotopy equivalences of $X$. The aim of this paper is to prove that, for every $n\in\Bbb N$, there exists a 1-connected rational CW-complex $X_{n}$ such that $\mathcal{E}(X_{n})\cong \underset{2^{n+1}\mathrm{. times}}{\underbrace{\Bbb Z_{2}\oplus... \Bbb \oplus \Bbb Z_{2}}}$.

研究の動機と目的

• 有理ホモトピー論における実現可能性問題に取り組むこと：与えられた有限群 $ G $ に対して、$ \mathcal{E}(X) \cong G $ を満たす1連結な有理CW複体 $ X $ が存在するかを同定すること。
• 特に、形式 $ \mathbb{Z}_2^{2^{n+1}} $ の初等アーベル2群がすべての $ n \in \mathbb{N} $ に対して有理的に実現可能かどうかを調査すること。
• 自己同値群が目標の群構造と一致するような1連結な有理空間の明示的最小モデルを構成すること。
• コチェーン準同型に対する代数的制約を用いて、$ \mathbb{Z}_2 $ および $ \mathbb{Z}_2 \oplus \mathbb{Z}_2 $ の既存の結果を、高ランクの初等アーベル2群へと拡張すること。
• 自己同値群の群構造とコhomology的データとの間の関係を、$ b^n $ 写像と自己同型のホモトピー類を通じて確立すること。

提案手法

• Sullivanの最小モデル理論を用いて、位相的問題を $ \mathbb{Q} $ 上の1連結最小可換コチェーン代数（mcca）の代数的設定に翻訳する。
• mcca $ (\Lambda V, \partial) $ の自己ホモトピー同値群 $ \mathcal{E}(\Lambda V, \partial) $ を、微分を保存するコチェーン自己同型のホモトピー類のなす群として定義する。
• コチェーン準同型の間のホモトピー関係を、$ (\Lambda(t, dt), d) $ とのテンソル積を用いて定義し、二つの自己同型がホモトピックである条件を同定する。
• 生成子 $ v \in V^n $ に対して $ b^n(v) = [\partial(v)] $ で定義される線形写像 $ b^n: V^n \to H^{n+1}(\Lambda V^{\leq n-1}) $ を導入し、自己同型の拡張における障害データを追跡する。
• 各 $ n $ に対して、$ b^n $-構造を保存する対の集合としての群 $ \mathcal{C}^{n+1} \subset \text{Aut}(V^{n+1}) \times \mathcal{E}(\Lambda V^{\leq n}, \partial) $ を構成する。
• フィルトレーションレベル間の自己同型群の関係を記述する全射準同型 $ \Phi^{n+1}: \mathcal{E}(\Lambda V^{\leq n+1}, \partial) \to \mathcal{C}^{n+1} $ を用いて、群構造を帰納的に追跡する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限群 $ G $ は、ある1連結な有理CW複体の有理自己ホモトピー同値群として実現可能か？
• RQ2 すべての $ n \in \mathbb{N} $ に対して、形式 $ \mathbb{Z}_2^{2^{n+1}} $ の初等アーベル2群は有理的に実現可能か？
• RQ3 有理空間の最小モデルにどのような代数的制約が課されると、その自己同値群が $ \mathbb{Z}_2^{2^{n+1}} $ に同型になるか？
• RQ4 コhomology的写像 $ b^n $ と $ \mathcal{C}^{n+1} $ における整合性条件は、$ \mathcal{E}(\Lambda V, \partial) $ の構造をどのように制御するか？
• RQ5 係数 $ p_z, p_{y_i}, p_{x_k} $ の選択が、自己同値類の数と順序を決定する役割を果たすのはどのような仕組みか？

主な発見

• すべての $ n \in \mathbb{N} $ に対して、$ \mathcal{E}(X_n) \cong \mathbb{Z}_2^{2^{n+1}} $ を満たす1連結な有理CW複体 $ X_n $ が存在することを示し、これらの群の有理的実現可能性を証明した。
• $ \mathcal{E}(\Lambda V^{\leq 9.2^{n+2}-1}, \partial) $ は $ \mathbb{Z}_2^{2^{n+1}} $ に同型であり、特定の次数に生成子を配置するように注意深く設計された最小モデルによって構成された。
• 自己同値群は、$ p_{n+1} = 1 $ と $ p_{n+1} = -1 $ の2つの場合に由来し、それぞれが位数2のホモトピー類を $ 2^n $ 個ずつ寄与する。
• 自己同値のホモトピー類の総数は $ 2^n + 2^n = 2^{n+1} $ であり、すべての元が2次の元（単位元を除く）であるため、群は初等アーベル群であることが確認された。
• $ p_z, p_{y_1}, p_{y_2}, p_{y_3}, p_w, p_k $ が満たす方程式系は、$ \{ \pm 1 \} $ に値をとる解をちょうど $ 2^{n+1} $ 個もつ。これは群の元に対応する。
• すべての関連する次数におけるコサイクルがコボンドリーであるという事実に依拠しており、これにより任意の自己同型が、生成子上で対角的に作用するものとホモトピックであることが保証され、分類が単純化された。