Pu's inequalityIn differential geometry, Pu's inequality, proved by Pao Ming Pu, relates the area of an arbitrary Riemannian surface homeomorphic to the real projective plane with the lengths of the closed curves contained in it. A student of Charles Loewner, Pu proved in his 1950 thesis that every Riemannian surface homeomorphic to the real projective plane satisfies the inequality where is the systole of . The equality is attained precisely when the metric has constant Gaussian curvature.
Differential geometry of surfacesIn mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface.
Filling area conjectureIn differential geometry, Mikhail Gromov's filling area conjecture asserts that the hemisphere has minimum area among the orientable surfaces that fill a closed curve of given length without introducing shortcuts between its points. Every smooth surface M or curve in Euclidean space is a metric space, in which the (intrinsic) distance dM(x,y) between two points x, y of M is defined as the infimum of the lengths of the curves that go from x to y along M.
Bolza surfaceIn mathematics, the Bolza surface, alternatively, complex algebraic Bolza curve (introduced by ), is a compact Riemann surface of genus with the highest possible order of the conformal automorphism group in this genus, namely of order 48 (the general linear group of matrices over the finite field ). The full automorphism group (including reflections) is the semi-direct product of order 96. An affine model for the Bolza surface can be obtained as the locus of the equation in .
Klein quarticIn hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact Riemann surface of genus 3 with the highest possible order automorphism group for this genus, namely order 168 orientation-preserving automorphisms, and 168 × 2 = 336 automorphisms if orientation may be reversed. As such, the Klein quartic is the Hurwitz surface of lowest possible genus; see Hurwitz's automorphisms theorem. Its (orientation-preserving) automorphism group is isomorphic to PSL(2, 7), the second-smallest non-abelian simple group after the alternating group A5.