Systolic geometry

<h2 id="the-notion-of-systole">The notion of systole</h2>

The systole of a <a href="/facts/Compact_set/d0cgXJH7">compact</a> <a href="/facts/Metric_space/gnBBRXtc">metric space</a> X is a metric invariant of X, defined to be the least length of a noncontractible <a href="/facts/Loop_(topology)/mgtE53Ty">loop</a> in X (i.e. a loop that cannot be contracted to a point in the ambient space X). In more technical language, we minimize length over <a href="/facts/Free_loop/hDDzS8dt">free loops</a> representing nontrivial <a href="/facts/Conjugacy_classes/AFuPIFNW">conjugacy classes</a> in the <a href="/facts/Fundamental_group/VyYtLqSP">fundamental group</a> of X. When X is a <a href="/facts/Graph_(discrete_mathematics)/kw3eIBUe">graph</a>, the invariant is usually referred to as the <a href="/facts/Girth_(graph_theory)/rPwRGgxj">girth</a>, ever since the 1947 article on girth by <a href="/facts/W._T._Tutte/8VbfbzU6">W. T. Tutte</a>.<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a> Possibly inspired by Tutte's article, Loewner started thinking about systolic questions on surfaces in the late 1940s, resulting in a <a href="/facts/Pu%27s_inequality/vDc8bw6E">1950 thesis</a> by his student <a href="/facts/Pao_Ming_Pu/CNIJsHBH">Pao Ming Pu</a>. The actual term "systole" itself was not coined until a quarter century later, by <a href="/facts/Marcel_Berger/bgaDdaU1">Marcel Berger</a>.
This line of research was, apparently, given further impetus by a remark of <a href="/facts/Ren%C3%A9_Thom/hdzhWSaC">René Thom</a>, in a conversation with Berger in the library of Strasbourg University during the 1961–62 academic year, shortly after the publication of the papers of R. Accola and C. Blatter. Referring to these systolic inequalities, Thom reportedly exclaimed: Mais c'est fondamental! [These results are of fundamental importance!]
Subsequently, Berger popularized the subject in a series of articles and books, most recently in the March 2008 issue of the Notices of the American Mathematical Society (see reference below). A bibliography at the Website for systolic geometry and topology currently contains over 160 articles. Systolic geometry is a rapidly developing field, featuring a number of recent publications in leading journals. Recently (see the 2006 paper by Katz and Rudyak below), the link with the <a href="/facts/Lusternik%E2%80%93Schnirelmann_category/grHpYbmN">Lusternik–Schnirelmann category</a> has emerged. The existence of such a link can be thought of as a theorem in <a href="/facts/Systolic_category/I92YjAjl">systolic topology</a>.

<h2 id="property-of-a-centrally-symmetric-polyhedron-in-3-space">Property of a centrally symmetric polyhedron in 3-space</h2>
Every convex centrally symmetric polyhedron P in R3 admits a pair of opposite (antipodal) points and a path of length L joining them and lying on the boundary ∂P of P, satisfying

L
          
            2
          
        
        ≤
        
          
            π
            4
          
        
        
          a
          r
          e
          a
        
        (
        ∂
        P
        )
        .
      
    
    {\displaystyle L^{2}\leq {\frac {\pi }{4}}\mathrm {area} (\partial P).}

An alternative formulation is as follows. Any centrally symmetric convex body of surface area A can be squeezed through a noose of length 
 
 
 
 
 
 π
 A
 
 
 
 
 {\displaystyle {\sqrt {\pi A}}}
 
, with the tightest fit achieved by a sphere. This property is equivalent to a special case of Pu's inequality (see below), one of the earliest systolic inequalities.

<h2 id="concepts">Concepts</h2>
To give a preliminary idea of the flavor of the field, one could make the following observations. The main thrust of Thom's remark to Berger quoted above appears to be the following. Whenever one encounters an inequality relating geometric invariants, such a phenomenon in itself is interesting; all the more so when the inequality is sharp (i.e., optimal). The classical <a href="/facts/Isoperimetry/u02PG11C">isoperimetric inequality</a> is a good example.

In systolic questions about surfaces, integral-geometric identities play a particularly important role. Roughly speaking, there is an integral identity relating area on the one hand, and an average of energies of a suitable family of loops on the other. By the <a href="/facts/Cauchy%E2%80%93Schwarz_inequality/poMzQUIY">Cauchy–Schwarz inequality</a>, energy is an upper bound for length squared; hence one obtains an inequality between area and the square of the systole. Such an approach works both for the <a href="/facts/Loewner%27s_torus_inequality/pkF4mAxv">Loewner inequality</a>

s
 y
 s
 
 
 2
 
 
 ≤
 
 
 2
 
 3
 
 
 
 ⋅
 
 a
 r
 e
 a
 
 
 
 {\displaystyle \mathrm {sys} ^{2}\leq {\frac {2}{\sqrt {3}}}\cdot \mathrm {area} }
 

for the <a href="/facts/Torus/J9SkaV1W">torus</a>, where the case of equality is attained by the flat torus whose deck transformations form the lattice of <a href="/facts/Eisenstein_integer/UGQmFI8c">Eisenstein integers</a>, and for <a href="/facts/Pu%27s_inequality/vDc8bw6E">Pu's inequality for the real projective plane</a> P2(R):

 
 
 
 
 
 s
 y
 s
 
 
 2
 
 
 ≤
 
 
 π
 2
 
 
 ⋅
 
 a
 r
 e
 a
 
 
 
 {\displaystyle \mathrm {sys} ^{2}\leq {\frac {\pi }{2}}\cdot \mathrm {area} }
 
,
with equality characterizing a metric of constant <a href="/facts/Gaussian_curvature/ARdhnb7o">Gaussian curvature</a>.
An application of the computational formula for the variance in fact yields the following version of Loewner's torus inequality with isosystolic defect:

a
          r
          e
          a
        
        −
        
          
            
              3
            
            2
          
        
        
          
            s
            y
            s
          
          
            2
          
        
        ≥
        
          v
          a
          r
        
        (
        f
        )
        ,
      
    
    {\displaystyle \mathrm {area} -{\frac {\sqrt {3}}{2}}\mathrm {sys} ^{2}\geq \mathrm {var} (f),}

where f is the conformal factor of the metric with respect to a unit area flat metric in its conformal class. This inequality can be thought of as analogous to <a href="/facts/Bonnesen%27s_inequality/NHWeMTqy">Bonnesen's inequality</a> with isoperimetric defect, a strengthening of the isoperimetric inequality.
A number of new inequalities of this type have recently been discovered, including universal volume lower bounds. More details appear at <a href="/facts/Systoles_of_surfaces/dIVJqvsL">systoles of surfaces</a>.

<h2 id="gromovs-systolic-inequality">Gromov's systolic inequality</h2>
The deepest result in the field is <a href="/facts/Gromov%27s_systolic_inequality_for_essential_manifolds/nVMmVnPA">Gromov's inequality</a> for the homotopy 1-systole of an <a href="/facts/Essential_manifold/PKBNxMGR">essential n-manifold</a> M:

s
            y
            s
            π
          
          
            1
          
        
        ⁡

n
          
        
        ≤
        
          C
          
            n
          
        
        vol
        ⁡
        (
        M
        )
        ,
      
    
    {\displaystyle \operatorname {sys\pi } _{1}{}^{n}\leq C_{n}\operatorname {vol} (M),}

where Cn is a universal constant only depending on the dimension of M. Here the homotopy systole sysπ1 is by definition the least length of a noncontractible loop in M. A manifold is called essential if its fundamental class [M] represents a nontrivial class in the <a href="/facts/Homology_(mathematics)/VFJmryEW">homology</a> of its <a href="/facts/Fundamental_group/VyYtLqSP">fundamental group</a>. The proof involves a new invariant called the <a href="/facts/Filling_radius/Tm5mAIKx">filling radius</a>, introduced by Gromov, defined as follows.
Denote by A the coefficient ring Z or Z2, depending on whether or not M is orientable. Then the <a href="/facts/Fundamental_class/bqmdWEEc">fundamental class</a>, denoted [M], of a compact n-dimensional manifold M is a generator of 
 
 
 
 
 H
 
 n
 
 
 (
 M
 ;
 A
 )
 =
 A
 
 
 {\displaystyle H_{n}(M;A)=A}
 
. Given an imbedding of M in Euclidean space E, we set

F
          i
          l
          l
          R
          a
          d
        
        (
        M
        ⊂
        E
        )
        =
        inf
        
          {
          
            ϵ
            >
            0
            
              |
              
                
                
                  ι
                  
                    ϵ
                  
                
                (
                [
                M
                ]
                )
                =
                0
                ∈
                
                  H
                  
                    n
                  
                
                (
                
                  U
                  
                    ϵ
                  
                
                M
                )
              
              
            
          
          }
        
        ,
      
    
    {\displaystyle \mathrm {FillRad} (M\subset E)=\inf \left\{\epsilon >0\left|\;\iota _{\epsilon }([M])=0\in H_{n}(U_{\epsilon }M)\right.\right\},}

where ιε is the inclusion homomorphism induced by the inclusion of M in its ε-neighborhood Uε M in E.
To define an absolute filling radius in a situation where M is equipped with a Riemannian metric g, Gromov proceeds as follows. One exploits an imbedding due to C. Kuratowski. One imbeds M in the Banach space L∞(M) of bounded Borel functions on M, equipped with the sup norm 
 
 
 
 ‖
 
 ‖
 
 
 {\displaystyle \|\;\|}
 
. Namely, we map a point x ∈ M to the function fx ∈ L∞(M) defined by the formula fx(y) = d(x,y) for all y ∈ M, where d is the distance function defined by the metric. By the triangle inequality we have 
 
 
 
 d
 (
 x
 ,
 y
 )
 =
 ‖
 
 f
 
 x
 
 
 −
 
 f
 
 y
 
 
 ‖
 ,
 
 
 {\displaystyle d(x,y)=\|f_{x}-f_{y}\|,}
 
 and therefore the imbedding is strongly isometric, in the precise sense that internal distance and ambient distance coincide. Such a strongly isometric imbedding is impossible if the ambient space is a Hilbert space, even when M is the Riemannian circle (the distance between opposite points must be π, not 2!). We then set E = L∞(M) in the formula above, and define

F
          i
          l
          l
          R
          a
          d
        
        (
        M
        )
        =
        
          F
          i
          l
          l
          R
          a
          d
        
        
          (
          
            M
            ⊂
            
              L
              
                ∞
              
            
            (
            M
            )
          
          )
        
        .
      
    
    {\displaystyle \mathrm {FillRad} (M)=\mathrm {FillRad} \left(M\subset L^{\infty }(M)\right).}

Namely, Gromov proved a sharp inequality relating the systole and the filling radius,

s
            y
            s
            π
          
          
            1
          
        
        ≤
        6
        
        
          F
          i
          l
          l
          R
          a
          d
        
        (
        M
        )
        ,
      
    
    {\displaystyle \mathrm {sys\pi } _{1}\leq 6\;\mathrm {FillRad} (M),}

valid for all essential manifolds M; as well as an inequality

F
          i
          l
          l
          R
          a
          d
        
        ≤
        
          C
          
            n
          
        
        
          
            v
            o
            l
          
          
            n

1
            
              /
            
            n
          
        
        (
        M
        )
        ,
      
    
    {\displaystyle \mathrm {FillRad} \leq C_{n}\mathrm {vol} _{n}{}^{1/n}(M),}

valid for all closed manifolds M.
A summary of a proof, based on recent results in geometric measure theory by S. Wenger, building upon earlier work by L. Ambrosio and B. Kirchheim, appears in Section 12.2 of the book "Systolic geometry and topology" referenced below. A completely different approach to the proof of Gromov's inequality was recently proposed by <a href="/facts/Larry_Guth/q5fLy7NX">Larry Guth</a>.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a>

<h2 id="gromovs-stable-inequality">Gromov's stable inequality</h2>
A significant difference between 1-systolic invariants (defined in terms of lengths of loops) and the higher, k-systolic invariants (defined in terms of areas of cycles, etc.) should be kept in mind. While a number of optimal systolic inequalities, involving the 1-systoles, have by now been obtained, just about the only optimal inequality involving purely the higher k-systoles is <a href="/facts/Gromov%27s_inequality_for_complex_projective_space/lAfKwLwH">Gromov's optimal stable 2-systolic inequality</a>

s
            t
            s
            y
            s
          
          
            2

n
          
        
        ≤
        n
        !
        
        
          
            v
            o
            l
          
          
            2
            n
          
        
        (
        
          
            C
            P
          
          
            n
          
        
        )
      
    
    {\displaystyle \mathrm {stsys} _{2}{}^{n}\leq n!\;\mathrm {vol} _{2n}(\mathbb {CP} ^{n})}

for <a href="/facts/Complex_projective_space/QmgneIzS">complex projective space</a>, where the optimal bound is attained by the symmetric <a href="/facts/Fubini%E2%80%93Study_metric/1uemCFdc">Fubini–Study metric</a>, pointing to the link to <a href="/facts/Quantum_mechanics/BRc3Mzgr">quantum mechanics</a>. Here the stable 2-systole of a Riemannian manifold M is defined by setting

s
            t
            s
            y
            s
          
          
            2
          
        
        =
        
          λ
          
            1
          
        
        
          (
          
            
              H
              
                2
              
            
            (
            M
            ,
            
              Z
            
            
              )
              
                
                  R
                
              
            
            ,
            ‖
            
            ‖
          
          )
        
        ,
      
    
    {\displaystyle \mathrm {stsys} _{2}=\lambda _{1}\left(H_{2}(M,\mathbb {Z} )_{\mathbb {R} },\|\;\|\right),}

where 
 
 
 
 ‖
 
 ‖
 
 
 {\displaystyle \|\;\|}
 
 is the stable norm, while λ1 is the least norm of a nonzero element of the lattice. Just how exceptional Gromov's stable inequality is, only became clear recently. Namely, it was discovered that, contrary to expectation, the symmetric metric on the <a href="/facts/Quaternionic_projective_plane/HbQDIvj8">quaternionic projective plane</a> is not its systolically optimal metric, in contrast with the 2-systole in the complex case. While the <a href="/facts/Quaternionic_projective_plane/HbQDIvj8">quaternionic projective plane</a> with its symmetric metric has a middle-dimensional stable systolic ratio of 10/3, the analogous ratio for the symmetric metric of the complex projective 4-space gives the value 6, while the best available upper bound for such a ratio of an arbitrary metric on both of these spaces is 14. This upper bound is related to properties of the Lie algebra <a href="/facts/E7_(mathematics)/KjFez9PW">E7</a>. If there exists an 8-manifold with exceptional Spin(7) holonomy and 4-th Betti number 1, then the value 14 is in fact optimal. <a href="/facts/Spin(7)-manifold/jwUBM7ps">Manifolds with Spin(7) holonomy</a> have been studied intensively by <a href="/facts/Dominic_Joyce/eLA31FpG">Dominic Joyce</a>.

<h2 id="lower-bounds-for-2-systoles">Lower bounds for 2-systoles</h2>
Similarly, just about the only nontrivial lower bound for a k-systole with k = 2, results from recent work in <a href="/facts/Gauge_theory/fSW3gggv">gauge theory</a> and <a href="/facts/Pseudoholomorphic_curve/hCDzFUKh">J-holomorphic curves</a>. The study of lower bounds for the conformal 2-systole of 4-manifolds has led to a simplified proof of the density of the image of the period map, by <a href="/facts/Jake_Solomon/ChAtefQC">Jake Solomon</a>.

<h2 id="schottky-problem">Schottky problem</h2>
Perhaps one of the most striking applications of systoles is in the context of the <a href="/facts/Schottky_problem/kvYIAndF">Schottky problem</a>, by P. Buser and <a href="/facts/Peter_Sarnak/AbX2EeQJ">P. Sarnak</a>, who distinguished the <a href="/facts/Jacobian_variety/HFedCxIn">Jacobians</a> of <a href="/facts/Riemann_surface/qoj8ogv8">Riemann surfaces</a> among principally polarized abelian varieties, laying the foundation for systolic arithmetic.

<h2 id="lusternikschnirelmann-category">Lusternik–Schnirelmann category</h2>
Asking systolic questions often stimulates questions in related fields. Thus, a notion of <a href="/facts/Systolic_category/I92YjAjl">systolic category</a> of a manifold has been defined and investigated, exhibiting a connection to the <a href="/facts/Lusternik%E2%80%93Schnirelmann_category/grHpYbmN">Lusternik–Schnirelmann category</a> (LS category). Note that the systolic category (as well as the LS category) is, by definition, an integer. The two categories have been shown to coincide for both surfaces and 3-manifolds. Moreover, for orientable 4-manifolds, systolic category is a lower bound for LS category. Once the connection is established, the influence is mutual: known results about LS category stimulate systolic questions, and vice versa.
The new invariant was introduced by Katz and Rudyak (see below). Since the invariant turns out to be closely related to the Lusternik-Schnirelman category (LS category), it was called <a href="/facts/Systolic_category/I92YjAjl">systolic category</a>.
Systolic category of a manifold M is defined in terms of the various k-systoles of M. Roughly speaking, the idea is as follows. Given a manifold M, one looks for the longest product of systoles which give a "curvature-free" lower bound for the total volume of M (with a constant independent of the metric). It is natural to include systolic invariants of the covers of M in the definition, as well. The number of factors in such a "longest product" is by definition the systolic category of M.
For example, <a href="/facts/Mikhail_Gromov_(mathematician)/N0t5hhcI">Gromov</a> showed that an essential n-manifold admits a volume lower bound in terms of the n'th power of the homotopy 1-systole (see section above). It follows that the systolic category of an essential n-manifold is precisely n. In fact, for closed n-manifolds, the maximal value of both the LS category and the systolic category is attained simultaneously.
Another hint at the existence of an intriguing relation between the two categories is the relation to the invariant called the cuplength. Thus, the real cuplength turns out to be a lower bound for both categories.
Systolic category coincides with the LS category in a number of cases, including the case of manifolds of dimensions 2 and 3. In dimension 4, it was recently shown that the systolic category is a lower bound for the LS category.

<h2 id="systolic-hyperbolic-geometry">Systolic hyperbolic geometry</h2>
The study of the asymptotic behavior for large genus g of the systole of hyperbolic surfaces reveals some interesting constants. Thus, <a href="/facts/Hurwitz_surface/TLIDv6Kd">Hurwitz surfaces</a> Σg defined by a tower of principal congruence subgroups of the <a href="/facts/(2,3,7)_triangle_group/vqpzGzTA">(2,3,7) hyperbolic triangle group</a> satisfy the bound

s
          y
          s
        
        
          π
          
            1
          
        
        (
        
          Σ
          
            g
          
        
        )
        ≥
        
          
            4
            3
          
        
        log
        ⁡
        g
        ,
      
    
    {\displaystyle \mathrm {sys} \pi _{1}(\Sigma _{g})\geq {\frac {4}{3}}\log g,}

and a similar bound holds for more general arithmetic <a href="/facts/Fuchsian_group/qNrHQeUq">Fuchsian groups</a>. This 2007 result by Katz, Schaps, and Vishne<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a> generalizes the results of <a href="/facts/J%C3%BCrg_Peter_Buser/c7QEtUWR">Peter Buser</a> and <a href="/facts/Peter_Sarnak/AbX2EeQJ">Peter Sarnak</a> in the case of arithmetic groups defined over Q, from their seminal 1994 paper.<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a>
A bibliography for systoles in <a href="/facts/Hyperbolic_geometry/DjTMKdgy">hyperbolic geometry</a> currently numbers forty articles. Interesting examples are provided by the <a href="/facts/Bolza_surface/gjo13SEj">Bolza surface</a>, <a href="/facts/Klein_quartic/yr7cHz5r">Klein quartic</a>, <a href="/facts/Macbeath_surface/zqflzc4S">Macbeath surface</a>, <a href="/facts/First_Hurwitz_triplet/wzEdcttS">First Hurwitz triplet</a>.

<h2 id="relation-to-abeljacobi-maps">Relation to Abel–Jacobi maps</h2>
A family of optimal systolic inequalities is obtained as an application of the techniques of Burago and Ivanov, exploiting suitable <a href="/facts/Abel%E2%80%93Jacobi_map/W1f1S827">Abel–Jacobi maps</a>, defined as follows.
Let M be a <a href="/facts/Manifold/rXPERJtu">manifold</a>, π = π1(M), its fundamental group and f: π → πab be its <a href="/facts/Abelianisation/oK9WphdE">abelianisation</a> map. Let tor be the torsion subgroup of πab. Let g: πab → πab/tor be the quotient by torsion. Clearly, πab/tor= Zb, where b = b1 (M). Let φ: π → Zb be the composed homomorphism.

Definition: The cover 
 
 
 
 
 
 
 M
 ¯
 
 
 
 
 
 {\displaystyle {\bar {M}}}
 
 of the manifold M corresponding the subgroup Ker(φ) ⊂ π is called the universal (or maximal) free abelian cover.
Now assume M has a <a href="/facts/Riemannian_metric/5KYnmEgF">Riemannian metric</a>. Let E be the space of harmonic 1-forms on M, with dual E* canonically identified with H1(M,R). By integrating an integral harmonic 1-form along paths from a basepoint x0 ∈ M, we obtain a map to the circle R/Z = S1.
Similarly, in order to define a map M → H1(M,R)/H1(M,Z)R without choosing a basis for cohomology, we argue as follows. Let x be a point in the <a href="/facts/Universal_cover/bDRGasl7">universal cover</a> 
 
 
 
 
 
 
 M
 ~
 
 
 
 
 
 {\displaystyle {\tilde {M}}}
 
 of M. Thus x is represented by a point of M together with a path c from x0 to it. By integrating along the path c, we obtain a linear form, 
 
 
 
 h
 →
 
 ∫
 
 c
 
 
 h
 
 
 {\displaystyle h\to \int _{c}h}
 
, on E. We thus obtain a map 
 
 
 
 
 
 
 M
 ~
 
 
 
 →
 
 E
 
 ∗
 
 
 =
 
 H
 
 1
 
 
 (
 M
 ,
 
 R
 
 )
 
 
 {\displaystyle {\tilde {M}}\to E^{*}=H_{1}(M,\mathbf {R} )}
 
, which, furthermore, descends to a map

A
              ¯
            
          
          
            M
          
        
        :
        
          
            M
            ¯
          
        
        →
        
          E
          
            ∗
          
        
        ,
        
        
        c
        ↦
        
          (
          
            h
            ↦
            
              ∫
              
                c
              
            
            h
          
          )
        
        ,
      
    
    {\displaystyle {\overline {A}}_{M}:{\overline {M}}\to E^{*},\;\;c\mapsto \left(h\mapsto \int _{c}h\right),}

where 
 
 
 
 
 
 M
 ¯
 
 
 
 
 {\displaystyle {\overline {M}}}
 
 is the universal free abelian cover.

Definition: The Jacobi variety (Jacobi torus) of M is the torus J1(M)= H1(M,R)/H1(M,Z)R
Definition: The Abel–Jacobi map 
 
 
 
 
 A
 
 M
 
 
 :
 M
 →
 
 J
 
 1
 
 
 (
 M
 )
 ,
 
 
 {\displaystyle A_{M}:M\to J_{1}(M),}
 
 is obtained from the map above by passing to quotients. The Abel–Jacobi map is unique up to translations of the Jacobi torus.
As an example one can cite the following inequality, due to D. Burago, S. Ivanov and <a href="/facts/Mikhail_Gromov_(mathematician)/N0t5hhcI">M. Gromov</a>.
Let M be an n-dimensional Riemannian manifold with first Betti number n, such that the map from M to its Jacobi torus has nonzero <a href="/facts/Degree_(continuous_map)/yWxq9e4B">degree</a>. Then M satisfies the optimal stable systolic inequality

s
            t
            s
            y
            s
          
          
            1

n
          
        
        ≤
        
          γ
          
            n
          
        
        
          
            v
            o
            l
          
          
            n
          
        
        (
        M
        )
        ,
      
    
    {\displaystyle \mathrm {stsys} _{1}{}^{n}\leq \gamma _{n}\mathrm {vol} _{n}(M),}

where 
 
 
 
 
 γ
 
 n
 
 
 
 
 {\displaystyle \gamma _{n}}
 
 is the classical <a href="/facts/Hermite_constant/nq713k79">Hermite constant</a>.

<h2 id="related-fields-volume-entropy">Related fields, volume entropy</h2>
Asymptotic phenomena for the systole of surfaces of large genus have been shown to be related to interesting ergodic phenomena, and to properties of congruence subgroups of <a href="/facts/Arithmetic_group/I8eA2483">arithmetic groups</a>.
Gromov's 1983 inequality for the homotopy systole implies, in particular, a uniform lower bound for the area of an aspherical surface in terms of its systole. Such a bound generalizes the inequalities of Loewner and Pu, albeit in a non-optimal fashion.
Gromov's seminal 1983 paper also contains asymptotic bounds relating the systole and the area, which improve the uniform bound (valid in all dimensions).
It was discovered recently (see paper by Katz and Sabourau below) that the <a href="/facts/Volume_entropy/b7mx94cE">volume entropy</a> h, together with A. Katok's optimal inequality for h, is the "right" intermediary in a transparent proof of M. Gromov's asymptotic bound for the systolic ratio of surfaces of large genus.
The classical result of A. Katok states that every metric on a closed surface M with negative Euler characteristic satisfies an optimal inequality relating the entropy and the area.
It turns out that the minimal entropy of a closed surface can be related to its optimal systolic ratio. Namely, there is an upper bound for the entropy of a systolically extremal surface, in terms of its systole. By combining this upper bound with Katok's optimal lower bound in terms of the volume, one obtains a simpler alternative proof of Gromov's asymptotic estimate for the optimal systolic ratio of surfaces of large genus. Furthermore, such an approach yields an improved multiplicative constant in Gromov's theorem.
As an application, this method implies that every metric on a surface of genus at least 20 satisfies Loewner's torus inequality. This improves the best earlier estimate of 50 which followed from an estimate of Gromov's.

<h2 id="filling-area-conjecture">Filling area conjecture</h2>
Main article: <a href="/facts/Filling_area_conjecture/wJ5S5oVg">Filling area conjecture</a>
Gromov's <a href="/facts/Filling_area_conjecture/wJ5S5oVg">filling area conjecture</a> has been proved in a hyperelliptic setting (see reference by Bangert et al. below).
The filling area conjecture asserts that among all possible fillings of the Riemannian circle of length 2π by a surface with the strongly isometric property, the round hemisphere has the least area. Here the Riemannian circle refers to the unique closed 1-dimensional Riemannian manifold of total 1-volume 2π and Riemannian diameter π.
To explain the conjecture, we start with the observation that the equatorial circle of the unit 2-sphere, S2 ⊂ R3, is a Riemannian circle S1 of length 2π and diameter π.
More precisely, the Riemannian distance function of S1 is the restriction of the ambient Riemannian distance on the sphere. This property is not satisfied by the standard imbedding of the unit circle in the Euclidean plane, where a pair of opposite points are at distance 2, not π.
We consider all fillings of S1 by a surface, such that the restricted metric defined by the inclusion of the circle as the boundary of the surface is the Riemannian metric of a circle of length 2π. The inclusion of the circle as the boundary is then called a strongly isometric imbedding of the circle.
In 1983 Gromov conjectured that the round hemisphere gives the "best" way of filling the circle among all filling surfaces.
The case of simply-connected fillings is equivalent to <a href="/facts/Pu%27s_inequality/vDc8bw6E">Pu's inequality</a>. Recently the case of <a href="/facts/Genus_(mathematics)/o1Yhf8ty">genus</a>-1 fillings was settled affirmatively, as well (see reference by Bangert et al. below). Namely, it turns out that one can exploit a half-century old formula by J. Hersch from integral geometry. Namely, consider the family of figure-8 loops on a football, with the self-intersection point at the equator (see figure at the beginning of the article). Hersch's formula expresses the area of a metric in the conformal class of the football, as an average of the energies of the figure-8 loops from the family. An application of Hersch's formula to the hyperelliptic quotient of the Riemann surface proves the filling area conjecture in this case.
Other systolic ramifications of <a href="/facts/Hyperelliptic_curve/sf07gwGS">hyperellipticity</a> have been identified in genus 2.

<h2 id="surveys">Surveys</h2>
The surveys in the field include M. Berger's survey (1993), Gromov's survey (1996), Gromov's book (1999), Berger's panoramic book (2003), as well as Katz's book (2007). These references may help a beginner enter the field. They also contain open problems to work on.

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Filling_area_conjecture/wJ5S5oVg">Filling area conjecture</a></li>
<li><a href="/facts/First_Hurwitz_triplet/wzEdcttS">First Hurwitz triplet</a></li>
<li><a href="/facts/Girth_(functional_analysis)/GKtdoTeN">Girth (functional analysis)</a></li>
<li><a href="/facts/Gromov%27s_inequality_for_complex_projective_space/lAfKwLwH">Gromov's inequality for complex projective space</a></li>
<li><a href="/facts/Gromov%27s_systolic_inequality_for_essential_manifolds/nVMmVnPA">Gromov's systolic inequality for essential manifolds</a></li>
<li><a href="/facts/List_of_differential_geometry_topics/112gtICv">List of differential geometry topics</a></li>
<li><a href="/facts/Loewner%27s_torus_inequality/pkF4mAxv">Loewner's torus inequality</a></li>
<li><a href="/facts/Pu%27s_inequality/vDc8bw6E">Pu's inequality</a></li>
<li><a href="/facts/Systoles_of_surfaces/dIVJqvsL">Systoles of surfaces</a></li>
<li><a href="/facts/Systolic_freedom/APqzrMC3">Systolic freedom</a></li></ul>
<h2 id="notes">Notes</h2>

<ul><li><a href="/facts/Victor_Bangert/au51wtp4">Bangert, V.</a>; Croke, C.; Ivanov, S.; Katz, M. (2005). "Filling area conjecture and ovalless real hyperelliptic surfaces". Geometric and Functional Analysis. 15 (3): 577–597. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0405583">math/0405583</a>. <a href="/facts/CiteSeerX_(identifier)/SceDmd3c">CiteSeerX</a> <a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.240.2242">10.1.1.240.2242</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs00039-005-0517-8">10.1007/s00039-005-0517-8</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:17100812">17100812</a>.</li>
<li>Berger, Marcel (1992–1993). <a href="http://www.numdam.org/article/SB_1992-1993__35__279_0.pdf">"Systoles et applications selon Gromov"</a> (PDF). Séminaire Bourbaki. 35: 279–310.</li>
<li>Berger, M. (2003). <a href="https://books.google.com/books?id=yOclBQAAQBAJ&pg=PR11">A panoramic view of Riemannian geometry</a>. Springer. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-642-18245-7.</li>
<li>Berger, M. (2008). <a href="https://www.ams.org/notices/200803/tx080300374p.pdf">"What is... a Systole?"</a> (PDF). Notices of the AMS. 55 (3): 374–6.</li>
<li>Gromov, M. (1983). "Filling Riemannian manifolds". J. Diff. Geom. 18: 1–147. <a href="/facts/CiteSeerX_(identifier)/SceDmd3c">CiteSeerX</a> <a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.9154">10.1.1.400.9154</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.4310%2Fjdg%2F1214509283">10.4310/jdg/1214509283</a>.</li>
<li>Gromov, M. (1996). "Systoles and intersystolic inequalities". Actes de la Table Ronde de Géométrie Différentielle (Luminy, 1992). Sémin. Congr. Vol. 1. Soc. Math. France. pp. 291–362. <a href="/facts/CiteSeerX_(identifier)/SceDmd3c">CiteSeerX</a> <a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.1365">10.1.1.539.1365</a>.</li>
<li>Katz, M.; Semmes, S.; Gromov, M. (2007) [2001]. <a href="/facts/Metric_Structures_for_Riemannian_and_Non-Riemannian_Spaces/DWTDq672">Metric Structures for Riemannian and Non-Riemannian Spaces</a>. Progress in Mathematics. Vol. 152. Birkhäuser. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8176-4583-0.</li>
<li>Katz, M. (1983). <a href="https://doi.org/10.4310%2Fjdg%2F1214437785">"The filling radius of two-point homogeneous spaces"</a>. <a href="/facts/Journal_of_Differential_Geometry/X7rU5sdg">Journal of Differential Geometry</a>. 18 (3): 505–511. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.4310%2Fjdg%2F1214437785">10.4310/jdg/1214437785</a>.</li>
<li>Katz, M. (2007). <a href="https://books.google.com/books?id=R5_zBwAAQBAJ&pg=PR7">Systolic geometry and topology</a>. Mathematical Surveys and Monographs. Vol. 137. <a href="/facts/American_Mathematical_Society/fr5gotCt">American Mathematical Society</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-8218-4177-8.</li>
<li>Katz, M.; Rudyak, Y. (2006). "Systolic category and Lusternik–Schnirelman category of low-dimensional manifolds". Communications on Pure and Applied Mathematics. 59: 1433–56. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0410456">math/0410456</a>. <a href="/facts/CiteSeerX_(identifier)/SceDmd3c">CiteSeerX</a> <a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.236.3757">10.1.1.236.3757</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1002%2Fcpa.20146">10.1002/cpa.20146</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:15470409">15470409</a>.</li>
<li>Katz, M.; Sabourau, S. (2005). "Entropy of systolically extremal surfaces and asymptotic bounds". Ergo. Th. Dynam. Sys. 25 (4): 1209–20. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0410312">math/0410312</a>. <a href="/facts/CiteSeerX_(identifier)/SceDmd3c">CiteSeerX</a> <a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.236.5949">10.1.1.236.5949</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FS0143385704001014">10.1017/S0143385704001014</a> (inactive 16 December 2024). <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:11631690">11631690</a>.{{cite journal}}: CS1 maint: DOI inactive as of December 2024 (link)</li>
<li>Pu, P.M. (1952). <a href="https://msp.org/pjm/1952/2-1/pjm-v2-n1-s.pdf#page=57">"Some inequalities in certain nonorientable Riemannian manifolds"</a> (PDF). Pacific J. Math. 2: 55–71. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2140%2Fpjm.1952.2.55">10.2140/pjm.1952.2.55</a>.</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="http://www.ams.org/bookstore-getitem/item=surv-137">AMS webpage for Mikhail Katz's book.</a></li>
<li><a href="http://www.cs.biu.ac.il/~katzmik/sgt.html">Website for systolic geometry and topology</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Tutte, William T. (1947). "A family of cubical graphs". Proceedings of the Cambridge Philosophical Society. 43 (4): 459–474. Bibcode:1947PCPS...43..459T. doi:10.1017/S0305004100023720. MR 0021678. S2CID 123505185. <a href="/wiki/Proceedings_of_the_Cambridge_Philosophical_Society" target="_blank">/wiki/Proceedings_of_the_Cambridge_Philosophical_Society</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Guth, Larry (2011). "Volumes of balls in large Riemannian manifolds". Annals of Mathematics. 173 (1): 51–76. arXiv:math/0610212. doi:10.4007/annals.2011.173.1.2. MR 2753599. S2CID 1392012. <a href="/wiki/Riemannian_manifold" target="_blank">/wiki/Riemannian_manifold</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Katz, Mikhail G.; Schaps, Mary; Vishne, Uzi (2007). "Logarithmic growth of systole of arithmetic Riemann surfaces along congruence subgroups". Journal of Differential Geometry. 76 (3): 399–422. arXiv:math.DG/0505007. doi:10.4310/jdg/1180135693. <a href="/wiki/Mikhail_G._Katz" target="_blank">/wiki/Mikhail_G._Katz</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Buser, P.; Sarnak, P. (1994). "On the period matrix of a Riemann surface of large genus (with an Appendix by J.H. Conway and N.J.A. Sloane)". Inventiones Mathematicae. 117 (1): 27–56. Bibcode:1994InMat.117...27B. doi:10.1007/BF01232233. ISSN 0020-9910. S2CID 116904696. <a href="/wiki/J%C3%BCrg_Peter_Buser" target="_blank">/wiki/J%C3%BCrg_Peter_Buser</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
</ol>

Systolic geometry open-in-new

Systolic geometry