[論文レビュー] 0-Form, 1-Form and 2-Group Symmetries via Cutting and Gluing of Orbifolds

Mirjam Cvetič, Jonathan J. Heckman+2 more|arXiv (Cornell University)|Mar 18, 2022

Black Holes and Theoretical Physics被引用数 7

ひとこと要約

本稿は、M理論の compactification における軌道多様体特異点の切断・接合を分析することにより、5次元および4次元超対称量子場理論（SQFT）における0形式、1形式、および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理論の compactification における軌道多様体特異点の幾何から、特に1形式および2群対称性がどのように生じるかを理解すること。
• 特異点の明示的解消を回避するため、境界幾何の位相的不変量を用いて対称性データを抽出する手法を構築すること。
• 結果として得られるSQFTの欠損群または対称性構造と、境界の軌道多様体ホモロジーとの直接的な対応関係を確立すること。
• 5次元超対称的量子場理論（SCFT）および4次元SQCDに類似した理論の文脈において、2群構造が軌道多様体群Γのアーベル化に符号化されていることを示すこと。
• 切断・接合による特異点の操作に基づく共通の幾何的枠組みを用いて、さまざまなM理論の compactification におけるフレーバー、1形式、および2群対称性を統一的に記述すること。

提案手法

• 特異点の交差軌跡Kのトーラス近傍を除去した非コンパクトな幾何Xの境界に、Mayer-Vietoris完全列を適用し、対称性に関連するホモロジー情報を抽出する。
• 境界条件のカテゴリ ∂X° = ∂X \ T(K) が、境界の軌道多様体ホモロジーと同値であることを特定し、これにより全局対称性構造が符号化されることを示す。
• SU(3) の有限アーベル部分群の固定点集合と、それらがC³に作用する様子を分析し、特に2次元平面を保存する部分群（例：A_{n-1}特異点）の構造に注目する。
• 座標の位相条件から導かれる生成子を用いて、与えられた2次元平面を固定するΓ = ℤ_n × ℤ_m の部分群Hを計算し、商Γ/Hを用いて対称性の荷重を導出する。
• ℂ³/Γ から得られる5次元SCFTでは、1形式対称性が基本群π₁(S⁵/Γ)から抽出され、2群構造はΓのアーベル化と関連づけられる。
• 楕円ファイバー付きCalabi-Yau3-foldからの5次元コンフォーマルマターおよびG₂空間からの4次元SQCDに類似した理論に、この枠組みを適用し、異なるcompactificationタイプ間で一貫性が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 特異点の解消を回避して、M理論の compactification における軌道多様体特異点の幾何から、0形式、1形式、および2群対称性をどのように抽出できるか。
• RQ2 2群異常を含む全局対称性構造を符号化する、境界幾何の正確な位相的不変量は何か。
• RQ3 軌道多様体群Γのアーベル化は、5次元および4次元SQFTにおける2群対称性構造とどのように関係しているか。
• RQ4 M2ブレーンなどの拡張対象の欠損群は、境界の軌道多様体ホモロジーから再構成可能か。
• RQ5 切断・接合手順が、5次元SCFTおよび4次元SQCDに類似した理論を生じるような、さまざまなM理論の compactification のクラスにわたる対称性記述をどの程度統一的に可能にするか。

主な発見

• ℂ³/Γ により実現される5次元SCFTの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形式対称性因子を決定する。
• M理論をG₂空間にcompactifyした4次元SQCDに類似した理論では、Acharya-Witten錐の接合とその境界ホモロジーを分析することで、既知のフレーバーおよび1形式対称性が再現される。
• 境界幾何の軌道多様体ホモロジーは、欠損群および対称性構造を完全かつ同値に記述でき、異なるcompactificationタイプ間の取り扱いを統一する。