[논문 리뷰] Modular perverse sheaves on flag varieties I: tilting and parity sheaves

Pramod N. Achar, Simon Riche|arXiv (Cornell University)|2014. 01. 28.

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

한 줄 요약

이 논문은 재수정된 군 G의 플래그 다양체 위의 파리티 층의 범주와 그 랑글랜드 이중 군 Ĝ의 플래그 다양체 위의 기울임 펄서브 층의 범주 사이에 양호한 특성에서의 계단 등가를 수립한다. 핵심 결과는 G의 플래그 다양체 위의 파리티 층이 Ĝ의 플래그 다양체 위의 기울임 범주의 계단 상향으로 총괄적으로 실현된다는 점이며, 이는 분해 수, Soergel의 모듈라(category O), 그리고 Kazhdan–Lusztig 이론에 응용된다.

ABSTRACT

In this paper we prove that the category of parity complexes on the flag variety of a complex connected reductive group is a "graded version" of the category of tilting perverse sheaves on the flag variety of the dual group, for any field of coefficients whose characteristic is good. We derive some consequences on Soergel's modular category O, and on multiplicities and decomposition numbers in the category of perverse sheaves.

연구 동기 및 목표

• 재수정된 군 G의 플래그 다양체 위의 파리티 층과 그 랑글랜드 이중 군 Ĝ의 플래그 다양체 위의 기울임 펄서브 층 사이의 범주론적 정밀한 관계를 수립하기 위해.
• 고전적 결과를 특성 0(예: Koszul 대칭, Soergel 이론)에서 양호한 특성으로 확장하여, 모듈라 펄서브 층의 맥락에서 수행하기 위해.
• 플래그 다양체 위의 펄서브 층의 범주에서 분해 수와 계수를 계산하기 위한 기하적 프레임워크를 제공하기 위해.
• Koszul 대칭의 원리가 모듈라 맥락으로 일반화되어, 파리티 층의 범주가 이중 측면의 기울임 범주의 계단 상향으로서 실현됨을 보여주기 위해.
• Soergel의 모듈라(category O)가 플래그 다양체 위의 파리티 층의 범주를 통해 기하학적으로 실현됨을 확립하기 위해.

제안 방법

• 특성 0에서 Bezrukavnikov–Yun(2010)의 구성들을 특성 양으로 일반화하며, 혼합 Hodge 구조의 대체로 파리티 층 이론을 사용한다.
• 자기동치 변환 T와 조건 (1.1)을 만족하는 함자 F를 통해 아벨 범주의 '계단 형태'를 정의하며, 계단 확장이 원래의 확장을 복원함을 보장한다.
• Verdier 대칭 변환 D_X와 Riemann–Hilbert 대응을 이용한 대칭 형식을 적용하여, 이중 플래그 다양체 간의 표준, 코표준, 기울임 대상 간의 관계를 규명한다.
• 혼합 유도 범주 D^mix를 포함하는 삼각형 범주 다이어그램을 사용하며, R_{X→Y}와 R_{X←Y}의 함자들이 이중 플래그 다양체 위의 구조적 유도 범주 간에 준위역치 등가를 유도한다.
• G/B 위의 B-불변 층의 유도 범주와 Ĝ/̌B 위의 Ĝ/B̌-불변 층의 유도 범주 사이에 자연스러운 동형이 존재하며, 이는 대칭 변환자를 통해 매개됨을 이용한다.
• G/B 위의 파리티 층의 범주는 Koszul 링 위의 계단 모듈러 범주와 동치임을 이용하여, 고전적 Koszul 대칭 이론을 모듈라 맥락으로 일반화한다.

실험 결과

연구 질문

• RQ1 양호한 특성에서, G의 플래그 다양체 위의 파리티 층의 범주는 어떻게 Ĝ의 플래그 다양체 위의 기울임 펄서브 층의 범주의 계단 상향으로 실현될 수 있는가?
• RQ2 플래그 다양체 G/B 위의 펄서브 층의 분해 수와 양의 특성에서 히드라 대칭의 구조 사이의 정확한 관계는 무엇인가?
• RQ3 Soergel의 모듈라(category O)는 G의 플래그 다양체 위의 파리티 층의 범주를 통해 기하학적으로 실현될 수 있는가?
• RQ4 표준 및 코표준 층 간의 고전적 Koszul 대칭은 어떻게 파리티 층을 통해 모듈라 맥락으로 확장될 수 있는가?
• RQ5 표준 확장에서 단순 펄서브 층의 계수는 양의 특성에서 Kazhdan–Lusztig 기저와 어떻게 관련되는가?

주요 결과

• G/B 위의 파리티 층의 범주는 Ĝ/̌B 위의 기울임 펄서브 층의 범주의 계단 상향이며, 이동 자동변환 [1]이 계단 이동의 역할을 한다.
• 함자 ν: IC_{(̌B)}(̌B, ℂ) → Proj-O_0(G)는 범주 O의 프로젝티브 모듈러의 계단 형태로 간주되는 단순 복합체의 범주를 실현하며, Soergel 이론을 양의 특성으로 확장한다.
• G/B 위의 펄서브 층에 대한 분해 수는 히드라 대칭 H_W의 최초 기저의 q=1에서의 전문화로 결정되며, 이는 양의 특성에서 Kazhdan–Lusztig 추측을 일반화한다.
• G/B 위의 파리티 층의 범주는 Koszul 링 위의 무계단 모듈러의 범주와 동치이며, 고전적 Koszul 대칭 결과를 모듈라 맥락으로 일반화한다.
• 두 이중 플래그 다양체 위의 기울임 및 단순 펄서브 층 간의 대칭은 등가에 의해 유지되며, 이는 Koszul 자기대칭의 모듈라 형태를 확립한다.
• R_{X→Y}와 R_{X←Y}를 통한 D^b_{(B)}(G/B, k)와 D^b_{(̌B)}(̌G/̌B, k) 사이의 유도 범주 등가는, 한 측면의 기울임 층과 다른 측면의 프로젝티브 층 간의 아벨 범주 등가를 유도하며, 이는 서로의 역함수를 가진다.