[논문 리뷰] Fusion and convolution: applications to affine Kac-Moody algebras at the critical level

Edward Frenkel, Dennis Gaitsgory|ArXiv.org|2005. 11. 11.

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

한 줄 요약

이 논문은 애질리프 카크-무디 대수의 임계 수준에서 표현의 도파산 카테고리 위에 하리시-찬드라 커플렉션 작용의 기하적 실현을 D-모듈과 애질리프 플래그 다양체를 통해 제공한다. 중심층이 이 카테고리 위에 작용할 때 그 작용이 카이랄 모듈의 퓨전 곱과 대응됨을 증명하며, 그로텐디크의 변형과 옵레르를 통해 임계 수준 표현의 구조에 대한 핵심 추측을 검증하고 카이랄 브라켓의 기하적 구성도 제공한다.

ABSTRACT

Let g be a semi-simple Lie algebra, and let g^ be the corresponding affine Kac-Moody algebra. Consider the category of g^-modules at the critical level, on which the action of the Iwahori subalgebra integrates to algebraic action of the Iwahori subgroup I. We study the action on this category of the convolution functors with the "central" sheaves on the affine flag scheme G((t))/I. We show that each object of our category is an "eigen-module" with respect to these functors. In order to prove this, we use the fusion product of modules over the affine Kac-Moody algebra.

연구 동기 및 목표

• 애질리프 카크-무디 대수의 임계 수준 표현의 도파산 카테고리 위에 하리시-찬드라 커플렉션 작용의 기하적 실현을 수립하기 위해.
• 이 카테고리 위에서 중심층의 작용이 카이랄 모듈의 퓨전 곱과 대응됨을 증명하기 위해.
• I-단조로운 임계 수준 모듈이 영점 옵레르 위에 지지되어 있을 때 그 도파산 카테고리가 그로텐디크의 변형을 포함하는 특정 스킴 위의 준핵성층 카테고리와 동치임을 추측하는 바를 검증하기 위해.
• 잡스와 유리형 잡스를 통한 루프 군 위의 미분 연산자 카이랄 대수 위의 카이랄 브라켓에 대한 기하적 기술을 제공하기 위해.

제안 방법

• 애질리프 플래그 다양체 $\operatorname{Fl}_G = G((t))/I$ 위의 D-모듈을 사용하여 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-모듈의 도파산 카테고리 위에 하리시-찬드라 커플렉션 작용을 정의하기 위해.
• 랭글랜즈 쌍 군 $\check{G}$의 표현 $V$에 관련된 중심층 $\mathcal{Z}_V$를 구성하여 애질리프 허브 대수의 중심 원소를 카테고리화하기 위해.
• 유리형 잡스 공간 $\operatorname{Jets}^{\operatorname{mer}}(G)_{X^2}$ 위의 분포를 통해 카이랄 대수 $\mathfrak{D}_{G,\kappa}$ 위의 카이랄 브라켓을 실현하기 위해.
• 정규 복합체 계산을 단순화하기 위해 $G((t))$-작용을 이용해 문제를 $G((t))/K$의 단위 점의 경우로 감소시키기 위해.
• X × X - (\Delta_X \sqcup X × x) 위의 G-값을 가진 함수에 의해 유도되는 애질리프 그라스만이안 $\operatorname{Gr}_{G,X;K}$의 자동형의 군론적 기술을 사용하기 위해.
• 수직 벡터장이 영이 되는 것과 그에 대응하는 함수가 대각선으로 정칙으로 확장되고 K의 리 대수 안에 타일러 전개를 가질 조건이 동치임을 검증하기 위해.

실험 결과

연구 질문

• RQ1 임계 수준 표현의 도파산 카테고리 위에 하리시-찬드라 커플렉션 작용을 어떻게 기하적으로 실현할 수 있는가?
• RQ2 중심층의 작용과 카이랄 모듈의 퓨전 곱 사이의 정확한 대응 관계는 무엇인가?
• RQ3 I-단조로운 임계 수준 모듈이 영점 옵레르 위에 지지되어 있을 때 그 도파산 카테고리가 그로텐디크의 변형을 통해 기하적으로 기술될 수 있는가?
• RQ4 카이랄 대수 $\mathfrak{D}_{G,\kappa}$ 위의 카이랄 브라켓은 유리형 잡스 공간 위의 분포를 통해 어떻게 실현되는가?
• RQ5 어떤 조건에서 $X × X - (\Delta_X \sqcup X × x)$ 위의 G-값을 가진 함수가 $\operatorname{Gr}_{G,X;K}$의 단위 섹션에 대해 자명한 변형을 유도하는가?

주요 결과

• 카테고리 $D^b(\operatorname{D}(\operatorname{Fl}_G)_{\operatorname{crit}}{\text{-mod}})^I$ 가 $D^b(\widehat{\mathfrak{g}}_{\operatorname{crit}}{\text{-mod}})^I$ 위에 하리시-찬드라 커플렉션을 통해 작용하며, 중심층 $\mathcal{Z}_V$ 는 융합 함자로 작용한다.
• 카이랄 대수 $\mathfrak{D}_{G,\kappa}$ 위의 카이랄 브라켓은 $\operatorname{Jets}^{\operatorname{mer}}(G)_{X^2}$ 위의 분포로 완전히 기술되며, 카이랄 모듈의 퓨전 곱은 이 구조를 통해 기하적으로 실현된다.
• $\widehat{\mathfrak{g}}_{\operatorname{crit}}{\text{-mod}}_{\operatorname{nilp}}^{I,m}$ 의 도파산 카테고리는 $\widetilde{\check{\mathfrak{g}}}/{\check{G}} \times_{\check{\mathfrak{g}}/{\check{G}}} \operatorname{Op}^{\operatorname{nilp}}_{\check{\mathfrak{g}}}$ 위의 준핵성층 카테고리와 동치일 것이라 추측되며, 이 논문은 이 동치성에 도달하기 위한 핵심 단계를 증명한다.
• $G$-값을 가진 함수 $\mathbf{g}(x_1,x_2)$ 는 $\operatorname{Gr}_{G,X;K}$ 의 단위 섹션에 대해 자명한 변형을 유도할 조건이 단지 그것이 대각선으로 정칙으로 확장되고 $x_2 = x$ 에서의 타일러 전개가 $K$ 의 리 대수 안에 있을 때이다.
• 점 $\mathbf{g}$ 에서의 $\operatorname{Gr}_{G,X;K}$ 의 단위 섹션의 정규 복합체는 $L_{\mathfrak{g}}|_{X-x}$ 와 $T_{\mathbf{g}}(G((t))/K)$ 를 포함하는 정확한 수열에 놓이며, $L_{\mathfrak{g}}|_{X-x} \to \mathcal{N}_{{\bf 1}_{1,1}(\mathbf{g})}|_{X-x}$ 의 사상은 정규 복합체 위로 D-모듈 사상으로 확장된다.
• 사상 $H^0_{\text{DR}}(\mathcal{D}^\times_x, L_{\mathfrak{g}}) \to T_{\mathbf{g}}(G((t))/K)$ 는 자연스러운 사영 $\mathfrak{g}((t)) \twoheadrightarrow \mathfrak{g}((t))/\mathfrak{k}$ 와 일치하며, 이는 카이랄 구조가 군 작용과 호환됨을 확인한다.