[論文レビュー] Morse theory on graphs

Victor Guillemin, Catalin Zara|ArXiv.org|Jul 26, 2000

Algebraic structures and combinatorial models参考文献 3被引用数 3

ひとこと要約

本稿では、GKMグラフ $(\Gamma, \alpha)$ の $ G $-等配コホモロジー環 $ H_G(\Gamma) $ を、Morse理論的枠組みで分析するためのものである。ここで $ \Gamma $ は有限で $ d $-正則なグラフであり、$ \alpha $ は辺に重みを割り当てる。極化ベクトルとグラフィカルなMorse理論を活用することで、著者らは $ H_G(\Gamma) $ が $ \SS(\mathfrak{g}^*) $ 上の自由加群であることを証明し、対称多項式とバーデルモンド行列式を用いて各次数における生成子の数を特定し、対称関数論と重みデータへの整数的演算を用いた生成子の組み合わせ的記述を提供する。

ABSTRACT

Let $Γ$ be a finite d-valent graph and G an n-dimensional torus. An ``action'' of G on $Γ$ is defined by a map, $α$, which assigns to each oriented edge e of $Γ$ a one-dimensional representation of G (or, alternatively, a weight, $α_e$, in the weight lattice of G). For the assignment, $e o α_e$, to be a schematic description of a ``G-action'', these weights have to satisfy certain compatibility conditions: the GKM axioms. We attach to $(Γ, α)$ an equivariant cohomology ring, $H_G(Γ)=H(Γ,α)$. By definition this ring contains the equivariant cohomology ring of a point, $\SS(\fg^*) = H_G(pt)$, as a subring, and in this paper we will use graphical versions of standard Morse theoretical techniques to analyze the structure of $H_G(Γ)$ as an $\SS(\fg^*)$-module.

研究の動機と目的

• 点のコホモロジー $ \SS(\mathfrak{g}^*) $ 上の加群としての $ H_G(\Gamma) $ の構造を理解すること。
• $ H_G(\Gamma) $ が $ \SS(\mathfrak{g}^*) $-加群として自由であるかどうかを特定し、自由であれば各次数における生成子の数を計算すること。
• グラフ上の重みデータと対称多項式を用いて、$ H_G(\Gamma) $ の生成子の組み合わせ的記述を提供すること。
• 滑らかな多様体に依存せずに、等配コホモロジーを分析するためのグラフィカルなMorse理論的枠組みを確立すること。
• GKM理論の結果を、GKM公理を満たす軸関数を備えた抽象的グラフへ一般化すること。

提案手法

• すべての辺 $ e $ に対して $ \alpha_e(\xi) \neq 0 $ となるような極化ベクトル $ \xi \in \mathfrak{g} $ を定義し、$ \alpha_e(\xi) > 0 $ によりグラフの向き付けを可能にする。
• $ \xi $ によって誘導される向きを用いて頂点上の高さ関数を定義し、コホモロジー環のMorse理論的分解を可能にする。
• 標準的なMorse理論的手法のグラフィカルな類似物（例えばGKM条件や1次スケルトンの構造）を用いてコホモロジー環を分析する。
• 対称多項式とバーデルモンド行列の理論を活用し、$ H_G(\Gamma) $ の生成子を $ \SS(\mathfrak{g}^*) $-加群の要素として記述する。
• 有限集合 $ \Delta $ から $ \SS(W) $ の商体への写像への整数的演算 $ \int_\Delta $ を導入し、コホモロジー空間 $ H(\Delta, \tau) $ の要素を特徴付ける。
• 対称多項式および行列式の性質を用いて、任意の要素 $ g \in H(\Delta, \tau) $ が $ \sum_{k=0}^{d-1} g_k \tau^k $ の形の線形結合として表され、$ g_k \in \SS(W) $ であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 等配コホモロジー環 $ H_G(\Gamma) $ は $ \SS(\mathfrak{g}^*) $ 上の自由加群か？
• RQ2 $ H_G(\Gamma) $ が自由であれば、各次数における生成子の数はいかほどか？
• RQ3 $ H_G(\Gamma) $ の生成子は、対称関数と重みデータを用いて組み合わせ的に記述可能か？
• RQ4 $ \Gamma $ 上のグラフィカルなMorse理論的アプローチは、コホモロジー環の構造をどのように反映するか？
• RQ5 軸関数 $ \alpha $ は、$ H_G(\Gamma) $ の加群構造を決定づける役割を果たすか？

主な発見

• Morse理論的分解と極化ベクトルの使用により、等配コホモロジー環 $ H_G(\Gamma) $ が $ \SS(\mathfrak{g}^*) $ 上の自由加群であることが確立された。
• 次数 $ m $ における $ H_G(\Gamma) $ の生成子の数は、$ \sum_{k=0}^{d-1} \lambda_{m-k,n} $ で与えられ、ここで $ \lambda_{i,n} $ は $ n $ 個の変数における次数 $ i $ の単項式の数である。
• 任意の要素 $ g \in H(\Delta, \tau) $ は、一意に $ \sum_{k=0}^{d-1} g_k \tau^k $（$ g_k \in \SS(W) $）の形に表され、コホモロジー加群の標準基底を提供する。
• 重みデータに関連するバーデルモンド行列の逆行列により、基底展開における係数の明示的公式が得られ、$ (A^{-1})_{1j} = \prod_{k \neq j} \left( \frac{-X_k}{X_j - X_k} \right) $ となる。
• 整数的演算 $ \int_\Delta g = \sum_{k=1}^d \frac{g(v_k)}{\prod_{j \neq k} (\tau(v_k) - \tau(v_j))} $ は $ H(\Delta, \tau) $ の要素を特徴付け、多項式係数 $ g_k $ の再構成に用いられる。
• コホモロジー空間 $ H(\Delta, \tau) $ は、整数条件を満たす写像 $ g: \Delta \to \SS(W) $ の空間と同型であり、この同型は $ \SS(W) $ の次数付き構造と整合的である。