[論文レビュー] One-skeleta, Betti numbers and equivariant cohomology

Victor Guillemin, Catalin Zara|ArXiv.org|Mar 9, 1999

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

ひとこと要約

本稿では、GKM多様体の等変コホモロジーが、従来知られていたようにそのラベル付き1次スケルトングラフのコホモロジーに同型であることが示されたが、本質的に組合せ論的不変量であることが明らかになった。著者らは、多様体のベッチ数が1次スケルトンの純粋にグラフ論的不変量から生じることを示し、等変コホモロジーにおける位相的結果が、ラベル付きグラフの組合せ論的性質に還元されることを証明した。これにより、この文脈において位相とグラフ理論の間に深い結びつきが明らかになった。

ABSTRACT

The one-skeleton of a G-manifold M is the set of points p in M where $\dim G_p \geq \dim G -1$; and M is a GKM manifold if the dimension of this one-skeleton is 2. Goresky, Kottwitz and MacPherson show that for such a manifold this one-skeleton has the structure of a ``labeled" graph, $(Γ, α)$, and that the equivariant cohomology ring of M is isomorphic to the ``cohomology ring'' of this graph. Hence, if M is symplectic, one can show that this ring is a free module over the symmetric algebra $\SS(\fg^*)$, with $b_{2i}(Γ)$ generators in dimension 2i, $b_{2i}(Γ)$ being the ``combinatorial'' 2i-th Betti number of $Γ$. In this article we show that this ``topological'' result is , in fact, a combinatorial result about graphs.

研究の動機と目的

• GKM多様体における1次スケルトン（固定点群の次元が dim G - 1 以上である点の集合）の位相的意義を明確化すること。
• GKM多様体の等変コホモロジー環が、そのラベル付き1次スケルトングラフのコホモロジー環に同型であることを示すこと。
• 多様体のベッチ数が、単なる位相的データではなく、グラフの組合せ論的不変量によって決定されることを示すこと。
• 既知の位相的結果（すなわち、H_G^*(M) が対称代数 S(𝔤*) 上の自由加群であること）を、純粋に組合せ論的文脈でのグラフに関する記述に再解釈すること。
• グラフ Γ の2i次のベッチ数 b_{2i}(Γ) が、等変コホモロジー環の2i次元における生成子の数に一致することを示し、これにより位相的不変量が完全に組合せ論的になるようにすること。

提案手法

• 著者らは、G-多様体 M の1次スケルトンを、dim G_p ≥ dim G - 1 を満たす点 p ∈ M の集合として定義する。
• 1次スケルトンの実次元が2であるGKM多様体を分析し、そのような多様体が、辺にリー代数の根を割り当てるラベル付きグラフ構造 (Γ, α) を持つことを示す。
• GKM定理を用いて、等変コホモロジー環 H_G^*(M) とラベル付きグラフのコホモロジー環 H^*(Γ, α) の間に同型を確立する。
• 既知の結果（H_G^*(M) が S(𝔤*) 上の自由加群であること）を、グラフ論的不変量の観点から再解釈し、2i次元における生成子の数が b_{2i}(Γ)、すなわちグラフの組合せ論的2i次ベッチ数に一致することを示す。
• 証明は、グラフの構造と根によるラベリングに依拠しており、グラフがG作用の固定点および等方群のデータを完全に符号化しているという事実を利用している。
• 等変コホモロジーのすべての位相的構造が、ラベル付きグラフの組合せ論に完全に符号化されていることを示し、微分幾何学的問題をグラフ論的問題に還元した。

実験結果

リサーチクエスチョン

• RQ1 GKM多様体の等変コホモロジーは、その1次スケルトンの組合せ論的構造のみを用いて完全に記述可能か？
• RQ2 S(𝔤*) 上の自由性は、1次スケルトンのグラフ論的性質の結果か？
• RQ3 多様体のベッチ数は、ラベル付きグラフの組合せ論的不変量からどの程度生じるか？
• RQ4 H_G^*(M) が S(𝔤*) 上の自由加群であるという位相的結果を、純粋にグラフ論的文脈での記述に再解釈可能か？
• RQ5 1次スケルトングラフの組合せ論的ベッチ数 b_{2i}(Γ) と多様体の位相的ベッチ数の間の正確な関係は何か？

主な発見

• GKM多様体 M の等変コホモロジー環 H_G^*(M) は、そのラベル付き1次スケルトングラフ (Γ, α) のコホモロジー環に同型である。
• 多様体のベッチ数 b_{2i}(M) は、グラフ Γ の組合せ論的ベッチ数 b_{2i}(Γ) に等しい。
• 等変コホモロジー H_G^*(M) は、対称代数 S(𝔤*) 上の自由加群であり、2i次元に b_{2i}(Γ) 個の生成子を持つ。
• H_G^*(M) が S(𝔤*) 上の自由加群であるという位相的結果は、ラベル付きグラフに関する純粋な組合せ論的記述と同値である。
• 1次スケルトンとしてのラベル付きグラフの構造が、等変コホモロジー環およびそのベッチ数構造を完全に決定する。
• 本稿は、等変コホモロジーというすべての位相的不変量が、グラフの組合せ論に完全に符号化されていることを確立した。これにより、結果は微分幾何学的構造を越えて、グラフデータに依存するようになる。