[논문 리뷰] Modular generalized Springer correspondence: an overview

Pramod N. Achar, Anthony Henderson외 2명|arXiv (Cornell University)|2015. 10. 30.

Advanced Algebra and Geometry참고 문헌 32인용 수 5

한 줄 요약

이 논문은 양의 특성에서 재구성군 위에서의 모oduляр 캐릭터 복소체 이론을 개발하여 루슈티그의 일반화된 스프링거 대응의 모듈러 버전을 제안한다. 이는 $\beta$-sheaves와 계수를 $\beta = \overline{\mathbb{Q}}_\ell$ 또는 $\mathbb{F}_\ell$ 로 갖는 펄스러운 복소체를 사용한다. 상당히 좋은 특성에서, 모듈러 조인덕션 시리즈가 특성 0의 조인덕션 시리즈를 정교화하며, 특성 0의 쿠스피달 쌍의 모듈러 환원으로 유도된 쿠스피달 쌍에 대해 청결성( cleanness )을 증명한다.

ABSTRACT

This is an overview of our series of papers on the modular generalized Springer correspondence. It is an expansion of a lecture given by the second author in the Fifth Conference of the Tsinghua Sanya International Mathematics Forum, Sanya, December 2014, as part of the Master Lecture `Algebraic Groups and their Representations' Workshop honouring G. Lusztig. The material that has not appeared in print before includes some discussion of the motivating idea of modular character sheaves, and heuristic remarks about geometric functors of parabolic induction and restriction.

연구 동기 및 목표

• 유한 재구성군의 모듈러 표현을 모방하는 방식으로, 루슈티그의 일반화된 스프링거 대응의 모듈러 버전을 개발하는 것.
• Lusztig의 특성 0 이론을 일반화하여, $\mathrm{Ch}(G,\Bbbk)$를 $\mathsf{Perv}_G(G,\Bbbk)$의 부분범주로 정의하는 모듈러 캐릭터 복소체의 범주를 정의하는 것.
• 특성 0 이론에서 유도된 쿠스피달 쌍의 모듈러 환원에서 발생하는 쿠스피달 쌍의 행동, 특히 악성 특성과 상당히 좋은 특성에서의 행동을 이해하는 것.
• 루슈티그 이론에서 핵심적인 청결성 성질이 모듈러 환원된 쿠스피달 쌍에 대해 성립하는지 조사하는 것.
• 유한 재구성군의 분해 행렬에 대한 기하적 해석을 모듈러 스프링거 이론을 통해 확립하는 것.

제안 방법

• 계수를 $\Bbbk = \overline{\mathbb{Q}}_\ell$ 또는 $\mathbb{F}_\ell$ 로 갖는 $G$-동차 펄스러운 복소체 $\mathsf{Perv}_G(G,\Bbbk)$의 전부인 부분범주로 $\mathrm{Ch}(G,\Bbbk)$를 정의한다.
• 등변 유도 범주 이론인 Bernstein–Lunts 이론을 사용하여 $D^b_G(G,\Bbbk)$를 정의하고, $\mathrm{Ch}(G,\Bbbk)$를 $\mathsf{Perv}_G(G,\Bbbk)$의 전부인 부분범주로 구성한다.
• 모듈러와 특성 0의 조인덕션 시리즈를 연결하기 위해, 파라보릭 유도와 제약의 기하적 함자를 적용한다.
• 널립otent 콘 $\mathscr{N}_G$ 를 중심으로 모듈러 스프링거 대응을 연구하며, 널립otent 궤도에 지지된 $\Bbbk$-sheaves 에 초점을 맞춘다.
• 패리티 복소체와 분해 정리의 실패를 이용하여, 양의 특성에서 비단순 구조를 분석한다.
• 일반 원리 [AHJR5, Lemma 2.5] 를 사용하여 Mautner의 청결성 추측을 저랭크 및 예외적 군으로 축소한다.

실험 결과

연구 질문

• RQ1 계수를 $\Bbbk = \mathbb{F}_\ell$ 로 갖는 $\Bbbk$-sheaves 를 사용하여, 루슈티그의 일반화된 스프링거 대응의 모듈러 일반화를 구성할 수 있는가?
• RQ2 모듈러 스프링거 대응의 조인덕션 시리즈는 특성 0의 조인덕션 시리즈와 어떻게 관련이 있는가?
• RQ3 청결성 성질—특히 $\mathcal{IC}(\mathscr{O},\mathcal{E})|_{\overline{\mathscr{O}}\setminus\mathscr{O}} = 0$—은 모듈러 설정에서 쿠스피달 쌍에 대해 성립하는가?
• RQ4 특성 0의 쿠스피달 쌍의 모듈러 환원으로 유도된 쿠스피달 쌍의 행동은 악성 특성에서 어떻게 되는가? 특히 $G$ 가 $B$, $C$, 또는 $D$ 형이며 $\ell = 2$ 인 경우에 대해.
• RQ5 유도 범주 $D^b_G(\mathscr{N}_G,\Bbbk)$ 는 특성 0의 조인덕션 시리즈에 의해 유도된 수직 분해를 가질 수 있는가?

주요 결과

• 상당히 좋은 특성에서, Theorem 7.4 에서 보여지듯이, 모듈러 조인덕션 시리즈는 특성 0의 조인덕션 시리즈를 정교화한다.
• 예외적 형의 단순 연결 쿼어시심플리 그룹에 대해, $\mathfrak{N}_{G,\Bbbk}$ 에서의 쿠스피달 쌍의 수는 $\ell$ 에 따라 달라지며, $E_8$ 는 각각 $\ell = 2,3,5,\geq7$ 에 대해 10, 8, 5, 1 개의 쿠스피달 쌍을 갖는다.
• 만약 $\ell$ 가 양호한 소수이고 $G$ 가 단순 연결된 반단순군이라면, 모든 쿠스피달 쌍은 특성 0의 쿠스피달 쌍의 모듈러 환원으로 유도된다.
• 형 $A$, 예외적 형, 그리고 일부 고전군에서, 특성 0의 쿠스피달 쌍의 모듈러 환원으로 유도된 쿠스피달 쌍에 대해 청결성 성질이 성립한다.
• Mautner의 청결성 추측을 가정할 경우, 더 넓은 특성 0의 조인덕션 시리즈는 $D^b_G(\mathscr{N}_G,\Bbbk)$ 의 수직 분해를 유도한다.
• 악성 특성(예: $B$, $C$, $D$ 형에서 $\ell = 2$) 에서는, 모든 특징적인 널립otent 궤도 $\mathscr{O}$ 가 쿠스피달 쌍 $(\mathscr{O},\underline{\Bbbk})$ 를 유도한다. 이는 Theorem 7.3 에서 보여진 lin.