[论文解读] 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$.

研究动机与目标

• 通过其 GKM 图的纯组合数据，确定 $G_2$ 型旗流形的等变上同调的环结构。
• 在不依赖有理上同调同构的前提下，直接计算 $H_T^*(\mathcal{G}_2)$。
• 确认 $H_T^*(\mathcal{G}_2) \cong H_T^*(M)$ 作为整数环同构，而不仅在与 $\mathbb{Q}$ 张量后成立。
• 通过使用对称多项式恒等式和模自由性，将先前关于经典李型的结果推广至 $G_2$ 的例外情形。

提出的方法

• 从 $G_2$ 的 Weyl 群和根系构造 GKM 图 $\mathcal{G}_2$，将边标记为 $H^2(BT) \cong \mathbb{Z}[t_1,t_2,t_3]$ 中的权。
• 将图上同调环 $H_T^*(\mathcal{G}_2)$ 定义为 $\bigoplus_{v \in V(\mathcal{G}_2)} \mathbb{Z}[t_1,t_2,t_3]$ 的子环，利用关联性和权条件。
• 利用带标签图的结构，特别是其两个嵌入的 $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]$ 上的自由模，并利用 Hilbert 系列比较建立同构。
• 通过匹配 Hilbert 系列并利用典范映射的满射性，确认同构 $H_T^*(\mathcal{G}_2) \cong \mathbb{Z}[\tau,t,f]/I$。

实验结果

研究问题

• RQ1 $G_2$ 旗流形的图上同调 $H_T^*(\mathcal{G}_2)$ 的显式环结构是什么？
• RQ2 如何仅从其 GKM 图的组合性质直接计算 $G_2$ 旗流形的等变上同调环？
• RQ3 图上同调 $H_T^*(\mathcal{G}_2)$ 是否在不进行有理化的情况下恢复完整的整数等变上同调环 $H_T^*(M)$？
• RQ4 在 $G_2$ 情形下，哪些对称多项式关系控制 $H_T^*(\mathcal{G}_2)$ 生成元的结构？

主要发现

• 图上同调环 $H_T^*(\mathcal{G}_2)$ 同构于 $\mathbb{Z}[\tau_1,\tau_2,\tau_3,t_1,t_2,t_3,f]/I$，其中 $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)$ 是幂等的，限制了其次数。
• Hilbert 系列比较确认 $\mathbb{Z}[\tau,t,f]/I$ 是 $\mathbb{Z}[t]$ 上的自由模，秩为 12，与 $H_T^*(M)$ 的已知贝蒂数一致，从而证明了同构。