[논문 리뷰] Perverse Equivalences and Broué's Conjecture II: The Cyclic Case

David Craven|arXiv (Cornell University)|2012. 06. 30.

Advanced Algebra and Geometry참고 문헌 20인용 수 9

한 줄 요약

이 논문은 순수한 블록의 무한군의 리 유형에서 순환 결함군을 가진 경우, Deligne–Lusztig 다양체의 코homology에 대한 추측을 이용하여 악성 동치의 존재를 확립한다. 사이클로트로믹 히드라 알지브라와 악성 동치 이론을 통해 코homology를 분석함으로써, 브뢰의 추측의 조합론적 형태가 알려져 있지 않은 두 블록을 제외한 모든 이러한 블록에서 성립함을 증명하며, 전체 추측으로 향하는 기초 단계를 마련한다.

ABSTRACT

We study Broué's abelian defect group conjecture for groups of Lie type using the recent theory of perverse equivalences and Deligne--Lusztig varieties. Our approach is to analyze the perverse equivalence induced by certain Deligne--Lusztig varieties (the geometric form of Broué's conjecture) directly; this uses the cohomology of these varieties, together with information from the cyclotomic Hecke algebra. We start with a conjecture on the cohomology of these Deligne--Lusztig varieties, prove various desirable properties about it, and then use this to prove the existence of the perverse equivalences predicted by the geometric form of Broué's conjecture whenever the defect group is cyclic (except possibly for two blocks whose Brauer tree is unknown). This is a necessary first step to proving Broué's conjecture in general, as perverse equivalences are built up inductively from various Levi subgroups. This article is the latest in a series by Raphael Rouquier and the author with the eventual aim of proving Broué's conjecture for unipotent blocks of groups of Lie type.

연구 동기 및 목표

• 유한 리 군의 유형에서 순환 결함군을 가진 순수한 블록과 그 브뢰 대응체 사이의 악성 동치의 존재를 확립한다.
• ¯Qℓ에서의 Deligne–Lusztig 다양체의 코homology에 대한 정확한 추측을 제시하고 이를 뒷받침한다. 특히, 순수한 문자가 나타나는 차수에 대해.
• 모든 순수한 블록이 순환 결함군을 가진 경우, 브뢰의 아벨 결함군 추측의 조합론적 형태가 성립함을 증명한다. 다만 알려져 있지 않은 브뢰 트리가 있는 두 블록을 제외하고는.
• 리 하위군과 악성 동치의 구조를 기반으로 하는 귀납적 방법을 통해 브뢰의 추측을 완전히 증명하기 위한 기초를 마련한다.
• 순환 결함군을 가진 블록과 그 브뢰 대응체 사이의 모든 악성 동치를 완전히 기술한다.

제안 방법

• 유니포텐트 문자 χ가 나타나는 Deligne–Lusztig 다양체 Yκ/d의 코homology 차수는 πκ/d(χ)로 주어진다는 추측(추측 1.3)을 제안한다. 여기서 πκ/d(χ)는 χ의 일반적 차수와 그 d-쿠스피달 쌍에서 유도된 함수이다.
• 다항식의 근과 중복도를 고려하여 정의된 함수 πκ/d(f)를 사용하며, 이는 q에 대한 ℓ에 대한 순서 d와 분수 κ/d를 포함한다.
• 악성 동치 이론을 적용하여 Deligne–Lusztig 다양체의 코homology를 브뢰의 추측의 기하학적 형태에서 예측된 유도 동치와 연결한다.
• 사이클로트로믹 히드라 대수의 구조를 분석하여 코homology와 그 순수한 문자로의 분해에 대한 정보를 추출한다.
• 퍼버시티 함수의 개념을 활용하여 블록과 그 브뢰 대응체 사이의 명시적 악성 동치를 구성한다.
• 순환 결함군의 경우에 대해, 다양한 리 군의 유형(예: E8(q))에서 문자 차수와 근의 분석을 통해 추측과 관련된 동치를 검증한다.

실험 결과

연구 질문

• RQ1 유한 리 군의 유형에서의 Deligne–Lusztig 다양체 Yκ/d의 코homology는 함수 πκ/d(χ)를 통해 순수한 문자의 차수로 정확히 기술될 수 있는가?
• RQ2 이 다양체의 코homology에 의해 유도되는 악성 동치를 통해 브뢰의 추측의 기하학적 형태를 실현할 수 있는가?
• RQ3 순환 결함군을 가진 순수한 블록에 대해, 악성 동치의 구조에 의해 예측된 대로 브뢰의 추측의 조합론적 형태가 성립하는가?
• RQ4 결함군이 순환일 경우, 순수한 블록과 그 브뢰 대응체 사이의 악성 동치의 완전한 분류는 무엇인가?
• RQ5 이 설정에서 브뢰의 추측의 조합론적 형태에 대한 예외가 존재하는가? 만약 존재한다면, 그 성질은 무엇인가?

주요 결과

• 논문은 모든 순수한 블록이 순환 결함군을 가진 경우, 브뢰의 추측의 조합론적 형태가 성립함을 증명한다. 다만 알려져 있지 않은 브뢰 트리가 있는 E8(q)의 두 블록을 제외하고는.
• 정리 6.15에서 순환 결함군을 가진 블록과 그 브뢰 대응체 사이의 모든 악성 동치에 대한 완전한 기술가 제공된다.
• Deligne–Lusztig 다양체의 코homology에 대한 추측(추측 1.3)은 필요한 악성 동치의 존재를 암시함으로써, 브뢰의 추측의 기하학적 형태를 지지한다.
• E8(q)의 경우, d = 24와 d = 30인 블록에 대해 문자 차수와 πκ/d(χ) 값의 상세한 표를 제공하며, 여러 순수한 블록에서 추측의 예측이 확인된다.
• 함수 πκ/d(χ)는 모든 테스트된 경우에서 각 순수한 문자가 Yκ/d의 코homology에서 나타나는 코homological 차수를 정확히 예측한다.
• 분석 결과, Deligne–Lusztig 다양체의 코homology는 브뢰의 추측이 예측한 유도 동치를 순환 결함군의 경우 실현하는 악성 동치를 제공함을 확인한다.