Building on the theory of noncommutative complex structures, the notion of a noncommutative Kähler structure is introduced. In the quantum homogeneous space case many of the fundamental results of classical Kähler geometry are shown to follow from the existence of such a structure, allowing for the definition of noncommutative Lefschetz, Hodge, Kähler-Dirac, and Laplace operators. Quantum projective space, endowed with its Heckenberger-Kolb calculus, is taken as the motivating example. The general theory is then used to show that the calculus has cohomology groups of at least classical dimension.
We discuss an extension of the Weingarten formula, to the case of noncommutative homogeneous spaces, under suitable "easiness" assumptions. The spaces that we consider are noncommutative algebraic manifolds, generalizing the spaces of type $X=G/H\subset\mathbb C^N$, with $H\subset G\subset U_N$ being subgroups of the unitary group, subject to certain uniformity conditions. We discuss various axiomatization issues, then we establish the Weingarten formula, and we derive some probabilistic consequences.
An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the quantum flag manifold viewed as a bundle with a generic Podleś sphere as a fibre, and the quantum twistor bundle viewed as a bundle over the quantum 4-sphere of Bonechi, Ciccoli and Tarlini.
Given a quantum subgroup $G\subset U_n$ and a number $k\leq n$ we can form the homogeneous space $X=G/(G\cap U_k)$, and it follows from the Stone-Weierstrass theorem that $C(X)$ is the algebra generated by the last $n-k$ rows of coordinates on $G$. In the quantum group case the analogue of this basic result doesn't necessarily hold, and we discuss here its validity, notably with a complete answer in the group dual case. We focus then on the "easy quantum group" case, with the construction and study of several algebras associated to the noncommutative spaces of type $X=G/(G\cap U_k^+)$.
A new framework for noncommutative complex geometry on quantum homogeneous spaces is introduced. The main ingredients used are covariant differential calculi and Takeuchi's categorical equivalence for faithfully flat quantum homogeneous spaces. A number of basic results are established, producing a simple set of necessary and sufficient conditions for noncommutative complex structures to exist. Throughout, the family of quantum projective spaces, endowed with the Heckenberger--Kolb calculus, is taken as the motivating set of examples.
We define and study a noncommutative Fourier transform on every homogeneous complex bounded domain. We then give an application in noncommutative differential geometry by defining noncommutative Baumslag-Solitar tori.
Differential calculi are obtained for quantum homogeneous spaces by extending Woronowicz' approach to the present context. Representation theoretical properties of the differential calculi are investigated. Connections on quantum homogeneous vector bundles are classified and explicitly constructed by using the theory of projective modules.
Let k be a field. We show that all homogeneous noncommutative curves of genus zero over k are noncommutative P^1-bundles over a (possibly) noncommutative base. Using this result, we compute complete isomorphism invariants of homogeneous noncommutative curves of genus zero, allowing us to generalize a theorem of Witt.
For differential calculi on noncommutative algebras, we construct a twisted de Rham cohomology using flat connections on modules. This has properties similar, in some respects, to sheaf cohomology on topological spaces. We also discuss generalised mapping properties of these theories, and relations of these properties to corings. Using this, we give conditions for the Serre spectral sequence to hold for a noncommutative fibration. This might be better read as giving the definition of a fibration in noncommutative differential geometry. We also study the multiplicative structure of such spectra…
We show that the noncommutative spheres of Connes and Landi are quantum homogeneous spaces for certain compact quantum groups. We give a general construction of homogeneous spaces which support noncommutative spin geometries.
We discuss the liberation question, in the homogeneous space setting. Our first series of results concerns the axiomatization and classification of the families of compact quantum groups $G=(G_N)$ which are "uniform", in a suitable sense. We study then the quotient spaces of type $X=(G_M\times G_N)/(G_L\times G_{M-L}\times G_{N-L})$, and the liberation operation for them, with a number of algebraic and probabilistic results.
We define analogues of homogeneous coordinate algebras for noncommutative two-tori with real multiplication. We prove that the categories of standard holomorphic vector bundles on such noncommutative tori can be described in terms of graded modules over appropriate homogeneous coordinate algebras. We give a criterion for such an algebra to be Koszul and prove that the Koszul dual algebra also comes from some noncommutative two-torus with real multiplication. These results are based on the techniques of math.QA/0211262 allowing to interpret all the data in terms of autoequivalences of the deriv…
We define holomorphic structures on canonical line bundles of the quantum projective space $\qp^{\ell}_q$ and identify their space of holomorphic sections. This determines the quantum homogeneous coordinate ring of the quantum projective space. We show that the fundamental class of $\qp^{\ell}_q$ is naturally presented by a twisted positive Hochschild cocycle. Finally, we verify the main statements of Riemann-Roch formula and Serre duality for $\qp^{1}_q$ and $\qp^{2}_q$.
We study the homogeneous coordinate rings of real multiplication noncommutative tori as defined by A. Polishchuk. Our aim is to understand how these rings give rise to an arithmetic structure on the noncommutative torus. We start by giving an explicit presentation of these rings in terms of their natural generators. This presentation gives us information about the rationality of the rings and is the starting point for the analysis of the corresponding geometric data. Linear bases for these rings are also discussed. The basic role played by theta functions in these computations gives relations …
Quantum groups and quantum homogeneous spaces - developed by several authors since the 80's - provide a large class of examples of algebras which for many reasons we interpret as `coordinate algebras' over noncommutative spaces. This dissertation is an attempt to understand them from the point of view of Connes' noncommutative geometry.
We present two classes of examples of Hopf algebroids associated with noncommutative principal bundles. The first comes from deforming the principal bundle while leaving unchanged the structure Hopf algebra. The second is related to deforming a quantum homogeneous space; this needs a careful deformation of the structure Hopf algebra in order to preserve the compatibilities between the Hopf algebra operations.
Using the framework of noncommutative Kahler structures, we generalise to the noncommutative setting the celebrated vanishing theorem of Kodaira for positive line bundles. The result is established under the assumption that the associated Dirac-Dolbeault operator of the line bundle is diagonalisable, an assumption that is shown to always hold in the quantum homogeneous space case. The general theory is then applied to the covariant Kahler structure of the Heckenberger-Kolb calculus of the quantum Grassmannians allowing us to prove a direct q-deformation of the classical Grassmannian Bott-Borel…
We construct a new class of scalar noncommutative multi-solitons on an arbitrary Kahler manifold by using Berezin's geometric approach to quantization and its generalization to deformation quantization. We analyze the stability condition which arises from the leading 1/hbar correction to the soliton energy and for homogeneous Kahler manifolds obtain that the stable solitons are given in terms of generalized coherent states. We apply this general formalism to a number of examples, which include the sphere, hyperbolic plane, torus and general symmetric bounded domains. As a general feature we no…
From the bicovariant first order differential calculus on inhomogeneous Hopf algebra ${\cal B}$ we construct the set of right-invariant Maurer-Cartan one-forms considered as a right-invariant basis of a bicovariant ${\cal B}$-bimodule over which we develop the Woronowicz's general theory of differential calculus on quantum groups. In this formalism, we introduce suitable functionals on ${\cal B}$ which control the inhomogeneous commutation rules. In particular we find that the homogeneous part of commutation rules between the translations and those between the generators of the homogeneous par…
The complete classification of classical $r$-matrices generating quantum deformations of the (3+1)-dimensional (A)dS and Poincaré groups such that their Lorentz sector is a quantum subgroup is presented. It is found that there exists three classes of such $r$-matrices, one of them being a novel two-parametric one. The (A)dS and Minkowskian Poisson homogeneous spaces corresponding to these three deformations are explicitly constructed in both local and ambient coordinates. Their quantization is performed, thus giving rise to the associated noncommutative spacetimes, that in the Minkowski case a…
We study the Lie bialgebra structures that can be built on the one-dimensional central extension of the Poincaré and (A)dS algebras in (1+1) dimensions. These central extensions admit more than one interpretation, but the simplest one is that they describe the symmetries of (the noncommutative deformation of) an Abelian gauge theory, $U(1)$ or $SO(2)$ on the (1+1) dimensional Minkowski or (A)dS spacetime. We show that this highlights the possibility that the algebra of functions on the gauge bundle becomes noncommutative. This is a new way in which the Coleman-Mandula theorem could be circumve…
We use operator algebras and operator theory to obtain new result concerning Berezin quantization of compact Kähler manifolds. Our main tool is the notion of subproduct systems of finite-dimensional Hilbert spaces, which enables all involved objects, such as the Toeplitz operators, to be very conveniently expressed in terms of shift operators compressed to a subspace of full Fock space. This subspace is not required to be contained in the symmetric Fock space, so from finite-dimensional matrix algebras we can construct noncommutative manifolds with extra structure generalizing that of a projec…
The (3+1)-dimensional $κ$-(A)dS noncommutative spacetime is explicitly constructed by quantizing its semiclassical counterpart, which is the $κ$-(A)dS Poisson homogeneous space. This turns out to be the only possible generalization of the well-known $κ$-Minkowski spacetime to the case of non-vanishing cosmological constant, under the condition that the time translation generator of the corresponding quantum (A)dS algebra is primitive. Moreover, the $κ$-(A)dS noncommutative spacetime is shown to have a quadratic subalgebra of local spatial coordinates whose first-order brackets in terms of the …
We address a natural question in noncommutative geometry, namely the rigidity observed in many examples, whereby noncommutative spaces (or equivalently their coordinate algebras) have very few automorphisms by comparison with their commutative counterparts. In the framework of noncommutative projective geometry, we define a groupoid whose objects are noncommutative projective spaces of a given dimension and whose morphisms correspond to isomorphisms of these. This groupoid is then a natural generalization of an automorphism group. Using work of Zhang, we may translate this structure to the alg…
We propose a simple but effective framework for producing examples of covariant faithfully flat (generalised) Hopf-Galois extensions from a nested pair of quantum homogeneous spaces. Our construction is modelled on the classical situation of a homogeneous fibration $G/N \to G/M$, for $G$ a group, and $N \subseteq M \subseteq G$ subgroups. Variations on Takeuchi's equivalence and Schneider's descent theorem are presented in this context. Quantum flag manifolds and their associated quantum Poisson homogeneous spaces are taken as motivating examples. Moreover, a large collection of noncommutative…
All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quantized) coordinate rings arising in Lie theory were done on a case by case basis relying on the combinatorics of each concrete family. The results of the paper have a broad range of applications to thes…
All iterated skew polynomial extensions arising from quantized universal enveloping algebras of Kac-Moody algebras are special examples of a very large, axiomatically defined class of algebras, called CGL extensions. For the purposes of constructing initial clusters for quantum cluster algebra structures on an algebra R, and classification of the automorphisms of R, one needs embeddings of R into quantum tori T which have the property that R contains the corresponding quantum affine space algebra A. We explicitly construct such an embedding A \subseteq R \subset T for each CGL extension R usin…
The nine two-dimensional Cayley-Klein geometries are firstly reviewed by following a graded contraction approach. Each geometry is considered as a set of three symmetrical homogeneous spaces (of points and two kinds of lines), in such a manner that the graded contraction parameters determine their curvature and signature. Secondly, new Poisson homogeneous spaces are constructed by making use of certain Poisson-Lie structures on the corresponding motion groups. Therefore, the quantization of these spaces provides noncommutative analogues of the Cayley-Klein geometries. The kinematical interpret…
The hypersurface in a 3-dimensional vector space with an isolated quasi-homogeneous elliptic singularity of type E_r,r=6,7,8, has a natural Poisson structure. We show that the family of del Pezzo surfaces of the corresponding type E_r provides a semiuniversal Poisson deformation of that Poisson structure. We also construct a deformation-quantization of the coordinate ring of such a del Pezzo surface. To this end, we first deform the polynomial algebra C[x,y,z] to a noncommutative algebra with generators x,y,z and the following 3 relations (where [u,v]_t = uv- t.vu): [x,y]_t=F_1(z), [y,z]_t=F_2…
We report on some recent work on deformation of spaces, notably deformation of spheres, describing two classes of examples. The first class of examples consists of noncommutative manifolds associated with the so called $θ$-deformations which were introduced out of a simple analysis in terms of cycles in the $(b,B)$-complex of cyclic homology. These examples have non-trivial global features and can be endowed with a structure of noncommutative manifolds, in terms of a spectral triple $(\ca, \ch, D)$. In particular, noncommutative spheres $S^{N}_θ$ are isospectral deformations of usual spherical…
Noncommutative Kähler structures were recently introduced by the second author as a framework for studying noncommutative Kähler geometry on quantum homogeneous spaces. It was subsequently observed that the notion of a positive vector bundle directly generalises to this setting, as does the Kodaira vanishing theorem. In this paper, by restricting to covariant Kähler structures of irreducible type (those having an irreducible space of holomorphic one-forms) we provide simple cohomological criteria for positivity, offering a means to avoid explicit curvature calculations. These general results a…
We establish a noncommutative generalisation of the Borel-Weil theorem for the Heckenberger-Kolb calculi of the irreducible quantum flag manifolds $\mathcal{O}_q(G/L_S)$, generalising previous work of a number of authors (including the first and third authors of this paper) on the quantum Grassmannians $\mathcal{O}_q(\mathrm{Gr}_{n,m})$. As a direct consequence we get a novel noncommutative differential geometric presentation of the quantum coordinate rings $S_q[G/L_S]$ of the irreducible quantum flag manifolds. The proof is formulated in terms of quantum principal bundles, and the recently in…
Let $\Uq$ be a quantum group. Regarding a (noncommutative) space with $\Uq$-symmetry as a $\Uq$-module algebra $A$, we may think of equivariant vector bundles on $A$ as projective $A$-modules with compatible $\Uq$-action. We construct an equivariant K-theory of such quantum vector bundles using Quillen's exact categories, and provide means for its compution. The equivariant K-groups of quantum homogeneous spaces and quantum symmetric algebras of classical type are computed.
Let $G$ be one of the classical compact, simple, centre-less, connected Lie groups or rank $n$ with a maximal torus $T$, the Lie algebra $\clg$ and let $\{ E_i, F_i, H_i, i=1, \ldots, n \}$ be the standard set of generators corresponding to a basis of the root system. Consider the adjoint-orbit space $M=\{ {\rm Ad}_g(H_1),~g \in G \}$, identified with the homogeneous space $G/L$ where $L=\{ g \in G:~{\rm Ad}_g(H_1)=H_1\}$. We prove that the `coordinate functions' $\{ f_i, i=1, \ldots, n \}$, (where $f_i(g):=λ_i({\rm Ad}_g(H_1))$, $\{ λ_1, \ldots, λ_n\}$ is basis of $\clg^\prime$) are `quadrati…
We describe the possible noncommutative deformations of complex projective three-space by exhibiting the Calabi--Yau algebras that serve as their homogeneous coordinate rings. We prove that the space parametrizing such deformations has exactly six irreducible components, and we give explicit presentations for the generic members of each family in terms of generators and relations. The proof uses deformation quantization to reduce the problem to a similar classification of unimodular quadratic Poisson structures in four dimensions, which we extract from Cerveau and Lins Neto's classification of…
