No Arabic abstract
The notion of a Kahler structure for a differential calculus was recently introduced by the second author as a framework in which to study the noncommutative geometry of the quantum flag manifolds. It was subsequently shown that any covariant positive definite Kahler structure has a canonically associated triple satisfying, up to the compact resolvent condition, Connes axioms for a spectral triple. In this paper we begin the development of a robust framework in which to investigate the compact resolvent condition, and moreover, the general spectral behaviour of covariant Kahler structures. This framework is then applied to quantum projective space endowed with its Heckenberger-Kolb differential calculus. An even spectral triple with non-trivial associated K-homology class is produced, directly q-deforming the Dirac-Dolbeault operator of complex projective space. Finally, the extension of this approach to a certain canonical larger class of compact quantum Hermitian symmetric spaces is discussed in detail.
Noncommutative Hermitian structures were recently introduced by the second author as an algebraic framework for studying noncommutative complex geometry on quantum homogeneous spaces. In this paper, we introduce the notion of a compact quantum homogeneous Hermitian space, which gives a natural set of compatibility conditions between covariant Hermitian structures and Woronowiczs theory of compact quantum groups. Each such object admits a Hilbert space completion, which possesses a remarkably rich yet tractable structure. The spectral behaviour of the associated Dolbeault-Dirac operators is moulded by the complex geometry of the underlying calculus. In particular, twisting the Dolbeault-Dirac operators by a negative (anti-ample) line bundle is shown to give a Fredholm operator if and only if the top anti-holomorphic cohomology group is finite-dimensional. When this is so, the operators index coincides with the holomorphic Euler characteristic of the underlying noncommutative complex structure. Our motivating family of examples, the irreducible quantum flag manifolds endowed with their Heckenberger-Kolb calculi, are presented in detail. The noncommutative Bott-Borel-Weil theorem is used to produce a family of Dolbeault-Dirac Fredholm operators for each quantum flag. Moreover, following previous spectral calculations of the authors, the Dolbeault-Dirac operator of quantum projective space is exhibited as a spectral triple in the sense of Connes.
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 Netos classification of degree-two foliations on projective space. Corresponding to the ``exceptional component in their classification is a quantization of the third symmetric power of the projective line that supports bimodule quantizations of the classical Schwarzenberger bundles.
Given an orthogonal compact matrix quantum group defined by intertwiner relations, we characterize by relations its projective version. As a sample application, we prove that $PU_n^+=PO_n^+$. We also give a combinatorial proof of the fact that $S_{n^2}^+$ is monoidally equivalent to $PO_n^+$.
We provide sufficient conditions to factorise an equivariant spectral triple as a Kasparov product of unbounded classes constructed from the group action on the algebra and from the fixed point spectral triple. Our results are for the action of compact abelian Lie groups, and we demonstrate them with examples from manifolds and $theta$-deformations. In particular we show that equivariant Dirac-type spectral triples on the total space of a torus principal bundle always factorise. We also present an example that shows what goes wrong in the absence of our sufficient conditions (and how we get around it for this example).
For a finite-index $mathrm{II}_1$ subfactor $N subset M$, we prove the existence of a universal Hopf $ast$-algebra (or, a discrete quantum group in the analytic language) acting on $M$ in a trace-preserving fashion and fixing $N$ pointwise. We call this Hopf $ast$-algebra the quantum Galois group for the subfactor and compute it in some examples of interest, notably for arbitrary irreducible finite-index depth-two subfactors. Along the way, we prove the existence of universal acting Hopf algebras for more general structures (tensors in enriched categories), in the spirit of recent work by Agore, Gordienko and Vercruysse.