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).     

Polynomial growth and identities of superalgebras and star-algebras

We study associative algebras with 1 endowed with an automorphism or antiautomorphism φ of order 2, i.e., superalgebras and algebras with involution. For any fixed k≥1, we construct associative φ-algebras whose φ-codimension sequence is given asymptotically by a polynomial of degree k whose leading coefficient is the largest or smallest possible.     

Identities of unitary finite-dimensional algebras

We deal with growth functions of sequences of codimensions of identities in finite-dimensional algebras with unity over a field of characteristic zero. For three-dimensional algebras, it is proved that the codimension sequence grows asymptotically as a ⁿ , where a is 1, 2, or 3. For arbitrary finite-dimensional algebras, it is shown that the codimension growth either is polynomial or is not slower than 2 ⁿ . We give an example of a finite-dimensional algebra with growth rate an with fractional exponent a = \frac3³?{4} + 1 a = \frac{3}{{\sqrt[3]{4}}} + 1 .     

Polynomial Identities for Tangent Algebras of Monoassociative Loops

We introduce degree n Sabinin algebras, which are defined by the polynomial identities up to degree n in a Sabinin algebra. Degree 4 Sabinin algebras can be characterized by the polynomial identities satisfied by the commutator, associator, and two quaternators in the free nonassociative algebra. We consider these operations in a free power associative algebra and show that one of the quaternators is redundant. The resulting algebras provide the natural structure on the tangent space at the identity element of an analytic loop for which all local loops satisfy monoassociativity, a ² a ≡ aa ². These algebras are the next step beyond Lie, Malcev, and Bol algebras. We also present an identity of degree 5 which is satisfied by these three operations but which is not implied by the identities of lower degree.     

Sharply transitive linear algebraic groups

We study Zariski-closed linear groupsG GL _n (k) over fieldsk of characteristic 0 which act sharply transitively on the non-zero vectors ofk ⁿ . For square-freen, orn15, or ifk has cohomological dimension 1 we obtain a complete classification (i.e. a reduction to questions about associative division algebras). The main tools are representation theory of Lie algebras over algebraically closed and non-closed fields, and results about simple associative algebras in order to control the interplay between linear Lie algebras and the associative algebras generated by them. The relation to nearfields and left-symmetric division algebras is also discussed.     

Nevanlinna-Pick Interpolation for {\mathbb{C}} + BH^\infty

We study the Nevanlinna-Pick problem for a class of subalgebras of H ^∞. This class includes algebras of analytic functions on embedded disks, the algebras of finite codimension in H ^∞ and the algebra of bounded analytic functions on a multiply connected domain. Our approach uses a distance formula that generalizes Sarason’s [23] work. We also investigate the difference between scalar-valued and matrix-valued interpolation through the use of C ^*-envelopes. This research was partially supported by the NSF grant DMS 0300128. This research was completed as part of my Ph.D. dissertation at the University of Houston.     

Homological characterization of lean algebras

Certain classes of lean quasi-hereditary algebras play a central role in the representation theory of semisimple complex Lie algebras and algebraic groups. The concept of a lean semiprimary ring, introduced recently in [1] is given here a homological characterization in terms of the surjectivity of certain induced maps between Ext¹-groups. A stronger condition requiring the surjectivity of the induced maps between Ext ^k -groups for allk≥1, which appears in the recent work of Cline, Parshall and Scott on Kazhdan-Lusztig theory, is shown to hold for a large class of lean quasi-hereditary algebras. Research partially supported by NSERC of Canada and by Hungarian National Foundation for Scientific Research grant no. 1903 Research partially supported by NSERC of Canada     

On the Complexity Functions for T-Ideals of Associative Algebras

Let be the sequence of codimension growth for a variety V of associative algebras. We study the complexity function , which is the exponential generating function for the sequence of codimensions. Earlier, the complexity functions were used to study varieties of Lie algebras. The objective of the note is to start the systematic investigation of complexity functions in the associative case. These functions turn out to be a useful tool to study the growth of varieties over a field of arbitrary characteristic. In the present note, the Schreier formula for the complexity functions of one-sided ideals of a free associative algebra is found. This formula is applied to the study of products of T-ideals. An exact formula is obtained for the complexity function of the variety U c of associative algebras generated by the algebra of upper triangular matrices, and it is proved that the function is a quasi-polynomial. The complexity functions for proper identities are investigated. The results for the complexity functions are applied to study the asymptotics of codimension growth. Analogies between the complexity functions of varieties and the Hilbert--Poincaré series of finitely generated algebras are traced.     

The weak braided Hopf algebra structure of some Cayley–Dickson algebras

It has been shown by Albuquerque and Majid that a class of unital k-algebras, not necessarily associative, obtained through the Cayley–Dickson process can be viewed as commutative associative algebras in some suitable symmetric monoidal categories. In this note we will prove that they are, moreover, commutative and cocommutative weak braided Hopf algebras within these categories. To this end we first define a Cayley–Dickson process for coalgebras. We then see that the k-vector space of complex numbers, of quaternions, of octonions, of sedenions, etc. fit to our theory, hence they are all monoidal coalgebras as well, and therefore weak braided Hopf algebras.     

Invertible and Nilpotent Elements in the Group Algebra of a Unique Product Group

We describe the nilpotent and invertible elements in group algebras k[G] for k a commutative associative unital ring and G a unique product group, for example an ordered group.     

Finite Presentability and the Homological Type FP m for a Class of Hopf Algebras

We define and study the property finite presentability in the category  of Hopf algebras that are smash product of universal enveloping algebra of a Lie algebra by a group algebra. We show that for such Hopf algebras finite presentability is equivalent with finite presentability as an associative k-algebra.     

Polynomial Lie Algebras

We introduce and study a special class of infinite-dimensional Lie algebras that are finite-dimensional modules over a ring of polynomials. The Lie algebras of this class are said to be polynomial. Some classification results are obtained. An associative co-algebra structure on the rings k[x ₁,...,x _n]/(f ₁,...,f _n) is introduced and, on its basis, an explicit expression for convolution matrices of invariants for isolated singularities of functions is found. The structure polynomials of moving frames defined by convolution matrices are constructed for simple singularities of the types A,B,C, D, and E ₆.     

Asymptotics for the standard and the Capelli identities

Let {c _n (St _k )} and {c _n (C _k )} be the sequences of codimensions of the T-ideals generated by the standard polynomial of degreek and by thek-th Capelli polynomial, respectively. We study the asymptotic behaviour of these two sequences over a fieldF of characteristic zero. For the standard polynomial, among other results, we show that the following asymptotic equalities hold:

Effective construction of an algebraic variety nonsingular in codimension one over a ground field of zero characteristic

Let k be a field of zero characteristic finitely generated over a primitive subfield. Let f be a polynomial of degree at most d in n variables, with coefficients from k, irreducible over an algebraic closure [`(k)] \bar{k} . Then we construct an algebraic variety V nonsingular in codimension one and a finite birational isomorphism V → Z(f), where Z(f) is the hypersurface of all common zeros of the polynomial f in the affine space. The running time of the algorithm for constructing V is polynomial in the size of the input. Bibliography: 8 titles.     

On the horospherical ridges of submanifolds of codimension 2 in Hyperbolic <Emphasis Type="Italic">n</Emphasis>-space

We introduce the notion of horospherical ridges for submanifolds of codimension 2 in hyperbolic n-space, and study some of their properties.*Work partially supported by DGCYT grant no. BFM2003-02037.     

Intermediate Growth of Solvable Lie Superalgebras

Finitely generated solvable Lie algebras have an intermediate growth between polynomial and exponential. Recently the second author suggested the scale to measure such an intermediate growth of Lie algebras. The growth was specified for solvable Lie algebras F(A ^q , k) with a finite number of generators k, and which are free with respect to a fixed solubility length q. Later, an application of generating functions allowed us to obtain more precise asymptotic. These results were obtained in the generality of polynilpotent Lie algebras. Now we consider the case of Lie superalgebras; we announce that main results and describe the methods. Our goal is to compute the growth for F(A ^q , m, k), the free solvable Lie superalgebra of length q with m even and k odd generators. The proof is based upon a precise formula of the generating function for this algebra obtained earlier. The result is obtained in the generality of free polynilpotent Lie superalgebras. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 14, Algebra, 2004.     

Transcendence degree of division algebras

We define a transcendence degree for division algebras by modifying the lower transcendence degree construction of Zhang. We show that this invariant has many of the desirable properties one would expect a noncommutative analogue of the ordinary transcendence degree for fields to have. Using this invariant, we prove the following conjecture of Small. Let k be a field, let A be a finitely generated k-algebra that is an Ore domain, and let D denote the quotient division algebra of A. If A does not satisfy a polynomial identity, then GKdim(K) ≤ GKdim(A) − 1 for every commutative subalgebra K of D.     

Poisson color algebras of arbitrary degree

A Poisson algebra is a Lie algebra endowed with a commutative associative product in such a way that the Lie and associative products are compatible via a Leibniz rule. If we part from a Lie color algebra, instead of a Lie algebra, a graded-commutative associative product and a graded-version Leibniz rule we get a so-called Poisson color algebra (of degree zero). This concept can be extended to any degree, so as to obtain the class of Poisson color algebras of arbitrary degree. This class turns out to be a wide class of algebras containing the ones of Lie color algebras (and so Lie superalgebras and Lie algebras), Poisson algebras, graded Poisson algebras, z-Poisson algebras, Gerstenhaber algebras, and Schouten algebras among other classes of algebras. The present paper is devoted to the study of structure of Poisson color algebras of degree g₀, where g₀ is some element of the grading group G such that g₀ = 0 or 4g₀≠0, and with restrictions neither on the dimension nor the base field, by stating a second Wedderburn-type theorem for this class of algebras.