This paper classifies compact Kähler manifolds with special holomorphic gradient vector fields, showing they are all biholomorphic to bundles of complex projective spaces, thus revealing their geometric structure.
Contribution
It provides a classification of such manifolds with geodesic holomorphic gradients under an integrability condition, identifying their biholomorphic equivalence to projective space bundles.
All such manifolds are biholomorphic to bundles of complex projective spaces.
03
The classification relies on the integrability condition of the vector fields.
Abstract
A vector field on a Riemannian manifold is called geodesic if its integral curves are reparametrized geodesics. We classify compact K\"ahler manifolds admitting nontrivial real-holomorphic geodesic gradient vector fields that satisfy an additional integrability condition. They are all biholomorphic to bundles of complex projective spaces.
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Full text
Kähler manifolds with geodesic
holomorphic gradients
Andrzej DERDZINSKI
Department of Mathematics, The Ohio State University, Columbus, OH
43210, USA
A vector field on a Riemannian manifold is called geodesic if its integral
curves are reparametrized geodesics. We classify compact Kähler manifolds
admitting nontrivial real-holomorphic geodesic gradient vector fields that satisfy an additional integrability condition.
They
are all biholomorphic to bundles of complex projective spaces.
Résumé. – **Variétés
kählériennes admettant des gradients géodésiques holomorphes. Un champ de vecteurs sur une variété riemannienne est dit géodésique
si ses courbes intégrales sont géodésiques non paramétrés. On
classifie des variétés kählériennes compactes qui admettent des
gradients géodésiques réels holomorphes non triviaux satisfaisant à une condition additionnelle d’intégrabilité.
Elles sont toutes
biholomorphes à fibrés en espaces projectifs complexes.
**
keywords:
Holomorphic gradient, geodesic gradient, transnormal
function
1991 Mathematics Subject Classification:
53C55
Introduction
We say that a vector field on a Riemannian manifold is geodesic if
its integral curves are reparametrized geodesics. The present paper
discusses
[TABLE]
We observe (Remark 12.1) that for \,m=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptM\hskip 0.7pt and
\,d_{\pm}^{\phantom{i}}\hskip-0.7pt=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathchar 262\relax^{\pm}\hskip-0.7pt, where \mathchar262+ and \mathchar262− are the
maximum and minimum level sets of τι, one then has
[TABLE]
and every \,(d_{+}^{\phantom{i}},d_{-}^{\phantom{i}},m)\in\hbox{\mathsf{Z}\hskip-4.5pt\mathsf{Z}}^{3} satisfying (0.2) is realized by
some (M,g,τι) with (0.1).
One of our three main results, Theorem 17.4, classifies the triples
(0.1) such that
[TABLE]
Here M′=M∖(\mathchar262+∪\mathchar262−), while
π±:M∖\mathchar262∓→\mathchar262± sends each
x∈M∖\mathchar262∓ to the unique point nearest x in
\mathchar262±. (In case (0.1) π± always are disk-bundle
projections, and their vertical distributions
Kerdπ± span a vector subbundle of
TM′, cf. Section 11; however, (0.1) does not imply
(0.3) – see Remark 20.5.)
As a consequence of Theorem 17.4, in every triple with (0.1) and
(0.3),
[TABLE]
The remaining two main results of the paper, Theorems 15.1
and 19.1, deal with the general case of (0.1), that is, do not
assume (0.3).
According to Theorem 15.1, whenever \mathchar261± is a leaf of either
(obviously integrable) vertical distribution
Kerdπ±, the other projection
π∓ maps \mathchar261±∩M′ onto the image \,F({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k})\, of
some totally geodesic holomorphic immersion \,F:{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k}\hskip-0.7pt\to\mathchar 262\relax^{\mp}
inducing on \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k} a multiple of the Fubini-Study metric, with
k=k±i≥0 given by k±i=m−1−d±i.
Both \mathchar262± are themselves (connected) totally geodesic
compact complex submanifolds of M, cf. Remark 11.1(iii).
The third main result reveals a dichotomy involving the assignment
[TABLE]
Grki(Tyi\mathchar262±) being the complex Grassmannian,
with k=k±i defined as before.
Specifically, Theorem 19.1 states that one of the following two cases
has to occur. First, (0.5) may be constant on every leaf of
Kerdπx± in M′, that is, on
every fibre \mathchar261± of the projection
π±:M∖\mathchar262∓→\mathchar262± restricted to
M′, with either sign ±. Otherwise, l=k∓i and
k=k±i are positive for both signs ±, while (0.5)
restricted to any such leaf \mathchar261± must be a composite mapping
\,\mathchar 261\relax^{\pm}\hskip-1.5pt\to\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}\hskip 0.4pt^{l}\hskip-1.5pt\to\hskip 0.4pt\mathrm{Gr}\hskip-0.7pt_{k}^{\phantom{i}}\hskip-0.7pt(T\hskip-2.3pt_{y}^{\phantom{i}}\hskip-0.7pt\mathchar 262\relax^{\pm}\hskip-0.7pt)\,
formed by a holomorphic bundle projection
\,\mathchar 261\relax^{\pm}\hskip-1.5pt\to\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}\hskip 0.4pt^{l}\hskip-0.7pt, having the fibre
\,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\smallsetminus\{0\}, and a nonconstant holomorphic
embedding \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}\hskip 0.4pt^{l}\hskip-1.5pt\to\hskip 0.4pt\mathrm{Gr}\hskip-0.7pt_{k}^{\phantom{i}}\hskip-0.7pt(T\hskip-2.3pt_{y}^{\phantom{i}}\hskip-0.7pt\mathchar 262\relax^{\pm}\hskip-0.7pt).
The first case of Theorem 19.1 is equivalent to condition (0.3),
and the immersions \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k}\hskip-0.7pt\to\mathchar 262\relax^{\pm}\hskip-0.7pt, mentioned in the above summary
of Theorem 15.1, are then embeddings, for both signs ±, while
their images constitute foliations of \mathchar262±, both with the same leaf
space B appearing in (0.4). See Remark 19.2.
In the second case (cf. Remark 19.3) the images of these immersions,
rather than being pairwise disjoint, are totally geodesic,
holomorphically immersed complex projective spaces, an uncountable
family of which passes through each point of \mathchar262±.
Three special classes of the objects (0.1) have been studied before. One
is provided by the gradient Kähler -Ricci solitons
discovered by Koiso [16] and, independently, Cao [4], where
τι is the soliton function; two more – by special
Kähler -Ricci potentials τι on compact
Kähler manifolds [8], and by triples with
(0.1) such that M is a (compact) complex surface
[6]. Each of these three classes satisfies (0.3).
The papers [8, 6] provide complete
explicit descriptions of the classes discussed in them. Our
Theorem 17.4 generalizes their classification results, namely,
[8, Theorem 16.3] and
[6, Theorem 6.1].
For more details on the preceding two paragraphs, see Remark 17.5.
Functions with geodesic gradients on arbitrary Riemannian manifolds, usually
called transnormal, have been studied extensively as well
[20, 17, 2].
Both authors’ research was supported in part by a FAPESP– OSU 2015
Regular Research Award (FAPESP grant: 2015/50265-6). The authors wish to thank
Fangyang Zheng for helpful comments.
1. Preliminaries
Manifolds, mappings and tensor fields, including Riemannian metrics and
functions, are by definition of class C∞. A (sub)manifold
is always assumed connected.
Our sign convention about the curvature tensor R=R∇ of a
connection ∇ in a vector bundle E over a manifold M
is
[TABLE]
for any section ξ of E and vector fields v,w tangent to
M. One may treat R(v,w), the covariant derivative
∇ξ, and any function f on M as bundle morphisms
[TABLE]
sending ξ or v as above to R(u,v)ξ, fξ
or, respectively, ∇viξ. Notation of (1.2) is used
in the next three displayed relations.
In the case of a Riemannian manifold (M,g), the symbol ∇
will always stand for the Levi-Civita connection of g as well as
the g-gradient. Given a function τι and vector fields
w,w′ on (M,g), one has the Lie-derivative relation
[TABLE]
due to the local-coordinate equalities
[£vig]jki=vj,ki+vk,ji=2vj,ki. For
vector fields v,u on a manifold M and a bundle morphism
B:TM→TM, the Leibniz rule gives
[£viB]u=[v,Bu]−B[v,u]=[∇uiB]u+B∇uiv−∇Buiv, and so
[TABLE]
Next, let u be a Killing vector field on a Riemannian manifold
(M,g). The Ricci and Bianchi identities imply, as in
[9, bottom of p. 572], the well-known relation
[TABLE]
Since the flow of a Killing field preserves the Levi-Civita
connection, (1.5) also follows from the classical Lie-derivative
equality[£ui∇]viw=[∇viA]w−R(u,v)w,
with A=∇u, cf. [18, formula (1.8) on p. 337], valid
for any connection ∇ in TM.
Whenever τι:M→IR is a function on a Riemannian manifold
(M,g), we have
[TABLE]
as one sees noting that, in local coordinates,
(τι,kiτι,k),ji=2τι,kjiτι,k. Also, obviously
[TABLE]
Remark 1.1**.**
Relation (1.3) becomes
dvi[g(w,w′)]=2g(Sw,w′) if, in addition,
v commutes with w and w′. Namely,
dvi=£vi on functions, so that we may evaluate
dvi[g(w,w′)] using the Leibniz rule for the Lie
derivative with £viw=£viw′=0.
Remark 1.2**.**
Whenever the g-gradient
v=∇τι of a function τι on a Riemannian manifold
(M,g) is tangent to a submanifold \mathchar261 with the
submanifold metric g′, the restriction of v to
\mathchar261 obviously equals the g′-gradient of
τι:\mathchar261→IR.
Remark 1.3**.**
Given a manifold M and
σ,τι:M→IR, we call σa C∞ function
ofτι if τι is nonconstant (so that its range τι(M)
is an interval) and σ=χ∘τ for some C∞ function
χ:τι(M)→IR. Note that χ is then uniquely determined by
σ and τι. We will denote by σ both the original
function M→IR and the function χ:I→IR of the variable
τι∈I.
Let (t,s)↦x(t,s)∈M be a fixed variation of curves
in a manifold M, that is, a C∞ mapping in which the real
variables t,s range independently over intervals. The partial
derivative xti (or, xsi) then assigns to each
(t0i,s0i) the velocity vector at t0i (or, s0i) of the
curve t↦x(t,s0i) or, respectively, s↦x(t0i,s).
(Thus, xti and xsi are sections of a specific pullback
bundle.) A connection ∇ on M allows us to define
the mixed second-order partial derivatives xtsi and
xsti of the variation, so that, for instance, the value of
xtsi at (t0i,s0i) is the ∇-covariant
derivative, at the parameter s0i, of the vector field
s↦xti(t0i,s) along the curve s↦x(t0i,s), and
analogously for xsti. Obviously, xsti=xtsi when
∇ is torsion-free, cf. [8, p. 101].
Remark 1.4**.**
For a torsion-free connection ∇ on a
manifold M and a smooth variation
(t,s)↦x(t,s)=expy(s)i(t−t0i)ξ(s) of
∇-geodesics, with (t,s) near (t0i,s0i) in
IR2 and a vector field
s↦ξ(s)∈Ty(s)iM along a curve
s↦y(s)∈M, let t↦w^(t) be the Jacobi
vector field along the geodesic t↦x(t)=x(t,s0i) defined by
w^(t)=xsi(t,s0i) (notation of the last paragraph). Then
[∇x˙iw^](t0i)=[∇y˙iξ](s0i),
which is nothing else than xsti=xtsi (see above) at
(t,s)=(t0i,s0i). Also, clearly, w^(t0i)=y˙(s0i). Note
that ∇y˙iξ may be nonzero even if y(s)=y
is a constant curve, as it then equals the ordinary derivative of
s↦ξ(s)∈TyiM with respect to s.
Remark 1.5**.**
Let N be a vector bundle over a manifold
\mathchar262. We use the same symbol N for its total space, which we
identify, as a set, with
{(y,ξ):y∈\mathchar262andξ∈Nyi}. Given
a connection D in N and vector fields v,w
tangent to \mathchar262,
[TABLE]
(notation of (1.2)). Namely, at any x=(y,ξ)∈N, the vertical
(or, horizontal) component of the Lie bracket of the horizontal lifts of
v and w equals
RyD(vyi,wyi)ξ (an easy exercise) or,
respectively, the horizontal lift of [v,w]yi, cf. [15, p. 10].
Remark 1.6**.**
Let D be the normal connection in
the normal bundle N\mathchar262 of a totally geodesic
submanifold \mathchar262 in a Riemannian manifold (M,g). We denote by
Exp⊥:U→M the normal exponential mapping
of \mathchar262, the domain of which is an open submanifold U of the
total space N\mathchar262 such that, for every normal space
Nyi\mathchar262, where y∈\mathchar262±, the intersection
U∩Nyi\mathchar262 is nonempty and star-shaped (in the
sense of being a union of line segments emanating from 0).
Remark 1.4 leads to the following well-known description of the
differential dExp(y,ξ)⊥ of Exp⊥
at any (y,ξ)∈U, cf. Remark 1.5. Specifically, we may
assume that ξ=0 since, clearly,
dExp(y,ξ)⊥=Id when ξ=0, under
the obvious isomorphic identification
T(y,0)i[N\mathchar262]=Tyi\mathchar262⊕Nyi\mathchar262=TyiM. The point y∈\mathchar262 and the normal vector
ξ∈Nyi\mathchar262 thus have the property that the nontrivial
geodesic r↦x(r)=expyirξ is defined for all
r∈[0,1]. If r>0, a vector tangent to
N\mathchar262 at (y,rξ) can be uniquely written as
rη+wrhrz, where
η∈Nyi\mathchar262=T(y,rξ)i[Nyi\mathchar262]
is vertical and wrhrz denotes the D-horizontal
lift of some w∈Tyi\mathchar262. Then, for the Jacobi field
r↦w^(r) along our geodesic r↦x(r)
such that w^(0)=w and
[∇x˙iw^](0)=η,
[TABLE]
In fact, linearity of both sides in (η,w) allows us to consider two
separate cases, w=0 and η=0. For s close to 0
in IR and r∈[0,1], let us set
x(r,s)=expy(s)irξ(s), where in the former case
(y(s),ξ(s))=(y,ξ+sη), and in the latter s↦ξ(s) is the
D-parallel normal vector field with ξ(0)=ξ
along a fixed curve s↦y(s)∈\mathchar262 such that y(0)=y and
y˙(0)=w. Thus, in both cases, the curve s↦(y(s),rξ(s))
in U has, at s=0, the velocity rη+wrhrz. The
velocity at s=0 of its Exp⊥-image curve
s↦x(r,s) therefore equals the left-hand side of (1.9). At
the same time this last velocity is w^(r)=xsi(r,0) for
w^ defined as in Remark 1.4 with the variable t and
(t0i,s0i) replaced by r and (0,0). Now (1.9) follows
since the two definitions of w^ agree: according to
Remark 1.4, both Jacobi fields denoted by w^ satisfy the
same initial conditions at s=0.
Remark 1.7**.**
Every Killing vector field u on a
Riemannian manifold is a Jacobi field along any geodesic
t↦x(t). In fact, the local flow of u, applied to the geodesic,
yields a variation of geodesics. (Equivalently, one may note that (1.5)
with v=x˙, evaluated on x˙, is precisely the Jacobi
equation.)
Remark 1.8**.**
Let \mathchar265:\mathchar261→M be a totally geodesic
immersion of a manifold \mathchar261 in a Riemannian manifold (M,g). If
\mathchar265(\mathchar259)⊆\mathchar262 and
\mathchar265(\mathchar261∖\mathchar259)⊆M∖\mathchar262 for
submanifolds \mathchar259 of \mathchar261 and \mathchar262 of
M, such that \mathchar262 is totally geodesic in (M,g), then, for
\mathchar262 endowed with the submanifold metric,
\mathchar265:\mathchar259→\mathchar262 is a totally geodesic immersion.
In fact, every point of \mathchar259 has a neighborhood U in
\mathchar261 on which \mathchar265 is an embedding with a totally geodesic image
\mathchar265(u). Our claim now follows since the submanifold
\mathchar265(\mathchar259∩U) of \mathchar262, being the
intersection of the totally geodesic submanifolds \mathchar265(u) and
\mathchar262, must itself be totally geodesic.
Remark 1.9**.**
Let R,R′ and R^ be the curvature
tensors of connections ∇,∇′ in vector bundles E,E′ over
a fixed base manifold and, respectively, of the connection ∇^
induced by them in the vector bundle Hom(E,E′). Then
R^ is given by the commutator-type formula
R^(v,w)\mathchar258=[R′(v,w)]\mathchar258−\mathchar258[R(v,w)], cf. (1.2), for any section \mathchar258 of
Hom(E,E′) (that is, any
vector-bundle morphism \mathchar258:E→E′) and vector fields
v,w tangent to the base. This trivially follows from (1.1) and the
fact that [∇^vi\mathchar258]ξ=∇′vi(\mathchar258ξ)−\mathchar258∇viξ
whenever ξ is a section of E.
2. Projectability of distributions
As usual, whenever π:M→B is a mapping between manifolds, we
say that a vector field w (or, a distribution E) on
M is π-projectable if
[TABLE]
for some vector field u (or, some distribution H) on
B and all x∈M.
Remark 2.1**.**
Let π:M→B be a bundle projection. A
vector field w on M is π-projectable if and only if,
for every section v of the vertical distribution
V=Kerdπ, the Lie bracket [v,w] is
also a section of V. This is easily verified in local
coordinates for M that make π appear as a
Cartesian-product projection.
Remark 2.2**.**
For π,M,B,V as in
Remark 2.1, a π-projectable vector field w on
M, and x∈M such that wxi=0, every prescribed
value uxi∈Vxi is realized by a local section
u of V commuting with w. Namely, we may first
prescribe such u along a fixed codimension-one submanifold
containing x, which is transverse to w at x, and then use the
local flow of w to spread u over a neghborhood of x.
Remark 2.3**.**
Given a vector field v and a distribution
E on a manifold, the local flow t↦etv of v
preserves E if and only if, whenever w is a local
section of E, so is [v,w]. Namely,
[v,w]=£viw, while, denoting by
\mathchar258↦(detv)\mathchar258 the push-forward action of
etv on tensor fields \mathchar258 of any type, we have
[TABLE]
In fact, when t=0, (2.2) is just the definition of
£vi\mathchar258, while, for arbitrary t, it follows
from the group -homomorphic property of t↦etv.
Remark 2.4**.**
We say that a vector field w (or, a
distribution H) on a manifold M is projectable along an integrable distribution V on
M, or V-projectable, if it is
π-projectable, as in (2.1), when restricted to any open
submanifold of M on which V forms the vertical
distribution Kerdπ of a bundle projection π.
For w this amounts to invariance of V under the local
flow of w, cf. Remarks 2.1 and 2.3.
Remark 2.5**.**
For an integrable distribution Z on a
Riemannian manifold (M,g), the following two conditions are
equivalent.
(i)
dwi[g(v,v)]=0 for all local sections v of
Z and w of Z⊥ such that w is nonzero,
Z-projectable, and [v,w]=0.
2. (ii)
Every leaf (maximal integral manifold) of Z is
totally geodesic in (M,g).
In fact, let b be the second fundamental form of the leaves of Z,
with b(v,v) equal to the Z⊥ component of
∇viv. If v and w commute,
dwi[g(v,v)]=2g(∇wiv,v)=2g(∇viw,v)=−2g(∇viv,w)=−2g(b(v,v),w), while b is symmetric and v,w as in
(i) realize, at any x∈M, any given elements of Zxi
and Zx⊥ (see Remark 2.2).
Remark 2.6**.**
Clearly, (ii) in Remark 2.5 also follows
when dwi[g(v,v)]=0 for all v,w satisfying specific
further conditions besides (i), as long as the last line of
Remark 2.5 still applies.
Lemma 2.7**.**
For two integrable distributions E± on a manifold
M such that the span E of
E+ and E− has constant dimension, the
following conditions are all equivalent.
(a)
E* is integrable.*
2. (b)
E+* is projectable along E−.*
3. (c)
E−* is projectable along E+.*
If (a) – (c) hold, the distributions that E±
locally project onto are integrable as well.
Proof.
We may assume that E+ is the vertical distribution
of a bundle projection π:M→B with connected fibres. First, let
E be integrable. Since E contains
E+=Kerdπ, its leaves are unions of
fibres and so their π-images form a foliation of B, tangent to a
distribution H satisfying (2.1), which proves
projectability of E, and hence of
E−, along E+. In other words, (a) implies
(c). Conversely, assuming (c), we obtain
dπxi(Exi)=dπxi(Ex−)=Hπ(x)i for all x∈M and some distribution
H on B, which is necessarily integrable: its leaves
are π-images of the leaves of E−. Integrability of
E now follows, as its leaves are the π-preimages of
those of H.
Finally, as (a) involves E+ and E− symmetrically, it is also
equivalent to (b).
∎
3. Kähler manifolds
For Kähler manifolds we use symbols such as (M,g), where M
stands for the underlying complex manifold. Generally, in complex manifolds,
[TABLE]
Let v be a vector field on a Kähler manifold (M,g). Since
∇J=0, one has
[TABLE]
J,S,A being viewed as bundle morphisms TM→TM, cf. (1.2). For the curvature tensor R of a Kähler
manifold (M,g) and any vector fields u,v on M,
[TABLE]
In fact, the condition ∇J=0 turns ∇ into a
connection in TM treated as a complex vector bundle,
g being the real part of a ∇-parallel Hermitian
fibre metric, that is,
[TABLE]
for all vector fields w,w′ on M, and so the curvature
operators R(u,v) are all complex-linear and
skew-Hermitian. The former property now amounts to commutation in
(3.3), the latter to the equality
g(R(u,v)w,w′)=g(R(w,w′)u,v)=g(R(w,w′)Ju,Jv)=g(R(Ju,Jv)w,w′), with any vector fields w,w′.
Real-holomorphic vector fields v on Kähler manifolds will
always be briefly referred to as holomorphic. Since they are
characterized by £viJ=0, formula (1.4) for
B=J implies that, given a vector field v on a Kähler
manifold (M,g),
[TABLE]
where J,S:TM→TM as in (1.2). For any
holomorphic vector field v,
[TABLE]
In fact, for S=∇v and A=∇u, (3.2) –
(3.5) give A=JS=SJ, and so A+A∗=J(S−S∗), while the
local-gradient property of v amounts to S−S∗=0, and the
Killing condition for u reads A+A∗=0.
Remark 3.1**.**
As shown by Kobayashi [11], if
u is a Killing vector field on a Riemannian manifold (M,g),
the connected components of the zero set of u are mutually isolated
totally geodesic submanifolds of even codimensions.
Lemma 3.2**.**
If a complex manifold M admits a
Kähler metric g, with the Kähler form
ω=g(J⋅,⋅), and \,\varepsilon:{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k}\hskip-0.7pt\to M\, is a
nonconstant holomorphic mapping, then ε\vrulewidth=1.0pt,height=2.7pt,depth=0.0pt∗ω represents a
nonzero de Rham cohomology class in
\,H^{2\hskip-0.7pt}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k}\hskip-1.5pt,\mathrm{I\!R}).
Whether a holomorphic mapping \,\varepsilon:{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k}\hskip-0.7pt\to M\, is constant,
or not, the same is the case for all holomorphic mappings
\,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k}\hskip-0.7pt\to M\, sufficiently close to ε in the
C0 topology.
Proof.
Clearly, ε remains nonconstant (and holomorphic)
when restricted to a suitable projective line \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{1}\hskip-0.7pt\subseteq{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{k}.
In addition to being positive semidefinite everywhere, the restriction
h of ε\vrulewidth=1.0pt,height=2.7pt,depth=0.0pt∗g to \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{1} must also be positive definite
somewhere (or else h, being Hermitian, would vanish identically,
making ε constant on \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{1}). The integral of ε\vrulewidth=1.0pt,height=2.7pt,depth=0.0pt∗ω
over \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{1} is thus positive, proving our first claim. The second one
follows since nearby continuous mappings are, obviously, homotopic to
ε.
∎
Remark 3.3**.**
We need the following well-known fact, valid
both in the C∞ and complex (holomorphic) categories: any
integrable distribution with compact simply connected leaves constitutes
the vertical distribution of a bundle projection.
The required local trivializations are provided by the – necessarily trivial
– holonomy of the underlying foliation; see, for instance,
[3, p. 71].
Remark 3.4**.**
We need two more well-known facts; cf. [19, Example 1 of Sect. 2.2].
(a)
A continuous function \,\,U\to{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\, on an open set
\,\,U\subseteq{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}, holomorphic on U∖\mathchar259,
where \mathchar259⊆U is discrete, is necessarily
holomorphic everywhere in U.
2. (b)
If \mathchar265:\mathchar261→M is a continuous
mapping between complex manifolds, and a codimension-one complex
submanifold \mathchar259 of \mathchar261, closed as a subset of
\mathchar261, has the property that the restrictions of \mathchar265 to
\mathchar261 and to the complement \mathchar261∖\mathchar259 are
both holomorphic, then \mathchar265 is holomorphic on
\mathchar261.
In fact, let \,p=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\mathchar 261\relax\hskip-0.7pt. When p=1, our claim is obvious from
Remark 3.4(a). Generally, in local holomorphic coordinates
z1,…,zp for \mathchar261 such that z2=…=zp=0
on the intersection of \mathchar259 with the coordinate domain, the
complex partial derivatives of the components of \mathchar265 (relative to any
local holomorphic coordinates in M) all clearly exist: for
∂/∂z1 this follows from the case p=1.
Remark 3.6**.**
As usual, we call a differential 2-form
ω on a complex manifold positive if it equals the
Kähler form g(J⋅,⋅) of some Kähler metric
g. This amounts to requiring closedness of ω along with
symmetry and positive definiteness of the twice-covariant tensor field
−ω(J⋅,⋅).
In any complex manifold, dω=0 and
ω(J⋅,⋅) symmetric whenever
ω=i∂∂f or, equivalently,
2ω=−d[J∗df] for a
real-valued function f, with the 1-form
J∗df, also denoted by (df)J,
which sends any tangent vector field v to dJvif.
Clearly,
[TABLE]
if f is a C∞ function of a function χ on the same
manifold (cf. Remark 1.3). The exterior-derivative and
exterior-product conventions used here, for any 1-forms
ι,κ and vector fields u,v, are
(dκ)(u,v)=du[κ(v)]−dv[κ(u)]−κ([u,v]) and
(ι∧κ)(u,v)=ι(u)κ(v)−ι(v)κ(u). When, in
addition, v is real-holomorphic, one has
[TABLE]
See [5, Lemma 2]; the Kähler metric used in
[5] always exists locally.
Remark 3.7**.**
For the real part ⟨,⟩ of a Hermitian
inner product in a finite -dimensional complex
vector space N, let ρ:N→[0,∞) and
V be the norm function and complex
radial distribution on N∖{0}, so that
ρ(ξ)=⟨ξ,ξ⟩1/2 and
\,\mathcal{V}\hskip-1.5pt_{\xi}^{\phantom{i}}\hskip-0.7pt=\mathrm{Span}_{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}^{\phantom{i}}(\xi).
(a)
dρ2 is obviously given by
ξ↦2⟨ξ,⋅⟩.
2. (b)
i∂∂ρ2 coincides with
twice the Kähler form ⟨J⋅,⋅⟩ of the
constant metric ⟨,⟩.
3. (c)
dρ2∧J∗dρ2, on
N∖{0}, equals −4ρ2 times the restriction of
⟨J⋅,⋅⟩ to V.
In fact, (b) – (c) are immediate from (a) and Remark 3.6.
Remark 3.8**.**
Let π:M→B be a surjective submersion
between manifolds.
(a)
If the preimages π−1(y), y∈B, are
all compact, then π can be factored as M→\mathchar261→B, with
a bundle projection M→\mathchar261 having compact (connected) fibres, and
a finite covering projection \mathchar261→B.
2. (b)
In the case where dimB=dim\mathchar261 and M is
compact, π must necessarily be a (finite) covering projection.
Namely, (a) is a well-known fact, easily verified using parallel transports
corresponding to a fixed vector subbundle H of
TM for which TM=V⊕H
cf. [10, Remark 1.1], or derived as in
Remark 3.3, since the foliation with the leaves π−1(y)
has trivial holonomy. Part (b) – in which the dimension equality means
that π is locally-diffeomorphic – easily follows from (a).
Remark 3.9**.**
For a Kähler manifold (\mathchar261,h) with
\,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\mathchar 261\relax=l, any holomorphic mapping
\,F:{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}\hskip 0.4pt^{l}\hskip-0.7pt\to\mathchar 261\relax\, such that F∗h is a positive constant
multiple of the Fubini-Study metric on \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}\hskip 0.4pt^{l} (cf. Remark 5.4) must be a biholomorphism.
In fact, F is then a covering projection (Remark 3.8(b)) and our
claim follows since, due to a result of Kobayashi [12],
\mathchar261 has to be simply connected.
4. Geodesic -gradient Kähler
triples
Given a manifold M endowed with a fixed connection ∇, we
refer to a vector field v on M as geodesic if the
integral curves of v are reparametrized
∇-geodesics. Equivalently, for some function ψ on
the open set M′⊆M on which v=0,
[TABLE]
A function τι on a Riemannian manifold (M,g) is said to
have a geodesic gradient if its gradient v is a geodesic
vector field relative to the Levi-Civita connection ∇.
Functions with geodesic gradients are also called transnormal
[20, 17, 2].
Lemma 4.1**.**
For a function τι on a Riemannian manifold (M,g), the
gradient of τι is a geodesic vector field if and only if
Q=g(∇τι,∇τι) is, locally in M′, a function of τι.
Proof.
By (1.6), condition (4.1) is equivalent to
dQ∧dτι=0.
∎
Definition 4.2**.**
A geodesic-gradient
Kähler triple (M,g,τι) consists of any Kähler manifold
(M,g) and a nonconstant real-valued function τι on M
such that the g-gradient v=∇τι is both geodesic and
real-holomorphic.
Speaking of compactness of (M,g,τι), or its dimension, we always mean those of the underlying complex manifold
M, and we call two such triples
(M,g,τι),(M^,g^,τι^) isomorphic if
τι=τι^∘\mathchar264 and g=\mathchar264∗g^ for some
biholomorphism \mathchar264:M→M^.
For (M,g,τι) as above, whenever the extrema of τι exist, we
will also consider
[TABLE]
Remark 4.3**.**
A geodesic -gradient
Kähler triple (M,g,τι) can be trivially modified to
yield (M,g,pτι+q), with any real constants p=0 and q.
(Clearly, \mathchar262± in (4.2) then become switched if p<0.) Any
such (M,g,τι) and any complex submanifold \mathchar261 of
M, tangent to v=∇τι (that is, forming a union of integral
curves of v), and not contained in a single level set of τι,
give rise (cf. Remark 1.2) to the new
geodesic -gradient Kähler triple
(\mathchar261,g′,τι′), where g′,τι′ are the restrictions of g
and τι to \mathchar261.
As shown next, geodesic -gradient Kähler triples
naturally arise from suitable cohomogeneity-one isometry groups.
Lemma 4.4**.**
Let a connected Lie group G acting by holomorphic isometries on
a Kähler manifold (M,g), and having some orbits of real
codimension 1, preserve a nontrivial holomorphic Killing
field u with zeros. If H1(M,IR)={0}, then
(M,g,τι) is a geodesic-gradient Kähler triple and
u=J(∇τι) for some G-invariant function τι on
M.
Proof.
Since H1(M,IR)={0}, (3.6) implies both the
existence of a function τι with u=J(∇τι), and the fact that its
gradient v=∇τι=−Ju is holomorphic. Thus, elements of G
preserve τι up to additive constants. Let \mathchar262 now be a fixed
connected component of the zero set of u, so that G, being connected,
leaves \mathchar262 invariant, while τι is constant on \mathchar262 (cf. Remark 3.1). The additive constants just mentioned are therefore equal
to 0. Due to their G-invariance, the functions τι and
Q=g(∇τι,∇τι) are constant along codimension-one orbits of
G and, consequently, functionally dependent. (Note that the union of
such orbits is dense in M.) Consequently, by Lemma 4.1, the
gradient v=∇τι is a geodesic vector field.
∎
Remark 4.5**.**
The assumptions about triviality of
H1(M,IR) and holomorphicity of u in
Lemma 4.4 are well-known to be redundant when M is compact
[14, p. 95, Corollary 4.5]; see also [6, formula (A.2c) and
Theorem A.1].
The following fact will be used in the proof of Theorem 10.1.
Lemma 4.6**.**
If a vector field w on a Riemannian manifold (M,g) is
orthogonal to a geodesic gradient v and commutes with v, then
w is a Jacobi field along every integral curve of v/∣v∣ in
the set M′ where v=0.
Proof.
Fix τι:M→IR with v=∇τι. For
Q=g(v,v):M→IR, (1.6) and (4.1) give
dQ∧dτι=0, so that ∣v∣ is, locally in M′, a
C∞ function of τι (cf. Remark 1.3). As
£wiτι=0 due to the orthogonality assumption, and
£wiv=0, we now have £wi(v/∣v∣)=0 on M′. The
local flow of w, applied to any integral curve of v/∣v∣, thus yields a
variation of unit-speed geodesics, and our claim follows.
∎
Remark 4.7**.**
A compact geodesic -gradient Kähler
triple of complex dimension 1 is essentially, up to isomorphisms,
nothing else than the sphere S2 with a rotationally invariant metric. In
fact, necessity of rotational invariance is due to (3.6), while its
sufficiency follows from Lemma 4.4 with G=S1, for the sphere
treated as \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{1} with a Kähler metric. (Once the S1 action is
chosen, the required function τι becomes unique up to trivial
modifications, cf. Remark 4.3.)
5. Examples: Grassmannian and CP triples
In this section vector spaces are complex (except for
Remark 5.7) and finite -dimensional. By
k-planes in a vector space V we mean
k-dimensional vector subspaces of V.
When k=1, they will also be called lines in V.
Given a vector space V and \,k\in\{0,1,\dots,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-1.5pt\mathsf{V}\}, the
Grassmannian GrkiV is the set of all
k-planes in V. Each GrkiV naturally
forms a compact complex manifold (see Remark 5.5), and
PV=G1iV is the projective space of
V, provided that \,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-1.5pt\mathsf{V}>0. We will use the standard
identification
[TABLE]
of \,\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\mathsf{V})\, with the disjoint union of an open
subset biholomorphic to V and a complex submanifold
biholomorphic to PV via the biholomorphism
sending v∈V, or the line \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}v\, spanned by
v∈V∖{0}, to the line \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}(1,v)\, or, respectively,
\,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}(0,v). The projectivization of a holomorphic vector
bundle N over a complex manifold \mathchar262 is, as usual, the
holomorphic bundle PN of complex projective spaces
over \mathchar262 with
[TABLE]
For a subspace L of a vector space V such that
\,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-1.5pt\mathsf{V}\geq 2, let G be the group of all
complex-linear automorphisms of V preserving both
L and a fixed Hermitian inner product in V. We now
define a compact complex manifold M by
[TABLE]
Then the hypotheses, and hence conclusions, of Lemma 4.4 are
satisfied by these M,G, any G-invariant
Kähler metric g on M, and some u. Specifically,
u is a vector field arising from the central circle subgroup S1 of
G formed by all unimodular elements of G acting in both
L,L⊥ as multiples of Id. See the remarks below.
The triples (M,g,τι) arising via Lemma 4.4 in cases
(5.3.i) and (5.3.ii) will from now on be called Grassmannian triples and, respectively, CP triples.
Since G as above contains all unit complex multiples of Id,
its action on M is not effective. Lemma 4.4
does not require effectiveness of the action.
Remark 5.1**.**
The cohomogeneity-one assumption of
Lemma 4.4 follows here from the fact that the orbits of G
coincide with the levels of a nonconstant real-analytic function
f:M→IR. Specifically, in case (5.3.i),
f(W)=∣pr(X,W)∣2, where
[TABLE]
and X is some /any unit vector spanning L, which yields
G-invariance of f. Conversely, if
W,W~∈M and f(W)=f(W~), an element of G
sending W to W~ is provided by any linear isometry
mapping the quadruple
W,W⊥,pr(X,W),pr(X,W⊥)
onto W~,W~⊥,pr(X,W~),pr(X,W~⊥). (Such an isometry will preserve
X=pr(X,W)+pr(X,W⊥).) In case
(5.3.ii) we may use f given by
f(W)=∣pr(YWi,L)∣2, with
YWi standing for some /any unit vector that spans
the line W.
Remark 5.2**.**
For a Grassmannian or CP triple
(M,g,τι), critical points of τι, that is, the zeros of u
or, equivalently, the fixed points of the central circle subgroup S1
mentioned above, form the disjoint union of two (connected) compact complex
submanifolds, which – since τι is clearly constant on either of
them – must be the same as \mathchar262± in (4.2). With ≈
denoting biholomorphic equivalence, these \mathchar262± are
[TABLE]
where (5.5.a) – (5.5.b) correspond to (5.3.i), and
(5.5.c) – (5.5.d) to (5.3.ii). In fact, each of the four
sets clearly consists of fixed points of S1. Conversely, suppose that
W∈M does not lie in the union of the sets (5.5.a) –
(5.5.b) (or, (5.5.c) – (5.5.d)), and
\mathchar260∈S1∖{Id,−Id}. Then
\mathchar260(W)=W. Namely, if \mathchar260 preserved W, the
equalities \mathchar260(L)=L and
\mathchar260(L⊥)=L⊥, along with
\mathchar260(W)=W and \mathchar260(W⊥)=W⊥, would imply
analogous equalities for the lines spanned by
pr(X,W),pr(X,W⊥) (case
(5.3.i)), or by
pr(X,L),pr(X,L⊥)
(case (5.3.ii)), cf. (5.4), X being any unit vector in the
line L (or, respectively, in the line W). In either case, the
plane K spanned by the two \mathchar260-invariant lines would
contain a third such line, in the form of L (or, respectively,
W). Thus, \mathchar260 restricted to K would be a multiple of
Id, leading to a contradiction: in both cases, K contains
nonzero vectors from L and from L⊥, which
are eigenvectors of \mathchar260 for two distinct eigenvalues.
Remark 5.3**.**
All compact geodesic -gradient
Kähler triples of complex dimension 1 are obviously isomorphic to CP
triples constructed from the data (5.3.ii) with m=2 and
\,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathsf{L}=1. See Remark 4.7.
Remark 5.4**.**
Given the real part ⟨,⟩ of a Hermitian
inner product in a vector space V, the Fubini-Study
metric on PV associated with ⟨,⟩ is, as usual,
uniquely characterized by requiring that the restriction of the projection
\,\xi\mapsto{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi\, to the unit sphere of ⟨,⟩ be a Riemannian
submersion. Another such real part ⟨,⟩′ yields the same
Fubini-Study metric as ⟨,⟩ only if ⟨,⟩′ is a constant
multiple of ⟨,⟩. In fact, a C-linear automorphism of
V taking ⟨,⟩ to ⟨,⟩′ descends to an isometry
PV→PV and hence equals a
⟨,⟩-unitary automorphism of V followed by
reiθ times Id for some r,θ∈IR,
which gives ⟨,⟩=r⟨,⟩′.
Remark 5.5**.**
Given a vector space V and
\,k\in\{1,\dots,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-1.5pt\mathsf{V}\}, we denote by StkiV
and π:StkiV→GrkiV
the Stiefel manifold of all linearly independent ordered k-tuples of
vectors in V (forming an open submanifolds of the
kth Cartesian power of V) and, respectively, the projection
mapping sending each e∈StkiV to
π(e)=Span(e). Then
GrkiV has a unique structure of a compact complex
manifold of complex dimension (n−k)k, where \,n=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-1.5pt\mathsf{V}\hskip-0.7pt, such
that π is a holomorphic submersion.
Remark 5.6**.**
We will use the canonical
isomorphic identification
[TABLE]
for the tangent space of the complex manifold GrkiV
at any k-plane W, where Hom means ‘the space of
linear operators’ and V is any vector space.
Namely, let StkiV and
π:StkiV→GrkiV be as in
Remark 5.5. Under the identification (5.6),
H∈Hom(W,V/W) corresponds to
dπei(H~e)∈TWi[GrkiV] for any linear
lift H~:W→V of H and any basis
e of W which, clearly, does not depend on how such
H~ and e were chosen.
Remark 5.7**.**
Given a real (or, complex) manifold U and
real (or, complex) vector spaces T,Y, let
F:U→Hom(T,Y) be a C∞ (or,
holomorphic) mapping giving rise to a constant function
U∋ξ↦rankF(ξ) or, equivalently,
leading to the same value of k=dimKerF(ξ)
for all ξ∈U. Then the mapping
[TABLE]
is of class C∞ (or, holomorphic) and its differential
TξiU→Hom(W,T/W)
at any ξ∈U, with W=KerF(ξ), cf. (5.6), sends η∈TξiU to the unique
H:W→T/W having a linear lift
H~:W→T such that
[TABLE]
Here dFξi:TξiU→Hom(T,Y), so that F(ξ) and
dFξiη are linear operators
T→Y.
In fact, let ‘regular’ mean C∞ or holomorphic. Given
ξ∈U, we may select a subspace V of T so that
T=V⊕W, where
W=KerF(ξ). For all η near ξ
in U, the restriction of F(η) to V is clearly an
isomorphism onto the image of F(η). Denoting by
Fη−1 its inverse isomorphism, we see that
Fη−1∘F(η) and prηi=Id−Fη−1∘F(η) coincide with the
direct-sum projections of
T=V⊕KerF(η) onto V and
KerF(η). A fixed basis e1i,…,eki of
W thus gives rise to the basis
prηie1i,…,prηieki of any
such KerF(η), depending regularly on η,
which constitutes a regular local lift of (5.7) valued in the Stiefel
manifold StkiT (see Remark 5.5), proving
regularity of (5.7).
Replacing our ξ with ξ(0) for a curve
t↦ξ(t)∈U, and letting e1i(0),…,eki(0) be a fixed
basis of W=KerF(ξ(0)), we set
eji(t)=prξ(t)i[eji(0)] and
η(t)=ξ˙(t). Suppressing from the notation the dependence on t,
one thus gets [F(ξ)]eji=0 and, by differentiation,
[dFξiη]eji+[F(ξ)]e˙ji=0. The operators
P~=P~(t):KerF(ξ)→V defined by
P~eji=e˙ji, j=1,…,k, yield (5.8) at
t=0 for P~ instead of H~. On the other hand,
e=e(t) with
e=(e1i,…,eki) is a regular lift of
KerF(ξ(t)) to StkiT,
showing that dπei(P~e)=dπeie˙ is the image of η=ξ˙
under the differential of (5.7) at ξ=ξ(t). This equality, at
t=0, uniquely determines P:W→T/W for which
our P~:W→T is a linear lift realizing
the image just mentioned as in the final paragraph of Remark 5.6),
so that P=H, and our claim follows.
6. Some relevant types of data
We will repeatedly consider quadruples τι−i,τι+i,a,Q formed by
[TABLE]
∓ being the opposite sign of ±. As explained below, we may then
also choose
[TABLE]
a function (0,∞)∋ρ↦f∈IR, unique up to an additive
constant, with
[TABLE]
and the unique increasing diffeomorphism
(0,∞)∋ρ↦σ∈(0,δ) such that
[TABLE]
the inverse of τι↦ρ in (6.2) being used to treat
τι,Q as functions of ρ, for
[TABLE]
In fact, one easily verifies that τι↦ρ and
ρ↦σ with the stated properties exist, while δ is
finite. See [8, Remark 5.1],
[6, Theorem 10.2(iii)], [6, p. 1661].
Lemma 6.1**.**
Any f satisfying (6.3) has a C∞ extension
to [0,∞), which is also a C∞ function of
ρ2∈[0,∞) in a sense analogous to
Remark 1.3. The first and second derivatives of
f with respect to ρ2 obviously are
∣τι−τι±i∣/(aρ2) and
(Q−2a∣τι−τι±i∣)/(2a2ρ4).
Proof.
Since
aρ2df/dρ2=∣τι−τι±i∣, it clearly
suffices to establish C∞-extensibility of
ρ2↦(τι−τι±i)/ρ2 to [0,∞). To this end,
note that, according to
[8, top line on p. 83 and Remark 4.3(ii)],
(τι−τι±i)/ρ2 (or, Q/ρ2) may be extended to a C∞
function of τι∈[τι−i,τι+i]∖{τι∓i} (or, of
ρ2∈[0,∞)) with a nonzero value at τι±i (or,
respectively, at 0). However, by (6.2),
2adτι/dρ2=∓Q/ρ2, so that the variables
τι and ρ2 just mentioned depend diffeomorphically on
each other.
∎
Remark 6.2**.**
It is the limit condition in (6.4) that makes
σ unique; by contrast, ρ with (6.2) is only unique up
to a positive constant factor.
Remark 6.3**.**
In (6.2), the increasing function
∓ρ of the variable τι clearly tends to 0 as
τι→τι±i, and to ∞ as τι→τι∓i.
Remark 6.4**.**
The composite
(0,δ)∋σ↦ρ↦τι∈(τι−i,τι+i) of the inverses of
the above two diffeomorphisms is the unique solution of the autonomous
equation dτι/dσ=∓Q1/2, with the sign ±
fixed as in (6.2), such that τι→τι±i as σ→0. (We say
‘autonomous’ since (6.1) makes Q a function of τι.) In fact,
any two solutions of the equivalent equation
dσ/dτι=∓Q−1/2 differ by a constant.
Remark 6.5**.**
With (6.1) – (6.3) fixed as above,
suppose that ρ simultaneously denotes a positive function on a complex
manifold M′, which also turns f into a function
M′→IR. Now (3.7) for χ=ρ2 and the formulae in
Lemma 6.1 give
[TABLE]
Remark 6.6**.**
If a C∞ function
τι↦ζ(τι) on an interval I having an endpoint c
vanishes at c, then ζ(τι)=(τι−c)χ(τι) for a C∞
function χ on I equal, at c, to the derivative
ζ′ of ζ. This is the Taylor formula, with
χ(τι)=∫01ζ′(c+s(τι−c))ds.
Remark 6.7**.**
Given a C∞ function
t↦γ(t) on an interval I having the endpoint 0
such that (γ(0),γ˙(0))=(0,1), where
()o˙=d/dt, and γ>0 on
t∈I∖{0}, there exists a C∞
function θ:I→IR, unique up to multiplications by positive
constants, for which θ˙>0 and
γθ˙=θ everywhere in I, while
θ(0)=0. Namely, Remark 6.6 implies that some C∞
functions β (without zeros) and α on I satisfy the
conditions γ(t)=t/β(t) and β(t)=1+tα˙(t). Thus,
1/γ(t)=α˙(t)+1/t has the antiderivative
t↦α(t)+log∣t∣ on
t∈I∖{0}, and we may set
θ(t)=teα(t).
7. The Chern connection
Let ⟨,⟩ be the real part of a Hermitian
fibre metric in a holomorphic complex vector bundle N over a
complex manifold \mathchar262. The Chern connection of ⟨,⟩, also
called its Hermitian connection, is the unique connection
D in N which makes ⟨,⟩ parallel and satisfies the
condition D0,1=∂, meaning that, for any
section ξ of N, the complex-antilinear part of the
real vector-bundle morphism Dξ:T\mathchar262→N equals
∂ξ, the image of ξ under the Cauchy-Riemann operator.
Cf. [13, Sect. 1.4].
The following five properties of the Chern connection D are
well known – (e) is obvious; for (a) – (d) see [1, p. 32],
[13, Propositions 1.3.5, 1.7.19 and 1.4.18].
(a)
D depends on N and ⟨,⟩ functorially
with respect to all natural operations, including Hom, direct
sums, and pullbacks under holomorphic mappings.
2. (b)
RD(Jw,Jw′)=RD(w,w′), with the notation of (1.2) and
(3.1), where w,w′,RD are any vector fields on
\mathchar262 and, respectively, the curvature tensor of D.
3. (c)
D is the Levi-Civita connection of
⟨,⟩ if N=T\mathchar262 and ⟨,⟩ is a Kähler metric.
4. (d)
D coincides with the normal connection in the
normal bundle N\mathchar262 for any totally geodesic complex
submanifold \mathchar262 a Kähler manifold (M,g) and the
Riemannian fibre metric ⟨,⟩ in N induced by g. (In addition,
it follows then that N must be a holomorphic subbundle of
TM.)
5. (e)
D-parallel sections of N are
holomorphic.
Any given local holomorphic coordinates zλ in \mathchar262 and
local holomorphic trivializing sections ebi for N,
on the same domain, associate with the Hermitian fibre metric
(,) having the real part ⟨,⟩, sections
ξ of N, and any connection D, their component
functions γbcˉi=(ebi,ecbi) and
ξb,\mathchar266μbc,\mathchar266μˉbc, the latter characterized by
ξ=ξbebi, as well as Dλiebi=\mathchar266λbcecbi
and Dμˉiebi=\mathchar266μˉbcecbi.
Here Dλi and Dμˉi denote the
D-covariant differentiations in the direction od the
complexified coordinate vector fields
∂λi=∂/∂zλ and
∂μˉi=∂/∂zˉμˉ, repeated
indices are summed over and, with
zˉμˉ,γˉcˉbi and
ηˉcˉ standing for the complex conjugates of
zμ,γcbˉi and ηc, Hermitian symmetry of
(,) amounts to
γbcˉi=γcˉbi, while
(ξ,η)=γbcˉiξbηcˉ whenever
ξ,η are sections of N.
The real coordinate vector fields corresponding to the real coordinates
Rezμ,Imzμ then are
∂μi+∂μˉjj,i(∂μi−∂μˉjj), and so, given a
complexified vector field v=vμ∂μi+vμˉ∂μˉjj,
[TABLE]
For a connection D to make (,)
parallel it is clearly necessary and sufficient that
∂μiγbcˉi=\mathchar266μbeγecˉi+\mathchar266μcˉeˉγbeˉi
and ∂μˉiγbcˉi=\mathchar266μˉbeγecˉi+\mathchar266μˉcˉeˉγbeˉi, where
\mathchar266μcˉeˉ and
\mathchar266μˉcˉeˉ are defined to be the
complex conjugates of \mathchar266μˉce and
\mathchar266μce. On the other hand, the
condition D0,1=∂ is obviously equivalent to
Dμˉiebi=0, that is,
\mathchar266μˉbc=0. Existence and uniqueness of
the Chern connection D now follow, its component functions being
[TABLE]
Consequently, the Chern connection D has the curvature
components
[TABLE]
(which implies (b) above). Here Rλμˉbcˉi=(RD(∂λi,∂μˉi)ebi,ecbi), and analogously for the other three
pairs μˉλ,λμ,λˉμˉ of indices. We
obtain (7.3) from (1.1) via differentiation by parts, noting that
[∂λi,∂μi]=[∂λi,∂μˉi]=0 while, by (7.2),
Dμˉiebi=0
and
(Dλiebi,ecbi)=∂λiγbcˉi. For instance,
Rλμˉbcˉi=(DμˉiDλiebi,ecbi)=∂μˉi(Dλiebi,ecbi)−(Dλiebi,Dμiecbi)=∂μˉi∂λiγbcˉi−\mathchar266λbd∂μˉiγcˉdi. Similarly,
(DμiDλiebi,ecbi)=∂μi(Dλiebi,ecbi)−(Dλiebi,Dμˉiecbi) equals
∂μi(Dλiebi,ecbi)=∂μi∂λiγbcˉi, which is symmetric in
λ,μ (and so Rλμbcˉi=0).
Let f:\mathchar262→IR. With the notational conventions of Remark 3.6,
[TABLE]
as df=[∂λif]dzλ+[∂μˉif]dzˉμˉ and, in the case where
f=zλ (or, f=zˉμˉ), the complex-valued
1-form J∗df=(df)J equals
idzλ or, respectively, −idzˉμˉ.
Equivalently,
[TABLE]
Thus, by (7.4) and (7.1), for
ω=i∂∂f and any real vector
fields v,u on \mathchar262,
[TABLE]
Lemma 7.1**.**
With π:N→\mathchar262 and ρ:N→[0,∞) denoting
the bundle projection and the norm function of ⟨,⟩, for
N,\mathchar262,⟨,⟩ as above, the Chern connection D of
⟨,⟩ and the 2-form
ω=i∂∂ρ2 satisfy the following
conditions.
(i)
The horizontal distribution of D constitutes
a complex vector subbundle of TN, and is
ω-orthogonal, in an obvious sense, to the vertical
distribution Kerdπ.
2. (ii)
Part (b) of Remark 3.7 describes
ω restricted to any fibre Nyi of
N, where y∈\mathchar262.
3. (iii)
Whenever x=(y,ξ)∈N, cf. Remark 1.5, the restriction of ωxi to the
horizontal space of D at x equals the
dπxi-pullback of the 2-form
⟨RyD(⋅,⋅)ξ,iξ⟩ at
y∈\mathchar262.
4. (iv)
The Chern connection D^ of
eθ⟨,⟩, for any function θ:\mathchar262→IR, is related
to D by D^=D+(∂θ)⊗Id, so that
\mathchar266^μˉbc=0 and
\mathchar266^λbc=\mathchar266λbc+δbc∂λiθ. Also,
\,\widehat{v}_{x}^{\phantom{i}}\hskip-0.7pt\in\mathrm{Span}_{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}^{\phantom{i}}(\widetilde{v}_{x}^{\phantom{i}},\xi),
where vxi and vxi denote the
D-horizontal and
D^-horizontal lifts of any v∈Tyi\mathchar262 to
x=(y,ξ)∈N.111
Proof.
In terms of complexified coordinate vector fields
∂λi,∂μˉi in \mathchar262 and their analogs
∂λi,∂μˉi,∂bi,∂cˉi corresponding to the local holomorphic
coordinates zλ,ξb in N, the
D-horizontal lifts
∂λi,∂μˉi of the
former are given by
[TABLE]
Since J∂λi=i∂λi and
J∂μˉi=−i∂μˉi, (7.7) implies
complex-linearity of the D-horizontal lift
operation relative to the complex-structure tensors J, proving the
first part of (i). Assertion (ii) is in turn obvious from naturality of the
operator i∂∂.
Next, applying (7.5) to f=ρ2 and the coordinates
zλ,ξb rather than just zλ, we obtain
ω(∂λi,∂μˉi)=ξbξcˉ∂λi∂μˉiγbcˉi,
ω(∂ei,∂μˉi)=ξcˉ∂μˉiγecˉi,
ω(∂cˉi,∂μˉi)=ω(∂cˉi,∂eˉi)=0,
ω(∂λi,∂cˉi)=ξb∂λiγbcˉi, and
ω(∂bi,∂cˉi)=γbcˉi. Thus,
ω(∂λi,∂cˉi)=0 by
(7.2), which amounts to the remaining claim in (i); similarly,
(7.7) and (7.3) yield
ω(∂λi,∂μˉi)=ξbξcˉ(∂λi∂μˉiγbcˉi−\mathchar266λbe∂μˉiγecˉi)=ξbξcˉRλμˉbcˉi. Now (iii) follows: for the
D-horizontal lifts v,u of
any real vectors v,u∈Tyi\mathchar262, (7.5) – (7.6) and the last
equality give
ωxi(v,u)=2Im(vλuμˉRλμˉbcˉiξbξcˉ), while
at the same time (RyD(v,u)ξ,iξ) is
imaginary, and so
⟨RyD(v,u)ξ,iξ⟩=Im(RyD(v,u)ξ,iξ)=(RyD(v,u)ξ,iξ)=ξbξcˉ(RyD(v,u)ebi,ecbi)
which, analogously, equals 2Im(vλuμˉRλμˉbcˉiξbξcˉ).
Finally, (7.2) and (7.7) imply (iv).
∎
8. Examples: Vector bundles
The geodesic -gradient Kähler triples
constructed in this section are all noncompact. What makes them relevant is
the fact that some of them serve as universal building blocks for compact
geodesic -gradient Kähler triples. (See
Theorem 14.2.)
We begin with data \mathchar262,h,N,⟨,⟩,τι−i,τι+i,a,Q,±,τι↦ρ and
ρ↦f consisting of
(i)
the real part ⟨,⟩ of a Hermitian fibre metric
in a holomorphic complex vector bundle N of positive fibre
dimension over a Kähler manifold (\mathchar262,h),
2. (ii)
some objects τι−i,τι+i,a,Q,±,τι↦ρ and
ρ↦f satisfying (6.1) – (6.3).
Letting π:N→\mathchar262 stand for the bundle projection, D
for the Chern connection of ⟨,⟩ (see Section 7), and ρ
both for the variable in (ii) and for the norm function
N→[0,∞), we use the inverse mapping of τι↦ρ,
cf. (6.2), to
[TABLE]
Denoting by J^ (rather than J) the complex-structure tensor
of N, we define a Kähler metric g^ on N by
requiring the Kähler forms ω^=g^(J^⋅,⋅)
and ωh=h(J⋅,⋅) to be related by
ω^=π\vrulewidth=1.0pt,height=2.7pt,depth=0.0pt∗ωh+i∂∂f^, which amounts to
[TABLE]
As ω^ should be positive (Remark 3.6), it is necessary
to assume here that
[TABLE]
The above construction uses the objects (i) – (ii) with (8.3), and
leads to what is shown below (Theorem 8.1) to be a
geodesic -gradient Kähler triple
(N,g^,τι^).
It is convenient, however, to provide the following equivalent, though less
concise, description of g^ and J^ restricted to the
complement N′=N∖\mathchar262 of the zero section in
N. It uses the complex direct-sum decomposition
[TABLE]
in which H^∙ is the horizontal distribution of
D and
V^⊕H^∓=Kerdπ equals the vertical distribution, with the
summands V^ and H^∓ forming, on
each punctured fibre Nyi∖{0}, the complex
radial distribution (Remark 3.7) and, respectively, its
⟨,⟩-orthogonal complement in
Nyi∖{0}. (The word ‘complex’ preceding
(8.4) is justified by Lemma 7.1(i).) To describe g^
and J^, we declare that the three summands of (8.4) are
J^-invariant and mutually g^-orthogonal, that
J^ restricted to V^ agrees, along each
punctured fibre Nyi∖{0}, with its standard
complex-structure tensor of the complex vector space
Nyi, that the differential of π at every
(y,ξ)∈Nyi∖{0}, cf. Remark 1.5,
maps H(y,ξ)i complex-linearly onto Tyi\mathchar262
and, with the constant a∈(0,∞) and function τι^
appearing in (i) and (8.1),
[TABLE]
at any x=(y,ξ)∈Nyi∖{0}, where
w,w′ are any two vectors in Tyi\mathchar262, and wxi,wxi′
denote their D-horizontal lifts to x. The
vertical vector fields v^,u^ with
[TABLE]
allow us to characterize the restrictions of g^ and J^ to
V^=Span(v^,u^) by
[TABLE]
Note that the symmetry of
g^xi(wxi,wxi′) in
wxi,wxi′ reflects (b) in Section 7.
Lemma 7.1 easily implies that the definition (8.5) of g^
is actually equivalent to (8.2), while condition (8.3) is nothing
else than positivity of the right-hand side in (8.5.c) whenever
w=w′=0.
Theorem 8.1**.**
For any data (i) – (ii) with (8.3), let us define
g^,τι^ by (8.1) – (8.2).
(a)
(N,g,τι)* is a geodesic-gradient Kähler
triple.*
2. (b)
The fibres Nyi=π−1(y),
y∈\mathchar262, are totally geodesic complex submanifolds of
(N,g).
3. (c)
The zero section \mathchar262⊆N coincides with
\mathchar262±, the τι±i level set of τι.
4. (d)
The g^-gradient
v^=∇^τι^ and
S^=∇^v^ satisfy (8.6) –
(8.7) and the equality
The v^-directional derivatives of the norm squared
ρ2 and of ρ are, obviously, ∓2aρ2 and
∓aρ. As dτι/dρ=∓Q/(aρ) in (6.2), we see using (8.1) and (8.7) that
(e)
Q^=g^(v^,v^) equals the
v^-directional derivative
g^(v^,∇^τι^) of τι^.
Furthermore, D-parallel transports preserve the real
fibre metric ⟨,⟩. Therefore,
(f)
ρ,τι^ and Q^ are constant along every
D-horizontal curve in N,
due to (ii) and (8.1). The equality
v^=∇^τι^ now follows:
V^=Span(v^,u^), and τι^
is a function of the norm ρ, so that
v^−∇^τι^ is g^-orthogonal to
H^∙,H^±,u^ and
v^ by (f), (8.5.a), (8.7), and (e). Also, (8.6)
clearly gives holomorphicity of v^, while closedness and
positivity of the form
g^(J^⋅,⋅)=π\vrulewidth=1.0pt,height=2.7pt,depth=0.0pt∗ωh+i∂∂f^ imply that g^ is a
Kähler metric, and τι^ has a geodesic g^-gradient
v^, its g^-norm squared Q^ being a function of
τι^, cf. (8.1) and Lemma 4.1. We have thus proved (a).
Next, Remark 6.3 yields (c).
The π-projectable local sections of
H^∙ are precisely the same as the
D-horizontal lifts of local vector fields tangent to
\mathchar262, and their local flows act as D-parallel
transports between the fibres. As the the submanifold metrics of the
fibres are defined by (8.5.a) – (8.5.b), this last action
consists – by (f) – of isometries which, being linear, also preserve the
vertical vector field v^ with (8.6). Hence
(g)
v^ commutes with all local
D-horizontal lifts w,
and, at the same time, applying Remark 2.5 to any such w=0 we
obtain (b).
Finally, by (g) and Remark 1.1, the left-hand side of (8.8)
equals the v^-directional derivative of the right-hand side in
(8.5.c). To evaluate the latter, note that only the factor
−∣τι^(x)−τι±i∣=±(τι^(x)−τι±i) in the second term
needs to be differentiated, as the first term and the remaining factor of the
second one are constant along v^ (due to constancy along
v^ of ξ/ρ=ξ/∣ξ∣, obvious from (8.6)).
Now (e) implies (8.8), completing the proof.
∎
A special Kähler-Ricci potential
[8] on a Kähler manifold (M,g) is any
nonconstant function τι:M→IR such that v=∇τι is
real-holomorphic, while, at points where v=0, all nonzero vectors
orthogonal to v and Jv are eigenvectors of both
∇v and the Ricci tensor, with
∇v:TM→TM as in (1.2). We then call
(M,g,τι) an SKRP triple. All SKRP triples (M,g,τι)
are geodesic -gradient Kähler triples, due to
their easily-verified property
[7, Remark 7.1] that v=∇τι, wherever nonzero,
is an eigenvector of ∇v. Cf. (4.1).
Compact SKRP triples (M,g,τι) have been classified in
[8, Theorem 16.3]. They are divided into Class 1, in
which M is the total space of a holomorphic \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{1} bundle,
and Class 2, with M biholomorphic to \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{m} for
\,m=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptM\hskip-0.7pt.
Lemma 8.2**.**
Up to isomorphisms, in the sense of Definition 4.2, compact
SKRP triples of Class 2 are the same as CP triples constructed using
(5.3.ii) with \,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathsf{L}=1\hskip 0.4pt.
Proof.
See [8, Remark 6.2]. (Note that the
case \,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathsf{L}=m-1\, in (5.3.ii) obviously leads to the same
isomorphism type.)
∎
In (i) above, \,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-1.5pt\mathchar 262\relax\geq 0, which allows the possibility of a
one -point base manifold \mathchar262={y}, so that, as a complex manifold,
N is a complex vector space, namely, the fibre
Nyi. According to
[8, pp. 85-86], under the standard identification
(5.1) for V=Nyi, both g^ and τι^
then can be extended to the projective space
\,\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}), giving rise to a Class 2
SKRP triple (M,g^,τι^), where
\,M=\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}).
Lemma 8.3**.**
The SKRP triples (M,g,τι) just mentioned, with
\,M=\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}), represent all
isomorphism types of compact SKRP triples of Class 2. Such types include all
compact geodesic -gradient Kähler triples of
complex dimension 1.
Proof.
For the first part, see
[8, Remark 6.2]. The final clause is in turn
immediate from Remark 5.3 and Lemma 8.2.
∎
Remark 8.4**.**
As a consequence of the second part of
Remark 4.3, for (N,g,τι) as in Theorem 8.1, every
fibre Nyi is the underlying complex manifold of a
geodesic-gradient Kähler triple, realizing a special case of
Theorem 8.1: that of a one -point base manifold {y}. Its
projective compactification
\,\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\, constitutes, for
reasons mentioned above, the underlying complex manifold of an SKRP triple of
Class 2. The resulting submanifold metric on the complement of
Nyi in
\,\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\, (that is, on the
projective hyperplane at infinity, identified via (5.1) with
PNyi) equals
2(τι+i−τι−i)/a times the Fubini-Study metric
associated – as in Remark 5.4 – with ⟨,⟩.
Namely, let ξ,η∈Nyi have ⟨ξ,ξ⟩=1 and
⟨ξ,η⟩=⟨iξ,η⟩=0. The curve t↦tη of
vectors tη tangent to Nyi at the points
tξ, satisfies, in view of
(8.5.b) and Remark 6.3, the limit relation
g^(y,tξ)i(tη,tη)→2(τι+i−τι−i)⟨η,η⟩/a as t→∞. At the
same time, tξ (or, the tangent vector tη) tends, as
t→∞, to the point \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}(0,\xi)\, of
\,\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\smallsetminus N\hskip-2.4pt_{y}^{\phantom{i}},
identified with \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi\in\mathrm{P}\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}} or,
respectively, to the vector tangent to PNyi
at \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi\, which is the image of η under
(∗)
the differential of the projection \,\xi\mapsto{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi\,
restricted to the unit sphere of ⟨,⟩.
The claim about the tangent vectors, which clearly implies our assertion, can
be justified as follows. The vector tη equals xsi(t,0)
(notation preceding Remark 1.4) with
x(t,s)=t(ξ+sη)∈Nyi, so that
∣x(t,s)∣2=t2(1+∣sη∣2) and, setting
\,\zeta(t,s)=[1+t^{2}(1+|s\eta|^{2})]^{-\hskip-1.5pt1\hskip-0.7pt/2}(1,x(t,s))\in{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}, we get ∣ζ(t,s)∣=1 for the
direct-sum Euclidean norm. Identifying x(t,s) with
\,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}(1,x(t,s))={\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\hskip 0.4pt\zeta(t,s)\in\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}), we see that tη,
treated as tangent to
\,\mathrm{P}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\, at \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}(1,t\hskip 0.4pt\xi),
is the image, under the analog of (∗) for
\,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}, of the vector
ζsi(t,0)=(1+t2)−1/2(0,xsi(t,0))=(0,t(1+t2)−1/2η) tangent to the unit sphere of
\,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}} at the point
ζ(t,0)=(1+t2)−1/2(1,tξ) and having the required
limit (0,η) as t→∞, which we identify with η.
Remark 8.5**.**
The construction summarized in Theorem 8.1
has an obvious generalization, arising when, in (6.1),
τι↦Q is assumed to be only defined on the half-open interval
[τι−i,τι+i]∖{τι∓i}, and dQ/dτι=∓2a at
τι=τι±i just for one fixed sign ±. Our discussion focuses on a
narrower case since this is the case relevant to the study of compact geodesic-gradient Kähler triples.
9. Local properties
Throughout this section (M,g,τι) is a fixed
geodesic -gradient Kähler triple (Definition 4.2). We
use the symbols
[TABLE]
for the complex-structure tensor J:TM→TM of the
underlying complex manifold M, the gradient v=∇τι, its
J-image u=Jv, the open set M′ where v=0, the
function ψ on M′ with (4.1), the function
Q=g(v,v) on M, the distribution
V=Span(v,u) on M′, its orthogonal
complement, as well as the endomorphisms S=∇v and
A=∇u of TM, cf. (1.2). Under the above
hypotheses,
[TABLE]
In (9.2.c), R denotes the curvature tensor of g, and the
notation of (1.2) is used.
In fact, holomorphicity of v (cf. Definition 4.2)
combined with (3.2) – (3.5) gives (9.2.a), u being
holomorphic due to (3.5), as A=JS=SJ
commutes with J. Next, (9.2.b) follows from (3.6) and the
Lie-bracket equality
[u,v]=∇uiv−∇viu=Su−Av=Su−SJv=0,
obvious in view of (9.2.a), while (9.2.c) (or, (9.2.d)) is a
direct consequence of (1.5) and (9.2.a) or, respectively, of
of (9.2.b) combined with the fact that v is a gradient. We now
obtain (9.2.e) from (9.2.d), noting that
g(∇wiw′,u)=−g(w′,∇wiu)=−g(w′,Aw). On the other hand, (9.2.b), (9.2.a) and
(4.1) yield
∇uiv=∇viu=∇vi(Jv)=J∇viv=ψJv=ψu and so
∇uiu=∇ui(Jv)=J∇uiv=ψJu=−ψv, establishing (9.2.f), while
Lemma 4.1, (1.6) and (9.2.f) imply (9.2.g). That
J,S,A all leave V=Span(v,u)
invariant is
clear as Jv=u and Ju=−v while, by (9.2.f),
Sv,Su,Av,Au are sections of V. The
same conclusion for V⊥ is now immediate from (9.2.d).
By (9.2.b), the local flows of v and u preserve v,u
and V=Span(v,u). The u-invariance of
V⊥ now follows from (9.2.b). Finally, let w be
a section of V⊥. Writing ⟨,⟩ for g, we get
⟨[v,w],v⟩=⟨∇viw−∇wiv,v⟩=−⟨w,∇viv⟩−⟨Sw,v⟩=−⟨Sw,v⟩=−⟨w,Sv⟩=0, cf. (9.2.d) and (9.2.f). Similarly,
⟨[v,w],u⟩=⟨∇viw−∇wiv,u⟩=−⟨w,∇viu⟩−⟨Sw,u⟩=−⟨Sw,u⟩=−⟨w,Su⟩=0. Thus, [v,w] is a section of
V⊥ as well. In view of Remark 2.3, this completes
the proof of (9.2.h). For easy reference, note that, by (9.2.a) –
(9.2.b),
the distribution V=Span(v,u)
is integrable and has totally geodesic leaves,
2. (b)
a local section of V⊥ is
projectable along V if and only if it commutes with
u and v,
3. (c)
if local sections w and w′ of
V⊥ commute with u and v, then
[TABLE]
4. (d)
dviQ=2ψQ* and
dui[g(w,w′)]=dui[g(Sw,w′)]=duiQ=0 for any w,w′ as in (c),*
5. (e)
[∇viS]w=2(ψ−S)Sw*
whenever w is a local section of V⊥.*
Proof.
Assertions (a) – (b) are obvious from (9.2.b) and,
respectively, Remark 2.1 combined with (9.2.h). Next, let
£viw=£viw′=£uiw=£viw′=0. Since £vi and
£ui act on functions as dvi and dui,
(1.3) implies (9.4.i), and dui[g(w,w′)]=0 as
£uig=0 by (9.2.b). For similar reasons,
dui[g(Sw,w′)]=£ui[g(Sw,w′)]=0. (Namely,
(9.2.c) gives ∇uiS=0, so that (9.2.a) and
(1.4), with u,S rather than v,B, yield
£uiS=0.) On the other hand, by (9.3),
g(v,v)=Q. Now (1.6), (9.2.f) and (9.2.b) imply that
duiτι=duiQ=0 and dviQ=2ψQ, establishing (d).
Using (9.2.a) we get g(Sw,w′)=g(JSw,Jw′)=g(Aw,Jw′) which,
by (9.2.e), is nothing else than −g([w,Jw′],u)/2. Hence
2dvi[g(Sw,w′)]=2£vi[g(Sw,w′)]=−£vi[g(u,[w,Jw′]))]=−[£vig](u,[w,Jw′])). (Our assumption that
£viw=£viw′=0 gives
£vi(Jw′)=0, as v is holomorphic,
which in turn yields £vi[w,Jw′]=0, while
£viu=0, cf. (9.2.b).) From (1.3),
(9.2.f) and (9.2.a) we now obtain
dvi[g(Sw,w′)]=−[£vig](u,[w,Jw′]))/2=−g(Su,[w,Jw′])=−2g(ψu,[w,Jw′])=2ψg(Aw,Jw′)=−2ψg(JAw,w′)=2ψg(Sw,w′), that is, (9.4.ii), which, since
dviQ=2ψQ by (d), also proves (9.4.iii).
Finally, (9.2.h) and the equality
∇viS=−J[R(u,v)], cf. (9.2.c), combined with
(a), imply that ∇viS−(2ψ−S)S leaves
V⊥ invariant. To obtain (e), it now suffices to show that
[∇viS]w−(2ψ−S)Sw is orthogonal to
w′ for any local sections w,w′ of V⊥. We are
free to assume here that w=w′ (due to self-adjointness of
S=∇v) and that w commutes with u and v (see
(b)). Differentiation by parts gives, by (9.4.iii) and (9.2.d),
g([∇viS]w,w)=dvi[g(Sw,w)]−g(S∇viw,w)−g(Sw,∇viw)=2ψg(Sw,w)−2g(Sw,Sw), as required, with
∇viw=Sw since [v,w]=0.
∎
10. Horizontal Jacobi fields
In addition to using the assumptions and notations of Section 9, we now
let \mathchar256 stand for the underlying
one -dimensional manifold of a fixed maximal integral
curve of v in M′. We restrict the objects in (9.1) to
\mathchar256 without changing the notation, and select a unit-speed
parametrization t↦x(t) of the geodesic \mathchar256 such that
[TABLE]
As an obvious consequence of (10.1), (1.7) and Lemma 9.1(d),
[TABLE]
Any constant c∈[IR∖τι(\mathchar256)]∪{∞}, where
τι(\mathchar256) is the range of τι on \mathchar256, gives rise to the
function λci:\mathchar256→IR defined by
[TABLE]
the convention being that λci is identically zero when
c=∞. We denote by W the set of all
V⊥-valued vector fields
t↦w(t)∈Vx(t)⊥ along \mathchar256
satisfying the equation
[TABLE]
Of particular interest to us are c such that
[TABLE]
About projectability along V in (i) below, see
Remark 2.4 and Lemma 9.1(a).
Theorem 10.1**.**
Under the above hypotheses, the following conclusions hold.
(i)
V⊥-valued solutions w to
(10.4) are nothing else than restrictions to \mathchar256 of those
local sections of V⊥ with domains containing
\mathchar256 which are projectable along V.
2. (ii)
All w as in (i), that is, all elements of
W, are Jacobi fields along \mathchar256.
3. (iii)
Every vector in Vx(t)⊥
equals w(t) for some unique w∈W.
4. (iv)
W* is a complex vector space of complex
dimension \,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptM-1, and the direct sum of all
W[c] for c in (10.5.a), with
w↦Jw serving as the multiplication by \,i\in{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}.*
5. (v)
A function t↦λ(t) on the parameter
interval of t↦x(t) satisfies the equation
dλ/dt=2(ψ−λ)λQ−1/2, with
ψ,Q evaluated at x(t), if and only if
λ(t)=λci(x(t)), cf. (10.3), for some
c∈[IR∖τι(\mathchar256)]∪{∞} and all t.
6. (vi)
At any x=x(t)∈\mathchar256, the eigenvalues of
Sxi:Vx⊥→Vx⊥, cf. (9.2.h), are precisely
the values λci(x) for all
c in (10.5.a). The eigenspace of
Sxi:Vx⊥→Vx⊥ corresponding to
λci(x) is {w(t):w∈W[c]}.
7. (vii)
R(w,u)u=R(w,v)v=(ψ−S)Sw=R(v,u)Jw/2* on M′
for sections w of V⊥.*
8. (viii)
If τι(\mathchar256)=(τι−i,τι+i) is bounded, then
Q/(τι−τι+i)≤2S≤Q/(τι−τι−i) on
V⊥.
Proof.
Any w as in the second line of (i), restricted to
\mathchar256, becomes both a Jacobi field (by Lemmas 4.6
and 9.1(b)) and a V⊥-valued solution to
(10.4) (since S=∇v, so that (10.1) and
Lemma 9.1(b) give
∇x˙iw=Q−1/2∇viw=Q−1/2∇wiv=Q−1/2Sw). With
\mathchar256 replaced by suitable shorter subgeodesics covering all points of
\mathchar256, the inclusion just established between the two vector spaces
appearing in (i) is actually an equality: in either class, the vector field in
question is uniquely determined by its initial value at any given point
x∈\mathchar256. This proves (i) – (ii) as well as (iii) – (iv), the latter
in view of the fact that JS=SJ, cf. (9.2.a).
For a C1 function λ defined on the parameter interval of
t↦x(t), one has
[TABLE]
if and only if either λ=0 identically, or λ=0
everywhere and the function c characterized by
2c=2τι−Q/λ is constant. (In fact, the either-or claim about
vanishing of λ is due to uniqueness of solutions of
initial-value problems, while (10.2) yields
2c˙=Qλ−2[λ˙−2(ψ−λ)λQ−1/2].)
Now (v) easily follows, all nonzero initial conditions for (10.6) at
fixed t being realized by suitably chosen constants
c∈IR∖τι(\mathchar256) (and λ=0 satisfying (v)
with c=∞).
Next, we fix x=x(t)∈\mathchar256 and express any prescribed
eigenvalue-eigenvector pair for
Sxi:Vx⊥→Vx⊥ as λci(x) and w(t),
with some unique c∈[IR∖τι(\mathchar256)]∪{∞} and
w∈W. By (v), λ=λci satisfies
(10.6), so that, in view of (10.4) and (10.7), the vector field
w^=Sw−λw is a solution of the linear homogeneous
differential equation
∇x˙iw^=Q−1/2(2ψ−2λ−S)w^.
Since w^ vanishes at x=x(t), it must vanish identically, which
establishes (vi).
Now let w∈W. As Q˙=2ψQ1/2 (see
the lines following (10.6)), the Jacobi equation and (10.4)
give, by (ii) and (10.7),
R(w,x˙)x˙=∇x˙i∇x˙iw=∇x˙i[Q−1/2Sw]=Q−1(ψ−S)Sw,
that is, R(w,v)v=(ψ−S)Sw, the second equality in
(vii). Also, Lemma 9.1(e), (9.2.c) and (3.3) yield
2(ψ−S)Sw=[∇viS]w=−J[R(u,v)w]=−R(u,v)Jw=R(v,u)Jw=R(v,Jv)Jw, the last
equality in (vii). Combining the two relations, and repeatedly using
(3.3), we get 2R(w,v)v=R(v,Jv)Jw, that is,
R(w,v)v=R(v,w)v+R(v,Jv)Jw=R(Jv,Jw)v+R(v,Jv)Jw. Thus,
from the Bianchi identity,
R(w,v)v=R(v,Jw)Jv=R(Jv,JJw)Jv=R(w,u)u, which proves (vii).
Finally, (viii) is an easy consequence of (vi) and (9.2.d).
∎
11. Consequences of compactness
Let (M,g,τι) be a fixed geodesic -gradient Kähler
triple (Definition 4.2). We use the notation of (9.1),
(4.2) and – in (i) below – the terminology of Remark 1.3.
Remark 11.1**.**
According to
[6, Lemmas 11.1, 11.2 and Remark 2.1], the following holds
for any (M,g,τι) as above with compact M, the objects
(4.2), and v=∇τι.
(i)
Q=g(v,v) is a C∞ function of τι,
leading to data τι−i,τι+i,a,Q with (6.1).
2. (ii)
The flow of the Killing vector field u=Jv
is periodic.
3. (iii)
\mathchar262± are (connected) totally geodesic compact complex
submanifolds of M.
4. (iv)
\mathchar262+∪\mathchar262− is the zero set of v, that is, the
set of critical points of τι.
(Conclusion (iv) is a special case of a result due to Wang
[20, Lemma 3].) Furthermore, restricting τι↦Q in (i) to
the open interval (τι−i,τι+i) we have
[TABLE]
ψ being the function with (4.1) on the open set
M′ on which v=0 (so that ψ is also a C∞
function of τι). This is clear as (1.6) and (4.1) give
dQ=2ψdτι on M′. Finally, by [20, Lemma 1] (see
also [6, Example 8.1 and Lemma 8.4(iv)]),
[TABLE]
Remark 11.2**.**
Under the assumptions of Remark 11.1, for
a as in Remark 11.1(i), ∓a is the unique nonzero
eigenvalue of the Hessian of τι (that is, of
S=∇v) at any critical point y∈\mathchar262±. The
∓a-eigenspace of Syi is the normal space
Nyi\mathchar262±, and
KerSyi=Tyi\mathchar262± (which thus constitutes the
0-eigenspace of Syi unless \mathchar262±={y}).
In fact, as τι is a Morse-Bott function
[6, Example 8.1], applying
[6, Lemma 8.4(i)] we see that Nyi\mathchar262±
is the eigenspace of Syi for its unique nonzero eigenvalue,
and so KerSyi=Tyi\mathchar262± in view of
self-adjointness of Syi. That the nonzero eigenvalue
equals ∓a is obvious from (11.1), since (4.1) amounts
to Sv=ψv. Cf. [17, Theorem 1.3].
Still assuming compactness of a geodesic -gradient Kähler
triple (M,g,τι), let Nδ\mathchar262± be the bundle of radius
δ normal open disks around the zero section in the normal bundle
N\mathchar262±, with δ characterized by (6.5).
According to [6, Lemma 10.3], δ is then the
distance between \mathchar262+ and \mathchar262−, while, with
Exp⊥ as in Remark 1.6,
[TABLE]
Cf. [2], [20, Lemma 2], [17, Theorem 1.1]. Its
inverse M∖\mathchar262∓→Nδ\mathchar262±,
composed with the projection Nδ\mathchar262±→\mathchar262±, yields
a new disk-bundle projection
[TABLE]
Remark 11.3**.**
Clearly, π±∘Exp⊥
is the normal-bundle projection
N\mathchar262±→\mathchar262±. Also, according to the lines
preceding (11.4),
[TABLE]
which implies [6, Remark 4.6, Example 8.1 and
Theorem 10.2(iii) – (vi)] that π± sends every
x∈M∖\mathchar262∓ to the unique point nearest x in
\mathchar262±.
In the next lemma, by a leaf we mean – as usual – a maximal
integral manifold.
Lemma 11.4**.**
Under the above hypotheses,
V⊆Kerdπ± for the
integrable distribution V=Span(v,u)
on M′=M∖(\mathchar262+∪\mathchar262−), cf. Lemma 9.1(a)* and Remark 11.1(iv). If ξ
is a unit vector normal to \mathchar262± at a point y, then, with
δ as in (11.3),*
(a)
the punctured radius δ disk
\,\{z\xi:z\in{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\hskip 6.0pt\mathrm{and}\hskip 6.0pt0<|z|<\delta\}\, in
Nyi\mathchar262± is mapped by expyi
diffeomorphically onto a leaf \mathchar259 of V.
Furthermore, every leaf \mathchar259⊆M′ of V has
the following properties.
(b)
The closure of \mathchar259 in M is a totally
geodesic complex submanifold, biholomorphic to \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{1} and
equal to \mathchar259∪{y+i,y−i}, where y±i∈\mathchar262±
are such that {y±i}=π±(\mathchar259).
2. (c)
The leaf \mathchar259 arises from (a) for some
unit normal vector ξ at the point y=y±i corresponding to
\mathchar259 as in (b), and then
[TABLE]
Exp⊥* being the normal exponential mapping
N\mathchar262→M.*
Proof.
Let us fix x,y and \mathchar256xi as in
(11.5). Due to Remark 11.1(iv), the Killing field
u=Jv vanishes along \mathchar262±, so that its
infinitesimal flow at y preserves both Tyi\mathchar262± and
Nyi\mathchar262±. The images of \mathchar256xi under
the flow transformations of u thus are geodesic segments normal to
\mathchar262± emanating from y and, as a consequence of (11.5),
π± maps them all onto {y}. In other words, the union of such
segments, with the point y removed, is simultaneously a subset of the
π±-preimage of y as well as – according to (11.2),
(9.3) and parts (ii), (iv) of Remark 11.1 – a surface embedded
in M′. This surface is, due to its very definition and (11.2),
tangent to both u and v which, in view of (11.3), yields (a);
note that, by (9.2.a) and Remark 11.2, the orbit of ξ
under the flow of A=∇u at y consists of all unit
complex multiples of ξ.
What we just observed about the orbit of ξ clearly ensures smoothness
of the closure of the leaf at y. By (11.3) and (11.2), the
union of \mathchar256xi and its analog for the same point x
and the other projection π∓ is a length δ
geodesic segment joining y∈\mathchar262± to its other endpoint
y∓i∈\mathchar262∓. The above discussion of the images of such a
segment under the flow of u applies equally well to y∓i, so that
(b) – (c) follow from Lemma 9.1(a) and the fact
that x∈M′ was arbitrary.
∎
Remark 11.5**.**
Let (M,g,τι) be a Grassmannian or CP
triple, constructed as in Section 5 from some data (5.3.i) or
(5.3.ii). We use the notation of (9.1) and (11.4).
(a)
We already know that the critical manifolds \mathchar262± of
τι are given by (5.5).
2. (b)
In the case of (5.5.c) (or, (5.5.b) and
(5.5.d)), π± acts on W as the orthogonal projection
into L (or, respectively, into L⊥)
3. (c)
When \mathchar262± has the form (5.5.a), π±
sends W to L⊕(W∩L⊥).
4. (d)
The leaf of V through any W∈M′
consists
(d1)
for (5.3.i) – of all
L′⊕W′, where
W′=W∩L⊥ and L′ is any
line in the plane L⊕(W′∩W⊥) other than the lines
L and W′∩W⊥ themselves,
2. (d2)
for (5.3.ii) – of all lines other than W′ and
W′′ in the plane W′⊕W′′, where W′ and
W′′ denote the orthogonal projections of W into L
and L⊥.
Namely, in both cases, let G′ be the complex Lie group of all
complex-linear automorphisms of V preserving both
L and L⊥. The obvious action of G′ on
the Stiefel manifold StkiT (see
Remark 5.5) descends to a holomorphic action on
GrkiV, which becomes one on
PV=G1iV when k=1. The elements of
the center of G′, restricted to both subspaces L and
L⊥, are complex multiples of Id, and
the action of the center on GrkiV includes
the circle subgroup S1 of G generated by the Killing field u,
mentioned in the lines following (5.3). Holomorphicity of the
action implies that the flow of the gradient v=∇τι, related to u
via u=Jv, also consists of transformations of
GrkiV arising from the action of the center, and –
for dimensional reasons – the orbits of the center coincide with the leaves
of V=Span(v,u). This easily gives (d). Now (b)
– (c) follow: by Lemma 11.4(b), the two
π∓-images of any leaf of V are the two
points that, added to the leaf, yield its closure.
As V⊆Kerdπ±
(Lemma 11.4), we may define vector subbundles
H± of TM′ by
[TABLE]
Theorem 11.6**.**
Given a geodesic-gradient Kähler triple (M,g,τι)
with compact M, v,M′,Q,V,S,\mathchar262±,τι±i,π±,H±
be defined as in (9.1), (4.2) and (11.7).
Then the bundle endomorphism 2(τι−τι±i)S−Q of
TM, restricted to V⊥, has constant rank
on M′, while
[TABLE]
and some subbundle H of TM′ yields an
S-invariant complex orthogonal decomposition
[TABLE]
Furthermore, for any \mathchar256⊆M′ chosen as at the beginning of
Section 10,the closure of \mathchar256 in M admits a
unit-speed C∞ parametrization
[t−i,t+i]∋t↦x(t) which, restricted
to (t−i,t+i), is a parametrization of \mathchar256 satisfying
(10.1) along with the following conditions.
(a)
The endpoint y±i=x(t±i) lies in
\mathchar262±, and x˙(t±i) is normal to \mathchar262± at
y±i.
2. (b)
Every solution
(t−i,t+i)∋t↦w(t)∈Vx(t)⊥ of
(10.4) along \mathchar256 has a C∞ extension to
[t−i,t+i] such that dπx(t)±[w(t)]=w(t±i)
whenever t∈(t−i,t+i).
3. (c)
The bundle projection
π±:M∖\mathchar262∓→\mathchar262± is
holomorphic.
4. (d)
If w∈W[τι±i], cf. (10.5), then,
in (b),
w(t±i)=0, and [∇x˙iw](t±i)
is normal to \mathchar262± at y±i=x(t±i) as well as
orthogonal to x˙(t±i) and Jx˙(t±i).
5. (e)
If w lies in the direct sum of spaces
W[c]={0} with c=τι±i, for a fixed sign
±, then w(t±i) is tangent to \mathchar262± at
y±i=x(t±i), and
[∇x˙iw](t±i)=0.
6. (f)
Whenever t∈(t−i,t+i) and x=x(t), the
assignment
w(t)↦(w(t±i),[∇x˙iw](t±i)), with
w as in (b), is a ** C**-linear isomorphism
Vx⊥→Tyi\mathchar262±×Ny′,
where y=y±i and Ny′ denotes the orthogonal complement
of Span(x˙(t±i),Jx˙(t±i)) in
Nyi\mathchar262±. At the same time, w(t) then equals
the image, under the differential of the normal exponential mapping
Exp⊥:N\mathchar262±→M at (y,ξ)∈N\mathchar262± given by y=x(t±i) and
ξ=(t−t±i)x˙(t±i), of the vector tangent to
N\mathchar262± at (y,ξ) which equals the sum of the
vertical vector
η=(t−t±i)[∇x˙iw](t±i) and
the D-horizontal lift of w(t±i) to
(y,ξ), for the normal connection D in
N\mathchar262±. Similarly, ux(t)i, for
u=Jv, is the image, under the differential of
Exp⊥ at (y,ξ), of the vertical vector
η=∓aiξ.
7. (g)
For any w,w′∈W, the function
Q−1g(Sw,w′) is constant on \mathchar256 and the
restriction of g(w,w′) to \mathchar256 is an affine
function of τι:\mathchar256→IR with the derivative
d[g(w,w′)]/dτι=2Q−1g(Sw,w′).
8. (h)
Explicitly, in (g), with a as in
Remark 11.1(i), either sign ±, and
y=y±i=x(t±i),
(h1)
g(w,w′)=(τι+i−τι−i)−1∣τι−τι∓i∣gyi(w±i,w±′)* if
w∈W[τι∓i] and w′∈W,*
2. (h2)
g(w,w′)=gyi(w±i,w±′)−a−1∣τι−τι±i∣gyi(Ryi(w±i,Jyiw±′)x˙±i,Jyix˙±i)* if w,w′ both satisfy the
assumption of (e),*
3. (h3)
g(w,w′)=2a−1∣τι−τι±i∣gyi([∇x˙iw]±i,[∇x˙iw′]±i)* if
w,w′∈W[τι±i],*
where the subscript ± next to
w,w′,∇x˙iw,∇x˙iw′
or x˙ represents their evaluation at t±i.
Remark 11.7**.**
Since ∣τι−τι±i∣=∓(τι−τι±i)
and ±(τι+i−τι−i)=τι±i−τι∓i, applying d/dτι to the
right-hand side in (h1), or (h2), or (h3), we get the three values
[TABLE]
As a consequence of parts (g) – (h) of Theorem 11.6, this triple
provides the three expressions for
2Q−1g(Sw,w′) in the cases (h1), (h2) and (h3),
respectively.
Note that the three different formulae for g(w,w′) in (h1),
(h2) and – with the reversed sign – in (h3), are all simultaneously valid
when w,w′∈W[τι∓i].
the relation ξ=(t−t±i)x˙(t±i) in (f)
clearly gives x˙±i=∓ξ/∣ξ∣ in (h2),
2. (ii)
by (d) – (f), the images under the differential of
Exp⊥ of vertical (or, horizontal) vectors
tangent to N\mathchar262± at the point (y,ξ) appearing in
(f) have the form
(∗)
w(t) for w satisfying the hypothesis of (d) (or,
respectively, of (e)),
3. (iii)
the differential of π± at any x∈M′
maps the summands Hx± and Hxi in (11.9)
isomorphically onto the images
dπx±(Hx±) and
dπx±(Hxi), orthogonal to each other in
Tyi\mathchar262± for y=π±(x),
4. (iv)
one has (τι+i−τι−i)gxi(w,w′)=∣τι(x)−τι∓i∣gyi(dπx±w,dπx±w′) whenever
w∈Hx± and w′∈Vx⊥
at any x∈M′, while y=π±(x),
5. (v)
(4.2) and (a) imply the inequality of
Theorem 10.1(viii) everywhere in M′.
Only (iii) and (iv) require further explanations. For (iii),
dπx± is injective on the space
Hx±⊕Hx, orthogonal, by (11.7) and
(11.9), to its kernel
Vxi⊕Hx∓. Orthogonality
in (11.7) also shows, via (11.8), (10.5.b) and (9.2.d),
that vectors in Hx± (or, in Hx) have the form
(∗) with x=x(t), cf. (f), and the former remain orhogonal to the latter
as t varies, leading to (iii) as a consequence of the final clause of
(b). Assertion (iv) is nothing else than (h1) for w=w(t) at x=x(t),
cf. (f), where y=π±(x) and dπx±w=w±i by
(11.5) and (b).
Remark 11.9**.**
As another immediate consequence of
Theorem 11.6, the assignment
x↦dπx±(Hx±)=dπx±(Vxi⊕Hx±)
defines a holomorphic section of the bundle over M′ arising via
the pullback under π± from
Grki(T\mathchar262±), for a suitable integer
k=k±i. Here
Grki(T\mathchar262±) is the Grassmannian bundle
with the fibres Grki(Tyi\mathchar262±), y∈\mathchar262± (cf. Section 5), holomorphicity and the equality
dπx±(Hx±)=dπx±(Vxi⊕Hx±) are
clear from Theorem 11.6(c) (which also implies, due to (11.7),
that V⊕H± is a holomorphic
subbundle of TM′) and (11.9) (which, combined with
(11.7), ensures constancy of the dimension k=k±i of the spaces
dπx±(Hx±)).
We begin by establishing (a) - (f) under the stated assumptions about
\mathchar256.
Let (t−i,t+i)↦x(t) be a parametrization of \mathchar256 with
(10.1). As τι then is clearly an increasing function of t, it
has some limits τι^±i as t→t±i, finite due to boundedness of
τι. The length of \mathchar256 obviously equals the integral of
Q−1/2 over (τι^−i,τι^+i)⊆(τι−i,τι+i), and so it is finite in
view of (6.5). This implies the existence of limits x(t±i) of
x(t) as t→t±i. Furthermore, each x(t±i) lies in
\mathchar262± since, if one x(t±i) did not, Remark 11.1(iv)
would yield v=0 at x(t±i), contradicting maximality of
\mathchar256. Thus, [t−i,t+i]↦x(t) parametrizes the closure
of \mathchar256. Next, M∖(\mathchar262+∪\mathchar262−) is, by
(11.3) and (11.2), a disjoint union of maximal integral curves of
v, each of which has two limit points, one in \mathchar262− and one in
\mathchar262+, and the corresponding limit directions of the curve are normal
to \mathchar262− and \mathchar262+. Since \mathchar256 is one of these curves, (a)
follows.
In (b), a C∞ extension to [t−i,t+i] must exist as
w is a Jacobi field; see Theorem 10.1(ii). To obtain (d) –
(e), we fix w∈W[c], so that, from (10.3) – (10.5),
[TABLE]
Let y=x(t±i) and wyi=w(t±i). By
Remark 11.1(iv), Q=τι−τι±i=0 on \mathchar262± while, in view of
(a) and (11.1), Q/[2(τι−τι±i)] evaluated at x(t) tends to
∓a=0 as t→t±i. If c=τι±i, (12.1.ii)
multiplied by Q1/2 thus yields wyi=0, and the relation
Sw′=Qw′/[2(τι−c)] for
w′=∇x˙iw, obvious from (12.1), implies
that [∇x˙iw](t±i) lies in the
∓a-eigenspace of Syi. When c=τι±i, (12.1.i)
and (12.1.ii) give, respectively, Syiwyi=0 and
[∇x˙iw](t±i)=0. Due to Remark 11.2,
this proves (d) and (e): orthogonality in (d) follows since w
and ∇x˙iw take values in
V⊥, for V=Span(v,u) (so
that g(w,v)=g(w,u)=0), while x˙=v/∣v∣ by (10.1),
and u=Jv.
Furthermore, the assignment in (f) is well-defined, injective,
complex-linear and (Tyi\mathchar262±×Ny′)-valued
due to parts (iii), (ii), (iv) of Theorem 10.1 and, respectively, (d)
– (e). The first claim of (f) thus follows since both spaces have the same
dimension. The second (or, third) one is in turn immediate from (1.9)
applied, at r=1, to any w∈W, cf. Theorem 10.1(ii) (or, to w=u), with y,ξ,η as in (f), and
w^ defined by w^(r)=w(rt+(1−r)t±i). (That
r↦w^(r) then is a Jacobi field along the geodesic
r↦x(rt+(1−r)t±i) follows from Theorem 10.1(ii) or,
respectively, (9.2.b) and Remark 1.7, while, in the latter case,
due to (9.2.a) along with Remarks 11.1(iv) and 11.2,
w=u realizes the initial conditions
(u,∇dx/driu)=(0,∓aiξ) at
r=0.)
The remaining equality dπx(t)±[w(t)]=w(t±i) in (b) now
becomes an obvious consequence of the second part of (f) combined with the
first line of Remark 11.3. This proves (b) and, combined with
Theorem 10.1(iv), implies (c).
Next, for t↦x(t) as in (a) – (f), any t∈(t−i,t+i), a
fixed sign ±, and x=x(t), Theorem 10.1(iii), (11.7)
and (b) give
Hx∓={w(t):w∈Wandw(t±i)=0}. Writing any
w∈W as w=w′+w′′, where
w′∈W[τι±i] and w′′ lies in the direct sum of
the spaces W[c]={0} with c=τι±i,
cf. Theorem 10.1(iv), we see that, by (d) – (e), the isomorphism in
(f) sends w′(t) and w′′(t), respectively, to pairs of
the form (0,⋅) and (⋅,0). Thus,
w(t)∈Hx∓ if and only if w′′=0, that is,
w∈W[τι±i]. Combining Theorem 10.1(vi) with (10.3)
and (10.5.b), one now obtains (11.8), so that (11.7) implies
the constant-rank assertion preceding (11.8). On the other hand,
Hx+ and Hx− are mutually orthogonal at every
x∈M′, being, by (11.8), contained in eigenspaces
corresponding to different eigenvalues of the self-adjoint operator
Sxi, cf. (9.2.d), so that (11.9) follows.
Let w,w′∈W. Constancy of
Q−1g(Sw,w′) along \mathchar256 trivially follows from
(9.4.iii) and (11.2), cf. Lemma 9.1(b) and parts (i) –
(ii) of Theorem 10.1. The operators d/dτι and dvi
acting on functions \mathchar256→IR are in turn related by
dvi=Qd/dτι, since (10.1) gives
dvi=Q1/2dx˙i=Q1/2d/dt, while
d/dt=Q1/2d/dτι due to (10.2). Now (g) is
immediate from (9.4.ii).
In (h), all three right-hand sides are affine functions of τι with
the correct values at t=t±i (that is, limits at the endpoint
y±i=x(t±i)). Proving (h) is thus reduced by (g) to showing
that, in each case, χ=2Q−1g(Sw,w′) coincides
with the derivative of the right-hand side provided by Remark 11.7,
which – even though χ is constant on \mathchar256, cf. (g) – will be
achieved via evaluating the limit of χ at y±i∈\mathchar256 or,
equivalently, at t±i∈[t−i,t+i]. When
w∈W[τι∓i], (10.5.b) and (10.3) imply that
2Q−1Sw=(τι−τι∓i)−1w and, consequently,
χ=(τι−τι∓i)−1g(w,w′) has the value (and limit)
±(τι+i−τι−i)−1gyi(w±i,w±′) at
y=y±i, as required in (h1).
Let w,w′ now satisfy the hypotheses of (e). Consequently, along
\mathchar256∖{y±i},
[TABLE]
In fact, Q(y)=0 by (a). Next, Q−1Sw is bounded near the
endpoint y of \mathchar256∖{y} (and similarly for
w′); to see this, we may assume that
w∈W[c] with c=τι±i, cf. (e), and then
(10.5.b) and (10.3) give
2Q−1Sw=(τι−c)−1w, which is bounded as
τι→τι±i since, due to (b), w has a limit at t=t±i. Now
(12.2) follows.
In view of (12.2) and (b), we may now evaluate the limit of
χ=2Q−1g(Sw,w′) as t→t±i using
l’Hôpital’s rule: it coincides with the limit of
2dx˙i[g(Sw,w′)]/Q˙. By (9.2.c) for
x˙ rather than of w, (10.4), (9.2.d) and (10.2),
this last expression is the sum of two terms,
ψ−1Q−1/2g(R(u,x˙)w,Jw′) and
2ψ−1Q−1g(Sw,Sw′). According to
(12.2) and (11.1), only the first term contributes to the limit and,
as it equals ψ−1g(R(Jx˙,x˙)w,Jw′), cf. (9.3) and (11.2), relation (11.1) yields (h2).
Finally, suppose that w,w′∈W[τι±i]. It follows that
[TABLE]
and analogously for w′. Namely, Q and w vanish at
y (see (a), (d)), while
(Q1/2)o˙=ψ by (10.2), and so
[∇x˙iw]/(Q1/2)o˙=ψ−1∇x˙iw. L’Hôpital’s rule and (11.1) now
imply (12.3). Since
Syi[∇x˙iw]±i=∓a[∇x˙iw]±i by (d) and
Remark 11.2, assertion (h3) is obvious from (12.3), completing the
proof of Theorem 11.6.
Remark 12.1**.**
With the same notations and assumptions as in
Theorem 11.6, denoting by k±i and q the complex fibre
dimensions of the subbundles H± and H of
TM′, we have, for \,m=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptM\, and
\,d_{\pm}^{\phantom{i}}\hskip-0.7pt=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathchar 262\relax^{\pm}\hskip-0.7pt,
[TABLE]
as one sees adding the equalities d±i=m−1−k±i and
m=1+k+i+k−i+q (the former due to (11.4) and (11.7),
the latter to (11.9)). Consequently,
[TABLE]
with equality if and only if the distribution H in (11.9)
is 0-dimensional, that is, if
[TABLE]
The explicit descriptions of \mathchar262± in (5.5.c) – (5.5.d)
clearly show that
[TABLE]
13. Examples: Nontrivial modifications
Remark 13.1**.**
For any two functions τι↦Q and
τι^↦Q^ having the properties listed in (6.1), with
the same τι±i and a, there must exist an increasing C∞
diffeomorphism [τι−i,τι+i]∋τι↦τι^∈[τι−i,τι+i]
which realizes
[TABLE]
Such a diffeomorphism is unique up to compositions from the left (or,
right) with transformations forming the flow of the first (or, second) vector
field in (13.1).
To see this, apply Remark 6.7 to t=τι−τι±i and
γ=∓Q/(2a) (or, t=τι^−τι±i and
γ=∓Q^/(2a)), obtaining a function θ (or,
θ^), unique up to a positive constant factor and vanishing at
τι=τι±i (or, τι^=τι±i), with
dθ/dτι=θ/Q (or,
dθ^/dτι^=θ^/Q^), the derivative being
positive everywhere in [τι−i,τι+i]. Adjusting the constant factor, we may
require τι↦θ and τι^↦θ^ to be
increasing diffeomorphisms of [τι−i,τι+i] onto the
same interval having the endpoint 0, and then define
τι↦τι^ by declaring θ “equal to”
τι^↦θ^, that is, letting τι↦τι^ be
τι↦θ followed by the inverse of
τι^↦θ^. Consequently,
dτι^/dτι=Q^/Q on (τι−i,τι+i), which amounts to
(13.1).
The uniqueness clause is obvious: the only self-diffeomorphisms
ζ of (τι−i,τι+i) preserving a given vector field without zeros
are its flow transformations, since ζ acts on an integral curve as a
shift of the parameter.
Theorem 13.2**.**
For the data τι±i and τι↦Q related via
Remark 11.1(i)* to a given compact geodesic-gradient
Kähler triple (M,g,τι), and any increasing C∞
diffeomorphism [τι−i,τι+i]∋τι↦τι^∈[τι−i,τι+i],
there exists a C∞ function
[τι−i,τι+i]∋τι↦ϕ∈IR, unique up to additive constants,
such that τι^=τι+Qdϕ/dτι.*
With τι^,ϕ treated, due to their dependence on τι, as
functions on the complex manifold M, the formula g^=g−2(i∂∂ϕ)(J⋅,⋅)
then defines another Kähler metric on M, and
(a)
(M,g^,τι^)* is a new geodesic-gradient
Kähler triple.*
In addition, denoting by τι^↦Q^ the analog of
τι↦Q arising when Remark 11.1(i)* is applied to
(M,g^,τι^), and by ∇^τι^ the
g^-gradient of τι^, one has (13.1) and
∇^τι^=∇τι.*
Proof.
As τι^=τι+Qϕ′, where
()′=d/dτι, our assumption about
τι↦τι^ gives τι^′>0 and
τι−i≤τι^≤τι+i, leading to the inequalities
[TABLE]
Note that ϕ exists since, by Remark 6.6 and
(6.1), τι^−τι and Q are smoothly divisible by
τι−τι±i, their quotients being equal at τι±i to the value of
τι^′−1 and ∓2a, respectively, and so, as τι^′>0,
[TABLE]
For the self-adjoint bundle endomorphism K of TM
with g^=g(K⋅,⋅) one has
[TABLE]
where v,u,S are, as usual, given by v=∇τι, u=Jv, and
S=∇v.
We proceed to prove positivity of K at all points of M,
considering two separate cases: y∈\mathchar262± and
x∈M′=M∖(\mathchar262+∪\mathchar262−), cf. Remark 11.1(iv).
If y lies in either critical manifold \mathchar262±, the relations
vyi=uyi=0 and τι(y)=τι±i imply positivity of Kyi as a
consequence of (13.3) since, by Remark 11.2, any eigenvalue of
Syi must be equal to 0 or ∓a.
On M′, we use the S-invariant decomposition
TM′=V⊕V⊥, cf. (11.9).
In view of (9.2.f) – (9.2.g), the restriction of
2S=2∇v to V=Span(v,u) equals
Q′ times Id. Using (13.4) and (9.3) we now see
that K acts in V via multiplication by the function
1+Q′ϕ′+Qϕ′′, which is positive according to (13.2).
Theorem 10.1(vi) states in turn that the eigenvalues of
Sxi:Vx⊥→Vx⊥, for x∈M′, have the form
λci(x) with (10.3) and (10.5.a). Writing
K,S,τι,Q,ϕ′ instead of their values at x, we conclude from
(13.4) that the corresponding eigenvalues of (τι−c)K are
τι+Qϕ′−c and so, due to the (strict) first inequality
of (13.2), they all lie in the interval (τι−i−c,τι+i−c).
Positivity of K on V thus easily follows both when
c<τι−i<τι and when τι<τι+i<c.
Consequently, g^ is a Kähler metric on M, with
the Kähler form ω^=g^(J^⋅,⋅) related to
ω=g(J^⋅,⋅) by
ω^=ω+2i∂∂ϕ. Applying
(3.8) to v=∇τι and ϕ rather than f, we obtain
g^(v,⋅)=g(v,⋅)−2ω(Jv,⋅)=dτι+d(dviϕ). (Note that Jv=u and (9.3) gives
duiϕ=duiτι=0, since ϕ is a function of τι.) As
dviτι=Q, cf. (1.7), v is thus the g^-gradient
of τι+dviϕ=τι+Qϕ′=τι^. On the other hand,
again from (1.7), Q^=g^(v,v) equals
dviτι^=τι^′dviτι=τι^′Q, which is a function of τι,
and of τι^, proving both (a) (see Lemma 4.1) and (b).
∎
Remark 13.3**.**
Let G be the group of all automorphisms
(Definition 4.2) of a given compact geodesic-gradient
Kähler triple (M,g,τι). Then every quadruple
τι−i,τι+i,a, τι^↦Q^ satisfying the analog of (6.1)
arises when Remark 11.1(i) is applied to a suitably chosen
G-invariant geodesic-gradient Kähler triple
(M,g^,τι^) with the same underlying complex manifold M.
In fact, a trivial modification (see Remark 4.3) followed by rescaling
of the metric allows us to assume that τι±i and a are the same as
those for (M,g,τι). Our claim is now obvious from Remark 13.1
and Theorem 13.2.
Remark 13.4**.**
As a special case of Remark 13.3, for the
first triple using the Fubini-Study metric g and G as in the
lines preceding (5.3), all quadruples τι−i,τι+i,a,τι↦Q
with (6.1) are realized, via Remark 11.1(i), by CP triples
(M,g,τι) having arbitrarily fixed values of \,m=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptM\,
and \,d_{\pm}^{\phantom{i}}\hskip-0.7pt=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathchar 262\relax^{\pm} that satisfy (12.7).
Remark 13.5**.**
Conversely, we can apply Remark 13.1 and
Theorem 13.2 to canonically modify any given CP triple, obtaining one
with the Fubini-Study metric and the same group G.
We will not use the easily-verified fact that, for such a
Fubini-Study CP triple,
(τι+i−τι−i)Q=2a(τι−τι±i)(τι+i−τι)
and, in (5.3.ii), the value of τι at \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}(\xi+\eta), where
ξ∈L and η∈L⊥, equals
(τι±i∣ξ∣2+τι∓i∣η∣2)/(∣ξ∣2+∣η∣2) for some sign
±.
14. The normal-geodesic biholomorphisms
In this section (M,g,τι) is a fixed compact
geodesic -gradient Kähler triple
(Definition 4.2). We use the notation of (9.1), denote by
τι−i,τι+i,a,Q the data (6.1) associated with (M,g,τι)
(see Remark 11.1(i)), and choose for them the further data (6.2)
– (6.5), so that a sign ± is fixed as well. We also let
\mathchar262,N,h,⟨,⟩ and D stand for \mathchar262±, the
normal bundle N\mathchar262±, the submanifold metric of
\mathchar262, the Riemannian fibre metric in N induced by g, and
the Chern connection of ⟨,⟩ in N, cf. (d) in
Section 7. We write (y,ξ)∈N when y∈\mathchar262 and
ξ∈Nyi, as in Remark 1.5.
Using the normal exponential diffeomorphism
Exp⊥:Nδ\mathchar262±→M∖\mathchar262∓ in (11.3), we define
\mathchar264=\mathchar264±:N→M∖\mathchar262∓,
depending on the sign ±, to be the composite
[TABLE]
where Δ:N→Nδ\mathchar262± is given by Δ(y,ξ)=y if
ξ=0 and, otherwise,
[TABLE]
Note that Δ is a homeomorphism and, restricted to the complement
N′=N∖\mathchar262 of the zero section, it becomes a
diffeomorphism
N′→Nδ\mathchar262±∖\mathchar262±. In fact,
tξ with t=σ/ρ determines ξ
(smoothly if ξ=0), since ∣tξ∣=σ and σ
determines ρ according to the line preceding (6.4).
Consequently, \mathchar264:N→M∖\mathchar262∓ is a
homeomorphism, and the restriction \mathchar264:N′→M′ a
diffeomorphism. In addition,
[TABLE]
due to (14.1), the fibre -preserving property of Δ, and
the first line of Remark 11.3.
Remark 14.1**.**
Suppose that a vector field w on N′ is
(a)
the D-horizontal lift of a vector
field on \mathchar262, or
2. (b)
a vertical vector field of the form
(y,ξ)↦\mathchar258ξ for some complex-linear
vector-bundle morphism \mathchar258:N→N, skew-adjoint
relative to ⟨,⟩ at every point.
Then Δ, restricted to N′, sends w onto its restriction to
N′∩Nδ\mathchar262±.
In fact, let r↦(y(r),ξ(r)) be an integral curve of
w. Then the function r↦∣ξ(r)∣ is constant, and
so, by (14.2),
Δ(y(r),ξ(r))=(y(r),cξ(r)) with some
real constant c. This proves our claim since, in case (b), w
restricted to every fibre Nyi, being a linear vector field
on Nyi, is invariant under multiplications by scalars.
Theorem 14.2**.**
For either critical manifold \mathchar262∓ of τι in any compact
geodesic-gradient Kähler triple (M,g,τι), the
triple (M∖\mathchar262∓,g,τι) is isomorphic to
one constructed in Section 8 from some data
(6.1) – (6.2) and \mathchar262,h,N,⟨,⟩.
The data consist of (6.1) associated with (M,g,τι)
as in Remark 11.1(i), any choice of τι↦ρ
with (6.2) for (6.1) and our fixed sign
±, the submanifold metric h and normal bundle
N=N\mathchar262± of \mathchar262=\mathchar262±, and the
fibre metric ⟨,⟩ in N induced by g. Furthermore,
(i)
the required isomorphism
N→M∖\mathchar262∓ is provided by the mapping
\mathchar264=\mathchar264± with (14.1), which, in particular, must
be biholomorphic,
2. (ii)
\mathchar264* sends the horizontal distribution of the Chern
connection D of ⟨,⟩ in N, cf. (d)
of Section 7, onto the summand
V⊕H± in (11.9),*
3. (iii)
the leaves of V are precisely the same
as the \mathchar264-images of all punctured complex lines through
0 in the normal spaces of \mathchar262.
In the special case where
TM′=V⊕H+⊕H−, that is, the summand distribution
H in (11.9) is
0-dimensional, formula (8.5.c) used in
the construction of Section 8 may also be replaced by the
following equality, using the simplified notation of
(8.5.c):
[TABLE]
Proof.
It suffices to prove that the restriction of \mathchar264 to
N′=N∖\mathchar262 is an isomorphism between the
geodesic-gradient Kähler triples (N′,g^,τι^)
and (M′,g,τι), since the analogous conclusion about \mathchar264
itself then follows from [8, Lemma 16.1].
We start by establishing the equality
[TABLE]
Namely, ∣ρξ∣=ρ for any ρ∈(0,∞) and any
(y,ξ)∈N with ∣ξ∣=1, so that
\mathchar264(y,ρξ)=xσi, where
xσi=expyiσξ and σ depends on ρ
as in (6.4). Since σ↦xσi is a unit-speed
geodesic, (11.2) and (10.2) give
d[τι(xσi)]/dσ=∓Q1/2, the sign factor
being due to the relation d(xσi)/dσ=∓v/∣v∣
(immediate from (4.2) with v=∇τι). Here Q=g(v,v) depends
on τι(xσi) as in Remark 11.1(i). However, according to
Remark 6.4 and the text preceding (8.5.a) – (8.5.b), the
same autonomous equation
d[τι^(y,ρξ)]/dσ=∓Q1/2 holds when
τι(xσi) is replaced by τι^(y,ρξ), with the same dependence of Q on the unknown function. The uniqueness clause
of Remark 6.4 thus gives
τι(\mathchar264(y,ρξ))=τι(xσi)=τι^(y,ρξ), as
required.
One has two complex direct-sum decompositions,
TM′=V⊕H∓⊕H∙ and
TN′=V^⊕H^∓⊕H^∙, orthogonal relative to g and,
respectively, g^. The former arises from (11.9) if one sets
H∙=H±⊕H.
In the latter V^,H^∓ and
H^∙ are the distributions introduced in the lines
following (8.4). First, for u^ as in (8.6) and our
u=Jv, where v=∇τι, we show that
[TABLE]
More precisely, Δ (or, Exp⊥) appearing in
(14.2) (or, (11.3)), restricted to N′ (or,
N′∩Nδ\mathchar262±), sends
V^,H^∓,H^∙,u^ onto their restrictions to
N′∩Nδ\mathchar262± (or, respectively, onto
V,H∓,H∙,u). The
claims about V^ in (14.6.i) – (14.6.ii) follow
as Δ clearly preserves each leaf of V^, that is,
each punctured complex line through 0 in the normal space
Nyi\mathchar262 at any point y∈\mathchar262, while, by
Lemma 11.4(a), Exp⊥ maps the leaves of
V^ intersected with N′∩Nδ\mathchar262±
onto leaves of V. This also proves (ii). Next, the
class of vertical vector fields of Remark 14.1(b) obviously includes
u^ and, locally, some of them span H^∓.
Remark 14.1 thus yields the remainder of (14.6.i), while
(14.6.iii) for Δ follows from complex-linearity of the
D-horizontal lift operation (due to
Lemma 7.1(i)), and the fact that Δ acts on the vertical vector
fields in Remark 14.1(b) as the identity operator. On the other hand,
(14.6.ii) in the case of H^∓ and
H^∙ (or, of u^) is an immediate consequence
of the second (or, third) claim in Theorem 11.6(f). (To be specific,
for H^∓ and H^∙ this is clear
from Remark 11.8(ii) combined with (11.7) – (11.9).)
Finally, the complex-linearity assertion of Theorem 11.6(f)
implies (14.6.iii).
By (14.6), the diffeomorphism
\mathchar264=Exp⊥∘Δ:N′→M′ maps
V^,H^∓ and
H^∙ onto V,H∓ and
H∙. Proving the theorem is thus reduced to showing
that
[TABLE]
To begin with, for Q^ as in Section 8, v^ given by
(8.6), and our v=∇τι,
[TABLE]
In the case of Q^ this amounts to Q∘\mathchar264=Q^, which is
a trivial consequence of (14.5) and the fact that Q^ was
defined in Section 8 to be the same function of τι^ as
Q is of τι. For u^, (14.8) follows from (14.6)
and (14.1). Next, any integral curve of v^ in
Nyi∖{0} has, up to a shift of the
parameter, the form r↦(y,e∓arξ) with a unit vector
ξ∈Nyi, so that
Δ(y,e∓arξ)=(y,σξ), where in addition to the curve
parameter r, two more real variables are used:
ρ=e∓ar,
and σ related to ρ via (6.4). The chain rule thus
yields
dσ/dr=∓aρdσ/dρ=∓Q1/2,
while \mathchar264(y,e∓arξ)=x(σ) for
x(σ)=expyiσξ. Since
σ↦x(σ) is a unit-speed geodesic, (11.2) and
(10.1) give d[x(σ)]/dσ=∓Q1/2,
with Q evaluated at x(σ), and the sign factor arising
from (4.2), as v=∇τι. Applying the chain rule again, we obtain
d[x(σ)]/dr=vx(σ)i and, consequently,
(14.8).
The claim made in (14.7) about V^=Span(v^,u^) and
V=Span(v,u) is now obvious from (14.8)
and (9.3) along with (8.7).
For the remaining two pairs of summands, (14.7) in the case of
J^,J (or, g^,g) is a direct consequence of (14.6) and
(14.1) (or, respectively, of (i) – (ii) in Remark 11.8 along with
parts (h2) – (h3) of Theorem 11.6, (14.5) and (8.5)). Note
that, by (14.2), Δ leaves ξ/∣ξ∣ unchanged, while
ρ=∣ξ∣ in (h2).
Finally, if TM′=V⊕H+⊕H− in (11.9), Remark 11.8(ii) allows us to
use (h1) in Theorem 11.6, instead of (h2), obtaining (14.4).
∎
Corollary 14.3**.**
Suppose that (M,g,τι) is a compact geodesic-gradient
Kähler triple. Then, for V and H±
appearing in (11.9), with either sign ±, the
distribution V⊕H± is integrable and
its leaves are totally geodesic in (M′,g).
Proof.
Use Theorem 14.2 and Theorem 8.1(b) (or – for
integrability – (11.7)).
∎
15. Immersions of complex projective spaces
In the next result the inclusions
\,N\hskip-2.4pt_{y}^{\phantom{i}}\subseteq\mathrm{P}({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\,
and \,\mathrm{P}\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}\subseteq\mathrm{P}({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\,
come from the standard identification (5.1) for
V=Nyi, where y∈\mathchar262±. Let us also note
that, by (11.7) and Corollary 14.3, the restriction to the normal
space
Nyi=Nyi\mathchar262±⊆N\mathchar262±
of the biholomorphism
\mathchar264:N\mathchar262±→M∖\mathchar262∓ (see
Theorem 14.2) constitutes
[TABLE]
Theorem 15.1**.**
Given a compact geodesic-gradient Kähler triple
(M,g,τι) and a fixed sign ±, let y be a point
of the critical manifold \mathchar262±. Then the following conclusions hold.
(a)
The embedding
\mathchar264:Nyi→M∖\mathchar262∓ with
(15.1) has an extension to a totally geodesic holomorphic
immersion \,\mathchar 265\relax:\mathrm{P}({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\to M\hskip-0.7pt.
2. (b)
The mapping \mathchar265 in (a) restricted to the
projective hyperplane \,\mathrm{P}\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}\subseteq\mathrm{P}({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}) at infinity is a totally
geodesic holomorphic immersion
F:PNyi→\mathchar262∓, and the metric that it
induces on PNyi equals
2(τι+i−τι−i)/a times the Fubini-Study metric,
cf. Remark 5.4, arising from the inner product gyi
in Nyi, for a,τι±i as in
Remark 11.1(i),
3. (c)
the images of the immersion
F:PNyi→\mathchar262∓ in (b) and of its
differential at any point \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi, where
(y,ξ)∈N\mathchar262± and ξ=0, coincide with the
π∓-image of the leaf of
Kerdπ± in M′ passing through
x=\mathchar264(y,ξ) and, respectively, with the subspace
dπx∓(Hx∓)=dπx∓(Vxi⊕Hx∓) of
Tyi\mathchar262∓.
Proof.
As a consequence of Theorems 14.2 and 11.6(c), the
composite π∓∘\mathchar264 maps
N\mathchar262±∖\mathchar262± (the complement of the
zero section in N\mathchar262±) holomorphically into
\mathchar262∓. The restriction of π∓∘\mathchar264 to
Nyi∖{0}⊆N\mathchar262±∖\mathchar262±, being, by (11.6)
and (14.1), constant on each punctured complex line through 0, thus
descends to
[TABLE]
where the immersion property of F is an immediate consequence of the
fact, established below, that both
π∓:\mathchar264(Nyi∖{0})→\mathchar262∓ and
π∓∘\mathchar264:Nyi∖{0}→\mathchar262∓
have constant (complex) rank, equal to
\,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptN\hskip-2.4pt_{y}^{\phantom{i}}\hskip 0.7pt-\hskip 0.7pt1. As \mathchar264 is a
biholomorphism, it suffices to verify this last claim for the former
mapping; we do it noting that
\mathchar261=\mathchar264(Nyi∖{0})
coincides with the π±-preimage of y (due to (14.3)
and Remark 11.3), and hence forms a leaf of
Kerdπ±=V⊕H∓ restricted to M′, cf. (11.7). That π∓:\mathchar261→\mathchar262∓ satisfies the required
rank condition is now clear: the kernel of its differential at any point
x coincides, by (11.7) and (11.9), with
Vxi, while V=Span(v,u).
The mapping \,\mathchar 265\relax:\mathrm{P}({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\to M\hskip-0.7pt,
equal to \mathchar264 on Nyi and to F on
PNyi, is continuous. Namely, if it were not,
we could pick a sequence
ξji∈Nyi, j=1,2,…, such that
∣ξji∣→∞ and ξji/∣ξji∣→ξ as
j→∞ for some unit vector ξ∈Nyi, while no
subsequence of the image sequence \mathchar265(ξji) tends to
\,F({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi). The resulting limit relation
σji→δ, where σji corresponds
to ρji=∣ξji∣ as in the line preceding (6.4),
combined with (14.1), now gives
\mathchar265(ξji)=\mathchar264(ξji)=Exp⊥(y,σjiξji/ρji)
which – due to continuity of Exp⊥ and (11.6) –
converges to Exp⊥(y,δξ)=y∓i, for a specific
point y∓i. However, (a) – (b) in Lemma 11.4 and the definition
of F also give \,y_{\mp}^{\phantom{i}}=F({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi), which contradicts our choice of
ξji, proving continuity of \mathchar265.
Holomorphicity of \mathchar265 is now obvious from Remark 3.5
applied to \,\mathchar 261\relax=\mathrm{P}({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}}) and its
codimension-one complex submanifold
\mathchar259=PNyi. Furthermore,
[TABLE]
To see this, first note that \mathchar265 has two restrictions, F to
PNyi and \mathchar264 to the dense open
submanifold Nyi, already known to be immersions,
the former into \mathchar262∓, cf. (15.1) – (15.2). Next, for
any unit vector ξ∈Nyi, if \mathchar259′ denotes
the projective line in
\,\mathrm{P}({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\, joining \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}(1,0)\, to the
point \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi\in\mathrm{P}\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}} (identified via
(5.1) with \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}(0,\xi)), then the restriction of \mathchar265 to
\mathchar259′ is an embedding with the image
\mathchar259=\mathchar265(\mathchar259′) forming a complex submanifold
of M, biholomorphic to \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{1}\hskip-0.7pt, and intersecting each
of \mathchar262+ and \mathchar262− orthogonally at a single point. In fact,
Lemma 11.4 yields all the claims just made except the ‘embedding’
property; we obtain the latter from Remark 3.4(b), which we use to
conclude that the resulting holomorphic mapping
\mathchar265:\mathchar259′→\mathchar259, being injective (since so is
\mathchar264), must be a biholomorphism. Now (15.3) follows.
For obvious reasons of continuity, (15.1) implies that the
holomorphic immersion
\,\mathchar 265\relax:\mathrm{P}({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\times\hskip-1.5ptN\hskip-2.4pt_{y}^{\phantom{i}})\to M\, is totally
geodesic, which establishes (a). Finally, Remarks 8.4,
11.1(iii), 1.8 and Theorem 14.2 give rise to (b),
completing the proof.
∎
Remark 15.2**.**
For m,d±i,k±i,q as in
Remark 12.1, the codimension
\,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathchar 262\relax^{\mp}\hskip-1.5pt-\hskip 0.4pt\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptN\hskip-2.4pt_{y}^{\phantom{i}} of the immersion
F in Theorem 15.1(b) equals q. In fact,
\,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptN\hskip-2.4pt_{y}^{\phantom{i}}=m-d_{\pm}^{\phantom{i}}\hskip-0.7pt-1, and so, by (12.4),
\,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathchar 262\relax^{\mp}\hskip-0.7pt-\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptN\hskip-2.4pt_{y}^{\phantom{i}}=(m-d_{\pm}^{\phantom{i}}\hskip-0.7pt-1)-d_{\mp}^{\phantom{i}}=q.
Remark 15.3**.**
Suppose that the distribution H in
(11.9) is 0-dimensional or, in other words,
TM′=V⊕H+⊕H−. Then, for either sign ±, the critical
manifold \mathchar262±, with its submanifold metric, must be
biholomorphically isometric to a complex projective space carrying
the Fubini-Study metric multiplied by
2(τι+i−τι−i)/a.
In fact, the isometric immersion F of Theorem 15.1(b), having
codimension zero (cf. Remark 15.2), is necessarily a
biholomorphism (Remark 3.9).
The results stated and proved below use Definition 4.2, the notations
of (9.1), (11.4), (11.7), and the notion of projectability
introduced in Section 2.
Lemma 16.1**.**
For a compact geodesic-gradient Kähler triple
(M,g,τι), the following three conditions are mutually equivalent.
(i)
The distribution
Z=V⊕H+⊕H− on
M′ is integrable.
2. (ii)
Kerdπ−=V⊕H+* is
π+-projectable.*
3. (iii)
Kerdπ+=V⊕H−* is
π−-projectable.*
In (ii) – (iii) one may also replace
V⊕H± by H± or
Z. If (i) – (iii) hold, then:**
(iv)
The immersions of Theorem 15.1(c) are all
embeddings.
2. (v)
The π±-images Z± of
the integrable distribution Z on M′ are
integrable holomorphic distributions on \mathchar262± and have
totally geodesic leaves biholomorphically isometric to complex
projective spaces carrying 2(τι+i−τι−i)/a times the
Fubini-Study metric, cf. Theorem 15.1(b). These leaves
coincide with the images of the embeddings in (iv), and form the fibres
of holomorphic bundle projections
pr±:\mathchar262±→B± for some compact complex base
manifolds B±.
3. (vi)
The summand H in (11.9) is
π±-projectable and its
π±-image coincides with the orthogonal complement
of Z± in T\mathchar262±.
4. (vii)
The leaf space B=M′/Z
admits a unique structure of a compact complex manifold such that the
quotient projection M′→M′/Z
constitutes a holomorphic fibration while, for either sign ±
and pr±:\mathchar262±→B± as in (iv), the
mapping B→B±, sending each leaf of Z to its image under pr±∘π±,
is a biholomorphism.
5. (viii)
There exists a unique holomorphic bundle projection
π:M→B with Kerdπ=Z on
M′ such that, for both signs ±, the restriction of
π to M′ equals
β±∘pr±∘π±, where
β± is the inverse of the biholomorphism
B→B± in (vii).
6. (ix)
RD(w,w′)=−ia(τι+i−τι−i)−1h(Jw,w′):N→N,
with the notation of (1.2), for the submanifold metric
h of \mathchar262±, the normal connection D in its
normal bundle N=N\mathchar262±, any vector field
w′ on \mathchar262±, and any section w of Z±,
cf. (v).
Proof.
Since V⊕H± are both
integrable by (11.7), the mutual equivalence of (i), (ii), (iii)
and the integrability claim in (v) are all immediate from
Lemma 2.7 applied to
E±=V⊕H±, along with
(11.7) and (11.9). The immersions mentioned in
Theorem 15.1(c) thus have nonsingular images, namely, the leaves
\mathchar261 of the distribution Z± in (v), so that (iv)
follows from Remark 3.9 applied to
PNyi standing for \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}\hskip 0.4pt^{l}\hskip-0.7pt, with
l=k∓i defined in Remark 12.1, and such a leaf \mathchar261.
The remaining part of (v) is a direct consequence of Theorem 15.1(b)
and Remark 3.3.
At any y∈\mathchar262±, the image
dπx±(Hx±) is now independent of the choice
of x∈M′ with π±(x)=y, and hence so is its orthogonal
complement dπx±(Hxi) in Tyi\mathchar262± (see
Remark 11.8(iii)), proving assertion (vi).
The mappings B→B± in (vii) are obviously bijective, and lead to
an identification B+=B− which is a biholomorphism, as
one sees restricting π± to “local” complex submanifolds of
M′ which the composite bundle projections
M′→\mathchar262±→B± (with fibres provided by the leaves of
Z) send biholomorphically onto open submanifolds of
B±. This yields (vii). For (viii), it suffices to note that the
two composite bundle projections
pr±∘π±:M∖\mathchar262∓→B agree, by (vii), on the intersection M′ of their domains, cf. Remark 11.1(iv), while the union of their domains is M.
For (ix), Theorem 14.2 allows us to identify
M∖\mathchar262∓ with N so that (8.5.c) and
(8.8) hold under the assumptions following (8.5). Since w
lies in the π±-image Z± of
H±, cf. (ii), (iii), (v), formula (11.8) gives
2Sw=Qw/(τι−τι∓i) for its D-horizontal
lift, also denoted by w. Replacing
2Sw in (8.8) with Qw/(τι−τι∓i) and multiplying the
result by (τι−τι∓i)Q−1, we get an expression for
g(w,w′) which, equated to (8.5.c), yields
⟨RD(w,Jw′)ξ,iξ⟩=−a(τι+i−τι−i)−1⟨ξ,ξ⟩h(w,w′),
since ρ2=⟨ξ,ξ⟩ while, obviously,
∣τι−τι±i∣=∓(τι−τι±i). Applying the last equality to
Jw instead of w, and using (b) in Section 7 along with
Hermitian symmetry of
⟨RD(w,w′)ξ,iη⟩=−⟨iRD(w,w′)ξ,η⟩ in ξ,η,
we obtain the required relation in (ix).∎
Note that the above proof of (ix) in Lemma 16.1 actually uses the
assumptions (i) – (iii): without them, the formula
⟨RD(w,Jw′)ξ,iξ⟩=−a(τι+i−τι−i)−1⟨ξ,ξ⟩h(w,w′),
rather than being valid for any given w∈Zy±,
y∈\mathchar262±, and all vectors ξ normal to \mathchar262±
at y, would hold only when w lies in some subspace of Tyi\mathchar262±
depending on ξ.
Let us now fix a Kähler manifold (\mathchar262^,h^), and consider
pairs N,⟨,⟩ formed by a holomorphic complex vector bundle
N over \mathchar262^ and the real part ⟨,⟩ of a Hermitian
fibre metric in N, the Chern connection of which – see
Section 7 – satisfies the curvature condition
RD(w,w′)=2ih^(Jw,w′):N→N
for any vector fields w,w′ tangent to \mathchar262^, where the notation
of (1.2) is used.
Lemma 16.2**.**
Whenever \mathchar262^ is simply connected and such
N,⟨,⟩ exist, they are essentially unique, in the sense that, given
another pair N′,⟨,⟩′ with the same property, some
holomorphic vector-bundle isomorphism N→N′ takes
⟨,⟩ to ⟨,⟩′.
Proof.
Remark 1.9 implies that the Chern connections
D and D′ induce a flat metric connection in the
bundle Hom(N,N′). The required isomorphism is now
provided by a global parallel section of Hom(N,N′)
chosen so as to transform ⟨,⟩ into ⟨,⟩′ at one point, and its
holomorphicity follows from (e) in Section 7.
∎
Theorem 16.3**.**
For a compact geodesic-gradient Kähler triple (M,g,τι),
the following two conditions are equivalent.
(i)
(M,g,τι)* is isomorphic to a CP triple,
defined as in Section 5.*
2. (ii)
d+i+d−i=m−1*, where \,m=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptM\,
and \,d_{\pm}^{\phantom{i}}\hskip-0.7pt=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathchar 262\relax^{\pm}\hskip-0.7pt. In other words, cf. Remark 12.1,
TM′=V⊕H+⊕H−, that is, H in (11.9)
is **0-*dimensional.
In this case, the assertion of Theorem 14.2, including
(14.4), is satisfied by
(M∖\mathchar262∓,g,τι), with either fixed sign
± and (\mathchar262,h) biholomorphically isometric
to a complex projective space carrying
2(τι+i−τι−i)/a times the Fubini-Study metric,
N and ⟨,⟩ being, up to a holomorphic vector-bundle
isomorphism, the normal bundle of the latter treated as a linear variety in
\,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{m} and its Hermitian fibre metric induced by the
Fubini-Study metric of \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{m}\hskip-0.7pt.
Furthermore, the isomorphism types of CP triples (M,g,τι) having
any given values of d±i and m in (ii) are in a
natural bijective correspondence, obtained by applying
Remark 11.1(i), with quadruples
τι−i,τι+i,a,τι↦Q that satisfy (6.1).
Assuming now (ii), let us use Remark 13.4 to select a CP triple
\,({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{m}\hskip-0.7pt,g^{\prime}\hskip-0.7pt,{\tau\hskip-4.55pt\iota\hskip 0.6pt}^{\prime}) realizing the same data d±i,τι±i,a and
τι↦Q, in (ii) above and Remark 11.1(i), as our
(M,g,τι) (which also establishes the surjectivity part of the final
clause). With either fixed sign ±, denoting
\mathchar262∓,\mathchar262± by \mathchar262,\mathchar261, and their analogs for
\hskip 0.7pt({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{m}\hskip-0.7pt,g^{\prime}\hskip-0.7pt,{\tau\hskip-4.55pt\iota\hskip 0.6pt}^{\prime})\hskip 0.7pt by \mathchar262′,\mathchar261′, we choose the
isomorphisms N→M∖\mathchar261 and
\,N^{\prime}\hskip-0.7pt\to{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{m}\hskip-0.7pt\hskip-1.5pt\smallsetminus\hskip-0.7pt\mathchar 261\relax^{\prime} by applying
Theorem 14.2(i) to both triples. As (i) has already been shown to yield
(ii), we may now also apply Remark 15.3 to both of them, identifying
the critical manifolds \mathchar262,\mathchar262′ (and their submanifold metrics) with
a complex projective space \mathchar262^ (and, respectively, with the
Fubini-Study metric h^ multiplied by
2(τι+i−τι−i)/a). Next, (ix) in Lemma 16.1 holds
for both triples, so that the pairs N,⟨,⟩ and N′,⟨,⟩′
associated with them via Theorem 14.2 satisfy, along with
\mathchar262^=\mathchar262=\mathchar262′ and h^, the assumptions – as well as the
conclusion – of Lemma 16.2. Thus, some holomorphic
vector-bundle isomorphism N→N′ takes ⟨,⟩ to
⟨,⟩′ and, since the metrics g^,g^′ on N and N′
constructed in Section 8 depend only on ⟨,⟩,⟨,⟩′ (aside from the
data fixed above and shared by both triples), this isomorphism is a
holomorphic isometry of (N,g^) onto (N′,g^′),
sending τι to its analog on N′. In view of
[8, Lemma 16.1], it can be extended to an
isomorphism between the triples (M,g,τι) and
\,({\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\mathrm{P}^{m}\hskip-0.7pt,g^{\prime}\hskip-0.7pt,{\tau\hskip-4.55pt\iota\hskip 0.6pt}^{\prime}). We thus obtain injectivity in the final clause
and the fact that (ii) yields (i).
∎
17. Horizontal extensions of CP triples
Once again, we use the notation of (9.1), (4.2) and (11.3),
assuming (M,g,τι) to be a compact geodesic-gradient
Kähler triple (Definition 4.2).
Lemma 17.1**.**
Suppose that conditions (i) – (iii) along with the other
assumptions of Lemma 16.1 hold for a triple
(M,g,τι), and π,B are as in
Lemma 16.1(viii).
(a)
Given a π-projectable nonzero local section
w of the distribution H in (11.9),
(a1)
w* commutes with the vector fields v=∇τι and
u=Jv,*
2. (a2)
w* is π±-projectable for both
signs ±,*
3. (a3)
the local flow of w in M′ preserves the
distributions V,H+ and H−.
2. (b)
The leaves of the integrable distribution
Z=V⊕H+⊕H− on
M′ are totally geodesic complex submanifolds of
M′ and all the local flows mentioned in (a3) act between them
via local isometries.
Proof.
Any w in (a) is normal to the totally geodesic leaves of
the integrable distributions V⊕H±
(see Corollary 14.3), while v,u are both tangent to them, as
V=Span(v,u). Therefore,
∇viw and ∇uiw, being, as a
result, also normal to those leaves for both signs ±, are – by
(11.9) – sections of H. The same is true of
∇wiv,∇wiu (and hence of
[v,w],[u,w]) due to S-invariance in (11.9), with
S=∇v and ∇u=A=JS=SJ, cf. (9.2.a). At the
same time, π-projectability of w implies, via
Remark 2.1 and Lemma 16.1(viii), that [v,w] and
[u,w] are sections of
Z=Kerdπ=H⊥. We thus obtain (a1)
along with (a3) for V. Next, (a2) follows: due to
π-projectability of w, with y∈\mathchar262± fixed,
dπxiwxi is independent of the choice of x∈M′ such that
π±(x)=y, and hence so must be dπx±wxi, as the
differential at y of the bundle projection
β±∘pr±:\mathchar262±→B (see (vii) –
(viii) in Lemma 16.1) sends dπx±wxi to
dπxiwxi, which determines dπx±wxi uniquely
due to its being orthogonal, by Lemma 16.1(v), to Zy±,
for the vertical distribution Z± of
β±∘pr±.
We obtain the remainder of (a3) by noting that, for either fixed sign
±,
[TABLE]
Namely, since the π±-image w^ of w is
obviously Z±-projectable, we may prescribe the
π±-image w^± of w± to be a local
section of Z± commuting with w^ (see (v) – (vi) in
Lemma 16.1 and Remark 2.2), and then lift w^± to
H±, using Remark 11.8(iii). For the resulting lift
w±, (1.8) and parts (ix), (vi) of Lemma 16.1 give
[w,w±]=0.
We now derive (b) from Remark 2.5. According to Remark 2.6, it
suffices to establish (i) in Remark 2.5 for local sections of
Z having the form w′=w0+w++w− with
w± satisfying (17.1) and w0 equal to a
constant-coefficient combination of v and u. Orthogonality in
(11.9) combined with (9.3) shows that
g(w′,w′) equals a constant multiple of Q plus the
sum of the terms g(w±,w±). Verifying part (i) of
Remark 2.5 thus amounts to showing that
dwiQ=dwi[g(w±,w±)]=0. In terms of the
π±-image w^± of w±,
Remark 11.8(iv) gives
(τι+i−τι−i)g(w±,w±)=(τι−τι∓i)h(w^±,w^±), where h is the
submanifold metric of \mathchar262±. Since τι±i are constants, our
claim is thus reduced to two separate parts, dwiQ=dwiτι=0 and
dwi[h(w^±,w^±)]=0. The former part is immediate:
Q is a function of τι, cf. Remark 11.1(i), while w
and v=∇τι are sections of the mutually orthogonal summands
H and V=Span(v,u) in
(11.9). For the latter part, (a2) allows us to replace w by its
π±-image w^, noting that
h(w^±,w^±) is the
π±-pullback of a function defined (locally) in
\mathchar262±. Now dwi[h(w^±,w^±)]=0 due to the
fact that (ii) implies (i) in Remark 2.5, and w^, or
w^±, is normal or, respectively, tangent to the totally geodesic
leaves of the integrable distribution Z±, while w^,
besides being – as noted above – projectable along Z±, also
commutes with w^± (see (v) – (vi) in Lemma 16.1 and
(17.1)).
∎
We say that a (locally-trivial) holomorphic fibre bundle
carries a specific local-type fibre geometry if such a geometric
structure is selected in each of its fibres and suitable local
C∞ trivializations make the structures appear the same in all
nearby fibres. For instance, holomorphic complex vectors bundle endowed
with Hermitian fibre metrics may be referred to as
(i)
holomorphic bundles of Hermitian vector spaces.
The fact that (i) leads to the presence of the distinguished Chern connection
(Section 7) has obvious generalizations to two situations (ii) – (iii)
discussed below.
By a horizontal distribution for a holomorphic bundle
projection π:M→B between complex manifolds, also called a
connection in the holomorphic bundle M over
B, we mean any C∞ real vector subbundle
H of TM, complementary to the vertical
distribution Kerdπ, so that
TM is the direct sum of Kerdπ and
H. Horizontal lifts of vectors tangent to B,
and of piecewise C1 curves in B, as well as parallel
transports along such curves, are then defined in the usual fashion,
although the maximal domain of a lift of a curve (or, of a parallel transport)
may in general be a proper subinterval of the original domain interval.
This last possibility does not, however, occur in bundles with compact fibres,
or in vector bundles with linear connections, where horizontal lifts of curves
and parallel transports are all global.
We proceed to describe the Chern connection H in
the cases of
(ii)
holomorphic bundles of Fubini-Study complex
projective spaces, and
2. (iii)
holomorphic bundles of CP triples, over any complex
manifold B.
Their fibre geometries consist of
Fubini-Study metrics (Remark 5.4) and, respectively, the
structures of a CP triple (Section 5).
For (ii), H arises since local C∞ trivializations
mentioned earlier may be chosen so as to share their domains with local
holomorphic trivializations; the former make the fibre geometry appear
constant, and the latter turn the bundle, locally, into the projectivization
(5.2) of a holomorphic vector bundle E endowed with a
Hermitian fibre metric (,) that induces the
Fubini-Study metrics of the original fibres. Since
(,) is unique up to multiplications by positive
functions (Remark 5.4), Lemma 7.1(iv) easily implies that its
choice does not affect the resulting parallel transports between the
projectivized fibres, thus giving rise to H.
The Chern connection H now also arises in case (iii) since,
according to Remark 13.5, (iii) is a subcase of (ii). The situation
is, however, more special: the critical manifolds – analogs of (4.2) –
in the fibres now constitute two holomorphic bundles \mathchar262± of
Fubini-Study complex projective spaces over B (with fibre
dimensions that need not be both positive; see Remark 15.3), contained
as subbundles in the original bundle, and invariant under all
H-parallel transports. Also, the fibre-geometry
gradients and their J-images (analogous to what we normally denote by
v=∇τι and u) together form two holomorphic vertical vector
fields v and u=Jv on the total space. This is immediate from
the preceding paragraph, with the two subbundles \mathchar262± corresponding
to a (,)-orthogonal holomorphic
decomposition E=E+⊕E− of the locally-defined
vector bundle E, cf. (5.3.ii) and (5.5.c) –
(5.5.d), while the flow of u, described in the lines following
(5.3), acts in both E± via multiplications by two (unrelated)
constant unit complex scalars. In case (ii), or (iii),
[TABLE]
which holds for (ii) since it does for (i), cf. Section 7 and,
consequently, also extends to the case of (iii) via the canonical
modifications in Remarks 13.3 and 13.5.
The following assumptions and notations will now be used to construct compact
geodesic-gradient Kähler triples, each of which we call a
horizontal extension of the CP triple provided by any fibre
(π−1(z),gz,τιz).
(a)
π:M→B and H are the
bundle projection and the Chern connection of a holomorphic bundle of
CP triples with a compact base B and the
CP-triple fibres (π−1(z),gz,τιz),
z∈B, while \mathchar262± stand for the above subbundles of
Fubini-Study complex projective spaces, invariant under
H-parallel transports.
2. (b)
We let τι±i,a be the data associated with
some /any fibre (π−1(z),gz,τιz) as in
Remark 11.1(i), and τι:M→IR (or,
π±:M∖\mathchar262∓→\mathchar262±) be the
C∞ function (or, holomorphic bundle projection) which,
restricted to each π−1(z), equals τιz or, respectively, the
version of (11.4) corresponding to (π−1(z),gz,τιz). We
also set M′=M∖(\mathchar262+∪\mathchar262−).
3. (c)
One is given two Kähler metrics h± on the total
spaces \mathchar262± of our holomorphic bundles of Fubini-Study
complex projective spaces such that either h± makes the fibres
\mathchar262z±, z∈B, orthogonal to H
along \mathchar262± and, restricted to each fibre, h± equals
2(τι+i−τι−i)/a times the Fubini-Study metric of
\mathchar262z±.
4. (d)
We define a Riemannian metric g on M′ by
requiring that H be g-orthogonal to the vertical
distribution Kerdπ, that g agree on the fibres
π−1(z) with the metrics gz, and that
(τι+i−τι−i)g=(τι−τι−i)h++(τι+i−τι)h− on H, the symbols h± being
also used for the π±-pullbacks of h±, cf. (b)
– (c).
5. (e)
Our final assumption is that the Riemannian metric g on
the dense open submanifold M′ has an extension to a Kähler
metric on M (still denoted by g).
Remark 17.2**.**
Under the hypotheses (a) – (e), the resulting
horizontal extension (M,g,τι) is actually a
geodesic-gradient Kähler triple. Namely, being a part of the
geometry of the fibres (π−1(z),gz,τιz), the functions
τιz are preserved by H-parallel parallel transports,
that is, τι is constant along H, and so its (vertical)
g-gradient must, by Remark 1.2. coincide with the
holomorphic vertical vector field v described in the lines
preceding (17.2). On the other hand, the function Q=g(v,v), equal
consequently - to its fibre version, is a specific function of τι.
Thus, by Lemma 4.1, τι has a holomorphic geodesic
g-gradient.
Remark 17.3**.**
Whenever a compact geodesic-gradient
Kähler triple (M,g,τι) is a horizontal extension arising as in
Remark 17.2, the distribution
Z=V⊕H+⊕H− on
M′ coming from the decomposition (11.9) for (M,g,τι)
coincides, on M′, with the vertical distribution
Kerdπ of the bundle projection
π:M→B (see (a) above) and, consequently,
Z is integrable.
In fact, applying Remark 2.5 to H-horizontal lifts
w of local vector fields on B, we see that, by (17.2),
Kerdπ has totally geodesic leaves. Using
(11.5) for both (M,g,τι) and the fibres
(π−1(z),gz,τιz), we now conclude that the projections
π±:M∖\mathchar262∓→\mathchar262± defined in (b)
are the same as those in (11.4). (Note that, due to the orthogonality
requirement in (c), the minimizing geodesic segment in π−1(z),
z∈B, joining a point x∈π−1(z) to \mathchar262z±
a normal to \mathchar262z±, serves as the segment with the same
properties for M rather than π−1(z).) Now (11.7)
implies that the distribution
V⊕H+⊕H− is
contained in Kerdπ and, restricted to every fibre,
equals the analog of
V⊕H+⊕H− for the
fibre, that is, its tangent bundle (see Theorem 16.3(ii)). Thus,
Z coincides with the full vertical distribution
Kerdπ.
Theorem 17.4**.**
A geodesic-gradient Kähler triple (M,g,τι), with
compact M, satisfies one/all of the
mutually-equivalent conditions (i) – (iii) of
Lemma 16.1, if and only if it is isomorphic to a horizontal
extension of a CP triple, defined as above using (a) – (e).
Proof.
Remark 17.3 clearly yields the ‘if’ part of our claim.
Conversely, let (M,g,τι) satisfy (i) – (iii) in
Lemma 16.1. Lemma 16.1(viii) states that
Z=V⊕H+⊕H−
coincides, on M′, with the vertical distribution
Kerdπ of the holomorphic bundle projection
π:M→B. Also, in view of Remark 4.3, the leaves of
Z form geodesic-gradient Kähler triples, due to their
being complex submanifolds of M tangent to v=∇τι (since
V=Span(v,u)) and, as they are also totally
geodesic (see Lemma 17.1(b)), (11.8) and the
S-invariance in (11.9), with S=∇v, imply via
Theorem 16.3 that they are all isomorphic to CP triples. The
local isometries of Lemma 17.1(b) can obviously be made global due to
compactness (see the lines preceding (ii) above) which, consequently, turns
M into a holomorphic bundle of CP triples over B, in the
sense of (iii).
On the other hand, the g-orthogonal complement of
Z=Kerdπ is equal, on M′, to the summand
H in (11.9). Thus, H constitutes a
connection in the bundle M over B, as defined in the lines
following (i), and – being the intersection of the horizontal distribution of
the Chern connections V⊕H± in the normal
bundles N=N\mathchar262±, cf. Theorem 14.2(ii) –
H itself is, according to (a) in Section 7, the Chern
connection of the holomorphic bundle M of CP triples over
B.
This provides parts (a) – (b) of the data (a) – (e) required above, with
\mathchar262± and τι±i,a given by (4.2) and, respectively,
Remark 11.1(i). The submanifold metrics h± of \mathchar262±
have, by (v) – (vi) in Lemma 16.1 and the final clause of
Theorem 11.6(b), all the properties needed for (c).
To show that g satisfies (d), consider two π-projectable
nonzero local sections w,w′ of the distribution
H=Z⊥, cf. (11.9). According to
Lemma 17.1(a) and the last line of Remark 2.4, w and
w′ are projectable along V and H±,
as well as π±-projectable, for either sign
±. Their restrictions to any fixed normal geodesic segment
\mathchar256 emanating from \mathchar262± thus lie in the space W
(cf. (11.2) and (i) – (ii) in Theorem 10.1) and, by
Theorem 11.6(g), g(w,w′) restricted to \mathchar256 is
a (possibly nonhomogeneous) linear function of τι. The same linearity
condition obviously holds for g(w,w′) when g is defined
as in (d), rather than being the metric of our triple (M,g,τι). The
two definitions of g(w,w′) must now agree, as the two linear
functions have – in view of Remark 11.8(iii) and the final clause of
Theorem 11.6(b) – the same values
h±(w,w′) at either endpoint τι±i of the interval
[τι−i,τι+i].
∎
Remark 17.5**.**
All compact SKRP triples of Class 1 (cf. Section 8) must be
[TABLE]
while those of Class 2 are themselves CP triples of a special type. The former
claim is easily verified using [8, Theorem 16.3];
for the latter, see Lemma 8.2.
The classification result of [6, Theorem 6.1] may be
rephrased as the conclusion (17.3) about all compact
geodesic-gradient Kähler triples (M,g,τι) with
\,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptM=2\, other than Class 2 SKRP triples are. Similarly,
(17.3) is the case – by their very construction – for the gradient
Kähler -Ricci solitons of Koiso [16] and
Cao [4], mentioned in the Introduction.
18. Constant-rank multiplications
In this section all vector spaces are
finite -dimensional and complex. Bilinear
mappings of the type discussed here arise in any compact
geodesic-gradient Kähler triple (see Theorem 18.4), which
leads to the dichotomy conclusion of Theorem 19.1.
A constant-rank multiplication is any bilinear mapping
μ:N×T→Y, where N,T,Y are vector
spaces, such that the function N∖{0}∋ξ↦rankμ(ξ,⋅) is constant or,
equivalently, dimKerμ(ξ,⋅) is the
same for all nonzero ξ∈N. When
dimKerμ(ξ,⋅)=k for all
ξ∈N∖{0}, we also say that
μ:N×T→Y has the constant rank
dimT−k. With the notations of Section 5, such
μ leads to a mapping
[TABLE]
Lemma 18.1**.**
For μ and ε as above,
N∖{0}∋ξ↦Kerμ(ξ,⋅)∈GrkiT and ε are both holomorphic.
In terms of the identification (5.6), the differential of the
former mapping at any ξ∈N∖{0} sends
η∈N to the unique
H∈Hom(W,T/W) with
μ(η,w)=μ(ξ,−H~w) for all
\,w\in\mathsf{W}=\varepsilon(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi), where H~:W→T is any linear
lift of H.
Proof.
This is obvious if one sets F(ξ)=μ(ξ,⋅) in
Remark 5.7.
∎
Example 18.2**.**
Any given constant-rank multiplication
μ:N×T→Y leads to further such multiplications,
μ′:N×T′→Y′ and
μ∗:N×Y∗→T∗, obtained by setting
μ′(ξ,⋅)=γ[μ(ξ,α⋅)] and
μ∗(ξ,⋅)=[μ(ξ,⋅)]∗. Here T′,Y′
are vector spaces, α:T′→T (or, γ:Y→Y′) is
surjective (or, injective) and linear, while []∗ stands for
the dual of a vector space or a linear operator.
Lemma 18.3**.**
If μ:N×T→Y has the constant
rank dimT−k and ε with (18.1)
is nonconstant, then ε is a holomorphic embedding.
Whether ε is constant, or not, the same is the case for all
multiplications N×T→Y of the constant rank
dimT−k, sufficiently close to μ.
Proof.
Let W∈GrkiT. The subset of N
consisting of 0 and all ξ∈N∖{0} with
\,\varepsilon(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi)=\mathsf{W}\, is a vector subspace. In fact, if
ξ,η∈N∖{0} and
W=Kerμ(ξ,⋅)=Kerμ(η,⋅), then
W⊆Kerμ(ζ,⋅) for any
ζ∈Span(ξ,η) and, unless ζ=0, this
inclusion is actually an equality due to the constant-rank property of
μ.
Therefore, ε-preimages of points of
GrkiT are linear subvarieties in
PN. If ε is nonconstant, all these
subvarieties are zero -dimensional, that is,
ε has to be injective. Namely, by Lemma 3.2, for the
Kähler form ω of any Kähler metric on
GrkiT, the integral of ε\vrulewidth=1.0pt,height=2.7pt,depth=0.0pt∗ω
over any projective line L in PN is nonzero, and
so L cannot lie in the ε-preimage of a point. Also,
Lemma 18.1 guarantees holomorphicity of ε.
Let ε now be nonconstant. Then ε must be an embedding, that
is, \,d\varepsilon_{{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi}^{\phantom{i}} is injective at any
\,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi\in\mathrm{P}\hskip-0.7pt\mathcal{N}\, or, equivalently, the differential of
ξ↦Kerμ(ξ,⋅)
at any ξ∈N∖{0} has the kernel \,{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi.
Namely, in Lemma 18.1 we may set H~=0 when H=0, and so
η lies in the kernel if and only if the inclusion
W⊆Kerμ(η,⋅) holds for
\,\mathsf{W}\hskip-0.7pt=\varepsilon(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi). Unless η=0, this inclusion is, as
before, an equality, and injectivity of ε then yields
\,\eta\in{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi, which completes the proof, the final clause being
an immediate consequence of that in Lemma 3.2.
∎
Given a compact geodesic-gradient Kähler triple (M,g,τι),
we use the notation of (9.1) and (4.2) to set, for
ξ,η∈Nyi\mathchar262± and w∈Tyi\mathchar262±, with either
fixed sign ±,
[TABLE]
Thus, Zy±(ξ,η)w∈Tyi\mathchar262±, as ξ,η are
tangent, and w normal, to the totally geodesic leaf through y of
the J-invariant integrable distribution
Kerdπ±=V⊕H∓, cf. (11.7),
Theorem 11.6(c), Corollary 14.3, and the first line of
Remark 11.3. Also, denoting by Zy±(ξ,η) the
endomorphism w↦Zy±(ξ,ξ)w of Tyi\mathchar262±,
one has
[TABLE]
as an obvious consequence of (3.3) and (3.4). Next, we define a
complex-bilinear mapping
\,\mu_{y}^{\pm}\hskip-1.5pt:N\hskip-2.4pt_{y}^{\phantom{i}}\mathchar 262\relax^{\pm}\hskip-1.5pt\times T\hskip-2.3pt_{y}^{\phantom{i}}\hskip-0.7pt\mathchar 262\relax^{\pm}\hskip-0.7pt\to\overline{\mathrm{Hom}}_{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}^{\phantom{i}}(N\hskip-2.4pt_{y}^{\phantom{i}}\mathchar 262\relax^{\pm}\hskip-0.7pt,T\hskip-2.3pt_{y}^{\phantom{i}}\hskip-0.7pt\mathchar 262\relax^{\pm}\hskip-0.7pt)\,
by
[TABLE]
By \,\overline{\mathrm{Hom}}_{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}^{\phantom{i}} we mean here ‘the space of
antilinear operators’ and
\,\overline{\mathrm{Hom}}_{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}^{\phantom{i}}(N\hskip-2.4pt_{y}^{\phantom{i}}\mathchar 262\relax^{\pm}\hskip-0.7pt,T\hskip-2.3pt_{y}^{\phantom{i}}\hskip-0.7pt\mathchar 262\relax^{\pm}\hskip-0.7pt)
is treated as a complex vector space in which the multiplication by
i
acts via composition with Jyi from the left. (The product thus equals
the given operator Nyi\mathchar262±→Tyi\mathchar262± followed by Jyi.) Antilinearity of μy±(ξ,w)
and complex-bilinearity of μy± are both obvious from
(18.3).
Theorem 18.4**.**
For a compact geodesic-gradient Kähler triple
(M,g,τι), a fixed sign ±, and any point
y∈\mathchar262±, the mapping μy± with (18.4) is a
constant-rank multiplication, cf. Section 18. Furthermore,
if ε=εy± corresponds to
μ=μy± as in (18.1) and ξ is any nonzero
vector normal to \mathchar262± at y, then
[TABLE]
Proof.
Whenever x=\mathchar264(y,ξ) and
ξ∈Nyi\mathchar262±∖{0}, we have
[TABLE]
In fact, let x=x(t)∈\mathchar256 as in Theorem 11.6, with some fixed
t∈(t−i,t+i). According to (11.8) and parts (iii), (iv), (vi) of
Theorem 10.1, the vectors forming Hx± are precisely
the values w(t) for all w as in Theorem 11.6(e) which also
have the property that
2(τι−τι∓i)Q−1g(Sw,w′)=g(w,w′)
whenever w′ satisfies the hypotheses of Theorem 11.6(e). Since
the values w±′ in Theorem 11.6(h2) fill Tyi\mathchar262± (cf. assertions (d) – (f) of Theorem 11.6), replacing g(w,w′)
and g(Sw,w′) in the last equality with the expressions
provided by Theorem 11.6(h2) and Remark 11.7, we easily verify,
using (3.3) and Remark 11.8(i), that w(t)∈Hx±
if and only if Zy±(ξ,η)w±i=0. Now the final clause
of Theorem 11.6(b) (or, Remark 11.9) yields the first
(or, second) equality in (18.6).
To simplify notations, let us write g,Z,J rather than
gyi,Zy±,Jyi. Since x=\mathchar264(y,ξ) in (18.6) and
\mathchar264 is holomorphic (Theorem 14.2), (18.6) and
Remark 11.9 clearly imply that, for a suitable integer k=k±i,
the resulting mapping
[TABLE]
The C∞ version of the assumptions
listed in Remark 5.7 is thus satisfied if one chooses
U,T,Y to be
Nyi\mathchar262±∖{0},Tyi\mathchar262±,Tyi\mathchar262±
and sets F(ξ)=Z(ξ,ξ). By (5.8), the differential
of (18.7) at any nonzero ξ∈Nyi\mathchar262± sends
any η∈Nyi\mathchar262± to the
unique H:W→T/W, where
W=KerZ(ξ,ξ), with a linear lift
H~:W→T=Tyi\mathchar262± such that
Z(ξ,ξ)∘H~ equals the restriction of
−2Z(ξ,η) to W. (We have
dFξi=2Z(ξ,⋅) since Z(ξ,η) is
real-bilinear and symmetric in ξ,η, cf. (18.3).)
Consequently,
[TABLE]
Complex-linearity of the differential, due to (18.7), means
that (18.8) will still hold if we replace η with Jη
and H~ with JH~. Then, from (18.3) and
(18.8), 2Z(Jξ,η)w=−2Z(ξ,Jη)w=Z(ξ,ξ)JH~w=J[Z(ξ,ξ)H~w]=−2J[Z(ξ,η)w]=−2Z(ξ,η)Jw. In other words,
Z(Jξ,η)w+Z(ξ,η)Jw=0 whenever
w∈KerZ(ξ,ξ) and
η∈Nyi\mathchar262±. Thus, by (18.4),
\,\mathrm{Ker}\hskip 1.7ptZ(\xi,\xi)\subseteq\varepsilon_{y}^{\pm}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi)=\mathrm{Ker}\hskip 1.7pt\mu_{y}^{\pm}(\xi,\,\cdot\,), while the opposite
inclusion is obvious since (18.3) gives Z(ξ,Jξ)=0, and so the
expression Z(Jξ,η)w+Z(ξ,η)Jw=0 for
η=Jξ equals Z(ξ,ξ)w.
The equality \,\mathrm{Ker}\hskip 1.7ptZ(\xi,\xi)=\varepsilon_{y}^{\pm}(\hskip-0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.88884pt\vrule height=6.14993pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.44441pt\vrule height=3.07497pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}\xi)\,
and (18.6) – (18.7) complete the proof.
∎
The description of x˙±i in the lines preceding (18.7) also
gives
[TABLE]
which one sees taking the limit of the equality in Theorem 11.6(h2)
with w′=w as t∈(t−i,t+i) approaches the other endpoint
t∓i (and so τι→τι∓i).
19. The dichotomy theorem
This section uses the notations listed at the beginning of Section 11
and the symbols k±i of Remark 12.1. Any y∈\mathchar262± leads
to the assignment
[TABLE]
\mathchar264=\mathchar264± being defined by (14.1). (Due to (11.7) and
(11.9), dπx± is injective on Hx±.)
Theorem 19.1**.**
Given any compact geodesic-gradient Kähler triple
(M,g,τι), one and only one of the following two cases occurs.
(a)
Either the mappings (19.1) are all constant, for
both signs ±, or
2. (b)
each of (19.1), for both signs ±,
descends to a nonconstant holomorphic embedding
PNyi→Grki(Tyi\mathchar262±),
where PNyi is the projective space of
Nyi=Nyi\mathchar262±.
Condition (a) holds if and only if (M,g,τι) satisfies
(i) – (iii) in Lemma 16.1.
Proof.
In view of Theorem 18.4, we may use Lemma 18.3 for
ε=εy± corresponding to μ=μy± as in (18.1),
concluding (from an obvious continuity argument) that, with either fixed sign
±, all the mappings (19.1) descend to holomorphic
embeddings of PNyi unless they are
all constant. Their constancy for one sign implies, however, the same for the
other, since it amounts to (ii) or (iii) in Lemma 16.1, while (ii) and
(iii) are equivalent. This completes the proof.
∎
Remark 19.2**.**
Case (a) of Theorem 19.1 is equivalent to
(0.3), as one sees combining Lemma 16.1(i) with (11.7).
According to (iv) – (vi) in Lemma 16.1), the immersions of
Theorem 15.1(c) are then embeddings and their images form the leaves of
foliations on \mathchar262∓, both of which have the same leaf space B.
Remark 19.3**.**
When (b) holds in Theorem 19.1, images of
the totally geodesic holomorphic immersions of Theorem 15.1(c)
pass through every point y∈\mathchar262±, realizing an uncountable family
of tangent spaces: the image of the embedding (19.1).
20. More on Grassmannian triples
We continue using the asumptions and notation of Section 17.
Lemma 20.1**.**
The leaf space M′/V of the integrable
distribution V=Span(v,u) on
M′=M∖(\mathchar262+∪\mathchar262−), cf. Lemma 9.1(a), carries a natural structure of a compact complex
manifold of complex dimension m−1, with \,m=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7ptM\hskip-0.7pt, such
that the quotient-space projection
M′→M′/V forms a holomorphic fibration
and, for either sign ±, the projectivization
PN of the normal bundle
N=N\mathchar262±, defined as in (5.2), is
biholomorphic to M′/V via the
biholomorphisms sending each complex line L through
0 in the normal space of \mathchar262± at any point to the
Exp⊥-image of the punctured radius δ
disk in L, the latter image being a leaf of V
according to Lemma 11.4(a).
The mappings (11.4), restricted to M′, descend to
holomorphic bundle projections
[TABLE]
also denoted by π±, which, under the biholomorphic
identifications
M′/V=P(N\mathchar262±) of
the preceding paragraph, coincide with the bundle projections
P(N\mathchar262±)→\mathchar262±.
Proof.
The restrictions
\mathchar264±=\mathchar264:N\mathchar262±∖\mathchar262±→M′ given by (14.1) with the two possible signs ± are
biholomorphisms (Theorem 14.2), and hence so is the composite
of one of them followed by the inverse of the other. At the same time, by
Theorem 14.2(iii), either of them descends to a bijection
P(N\mathchar262±)→M′/V, and the composite just mentioned yields a
biholomorphism between
P(N\mathchar262±) and
P(N\mathchar262∓). This turns
M′/V into a compact complex manifold in a manner
independent of the bijection used. Our assertion is now immediate from
(14.3).
∎
Remark 20.2**.**
The direct sum of the two vertical distributions
Kerdπ± of the projections (20.1) is a
distribution on M′/V, since, at every point
\mathchar259∈M′/V, they intersect trivially:
Kerdπ\mathchar259+∩Kerdπ\mathchar259−={0}. In fact, as a
consequence of (11.9), the original vertical distributions on
M′, given by (11.7), intersect along V.
For a Grassmannian triple (M,g,τι) obtained as in
Section 5 from some data (5.3.i), the descriptions of \mathchar262±
provided by (5.5.a), and
[TABLE]
the equality meaning a natural biholomorphic identification. If
(M,g,τι) is in turn a CP triple, arising from (5.3.ii),
\mathchar262± must be as in (5.5.b), and (20.2) is replaced by
M′/V=\mathchar262+×\mathchar262−, while
π± in (20.1) then become the factor projections.
All these claims are immediate consequences of Remark 11.5(d).
Lemma 20.3**.**
For a finite -dimensional complex vector space
V, any k∈{1,…,dimV}, and
M′/V given by (20.2), let
(W0i,W0′),(W,W′)∈M′/V. Then there
exist an integer p≥1 and
(Wji,Wj′)∈M′/V, j=0,1,…,p,
with (Wpi,Wp′)=(W,W′) and
(Wj−1i,Wj−1′)∼(Wji,Wj′) whenever
j=1,…,p, the notation (W~,W~′)∼(W,W′)
meaning that W=W~ or W′=W~′.
Proof.
If W0i=W, our claim is obvious as
(W0i,W0′)∼(W,W′). Otherwise we may first choose
W1i=W0i and W1′ such that
W0i∩W⊆W1′⊆W0i, and then select
W2′=W1′ along with W2i spanned by W1′ and a vector in
W∖W0i. Now
(W0i,W0′)∼(W1i,W1′)∼(W2i,W2′) and
dim(W2i∩W)>dim(W0i∩W). This step may be repeated for
(W2i,W2′) instead of (W0i,W0′), as long as
W2i=W.
∎
Corollary 20.4**.**
Let (M,g,τι) be any Grassmannian triple, arising from some
data (5.3.i) as in Section 5. Then the direct
sum V⊕H+⊕H−
appearing in Lemma 16.1(i)* is a strongly
bracket-generating distribution on M′, in the sense that
any two points of M′ can be joined by a piecewise C∞ curve
tangent to
V⊕H+⊕H−.*
Proof.
According to (20.2), whenever
(W~,W~′)∼(W,W′) in Lemma 20.3, both
(W~,W~′) and (W,W′) must lie in the same fibre
of one of the bundle projections (20.1). As the fibres of either
projection (20.1), being complex projective spaces (see the last line in
Lemma 20.1), are connected, the strong bracket-generating
property thus follows for the direct-sum distribution of Remark 20.2.
Our claim is now immediate since
V⊕H+⊕H− projects
onto that latter distribution under the quotient-space projection
M′→M′/V, which also has connected fibres
(biholomorphic to twice-punctured complex projective lines, cf. Lemma 11.4(b)).
∎
Remark 20.5**.**
A compact geodesic-gradient Kähler
triple need not, in general, satisfy conditions (i) – (iii) of
Lemma 16.1, that is, (0.3). Examples are provided by
all Grassmannian triples (M,g,τι) arising via Lemma 4.4
from data (5.3.i) such that 2≤k≤n−2, where
\,n=\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-1.5pt\mathsf{V}\hskip-0.7pt.
Namely, in (12.4), q=(k−1)(n−1−k) as m=(n−k)k (see
Remark 5.5) and, similarly,
{d+i,d−i}={(n−k)(k−1),(n−1−k)k} from (5.5.a) –
(5.5.b), where \,\dim_{\hskip 0.4pt{\mathchoice{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\displaystyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 2.02219pt\vrule height=4.30496pt\hss}\hbox{\textstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.41553pt\vrule height=3.01347pt\hss}\hbox{\scriptstyle\mathrm{C}}}}{\hbox{\hbox to0.0pt{\kern 1.01108pt\vrule height=2.15248pt\hss}\hbox{\scriptscriptstyle\mathrm{C}}}}}}^{\phantom{i}}\hskip-0.7pt\hskip-0.7pt\mathsf{L}=1\, by (5.3.i). Thus, q>0 and
V⊕H+⊕H− in
(11.9) is a proper subbundle of TM′. Consequently, due
to Corollary 20.4, it cannot be integrable.
Remark 20.6**.**
For any compact geodesic-gradient
Kähler triple (M,g,τι), the leaf space
M′/V carries what might be called a holomorphic 2-web of complex projective spaces, formed by the two
holomorphic fibrations (20.1) with fibres biholomorphic to
(positive -dimensional) complex projective spaces,
having the trivial-intersection property of Remark 20.2.
There is also a natural holomorphic complex line bundle over
M′/V, the restriction of which to every fibre of
π+ (or, π−), with (20.1), is biholomorphically
isomorphic to the tautological (or, respectively, dual tautological) bundle of
the fibre. Specifically, the complex line attached to a leaf
\mathchar259⊆M′ of V is
{0}∪\mathchar264−1(\mathchar259)⊆Nyi\mathchar262±,
cf. Theorem 14.2(iii); that changing the sign ± to ∓
leads to its dual complex line follows from
[8, Remark 4.1] and (8.5.a) – (8.5.b).
Bibliography20
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[1] Ballmann, W. , Lectures on Kähler Manifolds, EMS, Zürich, 2006.
2[2] Bolton J. , Transnormal systems, Quart. J. Math. Oxford Ser. (2) 24 (1973) 385–395.
3[3] Camacho C., Lins Neto A. , Teoria geométrica das folheações, Projeto Euclides 9, IMPA, Rio de Janeiro, 1979.
4[4] Cao H.-D. , Existence of gradient Käh ler - Ricci solitons, in: “Elliptic and Parabolic Methods in Geometry, Minneapolis, MN, 1994”, A.K. Peters, Wellesley, MA, 1996, 1–16.
5[5] Derdzinski A. , Special biconformal changes of Kähler surface metrics, Monatsh. Math. 167 (2012) 431 -448.
6[6] Derdzinski A. , Killing potentials with geodesic gradients on Kähler surfaces, Indiana Univ. Math. J. 61 (2012) 1643 –1666.
7[7] Derdzinski A., Maschler G. , Local classification of conformally-Einstein Kähler metrics in higher dimensions, Proc. London Math. Soc. (3) 87 (2003) 779 –819.
8[8] Derdzinski A., Maschler G. , Special Käh ler - Ricci potentials on compact Kähler manifolds, J. reine angew. Math. 593 (2006) 73 –116.