Related papers: A Locally Trivial Quantum Hopf Fibration
Let $L/F$ be a Galois extension of fields with Galois group isomorphic to the quaternion group of order $ 8 $. We describe all of the Hopf-Galois structures admitted by $ L/F $, and determine which of the Hopf algebras that appear are…
We give a new local proof of the Breuil-M\'ezard conjecture in the case of a reducible representation of the absolute Galois group of $\mathbb{Q}_p$, $p>2$, that has scalar semi-simplification, via a formalism of Pa\v{s}k\=unas.
A well-known theorem of W. Fischer and H. Grauert states that analytic fiber spaces with all fibers isomorphic to a fixed compact connected complex manifold are locally trivial. Motivated by this result, we show that if $k$ is an…
We prove that a Hopf algebra with a finite coradical filtration is co-Frobenius, i. e. there is a non-zero integral on it. As a consequence, we show that algebras of functions on quantum groups at roots of one are co-Frobenius. We also…
We introduce dynamical analogues of the free orthogonal and free unitary quantum groups, which are no longer Hopf algebras but Hopf algebroids or quantum groupoids. These objects are constructed on the purely algebraic level and on the…
We study a quantum version of the SU(2) Hopf fibration $S^7 \to S^4$ and its associated twistor geometry. Our quantum sphere $S^7_q$ arises as the unit sphere inside a q-deformed quaternion space $\mathbb{H}^2_q$. The resulting four-sphere…
Nonlinear deformations of the enveloping algebra of su(2), involving two arbitrary functions of J_0 and generalizing the Witten algebra, were introduced some time ago by Delbecq and Quesne. In the present paper, the problem of endowing some…
We explore applications of the celebrated construction of the Milnor connecting homomorphism from the odd to the even K-groups in the context of Hopf--Galois theory. For a finitely generated projective module associated to any piecewise…
A family of algebra maps $H\to A_i$ whose common domain is a Hopf algebra is said to be jointly inner faithful if it does not factor simultaneously through a proper Hopf quotient of $H$. We show that tensor and free products of jointly…
Consider a locally compact group $G=Q\ltimes V$ such that $V$ is abelian and the action of $Q$ on the dual abelian group $\hat V$ has a free orbit of full measure. We show that such a group $G$ can be quantized in three equivalent ways: (1)…
Let $H$ be a finite dimensional Hopf algebra, and let $A$ be a left $H$-module algebra. Motivated by the study of the isolated singularities of $A^H$ and the endomorphism ring $\mathrm{End}_{A^H}(A)$, we introduce the concept of Hopf dense…
We show that faithfully flat smooth extensions are reduced flat, and therefore, fit into the Jacobi-Zariski exact sequence in Hochschild homology and cyclic (co)homology even when the algebras are noncommutative or infinite dimensional. We…
We introduce $q$-deformed connections on the quantum 2-sphere and 3-sphere, satisfying a twisted Leibniz rule in analogy with $q$-deformed derivations. We show that such connections always exist on projective modules. Furthermore, a…
We present an elementary construction of a (highly degenerate) Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ of a finite-dimensional Lie algebra $\mathfrak{g}$ over arbitrary field $\mathbf{k}$ and the Hopf algebra…
We describe a few properties of the non semi-simple associative algebra H = M_3 + (M_{2|1}(Lambda2))_0, where Lambda2 is the Grassmann algebra with two generators. We show that H is not only a finite dimensional algebra but also a (non…
We describe a universal factorization for a functor with values in finite-dimensional measured algebras. More precisely we contruct the quantum automorphism group of this functor. This general recontruction result allows us to recapture a…
We introduce Galois Theory for Hopf-Galois Extensions proving existence of a Galois connection between subalgebras of an H-comodule algebra and generalised quotients of the Hopf algebra H. Moreover, we show that these quotients Q which…
Let $F/F^+$ be a CM extension and $H_{/F^+}$ a definite unitary group in three variables that splits over $F$. We describe Hecke isotypic components of mod $p$ algebraic modular forms on $H$ at first principal congruence level at $p$ and…
Under suitable assumptions on the base field, we prove that a commutative semisimple Yetter-Drinfel'd Hopf algebra over a finite abelian group is trivial, i.e., is an ordinary Hopf algebra, if its dimension is relatively prime to the order…
Let R be an integral domain, h non-zero in R such that R/hR is a field, and HA the category of torsionless (or flat) Hopf algebras over R. We call any H in HA "quantized function algebra" (=QFA), resp. "quantized (restricted) universal…