[論文レビュー] Equivalence of Borcherds G-Vertex Algebras and Axiomatic Vertex Algebras

Craig T. Snydal|ArXiv.org|Apr 20, 1999

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

ひとこと要約

この論文は、木によってインデックス付けられた特異写像に基づく多重線形枠組みを構築することで、ボルツァーズ G-頂点代数と公理的頂点代数の間の厳密な同値性を確立する。有理性、可換性、結合則が公理的構造から自然に生じることを示し、特定の条件下で公理的頂点代数と頂点群の表現の間の全単射対応を証明する。

ABSTRACT

In this paper we build an abstract description of vertex algebras from their basic axioms. Starting with Borcherds' notion of a vertex group, we naturally construct a family of multilinear singular maps parameterised by trees. These singular maps are defined in a way which focusses on the relations of singularities to their inputs. In particular we show that this description of a vertex algebra allows us to present generalised notions of rationality, commutativity and associativity as natural consequences of the definition. Finally, we show that for a certain choice of vertex group, axiomatic vertex algebras correspond bijectively to algebras in the relaxed multilinear category of representations of a vertex group.

研究の動機と目的

• ボルツァーズの頂点群の概念に基づいて、頂点代数の抽象的・公理的記述を提供すること。
• 根付き木によってパrameter化された多重線形特異写像を定義することで、頂点代数演算における特異性の役割を形式化すること。
• 有理性、可換性、結合則といった基本的性質が、公理的定義の直接的な帰結として生じることを示すこと。
• 公理的頂点代数と頂点群の緩められた多重線形カテゴリにおける表現の間の全単射対応を確立すること。

提案手法

• ボルツァーズの頂点群から出発し、有限の根付き木によってインデックス付けられた多重線形特異写像の族を構築する。
• 特異構造と入力データの関係に注目し、木の位相によって代数的関係を符号化する。
• カテゴリ的および図式的関係を緩められた多重線形カテゴリで表現するために、Xy-pic と amslatex を使用する。
• 一般化された結合則と可換性を許容する緩められた多重線形カテゴリの表現を用いて、頂点代数構造をモデル化する。
• カテゴリ理論および量子代数の道具を用いて、これらの特異写像の普遍的性質を定義および分析する。
• 特定の頂点群の選択に対して、公理的頂点代数構造が表現カテゴリ内の代数と一対一に対応することを示すことによって、同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 頂点代数は、ボルツァーズの頂点群形式主義を用いてどのように体系的に記述できるか？
• RQ2 頂点演算子の特異性は、その入力構造および木に基づくインデックス付けとどのように関係するか？
• RQ3 有理性、可換性、結合則は、追加の公理としてではなく、公理的定義の自然な帰結として導けるか？
• RQ4 公理的頂点代数と頂点群の表現との間の正確なカテゴリカル対応は何か？
• RQ5 どのような条件下で、頂点群が公理的頂点代数と全単射対応をもつのか？

主な発見

• 論文は、根付き木によってパrameter化された多重線形特異写像の族を構築し、頂点代数演算の構造的基盤を提供する。
• 有理性、可換性、結合則が、追加の公理を要せず、公理的定義から自然に生じることを示した。
• 特定の頂点群の選択に対して、公理的頂点代数と緩められた多重線形カテゴリにおける表現の代数との間の全単射対応が存在する。
• 特異性関係を入力に焦点を当てることで、頂点代数演算の概念を効果的に一般化した。
• Xy-pic と amslatex を用いたカテゴリ的および図式的記述により、頂点代数の形式的明確性が向上した。
• 結果は、指定されたカテゴリカル条件の下でボルツァーズ G-頂点代数と公理的頂点代数が同値であることを確認した。