[論文レビュー] Glueing vertex algebras

Thomas Creutzig, Shashank Kanade+1 more|arXiv (Cornell University)|May 31, 2019

Algebraic structures and combinatorial models参考文献 54被引用数 21

ひとこと要約

この論文は、単純な対象から $α$ への写像 $α$ を介して、2つの頂点 operator 代数 $Υ$ と $Υ$ を結合することで、$\alpha$ という conformal な頂点代数を構成する。$Σ = \bigoplus \mathsf{X} \otimes \alpha(\mathsf{X})$ と定義される。主な結果は、$Σ$ が $Σ \otimes \u03a3$ の単純な conformal 拡張であるための必要十分条件は、$Σ$ と $Σ$ が braid-reversed 同値を介して、$Σ$ の対象 $Σ$ を $α(\u03a3)^*$ に写す、braided tensor category であることである。この構成は、モジュールカテゴリのデータを用いた頂点代数の拡張に関するカテゴリー的基準を提供する。

ABSTRACT

Let $\mathsf{U}$ and $\mathsf{V}$ be vertex operator algebras with module (sub)categories $\mathcal{U}$ and $\mathcal{V}$, respectively, satisfying suitable assumptions which hold for example if $\mathcal{U}$ and $\mathcal{V}$ are semisimple rigid braided (vertex) tensor categories with countably many inequivalent simple objects. If $ au$ is a map from the set of inequivalent simple objects of $\mathcal{U}$ to the objects $\mathcal{V}$ with $ au(\mathsf{U})=\mathsf{V}$, then we glue $\mathsf{U}$ and $\mathsf{V}$ along $\mathcal{U}\boxtimes \mathcal{V}$ via $ au$ to obtain the object \[ \mathsf{A} = \bigoplus \mathsf{X} \otimes au(\mathsf{X}) \] where the sum is over all inequivalent simple objects of $\mathcal{U}$. Assuming $\mathsf{U}$ and $\mathsf{V}$ form a commuting pair in $\mathsf{A}$ in the sense that the multiplicity of $\mathsf{V}$ is $\mathsf{U}$, our main theorem is that there is a braid-reversed equivalence between $\mathcal{U}$ and $\mathcal{V}$ mapping $\mathsf{X}$ to $ au(\mathsf{X})^*$ if and only if $\mathsf{A}$ can be given the structure of a simple conformal vertex algebra that (conformally) extends $\mathsf{U}\otimes \mathsf{V}$.

研究の動機と目的

• 2つの頂点 operator 代数 $\mathsf{U}$ と $\mathsf{V}$ を、それらの単純対象間の写像 $\alpha$ を用いて結合することで、新たな頂点代数 $\mathsf{A}$ を構成すること。
• 結合された代数 $\mathsf{A}$ が $\mathsf{U} \otimes \mathsf{V}$ を単純な conformal な頂点代数として拡張するためのカテゴリー的条件を特定すること。
• このような conformal 拡張の存在と、モジュールカテゴリ $\mathcal{U}$ と $\mathcal{V}$ 間の braid-reversed 同値の存在との間の明確な対応関係を確立すること。

提案手法

• 単純対象が互いに同値でない $\mathcal{U}$ の範囲で和を取る $\mathsf{A} = \bigoplus \mathsf{X} \otimes \alpha(\mathsf{X})$ を定義し、$\mathcal{U}$-対象から $\mathcal{V}$-対象への写像 $\alpha$ を用いる。ただし $\alpha(\mathsf{U}) = \mathsf{V}$ とする。
• $\mathsf{U}$ と $\mathsf{V}$ が $\mathsf{A}$ 内で可換対をなすものと仮定し、それらの作用の整合性を保証する。
• 可算個の単純対象をもつ半単純的・剛体的 braided tensor category の構造を用いて、良好に振る舞うモジュールカテゴリを保証する。
• テンソル積と braided 同値データを活用して、$\mathsf{A}$ 上に頂点代数構造を構成する。
• conformal 拡張の概念を適用し、$\mathsf{A}$ が単純な conformal な頂点代数となる条件を特定する。
• $\mathsf{X}$ を $\alpha(\mathsf{X})^*$ に写す $\mathcal{U}$ と $\mathcal{V}$ 間の braid-reversed 同値が、conformal 拡張の必要十分条件として確立される。

実験結果

リサーチクエスチョン

• RQ1 どのようなカテゴリー的条件下で、2つの頂点 operator 代数 $\mathsf{U}$ と $\mathsf{V}$ を、新たな conformal な頂点代数 $\mathsf{A}$ に結合できるか？
• RQ2 $\mathcal{U}$-単純対象から $\mathcal{V}$-対象への写像 $\alpha$ は、$\mathsf{A}$ の構成において果たす役割は何か？
• RQ3 $\mathsf{A}$ 内での $\mathsf{U} \otimes \mathsf{V}$ の conformal 拡張の存在は、$\mathcal{U}$ と $\mathcal{V}$ 間の braided 同値とどのように関係しているか？
• RQ4 $\mathsf{X}$ を $\alpha(\mathsf{X})^*$ に写す braid-reversed 同値の構成における意義は何か？
• RQ5 明示的な頂点作用素に言及しないで、モジュールカテゴリのデータのみを用いて、この結合手続きを完全に特徴づけられるか？

主な発見

• 結合された対象 $\mathsf{A} = \bigoplus \mathsf{X} \otimes \alpha(\mathsf{X})$ は、$\mathsf{U}$ と $\mathsf{V}$ が $\mathsf{A}$ 内で可換対をなす場合、単純な conformal な頂点代数構造を備えることができる。
• $\mathsf{U} \otimes \mathsf{V}$ の conformal 拡張が $\mathsf{A}$ 内に存在することは、モジュールカテゴリ $\mathcal{U}$ と $\mathcal{V}$ 間の braid-reversed 同値の存在と同値である。
• この braid-reversed 同値は、$\mathcal{U}$ の各単純対象 $\mathsf{X}$ を $\mathcal{V}$ 内の双対 $\alpha(\mathsf{X})^*$ に写し、braided tensor 構造と整合的であることを保証する。
• この構成は、$\mathcal{U}$ と $\mathcal{V}$ が可算個の単純対象をもつ半単純的・剛体的 braided tensor category であると仮定することで成立する。
• この結果は、モジュールカテゴリのデータを用いた conformal 拡張のためのカテゴリー的基準を提供し、頂点代数理論における既知の結合構成を一般化する。
• $\alpha(\mathsf{U}) = \mathsf{V}$ という条件は、真空モジュールのレベルでの結合の整合性を保証する。