[논문 리뷰] On the Feigin-Tipunin conjecture

Shoma Sugimoto|arXiv (Cornell University)|2020. 04. 13.

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

한 줄 요약

이 논문은 단순한 애드레스형 단순 리 대수 $\mathfrak{g}$ 와 정수 $p \geq 2$ 에 대해 관련된 로그함수적 $W$-대수 $W(p)_Q$ 의 기하적 구성에 관한 피진-티푸닌 추측을 증명한다. 동형성의 범주에서 $G/B$ 위의 동차 벡터 다발의 전역 단면을 사용하여, 저자들은 정점 연산자 대수의 동형사상 $H^0(\xi_0) \simeq W(p)_Q$ 를 확립하며, $G$ 가 $W(p)_Q$ 위에 자동형사상 군으로 작용하고 있음을 보이고, 대수와 그 모듈러의 완전한 기하적 실현을 제공한다.

ABSTRACT

We prove the Feigin-Tipunin conjecture on the geometric construction of the logarithmic W-algebras associated with a simply-laced simple Lie algebra and an integer p bigger than 2, and their modules.

연구 동기 및 목표

• 모든 단순한 애드레스형 단순 리 대수 $\mathfrak{g}$ 와 $p \in \mathbb{Z}_{\geq 2}$ 에 대해 로그함수적 $W$-대수 $W(p)_Q$ 의 기하적 구성에 관한 피진-티푸닌 추측을 증명하기 위해.
• 기하적 벡터 다발 $G/B$ 위의 전역 단면 공간 $H^0(\xi_0)$ 와 로그함수적 $W$-대수 $W(p)_Q$ 사이의 정점 연산자 대수 동형사상을 확립하기 위해.
• 특정 조건 하에서 $\lambda$ 에 대해 $H^0(\xi_\lambda)$ 가 $W(p)_\lambda$ 에 통합되고 동형임을 보여, $W(p)_\lambda$ 의 표현론적 구조를 명확히 하기 위해.
• $\mathcal{W}_0$, $W(p)_Q$ 의 정점 부분대수로서, 수준 $p - h^\vee$ 에서의 주요 $W$-대수 $\mathcal{W}^{p-h^\vee}(\mathfrak{g})$ 와 동형임을 보이고, $\mathcal{W}_0$ 이 $W(p)_Q$ 의 $G$-오르비폭탄임을 보여주기 위해.

제안 방법

• 레코드 정점 대수 $V_{\sqrt{p}Q}$ 의 기저 모듈을 사용하여, 기하적 벡터 다발 $\xi_\lambda = G \times_B V_{\sqrt{p}Q + \lambda}$ 를 $G/B$ 위에 구성하기 위해.
• 전역 단면 공간 $H^0(\xi_\lambda)$ 를 정의하며, 이는 $V_{\sqrt{p}Q}$ 에서 유도된 정점 연산자 대수의 구조를 유지하고 $G$ 의 작용을 지닌다.
• 항등원 코스레트 $\mathrm{id}B$ 에서의 값으로 단면을 보냄으로써 평가 사상 $\Phi_\lambda: H^0(\xi_\lambda) \to V_{\sqrt{p}Q + \lambda}$ 를 정의하고, 좁은 스크리닝 연산자의 핵에 대한 임베딩임을 증명하기 위해.
• $\Phi_0$ 를 통한 동형사상으로서 $H^0(\xi_0)$ 가 정점 연산자 대수로서 $W(p)_Q$ 와 동형임을 보여주기 위해.
• $G \times \mathcal{W}_0$-모듈러 분해를 확립: $H^0(\xi_\lambda) \simeq \bigoplus_{\alpha \in P_+ \cap Q} \mathcal{R}_{\alpha + \hat{\lambda}} \otimes \mathcal{W}_{-\sqrt{p}\alpha + \lambda}$, 여기서 $\mathcal{R}_{\mu}$ 는 최고 무게 $\mu$ 를 가진 기약 $G$-모듈러이다.
• $H^0(\xi_\lambda)$ 위의 $G$-작용이 $W(p)_\lambda$ 의 자동형사상으로 이어지고, $\mathcal{W}_0$ 이 $W(p)_Q$ 의 $G$-오르비폭탄임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 기하적 벡터 다발 $G/B$ 위의 전역 단면 공간 $H^0(\xi_0)$ 는 정점 연산자 대수로서 로그함수적 $W$-대수 $W(p)_Q$ 를 실현하는가?
• RQ2 $\lambda \in \Lambda$ 에 대해 평가 사상 $\Phi_\lambda: H^0(\xi_\lambda) \to W(p,\lambda)_Q$ 가 동형사상이 되는 조건은 무엇인가?
• RQ3 $\mathcal{W}_0 \subset W(p)_Q$ 의 정점 부분대수는 주요 $W$-대수 $\mathcal{W}^{p-h^\vee}(\mathfrak{g})$ 와 동형인가?
• RQ4 $H^0(\xi_\lambda)$ 위의 $G$-모듈러 구조는 기약 $G$-모듈러와 $\mathcal{W}_0$-모듈러의 텐서곱의 직합으로 표현될 수 있는가?
• RQ5 $\lambda$ 가 조건 $(\sqrt{p}\bar{\lambda} + \rho, \theta) \leq p$ 를 만족할 때, $n > 0$ 에 대해 $H^n(\xi_\lambda)$ 의 코homology 가 0이 되는가?

주요 결과

• 평가 사상 $\Phi_0: H^0(\xi_0) \to V_{\sqrt{p}Q}$ 는 정점 연산자 대수의 동형사상이므로, $H^0(\xi_0) \simeq W(p)_Q$ 이다.
• $G$ 는 $H^0(\xi_0)$ 위의 $G$-작용을 통해 $W(p)_Q$ 위에 정점 연산자 대수 자동형사상 군으로 작용한다.
• $\lambda \in \Lambda$ 에 대해 사상 $\Phi\_\lambda: H^0(\xi_\lambda) \to W(p,\lambda)_Q$ 는 오직 $\lambda$ 가 조건 (100) 을 만족할 때에만 동형사상이다. 이 조건은 $(\sqrt{p}\bar{\lambda} + \rho, \theta) \leq p$ 라는 무게 조건과 관련이 있다.
• $G \times \mathcal{W}_0$-모듈러 동형사상 $H^0(\xi_\lambda) \simeq \bigoplus_{\alpha \in P_+ \cap Q} \mathcal{R}_{\alpha + \hat{\lambda}} \otimes \mathcal{W}_{-\sqrt{p}\alpha + \lambda}$ 가 존재하며, 이는 $\mathcal{W}_0$ 이 $W(p)_Q$ 의 $G$-오르비폭탄임을 보여준다.
• $\mathcal{W}_0 \subset W(p)_Q$ 의 정점 부분대수는 정리 1.2 에서 언급된 것처럼, 수준 $p - h^\vee$ 에서의 주요 $W$-대수 $\mathcal{W}^{p-h^\vee}(\mathfrak{g})$ 와 동형이다.
• $\lambda$ 가 $(\sqrt{p}\bar{\lambda} + \rho, \theta) \leq p$ 를 만족할 경우, $n > 0$ 에 대해 고차 코homology $H^n(\xi_\lambda)$ 는 0이며, $H^0(\xi_\lambda)$ 의 특성 공식은 $G$-특성과 $\mathcal{W}_{p-h^\vee}(\mathfrak{g})$-모듈러 특성의 합으로 주어진다.