[논문 리뷰] Vertex Algebras at the Corner

Davide Gaiotto, Miroslav Rapčák|arXiv (Cornell University)|2017. 03. 02.

Black Holes and Theoretical Physics참고 문헌 52인용 수 17

한 줄 요약

이 논문은 $N=4$ 초대칭 양미스 이론에서 초대칭 인터페이스의 접합점에서 유도되는 새로운 종류의 정점 연산자 대수 $Y_{L,M,N}[ heta]$, 즉 $L$, $M$, $N$의 순열과 커플링 $ heta = - heta_2/ heta_1$의 이중성 변환에 대해 $S_3$ 삼중성 대칭을 가지는 대수를 소개한다. 이 구성은 WZW 대수와 자유 시스템의 BRST 축소를 포함하며, $W_N$ 대수를 일반화하면서 S-이중성에서 유래된 새로운 이중성 관계를 실현한다. 비어 있는 모듈은 슈퍼군의 무게로 표기되며 삼중성에 의해 순열된다.

ABSTRACT

We introduce a class of Vertex Operator Algebras which arise at junctions of supersymmetric interfaces in ${\cal N}=4$ Super Yang Mills gauge theory. These vertex algebras satisfy non-trivial duality relations inherited from S-duality of the four-dimensional gauge theory. The gauge theory construction equips the vertex algebras with collections of modules labelled by supersymmetric interface line defects. We discuss in detail the simplest class of algebras $Y_{L,M,N}$, which generalizes $W_N$ algebras. We uncover tantalizing relations between $Y_{L,M,N}$, the topological vertex and the $W_{1+\infty}$ algebra.

연구 동기 및 목표

• 초대칭 인터페이스의 모서리에서 발생하는 새로운 종류의 정점 연산자 대수 $Y_{L,M,N}[\theta]$를 정의한다.
• 이 대수들이 양미스 이론의 S-이중성에서 유래된 비자명한 이중성 관계, 특히 $S_3$ 삼중성 대칭을 만족함을 확립한다.
• 슈퍼군 $U(L|M)$, $U(M|N)$, $U(N|L)$의 표현으로 표기된 이들 VOA에 대한 모듈을 구성하며, 이들이 삼중성에 의해 순열됨을 보인다.
• 게이지 이론적 실현을 통해 $Y_{L,M,N}[\theta]$ 대수를 위상적 정점과 $W_{1+\infty}$ 대수와 연결한다.
• 슈퍼군 WZW 모델과 자유 시스템의 BRST 축소를 통해 표준 $W_N$ 대수를 일반화하며, 커플링 $ heta$가 이중성을 표현함을 보인다.

제안 방법

• 슈퍼군 WZW 대수 $U(N|L)_{ heta} \times U(M|L)_{1-\theta}$의 BRST 축소를 통해 $Y_{L,M,N}[\theta]$를 구성한다.
• 결과로 얻어진 대수가 잘 정의된 VOA가 되도록 추가적인 $bc$ 및 $\beta\gamma$ 게이지 시스템을 포함시켜 BRST 복합체를 완성한다.
• 세 개의 $U(L)$, $U(M)$, $U(N)$ 게이지 군이 접합점에서 만날 수 있는 GL-왜곡 $ N=4$ SYM의 게이지 이론 프레임워크를 활용하여 구성의 동기를 제공한다.
• 3차원 $ N=4$ 초등방형 대수의 변형을 매개변수 $ heta$를 통해 구현하며, 이는 다양한 경계 조건 간의 보간과 GL 왜곡을 가능하게 한다.
• 4차원 게이지 이론의 S-이중성을 활용하여 $Y_{L,M,N}[\theta]$가 $ heta \to 1-\theta$ 및 $ heta \to \theta^{-1}$에 대해 불변임을 추측하며, 이에 따른 레이블 순열을 유도한다.
• 세 개의 매개변수 $ heta_1, \theta_2, \theta_3$를 사용하여 삼중성 대칭을 정의하며, 이들 사이에 $ heta_1 + \theta_2 + \theta_3 = 0$ 이고 $ heta = -\theta_2/\theta_1$ 이며, 이에 따라 $Y_{L,M,N}[\theta]$가 공변적으로 변환됨을 보인다.

실험 결과

연구 질문

• RQ1 어떻게 $ N=4$ SYM에서 초대칭 인터페이스의 접합점에서 정점 연산자 대수를 체계적으로 구성할 수 있는가?
• RQ2 이러한 VOA는 어떤 이중성 대칭을 보이며, 이는 기저 게이지 이론의 S-이중성과 어떻게 관련되어 있는가?
• RQ3 왜 $Y_{L,M,N}[\theta]$의 비어 있는 모듈은 어떻게 유도되며, 슈퍼군 $U(L|M)$, $U(M|N)$, $U(N|L)$의 표현으로 어떻게 표기되는가?
• RQ4 $Y_{L,M,N}[\theta]$와 위상적 정점 또는 $W_{1+\infty}$ 대수 사이의 정확한 관계는 무엇인가?
• RQ5 이러한 $Y_{L,M,N}[\theta]$의 삼중성 대칭은 기하학적으로나 스트링 이론 구조를 통해 어떻게 실현될 수 있으며, 이는 피진-프렌켈 이중성의 일반화로 어떻게 해석될 수 있는가?

주요 결과

• 정점 연산자 대수 $Y_{L,M,N}[\theta]$는 $U(N|L)_{ heta} \times U(M|L)_{1-\theta}$와 추가적인 $bc$ 및 $\beta\gamma$ 시스템의 BRST 축소를 통해 구성되며, 일관된 VOAbra를 얻는다.
• 대수 $Y_{L,M,N}[\theta]$는 $S_3$ 삼중성 대칭을 가지며, $Y_{L,M,N}[\theta] = Y_{N,L,M}[1/(1-\theta)] = Y_{M,N,L}[1 - 1/\theta]$를 만족하며, 레이블과 커플링이 $PSL(2,\mathbb{Z})$에 의해 변환됨을 보인다.
• $L=M=0$일 경우, $Y_{0,0,N}[\theta]$는 매개변수 $b^2 = -\theta$를 가진 표준 $W_N$ 대수로 축소되며, 기존의 피진-프렌켈 이중성과의 일致를 확인한다.
• $Y_{N,0,0}[1 - \theta^{-1}]$는 코셋 구성 $rac{SU(N)_{\theta/(1-\theta) - N} \times SU(N)_1}{SU(N)_{1/(1-\theta) - N}}$과 동치임을 보였으며, 이는 $W_N$의 삼중성 실현이다.
• 비어 있는 모듈 $D_\nu$, $H_\lambda$, $W_\mu$가 존재하며, 각각 $U(L|M)$, $U(M|N)$, $U(N|L)$의 무게로 표기되며 삼중성 대칭에 의해 순열됨을 보였다.
• S-이중성과 인터페이스 순열이 VOAbra의 이중성 관계를 유도하는 4차원 게이지 이론 설정(삼중 접합점)을 통해 구성의 동기가 제공된다.