Open Mathematics 2020; 18: 902–906 Research Article Mikhail G. Katz* and Tahl Nowik A systolic inequality with remainder in the real projective plane https://doi.org/10.1515/math-2020-0050 received November 16, 2019; accepted July 1, 2020 Abstract: The first paper in systolic geometry was published by Loewner’s student P. M. Pu over half a century ago. Pu proved an inequality relating the systole and the area of an arbitrary metric in the real projective plane. We prove a stronger version of Pu’s systolic inequality with a remainder term. Keywords: systole, geometric inequality, Riemannian submersion, Cauchy-Schwarz theorem, probabilistic variance MSC 2020: 53C23, 53A30 1 Introduction Loewner’s systolic inequality for the torus and Pu’s inequality [1] for the real projective plane were historically the first results in systolic geometry. Great stimulus was provided in 1983 by Gromov’s paper [2] and later by his book [3]. Our goal is to prove a strengthened version with a remainder term of Pu’s systolic inequality sys2()g ≤ π area g (for an arbitrary metric g on 2), analogous to Bonnesen’s inequality L224πARr π 2, 2 ( ) −≥(−) where L is the length of a Jordan curve in the plane, A is the area of the region bounded by the curve, R is the circumradius and r is the inradius. Note that both the original proof in Pu ([1], 1952) and the one given by Berger ([4], 1965, pp. 299–305) proceed by averaging the metric and showing that the averaging process decreases the area and increases the systole. Such an approach involves a five-dimensional integration (instead of a three-dimensional one given here) and makes it harder to obtain an explicit expression for a remainder term. Analogous results for the torus were obtained in ref. [5] with generalizations in ref. [6–17]. 2 The results We define a closed three-dimensional manifold M ⊆×33by setting M ={()∈×vw,33 : vv ⋅= 1, ww ⋅= 1, vw ⋅=} 0 , where vw⋅ is the scalar product on 3. We have a diffeomorphism M →(SO 3, ), (vw,,,)↦( vwv × w), 3 where vw× is the vector product on . Given a point (vw, )∈M, the tangent space TM()vw, can be identified by differentiating the three defining equations of M along a path through ()vw, . Thus, * Corresponding author: Mikhail G. Katz, Department of Mathematics, Bar Ilan University, Ramat Gan 5290002, Israel, e-mail: [email protected] Tahl Nowik: Department of Mathematics, Bar Ilan University, Ramat Gan 5290002, Israel, e-mail: [email protected] Open Access. © 2020 Mikhail G. Katz and Tahl Nowik, published by De Gruyter. This work is licensed under the Creative Commons Attribution 4.0 Public License. A systolic inequality with remainder in the real projective plane 903 33 T()vw, M={()∈× XY, : Xv ⋅= 0, Yw ⋅= 0, Xw ⋅+⋅=} Yv 0 . fi We de ne a Riemannian metric gM on M as follows. Given a point (vw, )∈M, let nv=×w and declare fi the basis (0,nn)( , , 0 )( , w , − v) of TM()vw, to be orthonormal. This metric is a modi cation of the metric restricted to M from 336×=. Namely, with respect to the Euclidean metric on 6 the above three vectors are orthogonal and the first two have length 1. However, the third vector has Euclidean length 2 , fi whereas we have de ned its length to be 1. Thus, if AT⊆ ()vw, M denotes the span of ()0,n and ()n,0 , and 6 B ⊆ TM()vw, is spanned by (wv, − ), then the metric gM on M is obtained from the Euclidean metric g on (viewed as a quadratic form) as follows: 1 gg=⇂+ g ⇂. (1) M AB2 Each of the natural projections p,:qM→ S2 given by p()=vw, vand q()=vw, w exhibits M as a circle bundle over S2. Lemma 2.1. 23 The maps p and q on ()Mg, M are Riemannian submersions, over the unit sphere S ⊆ . Proof. For the projection p, given (vw, )∈M, the vector ()0, n as defined above is tangent to the fiber −1 p (v). The other two vectors, ()n,0 and (wv, − ), are thus an orthonormal basis for the subspace of TM()vw, fi 2 □ normal to the ber and are mapped by dp to the orthonormal basis n, w of TSv . The projection p maps the fiber q−1(w) onto a great circle of S2. This map preserves length since the fi −1 2 unit vector ()n,0 , tangent to the ber q (w) at ()vw, , is mapped by dp to the unit vector nTS∈ v . The same comments apply when the roles of p and q are reversed. In the following proposition, integration takes place, respectively, over great circles C ⊆ S2, over the fibers in M, over S2, and over M. The integration is always with respect to the volume element of the given Riemannian metric. Since p and q are Riemannian submersions by Lemma 2.1, we can use Fubini’s theorem to integrate over M by integrating first over the fibers of either p or q, and then over S2; cf. [18, Lemma 4]. By the remarks above, if C =(pq−1 () w) and f : S2 → , then ∫ fp∘=∫ f. qw−1() C Proposition 2.2. Given a continuous function f : S2 → +,wedefine m ∈ by setting 2 m=⊆min∫ f : C S a great circle. C Then, 2 m2 1 ≤≤ ff 2 , π 4π ∫∫ SS22 where equality in the second inequality occurs if and only if f is constant. Proof. Using the fact that M is the total space of a pair of Riemannian submersions, we obtain 1 1 1 1 ∫ f=∘=∘=∘≥=∫∫ fpfpfpmm ∫ ∫∫ ∫2 , 2π 2π 2π 2π S22S pv−−1() M S2 qw1 ( ) S2 proving the first inequality. By the Cauchy-Schwarz inequality, we have 904 Mikhail G. Katz and Tahl Nowik 2 14π⋅≤ff 2 , ∫∫ SS22 proving the second inequality. Here, equality occurs if and only if f and 1 are linearly dependent, i.e., if and only if f is constant. □ 2 fi 2 1 We de ne the quantity Vf by setting Vff =−∫∫ f. Then, Proposition 2.2 can be restated as SS224π () follows. Corollary 2.3. Let f : S2 → + be continuous. Then, m2 f 2 −≥≥V 0, ∫ π f S2 and Vf = 0 if and only if f is constant. Proof. The proof is obtained from Proposition 2.2 by noting that a ≤≤b c if and only if c −≥a c −≥b 0. □ 2 We can assign a probabilistic meaning to Vf as follows. Divide the area measure on S by 4π, thus turning it into a probability measure μ. A function f : S2 → + is then thought of as a random variable 1 with expectation Efμ()= ∫ f. Its variance is thus given by 4π S2 2 1 1 1 Var ()=fEfEf (22 )−( ())= f 2 − f = V. μμ μ 4π ∫∫ 4π 4π f SS22 The variance of a random variable f is non-negative, and it vanishes if and only if f is constant. This - reproves the corresponding properties of Vf established above via the Cauchy Schwarz inequality. 2 Now let g0 be the metric of constant Gaussian curvature K = 1 on .Thedoublecovering 22 2 2 ρ :,Sg→( 0) is a local isometry. Each projective line C ⊆ is the image under ρ of a great circle of S . Proposition 2.4. Given a function f : 2 → +, we define m ∈ by setting 2 mfCaprojectiveline=⊆min∫ : . C Then, 2 2m2 1 ≤≤ ff 2 , π 2π ∫∫ 22 where equality in the second inequality occurs if and only if f is constant. Proof. We apply Proposition 2.2 to the composition fρ∘ .Notethatwehave∫ fρ∘=2 ∫ fand ρC−1() C ∫ fρ∘=2 ∫ f. The condition for f to be constant holds since f is constant if and only if fρ∘ is constant. □ S22 2 For 2 we define Vf=−∫∫2 1 fV =1 . We obtain the following restatement of Proposi- ffρ222π () 2 ∘ tion 2.4. A systolic inequality with remainder in the real projective plane 905 Corollary 2.5. Let f : 2 → + be a continuous function. Then, 2m2 f 2 −≥≥V 0, ∫ π f 2 where Vf = 0 if and only if f is constant. Relative to the probability measure induced by 1 g on 2, we have Ef()= 1 f, and therefore 2π 0 2π ∫ 2 Var fV1 , providing a probabilistic meaning for the quantity V , as before. ()=2π f f 2 2 By the uniformization theorem, every metric g on is of the form gfg= 0, where g0 is of constant Gaussian curvature +1, and the function f : 2 → + is continuous. The area of g is f 2, and the ∫ 2 g-length of a projective line C is ∫ f . Let L be the shortest length of a noncontractible loop. Then, L ≤ m C where m is defined in Proposition 2.4, since a projective line in 2 is a noncontractible loop. Then, 2 2 Corollary 2.5 implies area 2 , gV2L 0.Ifarea 2 , g 2L , then V 0, which implies that f is ()−≥≥π f ()=π f = constant, by Corollary 2.5. Conversely, if f is a constant c, then the only geodesics are the projective lines, 2 and therefore, L cπ. Hence, 2L 2πc22 area . We have thus completed the proof of the following = π ==() result strengthening Pu’s inequality. Theorem 2.6. Let g be a Riemannian metric on 2. Let L be the shortest length of a noncontractible loop in 2 2 + 2 (), g . Let f : → be such that gfg= 0, where g0 is of constant Gaussian curvature +1. Then, 2L2 area()−g ≥2πVar ()f , π where the variance is with respect to the probability measure induced by 1 g .