[논문 리뷰] $Z/m$-graded Lie algebras and perverse sheaves, II

G. Lusztig, Zhiwei Yun|arXiv (Cornell University)|2016. 04. 03.

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

한 줄 요약

이 논문은 $\mathbb{Z}/m$-중항 Lie 대수의 영점 근처에서 단순한 $G_{\bar{0}}$-동변 페르세 sheaf를 조합론적으로 매개화하기 위한 프레임워크를 수립한다. 이는 Ext-군들로부터 유도된 켤레 선형형식을 지닌 $\mathbb{Q}(v)$-벡터 공간 $\mathbb{V}$ 를 사용한다. 주요 결과는 고정된 블록 내에서 이러한 sheaf들의 집합이 부호가 붙은 기저 $\mathbb{B}'$ 위에서 $\pm$의 작용 궤도와 자연스럽게 일대일 대응됨을 보이며, 이는 ungraded 경우의 스프링거 대응을 중항 설정으로 일반화한다.

ABSTRACT

We consider a fixed block for the equivariant perverse sheaves with nilpotent support in the $1$-graded ccomponent of a semisimple cyclically graded Lie algebra. We give a combinatorial parametrization of the simple objects in that block.

연구 동기 및 목표

• 고정된 $\mathbb{Z}/m$-중항 설정에서 $\mathfrak{g}_{\delta}^{\text{nil}}$ 위의 단순한 $G_{\underline{0}}$-동변 페르세 sheaf를 조합론적으로 매개화하는 것.
• 기하학적 및 조합론적 자료를 사용하여 $\mathbb{Z}$-중항 Lie 대수에 대한 스프링거 대응을 $\mathbb{Z}/m$-중항 경우로 일반화하는 것.
• 이 설정에서 교차 호모로지 복합체의 홀수 차수 호모로지 sheaf에 대한 순수성 및 퇴적 결과를 확립하는 것.
• $\mathbb{Q}(v)$-벡터 공간 $\mathbb{V}$ 와 그 위의 켤레 선형형식, 바-함수를 정의하고, 블록을 매개화하는 서명 기저 $\mathbb{B}'$ 를 구성하는 것.

제안 방법

• 블록 $^\xi\mathfrak{B}$ 와 관련된 초평면 배열을 지닌 $\mathbb{Q}$-벡터 공간 $\mathbb{E}$ 를 구성하고, 그 여집합이 나선형 유도를 인덱싱하는 칸들을 형성하도록 한다.
• 이 칸들로부터 $\mathbb{Q}(v)$-벡터 공간 $\mathbb{V}'$ 를 정의하고, $G_{\underline{0}}$-동변 Ext-군들의 차원을 통해 정의된 켤레 선형형식 $(:)$ 를 갖춘다.
• 형식 $(:)$ 의 근을 포함한 몫 $\mathbb{V} = \mathbb{V}' / \text{rad}(\,(:\,)$ 를 형성하며, 좌우 근이 일치하여 $\mathbb{V}$ 에 잘 정의된 형식을 유도한다.
• 바-함수 $\bar{\cdot}$ 와 $\mathbb{V}$ 내의 $\mathcal{A}$-격자 $\mathbb{V}_{\mathcal{A}}$ 를 조합론적으로 정의한다.
• 서명 기저 $\mathbb{B}' \subset \mathbb{V}_{\mathcal{A}}$ 는 바-함수에 대해 고정점이며 $(b:b) \in 1 + v\mathbb{Z}[[v]]$ 를 만족하는 원소들로 구성되며, 기하학적 추론을 통해 잘 정의됨을 보인다.
• 자연스러운 일대일 대응 $\mathbb{B}' / \pm \to \,^\xi\mathfrak{B}$ 를 확립하여, 페르세 sheaf에 대한 조합론적 인덱스 집합을 제공한다.

실험 결과

연구 질문

• RQ1 고정된 블록 $^\xi\mathfrak{B}$ 내에서 $\mathfrak{g}_{\delta}^{\text{nil}}$ 위의 단순한 $G_{\underline{0}}$-동변 페르세 sheaf는 $\mathbb{Z}/m$-중항 설정에서 어떻게 조합론적으로 매개화될 수 있는가?
• RQ2 블록에 관련된 $\mathbb{Q}(v)$-벡터 공간 $\mathbb{V}$ 의 구조는 무엇이며, 그 켤레 선형형식은 나선형 유도 간의 Ext-군들과 어떻게 관련되는가?
• RQ3 홀수 차수 호모로지가 $\mathbb{Z}/m$-중항 설정에서 ungraded 경우와 마찬가지로 퇴적되는가?
• RQ4 블록 내 페르세 sheaf를 매개화하는 $\pm$-궤도를 지닌 서명 기저 $\mathbb{B}'$ 가 구성될 수 있는가? 이는 ungraded 경우를 일반화하는가?
• RQ5 호모로지 sheaf의 순수성 및 퇴적 성질은 $\mathbb{Z}$-중항에서 $\mathbb{Z}/m$-중항 설정으로 어떻게 일반화되는가?

주요 결과

• 블록 $^\xi\mathfrak{B}$ 내 단순한 $G_{\underline{0}}$-동변 페르세 sheaf의 수는 $\mathbb{Q}(v)$-벡터 공간 $\mathbb{V}$ 의 차원과 같으며, 여기서 $\mathbb{V}$ 는 $\mathbb{V}'$ 의 형식의 근에 대한 몫이다.
• 형식 $(:)$ 의 좌우 근이 일치하여 $\mathbb{V}$ 가 잘 정의된 켤레 선형형식을 상속하게 된다.
• $\mathbb{V}$ 는 자연스러운 바-함수와 조합론적으로 정의된 $\mathcal{A}$-격자 $\mathbb{V}_{\mathcal{A}}$ 를 지닌다.
• 벡터 공간 $\mathbb{V}$ 의 서명 기저 $\mathbb{B}'$ 는 $\mathbb{V}_{\mathcal{A}}$ 내의 원소 $b$ 로서 $\bar{b} = b$ 이고 $(b:b) \in 1 + v\mathbb{Z}[[v]]$ 를 만족하며, 그 $\pm$-궤도가 블록 $^\xi\mathfrak{B}$ 와 자연스럽게 일대일 대응된다.
• 임의의 단순한 $G_{\underline{0}}$-동변 페르세 sheaf $A$ 의 호모로지 sheaf $\mathcal{H}^a(A)$ 는 홀수 $a$ 에 대해 퇴적되며, ungraded 경우의 결과를 일반화한다.
• 나선형 유도 복합체 $I_\varpi$ 와 유도된 sheaf ${}^\epsilon\text{Ind}(A')$ 는 오직 짝수 차수 호모로지만을 가지며, 짝수 이동을 가진 페르세 sheaf의 직합으로 표현된다.