[論文レビュー] Some quantum vertex algebras of Zamolodchikov-Faddeev type

Martin L. Karel, Haisheng Li|ArXiv.org|Jan 18, 2008

Algebraic structures and combinatorial models参考文献 16被引用数 3

ひとこと要約

この論文は、対角的ユニタリな有理的量子Yang-Baxter作用素から構成される弱い量子頂点代数が非ゼロのとき、非可約な量子頂点代数であることを確立し、特定の交換関係の下で正規基底を備えたような代数の存在と一意性を証明している。この構成は形式的頂点作用素とS局所性に依拠しており、Zamolodchikov-Faddeev型の関係を用いて非可換で量子的な設定へ頂点代数理論を一般化している。

ABSTRACT

This is a continuation of a previous study of quantum vertex algebras of Zamolodchikov-Faddeev type. In this paper, we focus our attention on the special case associated to diagonal unitary rational quantum Yang-Baxter operators. We prove that the associated weak quantum vertex algebras, if not zero, are irreducible quantum vertex algebras with a normal basis in a certain sense.

研究の動機と目的

• 対角的ユニタリ有理的量子Yang-Baxter作用素のケースにまで量子頂点代数理論を拡張すること。
• このような作用素によって生成される弱い量子頂点代数が非可約かつ非退化となる条件を確立すること。
• 特定の交換関係の下で正規基底を備えた量子頂点代数の存在と一意性を証明すること。
• Zamolodchikov-Faddeev型の関係から得られる量子頂点代数の構成を、量子Yang-Baxter設定へ一般化すること。
• 非退化な弱い量子頂点代数が正規基底を備える場合、それが基礎となる代数的データからの普遍的構成と同型であることを示すこと。

提案手法

• 有限次元ベクトル空間 $H$ と対角的ユニタリ有理的量子Yang-Baxter作用素 $\nS(x)$ から、普遍的な弱い量子頂点代数 $V(H, \nS)$ を構成する。
• S局所性条件を用いて頂点作用素代数の構造を定義し、作用素積が $f_i(x)$ を含むねじれ交換関係を満たすことを保証する。
• S局所性公理を用いて、形式的べき級数上の留数操作により頂点作用素写像 $Y(u,x)$ を定義する。
• 真空ベクトル $\mathbf{1}$ によって生成されるモジュールがすべての頂点作用素に関して閉じていることを証明し、非可約性を示す。
• モードの順序付け条件 $q_{ii} = \pm 1$ を課すことにより、代数の正規基底を確立し、線形独立性と生成性を保証する。
• S局所作用素集合を用いた普遍的構成を適用し、任意のこのような代数と普遍的代数との間に同型が存在することを示し、一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 対角的ユニタリ有理的量子Yang-Baxter作用素によって生成される弱い量子頂点代数が非可約となる条件は何か？
• RQ2 正規基底を備えた非退化な弱い量子頂点代数が量子頂点代数として成立することを示せるか？
• RQ3 与えられた対角的ユニタリ有理的R行列と生成集合に対して、一意な量子頂点代数構造が存在するか？
• RQ4 正規基底の存在が、量子頂点代数の非退化性および非可約性とどのように関係するか？
• RQ5 形の $Y(u,x_1)Y(v,x_2) = \sum f_i(x_2 - x_1) Y(v^{(i)},x_2)Y(u^{(i)},x_1)$ の交換関係が、代数的構造を一意に決定するまでの程度はどの程度か？

主な発見

• 非ゼロの弱い量子頂点代数が対角的ユニタリ有理的量子Yang-Baxter作用素から構成される限り、非可約である。
• 正規基底を備えた弱い量子頂点代数は非退化であり、したがって量子頂点代数である。
• Sがユニタリかつ有理的である限り、普遍的な弱い量子頂点代数 $V(H, \nS)$ は非退化であり、したがって量子頂点代数である。
• 正規基底を備えた非退化な量子頂点代数は、普遍的構成 $V(H, \nS)$ と同型であるため、同型を除いて一意であることが証明された。
• 正規基底の存在により、代数がモードの順序付き単項式の線形包で生成されることを保証し、適切な基底構造が保証される。
• 例題 4.10 は、$f(0) = 1$ を満たす特定の $f(x)$-依存性を持つブレード的交換関係を満たす2生成子を持つ、一意な非可約量子頂点代数を構成している。