- Systoles of surfaces
In
mathematics , systolic inequalities for curves on surfaces were first studied byCharles Loewner in 1949 (unpublished; see remark at end of Pu's paper in '52). Given aclosed surface , its systole, denoted sys, is defined to the least length of a loop that cannot be contracted to a point on the surface. The "systolic area" of a metric is defined to be the ratio area/sys2. The "systolic ratio" SR is the reciprocal quantity sys2/area. See alsoIntroduction to systolic geometry .Torus
In 1949
Loewner proved his inequality for metrics on thetorus T2, namely that the systolic ratio SR(T2) is bounded above by , with equality in the flat (constant curvature) case of the equilateral torus (seehexagonal lattice ).Real projective plane
A similar result is given by
Pu's inequality for thereal projective plane from 1952, due toP. M. Pu , with an upper bound of "π"/2 for the systolic ratio SR(RP2), also attained in the constant curvature case.Klein bottle
For the
Klein bottle "K", Bavard (1986) obtained an optimal upper bound of for the systolic ratio::,
based on work by Blatter from the 1960s.
Genus 2
An orientable surface of genus 2 satisfies Loewner's bound , see (Katz-Sabourau '06). It is unknown whether or not every surface of positive genus satisfies Loewner's bound. It is conjectured that they all do. The answer is affirmative for genus 20 and above by (Katz-Sabourau '05).
Arbitrary genus
For a closed surface of genus "g", Hebda and Burago (1980) showed that the systolic ratio SR(g) is bounded above by the constant 2. Three years later,
Mikhael Gromov found an upper bound for SR(g) given by a constant times:.
A similar "lower" bound (with a smaller constant) was obtained by Buser and Sarnak. Namely, they exhibited arithmetic hyperbolic Riemann surfaces with systole behaving as a constant times . Note that area is 4π(g-1) from the Gauss-Bonnet theorem, so that SR(g) behaves asymptotically as a constant times .
The study of the asymptotic behavior for large genus of the systole of hyperbolic surfaces reveals some interesting constants. Thus,
Hurwitz surface s defined by a tower of principal congruence (PC) subgroups of the (2,3,7) hyperbolic triangle group satisfy the bound:
and a similar bound holds for more general arithmetic
Fuchsian group s. This 2007 result by Katz, Schaps, and Vishne generalizes the results ofPeter Sarnak and Peter Buser in the case of arithmetic groups defined over , from their seminal 1994 paper (see below). For the Hurwitz surfaces of PC type, the systolic ratio SR(g) is asymptotic to:.
Using
Katok's entropy inequality , the following asymptotic "upper bound" for SR(g) was found in (Katz-Sabourau '05)::,
see also (Katz '07), p. 85. Combining the two estimates, one obtains tight bounds for the asymptotic behavior of the systolic ratio of surfaces.
phere
There is also a version of the inequality for metrics on the sphere, for the invariant "L" defined as the least length of a closed geodesic of the metric. In '80, Gromov conjectured a lower bound of for the ratio area/L2. A lower bound of 1/961 obtained by Croke in '88 has recently been improved by Nabutovsky, Rotman, and Sabourau.
ee also
*
Differential geometry of surfaces References
*Bavard, C.: Inégalité isosystolique pour la bouteille de Klein. Math. Ann. 274 (1986), no. 3, 439–441.
*Buser, P.; Sarnak, P.: On the period matrix of a Riemann surface of large genus. With an appendix by J. H. Conway and N. J. A. Sloane. Invent. Math. 117 (1994), no. 1, 27--56.
*Gromov, M.: Filling Riemannian manifolds, J. Diff. Geom. 18 (1983), 1–147.
*Hebda, J. : Some lower bounds for the area of surfaces. Invent. Math. 65 (1981/82), no. 3, 485–490.
*Citation | last1=Katz | first1=Mikhail G. | title=Systolic geometry and topology | publisher=
American Mathematical Society | location=Providence, R.I. | series=Mathematical Surveys and Monographs | isbn=978-0-8218-4177-8 | year=2007 | volume=137.* Katz, M.; Sabourau, S.: Entropy of systolically extremal surfaces and asymptotic bounds. Ergo. Th. Dynam. Sys. 25 (2005), 1209-1220.
* Katz, M.; Sabourau, S.: Hyperelliptic surfaces are Loewner, Proc. Amer. Math. Soc. 134 (2006), no. 4, 1189-1195. See arXiv|math.DG|0407009
* Katz, M.; Schaps, M.; Vishne, U.: Logarithmic growth of systole of arithmetic Riemann surfaces along congruence subgroups. J. Differential Geom. 76 (2007), no. 3, 399-422. Available at arXiv|math.DG|0505007
*Pu, P.M.: Some inequalities in certain nonorientable Riemannian manifolds. Pacific J. Math. 2 (1952), 55–71.
Wikimedia Foundation. 2010.