arxiv: v1 [math.dg] 16 Nov 2017

Transcription

1 BELTRAMI S THEOREM VIA PARABOLIC GEOMETRY ariv: v1 [math.dg] 16 Nov 2017 MICHAEL EASTWOOD Astract. We use Beltrami s theorem as an excuse to present some arguments from paraolic differential geometry without any of the paraolic machinery. 0. Introduction One version of Beltrami s theorem [1] is as follows. Theorem. Suppose M is a smooth two-dimensional manifold and g a is a Riemannian metric on M. Then g a is constant curvature if and only if there are local coördinates near any point in which the geodesics of g a ecome straight lines. Antonio Di Scala [3] has a very nice proof of this theorem, which he kindly explained to me (in English). He asked me aout a proof y the methods of paraolic geometry ut insisted that I did not wave my hands at all. In particular, I was not allowed to say Cartan connection nor development map. So what follows is an application of some key ideas from paraolic geometry without actually explaining any of the underlying theory. The discerning reader will correctly suspect that this is just the tip of an iceerg. For a comprehensive description of the iceerg itself, the reader is directed to [2]. I would like to thank Antonio Di Scala for many interesting discussions during the preparation of this article. 1. Geodesics We need some notation and asic results on geodesics. Let M e a smooth two-dimensional manifold. We shall denote y T M the tangent 2010 Mathematics Suject Classification. 53A20. This work was also supported y the Simons Foundation grant and the Polish Government MNiSW matching fund. It was written whilst the author was at the Banach Centre at IMPAN in Warsaw for the Simons Semester Symmetry and Geometric Structures. 1

2 2 MICHAEL EASTWOOD undle of M and y 1 the undle of 1-forms on M. Suppose a : TM 1 TM is a torsion-free connection and t γ(t) M is a smooth curve. Let us write U a for the velocity field along γ and, having in mind a torsion-free connection a, write U a a for the directional derivative along γ. Then γ is an affinely parameterised geodesic for a if and only if the acceleration field U a vanishes. The geodesics in Beltrami s theorem, however, are unparameterised curves. It means that we should instead allow U a = fu a for some smooth function f. Lemma. In order that two torsion-free connections a and a have the same unparameterised geodesics, it is necessary and sufficient that locally (1) a c = a c +Υ a c +Υ δ a c, where δ a c denotes the identity tensor and Υ a is an aritrary 1-form. Proof. The general formula relating two torsion-free connections is a c = a c +Γ a c, where Γ a c = Γ a c. Therefore U c = U c +U a Γ a c U and so we require that U a U Γ a c U c for all U a. It is a matter of linear algera to check that this forces for some Υ a. Γ a c = δ a c Υ +δ c Υ a The Ricci tensor R a of a, characterised y ( a a ) = R a for all vector fields, is not necessarily symmetric. However, it is easy to check that if a and a are related y (1), then (2) Ra = R a 2 a Υ + Υ a +Υ a Υ. Locally, therefore, we may always use(1) to arrange that the Ricci tensor e symmetric without disturing its unparameterised geodesics. Instead of proving Beltrami s theorem itself, we shall estalish a more general result concerning the geodesics of an aritrary torsion-free affine connection. Bearing in mind that we can arrange the Ricci tensor to e symmetric, the more general result can e stated as follows.

3 BELTRAMI VIA PARABOLIC 3 Theorem. Suppose M is a smooth two-dimensional manifold. Denote y TM the tangent undle of M and y 1 the undle of 1-forms on M. Suppose a : TM 1 TM is a torsion-free connection. Suppose that its Ricci tensor R a is symmetric. Let Y ac a R c R ac. Then Y ac = 0 if and only if there are local coördinates near any point in which the geodesics of a ecome straight lines. The reason that this theorem is more general than Beltrami s is that, in case of a metric connection in two dimensions, the Gaußian curvature K is characterised y R a = Kg a whence Y ac = ( a K)g c ( K)g ac. Remark Another convenience of a having a symmetric Ricci tensor in two dimensions is that, in this case, (3) ( a a ) c = δ a c R d d δ c R ad d, as one may readily verify. 2. A surprising connection Fixing a torsion-free connection a on TM with symmetric Ricci tensor R a, we define a connection, also denoted y a, on the undle T TM 0 y (4) T = TM 0 a a δ a a +R a 1 T. We may compute its curvature: c a ( a = c δ c ) δ c a ( +R d d ) a ( +R c c )+R ac ( c δ c ) so [ ] c ( a a ) = [ ] ( a a ) c (δ c a R d δ c R ad ) d ( a R c R ac ) c ut, according to (3), the first row vanishes and so we are left with c 0 ( a a ) = Y ac c. In other words, this connection is flat if and only if Y ac = 0, which is somewhat surprising.

4 4 MICHAEL EASTWOOD 3. Proof of main theorem We are now in a position to prove the generalised Beltrami theorem from Section 1. One direction is mindless computation. Specifically, if the geodesics of a are straight lines in local coördinates, then (1) holds with a eing flat. According to (2) with R a symmetric, we conclude that R a = a Υ Υ a Υ and [a Υ ] = 0. We now compute Y ad = a R d R ad = ( a a )Υ d Υ a Υ d +Υ a Υ d and, from (3), conclude that Y ad = Υ a (R d Υ d )+Υ (R ad a Υ d ) = Υ a Υ Υ d +Υ Υ a Υ d, which vanishes, as advertised. In other other direction we use the surprising flat connection (4). As the undle T has rank 3, locally we may find a three-dimensional space ofcovariant constant sections, which we shall identify asr 3 (andreplace M y a suitale open suset on which this is valid). Each point x M now gives rise to a 1-dimensional linear suspace in R 3, namely { } L x Γ(T) s.t. a = 0 and x = 0. In this way, we otain φ : M RP 2 (and replace M y a suitale open suset on which φ : M RP 2 ). Now suppose γ M is a geodesic with velocity vector U a, as efore. Restricting the connection (4) to γ gives : T T. Specifically, (5) = U +U a R a. In particular, if is somewhere is somewhere tangent to γ, then this is always the case along γ and (5) ecomes fu ( f )U = +fu a R a U, which is simply the second order linear ordinary differential equation f +R a U a U f = 0 along γ. Its two-dimensional space of solutions is a linear suspace of the space of covariant constant sections of T. So the geodesic γ gives a straight line in RP 2. Otherwise said, the diffeomorphism φ : M RP 2 mapsgeodesics inm to straight lines inrp 2. These lines maye viewed in a standard affine chart R 2 RP 2 and the proof is complete.

5 BELTRAMI VIA PARABOLIC 5 4. Beltrami s task In fact, Antonio Di Scala pointed out to me that Beltrami finds in [1] the general form of a metric on R 2 with the property that its geodesics, as unparameterised curves, are straight lines and, only having done this, does he note that these metrics have constant Gaußian curvature. This is a much more challenging task ut one that is also familiar from paraolic differential geometry (as a particular instance of finding solutions to a so-called first BGG operator ). Without going into details, oservations of R. Liouville [4] comine with the connection (4) on R 2 in allowing one easily to write down the general metric defined on U open R 2 and having the property that its geodesics are straight lines. There is a six parameter family thereof: (ry 2 +2qy +u)dx 2 2(rxy +qx+py +t)dxdy +(rx 2 +2px+s)dy 2 ( (rx2 +2px+s)(ry 2 +2qy +u) (rxy +qx+py +t) 2) 2 forp,q,r,s,t,u R, definedwherever thisexpressionispositivedefinite. The case (p,q,r,s,t,u) = (0,0,1,1,0,1) gives the Thales metric (1+y 2 )dx 2 2xydxdy +(1+x 2 )dy 2 (1+x 2 +y 2 ) 2 defined everywhere, whilst the case (p,q,r,s,t,u) = (0,0, 1,1,0,1) is the Beltrami metric (1 y 2 )dx 2 +2xydxdy +(1 x 2 )dy 2 (1 x 2 y 2 ) 2 defined on the unit disc. In any case, a rather involved computation confirms that the Gaußian curvature is constant in the general case, specifically K = r(su t 2 ) p 2 u+2pqt q 2 s. References [1] E. Beltrami, Risoluzione del prolema: riportare i punti di una superficie sopra un piano in modo che le linee geodetiche vengano rappresentate da linee rette, Ann. Mat. Pura Appl. 7 (1865) [2] A. Čap and J. Slovák, Paraolic Geometries I: Background and General Theory, American Mathematical Society [3] A.J. Di Scala, Corchete y curvatura, Rev. Colomiana Mat. 39 (2005) [4] R. Liouville, Sur les invariantes de certaines équations différentielle et sur leurs applications, Jour. l École Politechnique 59 (1889) School of Mathematical Sciences, University of Adelaide, SA 5005, Australia address: meastwoo@memer.ams.org