[論文レビュー] The topology of the moment-angle manifolds--On a conjecture of S. Gitler ans S. Lopez

Liman Chen, Feifei Fan+1 more|arXiv (Cornell University)|Jun 26, 2014

Advanced Combinatorial Mathematics参考文献 9被引用数 4

ひとこと要約

本稿は、単純多面体における頂点カットの手技を施したときのモーメント・アングル多様体の位相的性質について、GitlerとLópezの予想を証明する。頂点カットを施した多面体のモーメント・アングル多様体は、球面の積の連結和と微分同相であることが示され、元の多様体における手技の位相的変化が明確に記述される。

ABSTRACT

Let $P$ be a simple polytope of dimension $n$ with $m$ facets and $P_{v}$ be a polytope obtained from $P$ by cutting off one vertex $v$. Let $Z=Z(P)$ and $Z_{v}=Z(P_{v})$ be the corresponding moment-angle manifolds. In \cite{[GL]} S.Gitler and S.López conjectured that: $Z_{v}$ is diffeomorphic to $\partial[(Z-int(D^{n+m})) imes D^{2}]\sharp \mathop{\sharp} \limits_{j=1}^{m-n} \binom{m-n}{j} (S^{j+2} imes S^{m+n-j-1})$, and they have proved the conjecture in the case $m<3n$. In this paper we prove the conjecture in general case.

研究の動機と目的

• 単純多面体から頂点をカットする際のモーメント・アングル多様体の位相的変化に関する、長年の予想であるGitlerとLópezの予想を解決すること。
• そのような手技操作後のモーメント・アングル多様体の微分同相型を完全に記述すること。
• 多面体における組合せ的手技が、モーメント・アングル多様体における位相的演算にどのように対応するかの理解を一般化すること。
• 特に連結和と球面バンドル構造に関連して、手技を用いたモーメント・アングル多様体の研究フレームワークを拡張すること。

提案手法

• 単体的複体を用いたモーメント・アングル複体の構成法を用い、$\mathcal{Z}_K$ を単体ごとに定義されたディスクとトーラスの積の和集合として定義する。
• 頂点カット多面体 $\mathcal{Z}(P_v)$ のモーメント・アングル多様体と、手技に起因する多様体 $\partial[(\mathcal{Z}-D^{n+m})\times D^2]$ の間の微分同相性を確立する。
• 余次元 $m-n$ についての帰納法を用いて、$\partial[(S^{m+n}-T^{m-n}\times D^{2n})\times D^2]$ が $S^{j+2} \times S^{m+n-j-1}$ 項の連結和と微分同相であることを証明する。
• GitlerとLópezの補題1を活用し、境界の手技を分解し、多様体の連結和と球面の積との関係を確立する。
• 球面上へのトーラスの正則埋め込みを用いて、モーメント・アングル多様体におけるチューブ型近傍の除去をモデル化する。
• $(D^2, S^1)$ を $(D^{k+1}, S^k)$ に置き換えることにより、一般化されたモーメント・アングル多様体に対して、類似の微分同相型式を導出する。

実験結果

リサーチクエスチョン

• RQ1 頂点を単純多面体からカットしたとき、モーメント・アングル多様体の正確な位相的変化は何か？
• RQ2 頂点をカットする手技が、結果として得られるモーメント・アングル多様体の微分同相型にどのように影響するか？
• RQ3 $m < 3n$ の場合にのみ既知であった、$\mathcal{Z}(P_v)$ の微分同相型に関する予想された公式が、一般に成り立つかどうかを証明できるか？
• RQ4 このような手技の結果として得られる位相的結果を記述する際に、球面の積の連結和が果たす役割は何か？
• RQ5 このフレームワークは、高次元のディスク・トーラス対に拡張可能か？

主な発見

• GitlerとLópezの予想は完全に証明された：$\mathcal{Z}_v$ は $\partial[(\mathcal{Z}-D^{n+m})\times D^2]\#\mathop{\#}_{j=1}^{m-n}\binom{m-n}{j}(S^{j+2}\times S^{m+n-j-1})$ と微分同相である。
• 結果は、以前に知られていた $m < 3n$ の場合を越えて、一般に成り立つ。
• $\partial[(S^{m+n}-T^{m-n}\times D^{2n})\times D^2]$ が $j=1$ から $m-n$ までの $S^{j+2} \times S^{m+n-j-1}$ の連結和と微分同相であることが示された。係数は $\binom{m-n}{j}$ である。
• 帰納的証明は、$T^{m-n}$ の $S^{m+n}$ への正則埋め込みと、GitlerとLópezの補題1による連結和の境界手技の関係に依存する。
• 一般化されたモーメント・アングル多様体 $\mathcal{Z}_{P_v,k}$ は、$\partial[(\mathcal{Z}_{P,k}-D^{n+km})\times D^{k+1}]\#\mathop{\#}_{j=1}^{m-n}\binom{m-n}{j}(S^{k(j+1)+1}\times S^{k(m-j)+n-1})$ と微分同相であることが示された。
• 本手法と結果は、$(D^2, S^1)$ の代わりに $(D^{k+1}, S^k)$ を用いることで、高次元のモーメント・アングル複体の類似物へも拡張可能である。