[論文レビュー] Toral rank conjecture for moment-angle complexes

Yury Ustinovsky|arXiv (Cornell University)|Sep 5, 2009

Advanced Combinatorial Mathematics参考文献 6被引用数 22

ひとこと要約

この論文は、単体複体に「二重化作用素」を導入することで、moment-angle複体 $\mathcal{Z}_K$ とその実数版である $\mathbb{R}\mathcal{Z}_{L(K)}$ の同型を特定し、toral rank予想をmoment-angle複体に対して証明する。帰納法とMayer-Vietorisの議論を用いて、$\mathcal{Z}_K$ の有理コホモロジー階数に対して $2^{m - \dim K - 1}$ の下界を確立し、この空間類に予想が正当化されることを示している。

ABSTRACT

We consider an operation K o L(K) on the set of simplicial complexes, which we call the "doubling operation". This combinatorial operation has been recently brought into toric topology by the work of Bahri, Bendersky, Cohen and Gitler on generalised moment-angle complexes (also known as K-powers). The crucial property of the doubling operation is that the moment-angle complex Z_K can be identified with the real moment-angle complex RZ_L(K) for the double L(K). As an application we prove the toral rank conjecture for Z_K by estimating the lower bound of the cohomology rank (with rational coefficients) of real moment-angle complexes RZ_K$. This paper extends the results of our previous work, where the doubling operation for polytopes was used to prove the toral rank conjecture for moment-angle manifolds.

研究の動機と目的

• 新規な組合せ的構成を用いて、moment-angle複体 $\mathcal{Z}_K$ におけるtoral rank予想を証明すること。
• 二重化作用素と実数moment-angle複体を用いて、$\mathcal{Z}_K$ の有理コホモロジー階数に対する下界を確立すること。
• $K$-パワー構成を用いて、以前のmoment-angle多様体に関する結果をより広いクラスのmoment-angle複体へ一般化すること。
• 識別 $\mathcal{Z}_K = \mathbb{R}\mathcal{Z}_{L(K)}$ を通じて、$\mathbb{R}\mathcal{Z}_K$ のコホモロジー推定を提供し、toral rank予想を示唆すること。

提案手法

• 単体複体 $K$ に対して、各頂点を二重化し、欠落する単体を保つことによって定義される「二重化作用素」$L(K)$ を導入する。
• $K$-パワー構成を用いて、$\mathcal{Z}_K = (D^2, S^1)^K$ および $\mathbb{R}\mathcal{Z}_K = (I^1, S^0)^K$ を定義する。
• 補題2.2を適用して $\mathcal{Z}_K = \mathbb{R}\mathcal{Z}_{L(K)}$ を示し、moment-angle複体と実数moment-angle複体を結びつける。
• 頂点数 $m$ に関する帰納法を用い、座標超平面に沿って $\mathbb{R}\mathcal{Z}_K$ を分解し、Mayer-Vietoris系列を適用する。
• Mayer-Vietorisの長完全系列を用いて $\mathop{\rm hrk}(\mathbb{R}\mathcal{Z}_K, \mathbb{Q})$ を推定し、頂点のリンクのコホモロジーを活用する。
• Hochsterの定理とコホモロジー分解 $H^*(\mathcal{Z}_K, \mathbb{Q}) \cong \bigoplus_{\omega \subset [m]} \tilde{H}^*(K_\omega, \mathbb{Q})$ を用いて、結果を単体的部分複体の観点に再定式化する。

実験結果

リサーチクエスチョン

• RQ1 組合せ的二重化構成を用いて、moment-angle複体におけるtoral rank予想を確立できるか？
• RQ2 $K$ の最大単体の最小次元に関して、$\mathbb{R}\mathcal{Z}_K$ の有理コホモロジー階数の下界は何か？
• RQ3 二重化作用素 $L(K)$ は、$\mathcal{Z}_K$ のコホモロジーと $\mathbb{R}\mathcal{Z}_{L(K)}$ のコホモロジーをどのように関連付けるか？
• RQ4 $\mathbb{R}\mathcal{Z}_K$ の座標分解にMayer-Vietoris系列を適用することで、コホモロジー階数に対する十分な下界が得られるか？
• RQ5 $K$ のリンクの構造を用いて、$\mathcal{Z}_K$ のコホモロジーに下界を設定できるか？

主な発見

• 二重化作用素は $\dim L(K) = m + \dim K$ および $\mathop{\rm mdim}L(K) = m + \mathop{\rm mdim}K$ を満たし、組合せ的構造を保存する。
• $K$-パワー構成により、恒等式 $\mathcal{Z}_K = \mathbb{R}\mathcal{Z}_{L(K)}$ が成立し、実数moment-angle複体におけるコホモロジー推定が可能になる。
• 帰納法とMayer-Vietorisを用いて、$\mathop{\rm hrk}(\mathbb{R}\mathcal{Z}_K, \mathbb{Q}) \geqslant 2^{m - \dim K - 1}$ が $K$ に対して $\mathop{\rm mdim}K = n-1$ のとき成立する。
• この結果により、$\mathcal{Z}_K$ におけるtoral rank予想が示される：$\mathop{\rm hrk}(\mathcal{Z}_K, \mathbb{Q}) \geqslant 2^{m - \dim K - 1} \geqslant 2^{\mathop{\rm trk}(\mathcal{Z}_K)}$。
• コホモロジー分解 $H^*(\mathcal{Z}_K, \mathbb{Q}) \cong \bigoplus_{\omega \subset [m]} \tilde{H}^*(K_\omega, \mathbb{Q})$ により、下界が既知の代数的構造と整合していることが確認される。
• 本論文の結果は、CaoとLuによる別法による同時証明と整合的であるが、独立である。