D4 1형 표준 모듈 생성 집합과 차이와 초기 조건

초록

본 논문은 affine Lie algebra D₄^{(1)} 의 표준 모듈 L(Λ) 에 대해 Feigin‑Stoyanovsky 유형 부분공간 W(Λ)=U(𝔤₁)·v_Λ 을 정의하고, 정점 연산자 관계를 이용해 PBW 스팬 집합을 차이 조건과 초기 조건으로 기술한다. 차이·초기 조건을 만족하는 모노미얼만이 W(Λ) 의 생성 집합을 이루며, 이 집합을 한계 과정으로 확장하면 전체 표준 모듈 L(Λ) 의 생성 집합을 얻는다.

상세 분석

이 연구는 D₄^{(1)} 형태의 무한 차원 리 대수 𝔤̃에 대한 표준 모듈 L(Λ)의 구조를 세밀히 분석한다. 먼저 𝔤̃을 𝔤̃_{-1}⊕𝔤̃_{0}⊕𝔤̃_{1} 로 분해하는 ℤ‑그레이듀에 주목하고, 최소 가중치 ω=ω₁을 선택해 g₁과 g_{-1}을 커뮤터티브 서브알제브라로 만든다. 이때 색 집합 Γ={γ₂,…,γ_ℓ,γ_ℓ,…,γ₂}가 정의되며, 각 γ_i는 𝔤의 루트 ε₁±ε_i 로 표현된다. Feigin‑Stoyanovsky 유형 부분공간 W(Λ)=U(𝔤₁)·v_Λ는 𝔤₁의 전역 유니버설 enveloping algebra에 의해 생성되며, PBW 정리에 따라 모노미얼 x_{γ₁}(-n₁)…x_{γ_t}(-n_t)v_Λ 로 스팬된다.

논문은 모노미얼에 대한 사전식 순서를 도입한다. 색의 순서는 γ₂>γ₃>…>γ_ℓ>γ_ℓ>…>γ₂이며, 같은 색 내에서는 지수 n이 작을수록 앞에 온다. 이렇게 정의된 순서는 곱셈에 대해 호환성을 가지며, 차수와 색의 조합을 비교하는 데 유용하다.

다음 단계에서는 프레넬‑카크‑세갈(Frenkel‑Kac‑Segal) 구성을 이용해 L(Λ) 를 Heisenberg 부분대수와 격자 군 C