[논문 리뷰] On the Cohomology of Deligne-Lusztig Varieties

David Craven|arXiv (Cornell University)|2011. 07. 10.

Algebraic structures and combinatorial models참고 문헌 10인용 수 5

한 줄 요약

이 논문은 유니포텐트 특징의 코homology에 대한 딜리뉴-루스티그 다양체의 유한 리 군 유형에 대해, 수정된 오일러 토ients 함수와 perversity 함수 π(χ)를 사용하여 degree에 대한 추측적 공식을 제안한다. π(χ)가 항상 정수이고 완전한 등치사의 짝수성을 갖는 것을 증명하며, 순환 결함군을 가진 유니포텐트 블록에 대해 이 함수가 perversity 동치를 유도함을 확인함으로써, 브우에의 아벨 결함군 추측의 기하적 프레임워크를 제공한다.

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.

연구 동기 및 목표

• 유한 리 군 유형의 딜리뉴-루스티그 다양체의 코homology에서 유니포텐트 특징의 degree에 대한 추측적 공식을 제공함으로써, 브우에의 아벨 결함군 추측의 기하적 변형에서 핵심적인 매개변수를 제공한다.
• 제안된 perversity 함수 π(χ)가 항상 정수이면서, 완전한 등치사에 적합한 짝수성을 갖는다는 것을 확립함으로써, 유도 동치와의 호환성을 보장한다.
• 기존의 브라우어 트리의 구조를 활용하여, 순환 결함군을 가진 유니포텐트 블록에 대해 추측된 perversity 함수가 perversity 동치를 유도함을 검증한다.
• 이전에 ℓ가 q±1을 나눌 때에만 알려진 코homological degree의 추측을 넘어, Φ_d(q)를 나누는 모든 소수 ℓ에 대해 통합된 프레임워크를 제공한다.
• 복소수의 원주각을 통해 B_d(Φ_r) 함수의 기하적 의미를 명확히 하여, 그 대수적 의미를 밝힌다.

제안 방법

• d-제한된 정수 ≤ r/d 중 r과 서로소인 수의 개수를 세는 수정된 오일러 토ients 함수 φ_d(r)를 도입하고, F의 원소인 순환다항식과 q의 거듭제곱의 곱으로 이루어진 다항식 f에 대해 B_d(f)를 통해 다항식에 대해 선형으로 확장한다.
• 유니포텐트 특징 χ와 그 d-cuspidal 쌍 (L,ψ)에 대해 π(χ) = (B_d(χ) - B_d(ψ))/d로 perversity 함수를 정의하며, 이는 브우에 추측에서 유도 동치를 지배한다.
• Lusztig 이론의 깊은 성질에 기반하여, χ(1)/ψ(1)이 Φ_d(q)를 모듈로로 일정하다는 사실을 이용해 π(χ)의 정수성을 증명하며, 경우에 따라 분석하지 않고도 증명한다.
• 기하적 의미를 확립: B_d(Φ_r)π/d mod 2π는 복소수 Φ_r(ζ)의 각도와 일치하며, ζ = e^{2πi/d}일 때 이를 복소해석학과 연결한다.
• perversity 함수를 사용하여 유도 동치 알고리즘을 통해 perversity 동치를 구성하며, 고전적 및 예외적 군의 기존 브라우어 트리에 대해 검증한다.
• 선형, 유니터리, 심플렉틱, 올림픽, 예외적 군, 리 및 수지 군을 포함한 여러 경우에서 계산적 검증과 이론적 일관성을 통해 추측을 검증한다.

실험 결과

연구 질문

• RQ1 리 군 유형의 딜리뉴-루스티그 다양체의 코homology에서 유니포텐트 특징이 나타나는 올바른 코homological degree는 무엇인가?
• RQ2 모든 유니포텐트 블록에서 아벨 결함군을 가진 유니포텐트 특징에 대해 perversity 함수 π(χ)를 균일하고 정수적으로 정의할 수 있는가?
• RQ3 추측된 perversity 함수가 순환 결함군을 가진 블록에 대해 유니포텐트 블록과 그 브라우어 대응체 사이의 perversity 동치를 유도하는가?
• RQ4 함수 B_d(Φ_r)는 기하학적으로 의미가 있으며, 복소수의 단위근을 통해 해석할 수 있는가?
• RQ5 이제까지 알려진 ℓ가 q±1을 나눌 때의 경우를 넘어, Φ_d(q)를 나누는 모든 소수 ℓ에 대해 추측을 확장할 수 있는가?

주요 결과

• π(χ)는 항상 정수이며, 경우에 따라 분석하지 않고도 증명되었으며, χ(1)/ψ(1)이 Φ_d(q)를 모듈로로 일정하다는 사실에 기반한다.
• 유니포텐트 블록의 기약 특징과 그 브라우어 대응체 사이의 이항사의 부호는 (−1)^π(χ)이며, 이는 완전한 등치사와의 호환성을 확인한다.
• 순환 결함군을 가진 유니포텐트 블록에 대해 추측된 perversity 함수 π(χ)는 perversity 동치를 유도하며, E_7 및 E_8의 경우 브라우어 트리의 형태가 알려져 있지 않아 제외한 모든 고전적 및 예외적 군에 대해 검증되었다.
• 함수 B_d(Φ_r)는 기하학적 의미를 갖는다: B_d(Φ_r)π/d mod 2π는 ζ = e^{2πi/d}일 때 복소수 Φ_r(ζ)의 각도와 일치하며, 대수적 수론과 복소기하학을 연결한다.
• 이 추측은 이전 결과를 초월하여 비순환 결함군의 경우에도 perversity 동치를 구성하는 데 사용되었으며, 확장된 결과를 얻었다.
• 2F_4(q) 및 2B_2(q^2)에 대한 명시적 계산은 추측을 확인하였으며, π(χ) 값이 ℓ가 Φ_12, Φ_24', Φ_24''를 나눌 때 기대되는 코homology 차수와 일치한다.