[論文レビュー] Orbifolding Frobenius Algebras

Ralph M. Kaufmann|ArXiv.org|Jul 23, 2001

Algebraic structures and combinatorial models参考文献 13被引用数 4

ひとこと要約

本論文は、有限群作用を伴うフォーベニウス代数の完全な公理的枠組み、すなわちオルビフォールド・フォーベニウス代数を導入し、cobordism圏による幾何的実現を確立する。また、これまで補助的と見なされてきたねじれセクターが、ミラー対称性において本質的であることを示し、$A_n$ を $\bbZ/(n+1)\bbZ$ でオルビフォールド化すると自己双対なミラー対が得られ、Frobenius代数の双対性を用いて $A_{2n+3}/\bbZ/2\bbZ \to D_n$ の遷移を初めて数学的に導出する。

ABSTRACT

We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e. orbifold theories. In this context, we introduce and axiomatize these algebras. Furthermore, we define a geometric cobordism categories whose functors to the category of vector spaces are parameterized by these algebras. The theory is also extended to the graded and super-graded cases. As an application, we consider Frobenius algebras having some additional properties making them more tractable. These properties are present in Frobenius algebras arising as quotients of Jacobian ideal, such as those having their origin in quasi-homogeneous singularities and their symmetries.

研究の動機と目的

• 物理的オルビフォールド理論（ストリング理論およびトポロジカル場理論）をモデル化する有限群作用を伴うフォーベニウス代数の厳密な公理的理論の構築。
• アティヤ＝デュブロヴィン＝ダイクグラーフ＝セガール形式をオルビフォールド設定に拡張し、これらの代数の幾何的実現をcobordism圏を通じて行う。
• ねじれセクターが技術的補足ではなく根本的構造であることを示し、特異点例におけるミラー対称性の必要性を明らかにすることで、その役割を明確化する。
• 準同次特異点およびその対称性が反映される構造を捉えるために、特にヤコビアン $G$-フォーベニウス代数を含む特別な $G$-フォーベニウス代数の導入と研究。
• オルビフォールド化がミラー対称性のメカニズムであることを示す双対変換を確立し、特に $\bbZ/(n+1)\bbZ$ 行動による $(A_n, A_1)$ と $(A_1, A_n)$ の双対性を例示する。

提案手法

• 自然な積構造とスカラー積構造に対応する、文字指標のずれを伴う2種類の異なる $G$-作用を持つフォーベニウス代数の公理化。
• $G$-不変をとる前段階で、すべてのねじれセクターの直和に非可換積を定義する、これまで未考慮であった画期的な構成。
• これらのオルビフォールド・フォーベニウス代数によってパrameter化される、ベクトル空間への関手を持つ幾何的cobordism圏の構成。
• ランダウ＝ジンブルグ理論および特異点理論をモデル化するため、特別な $G$-フォーベニウス代数（ヤコビアン $G$-フォーベニウス代数を含む）のクラスを導入。
• 次数付きおよび超次数付きのバージョンを用いてねじれセクターのパリティ選択を組み込み、ラムドおよびネヴェウ＝シュワーツセクターを完全に扱えるようにする。
• 双対変換を適用し、$A_n$ を $bZ/(n+1)bZ$ でオルビフォールド化すると自己双対なミラー対が得られ、経路積分を用いずに $A_{2n+3}/\bbZ/2\bbZ \to D_n$ の対応を数学的に導出する。

実験結果

リサーチクエスチョン

• RQ1 有限群作用を伴うフォーベニウス代数は、物理学および幾何学におけるオルビフォールド理論をモデル化するため、どのように公理化可能か？
• RQ2 ねじれセクターの幾何的意味は何か？なぜオルビフォールド構成において補助的ではなく本質的であるのか？
• RQ3 オルビフォールド化のプロセスは、ミラー対称性の一種と解釈可能か？その場合、フォーベニウス代数構造にどのように作用するか？
• RQ4 ランダウ＝ジンブルグ模型におけるラムドおよびネヴェウ＝シュワーツセクターは、群作用下での特異点のコホモロジーとどのように関係するか？
• RQ5 $\bbZ/2\bbZ$ 商を介して $A_{2n+3}$ から $D_n$ への遷移の背後にある数学的構造は何か？また、経路積分を用いずにどのように導出可能か？

主な発見

• 群 $\bbZ/(n+1)\bbZ$ による $A_n$ 特異点のオルビフォールド化は、ねじれセクターの和が非ねじれセクターと双対となる自己双対なミラー対を生成する。
• $A_{2n+3}/\bbZ/2\bbZ$ オルビフォールドは $D_n$ 特異点をもたらし、Frobenius代数の双対性を用いて経路積分を避けながら数学的にこの対応を導出する。
• 偶数次元セクターに自明な次数と自明な $G$-作用を持つ $A_n$ フォーベニウス代数は、$r$-スピン曲線代数と同型であり、ミラー対称性のAモデルにおけるその出現を確認する。
• 群 $G \subset O(n,\bbC)$ で $s_g^- = 0$ の場合、$G$-ねじれ代数はねじれ群代数となり、$H^2(G, k^*)$ によって構造が決定される。
• 群 $\bbZ/2\bbZ$ 行動を伴う $A_{2n-3}$ モデルにおけるラムドセクターの $G$-不変部分は $A_{n-2}$ に一致し、アーノルドの特異点理論の予測と整合する。
• ヤコビアン $G$-フォーベニウス代数に双対変換を適用すると、$(A_n, A_1)$ と $(A_1, A_n)$ は $\bbZ/(n+1)\bbZ$ オルビフォールド化の下でミラー双対となることが示され、ミラー対称性の新たなメカニズムが得られる。