nLab cleft extension

Redirected from "cleft comodule algebra".
Note: crossed product algebra and cleft extension both redirect for "cleft comodule algebra".

Definition

Let HH be a bialgebra, a right HH-comodule algebra EE is an HH-extension of a subalgebra UEU\subset E if U=E coHU=E^{co H} is precisely the subalgebra of HH-coinvariants. The HH-extension UEU\subset E is cleft if there exist a convolution-invertible HH-comodule map γ:HE\gamma:H\to E. In other words, there is also a map γ 1:HE\gamma^{-1}:H\to E (the convolution inverse of γ\gamma) such that for all hHh\in H, γ(h (1))γ 1(h (2))=ϵ(h)=γ 1(h (1))γ(h (2))\gamma(h_{(1)})\gamma^{-1}(h_{(2)}) = \epsilon(h) = \gamma^{-1}(h_{(1)})\gamma(h_{(2)}).

Normalization of γ\gamma

If UEU\hookrightarrow E is a cleft HH-extension, then the cleavage γ\gamma can always be chosen normalized in the sense that γ(1)=1\gamma(1)=1; because if it is not normalized we can rescale γ\gamma to form a normalized cleavage γ=γ 1(1)γ\gamma'=\gamma^{-1}(1)\gamma (indeed, 11 is group-like, hence γ(1)\gamma(1) is invertible with inverse (γ(1)) 1=γ 1(1)(\gamma(1))^{-1}=\gamma^{-1}(1)).

Correspondence between cleft extensions and cocycled crossed products

It is easy to show that the rule

hu:=γ(h (1))uγ 1(h (2))h\triangleright u := \sum \gamma(h_{(1)})u\gamma^{-1}(h_{(2)})

defines a measuring :HUU\triangleright:H\otimes U\to U i.e. h(uv)=(h (1)u)(h (2)v)h\triangleright(uv)=\sum (h_{(1)}\triangleright u)(h_{(2)}\triangleright v) and if γ\gamma is chosen normalized, then h1=ϵ(h)1h\triangleright 1 = \epsilon(h) 1. Define a convolution invertible map σHom k(HH,U)\sigma\in Hom_k(H\otimes H,U) by

σ(h,k)=γ(h (1))γ(k (1))γ 1(h (2)k (2)),h,kH.\sigma(h,k) = \sum \gamma(h_{(1)})\gamma(k_{(1)})\gamma^{-1}(h_{(2)}k_{(2)}),\,\,\,\,\,h,k\in H.

Then the pair (,σ)(\triangleright,\sigma) defines the data for the cocycled crossed product algebra U σHU\sharp_\sigma H which is canonically isomorphic to BB as an HH-extension of UU1U σHU\cong U\otimes 1\hookrightarrow U\sharp_\sigma H, and i.e. as a right HH-comodule algebra with the isomorphism fixing UU as given.

Conversely, if HH is a Hopf algebra, every cocycled product U σHU\sharp_\sigma H with invertible cocycle σ\sigma is cleft via γ:h1h\gamma: h\mapsto 1\sharp h with convolution inverse γ 1(h)=σ 1(Sh (2),h (3))h (1)\gamma^{-1}(h) = \sigma^{-1}(Sh_{(2)},h_{(3)})\otimes h_{(1)} and the cocycle σ\sigma built out of γ\gamma is the same one which helped build the cocycled crossed product.

Every cleft extension is a particular case of a Hopf-Galois extension. Any Hopf–Galois extension with the normal basis property is necessarily a cleft extension (Doi Takeuchi 1986, Theorem 9).

Literature

  • Yukio Doi, Mitsuhiro Takeuchi, Cleft comodule algebras for a bialgebra, Comm. Alg. 14 (1986) 801–818 doi
  • Shahn Majid, Foundations of quantum group theory, Cambridge University Press 1995, 2000.
  • Yukio Doi, Equivalent crossed products for a Hopf algebra, Commun. Alg. 17 (1989) 12 doi
  • R. J. Blattner, Miriam Cohen, Susan Montgomery, Crossed products and inner actions of Hopf algebras, Trans. Amer. Math. Soc. 298 (1986) 671–711

Chapter 7, Crossed products, in

  • Susan Montgomery, Hopf algebras and their actions on rings, CBMS 82, AMS 1993.

There are generalizations for Hopf algebroids:

There are some globalizations of cleft extensions. For the smash product case of the globalization some details are written in

Last revised on April 25, 2024 at 12:38:43. See the history of this page for a list of all contributions to it.