[論文レビュー] A conjectured lower bound for the cohomological dimension of elliptic spaces. Some results in some simple cases

Mohamed Rachid Hilali, My Ismail Mamouni|ArXiv.org|Mar 26, 2008

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

ひとこと要約

この論文は、1連結な楕円的空間の有理ベッチ数が、そのホモトピー群の総有理ランク以上であるという、有理ホモトピー論における予想を検証する。スーリヴァンの最小モデル理論を用いて、ネルマンフォールド、同次長を持つ微分をもつ空間、コホーモロジー的モデル、2段階モデルなどの特殊な場合において、この予想を証明する。その際、順次的ベクトル空間分解とベッチ数に対する代数的上限を用いて、コホモロジー構造を分析する。

ABSTRACT

Here we prove some special cases of the following conjecture: that the sum of the Betti numbers of a 1-connected elliptic space is greater than the total rank of its homotopy groups. Our main tool is Sullivan's minimal model.

研究の動機と目的

• 1連結な楕円的空間の有理コホモロジー次元に対する、その有理ホモトピー群の総ランクを用いた下界を確立すること。
• 特定のクラスの楕円的空間について、ベッチ数の和がホモトピー群の総有理ランク以上であるという予想を検証すること。
• 純粋空間、H空間、シンプレクティック多様体に関する既知の結果を、有理ホモトピー論における代数的技法を用いてより広いクラスへと拡張すること。
• 2段階モデル、コホーモロジー的モデル、および楕円的空間の有限積における予想の有効性を調査すること。
• ファイブレーションおよびゴットリーブ群の文脈において、楕円的有理ホモトピー型の枠組みの中で、未解決の問題とその拡張の可能性を同定すること。

提案手法

• 1連結な楕円的空間の有理ホモトピー型を代数的にモデル化するために、スーリヴァンの最小モデル理論を用いる。
• 最小モデルを $ V = V^{\text{even}} \oplus V^{\text{odd}} $ のように順次的ベクトル空間に分解し、微分構造を分析する。
• 微分が $ d: V \to \Lambda^l V $ の形をとる「同次長微分」という概念を用いて、コホモロジー的上限を導出する。
• マッピング定理と「形式的次元」の概念を用いて、ネルマンフォールドにおけるベッチ数を推定する。
• コサイクル代表元の長さによるコホモロジーの2重順次的構造を用いて、$ l \geq 3 $ のモデルにおける $ \dim H^*(\Lambda V,d) $ を上限で評価する。
• 既知のハイパーエリプティックおよび2段階モデルに関する結果を活用し、ベッチ数に対して指数的および多項式的下限を得る。

実験結果

リサーチクエスチョン

• RQ1 ネルマンフォールドに対して、予想 $ \dim H^*(X,\mathbb{Q}) \geq \dim(\pi_*(X) \otimes \mathbb{Q}) $ は成立するか？
• RQ2 同次長微分が $ l \geq 3 $ の楕円的最小モデルに対し、この予想は証明可能か？
• RQ3 奇数次元生成子のみをもつコホーモロジー的モデルにおいて、予想は成立するか？
• RQ4 有理ベッチ数の不等式を満たす楕円的空間の有限積において、予想は保存されるか？
• RQ5 ファイブレーション $ F \to E \to B $ において、$ F $ と $ B $ が予想を満たすと仮定したとき、$ E $ に対しても予想が成立するための条件は何か？

主な発見

• ネルマンフォールドでは、$ \dim H^*(\Lambda V,d) \geq 2 \cdot \text{fd}(X) \geq \dim V $ が成り立つ。これは、ネルマンフォールドがF型であり、形式的次元が $ \dim V $ 以上であるためである。
• 同次長微分 $ l \geq 3 $ のモデルでは、$ \dim H^*(\Lambda V,d) \geq e = \dim V^{\text{odd}} + (l-2)\dim V^{\text{even}} \geq \dim V $ が成り立ち、予想が証明される。
• 奇数次元生成子のみをもつコホーモロジー的ケースでは、$ \dim H^*(\Lambda V,d) \geq 2 \cdot \text{cat}_0(\Lambda V) \geq \dim V $ が、カテゴリーと奇数次元ベクトル空間のランクに関する上限を用いて得られる。
• 微分が $ d: W \to \Lambda^2 U $ で同型であり、生成子がすべて奇数次元である2段階モデルでは、$ \dim H^*(\Lambda V,d) \geq 2^{\dim W} \geq \dim V $ が成り立つ。これは $ \dim W \geq \dim V / 2 $ であるためである。
• 形式的かつハイパーエリプティックなモデルでは、$ \dim H^*(\Lambda V,d) \geq 2^p $ であり、$ p \geq \dim V - \dim V^{\text{even}} $ のとき $ 2^p \geq \dim V $ となるため、予想は成立する。
• 有理ベッチ数とホモトピー群ランクの乗法的性質に起因し、不等式を満たす楕円的空間の有限積において、予想は保存される。