[论文解读] Morse theory on graphs

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

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

一句话总结

本文提出了一套基于Morse理论的框架，用于分析GKM图 $ (\Gamma, \alpha) $ 的等变上同调环 $ H_G(\Gamma) $，其中 $ \Gamma $ 是一个有限的 $ d $-正则图，$ \alpha $ 为边分配权重。通过利用极化向量和图论Morse理论，作者证明了 $ H_G(\Gamma) $ 是 $ \SS(\mathfrak{g}^*) $ 上的自由模，利用对称多项式和Vandermonde行列式确定了每个次数的生成元数量，并通过对称函数理论和权重数据上的积分运算，给出了这些生成元的组合描述。

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.

研究动机与目标

• 理解等变上同调环 $ H_G(\Gamma) $ 作为 $ \SS(\mathfrak{g}^*) $（一点的上同调）模的结构。
• 确定 $ H_G(\Gamma) $ 是否为 $ \SS(\mathfrak{g}^*) $ 上的自由模，若是，则计算每个次数的生成元数量。
• 使用对称多项式和图上的权重数据，提供 $ H_G(\Gamma) $ 生成元的组合描述。
• 建立一种无需依赖光滑流形的图论Morse理论框架，用于分析等变上同调。
• 将GKM理论的结果推广到满足GKM公理的轴向函数的抽象图上。

提出的方法

• 定义一个极化向量 $ \xi \in \mathfrak{g} $，使得对所有边 $ e $ 都有 $ \alpha_e(\xi) \neq 0 $，从而通过 $ \alpha_e(\xi) > 0 $ 实现图的定向。
• 利用由 $ \xi $ 诱导的定向，定义顶点上的高度函数，实现对上同调环的Morse理论分解。
• 应用标准Morse理论技术的图论类比，如GKM条件和一维骨架结构，以分析上同调环。
• 利用对称多项式和Vandermonde矩阵理论，将 $ 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) $，从而为上同调模提供了典范基。
• 与权重数据相关的Vandermonde矩阵的逆矩阵给出了基展开中系数的显式公式，其中 $ (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) $ 上的分次结构相容。