[논문 리뷰] The small quantum group and the Springer resolution

Roman Bezrukavnikov, Anna Lachowska|ArXiv.org|2006. 09. 28.

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

한 줄 요약

이 논문은 $G$--equivariance 없이도 소작은 양자군 $\mathsf{u}$의 주요 블록과 스프링거 해소 $\widetilde{\mathcal{N}}$ 위의 코herent sheaf의 도파일 카테고리 사이의 유도 동치를 수립한다. 이 동치를 통해 $\mathsf{u}$의 호흐실트 코hom올로지와 중심의 기하적 기술을 제공하며, 스프링거 해소 $\widetilde{\mathcal{N}}$ 위에서의 층 이론적 구성으로 중심 내의 부분대수를 명시적으로 규명한다. 이는 이전 결과보다 더 약한 가정 하에 일반화된 것이다.

ABSTRACT

In math.RT/0304173 the derived category of the principal block in modules over the Lusztig quantum algebra at a root of unity is related to the derived category of equivariant coherent sheaves on the Springer resolution. In the present paper we deduce a similar relation between the derived category of the principal block for the {\em small (reduced) quantum algebra} and the derived category of (non-equivariant) coherent sheaves on the Springer resolution. As an application we get a geometric description of Hochschild cohomology (in particular, the center) of the regular block for the small quantum group, and use it to give an explicit description of a certain subalgebra in the center (obtained previously by another method and under more restrictive assumptions in math.QA/0107098. We also briefly explain the relation of our result to the geometric description math.RT/0407048 of the derived category of modules over the De Concini -- Kac quantum algebra.

연구 동기 및 목표

• 소작은 양자군 $\mathsf{u}$의 주요 블록과 스프링거 해소 $\widetilde{\mathcal{N}}$ 위의 코herent sheaf의 도파일 카테고리 사이의 유도 동치를 수립한다.
• 소작은 양자군 $\mathsf{u}$의 주요 블록의 호흐실트 코hom올로지에 대한 기하적 실현, 특히 그 중심에 대해 제공한다.
• 이전에 다른 방법으로 얻어진 바 있었지만 더 엄격한 가정 하에 얻어진 바 있는 $\mathsf{u}$의 중심 내 부분대수에 대해 명시적인 기술을 제공한다.
• 결과를 De Concini–Kac 양자대수의 모듈러 도파일 카테고리에 대한 기하적 기술과 연관지킨다.
• 전체 양자군에서의 [ABG]의 프레임워크를 소작은 양자군으로 일반화하여, 등변성 조건이 필요 없도록 한다.

제안 방법

• 기하 표현론을 활용하여 소작은 양자군 $\mathsf{u}$의 모듈러 도파일 카테고리와 스프링거 해소 $\widetilde{\mathcal{N}}$ 위의 코herent sheaf의 도파일 카테고리 사이의 유도 동치를 구성한다.
• 스프링거 해소 $\widetilde{\mathcal{N}} \to \mathcal{N}$을 기하적 배경으로 사용하며, 여기서 $\mathcal{N}$은 리대수 $\mathfrak{g}$의 영점의 원소들로 이루어진 영점의 원소이다.
• 양자 루스티그-프로베니우스 사상(quantum Lusztig-Frobenius map)을 활용하여 $\mathsf{u}$를 $\mathfrak{g}$의 보편 포락 대수와 연결함으로써 기하적 해석을 가능하게 한다.
• 특히 스프링거 해소 $\widetilde{\mathcal{N}}$ 위에서의 층 이론적 구성, 특히 접다발의 수평 및 수직 부분으로의 분해를 적용하여 코hom올로지적 자료를 추출한다.
• 등식 $\Lambda^i(T_{\widetilde{\mathcal{N}}})^{-2i} \cong \Omega^i_{G/B}$를 활용하여 $\mathsf{u}$의 중심 내 부분대수를 $H^\bullet(G/B)$와 연관지어 식별한다.
• 중심 내 두 개의 부분공간을 구성한다: 하나는 $H^\bullet(G/B)$와 동형이며, 다른 하나는 곱셈이 0인 부분공간이며, 이들의 합은 대수 $\mathfrak{H}$를 이룬다.

실험 결과

연구 질문

• RQ1 소작은 양자군 $\mathsf{u}$의 주요 블록의 도파일 카테고리는 어떻게 스프링거 해소 $\widetilde{\mathcal{N}}$ 위의 코herent sheaf의 도파일 카테고리와 관련이 있는가?
• RQ2 호흐실트 코hom올로지의 기하적 구조, 특히 중심의 기하적 구조는 무엇인가?
• RQ3 스프링거 해소 $\widetilde{\mathcal{N}}$ 위의 기하 자료를 사용하여 $\mathsf{u}$의 중심 내 부분대수를 명시적으로 기술할 수 있는가?
• RQ4 소작은 양자군 $\mathsf{u}$의 도파일 카테고리는 De Concini–Kac 양자대수의 도파일 카테고리와 어떻게 관련이 있는가?
• RQ5 스프링거 해소는 중심을 $\mathfrak{H} \cong H^\bullet(G/B) \oplus H^\bullet(G/B)/\mathbb{k}(\omega,-1)$ 의 부분대수로 실현하는 데 어떤 역할을 하는가?

주요 결과

• 소작은 양자군 $\mathsf{u}$의 주요 블록의 도파일 카테고리와 스프링거 해소 $\widetilde{\mathcal{N}}$ 위의 코herent sheaf의 도파일 카테고리 사이에 $G$-등변성 조건 없이도 유도 동치를 수립하였다.
• 소작은 양자군 $\mathsf{u}$의 주요 블록의 호흐실트 코hom올로지가 $\widetilde{\mathcal{N}}$의 코hom올로지로 기하적으로 실현되며, 중심 $\mathsf{z}_0$는 $\mathfrak{H} = H^\bullet(G/B) \oplus H^\bullet(G/B)/\mathbb{k}(\omega,-1)$ 와 동형인 부분대수를 포함한다.
• 중심 내에서 $\mathfrak{H}$와 동형인 표준 부분대수가 $\Lambda^i(T_{\widetilde{\mathcal{N}}})^{-2i}$ 및 $\Lambda^{d+i}(T_{\widetilde{\mathcal{N}}})^{-2d}$ 의 층 이론적 임bedding을 통해 구성된다.
• 이전에 [BG]에서 알려진 부분대수 $\underline{\mathsf{z}}_0 \cong H^\bullet(G/B)$ 는 하리시-찬드라 부분과 주요 블록의 교차에서 재획득된다.
• La에서 제시된 양자 푸리에 변환을 통해 구성된 부분대수 $\overline{\mathsf{z}}_0$ 는 $\mathsf{z}_0$ 내의 이상이며 곱셈이 0이며, $\underline{\mathsf{z}}_0 + \overline{\mathsf{z}}_0 \cong \mathfrak{H}$ 를 만족한다.
• 결과적으로 [ABG]의 프레임워크가 전체 양자군에서 소작은 양자군으로 일반화되었으며, 등변 층이 필요 없고 중심에 대한 비등변 기하 모델이 제공된다.