[논문 리뷰] 0-Form, 1-Form and 2-Group Symmetries via Cutting and Gluing of Orbifolds

Mirjam Cvetič, Jonathan J. Heckman외 2명|arXiv (Cornell University)|2022. 03. 18.

Black Holes and Theoretical Physics인용 수 7

한 줄 요약

이 논문은 M-theory compactification에서 오비폴드 특이점의 잘라내기와 재접합을 분석함으로써 5차원 및 4차원 초대칭 양자장론(SQFTs)에서 0형, 1형, 2군 전역 대칭을 유도하기 위한 기하학적 프레임워크를 수립한다. 이는 경계 기하의 호몰로지—특히 특이 경계의 오비폴드 호몰로지—가 2군 이상의 아벨화된 오비폴드 군과 연결된 2군 이상을 포함한 전역 대칭 구조를 캐릭터라이즈한다는 것을 보여주며, 특이점의 명시적 해소 없이도 대칭 데이터를 추출하는 위상적 방법을 제공한다.

ABSTRACT

Orbifold singularities of M-theory constitute the building blocks of a broad class of supersymmetric quantum field theories (SQFTs). In this paper we show how the local data of these geometries determines global data on the resulting higher symmetries of these systems. In particular, via a process of cutting and gluing, we show how local orbifold singularities encode the 0-form, 1-form and 2-group symmetries of the resulting SQFTs. Geometrically, this is obtained from the possible singularities which extend to the boundary of the non-compact geometry. The resulting category of boundary conditions then captures these symmetries, and is equivalently specified by the orbifold homology of the boundary geometry. We illustrate these general points in the context of a number of examples, including 5D superconformal field theories engineered via orbifold singularities, 5D gauge theories engineered via singular elliptically fibered Calabi-Yau threefolds, as well as 4D SQCD-like theories engineered via M-theory on non-compact $G_2$ spaces.

연구 동기 및 목표

• 비단순 M-theory compactification에서 오비폴드 특이점의 기하학이 1형 및 2군 대칭을 어떻게 유도하는지 이해하기 위해.
• 특이점의 명시적 해소를 회피하기 위해 경계 기하의 위상적 불변량을 활용하여 대칭 데이터를 추출하는 방법을 개발하기 위해.
• 최종적으로 유도된 SQFT의 결함군 또는 대칭 구조와 경계의 오비폴드 호몰로지 사이의 직접적인 대응관계를 수립하기 위해.
• 5차원 초대칭적 장론(SCFTs)과 4차원 SQCD 유사 이론의 맥락에서 오비폴드 군 Γ의 아벨화가 2군의 구조에 어떻게 연결되는지 보여주기 위해.
• 자신들 간의 기하학적 프레임워크를 통해 5차원 SCFTs와 4차원 SQCD 유사 이론을 포함한 다양한 M-theory compactification에서의 풍미, 1형, 2군 대칭을 통합적으로 묘사하기 위해.

제안 방법

• 비단순 기하 X의 경계에 대해 교차 궤적 K의 튜브 이웃을 제거한 후, 경계에 Mayer-Vietoris 완전열을 적용하여 대칭에 관련된 호몰로지 데이터를 추출한다.
• ∂X° = ∂X \ T(K)에서의 경계 조건의 범주가 경계의 오비폴드 호몰로지와 동치임을 식별하며, 이는 전역 대칭 구조를 캐릭터라이즈한다.
• 이 방법은 SU(3)의 유한 아벨 부분군의 고정점 궤적과 그들이 C³에 작용하는 방식을 분석함에 기반하며, 특히 2평면을 보존하는 부분군(예: A_{n-1} 특이점)의 구조에 집중한다.
• 좌표의 위상 조건에서 유도된 생성자들을 사용하여 주어진 2평면을 보존하는 Γ = ℤ_n × ℤ_m의 부분군 H ⊂ Γ를 계산하고, 대칭 전하를 결정하기 위해 몫 Γ/H를 유도한다.
• ℂ³/Γ로부터 유도된 5차원 SCFTs의 경우, 1형 대칭은 기본군 π₁(S⁵/Γ)로부터 추출되며, 2군의 구조는 오비폴드 군의 아벨화와 연결된다.
• 이 프레임워크는 타원적 섬유화된 칼라비-유우 3차원 다양체로부터 유도된 5차원 공형 물질과 G₂ 공간에서의 M-theory compactification을 통한 4차원 SQCD 유사 이론에 적용되며, 다양한 compactification 유형 간 일관성을 보여준다.

실험 결과

연구 질문

• RQ1 특이점의 해소 없이 M-theory compactification에서 오비폴드 특이점의 기하학으로부터 0형, 1형, 2군 대칭을 어떻게 추출할 수 있는가?
• RQ2 전역 대칭 구조, 특히 2군 이상을 포함한 정확한 위상적 불변량은 무엇인가? 이는 경계 기하의 어떤 불변량에 의해 캐릭터라이즈되는가?
• RQ3 오비폴드 군 Γ의 아벨화는 5차원 및 4차원 SQFTs에서 2군 대칭의 구조와 어떻게 관련되는가?
• RQ4 M2 브레인과 같은 확장된 오브제크트의 결함군은 경계의 오비폴드 호몰로지로부터 재구성될 수 있는가?
• RQ5 잘라내기와 재접합 절차는 5차원 SCFTs와 4차원 SQCD 유사 이론을 포함한 다양한 M-theory compactification 유형 간 대칭의 묘사를 얼마나 통합적으로 설명할 수 있는가?

주요 결과

• ℂ³/Γ를 통해 유도된 5차원 SCFTs의 1형 대칭은 기본군 π₁(S⁵/Γ)에 의해 결정되며, 이는 경계 기하의 호몰로지와 일치한다.
• 이 이론들에서 2군의 구조는 이전 연구에서 추측된 바와 같이 오비폴드 군 Γ의 아벨화와 관련되어 있으며, 기하학적 계산을 통해 이제 뒷받침된다.
• 아벨리안 Γ = ℤ_n × ℤ_m에 대해, 경계 상의 고정점 궤적은 A_{gcd(n,k_i)-1} 특이점과 대응하며, 주어진 2평면을 보존하는 부분군 H ⊂ Γ는 각 평면에 대해 명시적으로 ℤ_{m·gcd(m',k_i)}로 계산된다.
• 몫 Γ/H는 ℤ_{m'/gcd(m',k₁)gcd(m',k₂)gcd(m',k₃)} 와 동형이며, 이는 2군의 0형 대칭 인자에 해당하는 전역 0형 대칭을 결정한다.
• G₂ 공간에서의 M-theory compactification을 통한 4차원 SQCD 유사 이론에서, 이 방법은 아카야-위튼 원뿔의 접합과 그 경계 호몰로지를 분석하여 알려진 풍미 및 1형 대칭을 재현한다.
• 경계 기하의 오비폴드 호몰로지는 결함군과 대칭 구조를 완전하고 등가적으로 묘사하며, 다양한 compactification 유형 간의 처리를 통합한다.