|
Organizers |
Compact Kahler surfaces with harmonic W^-.
by
Wlodzimierz Jelonek
Cracow University of Technology,Poland
Oral Communication
We prove in the paper that every irreducible compact Kähler surface with \de W-=0 is Kähler-Einstein or is biholomorphic to a ruled extremal Kähler surface.
It is well known that self-dual Kähler 4-manifolds (M, g, J) are Bochner-flat and their Ricii tensor \rho satisfies a condition (*) \nX\rho(X, X)=\frac13X\taug(X, X) where \tau is the scalar curvature of (M, g). This property was studied by A. Gray. A. Gray called Riemannian manifolds satisfying (*)
the \AC manifolds. The author has proved that there is a close relation between Einstein-Weyl manifolds and certain class of \AC manifolds.
In particular there are many non-trivial compact examples of \AC-manifolds. It is well known that compact self-dual Kähler surfaces are locally symmetric and that Kähler manifold with harmonic Weyl tensor has a parallel Ricci tensor (this last result due to S. Tanno holds locally).
In the present paper we shall show that every Kähler surface with harmonic anti-self dual part W- of the Weyl tensor W (i.e. such that \de W-=0) is an \AC-manifold. We also prove that every compact Kähler surface (M, g, J) with harmonic anti-selfdual Weyl tensor (\de W-=0) has constant scalar curvature ( and thus is Einstein or is
locally a product of two Riemannian surfaces with constant sectional curvatures) or is a ruled surface with extremal Kähler metric with non-constant scalar curvature and admits an opposite Hermitian structure \bJ such that (M, g, \bJ) satisfies a (G2) condition of A.Gray and is conformal to an extremal Kähler surface. J.P. Bourguignon
has proved that every compact four manifold (M, g) with harmonic curvature tensor \de R=0 and non-vanishing signature is Einstein. We prove in the present paper that for Kähler surfaces (M, g, J) the same result holds under much weaker assumption \de W-=0.
We say that (M, g, J) is a Kähler manifold if its Kähler form \0(X, Y)=g(JX, Y) is closed (d\0 = 0) and (M, J) is a complex manifold. We consider 4-dimensional Kähler manifolds (M, g, J) which we shall also call Kähler surfaces and hermitian surfaces (M, g, J) i.e. almost hermitian four-manifolds with integrable almost complex structure. Such manifolds are always oriented and we choose an orientation in such a way that \0 is self-dual form (i.e. \0 in \w+M). The Hodge star operator * (which depends on the orientation of M) defines an endomorphism *\w M --> \w M with *2=id and we denote by \w+, \w- its eigen-subbundles corresponding to 1, -1 respectively.
Let us define B=\frac12(\R-*\R*); W=\frac12(\R+*\R*); W+=\frac12(W+*W);W-=\frac12(W-*W). Then
|
|
|
Proposition 1. Let us assume that (M, g, J) is a Kähler \AC-manifold.
Then the following relation holds
|
Corollary. Let (M, g, J) be a Kähler surface with \de W-=0 and constant scalar curvature. Then (M, g, J) is Kähler Einstein manifold or it is locally the product of two
Riemannian surfaces (complex lines) of constant sectional curvatures.
Theorem 1. Let (M, g, J) be a compact Kähler surface with \de W-=0. Let us assume that (M, g) is real analytic as Riemannian manifold. Then (M, g) has constant scalar curvature or a scalar curvature of (M, g) is nonconstant and (M, J) is a ruled surface, (M, g, J) is an extremal Kähler surface and there exists an opposite Hermitian structure \bJ on M such that (M, g, \bJ) is a G2 manifold.
We prove that \kappa = 0 on M or
\bth = -\frac23dln|\kappa|=2dln|\lb-\mu|
and consequently
\kappa = C(\lb-\mu)-3
for some constant C in R-{0}.
Corollary. Let (M, g, J) be a compact Kähler surface with \de W-=0. If the signature \sigma(M) is different from zero (\sigma(M) =/= 0) and (M, g) is real analytic then (M, g, J) is a Kähler-Einstein manifold.
Institute of Mathematics
Cracow University of Technology
Warszawska 24
31-155 Krak/ow, POLAND.
Date received: May 22, 2000
Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cadq-51.