Math 2.0

Differential geometry Definition

Systolic geometry

Builds on Riemannian manifoldCompact space

Definition

Let (M,g)(M, g) be a compact connected Riemannian manifold that is not simply connected. A closed curve in MM is noncontractible if it is not freely homotopic to a constant curve. The systole sys⁡(M,g)\operatorname{sys}(M, g) is the infimum of the lengths of the noncontractible closed curves in MM; it is attained and positive. If MM has dimension nn, the systolic ratio is sys⁡(M,g)n/vol⁡(M,g)\operatorname{sys}(M, g)^n / \operatorname{vol}(M, g). Systolic geometry is the study of the systole and of upper bounds for the systolic ratio over all metrics gg on a fixed manifold MM.

Remarks

Example: the flat torus ℝ2/ℤ2\R^2 / \Z^2 has systole 11, attained by the images of the coordinate segments, and area 11, so its systolic ratio is 11. Loewner's torus inequality says that the systolic ratio of any metric on the torus is at most 2/32/\sqrt{3}.

Non-example: on the round sphere S2S^2 every closed curve is contractible, so the systole is not defined.

The systolic ratio does not change when gg is multiplied by a positive constant. The same words are used for higher systoles, defined with cycles of higher dimension instead of curves.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact space concept
  2. Riemannian manifold concept
  3. Systolic geometry definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Systolic_geometry
About this page
TagTCNY8VKQ61
URIm2://TCNY8VKQ61
Kinddefinition
WritingW0 stub
MSC53C23, 53C20
DefinesSystolic geometry
UsesRiemannian manifold, Compact space
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.