Dialgebras and related triple systems

We consider some algebraical systems that lead to various nearly associative triple systems. We deal with a class of algebras which contains Leibniz-Poisson algebras, dialgebras, conformal algebras, and some triple systems. We describe all homogeneous structures of ternary Leibniz algebras on a dialgebra. For this purpose, in particular, we use the Leibniz-Poisson structure on a dialgebra. We then find a corollary describing the structure of a Lie triple system on an arbitrary dialgebra, a conformal associative algebra and a classical associative triple system. We also describe all homogeneous structures of an (ε, δ)-Freudenthal-Kantor triple system on a dialgebra.     

Equivalent conditions of polynomial growth of a variety of Poisson algebras

Equivalent conditions of the polynomial codimension growth of a variety of Poisson algebras over a field of characteristic zero are presented and it is shown that there are only two varieties of Poisson algebras with almost polynomial growth.     

Semi-invariants of canonical algebras

We describe the algebras of semi-invariants on the varieties of regular representations of canonical algebras. In particular, we show that these algebras are polynomial algebras or complete intersections. Received: 29 March 1999     

Poisson algebras of polynomial growth

Consider the sequence c _n (V) of codimensions of a variety V of Poisson algebras. We show that the growth of every variety V of Poisson algebras over an arbitrary field is either bounded by a polynomial or at least exponential. Furthermore, if the growth of V is polynomial then there is a polynomial R(x) with rational coefficients such that c _n (V) = R(n) for all sufficiently large n. We present lower and upper bounds for the polynomials R(x) of an arbitrary fixed degree. We also show that the varieties of Poisson algebras of polynomial growth are finitely based in characteristic zero.     

The Composition Structure of Alternative and Malcev Algebras

We construct a polynomial of degree 5 from the associative nucleus (kernel) of the free alternative algebra. We show that this polynomial is of minimal degree. Using this polynomial, we obtain decompositions of the varieties of alternative and Malcev algebras.     

The polynomial growth of colength of varieties of Lie algebras

It is proved that the colength of every API-variety of Lie algebras grows polynomially, and we give a number of examples in which the colength grows more rapidly than any polynomial function does. These indicate that for many of the important varieties of Lie algebras, such as varieties of solvable algebras of derived length 3, varieties generated by some infinite-dimensional simple algebras of Cartan type, or by certain Katz-Mudi algebras, the growth of colength will be superpolynomial. Supported by RFFR grants No. 96-01-00146 and No. 96-15-96050. Translated fromAlgebra i Logika, Vol. 38, No. 2, pp. 161–175, March–April, 1999.     

Minimal ideals in near-rings

We construct a polynomial of degree 5 from the associative nucleus (kernel) of the free alternative algebra. We show that this polynomial is of minimal degree. Using this polynomial, we obtain decompositions of the varieties of alternative and Malcev algebras.     

Growth in Poisson algebras

A criterion for polynomial growth of varieties of Poisson algebras is stated in terms of Young diagrams for fields of characteristic zero. We construct a variety of Poisson algebras with almost polynomial growth. It is proved that for the case of a ground field of arbitrary characteristic other than two, there are no varieties of Poisson algebras whose growth would be intermediate between polynomial and exponential. Let V be a variety of Poisson algebras over an arbitrary field whose ideal of identities contains identities {{x ₁, y ₁}, {x ₂, y ₂}, . . . , {x _m , y _m }} = 0 and {x ₁, y ₁} · {x ₂, y ₂} · . . . · {x _m , y _m } = 0, for some m. It is shown that the exponent of V exists and is an integer. For the case of a ground field of characteristic zero, we give growth estimates for multilinear spaces of a special form in varieties of Poisson algebras. Also equivalent conditions are specified for such spaces to have polynomial growth.     

Some applications of higher commutators in Mal’cev algebras

We establish several properties of Bulatov’s higher commutator operations in congruence permutable varieties. We use higher commutators to prove that for a finite nilpotent algebra of finite type that is a product of algebras of prime power order and generates a congruence modular variety, affine completeness is a decidable property. Moreover, we show that in such algebras, we can check in polynomial time whether two given polynomial terms induce the same function.     

Codimension Growth of Strong Lie Nilpotent Associative Algebras

We study Lie nilpotent varieties of associative algebras. We explicitly compute the codimension growth for the variety of strong Lie nilpotent associative algebras. The codimension growth is polynomial and found in terms of Stirling numbers of the first kind. To achieve the result we take the free Lie algebra of countable rank L(X), consider its filtration by the lower central series and shift it. Next we apply generating functions of special type to the induced filtration of the universal enveloping algebra U(L(X)) = A(X).     

Matrix algebras of polynomial codimension growth

We study associative algebras with unity of polynomial codimension growth. For any fixed degree k we construct associative algebras whose codimension sequence has the largest and the smallest possible polynomial growth of degree k. We also explicitly describe the identities and the exponential generating functions of these algebras. The first and second authors were partially supported by MIUR of Italy. The third author was partially supported by Grant RFBR-04-01-00739.     

The Leibniz algebras of almost polynomial growth with the identity <Emphasis Type="Italic">x</Emphasis>(<Emphasis Type="Italic">y</Emphasis>(<Emphasis Type="Italic">zt</Emphasis>)) ≡ 0

It is proved that exactly two varieties of Leibniz algebras of almost polynomial growth with the identity x(y(zt)) ≡ 0 exist in the case of a field of characteristic zero.     

Identities in the varieties generated by the algebras of upper triangular matrices

Consider the algebra UT _s of upper triangular matrices of size s over an arbitrary field. Petrogradsky proved that the exponent of an arbitrary subvariety in var(UT _s ) exists and is an integer. We strengthen the estimates for the growth of these varieties and provide equivalent conditions for finding these exponents. Kemer showed that in the case of a ground field of characteristic zero there exists no varieties of associative algebras with growth intermediate between polynomial and exponential. We prove that this property extends to the case of the fields of arbitrary characteristic distinct from 2.     

Enumeration of algebras close to absolutely free algebras and binary trees

We study three classes of algebras: absolutely free algebras, free commutative non-associative, and free anti-commutative non-associative algebras. We study asymptotics of the growth for free algebras of these classes and for their subvarieties as well. Mainly, we study finitely generated algebras, also the codimension growth for varieties in theses classes is studied. For these purposes we use ordinary generating functions as well as exponential generating functions. The following subvarieties are studied in these classes: solvable, completely solvable, right-nilpotent, and completely right-nilpotent subvarieties. The obtained results are equivalent to an enumeration of binary labeled and unlabeled rooted trees that do not contain some forbidden subtrees. We enumerate these trees using generating functions. For solvable and right-nilpotent algebras the generating functions are algebraic. For completely solvable and completely right-nilpotent algebras the respective functions are rational. It is known that these three varieties of algebras satisfy Schreier's property, i.e., subalgebras of free algebras are free. For free groups, there is Schreier's formula for the rank of a subgroup of a free group. We find analogues of this formula for these varieties. They are written in terms of series. As an application, we study invariants of finite groups acting on absolutely free algebras.     

Affine complete varieties are congruence distributive

An algebra is affine complete iff its polynomial operations are the same as all the operations over its universe that are compatible with all its congruences. A variety is affine complete iff all its algebras are. We prove that every affine complete variety is congruence distributive, and give a useful characterization of all arithmetical, affine complete varieties of countable type. We show that affine complete varieties with finite residual bound have enough injectives. We also construct an example of an affine complete variety without finite residual bound.? We prove several results concerning residually finite varieties whose finite algebras are congruence distributive, while leaving open the question whether every such variety must be congruence distributive. Received February 28, 1997; accepted in final form December 9, 1997.     

Hochschild cohomology for periodic algebras of polynomial growth

We describe the dimensions of low Hochschild cohomology spaces of exceptional periodic representation-infinite algebras of polynomial growth. As an application we obtain that an indecomposable non-standard periodic representation-infinite algebra of polynomial growth is not derived equivalent to a standard self-injective algebra.     

Algebras Generated by Linearly Dependent Elements with Prescribed Spectra

We consider associative algebras presented by a finite set of generators and relations of special form: each generator is annihilated by some polynomial, and the sum of generators is zero. The growth of this algebra in dependence on the degrees of the polynomials annihilating the generators is studied. The tuples of degrees for which the algebras are finite-dimensional, have polynomial growth, or have exponential growth are indicated. To the tuple of degrees, we assign a graph, and the above-mentioned cases correspond to Dynkin diagrams, extended Dynkin diagrams, and the other graphs, respectively. For extended Dynkin diagrams, we indicate the hyperplane in the space of parameters (roots of the polynomials) on which the corresponding algebras satisfy polynomial identities.     

The isomorphism problem for some universal operator algebras

This paper addresses the isomorphism problem for the universal (non-self-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct systems are isomorphic. The proof makes use of the complex analytic structure of the character space, together with some recent results on subproduct systems. Restricting attention to commutative operator algebras defined by a radical ideal of relations yields strong resemblances with classical algebraic geometry. These commutative operator algebras turn out to be algebras of analytic functions on algebraic varieties. We prove a projective Nullstellensatz connecting closed ideals and their zero sets. Under some technical assumptions, we find that two such algebras are isomorphic as algebras if and only if they are similar, and we obtain a clear geometrical picture of when this happens. This result is obtained with tools from algebraic geometry, reproducing kernel Hilbert spaces, and some new complex-geometric rigidity results of independent interest. The C^?-envelopes of these algebras are also determined. The Banach-algebraic and the algebraic classification results are shown to hold for the wot-closures of these algebras as well.     

POLYCYCLIC RESTRICTED LIE ALGEBRAS

We define a polycyclic restricted Lie algebra to be the Lie analog of a polycyclic group, and we describe the structure of poly(cyclic or finite-dimensional) restricted Lie algebras. In particular, we prove that these are precisely the restricted Lie algebras whose restricted enveloping algebras have polynomial growth.

     

Identities of *-superalgebras and almost polynomial growth

We study the growth of the codimensions of a *-superalgebra over a field of characteristic zero. We classify the ideals of identities of finite dimensional algebras whose corresponding codimensions are of almost polynomial growth. It turns out that these are the ideals of identities of two algebras with distinct involutions and gradings. Along the way, we also classify the finite dimensional simple *-superalgebras over an algebraically closed field of characteristic zero.