[論文レビュー] The graph cohomology ring of the GKM graph of a flag manifold of type $G_2$

Yukiko Fukukawa|arXiv (Cornell University)|Jul 22, 2012

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

ひとこと要約

この論文は、GKMグラフの組合せ論的技法を用いて、型 $G_2$ のフラッグ多様体の等周同相コホモロジーの環構造を決定する。Weyl群と根系から構成されたラベル付きグラフを用いて、グラフコホモロジー環を $`\mathbb{Z}[\tau_1,\tau_2,\tau_3,t_1,t_2,t_3,f]/I`$ として明示的に記述する。ここで、理想 $I$ は重みと等周同相パラメータを含む対称多項式の関係を符号化しており、局在化を行わずに真の等周同相コホモロジー環への環同型が確認される。

ABSTRACT

Suppose a compact torus $T$ acts on a closed smooth manifold $M$. Under certain conditions, Guillemin and Zara associate to $(M, T)$ a labeled graph $\mG_M$ where the labels lie in $H^2(BT)$. They also define the subring $H_T^*(\mG_M)$ of $\bigoplus_{v\in V(\mG_M)}H^*(BT)$, where $V(\mG_M)$ is the set of vertices of $\mG_M$ and we call $H_T^*(\mG_M)$ the "graph cohomology" ring of $\mG_M$. It is known that the equivariant cohomology ring of $M$ can be described by using combinatorial data of the labeled graph. The main result of this paper is to determine the ring structure of equivariant cohomology ring of a flag manifold of type $G_2$ directly, using combinatorial techniques on the graph $\mG_M$. This gives a new computation of the equivariant cohomology ring of a flag manifold of type $G_2$.

研究の動機と目的

• 型 $G_2$ のフラッグ多様体の等周同相コホモロジーの環構造を、そのGKMグラフからの純粋な組合せ論的データを用いて同定すること。
• 有理コホモロジー同型を用いない直接的な $H_T^*(\mathcal{G}_2)$ の計算を提供すること。
• $H_T^*(\mathcal{G}_2) \cong H_T^*(M)$ が有理数体にテンソル積を取る前から整数環としての同型であることを確認すること。
• 古典的リー型に関する先行結果を、対称多項式の恒等式と加群の自由性を用いて例外型 $G_2$ に拡張すること。

提案手法

• Weyl群と $G_2$ の根系からGKMグラフ $\mathcal{G}_2$ を構成し、$H^2(BT) \cong \mathbb{Z}[t_1,t_2,t_3]$ に倣って辺に重みをラベル付ける。
• Incidence条件と重み条件を用いて、$\bigoplus_{v \in V(\mathcal{G}_2)} \mathbb{Z}[t_1,t_2,t_3]$ の部分環としてグラフコホモロジー環 $H_T^*(\mathcal{G}_2)$ を定義する。
• 特に2つの埋め込まれた $A_2$ 部分グラフの構造を活用し、生成子 $\tau_1, \tau_2, \tau_3, f, t_1, t_2, t_3$ 間の関係を導出する。
• 対称多項式の恒等式を適用する：$e_1(\tau) = 0$、$e_2(\tau) - e_2(s) = 0$、$2f - e_3(\tau) - e_3(s) = 0$、および $f^2 - f e_3(s) = 0$、ここで $s_i = t_i - t_{i+1}$ である。
• 関係式によって単項式の次数を制限することで、$\mathbb{Z}[\tau,t,f]/I$ が $\mathbb{Z}[t]$-加群として自由であることを証明し、ヒルベルト系列の比較により同型を確立する。
• ヒルベルト系列の一致と自然な写像の上への性質を用いて、$H_T^*(\mathcal{G}_2) \cong \mathbb{Z}[\tau,t,f]/I$ の同型を確認する。

実験結果

リサーチクエスチョン

• RQ1 $G_2$ フラッグ多様体のグラフコホモロジー $H_T^*(\mathcal{G}_2)$ の明示的な環構造は何か？
• RQ2 $G_2$ フラッグ多様体の等周同相コホモロジー環は、そのGKMグラフの組合せ論的構造から直接どのように計算できるか？
• RQ3 グラフコホモロジー $H_T^*(\mathcal{G}_2)$ は、有理化を行わずに、完全な整数係数等周同相コホモロジー環 $H_T^*(M)$ を回復できるか？
• RQ4 $G_2$ の場合に、$H_T^*(\mathcal{G}_2)$ の生成子を支配する対称多項式の関係は何か？

主な発見

• グラフコホモロジー環 $H_T^*(\mathcal{G}_2)$ は、初等対称多項式を含む4つの関係で生成される理想 $I$ を持つ $`\mathbb{Z}[\tau_1,\tau_2,\tau_3,t_1,t_2,t_3,f]/I`$ に同型である。
• 関係 $e_1(\tau) = 0$ は $\tau_1 + \tau_2 + \tau_3 = 0$ を意味し、独立な $\tau$-生成子の数を減少させる。
• 関係 $e_2(\tau) - e_2(s) = 0$ は、$\tau$ の初等対称和が差 $s_i = t_i - t_{i+1}$ の初等対称和に等しいことを示す。
• 関係 $2f - e_3(\tau) - e_3(s) = 0$ は、$f$ が $e_3(\tau)$ と $e_3(s)$ の線形結合として表されることを示し、$f$ を根系に結びつける。
• 関係 $f^2 - f e_3(s) = 0$ は $f(f - e_3(s)) = 0$ を意味し、$f$ が $e_3(s)$ で割った剰余環において冪等的であることを示し、次数を制限する。
• ヒルベルト系列の比較により、$\mathbb{Z}[\tau,t,f]/I$ がランク12の $\mathbb{Z}[t]$-自由加群であることが確認され、$H_T^*(M)$ の既知のベッチ数と一致する。これにより、同型が証明される。