[論文レビュー] On the Cohomology of Deligne-Lusztig Varieties

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

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

ひとこと要約

本稿では、Lie型有限群のDeligne–Lusztig多様体のコホロジーにおける単純型特徴の次数について、修正されたオイラーのトーティエント関数とperversity関数 π(χ) を用いた予想的な公式を提案する。π(χ) が常に整数であり、完全同型写像に適切な偶奇性を持つことを証明し、巡回的デフォルト群を持つ単純型ブロックに対して perverse 同値が誘導されることを検証することで、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 関数が、巡回的デフォルト群を持つ単純型ブロックに対して perverse 同値を誘導することを検証すること。
• ℓ が q±1 に割り切れる場合に限られていた従来のコホロジー次数に関する予想を、Φ_d(q) を割り切るすべての素数 ℓ にまで拡張し、統一的な枠組みを提供すること。
• 複素数の単位根の偏角を用いた複素解析的議論により、関数 B_d(Φ_r) の幾何的解釈を提供し、その代数的意味を明確にすること。

提案手法

• cyclotomic多項式と q のべきの積からなる多項式の集合 F に属する f に対して、B_d(f) を用いて、r/d 以下の整数で r と互いに素なものの個数を数える修正トーティエント関数 φ_d(r) を定義し、それを q に関する多項式に線形に拡張する。
• 単純型特徴 χ とその d-カスピダル対 (L,ψ) に対して、perversity 関数 π(χ) = (B_d(χ) - B_d(ψ))/d を定義する。この関数は、Broué の予想における導来同値を支配する。
• χ(1)/ψ(1) が Φ_d(q) を法として定数であるという事実を用いて、π(χ) の整数性を証明する。個別ケースの解析を避け、Lusztig理論の深い性質に依拠する。
• 幾何的解釈を確立する：B_d(Φ_r)π/d mod 2π は、ζ = e^{2πi/d} に対して複素数 Φ_r(ζ) の偏角に等しくなる。これにより代数的整数論と複素幾何学が結びつく。
• perversity 関数を用いて、既知の古典的および例外的群のブレイバー木構造に基づいて、導来同値アルゴリズムを用いて perverse 同値を構成する。
• 線形群、ユニタリ群、シミプレクティック群、直交群、例外的群、Ree 群および Suzuki 群を含む多数のケースにおいて、計算的検証と理論的整合性を用いて、予想の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Lie型群の Deligne–Lusztig 多様体のコホロジーにおいて、単純型特徴がどのコホロジー次数に現れるか？
• RQ2 アーベル的デフォルト群を持つ単純型ブロックのすべての単純型特徴に対して、perversity 関数 π(χ) を一様かつ整数的に定義できるか？
• RQ3 予想された perversity 関数が、特に巡回的デフォルト群を持つブロックに対して、単純型ブロックとそのブレイバー対応物との間で perverse 同値を誘導するか？
• RQ4 関数 B_d(Φ_r) は幾何的に意味を持つのか？また、複素単位根を用いて解釈可能か？
• RQ5 ℓ が q±1 に割り切れる場合に限られていた従来の結果を、Φ_d(q) を割り切るすべての素数 ℓ にまで拡張できるか？

主な発見

• perversity 関数 π(χ) は、常に整数である。個別ケースの解析を避け、χ(1)/ψ(1) が Φ_d(q) を法として定数であるという既知の事実に依拠して、証明された。
• 単純型ブロックとそのブレイバー対応物の既約特徴の間の双対写像における符号は (−1)^π(χ) に等しく、完全同型写像との整合性が確認された。
• 巡回的デフォルト群を持つ単純型ブロックに対して、予想された perversity 関数 π(χ) は perverse 同値を誘導する。古典的および例外的群のすべてのケースで検証されたが、E_7 および E_8 についてはブレイバー木の形状が未解明のため除かれた。
• 関数 B_d(Φ_r) には幾何的解釈がある：ζ = e^{2πi/d} に対して、B_d(Φ_r)π/d mod 2π は複素数 Φ_r(ζ) の偏角に等しい。これにより代数的整数論と複素幾何学が結びついた。
• 本予想は、非巡回的デフォルト群を持つケースに対しても、従来の結果を超えて perverse 同値を構成するのにも使用された。
• 2F_4(q) および 2B_2(q^2) に対する明示的計算により、ℓ が Φ_12, Φ_24', Φ_24'' を割り切る場合に、π(χ) の値がコホロジーにおける期待される次数と一致することが確認された。