Galois theory for Hopf algebroids

An extensionB⊂A of algebras over a commutative ringk is anH-extension for anL-bialgebroidH ifA is anH-comodule algebra andB is the subalgebra of its coinvariants. It isH-Galois if the canonical mapA ⊗_B A →A ⊗_L H is an isomorphism or, equivalently, if the canonical coringA ⊗_L H:A is a Galois coring. In the case of Hopf algebroid anyH _R-extension is shown to be also anH _L-extension. If the antipode is bijective then also the notions ofH _R-Galois extensions and ofH _L-Galois extensions are proven to coincide. Results about bijective entwining structures are extended to entwining structures over non-commutative algebras in order to prove a Kreimer-Takeuchi type theorem for a finitely generated projective Hopf algebroidH with bijective antipode. It states that anyH-Galois extensionB⊂A is projective, and ifA isk-flat then already the surjectivity of the canonical map implies the Galois property. The Morita theory, developed for corings by Caenepeel, Vercruysse and Wang is applied to obtain equivalent criteria for the Galois property of Hopf algebroid extensions. This leads to Hopf algebroid analogues of results for Hopf algebra, extensions by Doi and, in the case of Frobenius Hopf algebroids, by Cohen, Fishman and Montgomery.

---

Sunto Un'estensioneB(A di algebre su un anello commutativok è unaH-estensione per unL-bialgebroideH seA è unaH-comodulo algebra eB è la sottoalgebra dei suoi coinvarianti. Essa èH-Galois se l'applicazione canonicaA ⊗_A B→A ⊗_L H è un isomorfismo o, equivalentemente, se il coanello canonicoA ⊗_L H:A è un coanello di Galois. Nel caso di un algebroide di Hopf si dimostra che ogniH _R-estensione è unaH _L-estensione. Se l'antipode è biiettivo allora si dimostra che anche le nozioni di estensioniH _R-Galois eH _L-Galois coincidono. I risultati per le strutture biiettive entwining sono estesi alle strutture entwining su algebre non commutative, al fine di dimostrare un teorema simile al Teorema dii Kreimer-Takeuchi per un Hopf algebroideH proiettivo finitamento generato con antipode biiettivo. Il teorema afferma che ogni estensioneH-GaloisB ⊂A è proiettiva e seA èk-piatto allora la suriettività dell'applicazione canonica è sufficiente a garantire la proprietà di Galois. La teoria di Morita, sviluppata per i coanelli da Caenepeel, Vercruysse e Wang, viene applicata per ottenere criteri equivalenti per la proprietà di Galois per estensioni di algebroidi di Hopf. Questo conduce a risultati analoghi, per algebroidi di Hopf, a quelli ottenuti da Doi per estensioni di algebre di Hopf e da Cohen Fishman e Montgomery nel caso degli algebroidi di Hopf Frobenius.

     

Principal homogeneous spaces for arbitrary Hopf algebras

LetH be a Hopf algebra over a field with bijective antipode,A a rightH-comodule algebra,B the subalgebra ofH-coinvariant elements and can:A ⊗ _B A →A ⊗H the canonical map. ThenA is a faithfully flat (as left or rightB-module) Hopf Galois extension iffA is coflat asH-comodule and can is surjective (Theorem I). This generalizes results on affine quotients of affine schemes by Oberst and Cline, Parshall and Scott to the case of non-commutative algebras. The dual of Theorem I holds and generalizes results of Gabriel on quotients of formal schemes to the case of non-cocommutative coalgebras (Theorem II). Furthermore, in the dual situation, a normal basis theorem is proved (Theorem III) generalizing results of Oberst-Schneider, Radford and Takeuchi.     

A Class of Multiplier Hopf Algebras

We compute the Drinfel’d double for the bicrossproduct multiplier Hopf algebra A = k[G] ⋊ K(H) associated with the factorization of an infinite group M into two subgroups G and H. We also show that there is a basis-preserving self-duality structure for the multiplier Hopf algebra A = k[G] ⋊ K(H) if there is a factor-reversing group isomorphism. Presented by A. Verschoren.     

Faithfully Flat Hopf Bi-Galois Extensions

This article is devoted to faithfully flat Hopf bi-Galois extensions defined by Fischman, Montgomery, and Schneider. Let H be a Hopf algebra with bijective antipode. Given a faithfully flat right H-Galois extension A/R and a right H-comodule subalgebra C ? A such that A is faithfully flat over C, we provide necessary and sufficient conditions for the existence of a Hopf algebra W so that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra. As a consequence, we prove that if R = k, there is a Hopf algebra W such that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra if and only if C is an H-submodule of A with respect to the Miyashita–Ulbrich action.     

Flatness of Noetherian Hopf algebras over coideal subalgebras

It is proved in the paper that a Noetherian residually finite-dimensional Hopf algebra H is a flat module over any right Noetherian right coideal subalgebra A. In the case when A is a Hopf subalgebra we get faithful flatness. These results are obtained by verifying the existence of classical quotient rings of A and H. It is also proved that the antipode of either right or left Noetherian residually finite-dimensional Hopf algebra is bijective. As a consequence, such a Hopf algebra is right and left Noetherian simultaneously.

     

Quasi-elementary <Emphasis Type="Italic">H</Emphasis>-Azumaya Algebras Arising from Generalized (Anti) Yetter-Drinfeld Modules

Let H be a Hopf algebra with bijective antipode, α, β ∈ Aut _Hopf (H) and M a finite dimensional (α, β)-Yetter-Drinfeld module. We prove that End(M) endowed with certain structures becomes an H-Azumaya algebra, and the set of H-Azumaya algebras of this type is a subgroup of BQ(k, H), the Brauer group of H.     

Quantum homogeneous spaces with faithfully flat module structures

LetA be a Hopf algebra with bijective antipode andB⊃A a right coideal subalgebra ofA. Formally, the inclusionB⊃A defines a quotient mapG→X whereG is a quantum group andX a right homogeneousG-space. From an algebraic point of view theG-spaceX only has good properties ifA is left (or right) faithfully flat as a module overB. In the last few years many interesting examples of quantumG-spaces for concrete quantum groupsG have been constructured by Podleś, Noumi, Dijkhuizen and others (as analogs of classical compact symmetric spaces). In these examplesB consists of infinitesimal invariants of the function algebraA of the quantum group. As a consequence of a general theorem we show that in all these casesA as a left or rightB-module is faithfully flat. Moreover, the coalgebraA/AB ⁺ is cosemisimple.     

The Antipode of a Dual Quasi-Hopf Algebra with Nonzero Integrals is Bijective

For a Hopf algebra A of arbitrary dimension over a field K, it is well-known that if A has nonzero integrals, or, in other words, if the coalgebra A is co-Frobenius, then the space of integrals is one-dimensional and the antipode of A is bijective. Bulacu and Caenepeel recently showed that if H is a dual quasi-Hopf algebra with nonzero integrals, then the space of integrals is one-dimensional, and the antipode is injective. In this short note we show that the antipode is bijective.     

On groups of central type,non-degenerate and bijective cohomology classes

A finite group G is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class [c] ∈ H ²(G, ℂ*) (G acts trivially on ℂ*). Groups of central type play a fundamental role in the classification of semisimple triangular complex Hopf algebras and can be determined by their representation-theoretical properties. Suppose that a finite group Q acts on an abelian group A so that there exists a bijective 1-cocycle π ∈ Z ¹(Q,Ǎ), where Ǎ = Hom(A, ℂ*) is endowed with the diagonal Q-action. Under this assumption, Etingof and Gelaki gave an explicit formula for a non-degenerate 2-cocycle in Z ²(G, ℂ*), where G:= A × Q. Hence, the semidirect product G is of central type. In this paper, we present a more general correspondence between bijective and non-degenerate cohomology classes. In particular, given a bijective class [π] ∈ H ¹(Q,Ǎ) as above, we construct non-degenerate classes [cπ] ∈ H ²(G,ℂ*) for certain extensions 1 → A → G → Q → 1 which are not necessarily split. We thus strictly extend the above family of central type groups.     

C*-index of observable algebras in <Emphasis Type="Italic">G</Emphasis>-spin model

In two-dimensional lattice spin systems in which the spins take values in a finite group G, one can define a field algebra F which carries an action of a Hopf algebra D(G), the double algebra of G and moreover, an action of D(G;H), which is a subalgebra of D(G) determined by a subgroup H of G, so that F becomes a modular algebra. The concrete construction of D(G;H)-invariant subspace A _H in F is given. By constructing the quasi-basis of conditional expectation γ _G of A _H onto A _G , the C*-index of γ _G is exactly the index of H in G.     

Representation theory of Hopf galois extensions

LetH be a Hopf algebra over the fieldk andB ⊂A a right faithfully flat rightH-Galois extension. The aim of this paper is to study some questions of representation theory connected with the ring extensionB ⊂A, such as induction and restriction of simple or indecomposable modules. In particular, generalizations are given of classical results of Clifford, Green and Blattner on representations of groups and Lie algebras. The stabilizer of a leftB-module is introduced as a subcoalgebra ofH. Very often the stabilizer is a Hopf subalgebra. The special case whenA is a finite dimensional cocommutative Hopf algebra over an algebraically closed field,B is a normal Hopf subalgebra andH is the quotient Hopf algebra was studied before by Voigt using the language of finite group schemes.     

Subcoalgebras and endomorphisms of free Hopf algebras

For a matrix coalgebra C over some field, we determine all small subcoalgebras of the free Hopf algebra on C, the free Hopf algebra with a bijective antipode on C, and the free Hopf algebra with antipode S satisfying on C for some fixed d. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

Symmetric centres of braided monoidal categories

This paper introduces the concept of ‘symmetric centres’ of braided monoidal categories. LetH be a Hopf algebra with bijective antipode over a fieldk. We address the symmetric centre of the Yetter-Drinfel’d module category: and show that a left Yetter-Drinfel’d moduleM belongs to the symmetric centre of and only ifM is trivial. We also study the symmetric centres of categories of representations of quasitriangular Hopf algebras and give a sufficient and necessary condition for the braid of, _Hℳ to induce the braid of , or equivalently, the braid of , whereA is a quantum commutativeH-module algebra     

Semisimplicity of the Categories of Yetter–Drinfeld Modules and Long Dimodules

Abstract

Let k be a field, and H a Hopf algebra with bijective antipode. If H is commutative, noetherian, semisimple and cosemisimple, then the category _H 𝒴𝒟 ^H of Yetter–Drinfeld modules is semisimple. We also prove a similar statement for the category of Long dimodules, without the assumption that H is commutative.     

On the structure of graded <Emphasis Type="Italic">λ</Emphasis>-Hopf algebras

Let G be an abelian group, B the G-graded λ-Hopf algebra with A being a bicharacter on G. By introducing some new twisted algebras （coalgebras）, we investigate the basic properties of the graded antipode and the structure for B. We also prove that a G-graded λ-Hopf algebra can be embedded in a usual Hopf algebra. As an application, it is given that if G is a finite abelian group then the graded antipode of a finite dimensional G-graded A-Hopf algebra is invertible.     

Serre Theorem for involutory Hopf algebras

We call a monoidal category C a Serre category if for any C, D ∈ C such that C ⊗ D is semisimple, C and D are semisimple objects in C. Let H be an involutory Hopf algebra, M, N two H-(co)modules such that M ⊗ N is (co)semisimple as a H-(co)module. If N (resp. M) is a finitely generated projective k-module with invertible Hattory-Stallings rank in k then M (resp. N) is (co)semisimple as a H-(co)module. In particular, the full subcategory of all finite dimensional modules, comodules or Yetter-Drinfel’d modules over H the dimension of which are invertible in k are Serre categories.     

The Drinfel’d Double for Group-cograded Multiplier Hopf Algebras

Let G be any group and let K(G) denote the multiplier Hopf algebra of complex functions with finite support in G. The product in K(G) is pointwise. The comultiplication on K(G) is defined with values in the multiplier algebra M(K(G) ⊗K(G )) by the formula for all and . In this paper we consider multiplier Hopf algebras B (over ) such that there is an embedding I: K(G) →M(B). This embedding is a non-degenerate algebra homomorphism which respects the comultiplication and maps K(G) into the center of M(B). These multiplier Hopf algebras are called G-cograded multiplier Hopf algebras. They are a generalization of the Hopf group-coalgebras as studied by Turaev and Virelizier. In this paper, we also consider an admissible action π of the group G on a G-cograded multiplier Hopf algebra B. When B is paired with a multiplier Hopf algebra A, we construct the Drinfel’d double D ^π where the coproduct and the product depend on the action π. We also treat the ^*-algebra case. If π is the trivial action, we recover the usual Drinfel’d double associated with the pair . On the other hand, also the Drinfel’d double, as constructed by Zunino for a finite-type Hopf group-coalgebra, is an example of the construction above. In this case, the action is non-trivial but related with the adjoint action of the group on itself. Now, the double is again a G-cograded multiplier Hopf algebra. Presented by K. Goodearl.     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

Weak factorizations of operators in the group von Neumann algebras of certain amenable groups and applications

Let G be a compact group whose local weight b(G) has uncountable cofinality. Let H be an amenable locally compact group and A(G × H) be the Fourier algebra of G × H. We prove that the group von Neumann algebra VN(G × H) = A(G × H)^* has the weak uniform A(G × H)^** factorization property of level b(G). As a corollary we show that A(G × H) is strongly Arens irregular, and the topological centre of UC ₂(G × H)^* is equal to the Fourier–Stieltjes algebra B(G × H).