[论文解读] A remark on the $C_2$-cofiniteness condition on vertex algebras

Tomoyuki Arakawa|arXiv (Cornell University)|Apr 9, 2010

Algebraic structures and combinatorial models参考文献 19被引用 6

一句话总结

本文证明了对于有限强生成、非负整数分次的顶点代数，$C_2$-余有限性条件与 Beilinson、Feigin 和 Mazur 定义的光滑性条件等价。该等价性通过关联簇与奇异支撑构造得以证明，表明 $C_2$-余有限性并非技术性人工构造，而是一种自然的有限性条件，并在 Virasoro 与仿射顶点代数中具有应用。

ABSTRACT

We show that a finitely strongly generated, non-negatively graded vertex algebra $V$ is $C_2$-cofinite if and only if it is lisse in the sense of Beilinson, Feigin and Mazur. This shows that the $C_2$-cofiniteness is indeed a natural finiteness condition.

研究动机与目标

• 澄清 $C_2$-余有限性条件在顶点代数中的概念意义，该条件在诸多研究中被用作技术性假设。
• 证明 $C_2$-余有限性与 Beilinson、Feigin 和 Mazur 定义的光滑性条件等价，从而证明其作为自然有限性条件的合理性。
• 通过 Li 的典范滤过，将奇异支撑与关联簇的概念推广至顶点代数，实现与李理论滤过的比较。
• 提供一个统一 $C_2$-余有限性与光滑表示的理论框架，尤其适用于 Virasoro 与仿射顶点代数。

提出的方法

• 将 $V$-模 $M$ 的关联簇 $X_M$ 定义为 $V/C_2(V)$-模 $M/C_2(M)$ 的支撑。
• 利用 Li 的典范滤过，将 $M$ 的奇异支撑定义为 $X_M$ 的无限喷射概形的子概形。
• 证明 $M$ 是 $C_2$-余有限当且仅当 $X_M$ 为零维，这意味着奇异支撑也为零维。
• 通过证明 $\dim SS(M) = 0$ 当且仅当 $M/C_2(M)$ 在 $R_V$ 上为有限维，建立 $C_2$-余有限性与光滑性条件的等价性。
• 将该框架应用于 Virasoro 顶点代数与仿射顶点代数，表明 $C_2$-余有限性对应于可积的最高权模。
• 利用 Gabber 关于 annihilator 根式不变性的定理，证明 $\operatorname{gr}^{Lie}M$ 上 $L_{-1}$ 与 $L_{-2}$ 的幂零性蕴含 $SS^{BFM}(M) = \{0\}$。

实验结果

研究问题

• RQ1 在有限强生成、非负整数分次的顶点代数中，$C_2$-余有限性条件是否与光滑性条件等价？
• RQ2 能否通过关联簇与奇异支撑等几何不变量，将 $C_2$-余有限性条件解释为一种自然的有限性条件？
• RQ3 在顶点代数背景下，特别是对于 Virasoro 与仿射顶点代数，李理论滤过与 Li 的典范滤过如何比较？
• RQ4 在什么条件下，Virasoro 代数上的最高权模是 $C_2$-余有限的？这与极小系列表示有何关联？
• RQ5 $C_2$-余有限性在仿射顶点代数的不可约模上是否等价于相应 $\widehat{\mathfrak{g}}$-模的可积性？

主要发现

• 有限强生成、非负整数分次的顶点代数 $V$ 是 $C_2$-余有限当且仅当其在 Beilinson、Feigin 与 Mazur 意义下是光滑的。
• $C_2$-余有限性条件等价于关联簇 $X_M$ 为零维，这意味着奇异支撑 $SS(M)$ 也为零维。
• 对于 Virasoro 顶点代数，最高权模 $M$ 的 $C_2$-余有限性等价于 $SS^{BFM}(M) = \{0\}$，这恰好发生在 $M$ 为极小系列表示时。
• 在仿射顶点代数的情形下，$L(\lambda)$ 是 $C_2$-余有限当且仅当其为 $\widehat{\mathfrak{g}}$ 的可积表示，即当 $\lambda$ 为极大积分权时。
• 最高权 $\mathcal{L}$-模 $M$ 的奇异支撑 $SS^{BFM}(M)$ 为 $\{0\}$ 当且仅当 $L_{-1}$ 与 $L_{-2}$ 在 $\operatorname{gr}^{Lie}M$ 上幂零，这等价于 $M/C_2(M)$ 在 $R_{Vir^c}$ 上为有限维。
• 该证明依赖于一个事实：零维簇的喷射概形为零维，这构成了 $C_2$-余有限性与光滑性条件等价性的基础。