[論文レビュー] Cofiniteness conditions, projective covers and the logarithmic tensor product theory

Yi-Zhi Huang|ArXiv.org|Dec 26, 2007

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

ひとこと要約

この論文は、頂点作用素代数 $V$ の勾配制限一般化 $V$-加群の圏において、$C_1$-cofiniteness および $A_N(V)$ の有限次元性の条件下で、不可約加群に対する射影被覆の存在を確立する。主な結果は、その圏が有限アーベル圏となり、追加の $\mathbb{R}$-勾配および $C_1$-cofiniteness 条件のもとで、対数的テンソル積演算に関して閉じており、ぶらうどテンソル圏をなすことである。

ABSTRACT

We construct projective covers of irreducible V-modules in the category of grading-restricted generalized V-modules when V is a vertex operator algebra satisfying the following conditions: 1. V is C_{1}-cofinite in the sense of Li. 2. There exists a positive integer N such that the differences between the real parts of the lowest conformal weights of irreducible V-modules are bounded by N and such that the associative algebra A_{N}(V) is finite dimensional. This result shows that the category of grading-restricted generalized V-modules is a finite abelian category over C. Using the existence of projective covers, we prove that if such a vertex operator algebra V satisfies in addition Condition 3, that irreducible V-modules are R-graded and C_{1}-cofinite in the sense of the author, then the category of grading-restricted generalized V-modules is closed under P(z)-tensor product operations for z in C^{ imes}. We also prove that other conditions for applying the logarithmic tensor product theory developed by Lepowsky, Zhang and the author hold. Consequently, for such V, this category has a natural structure of braided tensor category. In particular, when $V$ is of positive energy and C_{2}-cofinite, Conditions 1--3 are satisfied and thus all the conclusions hold.

研究の動機と目的

• 勾配制限一般化 $V$-加群の圏における不可約 $V$-加群に対する射影被覆の存在を証明すること。
• $C_1$-cofiniteness および $A_N(V)$ の有限次元性の下で、その圏が $\mathbb{C}$ 上の有限アーベル圏となることの証明。
• 著者による意味での $V$-加群が $\mathbb{R}$-勾配であり、$C_1$-cofinite である場合に、その圏が対数的テンソル積演算 $\otimes_{P(1)}^\prime$ に関して閉じていることを確立すること。
• 対数的テンソル積構造を備えた結果の圏が、ぶらうどテンソル圏であることを示すこと。
• 対数的テンソル積理論の枠組みを、射影被覆および有限アーベル構造を含むように拡張すること。

提案手法

• 頂点作用素代数 $V$ の Li による $C_1$-cofiniteness 条件を用いて、加群圏における有限性を保証する。
• $A_N(V)$ の有限次元性（ある正の整数 $N$ に対して）を適用し、不可約加群の構造を制御する。
• 勾配制限一般化加群の理論および $V$ の表現論を用いて、射影被覆を構成する。
• [HLZ2] で発展された対数的テンソル積理論、特に演算子 $\otimes_{P(1)}^\prime$ を用いてテンソル構造を定義する。
• 射影被覆の存在に依存して、圏が対数的テンソル積演算に関して閉じていることを保証する。
• [HLZ2] の枠組みを用いて、結合則、交差、単位同型などの公理を満たすことを検証し、ぶらうどテンソル圏の公理を満たしていることを確認する。

実験結果

リサーチクエスチョン

• RQ1 勾配制限一般化 $V$-加群の圏が、不可約加群に対して射影被覆をもつのはどのような条件下か？
• RQ2 勾配制限一般化 $V$-加群の圏が $\mathbb{C}$ 上の有限アーベル圏となるのはどのようなときか？
• RQ3 どのような条件下で、その圏が対数的テンソル積演算 $\otimes_{P(1)}^\prime$ に関して閉じているか？
• RQ4 著者による意味での $\mathbb{R}$-勾配および $C_1$-cofiniteness は、テンソル圏構造にどのように影響するか？
• RQ5 射影被覆が存在する場合、対数的テンソル積理論をどのように拡張して、ぶらうどテンソル圏を得られるか？

主な発見

• $V$ が $C_1$-cofinite であり、$A_N(V)$ が有限次元であるとき、勾配制限一般化 $V$-加群の圏におけるすべての不可約 $V$-加群に対して射影被覆が存在する。
• 提示された cofiniteness および有限次元性の条件下で、勾配制限一般化 $V$-加群の圏は $\mathbb{C}$ 上の有限アーベル圏となる。
• $V$-加群が $\mathbb{R}$-勾配であり、著者による意味で $C_1$-cofinite である場合、その圏は対数的テンソル積 $\otimes_{P(1)}^\prime$ に関して閉じている。
• 対数的テンソル積構造、単位対象 $V$、[HLZ2] からの交差および結合則同型を備えた圏は、ぶらうどテンソル圏をなす。
• 射影被覆の存在により、対数的設定におけるぶらうどテンソル圏の完全な構造が保証される。
• $A_N(V)$ の有限次元性および最低 conformal weight の差が $N$ で有界であることは、圏の有限性およびアーベル構造にとって不可欠である。