[논문 리뷰] Quasi-lisse vertex algebras and modular linear differential equations

Tomoyuki Arakawa, Kazuya Kawasetsu|arXiv (Cornell University)|2016. 10. 19.

Algebraic structures and combinatorial models인용 수 13

한 줄 요약

이 논문은 림프스(vertex algebra)의 일반화인 준림프스(quasi-lisse) 버전의 버추얼 대수를 도입하고, 이러한 대수 위의 임의의 순수 모듈러의 정규화된 특성치가 모듈라 선형미분방정식(Modular Linear Differential Equation, MLDE)을 만족함을 증명한다. 주요 결과로는, 데린 드레시언 특별급수열(De1igne exceptional series)에 관련된 단순 아핀 버추얼 대수에서 수준 $-h^\vee/6 - 1$에 대해, 4차원 $χ=2$ SCFT의 슈어 지수를 준모듈라 형식으로 표현하는 명시적 특성치 공식을 유도한다.

ABSTRACT

We introduce a notion of quasi-lisse vertex algebras, which generalizes admissible affine vertex algebras. We show that the normalized character of an ordinary module over a quasi-lisse vertex operator algebra has a modular invariance property, in the sense that it satisfies a modular linear differential equation. As an application we obtain the explicit character formulas of simple affine vertex algebras associated with the Deligne exceptional series at level $-h^{\vee}/6-1$, which express the homogeneous Schur indices of 4d SCFTs studied by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees, as quasi-modular forms.

연구 동기 및 목표

• 정수형이 아닌데도 잘 조율된 표현(예: 어드미시블 아핀 대수, 4차원 SCFT에서 유도된 대수)을 수용할 수 있도록 버추얼 오퍼레이터 대수에서 림프스(C2-코페이니티) 조건을 일반화하기 위해.
• 림프스 조건을 초월하여 더 넓은 범위의 버추얼 대수에 대해 특성치의 모듈라 불변성을 확립하기 위해.
• 수준 $-h^\vee/6 - 1$에서 데린 드레시언 특별급수열과 관련된 단순 아핀 버추얼 대수의 명시적 특성치 공식을 도출하여, 4차원 SCFT 지수의 슈어 극한과 연결하기 위해.

제안 방법

• 준림프스 버추얼 대수를 정의: 관련 다양체 $X_V$ 가 유한 개의 심플렉틱 잎을 가지는 conformal 버추얼 대수로 정의한다.
• Zhu의 $C_2$-대수 구성법을 사용해 관련 다양체 $X_V = \operatorname{Specm}(R_V)$ 를 정의하며, 여기서 $R_V = V/C_2(V)$ 이고, 그 펄라 구조를 분석한다.
• 모듈라 선형미분방정식(MLDE) 이론을 적용하여, 준림프스 버추얼 대수 위의 순수 모듈러의 정규화된 특성치가 MLDE를 만족함을 보인다.
• 특정 중심 전하와 콪포지션 차원을 갖는 MLDE의 알려진 해를 활용해, 주어진 버추얼 대수에 적합한 MLDE를 식별한다.
• MLDE를 활용해 아이젠스타인 급수, 디드킨 에타 함수, 준모듈라 형식을 포함하는 명시적 특성치 공식을 도출한다.
• 유도된 특성치가 4차원 $χ=2$ SCFT의 슈어 지수에 대해 알려진 표현과 일치함을 검증하며, 특히 $D_4$, $E_6$, $E_7$, $E_8$ 등의 비어드미시블 경우를 포함한다.

실험 결과

연구 질문

• RQ1 특성치의 모듈라 불변성은 림프스 버추얼 대수를 초월해 어드미시블 아핀 및 SCFT 유래 버추얼 대수에도 확장될 수 있는가?
• RQ2 특성치의 모듈라 불변성을 유지할 수 있는 $C_2$-코페이니티 조건의 적절한 일반화는 무엇인가?
• RQ3 데린 드레시언 특별급수열에 관련된 4차원 $χ=2$ SCFT의 슈어 지수는 모듈라 또는 준모듈라 형식을 통해 통일적으로 기술될 수 있는가?
• RQ4 MLDE를 사용하여 임계 수준에서 비어드미시블 아핀 버추얼 대수에 대해 명시적 특성치 공식을 도출할 수 있는가?
• RQ5 레벨 $-h^\vee/6 - 1$에서 데린 드레시언 특별급수열의 버추얼 대수 특성치를 지배하는 통일된 MLDE가 존재하는가?

주요 결과

• 준림프스 버추얼 오퍼레이터 대수 위의 순수 모듈러의 정규화된 특성치는 모듈라 선형미분방정식(MLDE)을 만족하며, 이는 림프스 VOAs의 모듈라 불변성을 일반화한다.
• 레벨 $-h^\vee/6 - 1$에서 데린 드레시언 특별급수열에 대응하는 단순 아핀 버추얼 대수의 특성치는 모듈라 및 준모듈라 형식을 명시적으로 표현할 수 있다.
• $V_{-4/3}(A_1)$의 특성치는 $\eta(3\tau)^3 / \eta(\tau)^3$ 이며, 무게 0의 모듈라 형식이다.
• $V_{-2}(D_4)$의 특성치는 $E_4'(\tau)/(240\eta(\tau)^{10})$ 이며, 깊이 1의 준모듈라 형식이다.
• $V_{-4}(E_7)$의 특성치는 $\Delta(\tau)$, $E_6(\tau)$, $E_4'(\tau)$ 및 $E_6(\tau)/\sqrt{\Delta(\tau)}$ 에 대한 다항식의 비정상적인 조합을 포함하며, 이는 준모듈라 성격을 확인한다.
• MLDE의 계수는 $h^\vee$ 에 대한 유리함수이며, 델리뉴의 차원 공식과 일치하며, 이는 특별급수열의 깊은 산술적 성질을 반영한다.