Related papers: Finitary Galois extensions over noncommutative bas…
We introduce a noncommutative and noncocommutative Hopf algebra which takes for certain Hopf categories (and therefore braided monoidal bicategories) a similar role as the Grothendieck- Teichmueller group for quasitensor categories. We also…
For a totally real field $F$, a finite extension $\mathbf{F}$ of $\mathbf{F}_p$ and a Galois character $\chi: G_F \to \mathbf{F}^{\times}$ unramified away from a finite set of places $\Sigma \supset \{\mathfrak{p} \mid p\}$ consider the…
Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an…
We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as a quantization of the gauge groupoid of a classical principal bundle. We show that the gauge group of the noncommutative bundle is isomorphic to the…
For a braided finite tensor category $\mathcal{C}$ with unit object $1 \in \mathcal{C}$, Lyubashenko considered a certain Hopf algebra $\mathbb{F} \in \mathcal{C}$ endowed with a Hopf pairing $\omega: \mathbb{F} \otimes \mathbb{F} \to 1$ to…
We show that all possible categories of Yetter-Drinfeld modules over a quasi-Hopf algebra $H$ are isomorphic. We prove also that the category $\yd^{\rm fd}$ of finite dimensional left Yetter-Drinfeld modules is rigid and then we compute…
A finite set can be supplied with a group structure which can then be used to select (classes of) differential calculi on it via the notions of left-, right- and bicovariance. A corresponding framework has been developed by Woronowicz, more…
We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as a quantization of the classical gauge groupoid of a principal bundle. When the base algebra is in the centre of the total space algebra, the gauge group…
We investigate Hopf algebroids in the category of $L$-complete modules over a commutative Noetherian regular complete local ring. The main examples are provided by the Hopf algebroids associated to Lubin-Tate spectra in the K(n)-local…
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…
Due to the work of Shimizu (2019), various nondegeneracy conditions for braided finite tensor categories are equivalent. This theory is partially extended to braided module categories here. We introduce when a braided module category is…
We study Kan extensions in three weakenings of the Eilenberg-Moore double category associated to a double monad, that was introduced by Grandis and Par\'e. To be precise, given a normal oplax double monad $T$ on a double category $\mathcal…
The category of rational mixed Hodge-Tate structures is a mixed Tate category. So thanks to the Tannakian formalism, it is equivalent to the category of finite dimensional graded comodules over a graded commutative Hopf algebra H over Q.…
Let $L/K$ be a Galois extension of fields with Galois group $G$, an elementary abelian $p$-group of rank $n$ for $p$ an odd prime. It is known that nilpotent $\mathbb{F}_p$-algebra structures $A$ on $G$ yield regular subgroups of the…
We revisit and extend the Durdevic theory of complete calculi on quantum principal bundles. In this setting one naturally obtains a graded Hopf-Galois extension of the higher order calculus and an intrinsic decomposition of degree 1-forms…
We find a self-dual noncommutative and noncocommutative Hopf algebra acting as a universal symmetry on the modules over inner Frobenius algebras of modular categories (as used in two dimensional boundary conformal field theory) similar to…
{\em Galois comodules} over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of {\em Galois functors} over some comonad (or monad) on any category and in the first section of the…
Given a finite category T, we consider the functor category [T,A], where A can in particular be any quasi-abelian category. Examples of quasi-abelian categories are given by any abelian category but also by non-exact additive categories as…
Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary…
Let k be a field. Let also (F, G) be a matched pair of groups. We give necessary and sufficient conditions on a pair (\sigma, \tau) of 2-cocycles in order that the crossed product algebra and the crossed coproduct coalgebra…