Related papers: A Hopf bundle over a quantum four-sphere from the …
Let $p,q$ be prime numbers with $p^4<q$, and $k$ an algebraically closed field of characteristic 0. We show that semisimple Hopf algebras of dimension $p^2q^2$ can be constructed either from group algebras and their duals by means of…
In this paper we explore the geometry and topology of cohomogeneity one manifolds, i.e. manifolds with a group action whose principal orbits are hypersurfaces. We show that the principal group action of every principal SO(3) and SO(4)…
We construct a scalar invariant of flat principal 2-bundles over 3-manifolds, with structure 2-group $\mathcal{G}$, from an involutory Hopf algebra graded by $\mathcal{G}$. Expressing $\mathcal{G}$ in terms of a crossed module $\chi$ and…
The fuzzy algebra of S^4 is discussed by quantum deformation. To this end we embed the classical S^4 in the Kaehler coset space SO(5)/U(2). The harmonic functions of S^4 are constructed in terms of the complex coordinates of SO(5)/U(2).…
For each n >1, we construct a left quantum group, i.e., a left Hopf algebra H generated by comatrix units X_{ij} and modeled after SL_q(n), which has a left antipode but no right antipode. The quantum special linear group SL_q(n) is a…
Let M be a 4-manifold with residually finite fundamental group G having b_1(G) > 0. Assume that M carries a symplectic structure with trivial canonical class K = 0 in H^2(M). Using a theorem of Bauer and Li, together with some classical…
The topological Hochschild homology THH(R) of a commutative S-algebra (E_infty ring spectrum) R naturally has the structure of a commutative R-algebra in the strict sense, and of a Hopf algebra over R in the homotopy category. We show,…
Quantization of a system constrained to move on a sphere is considered by taking a square root of the ``on sphere condition''. We arrive at the fibre bundle structure of the Hopf map in the cases of $S^{2} $and $S^{4}$. This leads to more…
Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable…
Noncommutative (NC) sphere is introduced as a quotient of the enveloping algebra of the Lie algebra su(2). Using the Cayley-Hamilton identities we introduce projective modules which are analogues of line bundles on the usual sphere (we call…
A fibre product construction is used to give a description of quantum line bundles over the generic Podles spheres by gluing two quantum discs along their boundaries. Representatives of the corresponding $K_0$-classes are given in terms of…
The $q$--deformation $U_q (h_4)$ of the harmonic oscillator algebra is defined and proved to be a Ribbon Hopf algebra.Associated with this Hopf algebra we define an infinite dimensional braid group representation on the Hilbert space of the…
We explain the existence of a smooth $HP^2$-bundle over $S^4$ whose total space has nontrivial $\hat{A}$-genus. Combined with an argument going back to Hitchin, this answers a question of Schick and implies that the space of Riemannian…
We prove that the q-deformed unitary group, i.e., $U_q(N)$, is the universal compact quantum group in the category of (compact) quantum groups which coact on the q-deformed odd sphere $S_q^{2N-1}$ leaving the space spanned by the natural…
We complete the classification of quantum subgroups of $SL_q(2)$ with $q$ a root of unity of arbitrary order, that is, Hopf algebra quotients of the quantum function algebras $\mathcal{O}_{q} (SL_2(\mathbb{C}))$.
The quantum Euclidean spheres, $S_q^{N-1}$, are (noncommutative) homogeneous spaces of quantum orthogonal groups, $\SO_q(N)$. The *-algebra $A(S^{N-1}_q)$ of polynomial functions on each of these is given by generators and relations which…
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…
Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group ${\bf O}(q)$ of the form $q$ is a group scheme over $Y$ whose…
Let $\mathcal{C}$ be a decomposable plane curve over an algebraically closed field $k$ of characteristic 0. That is, $\mathcal{C}$ is defined in $k^2$ by an equation of the form $g(x) = f(y)$, where $g$ and $f$ are polynomials of degree at…
We show that the Kac-Paljutkin Hopf algebra appears as a quotient of $C(SU_{-1}(2))$, which means that the corresponding quantum group $G_{KP}$ can be regarded as a quantum subgroup of $SU_{-1}(2)$. We combine the fact that corepresentation…