Related papers: Piecewise principal comodule algebras
Principal comodule algebras can be thought of as objects representing principal bundles in non-commutative geometry. A crucial component of a principal comodule algebra is a strong connection map. For some applications it suffices to prove…
A coaction of a Hopf algebra on a unital algebra is called homogeneous if the algebra of coinvariants equals the ground field. A coaction of a Hopf algebra on a (not necessarily unital) algebra is called Galois, or principal, or free, if…
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…
Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H,…
We introduce the analogue of Manin's universal coacting (bialgebra) Hopf algebra for Poisson algebras. First, for two given Poisson algebras $P$ and $U$, where $U$ is finite dimensional, we construct a Poisson algebra $\mathcal{B}(P,\, U)$…
We recast basic topological concepts underlying differential geometry using the language and tools of noncommutative geometry. This way we characterize principal (free and proper) actions by a density condition in (multiplier) C*-algebras.…
Making the first steps towards a classification of simple partial comodules, we give a general construction for partial comodules of a Hopf algebra \(H\) using central idempotents in right coideal subalgebras and show that any…
Let A be a comodule algebra for a finite dimensional Hopf algebra K over an algebraically closed field k, and let A^K be the subalgebra of invariants. Let Z be a central subalgebra in A, which is a domain with quotient field Q. Assume that…
Let A be a commutative unital algebra over an algebraically closed field k of characteristic not equal to 2, whose generators form a finite-dimensional subspace V, with no nontrivial homogeneous quadratic relations. Let Q be a Hopf algebra…
We understand quantum principal bundle as faithfully flat Hopf--Galois extensions, with a structure Hopf algebra coacting on a total space algebra and with base algebra given by the coinvariant elements. To endow such bundles with a…
A known fundamental Theorem for braided pointed Hopf algebras states that for each coideal subalgebra, that fulfils a few properties, there is an associated quotient coalgebra right module such that the braided Hopf algebra can be…
Let $G'$ be a closed subgroup of a topological group $G$. A principal $G$-bundle $X$ is reducible to a locally trivial principal $G'$-bundle $X'$ if and only if there exists a local trivialisation of $X$ such that all transition functions…
The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial…
This is a sequel paper of arXiv:1306.1466 in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a…
We say that a Hopf algebra H is semicocommutative if the right adjoint coaction factorizes through the tensor product of H with the center of H. For instance the commutative and the cocommutative Hopf algebras are semicocommutative. The…
We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated…
In previous work, to each Hopf algebra H and each invertible right two-cocycle on H, Eli Aljadeff and the first-named author attached a subalgebra B of the free commutative Hopf algebra S generated by the coalgebra underlying H; the algebra…
We propose a sheaf-theoretic approach to the theory of differential calculi on quantum principal bundles over non-affine bases. After recalling the affine case we define differential calculi on sheaves of comodule algebras as sheaves of…
We prove that there exist Hopf algebras with surjective, non-bijective antipode which admit no non-trivial morphisms from Hopf algebras with bijective antipode; in particular, they are not quotients of such. This answers a question left…
Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible grouplike…