Академический Документы
Профессиональный Документы
Культура Документы
1. Introduction
A conformal manifold with compatible torsion-free connection is said to be EinsteinWeyl if the symmetrised Ricci tensor of the conformal connection is proportional to a
representative metric. This is a confrmally invariant generalisation of the Einstein
equations of Riemannian geometry. The Einstein-Weyl equations have mainly been studied
in three-dimensions (see [16] and the references therein) but recently attention has moved
to higher dimensions [7], [8], [12], [13]. Here we study the conformal scalar curvature of
Einstein-Weyl manifolds. It turns out that this behaves in a special way on compact EinsteinWeyl four-manifolds which enables us to calculate a conformal invariant, the Bach tensor,
in these cases. We end with new examples of compact Einstein-Weyl manifolds the pertinence of which will be explained below.
The conformal scalar curvature is essentially the function of proportionality in the
Einstein-Weyl equations; a rle which is played by the scalar curvature on an Einstein
manifold. In the Einstein case it is well-known that the scalar curvature is constant. Such a
Statement cannot apply to the conformal scalar curvature s this curvature may be multiplied by an arbitrary positive function by changing the choice of representative metric.
However, at each point, the conformal scalar curvature has a well-defined sign (positive,
negative or zero). Compact three-dimensional Einstein-Weyl manifolds have been classified
by Tod [16] and for each of the manifolds one sees that the conformal scalar curvature is of
constant sign. We give an abstract argument which shows that the conformal scalar
curvature is also of constant sign on compact Einstein-Weyl four-manifolds. However, in
higher dimensions this need not be the case. Amongst the Einstein-Weyl structures constructed in the last part of the paper will be found compact examples for which the conformal scalar curvature changes sign.
Although the conformal scalar curvature need not be constant it can not be an
arbitrary smooth function, since a result of Pedersen and Tod [l 5] shows that the conformal
scalar curvature is an analytic function for a suitable choice of metric and local coordinates.
This combined with a Bochner argument is used to show that a compact Einstein-Weyl
Brought to you by | University of California
Authenticated
Download Date | 6/5/15 12:07 PM
1 00
manifold with non-negative conformal scalar curvature has first Betti number at most l
unless the manifold is Einstein. (For an Einstein manifold of non-negative scalar curvature
the upper bound is the dimension of the manifold, see Besse [3].)
In the third part of the paper we study the Bach tensor on four-manifolds. It is known
that this vanishes on Einstein manifolds and on self-dual manifolds. We show that for
compact Einstein -Weyl manifolds the Bach tensor vanishes exactly when M is locally conformal to Einstein. For example, this implies that no self-dual conformal structure on the
connected sum of k copies of the complex projective plane CP(2) can be Einstein -Weyl
The final section is devoted to new examples of Einstein -Weyl manifolds. Until now
no examples of Einstein -Weyl four-manifolds were known which were not locally conformal
to Einstein. We extend a construction of Berard Bergery [2] for Einstein metrics to construct compact Einstein -Weyl structures not locally conformal to Einstein on two-sphere
bundles over certain almost Kahler manifolds. An essential feature of the Einstein -Weyl
construction is that the analyticity result of Pedersen and Tod [15] implies that the conformal class of Solutions with only continuous second order derivatives contains smooth
structures. The new examples in four-dimensions are conformal structures on the product
of two-spheres S2 x S2 and the blow-up of CP(2) at one point. In higher dimensions we
obtain Einstein -Weyl structures whose conformal scalar curvature is not single-signed on
for example S2 x S2 x S2, CP(2) S2 and the bundles P(0(l) &) and P (0(2) 0)
over CP(2). The new examples are also of interest in complex Einstein -Weyl geometry.
Acknowledgement* We would like to thank C. R. LeBrun for useful comments and
suggestions.
2. Conformal scalar curvature and topology
Let M be an -dimensional manifold (n > 3) with conformal structure [g]. A Weyl
connection on M is a torsion-free connection D preserving the conformal class [g]. This
implies the existence of a l-form such that Dg = g. Let rD denote the Ricci curvature of D, then using g this has trace sD9 the conformal scalar curvature of D. Note that
is conformally invariant and that SD has conformal weight 2, that is if we replace g
by / 2 g for some non-vanishing function / then SD is replaced by f~2sD.
A Weyl manifold M is said to be Einstein- Weyl if the Symmetrie part of the Ricci curvature rD is proportional to the metric g at each point of M. Unlike the Einstein case the
function of proportionality is not in general constant. In terms of the Ricci curvature rv of
g the Einstein-Weyl equations are
n l
rv+
v
101
homothety, there is a unique choice of metric g in the conformal class such that the corresponding l -form is co-closed. For this choice of metric on a compact manifold the
vector field * dual to is Killing (Tod [16]) and we may rewrite the Einstein-Weyl equations in the form
2 9
l n\
n-1
- .
Proposition 2.1. IfMisa compact Einstein - Weyl manifold ofdimension n and g is the
representative of the conformal class for which is co-closed then the conformal scalar
curvature satisfies
Substituting this into the previous equation gives the claimed formula.
In dimension four we now see that SD is harmonic and hence constant. Changing the
metric by a conformal factor multiplies SD by a positive function, so the sign of SD does
not change. D
Note that SD is also of constant sign for compact Einstein-Weyl three-manifolds, but
the proof of this is a case by case examination after the classification of Tod [16].
An examination of the proof in Pedersen and Tod [15] that Einstein-Weyl threemanifolds are analytic yields the following analogue of a result of DeTurck and Kazdan
[5] for Einstein manifolds.
Brought to you by | University of California
Authenticated
Download Date | 6/5/15 12:07 PM
102
When is non-zero, the last bracket is positive semi-definite with kerael spanned by *.
If SD is strictly positive then rv has only positive eigenvalues and Myers' Theorem implies
n^M) is inite. For the remaining cases, let be a harmonic l -form. Integrating the inner
product of the Weitzenb ck formula = ?*?a + r?a with implies Va =* 0 and hence
rva 0. Now, SD is analytic, so if it is positive somewhere then it is non-zero on a dense
Brought to you by | University of California
Authenticated
Download Date | 6/5/15 12:07 PM
103
open set U of M9 hence is zero on U and by continuity on the whole of M. Thus b (M)
vanishes. When SD s , is forced to be a multiple of , but and are parallel so this
multiple is a constant and b(M) is 1. D
From the Euler characteristic of M and the Poincare-Hopf Theorem one now deduces:
CoroUary 2.5. IfM is a compact, connected Einstein - Weylfour-manifold with positive
conformal scalar curvature, then the \-form given by any choice of compatible meine g
must vanish somewhere. o
In Pedersen and Swann [13] various examples of Einstein-Weyl manifolds were constructed. The only four-dimensional examples there arise s 2-torus bundles over CP(1),
They have the property that |||| is constant so the above Corollary gives an easy proof
that they are locally conformal to Einstein. The problem of constructing four-dimensional
examples not locally conformal to Einstein will be addressed in the last section of this
paper.
The Situation for compact Einstein-Weyl four-manifolds may be summarised s
follows. Either the conformal scalar is negative SD < 0, in which case M is Einstein of
negative scalar curvature; or SD 0 and M is locally conformal to Einstein and has
= l unless M is Einstein; or SD > 0 and M has finite fundamental group.
3. The Bach tensor
where Wv is the Weyl curvature tensor of g. The Weyl curvature acts on a Symmetrie 2tensor h via
(Wvh)(X, ) = Wv(e^ X, ej9 Y)h(ei9 *,) ,
u
where {ej is a local orthonormal basis for g. There is also a differential operator dv which
acts on h s
, K) = -(?*)( r, f)
i
104
(see Bach [1] and Besse [3]). Direct computation shows that B vanishes for Einstein metrics
and hence for metrics locally confonnal to Einstein. One may also show that if g is seifdual then it is an absolute minimum of the functional, so B is also zero in this case (see
Derdzinski [4]).
Writing the Weyl curvature in terms of the Riemann curvature, the Ricci curvature
and the scalar curvature gives the Bach tensor in the form
B = dvd V - V* Vrv -
Vdsv
- 2C(rVv) + (3||r||2 (see Derdzinski [4]) where C(, ) denotes contraction with the metric over the first indices
and
(V*Vr)(JST, Y) = -Vei(Vxr)(ei, Y) .
Proposition 3.1. IfM is a compact Einstein- Weyl four-manifold and g is the representative metric with co-closed then the Bach tensor is given by
Proof.
Fix a point of M and choose a local orthonormal basis of tangent vectors {ej such
that Vtfj vanishes at x. Let X = ej and F= ek for some j and k and write Vf for Ver Then
the first two terms of the Bach tensor are
0* </v r v _ v* Vrv)(Z, 7) = -V, (V, rv)(7, X) + V^r*)^ X) + Vt(Vxrv)(ei9 7) .
Now, * is Killing, so = - Vca,
Vi(Virv)^ViVi+-ei^(Vid)
+-
= T (, ) - ( + )
4
4
Brought to you by | University of California
Authenticated
Download Date | 6/5/15 12:07 PM
and
105
i
,()(^ 7) = - -
+
= ~
(eiXf)g(ei9Y)
{* ((*
Combining these formulae with = -^, ||||2 = -sD||ci)||2 \\\\2 and the fact
that SD is constant gives the required result. D
Corollary 3.2. The Bach tensor of a compact Einstein-Weyl four-manifold M is zero
if and only if M is locally conformally Einstein. Furthermore, when the latter is the case, if
M is connected and the conformal scalar curvature of M is not zero then M is Einstein.
Proof. If M is locally conformally Einstein then B is automatically zero. Assume B
vanishes. Since 2* = so (3)+ 0 so(3)_ and SO (3) acts transitively on the unit sphere
in so (3), we may choose a local orthonormal basis {e{} of 1-forms such that
= e
?2 + ?3 e ^ + e
e2-e3/\ e4
106
classes of self-dual structures on kCP(2), h> l, constructed by LeBrun [11] can not be
Einstein-WeyL
Proof. If the conformal class is self-dual then the Bach tensor vanishes and an
Einstein-Weyl structure gives an Einstein metric, since the manifold is simply connected. The
result now follows from Pedersen and Tod [14] in the case of LeBrun's structures and by
the signature-Euler characteristic inequality of Hitchin [9] in the other cases.
4. New examples
We now give a construction of some compact four-dimensional Einstein -Weyl manifolds with positive conformal scalar curvature. Our method is an extension of work of
Berard Bergery [2] on Einstein metrics on S2-bundles (see also Besse [3]) and produces
non-trivial examples of Einstein -Weyl manifolds in all even dimensions greater than or equal
to four. Note that since the conformal scalar curvature is positive the Ricci curvature of
the representative metric with co-closed is positive. We start by recalling Berard Bergery's
setting.
Let (B, gB) be a compact almost-K hler Einstein manifold of positive scalar curvature
and real dimension (n 2) normalised so that
where r* is the Ricci curvature. Let be the Kahler form and assume there exists a
positive constant q such that
where a*e H2 (B, ff$) is the image of an indivisible class e H2 (B, Z). For any integer s,
let P(s) denote the S1-bundle over B with characteristic class SOL*. Then P(s) carries a
metric g (a, b) which gives a Riemannian submersion with base metric bgB and totally
geodesic fibres of length 2na. If S1 acts on S2 in the usual way fixing 0 and oo, then we
may define M (s) to be the S2-bundle over B associated to P(s), that is
where {0} (b, x) ~ {0} x (b, y) and { } x (b, w) ~ {(} x (b, z). Let t be the coordinate on
[0, t ] and consider the metric
g = dt2 + g ( f ( t ) , h 2 ) - dt2 + AV+/ 2 0 2 ,
where is the connection l -form on P (s) -+ B and pull-back signs have been omitted. The
metric g is of class C2 if /is C2 with /> 0 on (O,/),
/(O) -/"(O) -/(/)- /" (0 = 0 and .f(0)-l.-/'(O
(s^ Kazdan and Warner [10] for example). Note that unlike Berard Bergery [2] we take h
to be constant rather than a function of t. This will cause no further loss of generality
Brought to you by | University of California
Authenticated
Download Date | 6/5/15 12:07 PM
107
provided the l -form defining the Weyl structure has a component proportional to dt, since
if h is a function we may conformally rescale g and change { and the parameter t.
We obtain a Weyl connection on M (s) by defining
for some functions (), (t). This is of class C1 if and /? are C1 and
<x(0) = j(0) = /T (0) = ocGO = (f) = /'(O = 0 .
Lemma 4.1. 7%e Einstein-Weyl equations on M (s) are equivalent to
f" n -2 , n - 2 , ,
-J + + 2 = ,
/"
n - 2 /' , n-2
, s 2 K 2 (n-
2q
'-2^-
+a = 0,
(V,a>)(Jr) = -) = //',
co(Vx//) = -w(V H ) =~
108
7'7)^7 + >
(?**)
(4.2)
(4.3)
/"
f
n~2y" . 3 ( K - 2 ) y ' 2 _
2 y
4
y*
n-ly'f
2 jf
'
n-2' 2 f
} J
4
2~
2 ,
4f
~~
A
'
2 f2j
_ A
=A .
109
which implies
/ 2 = -77 "'2
(4-4)
for some constant ci. Note that if we assume cv ^ 0 then y must lie between
l
l
- l/c2 + 4k) and - (q -f 1/c2 + 4fc).
L
^ = -f-
3(5 - )*72 + 3 (n where dots indicate derivatives with respect to y. The homogeneous Version of (4.5) has
a solution
and substituting an arbitrary function t; times this expression into (4.5) gives
( T? Pn-2(S
\"
.-2
110
Note that P2r has degree (r 1) and the coefficients are A~2 times non-zero homogeneous
polynomials in A and B of degree r.
In satisfying the boundary conditions, note that (4.1) implies that we need only show
/(O) =/(/) = 0, /(O) = /(/) = 0 and /'(O) = l = -/'(/) We have
(4.7)
y'2~y<4~v2(k + Cly-y2)3l2v
Without loss of generality, we may assume y is increasing on [0, f~]. We will take
y 00 = A + B and suppose y(0) = X. Our previous assumptions imply 0 < X < A + B and
that v is increasing on (0, ( ).
The condition f ( ) = 0 implies -7jP n _ 2 (l) 4- c 2 P n (l) = 0. However, the function
COS0JJ y (w ~ 2)/2 sec 3 <fy vanishes at (, so P(l) = (A + B)Pn_2(i) and
2
2n l
h2 A + B
-y>+^ ( ^^^
and the condition /'(/) = l gives
c3 = (^ + 5)<-
Note that this is always less than A + B. The condition that X be positive reduces to
s2 < q2, hence the topological restriction on P (s). Now i?(0) = 0 implies
(48)
=(tan o g)(|/c?+4j2
where (x) is a non-zero rational function whose polynomial part has degree (n 2). (In
four dimensions the right hand side is tan (A 2 c t /(2n)).) For fixed h this gives various
values of CA which in turn determine c2 and c3. Note that v has no zero in (0, /], so / is
positive on (0, /), and that y' is automatically zero at 0 and f.
We thus have a solution of the Einstein-Weyl equations with a metric of class C 2 and
l-form of class C1. Now Theorem 2.2 implies that this defines the conformal class of a
smooth solution.
Brought to you by | University of California
Authenticated
Download Date | 6/5/15 12:07 PM
111
A table of values of q for compact Hermitian Symmetrie spaces may be found in Besse
[3]. In particular, for B = CP(n/2 1) one has g = w/2, so in four dimensions there are
only two possibilities.
Corollary 4.3. The quadric S2 x S2 and the blow-up CP(2) # CP(2) of CP(2) at
onepoint admit Einstein -Weyl structures of positive conformal scalar curvature which are not
locally conformal t o Einstein. o
The positivity of the conformal scalar curvature in these two cases is guaranteed by
Proposition 2.1, however in higher dimensions we have:
Corollary 4.4. In even dimensions strictly bigger thanfour, there exist Einstein-Weyl
manifolds whose conformal scalar curvature does not have constant sign.
Proof.
- = -\*--=1\\\\*.
n
2
4
For simplicity we only consider the case n = 6 and k = 0, but the argument may be easily
adapted to cover all the above examples with ^ 6. From (4.7) and (4.6) we see
cin
112
where c3 = 4ct -^ s"* *(!) Now lies between X and c1? where
xNote that for fixed A, (4.8) has Solutions for arbitrarily large c1% For ci > 6/A 2 , we have
X< Cj/2, so we may put y = c t /2 in the expression for ^ to obtain
which for large ct is negative. (In general one obtains a polynomial in c of degree
(w 4)/2 whose leading coefficient is negative if n ^ 6.)
In all cases the manifold M (s) carries an almost complex structure / defined using
the Standard structure on the fibre S2 together with that from the base manifold B. This
almost complex structure is compatible with the constructed conformal class and is integrable when B is Kahler. However this is not a Hermitian- Einstein -Weyl structure in the
sense of Pedersen et al. [12] since / is not parallel with respect to the Weyl connection. To
see this let be the 2-form defined by / and g. On a Hermitian -Weyl manifold one has
== , but this is not satisfied in our case.
Proposition 4.5. IfBisa Kahler manifold and M (s) is s in the Theorem above, then
M (s) is complex and Einstein-Weyl. The complex structure is compatible with the conformal
class of the meine but not with the Weyl connection. o
References
[I] R. Bach, Zur Weylschen Relativit tstheorie und der Weylschen Erweiterung des Kr mmungstensorbegriffs,
Math. Z. 9 (1921), 110-135.
[2] L. Bergery, Sur des nouvelles varits riemanniennes d'Einstein, Publications de PInstitut E. Cartan 4
(Nancy) (1982), 1-60.
[3] A. L. Besse, Einstein Manifolds, Erg. Math. Grenzgeb. 10, Berlin-Heidelberg-New York 1987.
[4] A. Derdzinski, Self-dual Kahler manifolds and Einstein manifolds of dimension four, Comp. Math. 49 (l983),
405-433.
[5] D. M. DeTurck and L. Kazdan, Some Regularity Theorems in Riemannian Geometry, Ann. Scient. Ec. Norm.
Sup. 14 (1981), 249-260.
[6] P. Gauduchon, La 1-forme de torsion d'une variete hermitienne compacte, Math. Ann. 267 (1984), 495-518.
[7] P. Gauduchon, Structures de Weyl-Einstein, Espaces de Twisteurs et Varietes de Type S1 S3, Preprint.
[83 P. Gauduchon, Structures de Weyi et theoremes d'annulation sur une variete conforme autoduale, Ann. Sc.
Norm. Sup. Pisa XVffl (1991), 563-629.
[9] N.J. ffitchin, Compact four-dimensional Einstein manifolds, J. Diff. Geom. 9 (1974), 435-441.
[10] J.L. Kazdan and F. W. Warner, Curvature functions for open 2-manifolds, Ann. Math. 99 (1974), 203-219.
[II] C.R. LeBrw, Explidt self-dual metrics on P(2) # * CP(2), J. Diff. Geom. 34 (1991), 223-253.
[12] H. Pedersen^ Y.S. Poon and A. F. Swann, The Einstein-Weyl Equations in Complex and Quaternionic Geometry, Diff. Geom. Appl., to appear.
[l 3] H. Pedersen and A. F. Swann, Riemannian Submersions, Four-Manifolds and Einstein-Weyl Geometry, Proc.
London Math. Soc. (3) 6 (1993), 381-399.
[14] H. Pedersen and K.P. Tod, Einstein metrics and hyperbolic monopoles, Class. Quantum Grav. 8 (1991),
751*760.
Brought to you by | University of California
Authenticated
Download Date | 6/5/15 12:07 PM
113
[15] H. Pedersen and K.P. Tod, Three-dimensional Einstein-Weyl geometry, Adv. Math. (1) 97 (1993), 74-109.
[16] K.P. Tod, Compact 3-dimensional Einstein-Weyl structures, J. London Math. Soc. (2) 45 (1992), 341-351.