[논문 리뷰] Mixed modular perverse sheaves on moment graphs

Shotaro Makisumi|arXiv (Cornell University)|2017. 03. 05.

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

한 줄 요약

이 논문은 코x터 군과 반사 faithful 표현과 관련된 순간 그래프 위에 혼합된 모듈라 펄스 sheaf 범주를 도입하며, Soergel의 등급 부여된 범주 O를 일반화한다. Achar–Riche의 혼합 유도 범주와 유사한 재구성 구조를 사용하여, 이 범주가 등급 부여된 최고 무게 구조임을 입증함으로써 모듈라 표현 이론을 위한 조합론적 프레임워크를 제공하고, Koszul 대칭성과 Rouquier 복합체 실현이 Soergel 이중모듈러 설정에서 새롭게 증명될 수 있도록 한다.

ABSTRACT

We study an analogue of the Achar-Riche "mixed modular derived category" for moment graphs. In particular, given a Coxeter group $W$ and a reflection faithful representation $\mathfrak{h}$, we introduce a category that plays the role of Schubert-stratified mixed modular perverse sheaves on "the flag variety associated to $(W, \mathfrak{h})$." We show that this Soergel-theoretic generalization of graded category $\mathcal{O}$ is graded highest weight.

연구 동기 및 목표

• 순간 그래프를 위한 혼합 모듈라 유도 범주를 개발하여, 기하학적 플래그 다양체를 초월한 Achar–Riche의 프레임워크를 확장한다.
• 브루아 타입 순간 그래프 위에 구조적 혼합 펄스 sheaf의 범주를 정의하여, Soergel 이론적 일반화로서 등급 부여된 범주 O를 일반화한다.
• 이 범주가 등급 부여된 최고 무게 구조임을 입증하여, 플래그 다양체에 대해 Achar–Riche의 결과를 일반화한다.
• 순간 그래프와 Soergel 이중모듈러를 통해 재구성된 군의 모듈라 표현을 연구하기 위한 조합론적 기초를 제공한다.

제안 방법

• 기하학적이지 않은 순간 그래프 $ \fancyscript{G} $ 에서조차도 Braden–MacPherson sheaf의 유한 호모토피 범주로서 혼합 유도 범주 $ D^{\text{mix}}(\fancyscript{G}) $ 를 구성한다.
• 순간 그래프의 조합론을 사용하여 표준 및 코표준 sheaf를 정의하고, Schubert 분할을 일반화한다.
• 재구성 구조를 적용하여 $ D^{\text{mix}}(\fancyscript{G}) $ 에 펄스 t-구조를 정의하고, 그 하트로써 구조적 혼합 펄스 sheaf의 아벨 범주 $ \fancyscript{P}^{\text{mix}}_c(\fancyscript{B}) $ 를 얻는다.
• BMP–Soergel 이중모듈러 등가를 통해 $ D^{\text{mix}}(\fancyscript{B}) \to K^b\text{SBim} $ 의 동치를 확립하여 기하학과 표현 이론을 연결한다.
• 등급 부여된 최고 무게 구조를 사용하여, 관련 대수 $ A^{\text{proj}} $ 와 $ A^{\text{parity}} $ 에 대해 Koszul 대칭성을 증명하고, 이들이 Koszul이면서 서로 대칭임을 보인다.
• Rouquier 복합체를 $ K^b\text{BMP} \to K^b\text{SBim} $ 의 등가에 의한 표준 및 코표준 sheaf의 이미지로 실현하여, 그 브레인 관계를 복원한다.

실험 결과

연구 질문

• RQ1 Achar–Riche의 혼합 모듈라 유도 범주를 기하학적 기원이 없는 순간 그래프로 일반화할 수 있는가?
• RQ2 브루아 타입 순간 그래프 위에 구조적 혼합 펄스 sheaf의 범주가 등급 부여된 최고 무게 구조인가?
• RQ3 이 설정에서 Rouquier 복합체는 표준 및 코표준 sheaf의 무게 필터링과 어떻게 관련이 있는가?
• RQ4 순간 그래프 범주로부터 유도된 프로젝티브 및 펄스 대수 $ A^{\text{proj}} $ 와 $ A^{\text{parity}} $ 사이의 Koszul 대칭성 관계는 무엇인가?
• RQ5 Achar–Riche의 연구에서 사용된 재구성 구조는 순간 그래프로 확장될 수 있는가?

주요 결과

• $ \fancyscript{P}^{\text{mix}}_c(\fancyscript{B}) $ 는 브루아 순간 그래프 $ \fancyscript{B} $ 위에 정의된 구조적 혼합 펄스 sheaf의 범주로서 등급 부여된 최고 무게 구조이며, 플래그 다양체에 대해 Achar–Riche의 결과를 일반화한다.
• 혼합 유도 범주 $ D^{\text{mix}}(\fancyscript{B}) $ 는 BMP–Soergel 등가를 통해 유한 호모토피 범주 $ K^b\text{SBim} $ 와 동치이다.
• $ \fancyscript{P}^{\text{mix}}_c(\fancyscript{B}) $ 의 프로젝티브 대상에 관련된 대수 $ A^{\text{proj}} $ 는 Koszul이며, 펄스 sheaf에 관련된 대수 $ A^{\text{parity}} $ 와 대칭이다.
• Rouquier 복합체 $ F_w $ 와 $ E_w $ 는 $ K^b $-실현된 BMP–Soergel 등가에 의한 표준 및 코표준 sheaf의 이미지와 동형이다.
• Hom 복합체 $ \bigoplus_n \text{Hom}_{K^b\text{SBim}}(F_x, E_w\{n\}[i]) $ 는 $ x=w $ 이고 $ i=0 $ 이면 $ R $ 과 동형이며, 그 외의 경우는 0과 동형이며, 이는 Rouquier의 공식을 복원한다.