[논문 리뷰] Equivariant Sheaves on Flag Varieties

Olaf M. Schnürer|arXiv (Cornell University)|2008. 09. 27.

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

한 줄 요약

이 논문은 플래그 다양체 $G/P$ 위의 구조적 복소수층의 Borel-등변 유도 범주와 단순 등변 페르세브 복소수층의 확장 대수 위의 미분 기호 가환 대수의 완전 유도 범주 사이의 t-정확한 동치를 수립한다. 주요 결과는 ABCD-근사와 역극한을 통해 등변 유도 범주의 형식성(또는 formality)을 보여줌으로써 Soergel과 Lunts의 추측을 증명하며, 플래그 다양체 위의 등변 복소수층 이론에 대한 대수적 기술을 제공한다.

ABSTRACT

We show that the Borel-equivariant derived category of sheaves on the flag variety of a complex reductive group is equivalent to the perfect derived category of dg modules over the extension algebra of the direct sum of the simple equivariant perverse sheaves. This proves a conjecture of Soergel and Lunts in the case of flag varieties.

연구 동기 및 목표

• 플래그 다양체 위의 Borel-등변 복소수층의 유도 범주에 대한 대수적 기술을 수립하기 위해.
• Soergel과 Lunts의 추측을 증명하기 위해, 즉 등변 유도 범주가 단순 등변 페르세브 복소수층의 확장 대수 위의 미분 기호 가환 대수의 완전 유도 범주와 동치임을 증명하기 위해.
• 토릭 다양체 및 대칭 다양체에 대해 알려진 형식성 결과를 플래그 다양체의 경우로 확장하기 위해.
• 등변 페르세브 복소수층의 범주와 미분 기호 가환 대수의 부분범주 사이의 t-정확한 동치를 제공하기 위해.
• 기본적이고 등변적이지 않은 유도 범주 간의 관계를 잊기 함수와 체계 확장 함수를 통해 명확히 하기 위해.

제안 방법

• 등변 벡터 번들의 수열과 몫을 이용하여 $B$-분할 플래그 다양체 $(G/P, \mathcal{S})$ 의 ABCD-근사를 구성한다.
• 역극한을 적용하여 등변 유도 범주를 근사 공간 위의 복소수층의 범주들의 극한으로 표현한다.
• 단순한 미분 구조를 가진 확장 대수 $\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S}))$ 의 형식성을 이용하여, 이와 완전 유도 범주 간의 동치를 확립한다.
• 코homology가 제로 차수에 집중된 미분 기호 가환 대수의 부분범주 $\operatorname{dgFlag}(\mathcal{E})$ 를 통해 미분 기호 가환 대수 범주에 t-구조를 정의한다.
• 기본 함수와 체계 확장 함수를 포함하는 교환도를 구성하여 등변 및 비등변 설정 간의 연결을 확립한다.
• 유도 동치를 이용하여 $\mathcal{D}^b_{B,c}(G/P)$ 와 $\mathcal{D}^b_{G,c}(G\times_B G/P)$ 를 연결함으로써, $G$-다양체의 경우로 감소시킨다.

실험 결과

연구 질문

• RQ1 플래그 다양체 위의 Borel-등변 복소수층의 유도 범주는 단순 등변 페르세브 복소수층의 확장 대수 위의 미분 기호 가환 대수의 완전 유도 범주와 동치인가?
• RQ2 단순한 미분 구조를 가진 확장 대수 $\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S}))$ 의 형식성이 $\operatorname{dgPer}(\mathcal{E})$ 와의 t-정확한 동치를 유도하는가?
• RQ3 유한 개의 궤도를 가진 프로젝티브 다양체에 대한 Soergel과 Lunts의 등변 유도 범주에 대한 추측이 플래그 다양체의 경우에 확인 가능한가?
• RQ4 잊기 함수와 체계 확장 함수를 통해 등변 및 비등변 유도 범주 간의 관계는 어떻게 되는가?
• RQ5 $\operatorname{dgPer}(\mathcal{E})$ 의 t-구조의 심장은 등변 페르세브 복소수층의 범주와 동치인가?

주요 결과

• t-정확한 동치 $\mathcal{D}^b_{B,c}(G/P) \cong \operatorname{dgPer}(\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S})))$ 가 존재하며, 이는 Soergel과 Lunts의 플래그 다양체 경우에 대한 주요 추측을 증명한다.
• 이 동치는 심장에 제한될 수 있으며, $\operatorname{Perv}_B(G/P) \cong \operatorname{dgFlag}(\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S})))$ 를 유도한다.
• 단순 등변 페르세브 복소수층 $\mathcal{I}\mathcal{C}_B(S)$ 는 불가약한 프로젝티브 미분 기호 가환 대수 $\mathcal{E}$-모듈 $e_S \mathcal{E}$ 와 대응된다.
• 잊기 함수 $\operatorname{For}: \mathcal{D}^b_{B,c}(G/P) \to \mathcal{D}^b(G/P,\mathcal{S})$ 는 체계 확장 함수 $?-\overset{L}{\otimes}_{\mathcal{E}} \mathcal{F}$ 와 함께 교환도를 형성하여 등변 및 비등변 설정 간의 연결을 제공한다.
• 비등변 대응도 성립한다: $\mathcal{D}^b(G/P,\mathcal{S}) \cong \operatorname{dgPer}(\operatorname{Ext}(\mathcal{I}\mathcal{C}(\mathcal{S})))$.
• 주요 동치의 복소화된 형태 역시 성립하며, 이는 72번 참고에서 제시된 도형의 교환성에 의해 입증된다.