On the Representation Theory of Non-Admissible $W$-Algebras: Part I

기술 요약: 비적정 W-대수의 표현론에 관하여: 제1부

문제 정의
Vertex Operator Algebra(VOA)의 모듈 분류는 2차원 공형 장론 연구의 중심적인 과제이다. 유리적(rational) VOA(모듈 범주가 유한개의 단순 객체를 가지며 반단순인 경우)의 표현론은 Zhu의 대수와 Drinfeld–Sokolov(DS) 축소를 통해 잘 이해되어 있는 반면, 비적정(non-admissible) 사례는 여전히 난제로 남아 있다. 구체적으로, 본 논문은 레벨이 $k = -h^\vee + \frac{1}{n}\frac{m}{u}$로 주어지는 형태의 비적정 W-대수 $W_k(\mathfrak{g}, f)$를 다룬다. 여기서 $\mathfrak{g}$는 리 대수, $f$는 멱영 궤도(nilpotent orbit), $n$은 lacing number이며, $m \neq h^\vee$이다($m = h^\vee$인 경계 적정 레벨과는 구분된다). 이러한 비적정 사례에서 표현 범주는 일반적으로 반단순이 아니며, 로그 모듈(logarithmic modules)을 포함할 수 있다. 또한, 이들에 대한 명시적인 표현론적 결과는 매우 드물다.

방법론
저자들은 이러한 대수를 연구하기 위해 **4차원 미러 대칭성(4d mirror symmetry)**에 뿌리를 둔 기하학적 프레임워크를 제안한다. 핵심 방법론은 W-대수의 표현론을 기울기(slope) $\nu = u/m$를 갖는 일반화된 아핀 스프링거 파이버(generalized affine Springer fibers) $Sp_\nu(\tilde{\mathfrak{g}}, f)$의 기하학적 구조와 연결하는 것이다.

제안된 대응 관계는 다음과 같이 작동한다:

1. 기하학적 설정: 파이버는 데이터 $(\mathfrak{g}, o, \nu, f)$에 의해 정의되며, 여기서 $o$는 외부 자기 동형 사상(outer automorphism)의 선택이다. 기하학적 구조는 기울기 $\nu$와 멱영 궤도 $f$와 관련된 포랄릭 부분 대수(parabolic subalgebra)에 의해 제어된다.
2. 고정 로카이(Fixed Loci)와 모듈: 아핀 Weyl 군 원소 $\tilde{w}$(구체적으로는 이중 코셋 $\tilde{W}_\nu \setminus \tilde{W} / W_f$)에 의해 라벨링되는 아핀 스프링거 파이버의 $C^*$-고정 로카이:
   • 최고 무게(Highest Weights): $\tilde{w}$에 의해 라벨링된 비어 있지 않은 각 고정 로카이는 다음 사상을 통해 단순 모듈의 최고 무게를 결정한다:
     $$\tilde{w} \mapsto \tilde{w}(k\Lambda_0 + \tilde{\rho}) - \tilde{\rho}$$
     여기서 $\Lambda_0$는 0차 아핀 기본 무게이고 $\tilde{\rho}$는 아핀 Weyl 벡터이다.
   • 로그 구조(Logarithmic Structure): 고정 다양체 $S^0_{\tilde{w}}$의 차원은 비단순(non-semisimple) 구조를 인코딩한다. 0차원 고정 다양체는 일반적인 단순 모듈에 대응한다. 고차원 고정 다양체는 로그 모듈의 존재를 나타낸다. 구체적으로, 차원이 $d$인 고정 다양체는 전체 코호몰로지 차원에 $d+1$을 기여하며, 이는 하나의 단순 모듈과 $d$개의 로그 모듈(또는 일반화된 캐릭터)에 대응한다.
3. 계산 알고리즘: 논문은 관련 $\tilde{w}$의 집합과 그 고정 다양체의 차원을 계산하기 위한 알고리즘을 상세히 설명한다. 여기에는 다음 과정이 포함된다:
   • 기울기에 기반한 아핀 루트 $L_\nu$ 및 $S_\nu$ 집합 정의.
   • 예상 차원이 비음수인 아핀 Weyl 군 원소의 개수 산출(루트의 개수를 포함한 공식 사용).
   • 유계 조건(boundedness condition) 확인(부호 패턴의 재귀 원뿔이 자명함).
   • Hessenberg variety가 비어 있지 않음을 보장하기 위한 Chern-class 제약 조건 검증(최상위 Chern 곱이 Weyl 불변 다항식에 의해 생성된 아이디얼에 속하는지 확인).

주요 기여 및 결과
본 논문은 다양한 리 대수와 기울기에 걸친 광범위한 계산을 통해 이 기하학적 대응 관계를 확립하고 검증한다:

• 언트위스티드(Untwisted) 이론:
  • $D_4$: 기울기 $\nu = u/4$에 대해, 저자들은 다양한 $u$에 대한 고정 다양체의 수를 계산한다. $u=3$일 때, 이들은 모듈러 폐쇄(modular closure)를 위해 필요한 486개의 캐릭터(단순 모듈 405개, 로그 모듈 81개)를 예측하며, 이는 아핀 리 대수 $V_{-14/3}(D_4)$의 알려진 결과와 일치한다. 정규 멱영 궤도($f=\text{regular}$)의 경우, $u=5$에서 $(2,5)$ Virasoro minimal model을 회복하며, $u=7, 9, 11$에 대한 모듈 스펙트럼을 예측한다.
  • $E_6$ 및 $E_8$: 기울기 $\nu=4/3$에서의 $E_6$와 다양한 기울기에서의 $E_8$에 대한 상세한 계산은 알려진 유리적 스케일링 차원 및 다중도와 일치함을 확인한다. 또한, 비적정 W-대수와 낮은 계수의 적정 W-대수 사이의 동형 관계(예: $W_{-30+15/16}(E_8) \cong W_{-3+3/8}(A_2)$)를 고정 다양체의 수를 매칭함으로써 명시적으로 검증한다.
• 트위스티드(Twisted) 이론:
  • 저자들은 (Langlands duality를 포함한) 트위스티드 이론에서의 정규화의 미묘한 차이를 다룬다. 이들은 트위스티드 아핀 스프링거 파이버의 계산 문제와 언트위스티드 W-대수의 계산 문제가 특정 변환 벡터 $q$의 재스케일링 하에서 동등함을 입증한다.
  • 예시로는 트위스티드 $3D_4$ (관련된 것은 $G_2$)와 트위스티드 $2A_3$ (관련된 것은 $B_2$)가 있다. 예를 들어, 기울기 $\nu=11/12$인 $3D_4$ 이론은 $(2,11)$ Virasoro minimal model과 일치함을 보여준다.
• 로그 모듈: 논문은 고차원 고정 다양체가 로그 모듈에 대응한다는 구체적인 증거를 제공한다. $D_4$ 케이스에서 $m=4$일 때, 1차원 고정 다양체가 특정 스케일링 차원을 갖는 로그 모듈과 연관됨이 확인되었으며, 이는 기존 문헌에서 관찰된 모듈러 미분 방정식 구조를 설명한다.

의의
본 논문은 순수하게 대수적인 방법이 제한될 수 있는 클래스인 비적정 W-대수의 표현론에 대한 기하학적 경로를 제공한다고 주장한다. 4차원 미러 대칭성 딕셔너리를 활용함으로써, 저자들은 W-대수의 모듈(로그 모듈 포함)을 분류하는 어려운 문제를 아핀 스프링거 파이버 내의 고정 로카이를 세는 조합론적 및 기하학적 문제로 변환한다.

본 연구의 의의는 다음과 같다:

1. 통합: 아핀 스프링거 파이버와 적정 W-대수 사이의 알려진 대응 관계를 비적정 영역까지 확장한다.
2. 예측력: 복잡한 특이 벡터(singular vector) 계산을 거치지 않고도, 임의의 $C_2$-cofinite 비적정 W-대수에 대해 단순 모듈과 로그 모듈의 수 및 그들의 공형 무게(conformal weights)를 계산할 수 있는 체계적인 방법을 제공한다.
3. 검증: 프레임워크는 알려진 적정 사례들을 성공적으로 재현하며, 비적정 사례들(알려진 이론들과 동형인 경우 포함)에 대해서도 일관된 예측을 제공한다.

저자들은 본 논문이 표현 공간(최고 무게 및 차원)의 확립에 초점을 맞추고 있으며, 모듈러 변환(S 및 T 행렬)에 대한 상세한 연구와 전체 모듈러 데이터에 대한 작업은 제2부로 미루어 두었다고 언급한다. 현재의 작업은 기하학적 카운팅을 기존의 대수적 결과와 대조하여 검증함으로써 기초적인 단계를 수행하는 것이다.