[논문 리뷰] Heisenberg VOAs over Fields of Prime Characteristic and Their Representations

Haisheng Li, Qiang Mu|arXiv (Cornell University)|2015. 01. 18.

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

한 줄 요약

이 논문은 소수 성질을 가진 체 위에서 히젠베르크 보조 대수들이 더 이상 단순하지 않음을 다루며, 단순 몫 보조 대수의 가족 $L_{\widehat{\mathfrak{h}}}(\ell,0,\lambda)$를 구성한다. 이는 이러한 대수 위의 모든 모듈러가 완전 가군화 가능하고, 고유 모듈러가 유일함을 증명함으로써, 양의 성질에서 애피니 히젠베르크 리 대수 위의 모듈러의 한 범주에 대한 완전 가군화 정리를 확립한다.

ABSTRACT

In this paper, we study Heisenberg vertex algebras over fields of prime characteristic. The new feature is that the Heisenberg vertex algebras are no longer simple unlike in the case of characteristic zero. We then study a family of simple quotient vertex algebras and we show that for each such simple quotient vertex algebra, irreducible modules are unique up to isomorphism and every module is completely reducible. To achieve our goal, we also establish a complete reducibility theorem for a certain category of modules over Heisenberg algebras.

연구 동기 및 목표

• 소수 성질을 가진 체 위에서 히젠베르크 보조 대수의 구조를 조사하며, 이는 특성 0과는 달리 단순하지 않음을 다룬다.
• 최대 $\widehat{\mathfrak{h}}$-부분모듈러로 나누어 $V_{\widehat{\mathfrak{h}}}(\ell,0)$ 에서 $L_{\widehat{\mathfrak{h}}}(\ell,0,\lambda)$ 라는 단순 몫 보조 대수를 구성하고 분류한다.
• 양의 성질에서 애피니 히젠베르크 리 대수 위의 특정 모듈러 범주에 대한 완전 가군화 정리를 확립한다.
• 특히 고유 모듈러의 유일성과 완전 가군화 성격을 분석함으로써, 단순 몫 보조 대수의 표현 이론을 분석한다.

제안 방법

• 보조 대수 $V_{\widehat{\mathfrak{h}}}(\ell,0)$ 를 $\widehat{\mathfrak{h}}$-모듈러로 정의하며, 이는 진공 벡터 $\mathbf{1}$ 에 의해 생성되며, $\mathbf{k} \cdot \mathbf{1} = \ell \mathbf{1}$ 과 $(\mathfrak{h} \otimes \mathbb{F}[t]) \mathbf{1} = 0$ 를 만족한다.
• 함수형 $\lambda \in (\widehat{\mathfrak{h}}_+)^*$ 를 사용하여 최대 $\widehat{\mathfrak{h}}$-부분모듈러 $J(\lambda)$ 를 구성하며, $u \in \mathfrak{h}, n \geq 1$ 에 대해 벡터 $u(-np) - \lambda(u(-np))$ 와 $(u(-n) - \lambda(u(-n)))^p$ 에 의해 생성된다.
• 최대 $\widehat{\mathfrak{h}}$-부분모듈러 $J(\lambda)$ 가 최대임을 증명하고, $\lambda(u(-n)) = 0$ for all $n \geq 2$ 이면 $J(\lambda)$ 가 보조 대수 이상이 되는 조건을 도출하여 단순 몫 $L_{\widehat{\mathfrak{h}}}(\ell,0,\lambda)$ 를 얻는다.
• 세갈-수가라 구성법을 사용하여 $\omega = \frac{1}{2\ell} \sum_{i=1}^d u^{(i)}(-1)u^{(i)}(-1)\mathbf{1}$ 이라는 등각 벡터를 정의함으로써, $V_{\widehat{\mathfrak{h}}}(\ell,0)$ 에 중심 전하 $d = \dim \mathfrak{h}$ 를 가진 보조 연산자 대수의 구조를 부여한다.
• 히젠베르크 부분대수 $\widehat{\mathfrak{h}}'' = \sum_{n \notin p\mathbb{Z}} \mathfrak{h} \otimes \mathbb{F}t^n + \mathbb{F}\mathbf{k}$ 의 작용을 분석함으로써 $\widehat{\mathfrak{h}}$-모듈러에 대한 완전 가군화 정리를 확립한다.
• $\mathbb{Z}$-중량과 $L(0)$-고유값 분해를 활용하여 $L_{\widehat{\mathfrak{h}}}(\ell,0,\lambda)$ 의 중량 구조를 분석하고, $J(\ell,\lambda)$ 가 $L(0)$-안정적임을 보여 $\lambda \neq 0$ 일 때 $\mathbb{Z}_p$-중량을 갖는다.

실험 결과

연구 질문

• RQ1 소수 성질을 가진 체 위에서 히젠베르크 보조 대수는 특성 0의 경우와 비교해 단순성과 구조 면에서 어떻게 다를까?
• RQ2 $V_{\widehat{\mathfrak{h}}}(\ell,0)$ 의 최대 $\widehat{\mathfrak{h}}$-부분모듈러는 무엇이며, 언제 보조 대수 이상이 되는가?
• RQ3 단순 몫 보조 대수 $L_{\widehat{\mathfrak{h}}}(\ell,0,\lambda)$ 의 표현 이론은 무엇이며, 특히 완전 가군화와 고유 모듈러의 유일성은 어떻게 되는가?
• RQ4 애피니 히젠베르크 대수 $\widehat{\mathfrak{h}}'$ 에서 무한차원 중심이 존재하는 것이 양의 성질에서 표현 이론에 어떤 영향을 미치는가?
• RQ5 소수 성질에서 애피니 히젠베르크 리 대수 위의 모듈러에 대해 완전 가군화 정리를 확립할 수 있으며, 이는 보조 대수 표현의 구조를 어떻게 뒷받침하는가?

주요 결과

• 보조 대수 $V_{\widehat{\mathfrak{h}}}(\ell,0)$ 는 소수 성질에서 단순하지 않으며, $\widehat{\mathfrak{h}}'$ 의 무한차원 중심으로 인해 무수히 많은 최대 이상을 포함한다.
• 최대 $\widehat{\mathfrak{h}}$-부분모듈러 $J(\lambda)$ 는 $u \in \mathfrak{h}, n \geq 1$ 에 대해 $u(-np) - \lambda(u(-np))$ 와 $(u(-n) - \lambda(u(-n)))^p$ 에 의해 생성되며, 이는 모든 최대 $\widehat{\mathfrak{h}}$-부분모듈러를 포함한다.
• 몫 $L_{\widehat{\mathfrak{h}}}(\ell,0,\lambda)$ 는 $\lambda(u(-n)) = 0$ for all $u \in \mathfrak{h}$ and $n \geq 2$ 이면 단순 보조 대수가 되며, 이는 $J(\lambda)$ 가 보조 대수 이상이 되는 조건을 보장한다.
• 모든 $L_{\widehat{\mathfrak{h}}}(\ell,0,\lambda)$-모듈러는 완전 가군화 가능하며, 이는 관련된 $\widehat{\mathfrak{h}}$-모듈러의 범주에 대한 완전 가군화 정리에 의해 입증된다.
• 어드조이언트 모듈러 $L_{\widehat{\mathfrak{h}}}(\ell,0,\lambda)$ 는 동형을 제외한 유일한 고유 모듈러이며, 이는 모든 고유 모듈러가 어드조이언트 모듈러와 동치임을 의미한다.
• $\ell \in \mathbb{F}^\times$ 일 때, 몫 $L_{\widehat{\mathfrak{h}}}(\ell,0,0)$ 는 중심 전하 $d = \dim \mathfrak{h}$ 를 가진 단순 보조 연산자 대수이며, $\lambda \neq 0$ 일 때는 $J(\ell,\lambda)$ 가 중량 불변성을 갖지 않아 보조 연산자 대수가 되지 않는다.