arXiv subjects

Alexey Gordienko

Publications and source records attributed to Alexey Gordienko.

13 recordsLinked to original sources

arXiv2026

(Co)module algebras and their generalizations

This manuscript is an extended version of the author's habilitation thesis defended on May 21, 2021 at M.V. Lomonosov Moscow State University. It is devoted to the study of (co)stability of radicals, existence of (co)invariant Levi and Wedderburn decompositions, structure of the corresponding simple algebras and codimension growth of polynomial identities in (co)module algebras over bi- and Hopf algebras and their generalizations. The main difference between this manuscript and the "official" thesis are additional chapters dealing with equivalences of gradings and Hopf algebra (co)actions, V-universal (co)acting bi- and Hopf algebras and related categorical questions. (In Russian.)

math.RA↗

arXiv2026

$V$-universal Hopf algebras (co)acting on $Ω$-algebras

We develop a theory which unifies the universal (co)acting bi/Hopf algebras as studied by Sweedler, Manin and Tambara with the recently introduced \cite{AGV1} bi/Hopf-algebras that are universal among all support equivalent (co)acting bi/Hopf algebras. Our approach uses vector spaces endowed with a family of linear maps between tensor powers of $A$, called $Ω$-algebras. This allows us to treat algebras, coalgebras, braided vector spaces and many other structures in a unified way. We study $V$-universal measuring coalgebras and $V$-universal comeasuring algebras between $Ω$-algebras $A$ and $B$, relative to a fixed subspace $V$ of $\Vect(A,B)$. By considering the case $A=B$, we derive the notion of a $V$-universal (co)acting bialgebra (and Hopf algebra) for a given algebra $A$. In particular, this leads to a refinement of the existence conditions for the Manin--Tambara universal coacting bi/Hopf algebras. We establish an isomorphism between the $V$-universal acting bi/Hopf algebra and the finite dual of the $V$-universal coacting bi/Hopf algebra under certain conditions on $V$ in terms of the finite topology on $\End_F(A)$.

math.RA↗

arXiv2025

Dualities for universal (co)acting Hopf monoids

In general, universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids, which prove to be a useful tool in the classification of quantum symmetries, do not always exist. In order to ensure their existence, the support of a given object was recently introduced in \cite{AGV3} and used to restrict the class of objects considered when defining universal (co)acting objects. It is well-known that, in contrast with the universal coacting Hopf algebra, for actions on algebras over a field it is usually difficult to describe the universal acting Hopf algebra explicitly and this turns the duality theorem into an important investigation tool. In the present paper we establish duality results for universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids in pre-rigid braided monoidal categories $\mathcal{C}$. In addition, when the base category $\mathcal{C}$ is closed monoidal, we provide a convenient uniform approach to the aforementioned universal objects in terms of the cosupports, which in this case become subobjects of internal hom-objects. In order to explain our constructions, we use the language of locally initial objects. Known results from the literature are recovered when the base category is the category of vector spaces over a field. New cases where our results can be applied are explored, including categories of (co)modules over (co)quasitriangular Hopf algebras, Yetter-Drinfeld modules and dg-vector spaces.

math.CT↗

arXiv2025

Lifting of locally initial objects and universal (co)acting Hopf algebras

The universal (co)acting bi/Hopf algebras introduced by Yu. I. Manin, M. Sweedler and D. Tambara, the universal Hopf algebra of a given (co)module structure, as well as the universal group of a grading, introduced by J. Patera and H. Zassenhaus, find their applications in the classification of quantum symmetries. Typically, universal (co)acting objects are defined as initial or terminal in the corresponding categories and, as such, they do not always exist. In order to ensure their existence, we introduce the support of a given object, which generalizes the support of a grading and is used to restrict the class of objects under consideration. The existence problems for universal objects are formulated and studied in a purely categorical manner by seeing them as particular cases of the lifting problem for a locally initial object. We prove the existence of a lifting and, consequently, of the universal (co)acting objects under some assumptions on the base (braided or symmetric monoidal) category. In contrast to existing constructions, our approach is self-dual in the sense that we can use the same proof to obtain the existence of universal actions and coactions. In particular, when the base category is the category of vector spaces over a field, the category of sets or their duals, we recover known existence results for the aforementioned universal objects. The proposed approach allows us to apply our results not only to the classical categories of sets and vectors spaces and their duals but also to (co)modules over bi/Hopf algebras, differential graded vector spaces, $G$-sets and graded sets.

math.CT↗

arXiv2020

Equivalences of (co)module algebra structures over Hopf algebras

We introduce the notion of support equivalence for (co)module algebras (over Hopf algebras), which generalizes in a natural way (weak) equivalence of gradings. We show that for each equivalence class of (co)module algebra structures on a given algebra A, there exists a unique universal Hopf algebra H together with an H-(co)module structure on A such that any other equivalent (co)module algebra structure on A factors through the action of H. We study support equivalence and the universal Hopf algebras mentioned above for group gradings, Hopf-Galois extensions, actions of algebraic groups and cocommutative Hopf algebras. We show how the notion of support equivalence can be used to reduce the classification problem of Hopf algebra (co)actions. We apply support equivalence in the study of the asymptotic behaviour of codimensions of H-identities and, in particular, to the analogue (formulated by Yu. A. Bahturin) of Amitsur's conjecture, which was originally concerned with ordinary polynomial identities. As an example we prove this analogue for all unital H-module structures on the algebra $F[x]/(x^2)$ of dual numbers.

math.RA↗

arXiv2018

Lie algebras simple with respect to a Taft algebra action

We classify finite dimensional $H_{m^2}(ζ)$-simple $H_{m^2}(ζ)$-module Lie algebras $L$ over an algebraically closed field of characteristic $0$ where $H_{m^2}(ζ)$ is the $m$th Taft algebra. As an application, we show that despite the fact that $L$ can be non-semisimple in ordinary sense, $\lim_{n\to\infty}\sqrt[n]{c_n^{H_{m^2}(ζ)}(L)} = \dim L$ where $c_n^{H_{m^2}(ζ)}(L)$ is the codimension sequence of polynomial $H_{m^2}(ζ)$-identities of $L$. In particular, the analog of Amitsur's conjecture holds for $c_n^{H_{m^2}(ζ)}(L)$.

math.RA↗

arXiv2018

Categories and weak equivalences of graded algebras

math.RA↗

arXiv2018

On $H$-simple not necessarily associative algebras

An algebra A with a generalized H-action is a generalization of an H-module algebra where H is just an associative algebra with 1 and a relaxed compatibility condition between the multiplication in A and the H-action on A holds. At first glance this notion may appear too general, however it enables to work with algebras endowed with various kinds of additional structures (e.g. (co)module algebras over Hopf algebras, graded algebras, algebras with an action of a (semi)group by (anti)endomorphisms). This approach proves to be especially fruitful in the theory of polynomial identities. We show that if A is a finite dimensional (not necessarily associative) algebra over a field of characteristic 0 and A is simple with respect to a generalized H-action, then there exists an exponent of the codimension growth of polynomial H-identities of A. In particular, if A is a finite dimensional (not necessarily group graded) graded-simple algebra, then there exists an exponent of the codimension growth of graded polynomial identities of A. In addition, we study the free-forgetful adjunctions corresponding to (not necessarily group) gradings and generalized H-actions.

math.RA↗

arXiv2018

On weak equivalences of gradings

When one studies the structure (e.g. graded ideals, graded subspaces, radicals, ...) or graded polynomial identities of graded algebras, the grading group itself does not play an important role, but can be replaced by any other group that realizes the same grading. Here we come to the notion of weak equivalence of gradings: two gradings are weakly equivalent if there exists an isomorphism between the graded algebras that maps each graded component onto a graded component. The following question arises naturally: when a group grading on a finite dimensional algebra is weakly equivalent to a grading by a finite group? It turns out that this question can be reformulated purely group theoretically in terms of the universal group of the grading. Namely, a grading is weakly equivalent to a grading by a finite group if and only if the universal group of the grading is residually finite with respect to a special subset of the grading group. The same is true for all the coarsenings of the grading if and only if the universal group of the grading is hereditarily residually finite with respect to the same subset. We show that if $n\geqslant 349$, then on the full matrix algebra $M_n(F)$ there exists an elementary group grading that is not weakly equivalent to any grading by a finite (semi)group, and if $n\leqslant 3$, then any elementary grading on $M_n(F)$ is weakly equivalent to an elementary grading by a finite group.

math.RA↗

arXiv2017

Semigroup graded algebras and graded PI-exponent

Let $S$ be a finite semigroup and let $A$ be a finite dimensional $S$-graded algebra. We investigate the exponential rate of growth of the sequence of graded codimensions $c_n^S(A)$ of $A$, i.e $\lim\limits_{n \rightarrow \infty} \sqrt[n]{c_n^S(A)}$. For group gradings this is always an integer. Recently in [20] the first example of an algebra with a non-integer growth rate was found. We present a large class of algebras for which we prove that their growth rate can be equal to arbitrarily large non-integers. An explicit formula is given. Surprisingly, this class consists of an infinite family of algebras simple as an $S$-graded algebra. This is in strong contrast to the group graded case for which the growth rate of such algebras always equals $\dim (A)$. In light of the previous, we also handle the problem of classification of all $S$-graded simple algebras, which is of independent interest. We achieve this goal for an important class of semigroups that is crucial for a solution of the general problem.

math.RA↗

arXiv2017

Actions of Ore extensions and growth of polynomial $H$-identities

We show that if $A$ is a finite dimensional associative $H$-module algebra for an arbitrary Hopf algebra $H$, then the proof of the analog of Amitsur's conjecture for $H$-codimensions of $A$ can be reduced to the case when $A$ is $H$-simple. (Here we do not require that the Jacobson radical of $A$ is an $H$-submodule.) As an application, we prove that if $A$ is a finite dimensional associative $H$-module algebra where $H$ is a Hopf algebra $H$ over a field of characteristic $0$ such that $H$ is constructed by an iterated Ore extension of a finite dimensional semisimple Hopf algebra by skew-primitive elements (e.g. $H$ is a Taft algebra), then there exists integer $\mathop{\mathrm{PIexp}}^H(A)$. In order to prove this, we study the structure of algebras simple with respect to an action of an Ore extension.

math.RA↗

arXiv2014

$\mathbb ZS_n$-modules and polynomial identities with integer coefficients

We show that, like in the case of algebras over fields, the study of multilinear polynomial identities of unitary rings can be reduced to the study of proper polynomial identities. In particular, the factors of series of $\mathbb ZS_n$-submodules in the $\mathbb ZS_n$-modules of multilinear polynomial functions can be derived by the analog of Young's (or Pieri's) rule from the factors of series in the corresponding $\mathbb ZS_n$-modules of proper polynomial functions. As an application, we calculate the codimensions and a basis of multilinear polynomial identities of unitary rings of upper triangular $2\times 2$ matrices and infinitely generated Grassmann algebras over unitary rings. In addition, we calculate the factors of series of $\mathbb ZS_n$-submodules for these algebras. Also we establish relations between codimensions of rings and codimensions of algebras and show that the analog of Amitsur's conjecture holds in all torsion-free rings, and all torsion-free rings with 1 satisfy the analog of Regev's conjecture.

math.RA↗

arXiv2007

Calculated Momentum Dependence of Zhang-Rice States in Transition Metal Oxides

Using a combination of local density functional theory and cluster exact diagonalization based dynamical mean field theory, we calculate many body electronic structures of several Mott insulating oxides including undoped high T_{c} materials. The dispersions of the lowest occupied electronic states are associated with the Zhang-Rice singlets in cuprates and with doublets, triplets, quadruplets and quintets in more general cases. Our results agree with angle resolved photoemission experiments including the decrease of the spectral weight of the Zhang--Rice band as it approaches k=0.

cond-mat.str-el↗