 |
In mathematics, the intrinsic flat distance is a notion for distance between two Riemannian manifolds which is a generalization of Federer and Fleming's flat distance between submanifolds and integral currents lying in Euclidean space.
| |
In mathematics, the intrinsic flat distance is a notion for distance between two Riemannian manifolds which is a generalization of Federer and Fleming's flat distance between submanifolds and integral currents lying in Euclidean space.
The Sormani–Wenger intrinsic flat (SWIF) distance is a distance between compact oriented Riemannian manifolds of the same dimension. More generally it defines the distance between two integral current spaces, (X,d,T), of the same dimension (see below). This class of spaces and this distance were first announced by mathematicians Sormani and Wenger at the Geometry Festival in 2009 and the detailed development of these notions appeared in the Journal of Differential Geometry in 2011. [1]
The SWIF distance is an intrinsic notion based upon the (extrinsic) flat distance between submanifolds and integral currents in Euclidean space developed by Federer and Fleming. The definition imitates Gromov's definition of the Gromov–Hausdorff distance in that it involves taking an infimum over all distance-preserving maps of the given spaces into all possible ambient spaces Z. Once in a common space Z, the flat distance between the images is taken by viewing the images of the spaces as integral currents in the sense of Ambrosio–Kirchheim. [1]
The rough idea in both intrinsic and extrinsic settings is to view the spaces as the boundary of a third space or region and to find the smallest weighted volume of this third space. In this way, spheres with many splines that contain increasingly small amounts of volume converge "SWIF-ly" to spheres. [1]
Given two compact oriented Riemannian manifolds, Mi, possibly with boundary:
iff there is an orientation preserving isometry from M1 to M2. If Mi converge in the Gromov–Hausdorff sense to a metric space Y then a subsequence of the Mi converge SWIF-ly to an integral current space contained in Y but not necessarily equal to Y. For example, the GH limit of a sequence of spheres with a long thin neck pinch is a pair of spheres with a line segment running between them while the SWIF limit is just the pair of spheres. The GH limit of a sequence of thinner and thinner tori is a circle but the flat limit is the 0 space. In the setting with nonnegative Ricci curvature and a uniform lower bound on volume, the GH and SWIF limits agree. If a sequence of manifolds converge in the Lipschitz sense to a limit Lipschitz manifold then the SWIF limit exists and has the same limit. [1]
Wenger's compactness theorem states that if a sequence of compact Riemannian manifolds, Mj, has a uniform upper bound on diameter, volume and boundary volume, then a subsequence converges SWIF-ly to an integral current space. [1]
An m dimensional integral current space (X,d,T) is a metric space (X,d) with an m-dimensional integral current structure T. More precisely, using notions of Ambrosio–Kirchheim, T is an m-dimensional integral current on the metric completion of X, and X is the set of positive density of the mass measure of T. As a consequence of deep theorems of Ambrosio–Kirchheim, X is then a countably Hm rectifiable metric space, so it is covered Hm almost everywhere by the images of bi-Lipschitz charts from compact subsets of Rm, it is endowed with an integer valued weight function and it has an orientation. In addition an integral current space has a well defined notion of boundary which is an (m − 1)-dimensional integral current space. A 0-dimensional integral current space is a finite collection of points with integer valued weights. One special integral current space found in every dimension is the 0 space. [1]
The intrinsic flat distance between two integral current spaces is defined as follows:
dSWIF((X1, d1, T1), (X2, d2, T2,)) is defined to be the infimum of all numbers d F(f1*T1,f2*T2) for all metric spaces M and all distance preserving maps fi :Xi → Z. Here d F denotes flat distance between the integral currents in Z found by pushing forward the integral current structures Ti.
Two integral current spaces have dSWIF = 0 if and only if there is a current preserving isometry between the spaces. [1]
All the above mentioned results may be stated in this more general setting as well, including Wenger's Compactness Theorem. [1]
 |
In mathematics, a metric space is a set together with a notion of distance between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry.
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 smoothly-varying positive-definite inner product gp on the tangent space TpM at each point p.
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as smooth manifolds with a Riemannian metric. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.
In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries . In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by William Thurston, and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.
Shing-Tung Yau is a Chinese-American mathematician. He is the director of the Yau Mathematical Sciences Center at Tsinghua University and Professor Emeritus at Harvard University. Until 2022, Yau was the William Caspar Graustein Professor of Mathematics at Harvard, at which point he moved to Tsinghua.
In mathematics, the Chern theorem states that the Euler–Poincaré characteristic of a closed even-dimensional Riemannian manifold is equal to the integral of a certain polynomial of its curvature form.
In mathematics, Gromov–Hausdorff convergence, named after Mikhail Gromov and Felix Hausdorff, is a notion for convergence of metric spaces which is a generalization of Hausdorff convergence.
This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.
Mikhael Leonidovich Gromov is a Russian-French mathematician known for his work in geometry, analysis and group theory. He is a permanent member of Institut des Hautes Études Scientifiques in France and a professor of mathematics at New York University.
In mathematics, a sub-Riemannian manifold is a certain type of generalization of a Riemannian manifold. Roughly speaking, to measure distances in a sub-Riemannian manifold, you are allowed to go only along curves tangent to so-called horizontal subspaces.
In mathematics, more precisely in topology and differential geometry, a hyperbolic 3-manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to −1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.
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 Introduction to systolic geometry.
In the mathematical field of metric geometry, Mikhael Gromov proved a fundamental compactness theorem for sequences of metric spaces. In the special case of Riemannian manifolds, the key assumption of his compactness theorem is automatically satisfied under an assumption on Ricci curvature. These theorems have been widely used in the fields of geometric group theory and Riemannian geometry.
In the mathematical field of Riemannian geometry, the Berger spheres form a special class of examples of Riemannian manifolds diffeomorphic to the 3-sphere. They are named for Marcel Berger who introduced them in 1962.
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.
The Geometry Festival is an annual mathematics conference held in the United States.
In mathematics, flat convergence is a notion for convergence of submanifolds of Euclidean space. It was first introduced by Hassler Whitney in 1957, and then extended to integral currents by Federer and Fleming in 1960. It forms a fundamental part of the field of geometric measure theory. The notion was applied to find solutions to Plateau's problem. In 2001 the notion of an integral current was extended to arbitrary metric spaces by Ambrosio and Kirchheim.
Christina Sormani is a professor of mathematics at City University of New York affiliated with Lehman College and the CUNY Graduate Center. She is known for her research in Riemannian geometry, metric geometry, and Ricci curvature, as well as her work on the notion of intrinsic flat distance.