Related papers: Galois theory for H-extensions

Let $p$ be a prime number. For a field $F$ containing a root of unity of order $p$, let $H^\bullet(F)=H^\bullet(F,\mathbb{F}_p)$ be the mod-$p$ Galois cohomology graded $\mathbb{F}_p$-algebra of $F$. By the Norm Residue Theorem,…

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…

A cotensor product A\Box_H P of an H-Hopf Galois extension A and a C-coalgebra Galois extension P, such that P is an (H,C)-bicomodule, is analyzed. Conditions are stated, when A\Box_H P is a C-coalgebra Galois extension and when there…

Let S/R be a finite extension of discrete valuation rings of characteristic p>0, and suppose that the corresponding extension L/K of fields of fractions is separable and is H-Galois for some K-Hopf algebra H. Let D_{S/R} be the different of…

To generalize the notion of Galois closure for separable field extensions, we devise a notion of $G$-closure for algebras of commutative rings $R\to A$, where $A$ is locally free of rank $n$ as an $R$-module and $G$ is a subgroup of…

Let $L/K$ be a finite Galois, totally ramified $p$-extension of complete local fields with perfect residue fields of characteristic $p>0$. In this paper, we give conditions, valid for any Galois $p$-group $G={Gal}(L/K)$ (abelian or not) and…

Let $f$ be a genus two cuspidal Siegel modular eigenform. We prove an adelic open image theorem for the compatible system of Galois representations associated to $f$, generalising the results of Ribet and Momose for elliptic modular forms.…

This is a continuation of the authors' study of finite-dimensional pointed Hopf algebras H which act inner faithfully on commutative domains. As mentioned in Part I of this work, the study boils down to the case where H acts inner…

This paper shows that if $H$ is a Hopf algebra and $A \subseteq B$ is a faithfully flat $H$-Galois extension, then $B$ is skew Calabi-Yau provided $A$ and $H$ are. Specifically, for cleft extensions $A \subseteq B$, the Nakayama…

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…

We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf…

In this short note, we show that the cohomology of an algebra entwined with a coalgebra as defined by T. Brzezi\'nski (J. Algebra 235 (2001), no. 1, 176--202; arXiv:math.RA/9909108) computes the Hochschild cohomology of the subalgebra of…

Let H be a finite-dimensional quasibialgebra. We show that H is a quasi-Hopf algebra if and only if the category of its finite-dimensional left modules is rigid if and only if a structure theorem for Hopf modules over H holds. We also show…

We show that for a braided Hopf algebra in the category of comodules over a cosemisimple coquasitriangular Hopf algebra, the Hochschild cohomological dimension, the left and right global dimensions and the projective dimensions of the…

Let $X$ be a smooth projective connected curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show…

Hopf Galois theory for finite separable field extensions was introduced by Greither and Pareigis. They showed that all Hopf Galois extensions of degree up to 5 are either Galois or almost classically Galois and they determined the Hopf…

This note presents some results on projective modules and the Grothendieck groups K_0 and G_0 for Frobenius algebras and for certain Hopf Galois extensions. Our principal technical tools are the Higman trace for Frobenius algebras and a…

We introduce an $A_\infty$-algebra structure on the Hochschild cohomology of the endomorphism bimodule of a finite-dimensional representation of an associative algebra. We prove that this structure determines a presentation for…

We define polynomial H-identities for comodule algebras over a Hopf algebra H and establish general properties for the corresponding T-ideals. In the case H is a Taft algebra or the Hopf algebra E(n), we exhibit a finite set of polynomial…

Some new results on the module structure of Hopf algebras over a certain class of Hopf subalgebras and right coideal subalgebras are proved.