[論文レビュー] The rational homology of real toric manifolds

Alexander I. Suciu|arXiv (Cornell University)|Feb 10, 2013

Advanced Combinatorial Mathematics参考文献 13被引用数 10

ひとこと要約

この論文は、特徴的行列の行の部分集合によってパrameter化された、双対単体的複体の誘導部分複体のホモロジーを用いて、実トーリック多様体の有理ベッチ数の公式を確立する。主な貢献は、多面体と特徴的行列の両方に依存する、有理コホモロジーの明確な組合せ的表現であり、これは mod 2 ベッチ数の結果を一般化し、ヘッセンバーグ多様体およびグラフアソシアヘドラの既知の計算を回復する。

ABSTRACT

This is an extended abstract for a talk given at the mini-workshop "Cohomology rings and fundamental groups of hyperplane arrangements, wonderful compactifications, and real toric varieties", held in Oberwolfach, September 30-October 6, 2012. We describe a formula (obtained in joint work with Alvise Trevisan) for computing the Betti numbers of real toric manifolds, based on a study of cohomology with coefficients in rank one local systems for various polyhedral products. Applying this formula, we recover Henderson's computation of the Betti numbers of real Hessenberg varieties. We conclude with a discussion of the formality question in this context.

研究の動機と目的

• 有理コホモロジー構造を特定すること。これは、mod 2 ベッチ数では完全に捉えきれない実トーリック多様体の性質である。
• 特に実設定において、複素類似物を超えてトーリック多様体の位相的理解を拡張すること。
• 有理ベッチ数が多面体の組合せ論的構造だけでなく、特徴的行列に依存することを解明すること。
• 実トーリック多様体の形式性を調査すること。これは、既知の複素トーリック多様体の形式性と対照的である。

提案手法

• 自由な $\bZ_2^{m-n}$-作用による商をとることで、実トーリック多様体のモーメント・アングル複体構成を $(D^1, S^0)$ を用いて行う。
• 各部分集合 $S \subseteq [n]$ に対して、双対単体的複体 $K$ の部分複体 $K_{\chi,S}$ を定義する。ここで $K_{\chi,S}$ は、$\chi_S = \sum_{i \in S} \chi_i$ の $j$ 番目の成分が非ゼロであるような頂点 $j$ に誘導される。
• $\mathcal{Z}_K(D^1, S^0)$、$N_P(\chi)$、および $\mathcal{Z}_K(\mathbb{RP}^\infty, *)$ を含むファイブレーションにスペクトル系列を適用し、有理ホモロジーを計算する。
• Bahri, Bendersky, Cohen, および Gitler によるモーメント・アングル複体の安定分解結果を活用し、$\mathcal{Z}_K(\mathbb{RP}^\infty, *)$ 上の局所系統を分析する。
• 中心的な計算的道具として、公式 $\dim H_q(N_P(\chi), \mathbb{Q}) = \sum_{S \subseteq [n]} \dim \widetilde{H}_{q-1}(K_{\chi,S}, \mathbb{Q})$ を用いる。
• Björner および Wachs の Cohen–Macaulay 複体に関する結果を応用し、ヘッセンバーグ多様体の $K_{n,r}$ のホモロジーを計算し、それが球面のワイヤードであることを示す。

実験結果

リサーチクエスチョン

• RQ1 実トーリック多様体の有理ベッチ数は、多面体の組合せ論的構造を超えて、特徴的行列 $\chi$ にどのように依存するか？
• RQ2 双対単体的複体の部分複体を用いて、実トーリック多様体の有理コホモロジーリングを組合せ的に計算できるか？
• RQ3 実トーリック多様体の有理コホモロジーは形式的であるか？ これは複素トーリック多様体の形式性とどのように対比されるか？
• RQ4 ヘッセンバーグ多様体およびグラフアソシアヘドラの既知のコホモロジー計算は、統一された公式によって回復可能か？

主な発見

• 実トーリック多様体 $N_P(\chi)$ の有理ベッチ数は、$\dim H_q(N_P(\chi), \mathbb{Q}) = \sum_{S \subseteq [n]} \dim \widetilde{H}_{q-1}(K_{\chi,S}, \mathbb{Q})$ で与えられる。ここで $K_{\chi,S}$ は、$\chi_S$ の非ゼロ成分に対応する頂点に誘導される部分複体である。
• 実トーリック多様体の可定向性は、$K_{\chi,S} = K$ を満たす部分集合 $S \subseteq [n]$ の存在と同値であり、これは Nakayama と Nishimura の結果を回復する。
• ヘッセンバーグ多様体 $\mathcal{T}_n(\mathbb{R})$ の有理ベッチ数は、$\dim H_i(\mathcal{T}_n(\mathbb{R}), \mathbb{Q}) = \binom{n}{2i} A_{2i}$ で与えられ、ここで $A_{2i}$ はオイラー正割数である。この結果は主公式により回復される。
• この公式は、グラフアソシアヘドラ $P_{\mathcal{B}(\Gamma)}$ に付随する実トーリック多様体のベッチ数を回復し、Choi と Park の結果を拡張する。
• 実モーメント・アングル多様体 $\mathcal{Z}_L(D^1, S^0)$ は非形式的であることがある。これは、複素類似物とは異なり、実トーリック多様体において形式性が自動的に成り立たないことを示している。
• この公式による有理コホモロジー計算は頑健であり、置換体やグラフアソシアヘドラから得られる多様体を含む広範なクラスの実トーリック多様体に適用可能である。