Abstracts
In Kupka et al. 2006 appears the Focal Stability Conjecture: the focal decomposition of the generic Riemann structure on a manifold M is stable under perturbations of the Riemann structure. In this paper, we prove the conjecture when M has dimension two, and there are no conjugate points.
geodesics; focal decomposition; focal stability; genericity; Teichmuller space
Em Kupka et al. 2006, consideramos a Conjectura da Estabilidade Focal: a decomposição focal da estrutura Riemaniana genérica em uma variedade M é estável por perturbações dessa estrutura. No presente trabalho demonstramos essa conjectura quando M tem dimensão dois e não existem pontos conjugados.
geodésicas; decomposição focal; estabilidade focal; genetricidade; espaço de Teichmuller
MATHEMATICAL SCIENCES
On focal stability in dimension two
Mauricio M. PeixotoI; Charles C. PughII
IInstituto de Matemática Pura e Aplicada (IMPA), Estrada Dona Castorina, 110, 22460-320 Rio de Janeiro, RJ, Brasil
IIMathematics Department, University of Toronto, Toronto, Ontario, M5S 2E4, Canada
ABSTRACT
In Kupka et al. 2006 appears the Focal Stability Conjecture: the focal decomposition of the generic Riemann structure on a manifold M is stable under perturbations of the Riemann structure. In this paper, we prove the conjecture when M has dimension two, and there are no conjugate points.
Key words: geodesics, focal decomposition, focal stability, genericity, Teichmuller space.
RESUMO
Em Kupka et al. 2006, consideramos a Conjectura da Estabilidade Focal: a decomposição focal da estrutura Riemaniana genérica em uma variedade M é estável por perturbações dessa estrutura. No presente trabalho demonstramos essa conjectura quando M tem dimensão dois e não existem pontos conjugados.
Palavras-chave: geodésicas, decomposição focal, estabilidade focal, genetricidade, espaço de Teichmuller.
1 INTRODUCTION
Let M be a compact, smooth manifold of dimension m, and let =
r be the space of Cr Riemann structures on M, equipped with the natural Cr topology, 2 < r < ¥. Fix p Î M. The kthfocal component with respect to g Î
at p is
where 1 < k < ¥, and ||, exp refer to the Riemann structure g.
The focal decomposition TpM = ksk is said to be focally stable if a small perturbation of g has only a distant topological effect on
sk. Precisely, we require that given
> 0 and given a compact set S Ì TpM, there is a neighborhood
of g in
and there are balls B, B'Ì TpM such that for each g'Î
,
(a) S Ì B Ç B'.
(b) There is a homeomorphism h : B ® B' that sends each sk(g) Ç B onto sk(g') Ç B'.
Thus, the focal decomposition sk enjoys a kind of structural stability.
In Kupka et al. 2006 we investigated the concept of focal stability with an eye to proving the following
Focal Stability Conjecture: the generic Riemann structure is focally stable. (Since is an open subset of a complete metric space, genericity makes sense.) The main result of this paper concerns Riemann structures that have no conjugate points. It is most easily stated for the open set
Ì
of Riemann structures on TM whose Gauss curvature is everywhere negative. See Section 7 for a discussion of the more general case that g has no conjugate points.
THEOREM A. For a compact manifold of dimension two, the generic Riemann structure g Î is focally stable.
A different sort of result is also given. It concens surfaces of constant negative curvature. Fix a compact smooth surface of genus s > 2, such as the bitorus, and let denote the nonempty set of Riemann structures on M with curvature everywhere equal to -1. Since
is a clsoed subset of
, genericity in
makes sense. Modulo isometric deformations
is the Teichmuller space ts.
THEOREM B.
(a) Fix g Î
. For the generic p Î M, the focal decomposition of TpM is stable with respect to perturbations of p in M.
(b) Fix p Î M. For the generic g Î
., the focal decomposition of TpM is stable with respect to perturbations of g within
2 MEDIATRICES
When the Riemann structure on M has non-positive curvature, there are no conjugate points and so expp : TpM ® M is the universal covering space. Let be the lift of g to TpM, and let
be the corresponding metric on TpM. The focal decomposition of TpM can be described in terms of equidistance loci, called mediatrices by Bernhard and Veerman in Bernhard and Veerman 2006, as follows. A vector v1Î sk has k ''friends'' - vectors v1, ... , vk Î TpM of equal length and equal exponential image. (A vector is always a friend of itself.) This implies that there are exactly k points in
(p), one of which is the origin Op of TpM, and from which v1 is equidistant with respect to the metric
. See Figure 1.
3 A MULTITRANSVERSALITY RESULT
In Kupka et al. 2006, following Mather, we considered the multi-exponential map
where is the set of k-tuples of distinct nonzero vectors in TpM, and exp, || refer to the Riemann structure g. The diagonal of (M ×
)k is
D = {(q, , ...,q,
): q Î M and
Î
}.
Theorem 6.1 of Kupka et al. 2006 states that if k > 3 then Ek is transverse to D. Here we need also the case k = 2. Although the proof becomes easier if we use a negative curvature hypothesis, we give the proof in general, since we hope to use the theorem as tool when M has conjugate points.
Theorem 3.1. E2: ×
® (M ×
)2 is transverse to D.
PROOF. We give the proof in the case that M has dimension two, the main difference from the higher dimensional case being notational.
Lemma 6.3 of Kupka et al. 2006 states that, given L > 0, there is an open-dense set (p, L) Ì
such that for g Î
(p, L), there are at most a finite number of geodesic loops g at p having length < L, and that
(a) g is not a closed geodesic. (That is, the vectors tangent to g at its beginning and end are distinct.)
(b) g is ''single'' in the sense that it meets p only at its beginning and end, although other self-intersections are permitted.
(c) Under perturbation of g, g evolves continuously: it does not disappear or bifurcate.
Although some of the geodesic loops g may be self-conjugate in the sense that there is a transverse Jacobi field J along g that vanishes at both ends of g, a perturbation of g eliminates this feature. No such self-conjugacy can be created by a small perturbation of g, so we can restrict attention to Riemann structures in an open-dense subset *(p, L) Ì
(p, L) that have no self-conjugate geodesic loops of length < L.
Let P = (v1, v2, g) Î ×
*(p, L) have E2-image Q = (q,
, q,
) Î D. Let S be the sum S = Image(TPE2) + TQD. We must show
S = TQ(M × )2.
To do so we choose a basis of TQ(M ×)2 as follows.
The natural inclusions
induce isomorphisms
into the tangent space TQ(M ×)2.
We refer to the geodesics t ® exp(tvj) as gj, j = 1, 2 , and to their terminal tangent vectors as w1 = (1), w2 =
(1). The time parameter t is always restricted to [0, 1]. Choose vectors u1, u2Î TqM, normal to w1, w2. This gives bases {u1, w1}, {u2, w2} of TqM, which the inclusions convert to a basis { e1, f1, h1, e2, f2,h2} of TQ(M ×
)2; namely
where h1, h2 are tangent to the appropriate factor in (M ×
)2.
CASE 1. The geodesics g1, g2 are unequal pointsets. We will show that E2 is submersive at P, i.e., that
Image TPE2 = TQ(M × )2.
Because g1, g2 have the same length, neither contains the other, so there are ''free spots'' - points z1Î g1 \g2 and z2Î g2 \g1. (Note that even for the generic g, q may be conjugate to p along these geodesics.) See Figure 2.
Lemma 6.2 in Kupka et al. 2006 states that perturbation of g in the neighborhood of the free spots causes free and independent motion of the endpoints of g1, g2. Furthermore, perturbation of v1 along itself makes 1 = |v1| vary linearly; and yoked to this variation of
1, the endpoint q1 = g1(1) varies dependently along f1. The corresponding facts hold for v2, so we see that the image of TPE2 contains the vectors
e1, f1, f1 + h1, e2, f2, f2 + h2,
which is a basis for TQ(M×)2. This demonstrates that E2 is submersive at P. Submersivity implies transversality.
CASE 2. g1, g2 are equal as point sets - they are merely the same geodesic loop g at p, traversed in opposite directions. See Figure 3. This implies that there are no free spots, so perturbation of the Riemann structure is futile.
Because g is a geodesic loop, but not a closed geodesic, the terminal vectors w1, w2 are linearly independent. Since they have equal length and are perpendicular to u1, u2, the coefficients b, d in the expression
satisfy
Because the loop g is not self-conjugate, variation of v1 perpendicular to itself produces free and independent variation of the endpoint q1 = g1(1) perpendicular to w1. The same is true for v2. Thus, the image of TPE2 contains the vectors e1, e2. As in Case 1, variation of v1, v2 along themselves gives vectors f1 + h1 , f2 +h2 in the image of TPE2. Altogether, then, we have four vectors
e1, f1 + h1, e2, f2 + h2Î TPE2.
The curves
are contained in D, and hence TQD contains their tangents at t = 1, namely, 4
The linear combination
d = (1) - b
(1) = (1 - bd) f1 + ae2 - bce1
of these vectors is tangent to D. By (1), this gives an explicit expression for f1Î S = TPE2 +TQD as
In the same way, f2 belongs to S, and so do
Since S contains the whole basis {e1, ... , h2}, it equals TQ(M ×)2, which completes the proof in Case 2.
COROLLARY 3.2. For the generic g Î , and for all k > 1, the multiexponential
:
® (M ×
)k is transverse to the diagonal D. When M has dimension two, the pre-image of D is empty for k > 4, is a discrete set of points for k = 3, and is a smooth 1-manifold for k = 2.
PROOF. The Abraham Transversality Theorem asserts that if a smooth map
F : X × ® Y É W
is transverse to W where is a Banach manifold and X, Y, W are finite dimensional, then for all a in a resdual subset of
, the map
F(a, ) : X ® Y É W
is transverse to W. In our case, R is an open set of a Banach space, and we know that
E2 : × V2® (M ×
)2É D
is transverse to D. Thus, for the generic g Î ,
is transverse to D.
When k = 1 , transversality is trivial because the diagonal coincides with M ×, while for k > 3, transversality is proved in Kupka et al. 2006, Theorem 6.1.
Now assume that M has dimension two. The codimension of D in (M×)k is 3k -3, and the dimension of
is 2k. Thus, if k > 4 then the codimension in the target exceeds the domain dimension, so transverse intersection implies empty intersection:
(
) ÇD = Æ. Similarly, because transversality preserves codimension, the pre-image of D under
is a discrete set of points in
, and the pre-image of D under
is a 1-manifold in
.
4 FOCAL BRANCHES
Fix a g Î and let
nk = ()-1(D) = {(v, . . . , vk) Î
:
(v1, . . . , vk) Î D}.
Clearly nk is invariant under permutation of the factors TpM in . Thus, if pj :
® TpM projects
onto the jth factor,
bk = pj (nk)
is independent of j. Furthermore, b2É b3É b4É ... and,
PROPOSITION 4.1. When M has no conjugate points, the projection pj: nk® TpM is a proper immersion onto a closed subset of TpM.
PROOF. Properness means that the pre-image of a compact set is compact. Thus, from any given a sequence (v1n, ... ,vkn) in nk such that for some fixed j, vjn converges in TpM as n ® ¥, we must extract a subsequence, convergent in nk.
When k = 1 the assertion is trivial since the projection is the identity map. Thus we assume k > 2.
Convergence of vjn, say to vj Î TpM, implies that |vjn| ® |vj|= . Since all the other vin have the same length, there is a subsequence (unrelabeled) such that (v1n, ... , vkn) ® (v1, ..., vk). Each vi has length
. Fix i ¹ j. Then vin ¹ vjn. Since expp(vin) = expp(vjn), the facts that k > 2 and that exp is a local diffeomorphism from a neighborhood of the origin in TpM to a neighborhood of p in M implies that
¹ 0. Also, since there are no conjugate points, exp is a local diffeomorphism at vj, which implies that vi ¹ vj. Thus (v1, ... , vk) Î nk, which completes the proof of properness.
A continuous proper map into a metric space necessarily has a closed range. Hence pj(nk) is closed in TpM.
To check that pj is an immersion, we must show that the projection vj(t) of each nonsingular curve (v1(t), ... , vk(t)) in nk is nonsingular in TpM. Fix a t0Î (a, b) where (a, b) is the curve's domain of definition. For at least one i, i(t0) ¹ 0. Thus, vi(t) is nonsingular at t0. Since there are no conjugate points, exp(vi(t)) is also nonsingular at t0. Since (v1(t), ... , vk(t)) Î nk, exp(vj(t)) = exp(vi(t)) is also nonsingular at t0. Therefore, vj(t) is nonsingular at t0.
5 PROOF OF THEOREM A
We assume that M is a compact surface of genus > 2, that p Î M is fixed, and we denote by the nonempty set of Riemann structures on TM having negative curvature. Clearly,
is an open subset of
and so it makes sense to speak of the generic g Î
.
A Riemann structure with negative curvature has no conjugate points. Thus, according to Corollary 3.2 and Proposition 4.1, the focal decomposition of TpM is quite simple for the generic g Î N. Namely:
(a) For all k > 4, sk is empty.
(b) s3 = b3 is a discrete subset of TpM.
(c) s2 = b2 \b3 and b2 consists of a closed set of immersed curves in TpM.
Furthermore, in any fixed compact subset of TpM, properties (a), (b), (c) remain valid for all small perturbations of g.
Consider a vector v1Î b3. It has two friends v2, v3Î b3 with equal length and equal exponential image. Thus (v1, v2) Î n2, and there are nonsingular curves v1(t), v2(t) with
Likewise there are nonsingular curves (t), v3(t) with
We claim that
1(0) and![](https://minio.scielo.br/documentstore/1678-2690/cNkkyhThnFxFT4rrzS8fgCH/65bbe22a1790e1e3116a174e22fe8bfb5bb57198.gif)
At time t = 0 the curve exp(v3(ct)) has tangent
Similarly,
Thus, at t = 0
t(v1(t), v2(t), v3(ct))
is tangent to the diagonal D Ì (M ×)3. The upshot is that the range of T(v1, v2, v3)
contains a nonzero vector tangent to the diagonal in (M×
)3. This contradicts the fact that
:
® (M×
)3 is transverse to D, since D has codimension 6, which is the same as the dimension of
.
Now we know that
1(0) and![](https://minio.scielo.br/documentstore/1678-2690/cNkkyhThnFxFT4rrzS8fgCH/65bbe22a1790e1e3116a174e22fe8bfb5bb57198.gif)
(d) Branches of s2 meet transversally in pairs, they do so only at points of s3, and every point of s3 is such a crossing point,
where by a branch of s2 we mean the projection of an arc in n2. Since transversality is an open property, (d) also remains valid under perturbation of the Riemannn structure.
The remainder of the proof of focal stability follows the pattern of Theorem 5.1 in Kupka et al. 2006. Fix a compact set S Ì TpM. Then choose a disc B in TpM that contains S. We know that the focal decomposition amounts to a smooth one-dimensional graph, namely G = s2Ès3, which has transverse crossings of multiplicity two. We adjust B so that its boundary is transverse to G. Let g' be a small perturbation of g and let G' be the corresponding graph. Since all aspects of the graph depend continuously on the Riemann structure, and all are transverse, if g' is sufficiently close to g, then there exists a homeomorphism from B to itself that sends GÇB to G'ÇB.
6 PROOF OF THEOREM B
We assume that M is a compact surface of genus > 2 and we denote by Ì
the nonempty set of Riemann structures whose curvature is identically equal to -1.
Fix g Î and p Î M. As described in section 2, we can lift g to a Riemann structure
on TpM and view the focal decomposition in terms of mediatrices for the corresponding metric
. Since g has constant negative curvature,
is isometric to the Poincaré metric r on the unit disc
, and mediatrices are r-geodesics. As such, mediatrices are circular arcs meeting ¶
perpendicularly. Thus, any two mediatrices meet one another transversally, and they do so at most once.
Let P be the lattice of pre-images of p in TpM, and denote the corresponding mediatrix set as
µ = {v Î TpM : for some Î P \ {0} and |v| = r(v,
)}.
Fix a compact set S Ì TpM. At most finitely many µ-mediatrices meet S. Choose a constant R and let B denote the compact disc
TpM(R) = {v Î TpM : |v| = R}.
When R is large, B contains S in its interior and we can adjust R so that ¶B is transverse to the µ-mediatrices. Let t be the finite set of points in B at which the µ-mediatrices intersect one another. Thus
t = (s3È s4È· · · È ) Ç B
for some finite . If v Î sk, there are k-1 µ-mediatrices that pass through it. They are pairwise transverse. A small change of p preserves all transversalities in the disc of radius R; such a perturbation of the base point can not increase the multiplicity of a vector in t, although it may lower it. (Here is where the argument uses the fact that the curvature is constant - mediatrices in the constant curvature case are always transverse to one another.) Thus, there is an open-dense set U Ì M such that if p Î U and p' is sufficiently near p then all multiplicities of the µ'-mediatrices in B' =
(R) are the same as those in B. (By µ' we denote the mediatrices between the origin of
and the other lifts of p' in
.) In other words, the graph of µ'-mediatrices in B' is homeomorphic to the graph of µ-mediatrices in B. Taking a sequence of compact sets Sn that exhausts TpM leads to a sequence of such open dense sets Un in M, and if p Î ÇUn then the focal decomposition in TpM is stable with respect to perturbation of the base point p. This completes the proof of the first assertion in Theorem B.
The second assertion in Theorem B is proved in the same way. Again, mediatrix transversality implies that perturbation of g can only decrease intersection multiplicity, it cannot increase it. Thus, there is an open dense set in Ì
such that if g Î
and g'Î
is near enough to g then the µ'-mediatrix graph in B is homeomorphic to the µ-mediatrix graph in B. Again, choosing a sequence of compact sets Sn that exhausts TpM leads to a sequence of open dense sets
n in
, and if g Î Ç
n then the focal decomposition of TpM is stable with respect to perturbation of g within
.
REMARK. Theorem B does not assert the multiplicity of the focal decomposition of the generic g Î is at most three. We believe, however, that such an assertion is correct, and we can phrase our expectation as follows. If M has genus s > 2 then the Teichmuller space ts of hyperbolic structures on M amounts to
/
where
denotes isometric deformations. It is a space smoothly parameterized by 6(s - 1) real variables, and we expect that for a residual subset of these parameter values the corresponding hyperbolic structure has sk = Æ for all k > 4. From this it would follow at once that the generic g Î
is focally stable with respect to variation of g in
, not just with respect variation of g within
, as in Theorem B.
7 CONJUGATE POINTS
A Riemann structure with non-negative curvature has no conjugate points, but the set of such Riemann structures does not form an open subset of
. For example, a flat Riemann structure on the torus has no conjugate points although it can be perturbed so that conjugate points appear. See Kupka et al. 2006, Proposition 4.8, where a bump is glued to a cylinder. Thus, the assertion of Theorem A', below, should be viewed with caution, for a generic subset of
need not be dense in
.
THEOREM A'. Focal stability (for a fixed p Î M) holds for the generic g Î .
PROOF. In the proof of Theorem A, we only used the assumption that expp is a local diffeomorphism, i.e., that there are no conjugate points, and the fact that the generic g Î stably possess the transversality properties (a)-(d).
The next result shows that Theorem A' has wider scope than Theorem A.
PROPOSITION 7.1. The interior of
is strictly larger than . PROOF. Let M be the bitorus, or any surface with genus > 2. Equip it with a Riemann structure of constant curvature -1. Cut out a small disc in M and replace it with a small polar cap having unit positive curvature. A smoothing collar is used to attach the cap. This gives a new Riemann structure g on M, g Ï . Any g-geodesic spends relatively little time in the polar cap or collar. Most of the time the geodesic travels through the part of the surface with curvature -1. Thus, there are no conjugate points, so g belongs to
, and the same holds for all nearby Riemann structures.
REMARK. The question remains as to whether the generic Riemann structure on a surface has the focal stability property - i.e., whether we can do without the no conjugate point assumption. Much of what we proved above does hold when there are conjugate points, and also some generic properties of conjugate points are known. For example, in Weinstein 1970, Alan Weinstein announces that in dimension two, the singularities of the generic exponential map are either folds or cusps. These are the Whitney singularities for maps of the plane to itself. If, in addition to this, we knew how the fold and cusp singularities relate to the foliation of TpM by circles of constant radius, then we could probably resolve the Focal Stability Conjecture for surfaces. In higher dimensions the singularities of the generic exponential map are much more complicated than in dimension two, cf. Weinstein 1970, which leads us to think that the Focal Stability Conjecture will be quite hard to resolve in full generality.
ACKNOWLEDGMENTS
Both authors were partially supported by Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq).
Manuscript received on August 3, 2006; accepted for publication on October 2, 2006; contributed by MAURICIO M. PEIXOTO* AND CHARLES C. PUGH*
* Member Academia Brasileira de Ciências
Correspondence to: Prof. Mauricio M. Peixoto
E-mail: peixoto@impa.br
- KUPKA I, PEIXOTO MM AND PUGH C. 2006. Focal Stability of Riemann Metrics. J Reine Angew Math 593: 31-72.
- BERNHARD J AND VEERMAN JJP. 2006. Minimally Separating Sets, Mediatrices and Brillouin Spaces. Topol Appl 153: 1421-1433.
- WEINSTEIN A. 1970. The generic conjugate locus. Global Analysis, Proceedings of Symposia in Pure Mathematics. Am Math Soc 15: 299-301.
Publication Dates
-
Publication in this collection
23 Mar 2007 -
Date of issue
Mar 2007
History
-
Accepted
02 Oct 2006 -
Received
03 Aug 2006