Finitely presented graded Lie algebras and homomorphisms of local rings (Q1064358): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115364458 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A counterexample to a conjecture of Serre / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine equations, Hilbert series, and undecidable spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational dependence among Hilbert and Poincaré series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Small homomorphisms of local rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3344077 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3717179 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3666993 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomology of Lie algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3880947 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3726293 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the homotopy Lie algebra of a local ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3895579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A graded algebra with a non-rational Hilbert series / rank | |||
Normal rank |
Latest revision as of 19:01, 14 June 2024
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
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
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