We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the action is scalar. This generalizes an analogous result for group actions by automorphisms obtained by Dicks and Formanek, and Kharchenko.
A short proof is given of the fact that various classes of algebras including the free associative algebra are Hopfian, i.e., every epimorphism is an automorphism. This further simplifies the Dicks-Lewin solution of the Jacobian conjecture for the free associative algebra.
We prove the analog of Amitsur's conjecture on asymptotic behavior for codimensions of several generalizations of polynomial identities for finite dimensional associative algebras over a field of characteristic 0, including G-identities for any finite (not necessarily Abelian) group G and H-identities for a finite dimensional semisimple Hopf algebra H. In addition, we prove that the Hopf PI-exponent of Sweedler's 4-dimensional algebra with the action of its dual equals 4.
We review the developments in the Lie theory for non-associative products from 2000 to date and describe the current understanding of the subject in view of the recent works, many of which use non-associative Hopf algebras as the main tool.
In 1988, S. V. Okhitin proved that for any field k of characteristic zero, the T-space CP(M_2(k)) is finitely based, and he raised the question as to whether CP(A) is finitely based for every (unitary) associative algebra A with nonzero T-ideal of identities that is properly contained CP(A). V. V. Shchigolev (2001) showed that for any field k of characteristic zero, every T-space of the infinite dimensional free associative k algebra is finitely based, and it follows from this that every T-space of the infinite dimensional free unitary k algebra is also finitely based. This more than answers O…
We introduce a notion of split extension of (non-associative) bialgebras which generalizes the notion of split extension of magmas introduced by M. Gran, G. Janelidze and M. Sobral. We show that this definition is equivalent to the notion of action of (non-associative) bialgebras. We particularize this equivalence to (non-associative) Hopf algebras by defining split extensions of (non-associative) Hopf algebras and proving that they are equivalent to actions of (non-associative) Hopf algebras. Moreover, we prove the validity of the Split Short Five Lemma for these kinds of split extensions, an…
Associative algebras with involution over a field of zero characteristic are considered. It is proved that in this case for any finitely generated associative algebra with involution there exists a finite dimensional algebra with involution which satisfies exactly the same identities with involution.
We introduce a non-symmetric operad $\mathcal{N}$, whose dimension in degree $n$ is given by the Catalan number $c_{n-1}$. It arises naturally in the study of coalgebra structures defined on compatible associative algebras. We prove that any free compatible associative algebra admits a compatible infinitesimal bialgebra structure, whose subspace of primitive elements is a $\mathcal{N}$-algebra. The data $({\rm As},{\rm As}^2, \mathcal{N})$ is a good triple of operads, in J.-L. Loday's sense. Our construction induces another triple of operads $({\rm As},{\rm As}_2,{\rm As})$, where ${\rm As}_2$…
In this paper, homological methods together with the theory of formal languages of theoretical computer science are proved to be effective tools to determine the growth and the Hilbert series of an associative algebra. Namely, we construct a class of finitely presented associative algebras related to a family of context-free languages. This allows us to connect the Hilbert series of these algebras with the generating functions of such languages. In particular, we obtain a class of finitely presented graded algebras with non-rational algebraic Hilbert series.
Let $A$ be an associative algebra over a field of characteristic $\neq 2$ that is generated by a finite collection of nilpotent elements. We prove that all Lie derived powers of $A$ are finitely generated Lie algebras.
In his generalization of reductive homogeneous spaces, Lev Sabinin showed that Lie's fundamental theorems hold for local analytic hyporeductive and pseudoreductive loops. We derive Sabinin's results in an algebraic context in terms of non-associative Hopf algebras that satisfy the analog of the hyporeductive and pseudoreductive identities for loops.
This note discusses a framework for the investigation of the prime spectrum of an associative algebra A that is equipped with an action of a Hopf algebra H. In particular, we study a notion of H-rationality for ideals of A and comment on a possible Dixmier-Moeglin equivalence for H-prime ideals of A.
It is shown that the subalgebra of invariants of a free associative algebra of finite rank under a linear action of a semisimple Hopf algebra has a rational Hilbert series with respect to the usual degree function, whenever the ground field has zero characteristic.
We prove the existence of the Hopf PI-exponent for finite dimensional associative algebras $A$ with a generalized Hopf action of an associative algebra $H$ with $1$ over an algebraically closed field of characteristic $0$ assuming only the invariance of the Jacobson radical $J(A)$ under the $H$-action and the existence of the decomposition of $A/J(A)$ into the sum of $H$-simple algebras. As a consequence, we show that the analog of Amitsur's conjecture holds for $G$-codimensions of finite dimensional associative algebras over a field of characteristic $0$ with an action of an arbitrary group $…
Let $F$ be a field and let $F \langle X \rangle$ be the free unital associative $F$-algebra on the free generating set $X = \{ x_1, x_2, \dots \}$. A subalgebra (a vector subspace) $V$ in $F \langle X \rangle$ is called a $T$-subalgebra (a $T$-subspace) if $ϕ(V) \subseteq V$ for all endomorphisms $ϕ$ of $F \langle X \rangle$. For an algebra $G$, its central polynomials form a $T$-subalgebra $C(G)$ in $F \langle X \rangle$. Over a field of characteristic $p > 2$ there are algebras $G$ whose algebras of all central polynomials $C (G)$ are not finitely generated as $T$-subspaces in $F \langle X \…
In this paper, we consider graded associative conformal algebras. The class of these objects includes pseudo-algebras over non-cocommutative Hopf algebras of regular functions on some linear algebraic groups. In particular, an associative conformal algebra which is graded by a finite group $Γ$ is a pseudo-algebra over the coordinate Hopf algebra of a linear algebraic group $G$ such that the identity component $G^0$ is the affine line and $G/G^0\simeq Γ$. A classification of simple and semisimple graded associative conformal algebras of finite type is obtained.
We consider associative algebras with involution graded by a finite abelian group G over a field of characteristic zero. Suppose that the involution is compatible with the grading. We represent conditions permitting PI-representability of such algebras. Particularly, it is proved that a finitely generated (Z/qZ)-graded associative PI-algebra with involution satisfies exactly the same graded identities with involution as some finite dimensional (Z/qZ)-graded algebra with involution for any prime q or q = 4. This is an analogue of the theorem of A.Kemer for ordinary identities, and an extension …
We prove analogs of A.~Selberg's result for finitely generated subgroups of $\text{Aut}(A)$ and of Engel's theorem for subalgebras of $\text{Der}(A)$ for a finitely generated associative commutative algebra $A$ over an associative commutative ring. We prove also an analog of the theorem of W.~Burnside and I.~Schur about locally finiteness of torsion subgroups of $\text{Aut}(A)$.
In this paper, we generalize Schur-Weyl duality and Morita Theorem on associative algebras to those on associative $H$-pseudoalgebras. Meanwhile, we get a plenty of associative $H$-pseudoalgebras over a cocommutative Hopf algebra $H$.
We construct and study a family of finitely generated Hopf algebra domains $H$ of Gelfand-Kirillov dimension two such that $\Ext^1_H(k,k)=0$. Consequently, we answer a question of Goodearl and the second-named author.
Let $F$ be a field of characteristic not $2$ . An associative $F$-algebra $R$ gives rise to the commutator Lie algebra $R^{(-)}=(R,[a,b]=ab-ba).$ If the algebra $R$ is equipped with an involution $*:R\rightarrow R$ then the space of the skew-symmetric elements $K=\{a \in R \mid a^{*}=-a \}$ is a Lie subalgebra of $R^{(-)}.$ In this paper we find sufficient conditions for the Lie algebras $[R,R]$ and $[K,K]$ to be finitely generated.
The purpose of this paper is to study the structure and the algebraic varieties of BiHom-associative algebras. We provide a classication of n-dimensional BiHom-associative and BiHom-bialgebras and BiHom Hopf algebras for n $\le$ 3.
As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding to the identity of the group is a free subalgebra which is graded by the usual degree. We look into its Hilbert series and prove that it is a rational function by giving an explicit formula. As an application, we show that, under suitable conditions, this subalgebra is finitely generated if and only if the grading on the base vector space is trivial.
We study the Hopf algebra H of Fliess operators coming from Control Theory in the one-dimensional case. We prove that it admits a graded, finte-dimensional, connected gradation. Dually, the vector space IR is both a pre-Lie algebra for the pre-Lie product dual of the coproduct of H, and an associative, commutative algebra for the shuffle product. These two structures admit a compatibility which makes IR a Com-pre-Lie algebra. We give a presentation of this object as a Com-pre-Lie algebra and as a pre-Lie algebra.
The operad Lie can be constructed as the operad of primitives Prim As from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincare'-Birkhoff-Witt and Cartier-Milnor-Moore. We replace As by families of free operads P, which include the operad Mag freely generated by a noncommutative non-associative binary operation and the operad of Stasheff polytopes. We obtain Poincare'-Birkhoff-Witt type theorems and collect information about the operads Prim P, e.g. in terms of characteristic functions.
We prove that for every natural number n there exists a natural number N(n) such that every multilinear skew-symmetric polynomial on N(n) or more variables which vanishes in the free associative algebra vanishes as well in any n-generated alternative algebra over a field of characteristic 0. Before this was proved only for a series of such polynomials constructed by the author in [7].
Let F be an infinite field. We prove that the right zero divisors of a three-dimensional associative F-algebra A must form the union of at most finitely many linear subspaces of A. The proof is elementary and written with students as the intended audience.
Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an identity in these semigroups in terms of the Lie structure of R. Namely, we prove that the following conditions on R are equivalent: the semigroup (R,*) satisfies an identity; the semigroup (R,.) satisfies a reduced identity; and, the associated Lie algebra of R satisfies the Engel condition. When R is finitely generated these conditions are each equivalent to …
Lie conformal algebras appear in the theory of vertex algebras. Their relation is similar to that of Lie algebras and their universal enveloping algebras. Associative conformal algebras play a role in conformal representation theory. We introduce the notions of conformal identity and unital associative conformal algebras and classify finitely generated simple unital associative conformal algebras of linear growth. These are precisely the complete algebras of conformal endomorphisms of finite modules.
In this paper, we begin a systematic study of modified Rota-Baxter algebras, as an associative analogue of the modified classical Yang-Baxter equation. We construct free commutative modified Rota-Baxter algebras by a variation of the shuffle product and describe the structure both recursively and explicitly. We then provide these algebras with a Hopf algebra structure by applying a Hochschild cocycle.
Let $A$ be a finite dimensional symmetric Hopf algebra over a field $k$. We show that there are $A$-modules whose Tate cohomology is not finitely generated over the Tate cohomology ring of $A$. However, we also construct $A$-modules which have finitely generated Tate cohomology. It turns out that if a module in a connected component of the stable Auslander-Reiten quiver associated to $A$ has finitely generated Tate cohomology, then so does every module in that component. We apply some of these finite generation results on Tate cohomology to an algebra defined by Radford and to the restricted u…
We investigate a method of construction of central deformations of associative algebras, which we call centrification. We prove some general results in the case of Hopf algebras and provide several examples.
In this note, we introduce a class of algebras that are in some sense related to conformal algebras. This class (called TC-algebras) includes Weyl algebras and some of their (associative and Lie) subalgebras. By a conformal algebra we generally mean what is known as $H$-pseudo-algebra over the polynomial Hopf algebra $H=\Bbbk[T_1,..., T_n]$. Some recent results in structure theory of conformal algebras are applied to get a description of TC-algebras.
By the classical theorem of Weitzenboeck the algebra of constants (i.e., the kernel) of a nonzero locally nilpotent linear derivation of the polynomial algebra K[X] in d variables over a field K of characteristic 0 is finitely generated. As a noncommutative generalization one considers the algebra of constants of a locally nilpotent linear derivation of a d-generated relatively free algebra F(V) in a variety V of unitary associative algebras over K. It is known that the algebra of constants of F(V) is finitely generated if and only if V satisfies a polynomial identity which does not hold for t…
Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on algebras. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true for Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid fo…
We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J. Schneider, which generalizes and unifies the duality theorem for finite Hopf algebras and its refinements.
Let $H$ be a weak Hopf algebra that is a finitely generated module over its affine center. We show that $H$ has finite self-injective dimension and so the Brown--Goodearl Conjecture holds in this special weak Hopf setting.
In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal commutative Hopf subalgebra. In this note we show that Radford's biproduct, applied to the enveloping algebra of the Lie superalgebra pl(1,1), provides a noetherian prime counterexample.
Let $k$ be an algebraically closed field and let $A$ be a finitely generated $k-$algebra. We show that the scheme of n-dimensional representations of $A$ is smooth when $A$ is hereditary and coherent. We deduce from this the smoothness of the Nori-Hilbert scheme associated to $A.$
We study P-Hopf algebras with one coassociative cooperation over different operads P. For example, we consider the Loday-Ronco dendriform Hopf algebra and its isomorphisms with the noncommutative planar Connes-Kreimer Hopf algebra and with a Hopf algebra of Brouder and Frabetti. We focus on Hopf algebra structures over free operads, like the operad Mag freely generated by a non-commutative non-associative binary operation, and the operad of Stasheff polytopes. In order to describe the operads of primitive elements we prove an analogon of the Poincare-Birkhoff-Witt theorem. We determine the gen…
Let H be a differential graded Hopf algebra over a field k. This paper gives an explicit construction of a triple cochain complex that defines the Hochschild-Cartier cohomology of H. A certain truncation of this complex is the appropriate setting for deforming H as an H(q)-structure. The direct limit of all such truncations is the appropriate setting for deforming H as a strongly homotopy associative structure. Sign complications are systematically controlled. The connection between rational perturbation theory and the deformation theory of certain free commutative differential graded algebras…