[论文解读] Hilbert series of modules over Lie algebroids

Rolf Källström, Yohannes Tadesse|arXiv (Cornell University)|Jun 27, 2011

Advanced Topics in Algebra被引用 1

一句话总结

本文引入了李代数丛模的Hilbert级数，通过定义理想来稳定模在有限长商模下的结构。当模沿最大定义理想为局部系统时，证明了Hilbert级数为有理函数，且长度函数为拟多项式——将Hilbert的有限性定理推广至非半单李代数丛作用的情形，应用于复解析奇点与单项式理想。

ABSTRACT

We consider modules $M$ over Lie algebroids ${\mathfrak g}_A$ which are of finite type over a local noetherian ring $A$. Using ideals $J\subset A$ such that ${\mathfrak g}_A \cdot J\subset J $ and the length $\ell_{{\mathfrak g}_A}(M/JM)< \infty$ we can define in a natural way the Hilbert series of $M$ with respect to the defining ideal $J$. This notion is in particular studied for modules over the Lie algebroid of $k$-linear derivations ${\mathfrak g}_A=T_{A/k}(I)$ that preserve an ideal $I\subset A$, for example when $A={\mathcal O}_n$, the ring of convergent power series. Hilbert series over Stanley-Reisner rings are also considered.

研究动机与目标

• 通过稳定模在有限长商模下的结构的定义理想，为李代数丛上的模定义Hilbert级数。
• 通过识别Hilbert级数为有理函数的条件，将Hilbert的有限性定理推广至非半单李代数丛作用。
• 分析复解析奇点中gA-模的结构，特别是具有孤立奇点的超曲面情形。
• 计算正规局部环中单项式理想的Hilbert级数，揭示其超越普通Hilbert级数的对称性诱导结构。
• 刻画李代数丛的纤维李代数何时为可解代数，从而在关键情形下可将gA-Hilbert级数约化为普通Hilbert级数。

提出的方法

• 定义一个变形理想 J ⊂ A，使得 gA · J ⊂ J 且 ℓA(M/JM) < ∞，从而构造分次模 G•_J(M) = ⊕n≥0 J^n M / J^{n+1} M。
• 引入沿最大定义理想 Jm 的局部系统概念，其中 G•_Jm(M) 的每个分次分量均为纤维李代数 gk 上的局部系统。
• 通过Hadziev对半单李代数不变量的Hilbert有限生成定理的推广，运用不变量理论证明Hilbert级数的有理性。
• 应用Rossi定理，将问题约化为最大理想为定义理想的情形，确保分次分量为局部系统。
• 分析在 On（收敛幂级数环）上李代数丛的纤维李代数 gC = gA / m gA，特别考虑 I ⊂ m2 或 I = (f) 且 f ∈ m3 的情形。
• 利用纤维李代数的可解性（例如通过下中心列终止于零），在有利情形下将 gA-Hilbert级数与普通Hilbert级数等同。

实验结果

研究问题

• RQ1 对于定义理想 J，gA-模 M 的Hilbert级数何时为有理函数？
• RQ2 在何种条件下，长度函数 n ↦ ℓgA(M / J^{n+1}M) 成为拟多项式？
• RQ3 在 On 上的李代数丛中，其纤维李代数 gC 何时可解？这对其Hilbert级数有何含义？
• RQ4 单项式理想的对称性在李代数丛上的Hilbert级数中如何体现，相较于普通Hilbert级数有何不同？
• RQ5 哪些有限维复李代数可作为超曲面奇点的纤维李代数出现？

主要发现

• 若 M 沿最大定义理想 Jm 为局部系统，则Hilbert级数 HJ_M(t) 为有理函数，将Hilbert定理推广至非半单李代数丛作用。
• 当 M 沿 Jm 为局部系统时，长度函数 ℓgA(M / J^{n+1}M) 对充分大的 n 为拟多项式。
• 当 f ∈ m3 时，李代数丛 g = TOn(Jf)（其中 Jf = (f) + TOn·f）的纤维李代数 gC 可解，因此Hilbert级数与普通Hilbert级数一致。
• 当 On/Jf ≅ On/Jg 对 f, g ∈ m 成立时，Hilbert级数 HGJf(On)(t) 等于 HGJg(On)(t)，表明模代数同构下的不变性。
• 对于Whitney伞面（z² − x²y），纤维李代数 gC 可解，其下中心列第 (l+1) 项为零，已得证。
• 在三次型判别式的例子中，纤维李代数为 gl2(C)，O4 作为 TO4(I)-模的Hilbert级数是 ℓsl2(C)(Sn(m/m²)) 的生成函数，其中 d = 2，e = 1/4。