Related papers: Hopf-Galois Systems

In this paper, our objects of interest are Hopf Galois extensions (e.g., Hopf algebras, Galois field extensions, strongly graded algebras, crossed products, principal bundles, etc.) and families of noncommutative rings (e.g., skew…

We define $H$-Galois extensions for $k$-linear categories and a Hopf algebra $H$ and prove the existence of a Grothendieck spectral sequence for Hochschild-Mitchell cohomology, related to this situation. This spectral sequence is…

This article is made up with two parts. In the first part, we generalize to the case when objects are faithfully flat over the ground ring, the full equivalence between the notions of Hopf-Galois extension and Hopf-Galois system. In the…

This paper uses Galois maps to give a definition of generalized multiplier Hopf coquasigroups, and give a sufficient and necessary condition for a multiplier bialgebra to be a regular multiplier Hopf coquasigroup. Then coactions and…

It is shown that a Hopf algebra over a field admitting a Galois extension separable over its subalgebra of coinvariants is of finite dimension. This answers in the affirmative a question posed by Beattie et al. in [{\it Proc. Amer. Math.…

We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition…

A Hopf Galois structure on a finite field extension $L/K$ is a pair $(H,\mu)$, where $H$ is a finite cocommutative $K$-Hopf algebra and $\mu$ a Hopf action. In this paper we present a program written in the computational algebra system…

We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois…

Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…

A Hopf monoid (in Joyal's category of species) is an algebraic structure akin to that of a Hopf algebra. We provide a self-contained introduction to the theory of Hopf monoids in the category of species. Combinatorial structures which…

We study the push-forward of Hopf--Galois extensions as the algebraic counterpart of the pullback of principal bundles. We apply the theory of twisted tensor product algebras to endow covariant extensions of modules along a map $\mathsf{F}$…

A Hopf Galois structure on a finite field extension $L/K$ is a pair $(H,\mu)$, where $H$ is a finite cocommutative $K$-Hopf algebra and $\mu$ a Hopf action. In this paper we present a program written in the computational algebra system…

We propose a categorical interpretation of multiplier Hopf algebras, in analogy to usual Hopf algebras and bialgebras. Since the introduction of multiplier Hopf algebras by Van Daele in [A. Van Daele, Multiplier Hopf algebras, {\em Trans.…

Let $p$ be prime. Let $L/K$ be a finite, totally ramified, purely inseparable extension of local fields, $\left[ L:K\right] =p^{n},\;n\geq2.$ It is known that $L/K$ is Hopf Galois for numerous Hopf algebras $H,$ each of which can act on the…

We study ideals in Hall algebras of monoid representations on pointed sets corresponding to certain conditions on the representations. These conditions include the property that the monoid act via partial permutations, that the…

We give a degree 8 separable extension having two non-isomorphic Hopf-Galois structures with isomorphic underlying Hopf algebras.

We describe a universal factorization for a functor with values in finite-dimensional measured algebras. More precisely we contruct the quantum automorphism group of this functor. This general recontruction result allows us to recapture a…

For a finite Galois extension K/k and an intermediate field F such that Gal(K/F) has a normal complement in Gal(K/k), we construct and characterize Hopf Galois structures on K/k which are induced by a pair of Hopf Galois structures on K/F…

In this paper we propose still another approach to the Hopf-type cyclic homology of Hopf algebras, introduced by A. Connes and H. Moscovici. Our construction is based on the notion of "universal differential calculus" on an algebra. Few…

Grothendieck-Verdier duality is a powerful and ubiquitous structure on monoidal categories, which generalises the notion of rigidity. Hopf algebroids are a generalisation of Hopf algebras, to a non-commutative base ring. Just as the…