[论文解读] Cohomology rings and formality properties of nilpotent groups

Anca Măcinic|arXiv (Cornell University)|Jan 31, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 4

一句话总结

本文通过部分极小模型引入幂零群的k-形式性，将其与共振簇及上同调环结构联系起来。证明了有限生成的k-形式性幂零群在度数k以内具有平凡的共振簇，且在度数k+1以内上同调由度数1生成；对于2步幂零群，这一条件既是必要也是充分的。论文计算了海森堡型群的这些不变量，表明当辛秩为2m时，其为(m−1)-形式性但非m-形式性。

ABSTRACT

We introduce partial formality and relate resonance with partial formality properties. For instance, we show that for finitely generated nilpotent groups that are k-formal, the resonance varieties are trivial up to degree k. We also show that the cohomology ring of a nilpotent k-formal group is generated in degree 1, up to degree k+1; this criterion is necessary and sufficient for 2-step nilpotent groups to be k-formal. We compute resonance varieties for Heisenberg-type groups and deduce the degree of partial formality for this class of groups.

研究动机与目标

• 通过部分极小模型定义并研究幂零群的k-形式性，扩展经典的形式性概念。
• 将k-形式性与上同调环及共振簇的结构联系起来，特别是在有限生成幂零群的背景下。
• 通过显式计算共振簇和上同调环生成元，确定海森堡型群的部分形式性度数。
• 利用共振和上同调生成性提供形式性的障碍，尤其针对2步幂零群。
• 通过证明某些海森堡型群不能作为具有平凡高阶同伦群的光滑射影簇的基本群，解决塞尔关于射影群的问题。

提出的方法

• 通过k-极小模型引入k-形式性，利用有限数据测试至度数k+1的形式性，而非完整极小模型。
• 使用特征为零的域上的极小模型理论和微分分次代数（DGA）分析有理同伦类型。
• 应用Künneth公式和代数张量积分解，计算代数张量积的共振簇。
• 采用共振簇的定义：𝒮₁ⁱ(G) ⊆ H¹(G, 𝕜) 是指那些在度数i上乘法作用具有非平凡上同调的上同调类ξ。
• 将海森堡型群的极小模型分析为𝒜 = ⋀(t₁,…,tₙ) ⊗ ⋀(z)，其中d(z) = ω ∈ ⋀²(t₁,…,tₙ)，且ω处于标准形式x₁y₁ + ⋯ + xₘyₘ。
• 利用分解𝒜 ≅ ℋₘ ⊗ ⋀(t₂ₘ₊₁,…,tₙ) 通过命题5.7计算共振簇：𝒮₁ⁱ(𝒜) = ⋃_{p+q=i} 𝒮₁ᵖ(ℋₘ) × 𝒮₁^{q}(⋀(t₂ₘ₊₁,…,tₙ))。

实验结果

研究问题

• RQ1 有限生成幂零群的k-形式性与上同调环结构之间有何关系？
• RQ2 共振簇如何约束幂零群的形式性性质？
• RQ3 给定的海森堡型群在哪些k下是k-形式的，其部分形式性的精确度数是多少？
• RQ4 k-形式性能否通过上同调在度数1至k+1内生成这一代数性质来刻画？
• RQ5 哪些幂零群可作为光滑射影复流形的基本群，存在何种障碍？

主要发现

• 对于有限生成的k-形式性幂零群，上同调环H^{≤k+1}(G)由H¹(G)生成，建立了强代数约束。
• 对于2步幂零群，k-形式性等价于上同调环在度数1至k+1内由度数1生成。
• 若G是k-形式性，则共振簇𝒮₁ⁱ(G)在所有i ≤ k下均为平凡（即{0}），提供了形式性的上同调障碍。
• 对于辛秩为2m的海森堡型群，共振簇𝒮₁ⁱ(G)在i ≤ m−1时为平凡，在i = m时等于𝕜²ᵐ。
• 辛秩为2m的海森堡型群是(m−1)-形式性但非m-形式性，从而确定了部分形式性的精确度数。
• 由于流形M的m-形式性与群的非m-形式性相冲突，此类群不能作为具有π_{≤m}(M̃) = 0的光滑射影复流形M的基本群。