A rigidity theorem in Alexandrov spaces with lower curvature bound (Q425134): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Comparison theorems are indispensable in the investigation of the geometry of non-smooth metric spaces with curvature bounds. Indeed, the very definition of a space \(X\) with curvature bounded from below by \(\kappa\) has the form of an inequality of distances between points in \(X\) and the corresponding points in a model space \(M_{\kappa}^2\), see [\textit{Yu. Burago, M. Gromov} and \textit{G. Perel'man}, Russ. Math. Surv. 47, No. 2, 1--58 (1992; Zbl 0802.53018)] and [\textit{J. Cheeger} and \textit{D. G. Ebin}, Comparison theorems in Riemannian geometry. North-Holland Mathematical Library. Vol. 9. Amsterdam-Oxford: North-Holland Publishing Company; New York: American Elsevier Publishing Company, Inc. VIII (1975; Zbl 0309.53035)]. To define a lower curvature bound for non-geodesic spaces, one can use comparison angles \(\widetilde \angle_\kappa(x;y,z)\): Precisely, a metric space \(X\) has curvature \(\geq \kappa\) if the inequality \[ \widetilde \angle_\kappa(x;y,z)+\widetilde \angle_\kappa(x;z,w)+\widetilde \angle_\kappa(x;w,y)\leq 2\pi \tag{1} \] holds for any quadruple of distinct points of admissible size. (The size requirement is relevant only if \(\kappa>0\) and means that the maximum of perimeters of all three point subsets of the quadrangle is less than \(2\pi/\sqrt{\kappa}\).) If, in addition, \(X\) is a complete length space, it is called an Alexandrov space of curvature \(\geq\kappa\). It is natural to consider the equality case in (1). One expects such a quadruple of points to exhibit some rigidity, and the following result (Theorem C in the paper) shows this is indeed the case. Suppose that equality holds in (1) and \(x\) does not lie on any geodesic through two of the points \(y,z,w\). Then \(y,z,w\) span the unique closed triangular region \(D\) which contains \(x\) and is isometric to the triangular region in \(M_\kappa^2\) with vertices \(\tilde y,\tilde z,\tilde w\). Theorem C is in fact a very special case of the more general Theorems A and B that involve probability measures on \(X\). It is important to note that the space \(X\) is not assumed to be locally compact; thus, it can be infinite-dimensional. A corollary of Theorem C extends the rigidity part of Theorem 2.4 in [\textit{K. Grove} and \textit{S. Markvorsen}, J. Am. Math. Soc. 8, No. 1, 1--28 (1995; Zbl 0829.53033)] to infinite-dimensional spaces. | |||
Property / review text: Comparison theorems are indispensable in the investigation of the geometry of non-smooth metric spaces with curvature bounds. Indeed, the very definition of a space \(X\) with curvature bounded from below by \(\kappa\) has the form of an inequality of distances between points in \(X\) and the corresponding points in a model space \(M_{\kappa}^2\), see [\textit{Yu. Burago, M. Gromov} and \textit{G. Perel'man}, Russ. Math. Surv. 47, No. 2, 1--58 (1992; Zbl 0802.53018)] and [\textit{J. Cheeger} and \textit{D. G. Ebin}, Comparison theorems in Riemannian geometry. North-Holland Mathematical Library. Vol. 9. Amsterdam-Oxford: North-Holland Publishing Company; New York: American Elsevier Publishing Company, Inc. VIII (1975; Zbl 0309.53035)]. To define a lower curvature bound for non-geodesic spaces, one can use comparison angles \(\widetilde \angle_\kappa(x;y,z)\): Precisely, a metric space \(X\) has curvature \(\geq \kappa\) if the inequality \[ \widetilde \angle_\kappa(x;y,z)+\widetilde \angle_\kappa(x;z,w)+\widetilde \angle_\kappa(x;w,y)\leq 2\pi \tag{1} \] holds for any quadruple of distinct points of admissible size. (The size requirement is relevant only if \(\kappa>0\) and means that the maximum of perimeters of all three point subsets of the quadrangle is less than \(2\pi/\sqrt{\kappa}\).) If, in addition, \(X\) is a complete length space, it is called an Alexandrov space of curvature \(\geq\kappa\). It is natural to consider the equality case in (1). One expects such a quadruple of points to exhibit some rigidity, and the following result (Theorem C in the paper) shows this is indeed the case. Suppose that equality holds in (1) and \(x\) does not lie on any geodesic through two of the points \(y,z,w\). Then \(y,z,w\) span the unique closed triangular region \(D\) which contains \(x\) and is isometric to the triangular region in \(M_\kappa^2\) with vertices \(\tilde y,\tilde z,\tilde w\). Theorem C is in fact a very special case of the more general Theorems A and B that involve probability measures on \(X\). It is important to note that the space \(X\) is not assumed to be locally compact; thus, it can be infinite-dimensional. A corollary of Theorem C extends the rigidity part of Theorem 2.4 in [\textit{K. Grove} and \textit{S. Markvorsen}, J. Am. Math. Soc. 8, No. 1, 1--28 (1995; Zbl 0829.53033)] to infinite-dimensional spaces. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C24 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54E50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60B05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6043335 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
lower curvature bound | |||
Property / zbMATH Keywords: lower curvature bound / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Alexandrov space | |||
Property / zbMATH Keywords: Alexandrov space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigidity | |||
Property / zbMATH Keywords: rigidity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isometric embedding | |||
Property / zbMATH Keywords: isometric embedding / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
probability measures | |||
Property / zbMATH Keywords: probability measures / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Leonid V. Kovalev / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1967560968 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0912.0114 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasilinearization and curvature of Aleksandrov spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2731895 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4938152 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New Extremal Problems for the Riemannian Recognition Program via Alexandrov Geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hard and soft packing radius theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On tangent cones of Alexandrov spaces with curvature bounded below / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kirszbraun's theorem and metric spaces of bounded curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Curvature bounded below: a definition a la Berg-Nikolaev / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5676765 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A splitting theorem for infinite dimensional Alexandrov spaces with nonnegative curvature and its applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5757489 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Barycenters in Alexandrov spaces of curvature bounded below / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on Markov type constants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Riemannian structure of Alexandrov spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semiconcave functions in Alexandrov's geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spaces of Wald curvature bounded below / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2776344 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An alternative proof of Berg and Nikolaev's characterization of \(CAT(0)\)-spaces via quadrilateral inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete noncompact Alexandrov spaces of nonnegative curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric spaces of lower bounded curvature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monotone approximation of energy functionals for mappings into metric spaces. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric Transforms and the Hyperbolic Four-Point Property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal Transport / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:05, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A rigidity theorem in Alexandrov spaces with lower curvature bound |
scientific article |
Statements
A rigidity theorem in Alexandrov spaces with lower curvature bound (English)
0 references
7 June 2012
0 references
Comparison theorems are indispensable in the investigation of the geometry of non-smooth metric spaces with curvature bounds. Indeed, the very definition of a space \(X\) with curvature bounded from below by \(\kappa\) has the form of an inequality of distances between points in \(X\) and the corresponding points in a model space \(M_{\kappa}^2\), see [\textit{Yu. Burago, M. Gromov} and \textit{G. Perel'man}, Russ. Math. Surv. 47, No. 2, 1--58 (1992; Zbl 0802.53018)] and [\textit{J. Cheeger} and \textit{D. G. Ebin}, Comparison theorems in Riemannian geometry. North-Holland Mathematical Library. Vol. 9. Amsterdam-Oxford: North-Holland Publishing Company; New York: American Elsevier Publishing Company, Inc. VIII (1975; Zbl 0309.53035)]. To define a lower curvature bound for non-geodesic spaces, one can use comparison angles \(\widetilde \angle_\kappa(x;y,z)\): Precisely, a metric space \(X\) has curvature \(\geq \kappa\) if the inequality \[ \widetilde \angle_\kappa(x;y,z)+\widetilde \angle_\kappa(x;z,w)+\widetilde \angle_\kappa(x;w,y)\leq 2\pi \tag{1} \] holds for any quadruple of distinct points of admissible size. (The size requirement is relevant only if \(\kappa>0\) and means that the maximum of perimeters of all three point subsets of the quadrangle is less than \(2\pi/\sqrt{\kappa}\).) If, in addition, \(X\) is a complete length space, it is called an Alexandrov space of curvature \(\geq\kappa\). It is natural to consider the equality case in (1). One expects such a quadruple of points to exhibit some rigidity, and the following result (Theorem C in the paper) shows this is indeed the case. Suppose that equality holds in (1) and \(x\) does not lie on any geodesic through two of the points \(y,z,w\). Then \(y,z,w\) span the unique closed triangular region \(D\) which contains \(x\) and is isometric to the triangular region in \(M_\kappa^2\) with vertices \(\tilde y,\tilde z,\tilde w\). Theorem C is in fact a very special case of the more general Theorems A and B that involve probability measures on \(X\). It is important to note that the space \(X\) is not assumed to be locally compact; thus, it can be infinite-dimensional. A corollary of Theorem C extends the rigidity part of Theorem 2.4 in [\textit{K. Grove} and \textit{S. Markvorsen}, J. Am. Math. Soc. 8, No. 1, 1--28 (1995; Zbl 0829.53033)] to infinite-dimensional spaces.
0 references
lower curvature bound
0 references
Alexandrov space
0 references
rigidity
0 references
isometric embedding
0 references
probability measures
0 references
0 references
0 references