Related papers: Coalgebra Extensions and Algebra Coextensions of G…

We dualise the classical fact that an operad with multiplication leads to cohomology groups which form a Gerstenhaber algebra to the context of cooperads: as a result, a cooperad with comultiplication induces a homology theory that is…

The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new homotopy double groupoid of a map of spaces, which includes…

We translate some fundamental properties satisfied by topological principal bundles into the setting of Hopf-Galois extensions. The properties are: functoriality, homotopy, and triviality. The main new concept of the paper is the homotopy…

``Bonsai'' Hopf algebras, introduced here, are generalizations of Connes-Kreimer Hopf algebras, which are motivated by Feynman diagrams and renormalization. We show that we can find operad structure on the set of bonsais. We introduce a new…

In 2020, Alabdali and Byott described the Hopf-Galois structures arising on Galois field extensions of squarefree degree. Extending to squarefree separable, but not necessarily normal, extensions $L/K$ is a natural next step. One must…

The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…

Two cochain complexes are constructed for an algebra A and a coalgebra C entwined with each other via the map $\psi:C\otimes A\to A\otimes C$. One complex is associated to an A-bimodule, the other to a C-bicomodule. In the former case the…

In this paper, we construct, for some $2$-groups $G$, explicit Galois extensions $E/\mathbb{Q}(T)$ of group $G$ with $E\cap\overline{\mathbb{Q}}=\mathbb{Q}$. We also provide explicit arithmetic progressions of integers $t_0$ such that the…

We develop a partial Hopf-Galois theory for partial H-module algebras and we recover analogs of classical results for Hopf algebras.

We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the…

We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing…

Two coalgebra structures are used in quantum field theory. The first one is the coalgebra part of a Hopf algebra leading to deformation quantization. The second one is a co-module co-algebra over the first Hopf algebra and it is used to…

We classify skew braces that are the semidirect product of an ideal and a left ideal. As a consequence, given a Galois extension of fields $ L/K $ whose Galois group is the semidirect product of a normal subgroup $ A $ and a subgroup $ B $,…

We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…

Let $L/K$ be any finite Galois extension with Galois group $G$. It is known by Chase and Sweedler that the Hopf--Galois correspondence is injective for every Hopf--Galois structure on $L/K$, but it need not be bijective in general.…

Hopf algebra structure on the differential algebra of the extended $q$-plane is defined. An algebra of forms which is obtained from the generators of the extended $q$-plane is introduced and its Hopf algebra structure is given.

We introduce the concept of braided alternative bialgebra. The theory of cocycle bicrossproducts for alternative bialgebras is developed. As an application, the extending problem for alternative bialgebra is solved by using some non-abelian…

The Hopf-Galois structures on normal extensions $K/k$ with $G=Gal(K/k)$ are in one-to-one correspondence with the set of regular subgroups $N\leq B=Perm(G)$ that are normalized by the left regular representation $\lambda(G)\leq B$. Each…

The classical Clifford correspondence for normal subgroups is considered in the more general setting of semisimple Hopf algebras. We prove that this correspondence still holds if the extension determined by the normal Hopf subalgebra is…

Let $H$ be a character Hopf algebra. Every right coideal subalgebra that contains the coradical has a PBW-basis which can be extended up to a PBW-basis of $H.$