[논문 리뷰] Dualities from dualities in 2d $\mathcal{N}=(0,2)$

Antonio Amariti, Pietro Glorioso외 3명|arXiv (Cornell University)|2024. 10. 16.

Advanced Algebra and Geometry인용 수 1

한 줄 요약

이 논문은 기본 복소수와 반대칭 스칼라를 가진 SU(N) 게이지 이론과 칼라 및 페르미 메이저를 가진 랑동-긴츠부르크(Landau-Ginzburg, LG) 모델 사이의 새로운 2차원 $\sigma = (0,2)$ dualities를 제안한다. 4차원 s-confining SU(N) 및 USp(2N) 게이지 이론을 정수 R-전하 플럭스를 가진 두 개의 구면에서 위상적 토크를 적용함으로써, 저자들은 텐서 분리(deconfinement)와 반복적 이중성 캐스케이드를 통해 이러한 이중성을 '기본' 이중성들로부터 유도한다. 핵심 결과는 기존에 알려지지 않았던 SU(2n)에 대해 네 개의 기본 복소수와 반대칭 스칼라, 그리고 USp(4)에 대해 두 개의 반대칭 스칼라와 두 개의 기본 복소수를 가진 경우를 포함하는 체계적인 이중성 네트워크로, 타원 함수 계산과 일관성 검증을 통해 검증된다.

ABSTRACT

We propose 2d $\mathcal{N}=(0,2)$ dualities between SU(N) gauge theories with fundamental and antisymmetric chiral matter and Landau-Ginzburg theories with chiral and Fermi multiplets. Many of these dualities can be derived by topologically twisting 4d s-confining gauge theories on a two-sphere, with integer non-negative $R$ charges. We provide various checks of the dualities, showing that they descend from more "basic" dualities, similarly to analogous derivations in higher dimensions. The proof are based on the fact that the antisymmetric tensors can be traded with USp(2n) gauge theories with fundamental chirals, mimicking the higher dimensional mechanism known as tensor deconfinement. The quivers obtained in this way can be shown to be dual to LG models after applying other elementary "basic" dualities.

연구 동기 및 목표

• 기본 복소수와 반대칭 스칼라를 가진 SU(N) 게이지 이론과 랑동-긴츠부르크(Landau-Ginzburg, LG) 모델 사이의 체계적인 2차원 N=(0,2) 이중성 네트워크를 구축하는 것.
• 정수 R-전하 플럭스를 가진 S^2 위에서의 위상적 토크를 통해 4차원 s-confining 부모 이론들로부터 새로운 이중성을 유도함으로써 2차원에서 알려진 이중성 네트워크를 확장하는 것.
• 이러한 이중성이 SU(N)에 N±1개의 기본 복소수 또는 USp(2N)에 2N+2개의 기본 복소수를 가진 '기본' 이중성들로부터 반복적 이중성 캐스케이드와 텐서 분리(deconfinement)를 통해 유도된다는 것을 보여주는 것.
• 타원 함수 계산과 글로벌 대칭 및 중심 전하의 일치를 포함한 일관성 검증을 통해 제안된 이중성들을 검증하는 것.

제안 방법

• 정수 R-전하 플럭스를 가진 두 개의 구면 S^2 위에서 4차원 N=1 s-confining SU(N) 및 USp(2N) 게이지 이론에 위상적 토크를 적용하여 2차원 N=(0,2) 초대칭을 유지하는 것.
• 텐서 분리 메커니즘을 사용하여 반대칭 텐서 장을 USp(2n) 게이지 노드와 기본 복소수를 가진 것으로 교환함으로써 고차원 분리의 모방을 이루는 것.
• 기존의 알려진 '기본' 이중성들—예를 들어 SU(N)에 N±k개의 기본 복소수 또는 USp(2N)에 2N+2개의 기본 복소수를 가진 것들—을 반복적으로 적용하여 새로운 이중성을 도출하는 것.
• Jeffrey-Kirwan (JK) 잔여치 규정을 사용하여 양측의 타원 함수를 계산하고, 자비 타원 함수 항등식을 통해 동일성을 검증하는 것.
• 스퍼모텐셜 플립 메커니즘을 활용하여 반대칭 텐서의 트레이스를 LG 이중성의 페르미 메이저에 연결함으로써, W = ∑_j ˆΨ_j Tr A^j 를 사용하는 것.
• 모듈라 매개수 q에서의 미세한 검증과 타원 함수의 다섯 항 및 네 항 리만 항등식을 사용한 저랭크 사례에 대한 정확한 항등식을 통해 이중성을 검증하는 것.

실험 결과

연구 질문

• RQ1 정수 R-전하 플럭스를 가진 S^2 위에서의 위상적 토크를 통해 4차원 s-confining 이중성들로부터 SU(N) 게이지 이론에 반대칭 스칼라를 가진 2차원 N=(0,2) 이중성을 체계적으로 도출할 수 있는가?
• RQ2 SU(N)에 기본 복소수와 반대칭 스칼라를 가진 이중성과 LG 모델 사이의 제안된 이중성들이, SU(N)에 N±1개의 기본 복소수 또는 USp(2N)에 2N+2개의 기본 복소수를 가진 더 기본적인 이중성들로부터 유도되는가?
• RQ3 고차원에서 사용된 텐서 분리 메커니즘을 2차원에서 일관되게 적용하여 반대칭 텐서를 USp(2n) 게이지 섹터로 교환하고 이중성 캐스케이드를 가능하게 할 수 있는가?
• RQ4 SU(2n)에 네 개의 기본 복소수와 하나의 반대칭 스칼라, 또는 USp(4)에 두 개의 반대칭 스칼라와 두 개의 기본 복소수를 가진 새로운 이중성들이 알려진 4차원 s-confining 부모 이론이 없더라도 유효한가?
• RQ5 게이지 이론 측과 LG 측의 타원 함수를 정확히 또는 미세하게 계산하여 일치시킬 수 있는가, 이를 통해 이중성을 확인할 수 있는가?

주요 결과

• 논문은 정수 R-전하 플럭스를 가진 4차원 s-confining SU(N) 이론에 위상적 토크를 적용함으로써, 기본 복소수와 반대칭 스칼라를 가진 2차원 N=(0,2) 이중성을 도출하고, 칼라 및 페르미 메이저를 가진 이중 LG 모델을 얻는다.
• SU(2n)에 네 개의 기본 복소수와 하나의 반대칭 스칼라, 그리고 USp(4)에 두 개의 반대칭 스칼라와 두 개의 기본 복소수를 가진 경우, 텐서 분리와 반복적 이중성 캐스케이드를 통해 이중성이 확립되며, 알려진 4차원 s-confining 부모 이론이 없더라도 가능하다.
• SU(2) USp(2) 모델에 대해 네 개의 기본 복소수와 하나의 반대칭 스칼라가 존재할 때, 타원 함수가 다섯 항 리만 항등식을 사용하여 LG 측과 정확히 일치함을 계산하였다.
• USp(2N)에 반대칭 스칼라 하나와 기본 복소수 네 개가 존재하는 이중성은 반복적 이중성 캐스케이드를 통해 검증되었으며, 반대칭 스칼라가 USp(2N-2) 노드로 교환되고, 슈퍼포텐셜 W = ∑_j ˆΨ_j Tr A^j 를 사용하여 트레이스를 플립하는 방식이다.
• USp(2N) 모델의 타원 함수 항등식은 I^{(4;·;1)}_{USp(2N)}(⃗u;·;t) = ∏_{ℓ=1}^N θ(q/(t^{2N-1-ℓ} ∏_{a=1}^4 u_a)) / ∏_{ℓ=0}^{N-1} ∏_{a<b} θ(u_a u_b t^ℓ) 로 표현되며, 타원 함수 항등식을 통해 검증되었다.
• 저자들은 제안된 이중성이 c-extremization 및 글로벌 대칭 일치와 일관되며, 2차원의 이중성 네트워크가 4차원의 그것과 유사하며, '기본' 브릭들로부터 체계적인 절차를 통해 유도된다는 것을 보여주었다.