[논문 리뷰] Modular affine Hecke category and regular centralizer

Roman Bezrukavnikov, Simon Riche|arXiv (Cornell University)|2022. 06. 08.

Algebraic structures and combinatorial models참고 문헌 44인용 수 4

한 줄 요약

이 논문은 양의 특성성을 가진 체 위의 재구성군의 아핀 플래그 다양체 위의 기울어진 편재 sheaf에 대한 조합론적 기술을 제공한다. 이는 Langlands 쌍대군의 보편 중심화군을 통한 Soergel 이중모듈의 새로운 실현을 통해 이루어지며, 자유-단조성 편재 sheaf의 범주와 Soergel 이중모듈 사이의 동치를 확립한다. 이를 통해 $\ell$-Kazhdan–Lusztig 다항식을 통해 기약 기울어진 sheaf의 특성 공식을 유도할 수 있으며, 고전적 Soergel 이론을 양의 특성성으로 확장한다.

ABSTRACT

In this paper we provide a "combinatorial" description of the category of tilting perverse sheaves on the affine flag variety of a reductive algebraic group, and its free-monodromic variant, with coefficients in a field of positive characteristic. This provides a replacement for the familiar "Soergel theory" for characteristic-0 coefficients, and the second step in our project towards the construction of an equivalence of categories relating the two natural geometric realizations of the associated affine Hecke algebra in the case of positive-characteristic coefficients.

연구 동기 및 목표

• 재구성군의 아핀 플래그 다양체에 대해 고전적 $\mathbb{C}$ 계수를 특성 $\ell > 0$ 인 대수적으로 닫힌 체 $\Bbbk$ 계수로 대체하여 Soergel 이론의 양의 특성성 해석을 개발한다.
• 모듈러 적으로 안정된 국소 Langlands 대응의 구성 측면을 모델링하는, 보편 커버 $\widetilde{\mathrm{Fl}}_G$ 위의 자유-단조성 편재 sheaf의 범주를 구축한다.
• 이 편재 sheaf의 범주와 Langlands 쌍대군 $G^\vee_\Bbbk$의 보편 중심화군의 표현을 통해 실현된 Soergel 이중모듈의 범주 사이의 동치를 확립한다.
• 기약 기울어진 편재 sheaf의 특성 공식을 $\ell$-Kazhdan–Lusztig 다항식을 통해 유도함으로써, 특성 0 및 유한 플래그 다양체에서의 알려진 결과를 확장한다.

제안 방법

• 다항식 환 위의 등급 이중모듈이 아닌, Langlands 쌍대군 $G^\vee_\Bbbk$의 보편 중심화군의 표현을 통해 Soergel 이중모듈을 실현함으로써, 기하학적 Satake 대응과 아핀 웨일 군의 구조를 포괄한다.
• 보편 중심화군의 표현을 통해 실현된 Soergel 이중모듈의 범주와 자유-단조성 편재 sheaf의 범주를, 노말리드 아이디얼의 프로-체계에 대한 완비화를 통해 유한형 측도의 유한형 측도의 유계 유도 범주로의 완비화로 구성한다.
• 완비화된 범주 $\widehat{D}(R^\wedge_A)$를 $R^\wedge_A / (\mathfrak{m}_A)^n \cdot R^\wedge_A$의 몫들에 대한 프로젝티브 극한 구성으로 모델링함으로써, t-구조와의 호환성을 확보한다.
• Verdier 및 Serre 몫 형식론을 적용하여 스티븐버그 다양체와 완비화된 플래그 다양체 위의 유도 범주 간의 관계를 유지하면서 t-구조를 보존한다.
• 구조에 따라 $j_!$ 및 $j_*$의 푸시포워드 함자들이 t-정확함을 보임을 이용하여, 유한형 구조에서의 t-구조 조건을 완비화된 설정으로 확장한다.
• 혼합형과 일반형 편재 sheaf 간의 관계를 나타내는 탈가소화 함자(degrading functor)를 통해, 아핀 플래그 다양체 $\widetilde{\mathrm{Fl}}_G$ 위의 기울어진 편재 sheaf의 범주와 Soergel 이중모듈의 범주 사이의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 고전적 구성이 비완전성으로 인해 실패하는 양의 특성성 계수를 가진 아핀 플래그 다양체에 대해 Soergel 이론을 어떻게 확장할 수 있는가?
• RQ2 특성 $\ell > 0$ 인 체 위에서 아핀 웨일 군 설정에서 Soergel 이중모듈의 적절한 범주적 실현은 무엇이며, 이는 Langlands 쌍대군의 기하학과 어떻게 관련되는가?
• RQ3 기약 기울어진 편재 sheaf의 특성 공식은 $\ell$-Kazhdan–Lusztig 다항식을 통해 조합론적으로 어떻게 표현할 수 있는가?
• RQ4 완비화된 스티븐버그 다양체 위의 sheaf 유도 범주는 어떻게 프로-대상과 프로젝티브 극한을 통해 묘사할 수 있으며, 이는 t-구조와 어떻게 관련되는가?
• RQ5 보편 중심화군은 양의 특성성 설정에서 Soergel 이중모듈을 실현하는 데 어떤 역할을 하는가? 그리고 기하학적 Satake와의 관계는 무엇인가?

주요 결과

• 논문은 $\widetilde{\mathrm{Fl}}_G$ 위의 자유-단조성 기울어진 편재 sheaf의 범주와 $G^\vee_\Bbbk$의 보편 중심화군의 표현을 통해 실현된 Soergel 이중모듈의 범주 사이의 동치를 구축함으로써, Soergel 이론의 양의 특성성 해석을 제공한다.
• 기약 기울어진 편재 sheaf의 특성은 $\ell$-Kazhdan–Lusztig 다항식으로 주어짐을 증명함으로써, 특성 0에서의 고전적 결과를 확장한다.
• 완비화된 유도 범주 $\widehat{D}(R^\wedge_A)$는 $R^\wedge_A / (\mathfrak{m}_A)^n$ 위의 유한 생성 모듈의 유계 유도 범주의 프로젝티브 극한으로 식별되며, t-구조를 유지한다.
• 완비화된 범주의 t-구조는 유도 범주 내의 프로젝티브 시스템으로 특성화되며, $\mathscr{F} \in {}^p\widehat{D}_{\mathcal{S}}(X\setminus A,\Bbbk)^{\leq 0}$ 이다 하는 것과 유한형 유도 범주 ${}^pD^b_{\mathcal{S}}(X,\Bbbk)^{\leq 0}$ 내의 객체들의 프로젝티브 극한으로 표현되는 것과 동치이다.
• 혼합형과 일반형 편재 sheaf 간의 관계를 나타내는 탈가소화 함자는 완비화 과정을 통해 구성되며, 이로써 두 범주가 동일한 Soergel-이론적 프레임워크를 공유함을 보여준다.
• 결과는 모듈러 적으로 안정된 국소 Langlands 대응을 구성하기 위한 기초 단계를 제공하며, $\mathrm{Fl}_G$ 위의 이와하라-등변 편재 sheaf와 $G^\vee_\Bbbk$의 스티븐버그 다양체 위의 코herent sheaf 간의 연결을 맺는다.