Related papers: Support varieties and representation type of small…
The program of internal type theory seeks to develop the categorical model theory of dependent type theory using the language of dependent type theory itself. In the present work we study internal homotopical type theory by relaxing the…
The principle of tannakian duality states that any neutral tannakian category is tensorially equivalent to the category Rep_k G of finite dimensional representations of some affine group scheme G and field k, and conversely. Originally…
Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories…
This text collects useful results concerning the quasi-Hopf algebra $\D $. We give a review of issues related to its use in conformal theories and physical mathematics. Existence of such algebras based on 3-cocycles with values in $ {R} /…
We show that provided $n\ne 3$, the involutive Hopf *-algebra $A_u(n)$ coacting universally on an $n$-dimensional Hilbert space has enough finite-dimensional representations in the sense that every non-zero element acts non-trivially in…
We generalize various properties of Yetter-Drinfeld modules over Hopf algebras to quasi-Hopf algebras. The dual of a finite dimensional Yetter-Drinfeld module is again a Yetter-Drinfeld module. The algebra $H_0$ in the category of…
We show that every partial representation of a connected Hopf algebra is global. Some interesting classes of partial representations of smash product Hopf algebras are studied, and a description of the partial "Hopf" algebra if the first…
Our first collection of results parametrize (filtered) actions of a quantum Borel $U_q(\mathfrak{b}) \subset U_q(\mathfrak{sl}_2)$ on the path algebra of an arbitrary (finite) quiver. When $q$ is a root of unity, we give necessary and…
We find a new geometric incarnation for the principal block in the category of modules over a quantum group at a root of unity, realizing it as a full subcategory of microsheaves on a certain affine Springer fiber. We also prove a related…
We consider the adjoint representation of a Hopf algebra $H$ focusing on the locally finite part, $H_{\text{adfin}}$, defined as the sum of all finite-dimensional subrepresentations. For virtually cocommutative $H$ (i.e., $H$ is finitely…
We investigate support schemes for infinitesimal unipotent supergroups and their representations. Our main results provide a non-cohomological description of these schemes which generalizes the classical work of Suslin, Friedlander, and…
We describe a bigraded cocommutative Hopf algebra structure on the weight zero compactly supported rational cohomology of the moduli space of principally polarized abelian varieties. By relating the primitives for the coproduct to graph…
We prove that, over an algebraically closed field of characteristic zero, a semisimple Hopf algebra that has a nontrivial self-dual simple module must have even dimension. This generalizes a classical result of W. Burnside. As an…
It is proved in this paper that for any finite-dimensional nonsemisimple Hopf algebra $A$ there exists a Hopf algebra $H$ containing $A$ as a Hopf subalgebra such that $H$ is not flat over $A$. On the other hand, there is a class of…
We introduce Hopf images of coactions of Hopf algebras and develop their role in the geometry of quantum principal bundles. Assuming cosemisimplicity of the structure Hopf algebra, we show that every quantum principal bundle equipped with a…
We discuss some algebraic aspects of quantum permutation groups, working over arbitrary fields. If $K$ is any characteristic zero field, we show that there exists a universal cosemisimple Hopf algebra coacting on the diagonal algebra $K^n$:…
In a previous paper we showed that the category of cocommutative color Hopf algebras is semi-abelian in case the group $G$ is abelian and finitely generated and the characteristic of the base field is different from 2 (not needed if $G$ is…
The cohomology of the degree-$n$ general linear group over a finite field of characteristic $p$, with coefficients also in characteristic $p$, remains poorly understood. For example, the lowest degree previously known to contain nontrivial…
We obtain two characterizations of the bi-inner Hopf *-automorphisms of a finite-dimensional Hopf C*-algebra, by means of an analysis of the structure of convolution products in this class of Hopf C*-algebra.
We study induced model structures on Frobenius categories. In particular we consider the case where $\mathcal{C}$ is the category of comodules of a supercommutative Hopf algebra $A$ over a field $k$. Given a graded Hopf algebra quotient $A…