[论文解读] 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$ 的格过滤广义模范畴中，于 $C_1$-余有限性与 $A_N(V)$ 的有限维性条件下，建立了不可约模的投射覆盖的存在性。关键结果是该范畴成为一个有限阿贝尔范畴，且在额外的 $\mathbb{R}$-分次与 $C_1$-余有限性条件下，对对数张量积运算封闭，从而构成一个有 braided 结构的张量范畴。

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$-余有限性与 $A_N(V)$ 的有限维性成立时，该范畴成为 $\mathbb{C}$ 上的有限阿贝尔范畴。
• 在作者定义的 $\mathbb{R}$-分次与 $C_1$-余有限性条件下，建立该范畴对对数张量积运算的封闭性。
• 证明配备对数张量积结构的该范畴构成一个 braided 张量范畴。
• 将对数张量积理论的框架扩展至包含投射覆盖与有限阿贝尔结构。

提出的方法

• 利用 Li 提出的 $C_1$-余有限性条件，以确保模范畴中的有限性性质。
• 应用对某个正整数 $N$，有 $A_N(V)$ 的有限维性，以控制不可约模的结构。
• 利用格过滤广义模理论与 $V$ 的表示理论，构造投射覆盖。
• 采用 [HLZ2] 中发展的对数张量积理论，特别是运算 $\otimes_{P(1)}^\prime$，以定义张量结构。
• 依赖于投射覆盖的存在性，以确保范畴对对数张量积运算封闭。
• 通过 [HLZ2] 的框架，验证范畴满足张量范畴的公理，包括结合性、braiding 与单位同构。

实验结果

研究问题

• RQ1 在何种条件下，格过滤广义 $V$-模范畴中不可约模存在投射覆盖？
• RQ2 在何种条件下，格过滤广义 $V$-模范畴成为 $\mathbb{C}$ 上的有限阿贝尔范畴？
• RQ3 何种条件可确保该范畴对对数张量积运算 $\otimes_{P(1)}^\prime$ 封闭？
• RQ4 作者定义下的 $\mathbb{R}$-分次与 $C_1$-余有限性如何影响张量范畴结构？
• RQ5 当投射覆盖存在时，对数张量积理论能否扩展为一个 braided 张量范畴？

主要发现

• 当 $V$ 为 $C_1$-余有限且 $A_N(V)$ 有限维时，格过滤广义 $V$-模范畴中所有不可约 $V$-模均存在投射覆盖。
• 在所述余有限性与有限维性条件下，格过滤广义 $V$-模范畴成为 $\mathbb{C}$ 上的有限阿贝尔范畴。
• 当 $V$-模为 $\mathbb{R}$-分次且在作者定义下 $C_1$-余有限时，该范畴对对数张量积 $\otimes_{P(1)}^\prime$ 封闭。
• 配备对数张量积结构、单位对象 $V$、来自 [HLZ2] 的 braiding 与结合性同构的范畴，构成一个 braided 张量范畴。
• 投射覆盖的存在性确保了该范畴在对数设定下支持完整的 braided 张量范畴结构。
• 有限维性 $A_N(V)$ 与最低共形权之间差值有界（以 $N$ 为界）是范畴有限性与阿贝尔结构的关键因素。