[论文解读] On the Cohomology of Deligne-Lusztig Varieties

David Craven|arXiv (Cornell University)|Jul 10, 2011

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

一句话总结

本文提出了一种关于有限李型群的Deligne–Lusztig簇上无单特征标在上同调中次数的猜想公式，该公式基于修正的欧拉函数与一个perversity函数 π(χ)。证明了 π(χ) 恒为整数且具有完美等距所需的正确奇偶性，并验证了该函数在无单块具有循环缺陷群的情形下诱导出perversity等价，为Broué的阿贝尔缺陷群猜想提供了几何框架。

ABSTRACT

In this paper, we present a conjecture on the degree of unipotent characters in the cohomology of particular Deligne-Lusztig varieties for groups of Lie type, and derive consequences of it. These degrees are a necessary piece of data in the geometric version of Broué's abelian defect group conjecture, and can be used to verify this geometric conjecture in new cases. The geometric version of Broué's conjecture should produce a more combinatorially defined derived equivalence, called a perverse equivalence. We prove that our conjectural degree is an integer (which is not obvious) and has the correct parity for a perfect isometry, and verify that it induces a perverse equivalence for all unipotent blocks of groups of Lie type with cyclic defect groups, whenever the shape of the Brauer tree is known (i.e., not E7 and E8). It has also been used to find perverse equivalences for some non-cyclic cases. This paper is a contribution to the conjectural description of the exact form of a derived equivalence proving Broué's conjecture for groups of Lie type.

研究动机与目标

• 为李型群的Deligne–Lusztig簇上无单特征标的上同调次数提供一个猜想公式，这是几何化Broué阿贝尔缺陷群猜想中的一个关键参数。
• 确立所提出的perversity函数 π(χ) 恒为整数且具有完美等距所需的正确奇偶性，确保其与导出等价兼容。
• 验证猜想的perversity函数在无单块具有循环缺陷群的情形下诱导出perversity等价，利用已知的Brauer树结构。
• 将先前关于上同调次数的猜想扩展至 ℓ 整除 q±1 之外的情形，为所有整除 Φ_d(q) 的素数 ℓ 提供统一框架。
• 通过单位根的复数辐角，为函数 B_d(Φ_r) 提供几何解释，澄清其代数意义。

提出的方法

• 引入一个修正的函数 φ_d(r)，用于计算 ≤ r/d 且与 r 互素的整数个数，并将其线性延拓至 q 的多项式，通过 B_d(f) 对 F 中的元素 f（即分圆多项式与 q 的幂的乘积）进行定义。
• 定义 perversity 函数 π(χ) = (B_d(χ) - B_d(ψ))/d，其中 χ 为一个无单特征标，(L,ψ) 为其 d- cuspidal 对，该函数控制 Broué 猜想中的导出等价。
• 利用已知事实：χ(1)/ψ(1) 模 Φ_d(q) 为常数，证明 π(χ) 的整数性，避免了逐案分析，仅依赖于Lusztig理论的深层性质。
• 建立几何解释：B_d(Φ_r)π/d 模 2π 等于复数 Φ_r(ζ) 的辐角，其中 ζ = e^{2πi/d}，将代数与复分析联系起来。
• 利用 perversity 函数通过导出等价算法构造 perversity 等价，并在经典群与例外群的已知 Brauer 树上进行了验证。
• 通过计算检查与理论一致性，在多个情形下验证了该猜想，包括线性群、单位群、辛群、正交群、例外群，以及 Ree 群与 Suzuki 群，涵盖 ℓ 整除 Φ_12, Φ_24', Φ_24'' 的情形。

实验结果

研究问题

• RQ1 对于李型群，无单特征标在 Deligne–Lusztig 簇的上同调中应出现在哪个正确的上同调次数？
• RQ2 能否为具有阿贝尔缺陷群的无单块中所有无单特征标统一且整值地定义 perversity 函数 π(χ)？
• RQ3 所猜想的 perversity 函数是否在无单块与其 Brauer 对应块之间诱导出 perversity 等价，尤其在缺陷群为循环的情形下？
• RQ4 函数 B_d(Φ_r) 是否具有几何意义？能否通过单位根进行解释？
• RQ5 该猜想能否超越此前已知的 ℓ 整除 q±1 的情形，推广至所有整除 Φ_d(q) 的素数 ℓ？

主要发现

• perversity 函数 π(χ) 恒为整数，其证明不依赖于逐案分析，仅基于已知事实：χ(1)/ψ(1) 模 Φ_d(q) 为常数。
• 无单块与其 Brauer 对应块之间特征标双射的符号为 (−1)^π(χ)，确认其与完美等距兼容。
• 对于具有循环缺陷群的无单块，所猜想的 perversity 函数 π(χ) 诱导出 perversity 等价，已在所有经典群与例外群中验证，除 E_7 与 E_8 外（因 Brauer 树形状未知）。
• 函数 B_d(Φ_r) 具有几何解释：B_d(Φ_r)π/d 模 2π 等于复数 Φ_r(ζ) 的辐角，其中 ζ = e^{2πi/d}，将代数数论与复几何联系起来。
• 该猜想已被用于构造非循环缺陷群情形下的 perversity 等价，扩展了先前结果。
• 对 2F_4(q) 与 2B_2(q^2) 的显式计算确认了该猜想，π(χ) 的取值与 ℓ 整除 Φ_12, Φ_24', Φ_24'' 时上同调中预期的次数一致。