[論文レビュー] Ribbon categories and (unoriented) CFT: Frobenius algebras, automorphisms, reversions

Jürgen Fuchs, Ingo Runkel+1 more|ArXiv.org|Nov 23, 2005

Algebraic structures and combinatorial models参考文献 19被引用数 6

ひとこと要約

本稿は、モジュラーテンソルカテゴリにおける対称的・特別なフロベニウス代数を用いて、非指向的共形場理論（CFT）を構成するカテゴリー的枠組みを確立する。特に、自己同型 σ がその逆代数から自分自身への同型であり、σ² = ツイスト である「反転（reversion）」の概念を導入する。主な貢献は、代数の自己同型を用いた等価な非指向的CFTの分類であり、内自己同型は相関関数を符号のみで変化させることを示し、単純なジャンドル代数の同値類の有限性を証明する。

ABSTRACT

A Morita class of symmetric special Frobenius algebras A in the modular tensor category of a chiral CFT determines a full CFT on oriented world sheets. For unoriented world sheets, A must in addition possess a reversion, i.e. an isomorphism from A^opp to A squaring to the twist. Any two reversions of an algebra A differ by an element of the group Aut(A) of algebra automorphisms of A. We establish a group homomorphism from Aut(A) to the Picard group of the bimodule category C_AA, with kernel consisting of the inner automorphisms, and we refine Morita equivalence to an equivalence relation between algebras with reversion.

研究の動機と目的

• モジュラーテンソルカテゴリにおける代数的構造を用いて、方向付き世界面から非指向的世界面へのフルCFTの構成を拡張すること。
• 対称的・特別なフロベニウス代数上での「反転」の概念を定義・特徴づけ、非指向的CFTに不可欠であることを示すこと。
• フロベニウス代数の自己同型とその反転への作用を調べることで、等価な非指向的CFTを分類すること。
• モジュラーテンソルカテゴリ内での非同値なジャンドル代数（反転を備えた代数）の数に有限の上限を確立すること。

提案手法

• 本稿は、モジュラーテンソルカテゴリにおける対称的・特別なフロベニウス代数のモラータ同値性枠組みを用いて、方向付き世界面におけるフルCFTを構成する。
• 反転とは、逆代数から自分自身への同型写像であり、σ² = θ_A（ツイスト自己同型）を満たすものとして定義される。
• Aut(A) から双モジュールカテゴリ ℂ_{A|A} のピカード群への群準同型を構成し、その核は内自己同型からなる。
• ジャンドル代数間の同値関係を自己同型を考慮して精緻化し、反転と内自己同型の合成が、三角形分割された世界面における局所的向きの選択にどのように作用するかを分析する。
• 証明は、反転のデータが、局所的向きが一致しない辺でのみ影響を及ぼすため、各世界面で高々2本の辺に制限されるトポロジカル場理論（TFT）の構成に依拠している。
• 代数の中心の性質と自己同型が可逆元に作用する方法を用い、特に σ∘α = εα（ε = ±1）という条件を通じて分析を行う。

実験結果

リサーチクエスチョン

• RQ1 モジュラーテンソルカテゴリにおける対称的・特別なフロベニウス代数を用いて、非指向的世界面におけるフルCFTをどのように構成できるか？
• RQ2 反転と自己同型の合成が有効な反転のままであるためには、代数自己同型が満たすべき条件は何か？
• RQ3 内自己同型は、ジャンドル代数に基づく非指向的CFTの相関関数にどのように影響を与えるか？
• RQ4 反転構造を保つフロベニウス代数の自己同型群の構造はどのようなものか？
• RQ5 モジュラーテンソルカテゴリ内での非同値なジャンドル代数の数に有限性の性質があるか？

主な発見

• 任意の対称的・特別なフロベニウス代数 A の二つの反転は、A の代数自己同型群 Aut(A) の元によってのみ異なる。
• Aut(A) は、双モジュールカテゴリ ℂ_{A|A} のピカード群への群準同型として写像され、その核は内自己同型の群である。
• 非同値なジャンドル代数 (A,σ) の数は、外自己同型群 Aut(A)/Inn(A) の位数によって上限が与えられ、これは ℂ_{A|A} のピカード群の位数によっても上限が与えられる。
• 単純な対称的・特別なフロベニウス代数 A に対しては、単純なジャンドル代数の同値類の数は有限である。
• 反転 σ と内自己同型 ϖ_α の合成により得られる相関関数は、元のものと符号因子 (−1)^cr(X) だけ異なる。ここで cr(X) は、X におけるクロスキャップの数を2で割った余りである。
• σ∘ϖ_α が反転であるための条件は、σ∘α = εα（ε = ±1）と同値であり、この条件は A の中心による α の軌道にのみ依存する。