[논문 리뷰] Holography and Koszul duality: the example of the $M2$ brane

Kevin Costello|arXiv (Cornell University)|2017. 05. 06.

Black Holes and Theoretical Physics참고 문헌 19인용 수 47

한 줄 요약

이 논문은 Ω-배경에서 M2 브레인의 맥락에서 코즐 유도를 통한 헬로그래픽 AdS/CFT 대응의 정밀한 실현을 확립한다. 큰 K 근처에서 K개의 M2 브레인 위의 초대칭 연산자 대수는 동일한 배경에서 11차원 초중력이론의 연산자 대수와 코즐 유도 관계에 있으며, 양 대수 모두 양자 이중순환 대수이며 모든 섭동 순서에서 완전히 양자화됨을 보여준다.

ABSTRACT

Si Li and author suggested in that, in some cases, the AdS/CFT correspondence can be formulated in terms of the algebraic operation of Koszul duality. In this paper this suggestion is checked explicitly for $M2$ branes in an $Ω$-background. The algebra of supersymmetric operators on a stack of $K$ $M2$ branes is shown to be Koszul dual, in large $K$, to the algebra of supersymmetric operators of $11$-dimensional supergravity in an $Ω$-background (using the formulation of supergravity in an $Ω$-background presented in arXiv:1610.04144). The twisted form of supergravity that is used here can be quantized to all orders in perturbation theory. We find that the Koszul duality result holds to all orders in perturbation theory, in both the gravitational theory and the theory on the $M2$. (However, there is a certain non-linear identification of the coupling constants on each side which I was unable to determine explicitly). It is also shown that the algebra of operators on $K$ $M2$ branes, as $K o \infty$, is a quantum double-loop algebra (a two-variable analog of the Yangian). This algebra is also the Koszul dual of the algebra of operators on the gravitational theory. An explicit presentation for this algebra is presented, and it is shown that this algebra is the unique quantization of its classical limit. Some conjectural applications to enumerative geometry of Calabi-Yau threefolds are also presented.

연구 동기 및 목표

• 헬로그래피가 AdS/CFT에서 코즐 유도를 통해 기술될 수 있는지 확인하기 위해, 특히 M2 브레인의 맥락에서 검증한다.
• Ω-배경에서 K개의 M2 브레인 위의 초대칭 연산자 대수가 11차원 초중력이론의 연산자 대수와 코즐 유도 관계에 있음을 검증한다.
• 이 유도 관계가 M2 브레인 이론과 초중력 이론 양쪽 모두의 섭동 이론 전반에 걸쳐 성립함을 보인다.
• M2 브레인 연산자 대수의 큰-K 근처에서의 극한이 양자 이중순환 대수임을 규명한다. 이는 양이안의 이중변수 일반화이다.
• 이 대수의 고전적 극한의 양자화가 유일함을 증명하고, 나카지마 퀼리 다양체의 변형 양자화와 연관시킨다.

제안 방법

• 이전에 [Cos16]에서 구축된 바 있는, Ω-배경에서 11차원 초중력이론의 비틀린 형식을 활용하며, 이를 5차원 비가환 게이지 이론으로 매핑한다.
• 수학적 프레임워크인 코즐 유도를 사용하여 M2 브레인 이론과 비틀린 초중력이론의 연산자 대수 간의 관계를 설정한다.
• 호흐실드 호모로지 및 코호몰로지 기법을 적용하여 관련 대수적 복합체의 미분 구조를 분석한다.
• 비가환 대수 $\mathbb{C}[z_1, z_2]$ 위의 순환 텐서와 양측 모듈 구조를 사용하여 코즐 쌍대 복합체의 사슬 수준 모델을 구성한다. 여기서 곱은 모일 곱이다.
• 변형 이론을 사용하여 양자 대수 $A_{N,\hbar,c}$ 가 그 고전적 극한 $U(\operatorname{Diff}(\mathbb{C})\otimes\mathfrak{gl}_N)$ 의 유일한 양자화임을 보인다.
• 게이지 이론과 대수적 모델 간의 연산자 곱 전개를 직접 계산하고, 이를 대응시킨다.

실험 결과

연구 질문

• RQ1 M2 브레인/11차원 초중력 이론 체계에서 AdS/CFT 헬로그래피는 코즐 유도를 통해 실현 가능한가?
• RQ2 M2 브레인과 초중력 연산자 대수 간의 코즐 유도 관계는 섭동 이론 전반에 걸쳐 성립하는가?
• RQ3 큰-K 근처에서 K개의 M2 브레인 위의 연산자 대수의 대수적 구조는 무엇인가?
• RQ4 이 유도 관계에서 유도된 양자 이중순환 대수는 그 고전적 극한에서 유일하게 양자화될 수 있는가?
• RQ5 이 유도 관계는 칼라비-야우 3차원 다양체의 수열적 불변량에 어떤 영향을 미치는가?

주요 결과

• Ω-배경에서 K개의 M2 브레인 위의 초대칭 연산자 대수가 11차원 초중력이론의 연산자 대수와 코즐 유도 관계에 있으며, 이는 섭동 이론 전반에 걸쳐 성립함을 보였다.
• 큰-K 근처에서 M2 브레인 연산자 대수는 양자 이중순환 대수로 변형되며, 이는 양이안의 이중변수 일반화이다. 이 대수는 초중력 대수와도 코즐 유도 관계에 있다.
• 양자 대수 $A_{N,\hbar,c}$ 는 그 고전적 극한 $U(\operatorname{Diff}(\mathbb{C})\otimes\mathfrak{gl}_N)$ 의 유일한 양자화임을 증명하였으며, 이에 대한 변형 클래스는 호모로지에서 비자명하다.
• 양자 대수의 변형 클래스가 비정확하다는 것을, 이와 비자명하게 쌍대되는 닫힌 사슬 원소를 제시함으로써 보였다.
• 논문은 양자 이중순환 대수의 명시적 표현을 제공하며, 이의 조합 구조가 5차원 게이지 이론 이중체에서의 연산자 곱 전개 계산과 일치함을 보였다.
• 이 유도 프레임워크를 통해 분류된 도널드슨-테오 불변량과 칼라비-야우 3차원 다양체의 수열 기하학과의 추측적 연결을 제시하였다.