[논문 리뷰] Derived categories of character sheaves

Penghui Li|arXiv (Cornell University)|2018. 03. 12.

Advanced Algebra and Geometry참고 문헌 18인용 수 8

한 줄 요약

이 논문은 단순하고 단순 연결된 복소수 반단순 대칭군 $G$ 위의 특성층의 dg 범주에 대한 블록 분해를 수립하며, 일반화된 스프링거 대응을 dg 범주로 승격시켜, 특성층의 범주를 유도된 스택 $\widehat{G}$ 위의 코herent sheaf의 범주로 식별한다. 핵심 결과는 애फ्र린 단순 루트의 부분집합으로 색인된 dg 범주의 완전 동치이며, 이는 웨일 군과 중심의 리 대수 위의 대칭 대수에 의해 구조화된다.

ABSTRACT

We give a block decomposition of the dg category of character sheaves on a simple and simply-connected complex reductive group $G$, similar to the one in generalized Springer correspondence. As a corollary, we identify the category of character sheaves on $G$ as the category of quasi-coherent sheaves on an explicitly defined derived stack $\widehat{G}$.

연구 동기 및 목표

• 삼각 범주에서 dg 범주로 일반화된 스프링거 대응을 확장하여, 극한과 쌍극에서 더 나은 행동을 가능하게 한다.
• 단순하고 단순 연결된 복소수 반단순 대칭군 $G$ 위의 특성층의 dg 범주의 명시적 블록 분해를 제공한다.
• 특성층의 범주를 루트 자료로부터 명시적으로 구성된 유도된 스택 $\widehat{G}$ 위의 코herent sheaf의 범주로 식별한다.
• 혼합 호지 복합체 기법을 사용하여 유도된 층의 내부자 대수의 형식성을 확립한다.
• 고립된 데이터의 동치류가 아닌 애फ्र린 단순 루트의 부분집합으로 색인된 블록으로 특성층의 분류를 정교화한다.

제안 방법

• 삼각 범주를 대체하여 dg 범주로 전환함으로써 일반화된 스프링거 대응을 기반으로 하여 범주적 구조를 향상시킨다.
• Cirici와 Hovey의 '순수성은 형식성을 암시한다' 정리를 적용하여 일반화된 스프링거 층의 내부자 대수의 형식성을 증명한다.
• 애फ्र린 단순 루트의 부분집합 $I \subset \widetilde{\Delta}$로 색인된 블록들에 대한 쌍극을 통해 유도된 스택 $\widehat{G}$를 구성한다.
• 라돈 변환과 고환 위상 대응을 통해 특성층을 정의하며, 이들이 $G \times \mathcal{N}_G \subset T^*G$ 내의 특이 지지성을 가진 층으로 특성화됨을 규명한다.
• 각 $I \subset \widetilde{\Delta}$에 대해 관련된 애फ्र린 부분공간 위에서 작용하는 애फ्र린 웨일 군 $\widetilde{W}^I$를 이용하여 블록을 매개화한다.
• 고립된 층 $\mathcal{N}_L/L$는 기하학적 기원을 가지므로, 그 코호몰로지 위에 혼합 호지 복합체를 구성할 수 있다.

실험 결과

연구 질문

• RQ1 특성층의 맥락에서 일반화된 스프링거 대응을 삼각 범주에서 dg 범주로 승격시키는 방법은 무엇인가?
• RQ2 단순하고 단순 연결된 복소수 반단순 대칭군 위의 특성층의 dg 범주적 구조는 무엇인가?
• RQ3 특성층의 범주는 유도된 스택 위의 코herent sheaf의 범주로 표현될 수 있는가? 만약 그렇다면, 이 스택은 어떻게 구성되는가?
• RQ4 내부자 대수의 형식성은 dg 강화된 스프링거 대응에서 어떤 역할을 하는가?
• RQ5 특성층의 블록은 루트 계열과 상대 웨일 군을 기준으로 어떻게 분해되는가?

주요 결과

• G 위의 구조적 특성층의 dg 범주는 $I \subset \widetilde{\Delta}$에 대해 $c_I$ 개의 $\mathbb{C}[W^I] \# \SS_{\mathfrak{z}_I[1]}$ 위의 유한 차원 모듈러 범주의 직접 합과 동치이며, 여기서 $c_I$ 는 $\mathcal{N}_{L_I}/L_I$ 위의 고립된 층의 수이다.
• G-여기서 작용하는 층의 전체 dg 범주는 $I \subset \widetilde{\Delta}$에 대해 $c_I$ 개의 $\mathbb{C}[W^I] \# \SS_{\mathfrak{z}_I[1]}$ 위의 모든 모듈러 범주의 직접 합과 동치이다.
• 편중 특성층의 범주는 $I \subset \widetilde{\Delta}$에 대해 $c_I$ 개의 $\mathbb{C}[W^I]$ 위의 유한 차원 표현의 아벨 범주의 직접 합과 동치이다.
• 고립된 층 $F$ 를 갖는 $\mathcal{N}_L/L$ 에서 유도된 층 $\operatorname{Ind}_P(F)$ 의 내부자 대수는 순수성과 순수한 혼합 호지 복합체의 형식성에 의해 형식적임을 보였다.
• 유도된 스택 $\widehat{G}$ 는 $I \subset \widetilde{\Delta}$ 로 색인된 블록들에 대한 쌍극으로 명시적으로 구성되며, 해당 스매시 프로덕트 대수에 의해 구조층이 주어진다.
• 블록 분해는 애फ्र린 단순 루트의 부분집합 $\widetilde{\Delta} = \Delta \cup \{\alpha_0\}$ 으로 색인되며, 고립된 데이터에 대한 표준적인 대표자 집합을 제공하여 이전의 분류를 정교화한다.