We show which $H^{op}$-cleft extensions $k#_σH^{op}$ of the base field $k$ for a dual quasitriangular Hopf algebra $(H, r)$ are $H$-Azumaya. The result is given in terms of bijectivity of a map $θ_σ\colon H\to H^*$ defined in terms of $r$ and the 2-cocycle $σ$, generalizing a well-known result for the commutative and cocommutative case. We illustrate the Theorem with an explicit computation for the Hopf algebras of type E(n).
In this paper we study the theory of cleft extensions for a weak bialgebra H. Among other results, we determine when two unitary crossed products of an algebra A by H are equivalent and we prove that if H is a weak Hopf algebra, then the categories of H-cleft extensions of an algebra A, and of unitary crossed products of A by H, are equivalent.
Let $(H,α)$ be a monoidal Hom-Hopf algebra, and $(A,β)$ a Hom-algebra. In this paper we will introduce the crossed product $(A\#_σH,β\otimesα)$, which is a Hom-algebra. Then we will introduce the notions of cleft extensions and Galois extensions respectively, and prove that a crossed product is equivalent to a cleft extension and a cleft extension is equivalent to a Galois extension with normal bases property.
Let H be the Taft algebra over a finite commutative ring R. When N is a unit in R, we show that all H-cleft extensions over R are determined up to H-comodule algebra isomorphism by their polynomial H-identities.
We develop Azumaya geometry, which is an extension of classical affine geometry to the world of Azumaya algebras, and package the information contained in all quotient stacks $[\mathrm{rep}_n R\,/\,\mathrm{PGL}_n]$ into a presheaf $\mathrm{Rep}_R$ on it. We show that the classical étale and Zariski topologies extend to Grothendieck topologies on Azumaya geometry in uncountably many ways, and prove that $\mathrm{Rep}_R$ is a sheaf for all of them. The restriction to a specific Azumaya algebra $A$ with center $C$ gives us a sheaf in the étale topology which is represented by an affine $C$-scheme…
In this work, the cohomology theory for partial actions of co-commutative Hopf algebras over commutative algebras is formulated. This theory generalizes the cohomology theory for Hopf algebras introduced by Sweedler and the cohomology theory for partial group actions, introduced by Dokuchaev and Khrypchenko. Some nontrivial examples, not coming from groups are constructed. Given a partial action of a co-commutative Hopf algebra $H$ over a commutative algebra $A$, we prove that there exists a new Hopf algebra $\widetilde{A}$, over a commutative ring $E(A)$, upon which $H$ still acts partially a…
The Artin-Schreier polynomial $Z^p - Z - a$ is very well known. Polynomials of this type describe all degree $p$ (cyclic) Galois extensions over any commutative ring of characteristic $p$. Equally attractive is the associated Galois action. If $θ$ is a root then $σ(θ) = θ+ 1$ generates the Galois group. Less well known, but equally general, is the so called "differential crossed product" Azumaya algebra generated by $x,y$ subject to the relation $xy - yx = 1$. In characteristic $p$ these algebras are always Azumaya and algebras of this sort generate the $p$ torsion subgroup of the Brauer group…
We consider the general circumstance of an Azumaya algebra $A$ of degree $n$ over a locally ringed topos $(\mathbf{X}, {\mathcal{O}}_{\mathbf{ X}})$ where the latter carries a (possibly trivial) involution, denoted $λ$. This generalizes the usual notion of involutions of Azumaya algebras over schemes with involution, which in turn generalizes the notion of involutions of central simple algebras. We provide a criterion to determine whether two Azumaya algebras with involutions extending $λ$ are locally isomorphic, describe the equivalence classes obtained by this relation, and settle the questi…
Let $(H,\a)$ be a Hom-Hopf algebra and $(A,\b)$ be a Hom-algebra. In this paper we will construct the Hom-crossed product $(A\#_σH,\bø\a)$, and prove that the extension $A\subseteq A\#_σH$ is actually a Hom-type cleft extension and vice versa. Then we will give the necessary and sufficient conditions to make $(A\#_σH,\bø\a)$ a Hom-Hopf algebra. Finally we will study the lazy 2-cocycle on $(H,\a)$.
Let $H$ be a cocommutative weak Hopf algebra and let $(B, φ_{B})$ a weak left $H$-module algebra. In this paper, for a twisted convolution invertible morphism $σ:H\otimes H\rightarrow B$ we define its obstruction $θ_σ$ as a degree three Sweedler 3-cocycle with values in the center of $B$. We obtain that the class of this obstruction vanish in third Sweedler cohomology group $\mathcal{H}^3_{φ_{Z(B)}}(H, Z(B))$ if, and only if, there exists a twisted convolution invertible 2-cocycle $α:H\otimes H\rightarrow B$ such that $H\otimes B$ can be endowed with a weak crossed product structure with $α$ k…
