[논문 리뷰] On Koszul duality for Kac-Moody groups

Roman Bezrukavnikov, Zhiwei Yun|arXiv (Cornell University)|2011. 01. 06.

Algebraic structures and combinatorial models참고 문헌 19인용 수 10

한 줄 요약

이 논문은 카크-무디 군 G의 플라그 다양체 G/B 위의 B-불변 혼합 복합체의 유도 범주와 G∨/U∨ 위의 B∨-모노드로omic 혼합 복합체의 완비화된 유도 범주 사이의 모노이드 Koszul 이중성 동치를 수립한다. 여기서 G∨는 G의 랑랜즈 쌍대이다. 이 이중성은 교차 호몰로지 층을 자유-모노드로omic 기울임 층으로 교환하며, 이는 이전의 재구성 군에 대한 결과를 일반화하고, 모노이드 구조를 갖춘 카크-무디 설정으로 기울임 버전의 Koszul 이중성을 확장한다.

ABSTRACT

For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic mixed complexes on the enhanced flag variety $G^\vee/U^\vee$, here $G^\vee$ is the Langlands dual of $G$. We also prove variants of this equivalence, one of which is the equivalence between the derived category of $U$-equivariant mixed complexes on the partial flag variety $G/P$ and certain "Whittaker model" category of mixed complexes on $G^\vee/B^\vee$. In all these equivalences, intersection cohomology sheaves correspond to (free-monodromic) tilting sheaves. Our results generalize the Koszul duality patterns for reductive groups in the work of Beilinson, Ginzburg and Soergel .

연구 동기 및 목표

• 재구성 군에서 카크-무디 군으로 기울임 버전의 Koszul 이중성을 확장하기 위해.
• 이러한 범주에서 충분한 프로젝티브가 없기 때문에, 카크-무디 설정에서 불변 및 모노드로omic 범주 사이의 모노이드 동치를 수립하기 위해.
• 프로젝티브 대신 기울임 대상으로 대체함으로써 [BGS96]의 이중성 패tern을 일반화하기 위해.
• 이중성 하에서 교차 호몰로지 층이 기울임 층으로 대응함을 증명함으로써 기하학적 및 표현론적 구조를 유지하기 위해.

제안 방법

• G/B 위의 B-불변 혼합 복합체의 유도 범주와 G∨/U∨ 위의 B∨-모노드로omic 혼합 복합체의 완비화된 유도 범주 사이의 함자 Φ를 통한 모노이드 동치를 구성함.
• 카크-무디 군과 그 플라그 다양체의 무한차원 성격을 다루기 위해 유도 범주의 DG 모델을 사용함.
• 평균화 함자, 특히 avχ와 V를 사용하여 파라보릭 및 위트너 케이테고리 간의 관계를 설정하고, 이중성 함자를 구성함.
• 프로-대상과 필터링된 삼각형 범주를 사용하여 모노드로omic 범주의 완비화를 도입함으로써 인드-스키마와 비콤팩트성을 다룸.
• 강화된 플라그 다양체 설정에서 자유-모노드로omic 기울임 층과 그 성질을 활용함.
• 함자 Φ가 t-구조를 유지하고 표준 및 코표준 층을 그 이중 대응체로 보냄을 확인함으로써 이중성을 검증함. 여기서 IC 층은 기울임 층으로 매핑됨.

실험 결과

연구 질문

• RQ1 충분한 프로젝티브가 없는 상황에서, 재구성 군에서 카크-무디 군으로 Koszul 이중성을 어떻게 일반화할 수 있는가?
• RQ2 모노이드 구조를 유지하는 카크-무디 설정에서 올바른 Koszul 이중성의 공식화는 무엇인가?
• RQ3 이 일반화된 설정에서 이중성 하에서 교차 호몰로지 층은 어떻게 대응되는가?
• RQ4 위트너/파라보릭-위트너 이중성 변형은 모노드로omic 범주를 사용하여 카크-무디 군으로 확장될 수 있는가?
• RQ5 자유-모노드로omic 기울임 층은 이중성에서 어떤 역할을 하는가? 그리고 모노이드 맥락에서 프로젝티브를 어떻게 대체하는가?

주요 결과

• G/B 위의 B-불변 혼합 복합체의 유도 범주와 G∨/U∨ 위의 B∨-모노드로omic 혼합 복합체의 완비화된 유도 범주 사이의 모노이드 동치가 수립됨.
• 이중성 하에서 G/B 위의 교차 호몰로지 층은 G∨/U∨ 위의 자유-모노드로omic 기울임 층으로 정확히 대응됨.
• 이 동치는 파라보릭 및 위트너 케이테고리로 확장되며, G/P 위의 U-불변 복합체와 G∨/B∨ 위의 위트너 유형 복합체 사이의 변형 동치를 형성함.
• 이 동치는 Lefschetz 및 Picard-Lefschetz sl(2) 대수의 작용과 호환되며, 고전적 Koszul 이중성의 기하학적 특성을 일반화함.
• DG 모델과 완비화의 사용은 카크-무디 플라그 다양체의 무한차원 성격에도 불구하고 형식을 엄밀하게 정의할 수 있도록 함.
• 이러한 구성은 [BG99]의 추측을 카크-무디 설정에서 실현함으로써 기울임 버전의 이중성을 모노이드 함자로 구현함.