[论文解读] Cohomology with local coefficients of solvmanifolds and Morse-Novikov theory

Dmitri V. Millionschikov|ArXiv.org|Mar 7, 2002

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

一句话总结

本文证明了紧致可解流形 $ G/\Gamma $（其中 $ G $ 为完全可解李群）的局部系数上同调 $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 同构于李代数上同调 $ H^*_{\lambda\omega}(\mathfrak{g}) $，且当且仅当 $ -\lambda[\omega] $ 属于一个有限且显式定义的子集 $ \tilde{\Omega}_{\mathfrak{g}} \subset H^1(G/\Gamma, \mathbb{C}) $ 时非平凡。该结果将莫尔斯-诺维科夫理论推广至可解流形，并以李代数结构完全刻画了非零上同调的条件。

ABSTRACT

We study the cohomology $H^*_{λω}(G/Γ, {\mathbb C})$ of the deRham complex $Λ^*(G/Γ)\otimes{\mathbb C}$ of a compact solvmanifold $G/Γ$ with a deformed differential $d_{λω}=d + λω$, where $ω$ is a closed 1-form. This cohomology naturally arises in the Morse-Novikov theory. We show that for a solvable Lie group $G$ with a completely solvable Lie algebra $\mathfrak{g}$ and a cocompact lattice $Γ\subset G$ the cohomology $H^*_{λω}(G/Γ, {\mathbb C})$ coincides with the cohomology $H^*_{λω}(\mathfrak{g})$ of the Lie algebra $\mathfrak{g}$ associated with the one-dimensional representation $ρ_{λω}: \mathfrak{g} o {\mathbb K}, ρ_{λω}(ξ) = λω(ξ)$. Moreover $H^*_{λω}(G/Γ, {\mathbb C})$ is non-trivial if and only if $-λ[ω]$ belongs to the finite subset $\{0\} \cup ilde Ω_{\mathfrak{g}}$ in $H^1(G/Γ, {\mathbb C})$ well defined in terms of $\mathfrak{g}$.

研究动机与目标

• 通过分析受形变的德拉姆微分 $ d + \lambda\omega $ 下的局部系数上同调，将莫尔斯-诺维科夫理论推广至紧致可解流形。
• 确定当 $ G $ 为完全可解时，可解流形 $ G/\Gamma $ 的 $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 何时非平凡。
• 以李代数 $ \mathfrak{g} $ 的结构表征有限集 $ \tilde{\Omega}_{\mathfrak{g}} \subset H^1(G/\Gamma, \mathbb{C}) $，使得非平凡上同调恰好在 $ -\lambda[\omega] \in \{0\} \cup \tilde{\Omega}_{\mathfrak{g}} $ 时出现。
• 将此前关于极小流形（其中此类上同调在 $ \lambda\omega \neq 0 $ 时恒为零）的结果推广至更广泛的可解流形类。

提出的方法

• 利用哈托里的定理，建立 $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 与李代数上同调 $ H^*_{\lambda\omega}(\mathfrak{g}) $ 之间的同构，后者对应于一维表示 $ \rho_{\lambda\omega}(\xi) = \lambda\omega(\xi) $。
• 构造一个收敛于 $ H^*_{\lambda\omega}(\mathfrak{g}) $ 的谱序列 $ E_r $，利用具有特定微分规则的极小模型 $ (\Lambda^*(\omega_1, \dots, \omega_n), d) $。
• 通过限制在 $ [\mathfrak{g}, \mathfrak{g}] $ 上的伴随表示的权 $ \alpha_{k+1}, \dots, \alpha_n $ 定义有限集 $ \Omega_{\mathfrak{g}} \subset H^1(\mathfrak{g}) $，其决定上同调的消失行为。
• 应用莫斯特关于 $ \Gamma $-可适表示的定理，以证明在完全可解情形下流形与李代数上同调之间的同构性。
• 利用 $ \omega $ 可提升为 $ G $ 上左不变1-形式的事实，使得通过在 $ G $ 中路径上的积分可定义表示 $ \rho_{\lambda\omega} $。
• 证明当 $ -\lambda\omega \notin \Omega_{\mathfrak{g}} $ 时，谱序列 $ E_r $ 在 $ E_1 $ 项退化，意味着此时上同调平凡。

实验结果

研究问题

• RQ1 对于哪些 $ \lambda $ 值和闭1-形式 $ \omega $，紧致可解流形 $ G/\Gamma $ 上的上同调 $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 非平凡？
• RQ2 当 $ G $ 为完全可解时，$ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 与李代数上同调 $ H^*_{\lambda\omega}(\mathfrak{g}) $ 有何关系？
• RQ3 精确的有限子集 $ \tilde{\Omega}_{\mathfrak{g}} \subset H^1(G/\Gamma, \mathbb{C}) $ 是什么？它如何通过李代数 $ \mathfrak{g} $ 来刻画非零上同调？
• RQ4 该结果是否将阿拉尼亚关于极小流形的零化定理推广至可解流形？若然，非平凡上同调在何种条件下出现？
• RQ5 与李代数 $ \mathfrak{g} $ 的极小模型相关的谱序列 $ E_r $ 是否可用于计算 $ H^*_{\lambda\omega}(\mathfrak{g}) $？它在何时于 $ E_1 $ 项退化？

主要发现

• 紧致可解流形 $ G/\Gamma $（其中 $ G $ 为完全可解李群）的上同调 $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 同构于李代数上同调 $ H^*_{\lambda\omega}(\mathfrak{g}) $，此结论由哈托里的定理确立。
• 当且仅当 $ -\lambda[\omega] \in \{0\} \cup \tilde{\Omega}_{\mathfrak{g}} $ 时，上同调 $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 非平凡，其中 $ \tilde{\Omega}_{\mathfrak{g}} $ 是 $ H^1(G/\Gamma, \mathbb{C}) $ 的有限子集，由 $ [\mathfrak{g}, \mathfrak{g}] $ 上伴随表示的权所定义。
• 对于由李代数 $ \mathfrak{g}_0 $ 定义的三维可解流形（满足 $ [e_1,e_2] = e_2, [e_1,e_3] = -e_3 $），上同调 $ H^*_{\lambda\omega}(G_0/\Gamma, \mathbb{C}) $ 仅在 $ \lambda\omega = 0, \pm \omega_1 $ 时非平凡，此时贝蒂数满足 $ b^1 = b^2 = 1 $，$ b^0 = b^3 = 0 $。
• 收敛于 $ H^*_{\lambda\omega}(\mathfrak{g}) $ 的谱序列 $ E_r $ 在 $ -\lambda\omega \notin \Omega_{\mathfrak{g}} $ 时于 $ E_1 $ 项退化，意味着该情形下上同调平凡。
• 该结果推广了阿拉尼亚关于极小流形的零化定理：在极小流形中，当 $ \lambda\omega \neq 0 $ 时恒有 $ H^*_{\lambda\omega}(M_n, \mathbb{C}) = 0 $，而此结论现被视为更广泛可解流形结果的特例。
• 有限集 $ \tilde{\Omega}_{\mathfrak{g}} $ 由 $ \mathfrak{g} $ 的结构常数显式确定，特别是微分式 $ d\omega_j = \alpha_j \wedge \omega_j + P_j(\omega_1, \dots, \omega_{j-1}) $ 中的 $ \alpha_j $，且与 $ \lambda $ 无关。