Poisson polynomial identities. II (Q1293315): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:49, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Poisson polynomial identities. II |
scientific article |
Statements
Poisson polynomial identities. II (English)
0 references
12 March 2000
0 references
The commutative algebra \(B\) equipped with a bracket \(\{\cdot,\cdot\}\) is called a Poisson algebra if the bracket makes \(B\) a Lie algebra and is assumed to be an associative algebra derivation in each argument. In a series of papers, the author has attempted to develop a purely algebraic theory of Poisson algebras. In the first part of the paper under review [Commun. Algebra 26, 401-416 (1998; Zbl 0892.17001)] he has distinguished the class of customary polynomial identities (which are commutative polynomials of \(\{x_i,x_j\}\)) and, in particular, the Poisson standard identity. In the present paper the author studies the Poisson polynomial identities of two types of algebras over a field of characteristic 0: the symmetric Poisson algebra \({\mathcal S}({\mathcal G})\) of a Lie algebra \(\mathcal G\) and the associated graded Poisson algebra for a ring of differential operators. For the first type of algebras he proves that \({\mathcal S}({\mathcal G})\) satisfies a polynomial identity if and only if \(\mathcal G\) has an abelian Lie subalgebra of finite codimension. In this case the Poisson degree of \({\mathcal S}({\mathcal G})\) (the largest number of variables so that the algebra satisfies no customary identity in that number of variables) is equal to the coindex of \(\mathcal G\) (the supremum, as \(f\) ranges over \({\mathcal G}^{\ast}\), of the rank of the alternating bilinear form \(f([x,y])\), \(x,y\in\mathcal G\)). Concerning the graded algebra \(\text{gr }{\mathcal D}(B)\) associated with the ring of differential operators \({\mathcal D}(B)\) of an affine commutative domain \(B\), the main result of the paper gives that \(\text{ gr}{\mathcal D}(B)\) satisfies a standard polynomial identity and its Poisson degree is twice the Krull dimension of \(B\).
0 references
Poisson algebras
0 references
Poisson algebras with polynomial identities
0 references
symmetric algebra
0 references
Krull dimension
0 references
ring of differential operators
0 references
standard polynomial identity
0 references