Local rings over which all modules have rational Poincaré series (Q1313776)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Local rings over which all modules have rational Poincaré series
scientific article

    Statements

    Local rings over which all modules have rational Poincaré series (English)
    0 references
    31 August 1994
    0 references
    Soient \(R\) un anneau commutatif local d'idéal maximal \(M\) et corps résiduel \(k\), \(E\) un \(R\)-module de type fini et \(P^ R_ E(n)=\sum^ \infty_{n=0} b^ R_ n (E)t^ n\) la série de Poincaré du \(R\)- module \(E\), où \(b^ R_ n(E)=\dim_ k \text{Tor}^ R_ n (E,k)\) sont les nombres de Betti. L'A. démontre les résultats principaux suivants: Si l'algèbre de Lie homotopique \(\Pi^*(R)\) contient une sous-algèbre de Lie libre graduée de codimension finie, il existe un polynôme \(\text{Den}^ R(t) \in \mathbb{Z} [t]\) tel que our tout \(R\)- module de type fini \(E\) la série \(\text{Den}^ R (t) P^ R_ E(t) \in \mathbb{Z} [t]\). Si, de plus, la sous-algèbre de Lie libre contient \(\Pi^ j(R)\) pour \(j>n\), alors \(\text{Den}^ R (t)P^ R_ k(t)\) divise \(\prod_{0 \leq 2i+1 \leq n} (1+t^{2i+1})^{e_{2i+1}}\), où \(e_ i=\dim_ k \pi^ i(R)\) est la deviation d'ordre \(i\) de \(R\). Si la fonction \(b^ R_ E\) est polynômiale pour tout \(R\)-module de type fini \(E\), alors \(R\) est un anneau d'intersection complète de codimension \(\leq q(R)+1\), où \(q(R)=(e(e+1)/2)-\dim_ k (M^ 2/M^ 3)\). Si \(R\) est une intersection complète de multiplicité minimale, alors \(b^ R_ E\) est une fonction polynômiale.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    complete intersection
    0 references
    Poincaré series
    0 references
    homotopic Lie algebra
    0 references
    Betti numbers
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references