Indifferential geometry,Pu's inequality, proved byPao Ming Pu, relates thearea of an arbitraryRiemannian surface homeomorphic to thereal projective plane with thelengths of the closed curves contained in it.

A student ofCharles Loewner, Pu proved in his 1950 thesis (Pu 1952) that every Riemannian surface${\displaystyle M}$ homeomorphic to thereal projective plane satisfies the inequality

${\displaystyle \mathrm{Area}(M)\ge \frac{2}{\pi }\mathrm{Systole}(M{)}^2,}$

where${\displaystyle \mathrm{Systole}(M)}$ is thesystole of${\displaystyle M}$.The equality is attained precisely when the metric has constantGaussian curvature.

In other words, if allnoncontractible loops in${\displaystyle M}$ have length at least${\displaystyle L}$, then${\displaystyle \mathrm{Area}(M)\ge \frac{2}{\pi }{L}^2,}$ and the equality holds if and only if${\displaystyle M}$ is obtained from a Euclidean sphere of radius${\displaystyle r=L/\pi }$ by identifying each point with its antipodal.

Pu's paper also stated for the first timeLoewner's inequality, a similar result for Riemannian metrics on thetorus.

Pu's original proof relies on theuniformization theorem and employs an averaging argument, as follows.

By uniformization, the Riemannian surface${\displaystyle (M,g)}$ isconformally diffeomorphic to a round projective plane. This means that we may assume that the surface${\displaystyle M}$ is obtained from the Euclidean unit sphere${\displaystyle S^2}$ by identifying antipodal points, and the Riemannian length element at each point${\displaystyle x}$ is

${\displaystyle \mathrm{d}\mathrm{L}\mathrm{e}\mathrm{n}\mathrm{g}\mathrm{t}\mathrm{h}=f(x){\mathrm{d}\mathrm{L}\mathrm{e}\mathrm{n}\mathrm{g}\mathrm{t}\mathrm{h}}_{\text{Euclidean}},}$

where${\displaystyle {\mathrm{d}\mathrm{L}\mathrm{e}\mathrm{n}\mathrm{g}\mathrm{t}\mathrm{h}}_{\text{Euclidean}}}$ is the Euclidean length element and the function${\displaystyle f:S^2\to (0,+\mathrm{\infty })}$, called theconformal factor, satisfies${\displaystyle f(-x)=f(x)}$.

More precisely, the universal cover of${\displaystyle M}$ is${\displaystyle S^2}$, a loop${\displaystyle \gamma \subseteq M}$ is noncontractible if and only if its lift${\displaystyle \tilde{\gamma }\subseteq S^2}$ goes from one point to its opposite, and the length of each curve${\displaystyle \gamma }$ is

${\displaystyle \mathrm{Length}(\gamma )={\int }_{\tilde{\gamma }}f{\mathrm{d}\mathrm{L}\mathrm{e}\mathrm{n}\mathrm{g}\mathrm{t}\mathrm{h}}_{\text{Euclidean}}.}$

Subject to the restriction that each of these lengths is at least${\displaystyle L}$, we want to find an${\displaystyle f}$ that minimizes the

${\displaystyle \mathrm{Area}(M,g)={\int }_{S_{+}^2}f(x{)}^2{\mathrm{d}\mathrm{A}\mathrm{r}\mathrm{e}\mathrm{a}}_{\text{Euclidean}}(x),}$

where${\displaystyle S_{+}^2}$ is the upper half of the sphere.

A key observation is that if we average several different${\displaystyle f_i}$ that satisfy the length restriction and have the same area${\displaystyle A}$, then we obtain a better conformal factor, that also satisfies the length restriction and has

${\displaystyle \mathrm{Area}(M,g_{\text{new}})={\int }_{S_{+}^2}{\left(\frac{1}{n}\sum _i{f}_i(x)\right)}^2{\mathrm{d}\mathrm{A}\mathrm{r}\mathrm{e}\mathrm{a}}_{\text{Euclidean}}(x)}$

${\displaystyle \le \frac{1}{n}\sum _i\left({\int }_{S_{+}^2}{f}_i(x{)}^2{\mathrm{d}\mathrm{A}\mathrm{r}\mathrm{e}\mathrm{a}}_{\text{Euclidean}}(x)\right)=A,}$

and the inequality is strict unless the functions${\displaystyle f_i}$ are equal.

A way to improve any non-constant${\displaystyle f}$ is to obtain the different functions${\displaystyle f_i}$ from${\displaystyle f}$ usingrotations of the sphere${\displaystyle R_i\in S{O}^3}$, defining${\displaystyle f_i(x)=f(R_i(x))}$. If weaverage over all possible rotations, then we get an${\displaystyle f_{\text{new}}}$ that is constant over all the sphere. We can further reduce this constant to minimum value${\displaystyle r=\frac{L}{\pi }}$ allowed by the length restriction. Then we obtain the obtain the unique metric that attains the minimum area${\displaystyle 2\pi r^2=\frac{2}{\pi }{L}^2}$.

Alternatively, every metric on the sphere${\displaystyle S^2}$ invariant under the antipodal map admits a pair of opposite points${\displaystyle p,q\in S^2}$ at Riemannian distance${\displaystyle d=d(p,q)}$ satisfying${\displaystyle d^2\le \frac{\pi }{4}\mathrm{area}(S^2).}$

A more detailed explanation of this viewpoint may be found at the pageIntroduction to systolic geometry.

An alternative formulation of Pu's inequality is the following. Of all possible fillings of theRiemannian circle of length${\displaystyle 2\pi }$ by a${\displaystyle 2}$-dimensional disk with the strongly isometric property, the roundhemisphere has the least area.

To explain this formulation, we start with the observation that the equatorial circle of the unit${\displaystyle 2}$-sphere${\displaystyle S^2\subset {\mathbb{R}}^3}$ is aRiemannian circle${\displaystyle S^1}$ of length${\displaystyle 2\pi }$. More precisely, the Riemannian distance functionof${\displaystyle S^1}$ is induced from the ambient Riemannian distance on the sphere. Note that this property is not satisfied by the standard imbedding of the unit circle in the Euclidean plane. Indeed, the Euclidean distance between a pair of opposite points of the circle isonly${\displaystyle 2}$, whereas in the Riemannian circle it is${\displaystyle \pi }$.

We consider all fillings of${\displaystyle S^1}$ by a${\displaystyle 2}$-dimensional disk, such that the metric induced by the inclusion of the circle as the boundary of the disk is the Riemannianmetric of a circle of length${\displaystyle 2\pi }$. The inclusion of the circle as the boundary is then called a strongly isometric imbedding of the circle.

Gromovconjectured that the round hemisphere gives the "best" way of filling the circle even when the filling surface is allowed to have positive genus (Gromov 1983).

Pu's inequality bears a curious resemblance to the classicalisoperimetric inequality

${\displaystyle L^2\ge 4\pi A}$

forJordan curves in the plane, where${\displaystyle L}$ is the length of the curve while${\displaystyle A}$ is the area of the region it bounds. Namely, in both cases a 2-dimensional quantity (area) is bounded by (the square of) a 1-dimensional quantity (length). However, the inequality goes in the opposite direction. Thus, Pu's inequality can be thought of as an "opposite" isoperimetric inequality.

• Filling area conjecture
• Gromov's systolic inequality for essential manifolds
• Gromov's inequality for complex projective space
• Loewner's torus inequality
• Systolic geometry
• Systoles of surfaces

• Gromov, Mikhael (1983)."Filling Riemannian manifolds".J. Differential Geom.18 (1):1–147.doi:10.4310/jdg/1214509283.MR 0697984.
• Gromov, Mikhael (1996). "Systoles and intersystolic inequalities". In Besse, Arthur L. (ed.).Actes de la Table Ronde de Géométrie Différentielle (Luminy, 1992) [Proceedings of the Roundtable on Differential Geometry]. Séminaires et Congrès. Vol. 1. Paris: Soc. Math. France. pp. 291–362.ISBN 2-85629-047-7.MR 1427752.
• Gromov, Misha (1999) [1981].Metric structures for Riemannian and non-Riemannian spaces. Progress in Mathematics. Vol. 152. With appendices by M. Katz, P. Pansu and S. Semmes. Translated from the French by Sean Michael Bates. Boston, MA: Birkhäuser Boston, Inc.ISBN 0-8176-3898-9.MR 1699320.
• Katz, Mikhail G. (2007).Systolic geometry and topology. Mathematical Surveys and Monographs. Vol. 137. With an appendix by J. Solomon. Providence, RI:American Mathematical Society.doi:10.1090/surv/137.ISBN 978-0-8218-4177-8.MR 2292367.S2CID 118039315.
• Pu, Pao Ming (1952)."Some inequalities in certain nonorientable Riemannian manifolds".Pacific J. Math.2 (1):55–71.doi:10.2140/pjm.1952.2.55.MR 0048886.

• Riemannian geometry
• Geometric inequalities
• Differential geometry of surfaces
• Systolic geometry

• Articles with short description
• Short description is different from Wikidata