[论文解读] 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-骨架图的上同调环。
• 表明流形的贝蒂数由图的组合不变量决定，而不仅仅是拓扑数据。
• 将已知的拓扑结果——即等变上同调是对称代数 S(𝔤*) 上的自由模——重新表述为关于图的纯粹组合陈述。
• 确立图Γ的第2i个贝蒂数 b_{2i}(Γ) 对应于等变上同调环中度数为2i的生成元数量，从而使得该拓扑不变量完全组合化。

提出的方法

• 作者将G-流形M的1-骨架定义为满足 dim G_p ≥ dim G - 1 的点p的集合。
• 他们分析了1-骨架实维数为2的GKM流形，并证明此类流形具有带标签的图结构(Γ, α)，其中α将李代数的根分配给边。
• 利用GKM定理，他们建立了等变上同调环 H_G^*(M) 与带标签图 H^*(Γ, α) 的上同调环之间的同构。
• 他们以图论不变量重新诠释了已知结果：H_G^*(M) 是 S(𝔤*) 上的自由模，表明度数2i的生成元数量为 b_{2i}(Γ)，即图的组合2i-贝蒂数。
• 该证明依赖于图的结构及其根的标记，利用了图编码了G作用的固定点与各向同性数据的事实。
• 他们证明，等变上同调的整个拓扑结构均编码于带标签图的组合性质中，从而将微分几何问题转化为图论问题。

实验结果

研究问题

• RQ1 GKM流形的等变上同调能否仅通过其1-骨架的组合结构完全描述？
• RQ2 H_G^*(M) 在 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-骨架作为带标签图的结构，完全决定了等变上同调环及其贝蒂数结构。
• 本文确立了整个拓扑不变量——等变上同调——均编码于图的组合性质中，使得结果完全独立于微分几何，仅依赖于图数据。