[論文レビュー] Higher Whitehead products in toric topology

Jelena Grbić, Stephen Theriault|arXiv (Cornell University)|Nov 9, 2010

Topological and Geometric Data Analysis参考文献 19被引用数 10

ひとこと要約

この論文は、トーリックトポロジーにおける写像 $χ_K: \mathcal{Z}_K \to DJ_K$ のホモトピー型を、各単体的複体 $K$ の欠落した面が非自明な高次および反復ホイットニー積に対応することを示すことによって同定する。それぞれの欠落した面は、$H_*(\Omega DJ_K; \mathbb{Q})$ に非ゼロのフリューウィッチ像を持つアドジョイントを有する非自明な高次ホイットニー積に対応する。主な貢献は、$\mathcal{Z}_K \simeq \bigvee S^n$ というホモトピー同値であり、写像 $DJ_K$ への構造がホイットニー積を用いて完全に記述されることにある。

ABSTRACT

In this paper we study the relationship between the moment-angle complex Z_k and the Davis-Januskiewicz space DJ(K) for a class of complexes K named missing-face complexes. If K has n vertices we consider the homotopy fibration sequence Z_k --> DJ(K) --> M where M is a product of n copies of infinite complex projective space. We observe that for such K, Z_k is homotopy equivalent to a wedge of spheres, and then show that under this equivalence the map Z_k --> DJ(K) is homotopic to a wedge sum of higher Whitehead products and iterated Whitehead products.

研究の動機と目的

• 広範な $\mathcal{Z}_K$ および $DJ_K$ の研究にもかかわらず、ほとんど未解明であった写像 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ の分析により、トーリックトポロジーにおける重要な空白を埋める。
• 単体的複体 $K$ の族に対して、$\widetilde{w}$ の明確なホモトピー論的記述を確立する。
• 写像 $\widetilde{w}$ が、各 $K$ の欠落した面が非自明なホイットニー積に対応する高次および反復ホイットニー積のワッジ和として実現されることを示す。
• フリューウィッチ像を追跡できる $\Omega DJ_K$ の有理数モデルを構成し、$\mathcal{Z}_K$ のホモトピー型および $\widetilde{w}$ の構造の明示的計算を可能にする。

提案手法

• 著者たちは、多面体的積の構成を用いて、$\mathcal{Z}_K(\underline{X})$ および $DJ_K(\underline{X})$ を定義し、ホモトピーファイブレーション $\mathcal{Z}_K(\underline{X}) \to DJ_K(\underline{X}) \to \prod_{i=1}^n X_i$ に適合させる。
• 各 $X_i = S^{m_i+1}$ に特化し、$\Omega DJ_K(\underline{S})$ および $\Omega DJ_K$ の有理数的ホモロジーを計算するが、フリューウィッチ像を通じて幾何的情報を保持する。
• 鍵となる技術は、ループ空間の代数的構造（特に $I$ の関係および $b_i$ と $u_j$ によって生成されるリー代数構造を含む）を符号化する新しい有理数モデルの構成である。
• ジェイムズ分解を適用して、ループ空間の反復ジョインを球面のワッジ和に分解し、$\mathcal{Z}_K$ のワッジ和成分と一致させる。
• その後、写像 $\widetilde{w}$ が高次ホイットニー積 $\widetilde{w}_i$ のアドジョイントおよび反復ホイットニー積 $[\widetilde{w}_i, \tilde{a}_j]$ のワッジ和として示される。
• 同定は、代数的要素 $[u_i, a_j]$ が理想 $I$ に属することを確認することに依存しており、これにより対応するホイットニー積が非自明であり、実際にホモトピー類に対応することが保証される。

実験結果

リサーチクエスチョン

• RQ1 写像 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ は、ホモトピー不変量の観点からどのように明示的に記述できるか？
• RQ2 $K$ の欠落した面と $\Omega DJ_K$ 内の高次ホイットニー積の構造との間にはどのような関係があるか？
• RQ3 $\Omega DJ_K$ のための有理数モデルを構築でき、フリューウィッチ像を追跡し、$\mathcal{Z}_K$ の明示的計算を可能にするか？
• RQ4 次元が 1 より大きい欠落した面から、反復ホイットニー積はどの程度生じるか？
• RQ5 次元 1 の欠落した面 $(3,4)$ に対して、集合 $\widetilde{W}_{(3,4)}$ が空集合であるのはなぜか？ そしてこれは理想 $I$ とどのように関係するか？

主な発見

• 単体的複体 $K$ に欠落した面がある場合、モーメント・アングル複体 $\mathcal{Z}_K$ は球面のワッジ和とホモトピー同値である：最初の例では $\mathcal{Z}_K \simeq S^3 \vee 2S^5 \vee 2S^6$、第二の例では $\mathcal{Z}_K \simeq S^3 \vee 2S^7 \vee 2S^8$ である。
• 写像 $\widetilde{w}: \mathcal{Z}_K \to DJ_K$ は、高次ホイットニー積 $\widetilde{w}_1$, $\widetilde{w}_2$, $\widetilde{w}_3$ のアドジョイントおよび反復ホイットニー積 $[\widetilde{w}_2, \tilde{a}_4]$, $[\widetilde{w}_3, \tilde{a}_3]$ のワッジ和として実現される。
• 次元が 1 より大きい $K$ の各欠落した面は、$H_*(\Omega DJ_K; \mathbb{Q})$ に非ゼロのフリューウィッチ像を持つアドジョイントを有する非自明な高次ホイットニー積に対応する。
• 次元 1 の欠落した面 $(3,4)$ に対しては、集合 $\widetilde{W}_{(3,4)}$ が空である。これは、対応するホイットニー積 $[\widetilde{w}_1, \tilde{a}_3]$ および $[\widetilde{w}_1, \tilde{a}_4]$ が理想 $I$ に属するため、ホモトピーにおいて自明になるからである。
• 有理数的ホモロジー $\Omega DJ_K$ は、$b_i$ および $u_j$ によって生成されるリー代数の普遍包あらわし代数に同型であり、$I+J$ に含まれる関係を除いたものである。ここで $u_j$ は、高次ホイットニー積のアドジョイントのフリューウィッチ像である。
• $\mathcal{Z}_K$ のワッジ分解は、[GT2] および [GT1] で得られた既知の結果と一致しており、独立的な計算による整合性が確認されている。