[논문 리뷰] Reading between the rational sections: Global structures of 4d $\mathcal{N}=2$ KK theories

Cyril Closset, Horia Magureanu|arXiv (Cornell University)|2023. 08. 20.

Black Holes and Theoretical Physics참고 문헌 90인용 수 4

한 줄 요약

이 논문은 4차원 $N=2$ 초대칭 장 이론의 전반적 구조와 세이버그-위튼 타원적 분할에서의 모르델-바일 군의 비자리 부분군 사이의 기하적 대응을 수립한다. 상대적이고 절대적인 세이버그-위튼 곡선을 구분하여, 1형 대칭을 게이지화하는 것이 비자리 점을 생성하는 이소지니의 복합으로 표현됨을 보이며, 이를 통해 5차원 및 6차원 초대칭 간섭장 이론의 칼루차-클라인 이론에서의 전반적 구조를 분류한다. 이는 $T^2$ 위의 M-스트링 이론을 포함한다. 주요 기여는 타원 곡선의 이소지니를 통한 결함 군과 1형 대칭의 체계적인 기하적 표현이다.

ABSTRACT

We study how the global structure of rank-one 4d $\mathcal{N}=2$ supersymmetric field theories is encoded into global aspects of the Seiberg-Witten elliptic fibration. Starting with the prototypical example of the $\mathfrak{su}(2)$ gauge theory, we distinguish between relative and absolute Seiberg-Witten curves. For instance, we discuss in detail the three distinct absolute curves for the $SU(2)$ and $SO(3)_\pm$ 4d $\mathcal{N}=2$ gauge theories. We propose that the $1$-form symmetry of an absolute theory is isomorphic to a torsion subgroup of the Mordell-Weil group of sections of the absolute curve, while the full defect group of the theory is encoded in the torsion sections of a so-called relative curve. We explicitly show that the relative and absolute curves are related by isogenies (that is, homomorphisms of elliptic curves) generated by torsion sections -- hence, gauging a one-form symmetry corresponds to composing isogenies between Seiberg-Witten curves. We apply this approach to Kaluza-Klein (KK) 4d $\mathcal{N}=2$ theories that arise from toroidal compactifications of 5d and 6d SCFTs to four dimensions, uncovering an intricate pattern of 4d global structures obtained by gauging discrete $0$-form and/or $1$-form symmetries. Incidentally, we propose a 6d BPS quiver for the 6d M-string theory on $\mathbb{R}^4 imes T^2$.

연구 동기 및 목표

• 4차원 $\mathcal{N}=2$ 초대칭 양자장론의 전반적 구조—특히 $SU(2)$, $SO(3)_{/pm}$와 같은 게이지 군의 선택—이 세이버그-위튼 기하학에 어떻게 표현되는지 명확히 하기.
• 상대적 세이버그-위튼 곡선과 절대적 세이버그-위튼 곡선을 구분하기. 상대적 곡선은 리 대칭군의 동역학을 기술하고, 절대적 곡선은 전체 게이지 군의 전반적 구조를 포함한다.
• 절대적 세이버그-위튼 곡선의 모를델-바일 군의 비자리 부분군과 1형 대칭 사이의 기하적 대응을 수립하기.
• 이 프레임워크를 5차원 및 6차원 초대칭 간섭장 이론의 칼루차-클라인 compactification에 적용하여, 0형 및 1형 대칭의 이산적 게이지화에서 유도되는 전반적 구조 패턴을 밝혀내기.
• 같은 기하 프레임워크를 사용하여 $\mathbb{R}^4 \times T^2$ 위의 M-스트링 이론에 대해 6차원 BPS 퀘일을 제안하기.

제안 방법

• 상대적 곡선과 절대적 곡선을 구분: 상대적 곡선은 리 대칭군의 동역학을 기술하고, 절대적 곡선은 전체 게이지 군의 전반적 구조를 포함한다.
• 절대 이론의 1형 대칭이 절대 세이버그-위튼 곡선의 모를델-바일 군의 비자리 부분군과 동형임을 확인한다.
• 비자리 점을 생성하는 이소지니—비자리 점에 의해 생성되는 타원 곡선 간의 군 준위상사상—을 사용하여 1형 대칭의 게이지화 과정을 모델링한다.
• 이 프레임워크를 5차원 $E_1[\mathfrak{su}(2)]$ 및 6차원 $E_0$ 이론의 칼루차-클라인 compactification에 적용하여, 모듈러 군과 특이점 유형을 통해 유도된 전반적 구조를 분석한다.
• 이론의 결함 군을 상대 세이버그-위튼 곡선의 비자리 점과 연관지으며, $\mathfrak{su}(2)$ 이론의 경우 결함 군 $\mathbb{D} = \mathbb{Z}_2 \oplus \mathbb{Z}_2$가 상대 곡선의 비자리 점에 의해 표현됨을 보인다.
• 모듈러 형식과 $\mathrm{PSL}(2,\mathbb{Z})$의 동치 하위군을 사용하여 곡선의 모듈러 성질과 관련 대칭을 분류한다.

실험 결과

연구 질문

• RQ1 4차원 $\mathcal{N}=2$ 초대칭 양자장론의 전반적 구조—특히 $SU(2)$와 $SO(3)_{\pm}$를 구분하는 방식—은 어떻게 세이버그-위튼 기하학에 표현되는가?
• RQ2 상대적 곡선과 절대적 곡선 사이의 정확한 기하적 관계는 무엇이며, 이들 사이의 이소지니는 어떻게 1형 대칭의 게이지화에 대응하는가?
• RQ3 절대 곡선의 모를델-바일 군의 비자리 점은 이론의 1형 대칭을 어떻게 실현하는가?
• RQ4 원 또는 토러스 위에서 5차원 및 6차원 초대칭 간섭장 이론을 compactify할 때 어떤 전반적 구조가 나타나며, 세이버그-위튼 기하학을 통해 어떻게 분류되는가?
• RQ5 M-스트링 이론에 대해 $T^2$ 위에 6차원 BPS 퀘일을 구성할 수 있으며, 그 결과로 유도된 4차원 이론의 전반적 구조와의 관계는 어떠한가?

주요 결과

• 절대 $\mathcal{N}=2$ 이론의 1형 대칭은 그 절대 세이버그-위튼 곡선의 모를델-바일 군의 비자리 부분군과 동형이다.
• $\mathfrak{su}(2)$ 이론의 경우 결함 군 $\mathbb{D} = \mathbb{Z}_2 \oplus \mathbb{Z}_2$는 상대 세이버그-위튼 곡선의 비자리 점에 의해 표현된다.
• 1형 대칭의 게이지화는 세이버그-위튼 곡선 간의 이소지니 복합으로 표현되며, 이 이소지니는 비자리 점에 의해 생성된다.
• $\mathfrak{su}(2)$ 이론에 대해 세 가지의 서로 다른 절대 곡선이 존재하며, 이는 각각 $SU(2)$, $SO(3)_{+}$, $SO(3)_{-}$에 대응하고, 1형 대칭은 각각 $\mathbb{Z}_2$, $\mathbb{Z}_2$, $\mathbb{Z}_4$이다.
• $S^1$ 위에서 compactified된 5차원 $E_1[\mathfrak{su}(2)]$ 이론에서 유도된 $\mathcal{N}=2$ 칼루차-클라인 이론은 이산적 게이지화에 의해 분류되며, 모듈러 군은 $\Gamma(2)$, $\Gamma_0(4)$, $\Gamma(4)$이다.
• M-스트링 이론은 $T^2$ 위에서 6차원 BPS 퀘일 제안이 가능하며, 그 4차원 전반적 구조는 절대 세이버그-위튼 곡선의 비자리 구조에 의해 결정되며, $\mathbb{Z}_3^{[0]}$ 게이지화는 $V$-평면 상의 $\mathbb{Z}_3$ 오르비폭점으로 이어진다.