Searcharxiv⌕ Search

arXiv subjects

Agustín García Iglesias

Publications and source records attributed to Agustín García Iglesias.

18 recordsLinked to original sources
arXiv2025

Irreducible representations of pointed Hopf algebras of type $A_2$

We classify the irreducible representations of a family of finite-dimensional pointed liftings $H_λ$ of the Nichols algebra associated with the diagram $A_2$ with parameter $q=-1$. We show that these algebras have infinite representation type and construct an indecomposable $H_λ$-module of dimension $n$ for each $n\in\mathbb{N}$. Finally, we study a semisimple category $\underline{\operatorname{Rep}} H_λ$ arising as a quotient of $\operatorname{Rep} H_λ$.

math.QA↗
arXiv2022

Finite GK-dimensional Nichols algebras of diagonal type and finite root systems

Let $(V,c)$ be a finite-dimensional braided vector space of diagonal type. We show that the Gelfand Kirillov dimension of the Nichols algebra $\mathfrak{B}(V)$ is finite if and only if the corresponding root system is finite, that is $\mathfrak{B}(V)$ admits a PBW basis with a finite number of generators. This had been conjectured in arXiv:1606.02521 and proved for $\dim V=2,3$ in arXiv:1803.08804, arXiv:2106.10143 respectively.

math.QA↗
arXiv2021

On the computation of Hopf 2-cocycles, with an example of diagonal type

We present a framework for the computation of the Hopf 2-cocycles involved in the deformations of Nichols algebras over semisimple Hopf algebras. We write down a recurrence formula and investigate the extent of the connection with invariant Hochschild cohomology in terms of exponentials. As an example, we present detailed computations leading to the explicit description of the Hopf 2-cocycles involved in the deformations of a Nichols algebra of Cartan type $A_2$ with $q=-1$, a.k.a. the positive part of the small quantum group $\mathfrak{u}^+_{\sqrt{\text{-1}}}(\mathfrak{sl}_3)$. We show that these cocycles are generically pure, that is they are not cohomologous to exponentials of Hochschild 2-cocycles.

math.QA↗
arXiv2019

Hopf-Galois structures on ambiskew polynomial rings

We provide necessary and sufficient conditions to extend the Hopf-Galois algebra structure on an algebra R to a generalized ambiskew ring based on R, in a way such that the added variables for the extension are skew-primitive in an appropriate sense. We show that the associated Hopf algebra is again a a generalized ambiskew ring, based on a suitable Hopf algebra H(R). Several examples are examined, including the Hopf-Galois objects over Uq(sl2).

math.QA↗
arXiv2018

Liftings of Nichols algebras of diagonal type II. All liftings are cocycle deformations

We classify finite-dimensional pointed Hopf algebras with abelian coradical, up to isomorphism, and show that they are cocycle deformations of the associated graded Hopf algebra. More generally, for any braided vector space of diagonal type $V$ with a principal realization in the category of Yetter-Drinfeld modules of a cosemisimple Hopf algebra $H$ and such that the Nichols algebra $\mathfrak{B}(V)$ is finite-dimensional, thus presented by a finite set $\mathcal G$ of relations, we define a family of Hopf algebras $\mathfrak{u}(\boldsymbolλ)$, $\boldsymbolλ\in \Bbbk^{\mathcal G}$, which are cocycle deformations of $\mathfrak{B}(V)\# H$ and such that $\operatorname{gr}\mathfrak{u}(\boldsymbolλ)\simeq \mathfrak{B}(V)\# H$.

math.QA↗
arXiv2018

Pointed Hopf algebras: a guided tour to the liftings

This article serves a two-fold purpose. On the one hand, it is a survey about the classification of finite-dimensional pointed Hopf algebras with abelian coradical, whose final step is the computation of the liftings or deformations of graded Hopf algebras. On the other, we present a step-by-step guide to carry out the strategy developed to construct the liftings. As an example, we conclude the work with the classification of pointed Hopf algebras of type $B_2$.

math.QA↗
arXiv2017

Copointed Hopf algebras over $\mathbb{S}_4$

We study the realizations of certain braided vector spaces of rack type as Yetter-Drinfeld modules over a cosemisimple Hopf algebra $H$. We apply the strategy developed in arXiv:1212.5279 to compute their liftings and use these results to obtain the classification of finite-dimensional copointed Hopf algebras over $\mathbb{S}_4$.

math.QA↗
arXiv2017

Liftings of Nichols algebras of diagonal type III. Cartan type $G_2$

We complete the classification of Hopf algebras whose infinitesimal braiding is a principal Yetter-Drinfeld realization of a braided vector space of Cartan type $G_2$ over a cosemisimple Hopf algebra. We develop a general formula for a class of liftings in which the quantum Serre relations hold. We give a detailed explanation of the procedure for finding the relations, based on the recent work of Andruskiewitsch, Angiono and Rossi Bertone.

math.QA↗
arXiv2016

Twisting Hopf algebras from cocycle deformations

Let $H$ be a Hopf algebra. Any finite-dimensional lifting of $V\in {}^{H}_{H}\mathcal{YD}$ arising as a cocycle deformation of $A=\mathfrak{B}(V)\#H$ defines a twist in the Hopf algebra $A^*$, via dualization. We follow this recipe to write down explicit examples and show that it extends known techniques for defining twists. We also contribute with a detailed survey about twists in braided categories.

math.QA↗
arXiv2016

Liftings of Nichols algebras of diagonal type I. Cartan type A

After the classification of the finite-dimensional Nichols algebras of diagonal type arXiv:math/0411477, arXiv:math/0605795, the determination of its defining relations arXiv:1008.4144, arXiv:1104.0268, and the verification of the generation in degree one conjecture arXiv:1104.0268, there is still one step missing in the classification of complex finite-dimensional Hopf algebras with abelian group, without restrictions on the order of the latter: the computation of all deformations or liftings. A technique towards solving this question was developed in arXiv:1212.5279, built on cocycle deformations. In this paper, we elaborate further and present an explicit algorithm to compute liftings. In our main result we classify all liftings of finite-dimensional Nichols algebras of Cartan type $A$, over a cosemisimple Hopf algebra $H$. This extends arXiv:math/0110136, where it was assumed that the parameter is a root of unity of order $>3$ and that $H$ is a commmutative group algebra. When the parameter is a root of unity of order 2 or 3, new phenomena appear: the quantum Serre relations can be deformed, this allows in turn the power root vectors to be deformed to elements in lower terms of the coradical filtration, but not necessarily in the group algebra. These phenomena are already present in the calculation of the liftings in type $A_2$ at a parameter of order 2 or 3 over an abelian group arXiv:math/0204075, arXiv:1003.5882, done by a different method using a computer program. As a by-product of our calculations, we present new infinite families of finite-dimensional pointed Hopf algebras.

math.QA↗
arXiv2015

$θ$-semisimple twisted conjugacy classes of type D in $\operatorname{PSL}_n(q)$

Let $p$ be an odd prime, $m\in {\mathbb N}$ and set $q=p^m$, $G=\operatorname{PSL}_n(q)$. Let $θ$ be a standard graph automorphism of $G$, $d$ be a diagonal automorphism and $\operatorname{Fr}_q$ be the Frobenius endomorphism of $\operatorname{PSL}_n(\overline{{\mathbb F}_q})$. We show that every $(d\circ θ)$-conjugacy class of a $(d\circ θ,p)$-regular element in $G$ is represented in some $\operatorname{Fr}_q$-stable maximal torus and that most of them are of type D. We write out the possible exceptions and show that, in particular, if $n\geq5$ is either odd or a multiple of $4$ and $q>7$, then all such classes are of type D. We develop general arguments to deal with twisted classes in finite groups.

math.QA↗
arXiv2013

Finite-dimensional Pointed or Copointed Hopf algebras over affine racks

We study the pointed or copointed liftings of Nichols algebras associated to affine racks and constant cocycles for any finite group admitting a principal YD-realization of these racks. In the copointed case we complete the classification for the six affine racks whose Nichols algebra is known to be of finite dimension. In the pointed case our method allows us to finish four of them. In all of the cases the Hopf algebras obtained turn out to be cocycle deformations of their associated graded Hopf algebras. All of them are new examples of finite-dimensional copointed or pointed Hopf algebras over non-abelian groups.

math.QA↗
arXiv2013

Lifting via cocycle deformation

We develop a strategy to compute all liftings of a Nichols algebra over a finite dimensional cosemisimple Hopf algebra. We produce them as cocycle deformations of the bosonization of these two. In parallel, we study the shape of any such lifting.

math.QA↗
arXiv2010

Pointed Hopf algebras with standard braiding are generated in degree one

We show that any finite-dimensional pointed Hopf algebra over an abelian group $Γ$ such that its infinitesimal braiding is of standard type is generated by group-like and skew-primitive elements. This fact agrees with the long-standing conjecture by Andruskiewitsch and Schneider. We also show that the quantum Serre relations hold in any coradically graded pointed Hopf algebra over $Γ$ of finite dimension and determine how these relations are lifted in the standard case.

math.QA↗