Hilbert series of modules over Lie algebroids (Q2345549): Difference between revisions

Let \(k\) be a field. An allowed \(k\)-algebra is a noetherian local ring \(A=R/I,\) where \(R\) satisfies the Weak Jacobian Criterion over \(k\), \(I\) is an ideal of \(R\) and \(k\) is an algebraically closed field containing \(\mathbb{Q}.\) A Lie algebroid over \(A\) is a finitely generated \(A\)-module \(\mathfrak{g}_A\) together with a structure of Lie algebra over \(k\) and a homomorphism of Lie algebras and \(A\)-modules \(\alpha:\mathfrak{g}_A\to T_A=\mathrm{Der}(A)\) with a compatibility condition. A module \(M\) over \(\mathfrak{g}_A\) is given by a homomorphism \(\rho:\mathfrak{g}_A\to\mathfrak{c}_A:=\{\delta\in \mathrm{End}_k(M)\;|\;[\delta,i(A)]\subseteq i(A)\}\), with a compatibility condition. An ideal \(J\) is a defining ideal of \(M\) if \(\alpha(\mathfrak{g}_A)J\subseteq J\) and \(l_{\mathfrak{g}_A}(M/JM)<\infty\). If \(J\) is a defining ideal, then \(l_{\mathfrak{g}_A}(J^nM/J^{n+1}M)<\infty,\) so that the authors can define the Hilbert series of \(M\) with respect to \(J\), that is \[ H^J_M(t):=\mathop\sum\limits_{n\geq 0}l_{\mathfrak{g}_A}(J^nM/J^{n+1}M)t^n\in\mathbb{Z}[[t]]. \] We say that \(M\) is a local system if \[ l_{\mathfrak{g}_R}(M)=l_{\mathfrak{g}_k}(k\otimes_RM), \] and if \(J_m\) is a maximal defining ideal of the \(\mathfrak{g}_A-\)module \(A\) we say that \(M\) is a local system along \(J_m\) if each homogeneous component of the graded \(\mathfrak{g}_R-\)module \(\mathop\sum\limits_{i\geq 0}J^iM/J^{i+1}M\) is a local system. In this case the authors are showing that \(H_M^J(t)\) is a rational function and that the function \(n\to l_{\mathfrak{g}_A}(J^nM/J^{n+1}M)\) is a quasi-polynomial for high \(n\). Some particular situations are considered, as for example the case of the ring of convergent power series and the case of Stanley-Reisner rings.