Virasoro代数表示的广义Castelnuovo–Mumford正则性

《Axioms》：Generalized Castelnuovo-Mumford Regularity for Representations of the Virasoro Algebra

　　

研究人员计算了Virasoro代数Vir的不可约最高权模的广义非交换Castelnuovo–Mumford正则性。在配备层级分度的负分次泛包络代数A=U(???)?U(Vir)上（其中deg L??=n），研究人员分析了三类结构性的表示：一般Verma模、具有单个奇异生成元的不可约商以及有理极小模型。特别地，对于极小模型中的不可约商L(c{p,q}, h{r,s})（其中1≤r≤p?1，1≤s≤q?1），研究人员利用Verma模的Feigin–Fuchs结构定理证明了Feigin–Fuchs与Rocha-Caridi–Wallach的BGG型消解限制为A上的极小分次自由消解，且每个正同调次数恰好包含两个自由直和项，并分别确定了奇、偶同调次数下所有生成元的次数。次数界为T?=(((ipq+η?)2?(rq?sp)2)/(4pq))，其中偶数i时η?=|rq?sp|，奇数i时η?=|pq?(rq?sp)|。由此，渐近正则性指数为e=2，正则性速率为r=pq/4。

一、研究背景与问题

Virasoro代数（Vir）是二维共形场论与弦理论中最为核心的无穷维李代数，其表示理论在数学物理中具有基础性地位。在交换代数与代数几何中，Castelnuovo–Mumford正则性（CM正则性）是衡量分次模同调复杂性、刻画其消解生成元次数分布的重要不变量。然而，经典CM正则性理论建立在交换分次环之上，对于Virasoro代数这类非交换、非有限生成的分次泛包络代数，传统框架并不适用。

近年来，非交换CM正则性理论被引入，用以研究非交换分次代数上模的消解结构。但该理论此前主要应用于有限生成的分次代数（如量子群、Weyl代数等），对于Virasoro代数这类具有无限维分次片、且其泛包络代数非Noetherian的对象，广义CM正则性的计算长期缺乏系统性结果。具体而言，以下问题悬而未决：其一，如何在一类非交换、非有限型的负分次泛包络代数A=U(???)上定义并计算广义CM正则性；其二，Virasoro代数不可约最高权模（尤其是极小模型中的模）的极小分次自由消解具有怎样的结构；其三，这些模的正则性是否具有统一的渐近行为。

开展这项研究的意义在于：一方面，它将非交换CM正则性理论从有限型代数推广到Virasoro代数这一具有代表性的无穷维李代数，为更一般的非交换分次代数上的正则性理论奠定基础；另一方面，极小模型表示在共形场论中对应临界现象与普适类，其消解与正则性结构直接关联到特征公式与模不变量的代数实现，因此该研究为表示论与代数几何的交叉提供了新的工具与视角。

二、研究内容与主要结论

研究人员在负分次泛包络代数A=U(???)?U(Vir)上，配备层级分度（deg L??=n），系统计算了三类不可约最高权模的广义非交换CM正则性：一般Verma模、具有单个奇异生成元的不可约商、以及有理极小模型中的模L(c{p,q}, h{r,s})。

主要结论包括：对于极小模型中的不可约商，利用Feigin–Fuchs结构定理，证明了Feigin–Fuchs与Rocha-Caridi–Wallach的BGG型消解限制为A上的极小分次自由消解，每个正同调次数恰好包含两个自由直和项，并分别给出了奇、偶同调次数下生成元的精确次数。由此确定了渐近正则性指数e=2与正则性速率r=pq/4。

三、关键技术方法

研究人员采用的核心方法包括：其一，非交换分次环上的广义CM正则性定义框架，将经典正则性概念推广至非交换、非有限型分次代数；其二，Feigin–Fuchs结构定理，用于刻画Verma模及其不可约商的奇异向量结构与嵌入格；其三，BGG型消解（Feigin–Fuchs消解与Rocha-Caridi–Wallach消解），构造不可约最高权模的极小分次自由消解；其四，层级分度下的分次自由模与生成元次数分析，通过消解中自由直和项的次数分布确定正则性界。研究未涉及具体样本队列来源。

四、研究结果

一般Verma模的正则性。 研究人员对一般Verma模（即无奇异向量的最高权模）进行了分析，确定了其在A上的广义CM正则性。结果表明，一般Verma模的消解结构较为简单，其正则性由最高权与层级分度直接决定，且消解中自由直和项的次数分布具有明确的线性增长规律。

具有单个奇异生成元的不可约商。 对于具有单个奇异生成元的不可约商，研究人员利用奇异向量的结构确定了消解中自由直和项的出现位置与次数。该类模的消解在正同调次数中自由直和项的数量与次数分布呈现出与一般Verma模不同的特征，其正则性界依赖于奇异生成元的次数。

有理极小模型中的不可约商。 这是论文的核心结果。对于极小模型中的模L(c{p,q}, h{r,s})（1≤r≤p?1，1≤s≤q?1），研究人员利用Feigin–Fuchs结构定理证明了BGG型消解限制为A上的极小分次自由消解，且每个正同调次数恰好包含两个自由直和项。生成元次数由公式T?=(((ipq+η?)2?(rq?sp)2)/(4pq))给出，其中偶数i时η?=|rq?sp|，奇数i时η?=|pq?(rq?sp)|。由此得到渐近正则性指数e=2，正则性速率r=pq/4。

五、讨论与结论

讨论部分指出，极小模型模的消解结构具有高度规律性：每个正同调次数恰好两个自由直和项，这一现象反映了Verma模嵌入格的二元性，也与极小模型中特征公式的Kac–Wakimoto结构相呼应。正则性速率r=pq/4随p、q线性增长，表明该族模的正则性行为由乘积pq主导，而正则性指数e=2则说明生成元次数随同调次数呈二次增长。

研究结论部分翻译如下：研究人员计算了Virasoro代数不可约最高权模的广义非交换Castelnuovo–Mumford正则性。在负分次泛包络代数A=U(???)上，一般Verma模、具有单个奇异生成元的不可约商以及有理极小模型中的模均具有确定的消解结构。特别地，极小模型模的BGG型消解限制为A上的极小分次自由消解，每个正同调次数恰好两个自由直和项，生成元次数由统一公式给出，渐近正则性指数为e=2，正则性速率为r=pq/4。该结果首次将非交换CM正则性理论系统应用于Virasoro代数，为无穷维李代数表示的同调不变量研究开辟了新途径。