Finitely presented graded Lie algebras and homomorphisms of local rings (Q1064358)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finitely presented graded Lie algebras and homomorphisms of local rings
scientific article

    Statements

    Finitely presented graded Lie algebras and homomorphisms of local rings (English)
    0 references
    0 references
    1985
    0 references
    For a (connected) graded algebra \(N=\oplus_{i\geq 0}N_ i\), its Hilbert series is \(N(z)=\sum_{i\geq 0}(\dim N_ i)z^ i\). Examples are known of finitely-presented N with transcendental N(z). In particular, there are graded Lie algebras G whose enveloping algebras U(G) are finitely- presented graded Hopf algebras of global dimension 3 with U(G)(z) transcendental. The author's first main theorem is that if N is finitely- presented by n generators \(a_ 1,...,a_ n\) (of degrees \(\geq 1)\) and r relations, then there is a finitely-presented U(G) of global dimension 3 with \[ U(G)(z)=(2-N(z))^{-1}(1-\sum^{n}_{i=1}z^{\deg a_ i})^{-2}. \] U(G) is given explicitly by 3n generators and \(2n^ 2+r\) relations. This shows that restriction to finitely-presented graded Hopf algebras of global dimension 3 does not essentially restrict the construction of transcendental Hilbert series. The other main result concerns the construction of transcendental Poincaré series \(P_ R(z)=\sum_{i\geq 0}\dim (Ext^ i_ R(k,k))\) for a commutative Noetherian local ring R with residue field k. It is known that \(P_ R(z)\) can be transcendental, but it was an open question if R is Golod attached. This means that there is a regular local ring \(S_ 0\) and a sequence \(S_ 0\to S_ 1\to...\to S_ t=R\) of Golod maps. A Golod map \(f: S\to R\) is an epimorphism of local rings with \(\pi^*(f): \pi^*(R)\to \pi^*(S)\) surjective with kernel a free Lie algebra, where \(\pi^*(R)\) is the graded Lie algebra with \(U(\pi^*(R))=Ext^*_ R(k,k)\) as graded Hopf algebra. The author proves that if N is finitely presented by n generators of degree 1 and r relations of degree 2, then there is a regular local ring \(S_ 0\) of embedding dimension 3n, and three Golod maps \(S_ 0\to S_ 1\to S_ 2\to R\) with \[ P_ R(z)=z/[(1+z)(1-nz)^ 2(2-N(z)-1+3nz- (2n^ 2+r)z^ 2)]. \] Using this, the author explicitly constructs a Golod attached local ring with transcendental Poincaré series.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    graded Lie algebras
    0 references
    enveloping algebras
    0 references
    finitely-presented graded Hopf algebras
    0 references
    transcendental Hilbert series
    0 references
    transcendental Poincaré series
    0 references
    Noetherian local ring
    0 references
    Golod attached local ring
    0 references
    0 references
    0 references