[논문 리뷰] Admissible level $\mathfrak{osp}(1|2)$ minimal models and their relaxed highest weight modules

Simon Wood|arXiv (Cornell University)|2018. 04. 04.

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

한 줄 요약

이 논문은 적절한 수준의 𝔬𝔰𝔭(1|2) 최소모형 보손 연산자 슈퍼대수에서 Z₂-등급 간단한 이완 최고 가중치 모듈의 모든 동형류를 네베우-슈월라 및 람론 섹터에서 분류한다. k < -1일 때는 워키모토 유형 자유장 실현, k > -1일 때는 보존된 βγ 시스템을 사용하며, 스크리닝 연산자와 잭 대칭 함수를 통해 주르 알제브라의 명시적 표현을 계산함으로써, 행렬 원소의 스펙트럼 분석과 루트 시스템 제약 조건을 통해 이완 최고 가중치 모듈의 완전한 분류를 이룩한다.

ABSTRACT

The minimal model $\mathfrak{osp}(1|2)$ vertex operator superalgebras are the simple quotients of affine vertex operator superalgebras constructed from the affine Lie super algebra $\widehat{\mathfrak{osp}}(1|2)$ at certain rational values of the level $k$. We classify all isomorphism classes of $\mathbb{Z}_2$-graded simple relaxed highest weight modules over the minimal model $\mathfrak{osp}(1|2)$ vertex operator superalgebras in both the Neveu-Schwarz and Ramond sectors. To this end, we combine free field realisations, screening operators and the theory of symmetric functions in the Jack basis to compute explicit presentations for the Zhu algebras in both the Neveu-Schwarz and Ramond sectors. Two different free field realisations are used depending on the level. For $k&lt;-1$, the free field realisation resembles the Wakimoto free field realisation of affine $\mathfrak{sl}(2)$ and is originally due to Bershadsky and Ooguri. It involves 1 free boson (or rank 1 Heisenberg vertex algebra), one $βγ$ bosonic ghost system and one $bc$ fermionic ghost system. For $k&gt;-1$, the argument presented here requires the bosonisation of the $βγ$ system by embedding it into an indefinite rank 2 lattice vertex algebra.

연구 동기 및 목표

• 적절한 수준의 𝔬𝔰𝔪(1|2) 최소모형 보손 연산자 슈퍼대수에서 Z₂-등급 간단한 이완 최고 가중치 모듈의 모든 동형류를 분류하는 것.
• 표준 최고 가중치 범주를 초월하여 무한차원 및 조밀 모듈을 포함하는 이완 최고 가중치 모듈의 분류를 확장하는 것.
• 노르베우-슈월라 및 람론 섹터에서 모두 대수적 및 표현론적 도구를 사용하여 모듈 구조를 완전히 기술하는 것.
• 스크리닝 연산자와 잭 기저에서의 대칭 함수 이론을 통해 두 섹터에서 주르 알제브라의 명시적 표현을 계산하는 것.

제안 방법

• k < -1에 대해 히젠베르크 대수, βγ 게이지 시스템, bc 게이지 시스템을 포함하는 워키모토 유형 실현을 사용한다.
• k > -1에 대해 불확정 랭크 2 람다 대수를 이용한 βγ 시스템의 보존을 사용한다.
• 스크리닝 연산자를 적용하여 특이 벡터를 분석하고 주르 알제브라 프레임워크 내에서 행렬 원소를 계산한다.
• 스크리닝 연산자의 행렬 원소를 계산하고 인수분해하기 위해 잭 대칭 함수를 잭 기저에서 사용한다.
• 행렬 원소의 소멸 조건을 분석하여 주르 알제브라의 스펙트럼을 규명하고, 루트 시스템 제약 조건을 통해 모듈을 분류한다.
• δ^(v-1)( (u−v)/2 +1, (u−v)/2 +1 )에 의해 지배되는 분할의 구조를 활용하여 공통 셀을 식별하고, 행렬 원소의 소멸 조건을 유도한다.

실험 결과

연구 질문

• RQ1 적절한 수준에서 네베우-슈월라 섹터에서 𝔬𝔰𝔭(1|2) 최소모형 VOA에 대한 단순한 이완 최고 가중치 모듈의 완전한 분류는 무엇인가?
• RQ2 람론 섹터에서는 짝수 부분대수가 𝔰𝔩(2)이 되므로 모듈 구조는 어떻게 다를 수 있으며, 어떻게 분류되는가?
• RQ3 스크리닝 연산자와 그 행렬 원소는 주르 알제브라의 구조와 모듈 분류를 결정하는 데 어떤 역할을 하는가?
• RQ4 k < -1과 k > -1에 대해 자유장 실현은 어떻게 다를 수 있으며, 주르 알제브라 표현 계산에 어떤 영향을 미치는가?
• RQ5 잭 대칭 함수 기저는 주르 알제브라의 스펙트럼 성질을 계산하는 데 어떤 의미를 가지는가?

주요 결과

• 네베우-슈월라 섹터에서는 네 가지 유형이 포함된다: 유한차원 최고 가중치 모듈(𝒜_λ), 무한차원 최고/최저 가중치 모듈(ℬ⁺_λ, ℬ⁻_λ), 그리고 특정한 가중치 지지와 슈퍼-카시미어 작용을 가진 조밀 모듈(𝓒_[λ],s).
• 람론 섹터에서는 유한차원 𝔰𝔩(2) 최고 가중치 모듈(ℱ_λ)과 무한차원 모듈(𝑫⁺_λ, 𝒟⁻_λ)이 포함되며, 이들은 최소 conformal 가중치와 𝔰𝔩(2) 가중치 구조로 특징지어진다.
• k < -1일 때는 워키모토 유형 자유장 실현을 통해 스크리닝 연산자와 잭 대칭 함수를 사용하여 주르 알제브라 표현을 명시적으로 계산할 수 있다.
• k > -1일 때는 βγ 시스템을 랭크 2 람다 대수 보스터니제이션으로 변환함으로써 동일한 분류 프레임워크를 적용할 수 있으며, 이에 따라 행렬 원소 표현이 수정된다.
• 스크리닝 연산자의 행렬 원소는 특정 인덱스 집합 내 (i,j)에 대해 s_p - s_{i,j} = 0일 때 정확히 소멸하며, 이는 주르 알제브라의 스펙트럼을 규명하는 데 기여한다.
• 행렬 원소의 소멸 조건은 δ^(v-1)( (u−v)/2 +1, (u−v)/2 +1 )에 의해 지배되는 영역 내 공통 셀을 통해 결정되며, 이는 주르 알제브라의 정의 다항식의 근을 정의하는 분할 ρ의 원소로 이어진다.