[논문 리뷰] Categorical actions on unipotent representations I. Finite unitary groups

Olivier Dudas, Michela Varagnolo외 1명|arXiv (Cornell University)|2015. 09. 10.

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

한 줄 요약

이 논문은 비정의 특성에서 유한 유니타리 군의 유니포텐트 표현의 범주에 카크-무디 대수의 범주적 작용을 구성하며, 이에 따라 분류해제된 표현이 수준 2 프로크 공간의 직합과 동형임을 보여준다. 또한 하리시-찬드라 분해 그래프가 이러한 프로크 공간의 크리스탈 그래프와 일치함을 증명하여 게르버-히스-자콘의 추측을 확인하고, 선형 소수에서 유니포텐트 ℓ-블록에 대해 브뢰의 아벨 결함 군 추측을 지지하는 유도 동치를 확립한다.

ABSTRACT

Using Harish-Chandra induction and restriction, we construct a categorical action of a Kac-Moody algebra on the category of unipotent representations of finite unitary groups in non-defining characteristic. We show that the decategorified representation is naturally isomorphic to a direct sum of level 2 Fock spaces. From our construction we deduce that the Harish-Chandra branching graph coincide with the crystal graph of these Fock spaces, solving a recent conjecture of Gerber-Hiss-Jacon. We also obtain derived equivalences between blocks, yielding Broué's abelian defect groups conjecture for unipotent $\ell$-blocks at linear primes $\ell$.

연구 동기 및 목표

• 비정의 특성에서 유한 유니타리 군의 유니포텐트 표현의 범주에 카크-무디 대수의 범주적 작용을 구성하는 것.
• 분류해제된 표현이 수준 2 프로크 공간의 직합과 동형임을 보이는 것.
• 하리시-찬드라 분해 그래프가 이러한 프로크 공간의 크리스탈 그래프와 일치함을 증명하여 게르버-히스-자콘의 추측을 해결하는 것.
• 선형 소수에서 유니포텐트 ℓ-블록 간의 유도 동치를 확립하여 브뢰의 아벨 결함 군 추측을 지지하는 것.

제안 방법

• 하리시-찬드라 유도 및 제거 함수를 사용하여, 유니포텐트 표현의 범주에서 쌍대 함수의 쌍 (E, F)을 정의한다.
• 영향력 있는 특성 0의 체 위에서 유니포텐트 표현의 범주 𝒰K에 대해 카크-무디 대수 𝔤∞의 범주적 표현을 구성한다.
• 특성 ℓ ≠ q의 양의 특성에서 유니포텐트 표현의 범주 𝒰k에 대해 𝔤e의 범주적 작용을 정의한다.
• 약한 하리시-찬드라 이론을 사용하여 표현을 매개변수화하고, 프로크 공간 위의 헤이젠베르크 대수 작용을 분류화하는 함수를 정의한다.
• 크리스탈 그래프와 분해 규칙을 통해 기약 표현과 프로크 공간의 기저 벡수 사이의 대응을 설정한다.
• 그로텐디에크 군 위에서 헤이젠베르크 대수 작용이 카크-무디 작용과 가환함을 증명하고, 헤이젠베르크 연산자의 분류화에 대한 추측을 제시한다.

실험 결과

연구 질문

• RQ1 유한 유니타리 군의 유니포텐트 표현에 대한 하리시-찬드라 분해 그래프는 수준 2 프로크 공간의 크리스탈 그래프와 일치하는가?
• RQ2 비정의 특성에서 유한 유니타리 군의 유니포텐트 표현의 범주에 카크-무디 대수의 범주적 작용을 구성할 수 있는가?
• RQ3 선형 소수에서 유한 유니타리 군의 유니포텐트 ℓ-블록의 유도 범주가 브뢰의 아벨 결함 군 추측이 예측한 바와 같이 유도 동치를 만족하는가?
• RQ4 유니포텐트 표현의 그로텐디에크 군 위에서 헤이젠베르크 대수 작용의 분류화가 카크-무디 작용과 가환하는가?
• RQ5 𝒰k의 쿠스피달 유니포텐트 표현들은 헤이젠베르크 작용 하에서 그로텐디에크 군의 최고 무게 벡수와 정확히 일치하는가?

주요 결과

• 유니포텐트 표현의 범주적 작용의 분류해제 표현은 자연스럽게 수준 2 프로크 공간의 직합과 동형이다.
• 유한 유니타리 군의 유니포텐트 표현에 대한 하리시-찬드라 분해 그래프는 해당 프로크 공간의 크리스탈 그래프와 동형이며, 최근 게르버-히스-자콘의 추측을 확인한다.
• 선형 소수 ℓ에서 유니포텐트 ℓ-블록의 블록 간에 유도 동치를 확립하여 브뢰의 아벨 결함 군 추측을 지지한다.
• 양의 특성에서 유니포텐트 표현의 범주 그로텐디에크 군에는 헤이젠베르크 대수와 카크-무디 대수의 가환 작용이 존재하며, 이는 프로크 공간 표현을 분류화한다.
• 기약 쿠스피달 표현의 집합은 헤이젠베르크 작용 하에서 그로텐디에크 군의 최고 무게 벡수와 정확히 일치하며, 이는 추측과 일치한다.
• 그로텐디에크 군 위에서 헤이젠베르크 대수 작용의 분류화는 함수 Aν와 A*ν를 통해 실현되며, 이들이 프로크 공간 표현에서 연산자 aν와 a*ν와 대응됨을 보였다.