[논문 리뷰] Superconformal Indices, Sasaki-Einstein Manifolds, and Cyclic Homologies

Richard Eager, Johannes Schmude외 1명|arXiv (Cornell University)|2012. 07. 03.

Black Holes and Theoretical Physics참고 문헌 50인용 수 7

한 줄 요약

이 논문은 순환 호몰로지와 코른-로시 코homology를 통해 퀘이어 게이지 이론의 초등방형 지수와 사스키-아인슈타인 다양체의 기하학적 불변량 사이의 정확한 이중성을 수립한다. 게이지 이론 측에서의 단일 트레이스 지수는 진즈부르크 dg 대수의 순환 호몰로지의 오일러 특성과 일치하며, 중력 측에서는 사스키-아인슈타인 기저의 코른-로시 코homology를 통해 표현되며, 이는 임의의 매끄러운 사스키-아인슈타인 다양체에 대해 게이지 이론과 중력 계산 간의 완전한 일致를 달성한다.

ABSTRACT

The superconformal index of the quiver gauge theory dual to type IIB string theory on the product of an arbitrary smooth Sasaki-Einstein manifold with five-dimensional AdS space is calculated both from the gauge theory and gravity viewpoints. We find complete agreement. Along the way, we find that the index on the gravity side can be expressed in terms of the Kohn-Rossi cohomology of the Sasaki-Einstein manifold and that the index of a quiver gauge theory equals the Euler characteristic of the cyclic homology of the Ginzburg dg algebra associated to the quiver.

연구 동기 및 목표

• 퀘이어 게이지 이론의 초등방형 지수와 사스키-아인슈타인 다양체의 기하학적 불변량 사이의 정확한 수학적 대응을 수립하는 것.
• 퀘이어와 관련된 진즈부르크 dg 대수의 순환 호몰로지의 오일러 특성과 일치하는 게이지 이론 측의 단일 트레이스 초등방형 지수를 보여주는 것.
• 중력 측의 지수를 사스키-아인슈타인 다양체의 코른-로시 코hom로 표현함으로써 지수의 기하학적 해석을 제공하는 것.
• S⁵와 T¹,₁와 같은 알려진 사례를 초월하여 임의의 매끄러운 사스키-아인슈타인 다양체에 대해 게이지 이론과 중력 계산 간의 일致를 검증하는 것.
• 칼라비-ย오우 콘의 하우치시ลด 및 순환 호몰로지와 연결하여 대칭 기하학, 비가환 기하학, 홀로그래픽 CFT를 연결하는 것.

제안 방법

• 토릭 칼라비-유우 콘에 대해 대 N 근사와 인수성 성질을 이용하여 퀘이어 게이지 이론에서 단일 트레이스 초등방형 지수를 유도한다.
• 퀘이어와 스위퍼포텐셜로부터 진즈부르크 dg 대수를 구성하고, 그 순환 호몰로지를 계산하며, 지수가 이 호몰로지의 오일러 특성과 일치함을 보여준다.
• 사스키-아인슈타인 다양체 위에서 칼루차-클라인 축소를 사용하여 중력 측을 분석하고, 지수를 기저 다양체의 코른-로시 코hom으로 표현한다.
• 칼라비-유우 콘의 확장 벡터장 D를 사용하여 호로모르픽 코탄제이언트 벡터 장을 D 수직 및 D 평행 부분으로 분해함으로써 기하학적 지수 공식을 가능하게 한다.
• 하우치시ลด 및 순환 호몰로지의 호지 분해와 장기 정렬 수열을 적용하며, 해소된 콘 Z에서의 3-칼라비-유우 조건을 활용하여 X와 Z 상의 호몰로지 군 간의 관계를 유도한다.
• 자연스러운 사상 H^q(X, ∧^pΩ′_X) → H^q(Z, ∧^pΩ_Z)가 0 ≤ p−q ≤ 3일 때 동형사상임을 가정하여, 콘 X와 해소된 공간 Z 상의 코homology 군 간의 동형을 수립한다.

실험 결과

연구 질문

• RQ1 AdS₅ × Y⁵에서의 IIB 이론에 이중적인 퀘이어 게이지 이론의 초등방형 지수는 사스키-아인슈타인 기저 Y⁵의 기하학적 불변량으로 순수하게 표현될 수 있는가?
• RQ2 퀘이어와 관련된 진즈부르크 dg 대수의 순환 호몰로지로써 초등방형 지수의 정확한 대수기하학적 해석이 존재하는가?
• RQ3 사스키-아인슈타인 다양체 위에서 칼루차-클라인 모드를 통해 계산된 중력 측의 지수는 기저의 코른-로시 코hom으로 어떻게 관련되는가?
• RQ4 퀘이어와 스위퍼포텐셜에서 유도된 게이지 이론 지수와 중력 측 지수가 S⁵와 T¹,₁를 초월하여 임의의 매끄러운 사스키-아인슈타인 다양체에서 일치하는가?
• RQ5 칼라비-유우 콘과 그 크레펜트 해소에서의 코homology 군 간의 동형은 지수 계산에 필요한 구조를 얼마나 잘 유지하는가?

주요 결과

• 게이지 이론 측에서의 단일 트레이스 초등방형 지수는 퀘이어와 관련된 진즈부르크 dg 대수의 순환 호몰로지의 오일러 특성으로 주어지며, ∑_{p−q} (−1)^{p−q} Tr t^{2D} | H^q(X, ∧^pΩ′_X) 로 표현된다.
• 중력 측에서의 지수는 사스키-아인슈타인 다양체 Y⁵의 코른-로시 코hom으로 완전히 결정되며, 지수는 ∑_{0≤p−q≤2} (−1)^{p−q} Tr t^{2D} | H^q(X, ∧^pΩ′_X) 로 표현된다.
• 게이지 이론과 중력 계산 간의 일치는 S⁵와 T¹,₁와 같은 고전적 사례를 초월하여 임의의 매끄러운 사스키-아인슈타인 다양체에 대해 확립되었다.
• 논문은 지수 계산이 칼라비-유우 콘 X ∪{0}의 크레펜트 해소 Z일 때 H^q(X, ∧^pΩ′_X)와 H^q(Z, ∧^pΩ_Z) 간의 동형에 의존함을 밝혀내었으며, 이 동형은 이중성의 일관성에 필수적이다.
• 하우치시ลด 및 순환 호몰로지의 장기 정렬 수열과 굿위의 정리를 적용하여 수열이 분할됨을 보이며, 이로써 HC_i(D)를 ⊕_{p−q=i} H^q(X, ∧^pΩ′_X) 와 동일시할 수 있으며, 이는 지수를 기하학적 자료와 직접 연결한다.
• 유도 과정은 H^q(X, ∧^pΩ′_X) → H^q(Z, ∧^pΩ_Z) 가 0 ≤ p−q ≤ 3일 때 동형사상임을 가정하며, 논문은 이 조건이 위반될 경우 AdS/CFT 이중성이 실패함을 보여준다.