一种确定任意有理椭圆空间 LS 范数及 Ginsburg 不变性的算法

设 $X$ 为有理椭圆空间。利用 $X$ 的 Gorenstein 代数结构，我们提出了三个算法，这些算法共同产生一个生成类 $Ext^N_{(\Lambda V,d)}(\mathbb{Q},(\Lambda V,d))$，其中 $N$ 为 $X$ 的形式维数。从这些算法中，我们推导出计算 $X$ 的有理 Lusternik-Schnirelmann 范数 $cat_0(X)$ 的算法。进一步地，基于依据 Eilenberg-Moore 谱序列的谱序列论证，我们计算了由 M. Ginsburg 在 \cite{Gin} 中引入的 $X$ 的有理 Ginsburg 不变性 $l_0(X)$。