Geodesic symmetries and invariant star products on Kähler symmetric spaces

Starting from work by F. A. Berezin, an earlier paper by the author obtained an invariant star product on every nonexceptional symmetric Kähler space. This would be a generalization to those spaces of the star product on ²ⁿ corresponding to Wick quantization. In this Letter we consider, via geometric quantization, the unitary operators corresponding to geodesic symmetries, and we define a Weyl quantization (first defined by Berezin on rank 1 spaces) in a way similar to the way in which the Weyl quantization can be obtained from the Wick quantization on ²ⁿ . We then calculate every Hochschild 2-cochain of another invariant star product, equivalent to the Wick one, which would be a generalization to those spaces of the Moyal star product on ²ⁿ . M. Cahen and S. Gutt have already provided a theorem of existence and essential unicity of an invariant star product on every irreducible Kähler symmetric space.     

*-Products on some Kähler manifolds

Starting from work of F. A. Berezin, in this Letter we define an invariant *-product on every nonexceptional Kähler symmetric space. We then obtain a recursion formula to calculate the corresponding invariant Hochschild 2-cochains for types I and IV spaces.     

The Dynamics of the Energy of a Kähler Class

The energy of a Kähler class, on a compact complex manifold (M,J) of Kähler type, is the infimum of the squared L²-norm of the scalar curvature over all Kähler metrics representing the class. We study general properties of this functional, and define its gradient flow over all Kähler classes represented by metrics of fixed volume. When besides the trivial holomorphic vector field of (M,J), all others have no zeroes, we extend it to a flow over all cohomology classes of fixed top cup product. We prove that the dynamical system in this space defined by the said flow does not have periodic orbits, that its only fixed points are critical classes of a suitably defined extension of the energy function, and that along solution curves in the Kähler cone the energy is a monotone function. If the Kähler cone is forward invariant under the flow, solutions to the flow equation converge to a critical point of the class energy function. We show that this is always the case when the manifold has a signed first Chern class. We characterize the forward stability of the Kähler cone in terms of the value of a suitable time dependent form over irreducible subvarieties of (M,J). We use this result to draw several geometric conclusions, including the determination of optimal dimension dependent bounds for the squared L²-norm of the scalar curvature functional.Acknowledgement We would like to thank Nicholas Buchdahl for helpful conversations leading us to several improvements of an earlier version of the article, including the correction of two improper assertions.     

Kähler metrics generated by functions of the time-like distance in the flat Kähler–Lorentz space

We prove that every Kähler metric, whose potential is a function of the time-like distance in the flat Kähler–Lorentz space, is of quasi-constant holomorphic sectional curvatures, satisfying certain conditions. This gives a local classification of the Kähler manifolds with the above-mentioned metrics. New examples of Sasakian space forms are obtained as real hypersurfaces of a Kähler space form with special invariant distribution. We introduce three types of even dimensional rotational hypersurfaces in flat spaces and endow them with locally conformal Kähler structures. We prove that these rotational hypersurfaces carry Kähler metrics of quasi-constant holomorphic sectional curvatures satisfying some conditions, corresponding to the type of the hypersurfaces. The meridians of those rotational hypersurfaces, whose Kähler metrics are Bochner–Kähler (especially of constant holomorphic sectional curvatures), are also described.     

La première valeur propre de l'opérateur de Dirac sur les variétés kählériennes compactes

K.D. Kirchberg [Ki1] gave a lower bound for the first eigenvalue of the Dirac operator on a spin compact Kähler manifoldM of odd complex dimension with positive scalar curvature. We prove that manifolds of real dimension 8l+6 satisfying the limiting case are twistor space (cf. [Sa]) of quaternionic Kähler manifold with positive scalar curvature and that the only manifold of real dimension 8l+2 satisfying the limiting case is the complex projective spaceCP ^4l+1.     

A Fedosov Star Product of the Wick Type for Kähler Manifolds

In this Letter we compute some elementary properties of the Fedosov star product of Weyl type, such as symmetry and order of differentiation. Moreover, we define the notion of a star product of the Wick type on every Kähler manifold by a straightforward generalization of the corresponding star product in Cn: the corresponding sequence of bidifferential operators differentiates its first argument in holomorphic directions and its second argument in antiholomorphic directions. By a Fedosov type procedure, we give an existence proof of such star products for any Kähler manifold.     

Dirac–Kähler Equation

Tensor, matrix, and quaternion formulations of Dirac–Kähler equation for massive and massless fields are considered. The equation matrices obtained are simple linear combinations of matrix elements in the 16-dimensional space. The projection matrix-dyads defining all the 16 independent equation solutions are found. A method of computing the traces of 16-dimensional Petiau–Duffin–Kemmer matrix product is considered. We show that the symmetry group of the Dirac–Kähler tensor fields for charged particles is SO(4, 2). The conservation currents corresponding this symmetry are constructed. We analyze transformations of the Lorentz group and quaternion fields. Supersymmetry of the Dirac–Kähler fields with tensor and spinor parameters is investigated. We show the possibility of constructing a gauge model of interacting Dirac–Kähler fields where the gauge group is the noncompact group under consideration.     

Warped product Kähler manifolds and Bochner–Kähler metrics

Using as an underlying manifold an alpha-Sasakian manifold, we introduce warped product Kähler manifolds. We prove that if the underlying manifold is an alpha-Sasakian space form, then the corresponding Kähler manifold is of quasi-constant holomorphic sectional curvatures with a special distribution. Conversely, we prove that any Kähler manifold of quasi-constant holomorphic sectional curvatures with a special distribution locally has the structure of a warped product Kähler manifold whose base is an alpha-Sasakian space form. As an application, we describe explicitly all Bochner–Kähler metrics of quasi-constant holomorphic sectional curvatures. We find four families of complete metrics of this type. As a consequence, we obtain Bochner–Kähler metrics generated by a potential function of distance in complex Euclidean space and of time-like distance in the flat Kähler–Lorentz space.     

A generalization of the momentum mapping construction for quaternionic Kähler manifolds

We present a method of reduction of any quaternionic Kähler manifold with isometries to another quaternionic Kähler manifold in which the isometries are divided out. Our method is a generalization of the Marsden-Weinstein construction for symplectic manifolds to the non-symplectic geometry of the quaternionic Kähler case. We compare our results with the known construction for Kähler and hyperKähler manifolds. We also discuss the relevance of our results to the physics of supersymmetric non-linear -models and some applications of the method. In particular, we show that the Wolf spaces can be obtained as theU(1) andSU(2) quotients of quaternionic projective spaceH P(n). We also construct an interesting example of compact riemannianV-manifolds(orbifolds) whose metrics are quaternionic Kähler and not symmetric.On leave from the University of Wrocaw, Wrocaw, Poland     

Finiteness of Ricci flatN=2 supersymmetric σ-models

We study the ultraviolet behavior of two dimensional supersymmetric non-linear -models with target space an arbitrary Kähler manifoldM, so that the models areN=2 supersymmetric. We point out that these models have an additional fermionic axial symmetry if and only if the metric onM is Ricci flat. We show that the preservation of this symmetry in perturbation theory implies that both bare and renormalized metrics onM are Ricci flat. Combining this result with the constraint ofN=2 supersymmetry requiring that all counter-terms to the metric beyond one-loop order be cohomologically trivial, we argue thatN=2 models defined on Ricci flat Kähler manifolds are on-shell ultraviolet finite to all orders of perturbation theory.     

An invariant formula for a star product with separation of variables

We give an invariant formula for a star product with separation of variables on a pseudo-Kähler manifold.     

Homogeneous Kähler manifolds: Paving the way towards new supersymmetric sigma models

Homogeneous Kähler manifolds give rise to a broad class of supersymmetric sigma models containing, as a rather special subclass, the more familiar supersymmetric sigma models based on Hermitian symmetric spaces. In this article, all homogeneous Kähler manifolds with semisimple symmetry groupG are constructed, and are classified in terms of Dynkin diagrams. Explicit expressions for the complex structure and the Kähler structure are given in terms of the Lie algebra g ofG. It is shown that for compactG, one can always find an Einstein-Kähler structure, which is unique up to a constant multiple and for which the Kähler potential takes a simple form.On leave of absence from Fakultät für Physik der Universität Freiburg, FRG     

First Eigenvalue of the Dirac Operator for a Kähler Manifold of Even Complex Dimension: The Limiting Case

K. D. Kirchberg has given a minoration of the absolute value of the eigenvalues of the Dirac operator for a compact Kähler spin manifold (W,g) with positive scalar curvature and has introduced, in this context, the notion of Kähler twistor-spinor. We prove here that if dim_C W = p 4 is even, in the limiting case, (W, g) is the Kähler product of an odd-dimensional limiting case compact Kähler spin manifold of complex dimension (p-1), by a flat Kähler manifold which is a compact quotient of C.     

Special geometry,cubic polynomials and homogeneous quaternionic spaces

The existing classification of homogeneous quaternionic spaces is not complete. We study these spaces in the context of certainN=2 supergravity theories, where dimensional reduction induces a mapping betweenspecial real, Kähler and quaternionic spaces. The geometry of the real spaces is encoded in cubic polynomials, those of the Kähler and quaternionic manifolds in homogeneous holomorphic functions of second degree. We classify all cubic polynomials that have an invariance group that acts transitively on the real manifold. The corresponding Kähler and quaternionic manifolds are then homogeneous. We find that they lead to a well-defined subset of the normal quaternionic spaces classified by Alekseevskiî (and the corresponding special Kähler spaces given by Cecotti), but there is a new class of rank-3 spaces of quaternionic dimension larger than 3. We also point out that some of the rank-4 Alekseevskiî spaces were not fully specified and correspond to a finite variety of inequivalent spaces. A simpler version of the equation that underlies the classification of this paper also emerges in the context ofW ₃ algebras.Communicated by K. Gawedzki     

Quaternionic monopoles

We present the simplest non-abelian version of Seiberg-Witten theory: Quaternionic monopoles. These monopoles are associated withSpin ^h (4)-structures on 4-manifolds and form finite-dimensional moduli spaces. On a Kähler surface the quaternionic monopole equations decouple and lead to the projective vortex equation for holomorphic pairs. This vortex equation comes from a moment map and gives rise to a new complex-geometric stability concept. The moduli spaces of quaternionic monopoles on Kähler surfaces have two closed subspaces, both naturally isomorphic with moduli spaces of canonically stable holomorphic pairs. These components intersect along a Donaldson instanton space and can be compactified with Seiberg-Witten moduli spaces. This should provide a link between the two corresponding theories.Partially supported by: AGE-Algebraic Geometry in Europe, contract No ERBCHRXCT940557 (BBW 93.0187), and by SNF, nr. 21-36111.92     

Hamiltonian constructions of Kähler-Einstein metrics and Kähler metrics of constant scalar curvature

Assuming the existence of a real torus acting through holomorphic isometries on a Kähler manifold, we construct an ansatz for Kähler-Einstein metrics and an ansatz for Kähler metrics with constant scalar curvature. Using this Hamiltonian approach we solve the differential equations in special cases and find, in particular, a family of constant scalar curvature Kähler metrics describing a non-linear superposition of the Bergman metric, the Calabi metric and a higher dimensional generalization of the LeBrun Kähler metric. The superposition contains Kähler-Einstein metrics and all the geometries are complete on the open disk bundle of some line bundle over the complex projective spaceP _n. We also build such Kähler geometries on Kähler quotients of higher cohomogeneity.Partially supported by the NSF Under Grant No. DMS 8906809     

Quaternion analyticity and conformally Kählerian structure in Euclidean gravity

Starting from the fact that the d=4 Euclidean flat spacetime is conformally related to the Kähler manifold H ²×S ², we show the Euclidean Schwarzschild metric to be conformally related to another Kähler manifold M ²×S ² with M ² being conformal to H ² in two dimensions. Both metrics which are conformally Kählerian, are form-invariant under the infinite parameter Fueter group, the Euclidean counterpart of Milne's group of clock regraduation. The associated Einstein's equations translate into Fueter's quaternionic analyticity. The latter leads to an infinite number of local continuity equations.     

Non-linearσ-models on compact Riemann surfaces

The classicalO(3) non-linear -model is generalised to a theory of fields defined on a compact Riemann surfaceM with values in a compact Kähler manifoldV. The dimension of the space of self-dual fields fromM to the complex projective space ^N is calculated and the classifying space for the inequivalent quantisations of the theory is also calculated.work supported by the Science and Engineering Research Council     

Bohr-sommerfeld orbits in the moduli space of flat connections and the Verlinde dimension formula

We show how the moduli space of flatSU(2) connections on a two-manifold can be quantized in the real polarization of [15], using the methods of [6]. The dimension of the quantization, given by the number of integral fibres of the polarization, matches the Verlinde formula, which is known to give the dimension of the quantization of this space in a Kähler polarization.Supported in part by MSRI under NSF Grant 85-05550Supported in part by an NSF Graduate fellowship, and by a grant-in-aid from the J. Seward Johnson Charitable TrustSupported in part by NSF Mathematical Sciences Postdoctoral Research Fellowship DMS 88-07291. Address as of January 1, 1993: Department of Mathematics, Columbia University, New York, NY 10027, USA