[논문 리뷰] Modular affine vertex algebras and baby Wakimoto modules

Tomoyuki Arakawa, Weiqiang Wang|arXiv (Cornell University)|2015. 03. 02.

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

한 줄 요약

이 논문은 양의 특성에서 워키모 모듈의 모odular한 유사체로 베이비 워키모 모듈을 도입하여, 아핀 버텍스 대수의 $p$-중심을 유지하는 워키모-페긴-프렌켈 호모모르피즘이 성립함을 증명한다. 주요 결과는 최고 무게 $-\rho$인 베이비 워키모 모듈이 기약임을 보이며, 이는 모듈러 아핀 리 대수의 수준이 임계값일 때 마티외의 특성 공식에 대한 버텍스 대수 이론적 해석을 제공한다.

ABSTRACT

We develop some basic properties such as $p$-centers of affine vertex algebras and free field vertex algebras in prime characteristic. We show that the Wakimoto-Feigin-Frenkel homomorphism preserves the $p$-centers by providing explicit formulas. This allows us to formulate the notion of baby Wakimoto modules, which in particular provides an interpretation in the context of modular vertex algebras for Mathieu's irreducible character formula of modular affine Lie algebras at the critical level.

연구 동기 및 목표

• 소수 특성에서 모듈러 아핀 버텍스 대수와 자유장 버텍스 대수의 $p$-중심 이론을 발전시키기 위해.
• 워키모-페긴-프렌켈 호모모르피즘이 $p$-중심을 유지함을 보여주어, 베이비 워키모 모듈의 구성이 가능하도록 하기 위해.
• 임계 수준에서 모듈러 아핀 리 대수의 마티외의 기약 특성 공식을 버텍스 대수 표현 이론의 관점에서 재구성하기 위해.
• 기본 무게 $-\rho$인 기약 모듈 $\mathfrak{l}(-\rho)$를 베이비 워키모 모듈로써의 버텍스 대수적 실현을 제공하기 위해.

제안 방법

• 양의 특성에서 $p$-거듭제곱 사상으로 아핀 버텍스 대수와 자유장 버텍스 대수의 $p$-중심을 구성하기 위해.
• 워키모-페긴-프렌켈 호모모르피즘의 아핀 버텍스 대수의 $p$-중심으로의 제한을 명시적으로 계산하기 위해.
• 워키모-페긴-프렌켈 호모모르피즘의 $p$-중심 원소로 제한된 경우에 의해 정의된 베이비 워키모 모듈을 정의하기 위해.
• 특성 비교를 통해 최고 무게 $-\rho$인 베이비 워키모 모듈의 기약성을 증명하기 위해.
• 스테인베르크 텐서곱 정리를 활용하여 $\mathfrak{l}(-\rho)$와 $\mathfrak{l}((p-1)\rho)$를 $\mathfrak{g}$-모듈로서 연결하기 위해.
• 모듈러 표현 이론을 위해 $U = \mathbb{K} \otimes_{\mathbb{Z}} U_{\mathbb{Z}}$를 정의하기 위해 코스타ント-가르랜드 $\mathbb{Z}$-형태의 보편 포괄 대수를 활용하기 위해.

실험 결과

연구 질문

• RQ1 워키모-페긴-프렌켈 호모모르피즘이 양의 특성에서 아핀 버텍스 대수의 $p$-중심을 유지하는가?
• RQ2 기저 중심 호환성에 의해 $p$-중심을 통한 워키모 모듈의 모듈러 유사체로서 베이비 워키모 모듈을 정의할 수 있는가?
• RQ3 최고 무게 $-\rho$인 베이비 워키모 모듈이 $\mathfrak{g}$-모듈로서 기약인가?
• RQ4 베이비 워키모 모듈의 기약성은 $\mathfrak{l}(-\rho)$에 대한 마티외의 특성 공식과 어떻게 관련이 있는가?
• RQ5 양의 특성에서 버텍스 대수 $V^{\kappa_{c}}(\mathfrak{g})$의 중심의 구조는 어떠한가?

주요 결과

• 워키모-페긴-프렌켈 호모모르피즘이 아핀 버텍스 대수의 $p$-중심을 유지하며, 제한에 대한 명시적 공식이 제공된다.
• 최고 무게 $-\rho$인 베이비 워키모 모듈 $\mathfrak{w}(-\rho)$는 $\mathfrak{g}$-모듈로서 기약이며, $\mathfrak{l}(-\rho)$와 동형이다.
• 모듈 $\mathfrak{w}(-\rho)$의 특성은 $\text{ch }\mathfrak{w}(-\rho) = e^{-\rho} \prod_{\alpha \in \Delta_{+}^{\rm re}} \frac{1 - e^{-p\alpha}}{1 - e^{-\alpha}}$로 주어지며, 마티외의 공식과 일치한다.
• 모듈 $\mathfrak{w}(-\rho)$의 기약성은 $\mathfrak{l}(-\rho)$와의 특성 비교에 의해 유도되며, surjective 호모모르피즘 $\mathfrak{w}(-\rho) \to \mathfrak{l}(-\rho)$를 통해 유도된다.
• 모듈 $\mathfrak{l}((p-1)\rho)$의 특성 공식은 $\text{ch }\mathfrak{l}((p-1)\rho) = e^{(p-1)\rho} \prod_{\alpha \in \Delta_{+}^{\rm re}} \frac{1 - e^{-p\alpha}}{1 - e^{-\alpha}}$로 주어지며, 스테인베르크 텐서곱 정리에 의해 $-\rho$의 경우와 동치이다.
• 버텍스 대수에서의 $p$-중심과 상태-장 대응은 단순한 방식으로 호환되며, 이를 제2.6조에서 보여주었다.