[論文レビュー] On Graph Cohomology and Betti Numbers of Hamiltonian GKM Manifolds

Shisen Luo|arXiv (Cornell University)|Jun 26, 2012

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

ひとこと要約

本稿では、シンプレクティック多様体上のハミルトニアントーラス作用のGKMグラフに対して、特徴的数を組合せ論的不変量として導入し、一般位置にあるモーメント写像をもつ8次元および10次元のコンパクトなハミルトニアンGKM多様体において、半分の次元までに偶数次ベッチ数が非減少であることを証明する。主な貢献は、グラフコホモロジーのグラフ論的連結性および自由性の性質を用いて第二ベッチ数の上界を確立し、幾何的ベッチ数の組合せ論的双対を確立することにある。

ABSTRACT

In this paper we introduce the concept of characteristic number that are proven to be useful in the study of the combinatorics of graph cohomology. We claim that it is a good combinatorial counterpart for geometric Betti numbers. We then use this concept and tools built along the way to study Hamiltonian GKM manifolds whose moment maps are in general position. We prove some connectivity properties of the their GKM graphs and show an upper bound of their second Betti numbers, which allows us to conclude that these manifolds, in the case of dimension 8 and 10, have non-decreasing even Betti numbers up to half dimension.

研究の動機と目的

• ハミルトニアンGKM多様体における幾何的ベッチ数を模倣する組合せ論的不変量としての特徴的数を定義すること。
• モーメント写像が一般位置にある条件の下で、GKMグラフの連結性および構造的性質を分析すること。
• グラフ論的道具を用いて、コンパクトなハミルトニアンGKM多様体の第二ベッチ数の上界を導出すること。
• 8次元および10次元の多様体において、その偶数次ベッチ数が半分の次元までに非減少であることを証明すること。
• GKM理論の文脈において、幾何的不変量（ベッチ数）と組合せ論的不変量（特徴的数）との対応を確立すること。

提案手法

• 特徴的数 $ c_i({\Gamma}) $ を、$ H^*_{{\mathbb{T}}^2}({\Gamma}) $ の同次生成子の個数として定義し、これは生成子の選び方に依存しないことが示される。
• GKM定理を用いて、等置不変コホモロジーを軸関数 $ \alpha $ によって定義される辺の整除条件を満たす多項式の組の部分環として実現する。
• $ k $-trimmed部分グラフおよび削除補題を用いて、さまざまな次数におけるグラフコホモロジーのランクを制御する。
• 型 $ A_d $ のグラフ $ \Gamma $ に対して、次数 $ d-3 $ の生成子の数が $ s_{d-3}(\Gamma) \leq \frac{n_d(\Gamma)}{d-1} + \pi_0(\Gamma) $ を満たすことが示され、これは重要な構造的不等式である。
• $ H^*_{{\mathbb{T}}^2}({\Gamma}) $ が $ \mathbb{C}[x,y] $ 上で自由であることを利用して、ベッチ数 $ c_{d-1}(\Gamma) $ をグラフおよびその部分グラフの構造と関連付ける。
• 連結性および辺連結性の条件を適用し、$ c_d(\Gamma) = 1 $ の場合に $ c_{d-1}(\Gamma) \leq \frac{m-2}{d-1} $ という上界を得る。これにより、ベッチ数の単調性に関する主要結果が得られる。

実験結果

リサーチクエスチョン

• RQ1 特徴的数は、ハミルトニアンGKM多様体における幾何的ベッチ数の強固な組合せ論的置換として機能できるか？
• RQ2 GKMグラフの連結性および辺連結性が、対応する多様体のベッチ数に与える位相的制約は何か？
• RQ3 モーメント写像の一般位置が、GKMグラフの構造およびそのコホモロジー不変量に与える影響は何か？
• RQ4 グラフ論的手法を用いて、コンパクトなハミルトニアンGKM多様体の第二ベッチ数に対してどの程度の上界を確立できるか？
• RQ5 8次元および10次元のハミルトニアンGKM多様体の偶数次ベッチ数は、半分の次元までに非減少の性質を示すか？

主な発見

• 特徴的数 $ c_i({\Gamma}) $ は、$ \mathbb{C}[x,y] $-加群 $ H^*_{{\mathbb{T}}^2}({\Gamma}) $ の同次生成子の選び方に依存せず、幾何的ベッチ数の組合せ論的アナログとして適切に定義される。
• 型 $ A_d $ のGKMグラフ $ \Gamma $ に対して、次数 $ d-3 $ の生成子の数は $ s_{d-3}(\Gamma) \leq \frac{n_d(\Gamma)}{d-1} + \pi_0(\Gamma) $ を満たす。これは重要な構造的不等式である。
• $ c_d(\Gamma) = 1 $ の場合、第二ベッチ数は $ c_{d-1}(\Gamma) \leq \frac{m-2}{d-1} $ を満たす。ここで $ m $ は頂点数を表す。
• 一般位置にあるモーメント写像をもつ8次元および10次元のコンパクトなハミルトニアンGKM多様体において、偶数次ベッチ数は半分の次元までに非減少である。
• このような多様体のGKMグラフは、$ c_d(\Gamma) = 1 $ のとき $ d $-辺連結であり、任意の1本の辺を削除しても $ (d-2) $-辺連結性が保たれる。
• $ H^*_{{\mathbb{T}}^2}({\Gamma}) $ が $ \mathbb{C}[x,y] $ 上で自由であることにより、特徴的数 $ c_i({\Gamma}) $ は、対応する多様体のベッチ数構造を完全に捉えている。