[논문 리뷰] On modular categories O for quantized symplectic resolutions

Ivan Losev|arXiv (Cornell University)|2017. 12. 20.

Algebraic structures and combinatorial models참고 문헌 35인용 수 3

한 줄 요약

이 논문은 큰 양의 정수 특성에서 양자화 심플렉틱 해소에 대한 모odular 범주 𝒪에 대해 최고 가중치 및 표준적으로 분할된 구조를 수립한다. 이 모odular 범주들은 양자화 대수를 큰 소수 p ≫ 0 에 대해 줄임으로써 구성되며, 기저 변경을 통해 고전적인 특성 0 범주 𝒪로 복원되며, 이 틀을 바탕으로 벽을 횡단하는 전단사 사상과 그레이드 리프트를 구성한다. 이는 특성 0 범주에 대한 코즐리티 결과를 포함한다.

ABSTRACT

In this paper we study highest weight and standardly stratified structures on modular analogs of categories $\mathcal{O}$ over quantizations of symplectic resolutions and show how to recover the usual categories $\mathcal{O}$ (reduced mod $p\gg 0$) from our modular categories. More precisely, we consider a conical symplectic resolution that is defined over a finite localization of $\mathbb{Z}$ and is equipped with a Hamiltonian action of a torus $T$ that has finitely many fixed points. We consider algebras $\mathcal{A}_λ$ of global sections of a quantization in characterstic $p\gg 0$, where $λ$ is a parameter. Then we consider a category $ ilde{\mathcal{O}}_λ$ consisting of all finite dimensional $T$-equivariant $\mathcal{A}_λ$-modules. We show that for $λ$ lying in a {\it p-alcove} $\,^p\!A$, the category $ ilde{\mathcal{O}}_λ$ is highest weight (in some generalized sense). Moreover, we show that every face of $\,^p\!A$ that survives in $\,^p\!A/p$ when $p ightarrow \infty$ defines a standardly stratified structure on $ ilde{\mathcal{O}}_λ$. We identify the associated graded categories for these standardly stratified structures with reductions mod $p$ of the usual categories $\mathcal{O}$ in characteristic $0$. Applications of our construction include computations of wall-crossing bijections in characteristic $p$ and the existence of gradings on categories $\mathcal{O}$ in characteristic $0$.

연구 동기 및 목표

• 양자화 심플렉틱 해소에 대해 양의 특성에서 범주 𝒪에 대한 모odular 프레임워크를 개발한다.
• 이러한 모odular 범주에 대해 최고 가중치 및 표준적으로 분할된 구조를 수립한다.
• 큰 소수 p ≫ 0 에 대해 줄임을 통해 고전적인 특성 0 범주 𝒪로 복원됨을 보인다.
• 모odular 구성 방식을 활용해 특성 0에서 벽을 횡단하는 전단사 사상과 그레이드 리프트를 구성한다.
• 모odular 범주로부터의 전환을 통해 특성 0의 범주 𝒪에 대한 코즐리티를 증명한다.

제안 방법

• 특성 p ≫ 0 에서의 양자화의 전역 단위의 대수 위에서 T-작용을 갖는 유한차원 모듈로서 모odular 범주 𝒪를 구성한다.
• p-알코브를 식별하고, 호환 가능한 원소를 사용하여 모odular 설정에서 최고 가중치 구조를 정의한다.
• 다른 매개변수 영역 간의 관계를 위해 모odular 설정에서의 번역 이중모듈러스와 벽을 횡단하는 함자에 의존한다.
• p 모듈로 줄임과 기저 변경을 사용하여 모odular 범주와 고전적인 특성 0의 범주 𝒪 간의 관계를 설정한다.
• p-중심 기법과 Tor의 소멸을 활용하여 모odular에서 특성 0으로의 구조를 리프팅한다.
• 그레이드 리프트와 코즐리티 이중성 기법을 사용하여 모odular에서 특성 0의 범주로 코즐리티를 전달한다.

실험 결과

연구 질문

• RQ1 양자화 심플렉틱 해소에 대한 범주 𝒪에 대해 모odular 설정에서 최고 가중치 구조는 어떻게 정의할 수 있는가?
• RQ2 큰 소수 p ≫ 0 에서의 모odular 범주 𝒪와 고전적인 특성 0의 범주 𝒪 간의 관계는 무엇인가?
• RQ3 모odular 설정에서의 표준적으로 분할된 구조는 특성 0에서의 그것과 어떻게 대응되는가?
• RQ4 특성 p에서의 벽을 횡단하는 함자들은 서로 다른 매개변수 영역에서의 단순 모듈 간의 전단사 사상 구축에 사용될 수 있는가?
• RQ5 모odular 범주에서의 코즐리티 그레이드 리프트 존재성이 해당 특성 0의 범주 𝒪에 대한 코즐리티를 암시하는가?

주요 결과

• λ가 p-알코브에 속해 있을 경우, 합리적인 가정 하에 모odular 범주 𝒪_λ는 일반화된 의미에서 최고 가중치를 갖는다.
• p-알코브의 각 면 중 p 모듈로에서 살아남는 것은 𝒪_λ 위에 표준적으로 분할된 구조를 정의한다.
• 이러한 표준적으로 분할된 구조의 관련 그레이드 범주들은 고전적인 특성 0의 범주 𝒪를 p 모듈로 줄임과 동형이다.
• 특성 p에서의 벽을 횡단하는 함자들은 단순 모듈 간의 전단사 사상을 유도하며, 특성 0의 경우를 일반화한다.
• 특성 p에서의 모odular 범주 𝒪의 그레이드 리프트는 특성 0에서의 그레이드 리프트를 유도하며, 코즐리티는 기저 변경을 통해 유지된다.
• 만약 모odular 범주 𝒪가 무한히 많은 p에 대해 코즐리티 그레이드 리프트를 갖는다면, 해당 특성 0의 범주 𝒪 역시 코즐리티이다.