Symmetric identities and restricted Lie algebras

We use symmetric identities to study centres of reduced enveloping algebras of restricted Lie algebras. We formulate a criterion for a reduced centre to map injectively into a reduced enveloping algebra.     

The homology of graded infinite-dimensional Lie algebras in connection with Macdonald identities

D. Fucks' monograph devoted to the cohomology of infinite-dimensional Lie algebras contains an error in calculating the homology of a graded affine Kac-Moody algebra of type A _n ⁽¹⁾ , so that the proof of the corresponding Macdonald identity, which is based on that calculation, is incorrect. In the present paper, a revised proof is suggested.Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 240, 1996, pp. 5–17.The author is grateful to A. M. Vershik, who suggested the topic of this paper, for his constant attention and useful comments. The author also thanks M. A. Vsemirnov for his information on non-coincidence of the coefficients in two sides of the equality in [4, §3.2.3] for n=7, which he observed while proving Macdonald identities in a new (analytical) way, and on the sign of a summand on the right (see his paper in this issue).     

Shape identities in bernstein algebras

We study the shape identities arising in the theory of Bernstein algebras. We determine all shape identities of minimal degree for two subclasses of Bernstein algebras, namely, normal Bernstein algebras and exceptional Bernstein algebras.     

Semigroup graded algebras and graded PI-exponent

Let S be a semigroup. We study the structure of graded-simple S-graded algebras A and the exponential rate PIexp ^S-gr(A):= lim_n→∞ \(\sqrt[n]{{c_n^{S - gr}\left( A \right)}}\) of growth of codimensions c _n ^S-gr (A) of their graded polynomial identities. This is of great interest since such algebras can have non-integer PIexp ^S-gr(A) despite being finite dimensional and associative. In addition, such algebras can have a non-trivial Jacobson radical J(A). All this is in strong contrast with the case when S is a group since in the group case J(A) is trivial, PIexp ^S-gr(A) is always integer and, if the base field is algebraically closed, then PIexp ^S-gr(A) equals dimA. Without any restrictions on the base field F, we classify graded-simple S-graded algebras A for a class of semigroups S which is complementary to the class of groups. We explicitly describe the structure of J(A) showing that J(A) is built up of pieces of a maximal S-graded semisimple subalgebra of A which turns out to be simple. When F is algebraically closed, we get an upper bound for \({\overline {\lim } _{n \to \infty }}\sqrt[n]{{c_n^{S - gr}\left( A \right)}}\). If A/J(A) ≈ M ₂(F) and S is a right zero band, we show that this upper bound is sharp and PIexp ^S-gr(A) indeed exists. In particular, we present an infinite family of graded-simple algebras A with arbitrarily large non-integer PIexp ^S-gr(A).     

Symmetric units and group identities

In this paper we study rings R with an involution whose symmetric units satisfy a group identity. An important example is given by FG, the group algebra of a group G over a field F; in fact FG has a natural involution induced by setting g?g ⁻¹ for all group elements g∈G. In case of group algebras if F is infinite, charF≠ 2 and G is a torsion group we give a characterization by proving the following: the symmetric units satisfy a group identity if and only if either the group of units satisfies a group identity (and a characterization is known in this case) or char F=p >0 and 1) FG satisfies a polynomial identity, 2) the p-elements of G form a (normal) subgroup P of G and G/P is a Hamiltonian 2-group; 3) G is of bounded exponent 4p ^s for some s≥ 0. Received: 8 August 1997     

Symmetric identities on Bernoulli polynomials

In this paper, we obtain a generalization of an identity due to Carlitz on Bernoulli polynomials. Then we use this generalized formula to derive two symmetric identities which reduce to some known identities on Bernoulli polynomials and Bernoulli numbers, including the Miki identity.     

Jacobi-type identities in algebras and superalgebras

We introduce two remarkable identities written in terms of single commutators and anticommutators for any three elements of an arbitrary associative algebra. One is a consequence of the other (fundamental identity). From the fundamental identity, we derive a set of four identities (one of which is the Jacobi identity) represented in terms of double commutators and anticommutators. We establish that two of the four identities are independent and show that if the fundamental identity holds for an algebra, then the multiplication operation in that algebra is associative. We find a generalization of the obtained results to the super case and give a generalization of the fundamental identity in the case of arbitrary elements. For nondegenerate even symplectic (super)manifolds, we discuss analogues of the fundamental identity.     

Isotopy and identities in alternative algebras

In this paper we show how to construct an isomorphism between an alternative algebra over a field of characteristic and its isotope , where is an element of Zhevlakov's radical of . This leads to the equivalence of any polynomial identity in alternative algebras and the isotope identity .

     

Poisson identities of enveloping algebras

Let L be a restricted Lie algebra. The symmetric algebra S_p(L) of the restricted enveloping algebra u(L) has the structure of a Poisson algebra. We give necessary and sufficient conditions on L in order for the symmetric algebra S_p(L) to satisfy a multilinear Poisson identity. We also settle the same problem for the symmetric algebra S(L) of a Lie algebra L over an arbitrary field. The first author was partially supported by MIUR of Italy. The second author was partially supported by Grant RFBR-04-01- 00739. Received: 31 October 2005     

Gorenstein differential graded algebras

We propose a definition of Gorenstein Differential Graded Algebra. In order to give examples, we introduce the technical notion of Gorenstein morphism. This enables us to prove the following: Theorem:Let A be a noetherian local commutative ring, let L be a bounded complex of finitely generated projective A-modules which is not homotopy equivalent to zero, and let ɛ=Hom _A (L, L)be the endomorphism Differential Graded Algebra of L. Then ɛ is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. Theorem:Let A be a noetherian local commutative ring with a sequence of elements a=(a ₁,…,a _n )in the maximal ideal, and let K(a)be the Koszul complex of a.Then K(a)is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. Theorem:Let A be a noetherian local commutative ring containing a field k, and let X be a simply connected topological space with dim _k H*(X;k)<∞,which has poincaré duality over k. Let C*(X;A)be the singular cochain Differential Graded Algebra of X with coefficients in A. Then C*(X; A)is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. The second of these theorems is a generalization of a result by Avramov and Golod from [4].