Systolic geometry
Study of least-length noncontractible loops in manifolds and polyhedra.
Systolic geometry examines the systolic invariants of manifolds and polyhedra, a field initiated by Charles Loewner and advanced by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, across its arithmetical, ergodic, and topological aspects. The central concept is the systole: for a compact metric space, this is the shortest length of any loop that cannot be contracted to a point. More formally, it is the minimum length among free loops representing nontrivial conjugacy classes in the fundamental group. When the space is a graph, this invariant is called the girth, a term used since W. T. Tutte's 1947 article on the subject. Loewner began his investigations into systolic questions on surfaces in the late 1940s, presenting his findings in a 1948 seminar, which led to a 1950 thesis by his student Pao Ming Pu. The term "systole" itself was introduced about twenty-five years later by Marcel Berger.
The field gained momentum after a conversation between René Thom and Berger in 1961 at the Institut des Hautes Études Scientifiques (IHÉS) in Bures-sur-Yvette, shortly after papers by R. Accola and C. Blatter appeared. Referring to systolic inequalities, Thom reportedly remarked on their fundamental importance. Berger then popularized the subject through a series of articles and books. A bibliography on the subject's website now lists over 160 articles, and the field continues to develop rapidly, with recent publications in leading journals. For instance, a connection has emerged between systolic category and the Lusternik–Schnirelmann category, a result seen as a theorem in systolic topology.
A specific result concerns convex centrally symmetric polyhedra in three-dimensional space. For any such polyhedron P, there exists a pair of opposite (antipodal) points and a path of length L connecting them along the boundary ∂P, such that L² ≤ (π/4) area(∂P). Another way to state this: any centrally symmetric convex body with surface area A can be passed through a noose of length √(πA), with the sphere providing the tightest fit. This property is a special case of Pu's inequality, one of the earliest systolic inequalities.
The core idea, as Thom's remark to Berger suggests, is that encountering an inequality linking geometric invariants is inherently interesting, especially when that inequality is sharp, or optimal. The classical isoperim
- field
- Mathematics (systolic geometry)
- known_for
- Systolic invariants, Loewner inequality, Pu's inequality, Gromov's systolic inequality
- key_figures
- Charles Loewner, Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth
- related_concept
- Girth (in graph theory, introduced by W. T. Tutte in 1947)
- term_coined_by
- Marcel Berger (coined 'systole' a quarter century after Loewner's work)
Lore & Background
The notion of systole originated with Charles Loewner in the late 1940s, presented in a 1948 seminar. Loewner's student Pao Ming Pu produced a 1950 thesis on systolic questions on surfaces. The term 'systole' itself was not coined until a quarter century later, by Marcel Berger. The field was given further impetus by a remark of René Thom, who, in a conversation with Berger in 1961 at the Institut des Hautes Études Scientifiques (IHÉS) in Bures-sur-Yvette, reportedly emphasized the fundamental importance of systolic inequalities. Berger subsequently popularized the subject
Reader's Guide
Systolic geometry has developed into a rapidly evolving field, with a bibliography at the Website for systolic geometry and topology containing over 160 articles. A number of recent publications in leading journals have appeared, including a connection of systolic category with the Lusternik–Schnirelmann category, which can be thought of as a theorem in systolic topology. The deepest result in the field is Gromov's inequality for the homotopy 1-systole of an essential n-manifold, involving a universal constant depending only on dimension. The proof uses a new invariant called the filling radius, introduced by Gromov. The field also features integral-geometric identities relating area and average energies of families of loops, leading to sharp inequalities such as Loewner's torus inequality and Pu's inequality for the real projective plane. These results have been strengthened by isosystolic defect inequalities analogous to Bonnesen's inequality.
Did You Know?
- The systole of a compact metric space is defined as the least length of a noncontractible loop.
- The term 'systole' was coined by Marcel Berger a quarter century after Loewner's initial work.
- René Thom reportedly exclaimed 'Mais c'est fondamental!' upon seeing systolic inequalities.
- Gromov's systolic inequality involves a universal constant Cn depending only on the dimension of the manifold.
Frequently Asked Questions
What is Systolic geometry?
Systolic geometry is a branch of mathematics devoted to studying the shortest noncontractible loops on manifolds and polyhedra. The idea was first explored by Charles Loewner, and the specific term 'systole' was later coined by Marcel Berger roughly a quarter century after Loewner's original work.
Who are the key figures in Systolic geometry?
Charles Loewner laid the foundational groundwork, while Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, and Larry Guth each pushed the field forward across its arithmetical, ergodic, and topological dimensions.
What exactly is a systole?
The systole of a compact metric space is the length of the shortest loop that cannot be continuously shrunk to a single point. Equivalently, it is the minimum length among all free loops that represent nontrivial conjugacy classes in the fundamental group.
What are the most famous inequalities in Systolic geometry?
The Loewner inequality, Pu's inequality, and Gromov's systolic inequality are the landmark results, each providing a lower bound on the systole in terms of area or volume. Together they form the backbone of the field's classical theory.
How does Systolic geometry connect to graph theory?
When the underlying space is a graph, the systolic invariant reduces to the girth, i.e. the length of the shortest cycle in the graph. This notion was introduced by W. T. Tutte in 1947, well before Berger gave the broader concept its 'systole' label.
More in Topology And Abstract Spaces 1-24
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record