Related papers: Projections over Quantum Homogeneous Odd-dimension…
Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm…
Let k be an algebraically closed field of characteristic zero. Let f:X-->S be a flat, projective morphism of k-schemes of finite type with integral geometric fibers. We prove existence of a projective relative moduli space for semistable…
We equip the multi-pullback $C^*$-algebra $C(S^5_H)$ of a noncommutative-deformation of the 5-sphere with a free $U(1)$-action, and show that its fixed-point subalgebra is isomorphic with the $C^*$-algebra of the multi-pullback quantum…
Let $H$ be a semisimple algebraic group. We prove the semistable reduction theorem for $\mu$--semistable principal $H$--bundles over a {\it smooth projective variety $X$} defined over the field $\bc$. When $X$ is a {\it smooth projective…
Projective structures on compact real manifolds are classical objects in real differential geometry. Complex manifolds with a holomorphic projective structure on the other hand form a special class as soon as the dimension is greater than…
We consider the parameter space $\mathcal U_d$ of smooth plane curves of degree $d$. The universal smooth plane curve of degree $d$ is a fiber bundle $\mathcal E_d\to\mathcal U_d$ with fiber diffeomorphic to a surface $\Sigma_g$. This…
The purpose of this paper is to propose a sheaf theoretic approach to the theory of quantum principal bundles over non affine bases. We study the quantization of principal bundles G -> G/P, where G is a semisimple group and P a parabolic…
We consider a class of C*-algebras C(X) associated with quantum spaces such as spheres, projective spaces, and lens spaces. We introduce a non-self-adjoint operator algebra A together with an explicit functor from the category of…
Into this note we collect topics related to homogeneous vector bundles, elliptic adjoint orbits and so forth.
Winkelmann considered compact complex manifolds $X$ equipped with a reduced effective normal crossing divisor $D\, \subset\, X$ such that the logarithmic tangent bundle $TX(-\log D)$ is holomorphically trivial. He characterized them as…
Let k>2. We prove that the cotangent bundles of oriented homotopy (2k-1)-spheres S and S' are symplectomorphic only if the classes defined by S and S' agree up to sign in the quotient group of oriented homotopy spheres modulo those which…
For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…
We show that the description of the holomorphic $\mathbb C \mathrm P^1$-bundle associated to a holomorphic projective structure on a Riemann surface in terms of the principal bundle of projective $2$-frames extends very well to the setting…
Representing Z/N as roots of unity, we restrict a natural U(1)-action on the Heegaard quantum sphere to Z/N, and call the quotient spaces Heegaard quantum lens spaces. Then we use this representation of Z/N to construct an associated…
Quaternionic projective plane $\mathbb{H} P^2$ is the next simplest conjugacy class of the symplectic group $SP(6)$ with pseudo-Levi stabilizer subgroup after the sphere $\mathbb{S}^4\simeq \mathbb{H} P^1$. Its quantization gives rise to a…
Quantization identifies the cotangent bundle of projective space with the (non-Hermitian) rank-$1$ projections of a Hilbert space. We use this identification to study the natural geometric structures of these cotangent bundles and those of…
We construct quantum group-valued canonical connections on quantum homogeneous spaces, including a q-deformed Dirac monopole on the quantum sphere of Podles quantum differential coming from the 3-D calculus of Woronowicz on $SU_q(2)$ . The…
Homotopy type theory is a version of Martin-L\"of type theory taking advantage of its homotopical models. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. In this…
By finite quantum groups we mean Lusztig's finite-dimensional pointed Hopf algebras called quantum Frobenius Kernels [9, 10], and their natural generalizations due to Andruskiewitsch and Schneider [2, 3]. For a Hopf algebra $H$ in a special…
Projective spaces for finite-dimensional vector spaces over general fields are considered. The geometry of these spaces and the theory of line bundles over these spaces is presented. Particularly, the space of global regular sections of…