[논문 리뷰] Free-monodromic mixed tilting sheaves on flag varieties

Pramod N. Achar, Shotaro Makisumi외 2명|arXiv (Cornell University)|2017. 03. 16.

Algebraic structures and combinatorial modelsMathematics참고 문헌 1인용 수 20

한 줄 요약

이 논문은 혼합 모odular 유도 범주를 사용하여 카크–무디 플래그 다양체 위의 자유-단조성 혼합 기울어진 복합체의 모나이드 범주를 구성하며, 모듈러 Koszul 대칭성의 기초 프레임워크를 수립한다. 주요 기여는 이 설정에서 컨볼루션의 함의성에 대한 증명으로, 다이어그램적이고 호모로지적 방법을 통해 특성 0 결과를 양의 특성으로 확장한다.

ABSTRACT

In this paper we propose a construction of a monoidal category of "free-monodromic" tilting perverse sheaves on (Kac-Moody) flag varieties in the setting of the "mixed modular derived category" introduced by the first and third authors. This category shares most of the properties of their counterpart in characteristic 0, defined by Bezrukavnikov-Yun using certain pro-objects in triangulated categories. This construction is the main new ingredient in the construction of a "modular Koszul duality" equivalence for constructible sheaves on flag varieties, see [P. Achar, S. Makisumi, S. Riche, and G. Williamson, "Koszul duality for Kac-Moody groups and characters of tilting modules", J. Amer. Math. Soc. 32 (2019)].

연구 동기 및 목표

• 특성 0 이론인 Bezrukavnikov–Yun의 이론을 일반화하여, 양의 특성에서 자유-단조성 혼합 기울어진 복합체의 모나이드 범주를 개발한다.
• 혼합 모듈러 유도 범주를 사용하여 플래그 다양체 위의 구조적 복합체에 대한 모듈러 Koszul 대칭성의 버전을 수립한다.
• 자유-단조성 기울어진 복합체의 컨볼루션은 교환 법칙을 만족함으로써, 범주가 모나이드 구조를 지닌다는 것을 증명한다.
• 단조성과 무게 필터링과 호환되는, 카크–무디 설정에서 기울어진 복합체를 위한 다이어그램적이고 호모로지적 프레임워크를 제공한다.
• 유리수에서의 최소 Rouquier 복합체를 모듈러 설정으로 올리고, 혼합 모듈러 설정에서의 컨볼루션에 대한 그들의 함의성을 증명한다.

제안 방법

• Elias–Williamson 계산에서 유래한 다이어그램적 방법을 사용하여, 좌우 단조성 작용을 포함한 자유-단조성 유도 범주를 구성한다.
• Karoubian 완비화와 dgg 대수를 사용하여, 좌측 단조성 또는 우측 등변 구조를 가진 복합체에 삼각형 구조를 도입한다.
• 유도 범주 내의 이중 모듈러 Hom 공간을 통해 컨볼루션을 정의하고, 일관성 조건을 사용하여 결합법칙과 항등원 성질을 증명한다.
• 기저 전환을 통해 혼합 모듈러 범주에서의 사상에 관한 진술을 유리수 경우로 감소시키기 위해 국소화 함의자를 적용한다.
• 유한 이면 다각형 경우에서 Jones–Wenzl 프로젝터와 최소 Rouquier 복합체를 사용하여, 기약 기울어진 대상을 귀납적으로 기술한다.
• 대칭 대수와 다항식환 위의 군집화된 모듈을 사용하여, 유리수에서의 최소 Rouquier 복합체를 모듈러 설정으로 올린다.

실험 결과

연구 질문

• RQ1 특성 0 사례와 유사하게, 양의 특성에서 자유-단조성 기울어진 복합체의 모나이드 범주를 구성할 수 있는가?
• RQ2 자유-단조성 기울어진 복합체의 컨볼루션은 교환 법칙을 만족하는가? 이는 모나이드 구조가 잘 정의됨을 보장한다.
• RQ3 유리수 설정에서의 최소 Rouquier 복합체는 어떻게 모듈러 혼합 유도 범주로 올릴 수 있는가?
• RQ4 혼합 모듈러 유도 범주에서 기울어진 복합체의 구조에서 단조성이 수행하는 역할은 무엇인가?
• RQ5 다이어그램적 방법과 국소화를 사용하여, 카크–무디 플래그 다양체 설정에서 컨볼루션의 함의성을 확립할 수 있는가?

주요 결과

• 카크–무디 플래그 다양체 위의 자유-단조성 기울어진 복합체의 범주는 컨볼루션을 통해 잘 정의된 모나이드 구조를 지닌다.
• 자유-단조성 기울어진 복합체의 컨볼루션은 교환 법칙을 만족하며, 이는 컨볼루션 함의자가 잘 정의되고 결합법칙을 만족함을 증명한다.
• 국소화 함의자는 자유-단조성 기울어진 복합체의 범주에서 충실도를 지닌다. 이는 증명을 유리수 경우로 감소시킬 수 있음을 의미한다.
• 최소 Rouquier 복합체는 유리수에서 모듈러 설정으로 올라가며, 그들의 컨볼루션은 단조성 작용과 호환된다.
• 자유-단조성 기울어진 복합체의 범주는 기울어진 복합체의 모나이드 범주에 대한 모듈러 구조를 지닌다. 이는 대칭성 프레임워크를 확장한다.
• 이 구성은 [AMRW]에서 묘사된 바와 같이, 완전한 모듈러 Koszul 대칭성 동치를 위한 핵심 요소를 제공한다.