In differential geometry, Loewner's torus inequality is an inequality due to Charles Loewner. It relates the systole and the area of an arbitrary Riemannian metric on the 2-torus.
In 1949 Charles Loewner proved that every metric on the 2-torus satisfies the optimal inequality
where "sys" is its systole, i.e. least length of a noncontractible loop. The constant appearing on the right hand side is the Hermite constant in dimension 2, so that Loewner's torus inequality can be rewritten as
The inequality was first mentioned in the literature in Pu (1952).
The boundary case of equality is attained if and only if the metric is flat and homothetic to the so-called equilateral torus, i.e. torus whose group of deck transformations is precisely the hexagonal lattice spanned by the cube roots of unity in .
Given a doubly periodic metric on (e.g. an imbedding in which is invariant by a isometric action), there is a nonzero element and a point such that , where is a fundamental domain for the action, while is the Riemannian distance, namely least length of a path joining and .
Loewner's torus inequality can be proved most easily by using the computational formula for the variance,
Namely, the formula is applied to the probability measure defined by the measure of the unit area flat torus in the conformal class of the given torus. For the random variable X, one takes the conformal factor of the given metric with respect to the flat one. Then the expected value E(X 2) of X 2 expresses the total area of the given metric. Meanwhile, the expected value E(X) of X can be related to the systole by using Fubini's theorem. The variance of X can then be thought of as the isosystolic defect, analogous to the isoperimetric defect of Bonnesen's inequality. This approach therefore produces the following version of Loewner's torus inequality with isosystolic defect:
where ƒ is the conformal factor of the metric with respect to a unit area flat metric in its conformal class.
Whether or not the inequality
is satisfied by all surfaces of nonpositive Euler characteristic is unknown. For orientable surfaces of genus 2 and genus 20 and above, the answer is affirmative, see work by Katz and Sabourau below.
In differential geometry, a Riemannian manifold or Riemannian space(M, g), so called after the German mathematician Bernhard Riemann, is a real, smooth manifold M equipped with a positive-definite inner product gp on the tangent space TpM at each point p.
In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.
In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature K(σp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.
In mathematics, the isoperimetric inequality is a geometric inequality involving the perimeter of a set and its volume. In -dimensional space the inequality lower bounds the surface area or perimeter of a set by its volume ,
In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also a slower-paced Introduction to systolic geometry.
Charles Loewner was an American mathematician. His name was Karel Löwner in Czech and Karl Löwner in German.
Bonnesen's inequality is an inequality relating the length, the area, the radius of the incircle and the radius of the circumcircle of a Jordan curve. It is a strengthening of the classical isoperimetric inequality.
In 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.
In Riemannian geometry, Gromov's optimal stable 2-systolic inequality is the inequality
In the mathematical field of Riemannian geometry, M. Gromov's systolic inequality bounds the length of the shortest non-contractible loop on a Riemannian manifold in terms of the volume of the manifold. Gromov's systolic inequality was proved in 1983; it can be viewed as a generalisation, albeit non-optimal, of Loewner's torus inequality and Pu's inequality for the real projective plane.
In 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.
In Riemannian geometry, the filling radius of a Riemannian manifold X is a metric invariant of X. It was originally introduced in 1983 by Mikhail Gromov, who used it to prove his systolic inequality for essential manifolds, vastly generalizing Loewner's torus inequality and Pu's inequality for the real projective plane, and creating systolic geometry in its modern form.
Systolic geometry is a branch of differential geometry, a field within mathematics, studying problems such as the relationship between the area inside a closed curve C, and the length or perimeter of C. Since the area A may be small while the length l is large, when C looks elongated, the relationship can only take the form of an inequality. What is more, such an inequality would be an upper bound for A: there is no interesting lower bound just in terms of the length.
In mathematics, systolic inequalities for curves on surfaces were first studied by Charles Loewner in 1949. Given a closed surface, its systole, denoted sys, is defined to be 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 also Introduction to systolic geometry.
The volume entropy is an asymptotic invariant of a compact Riemannian manifold that measures the exponential growth rate of the volume of metric balls in its universal cover. This concept is closely related with other notions of entropy found in dynamical systems and plays an important role in differential geometry and geometric group theory. If the manifold is nonpositively curved then its volume entropy coincides with the topological entropy of the geodesic flow. It is of considerable interest in differential geometry to find the Riemannian metric on a given smooth manifold which minimizes the volume entropy, with locally symmetric spaces forming a basic class of examples.
In differential geometry, systolic freedom refers to the fact that closed Riemannian manifolds may have arbitrarily small volume regardless of their systolic invariants. That is, systolic invariants or products of systolic invariants do not in general provide universal lower bounds for the total volume of a closed Riemannian manifold.
Mikhail "Mischa" Gershevich Katz is an Israeli mathematician, a professor of mathematics at Bar-Ilan University. His main interests are differential geometry, geometric topology and mathematics education; he is the author of the book Systolic Geometry and Topology, which is mainly about systolic geometry. The Katz–Sabourau inequality is named after him and Stéphane Sabourau.
In mathematics, the conformal radius is a way to measure the size of a simply connected planar domain D viewed from a point z in it. As opposed to notions using Euclidean distance, this notion is well-suited to use in complex analysis, in particular in conformal maps and conformal geometry.
In geometry of normed spaces, the Holmes–Thompson volume is a notion of volume that allows to compare sets contained in different normed spaces. It was introduced by Raymond D. Holmes and Anthony Charles Thompson.
In mathematics, the Besicovitch inequality is a geometric inequality relating volume of a set and distances between certain subsets of its boundary. The inequality was first formulated by Abram Besicovitch.
