[논문 리뷰] Sheaves on the alcoves I: Projectivity and wall crossing functors

Peter Fiebig, Martina Lanini|arXiv (Cornell University)|2015. 04. 07.

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

한 줄 요약

이 논문은 리 대수의 근계의 실벡터 공간에 있는 알코브 집합 위에 ${\mathcal{Z}}$-모듈의 층의 범주를 도입하여, 양의 특성에서의 단순형 리 대수의 표현을 연구할 수 있는 프레임워크를 수립한다. 벽을 횡단하는 함자에 대한 새로운 구성 방식을 사용하여, 이 범주 내에서 분해 불가능한 프로젝티브 대상 ${\mathscr{B}}(A)$의 존재성과 유일성(동형을 제외하고)을 증명한다. 이러한 대상들은 버마 플래그를 가지며, 천정 층 ${\mathscr{V}}(A)$로의 전사 사상이 존재하여, 베이비 버마 모듈의 조르당–횔더 중복도와 같은 표현론적 불변량과 연결된다.

ABSTRACT

This paper is the first in a series of papers in which we define and study a category of "sheaves of $\mathcal Z$-modules on the set of alcoves" that carries important information on the category of representations of semisimple Lie algebras in positive characteristics. Here, we define this category and study the structure of its projective objects using a new version of wall crossing functors.

연구 동기 및 목표

• 알코브 집합 $\mathcal{A}$ 위에 ${\mathcal{Z}}$-모듈의 층의 범주 ${\mathbf{C}}$를 정의하여, 지지 조건과 국소 확장 조건을 만족시키는 것.
• 범주 ${\mathbf{C}}$ 내에서 표준 천정 층 ${\mathscr{V}}(A)$로의 전사 사상이 존재하는 분해 불가능한 프로젝티브 대상 ${\mathscr{B}}(A)$의 존재성과 유일성(동형을 제외하고)을 확립하는 것.
• 프로젝티비티와 버마 플래그를 유지하는 벽을 횡단하는 함자 체계를 개발하여, 초기 프로젝티브 대상들로부터 모든 이러한 프로젝티브 대상을 구성할 수 있도록 하는 것.
• 범주 ${\mathbf{C}}$가 단순 대수적 군의 표현의 특성과 연결되는 일련의 논문들을 위한 기초를 마련하는 것, 특히 양의 특성에서의 단순 대수적 군의 특성에 중점을 두어.

제안 방법

• 범주 ${\mathbf{C}}$는 알코브 집합 $\mathcal{A}$ 위의 부분순서 집합에 대한 ${\mathcal{Z}}$-모듈의 층의 전부분 범주에서, 지지 조건과 국소 확장 조건을 만족시키는 부분범주로 정의된다.
• 각 애파인 단순 반사 $s$에 대해, $s$-불변 열린 부분집합을 따라 제한과 확장을 이용한 층 이론적 구성 방식을 통해, ${\mathbf{C}}$의 층에 작용하는 벽을 횡단하는 함자 $\vartheta_s$를 구성한다.
• 모든 다른 대상에 대한 호모모르피즘의 호환성 존재성을 이용하여, 환경 범주 내의 피팅 분해를 활용하여 일부 층의 프로젝티비티를 확립한다.
• 초기 프로젝티브 대상 ${\mathscr{B}}(A_{\lambda}^{-})$는 상수 층 $\underline{{\mathcal{K}}_{\lambda}}$의 이동으로 구성되며, 나머지 모든 프로젝티브 대상들은 반복적으로 벽을 횡단하는 함자를 적용하여 유도된다.
• 벽을 횡단하는 함자들이 정확하고 자기수반임을 보여, 프로젝티브 대상의 이미지가 그대로 프로젝티브임을 보장한다.
• 벽을 횡단하는 함자의 이미지가 버마 플래그를 가진 대상의 부분범주 ${\mathbf{B}}$를 유지함을 보여, ${\mathscr{B}}(A)$에 버마 플래그가 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 알코브 복합체 위의 층의 범주를 정의할 수 있을까? 이 범주는 양의 특성에서의 단순형 리 대수의 표현론적 자료를 포함하도록 해야 한다.
• RQ2 이 범주 내의 프로젝티브 대상의 구조는 어떠한가? 그리고 최소한의 초기 프로젝티브 대상들로부터 알고리즘적으로 구성할 수 있는가?
• RQ3 벽을 횡단하는 함자들은 프로젝티비티와 버마 플래그 성질을 유지하는가? 그리고 모든 분해 불가능한 프로젝티브 대상을 생성하는 데 사용할 수 있는가?
• RQ4 프로젝티브 층 ${\mathscr{B}}(A)$의 스태크는 양의 특성에서의 베이비 버마 모듈의 조르당–횔더 중복도와 어떻게 관련이 있는가?
• RQ5 범주 ${\mathbf{C}}$는 양의 특성에서의 단순 대수적 군의 단순 표현의 특성을 계산하는 데 사용될 수 있는가?

주요 결과

• 모든 알코브 $A$에 대해, ${\mathbf{C}}$ 내에서 분해 불가능한 프로젝티브 대상 ${\mathscr{B}}(A)$가 존재하며, 이는 표준 천정 층 ${\mathscr{V}}(A)[\ell_{\lambda}(A)]$로의 전사 호모모르피즘을 가진다(동형을 제외하고 유일하다).
• 벽을 횡단하는 함자 $\vartheta_s$는 정확하고 자기수반임을 보여, 프로젝티브 대상의 이미지가 그대로 프로젝티브임을 보장한다.
• 프로젝티브 대상 ${\mathscr{B}}(A)$는 버마 플래그를 가지며, 이는 연속적인 몫이 버마 모듈과 동형인 필터링을 가짐을 의미한다.
• 초기 프로젝티브 대상 ${\mathscr{B}}(A_{\lambda}^{-})$는 상수 층 $\underline{{\mathcal{K}}_{\lambda}}$의 이동으로 구성되며, 나머지 모든 프로젝티브 대상들은 반복적인 벽을 횡단하는 함자의 적용을 통해 유도된다.
• 벽을 횡단하는 함자를 통한 ${\mathscr{B}}(A)$의 구성은, 체의 특성이 코엑스터 수를 초과할 경우 그 스태크가 베이비 버마 모듈의 조르당–횔더 중복도를 캡처한다는 것을 암시한다.
• 범주 ${\mathbf{C}}$는 ${\mathcal{Z}}$-모듈의 층의 환경 범주로부터 정확한 구조를 물려받으며, ${\mathbf{C}}$ 내의 프로젝티브 대상들은 정확한 구조에서 프로젝티브인 대상들로 정확히 일치한다.