CAT(0) 4-manifolds are Euclidean
We prove that a topological 4-manifold of globally non-positive curvature is homeomorphic to Euclidean space.
arXiv subjects
Publications and source records attributed to Alexander Lytchak.
We prove that a topological 4-manifold of globally non-positive curvature is homeomorphic to Euclidean space.
We give a necessary condition on a geodesic in a Riemannian manifold that can run in some convex hypersurface. As a corollary we obtain peculiar properties that hold true for every convex set in any generic Riemannian manifold (M,g). For example, if a convex set in (M,g) is bounded by a smooth hypersurface, then it is strictly convex.
We construct short retractions of a CAT(1) space to its small convex subsets. This construction provides an alternative geometric description of an analytic tool introduced by Wilfrid Kendall. Our construction uses a tractrix flow which can be defined as a gradient flow for a family of functions of certain type. In an appendix we prove a general existence result for gradient flows of time-dependent locally Lipschitz semiconcave functions, which is of independent interest.
We prove that for any isometric action of a group on a unit sphere of dimension larger than one, the quotient space has diameter zero or larger than a universal dimension-independent positive constant.
We show that closed subsets with vanishing first homology in two-dimensional spaces inherit the upper curvature bound from their ambient spaces and discuss topological applications.
We discuss folklore statements about distance functions in manifolds with two sided bounded curvature. The topics include regularity, subsets of positive reach and the cut locus.
We show that maximal causal curves for a Lipschitz continuous Lorentzian metric admit a $\mathcal{C}^{1,1}$-parametrization and that they solve the geodesic equation in the sense of Filippov in this parametrization. Our proof shows that maximal causal curves are either everywhere lightlike or everywhere timelike. Furthermore, the proof demonstrates that maximal causal curves for an $α$-Hölder continuous Lorentzian metric admit a $\mathcal{C}^{1,\fracα{4}}$-parametrization.
We relate the existence of many infinite geodesics on Alexandrov spaces to a statement about the average growth of volumes of balls. We deduce that the geodesic flow exists and preserves the Liouville measure in several important cases. The developed analytic tool has close ties to integral geometry.
We investigate the geometric and topological structure of equidistant decompositions of Riemannian manifolds.
We show that any space with a positive upper curvature bound has in a small neighborhood of any point a closely related metric with a negative upper curvature bound.
We prove that in two dimensions the synthetic notions of lower bounds on sectional and on Ricci curvature coincide.
We prove that a locally compact space with an upper curvature bound is a topological manifold if and only if all of its spaces of directions are homotopy equivalent and not contractible. We discuss applications to homology manifolds, limits of Riemannian manifolds and deduce a sphere theorem.
We study geometric and topological properties of locally compact, geodesically complete spaces with an upper curvature bound. We control the size of singular subsets, discuss homotopical and measure-theoretic stratifications and regularity of the metric structure on a large part.
We prove that a Finsler metric is nonpositively curved in the sense of Busemann if and only if it is affinely equivalent to a Riemannian metric of nonpositive sectional curvature. In other terms, such Finsler metrics are precisely Berwald metrics of nonpositive flag curvature. In particular in dimension 2 every such metric is Riemannian or locally isometric to that of a normed plane. In the course of the proof we obtain new characterizations of Berwald metrics in terms of the so-called linear parallel transport.
We show that the class of CAT(0) spaces is closed under suitable conformal changes. In particular, any CAT(0) space admits a large variety of non-trivial deformations.
We use the recently established existence and regularity of area and energy minimizing discs in metric spaces to obtain canonical parametrizations of metric surfaces. Our approach yields a new and conceptually simple proof of a well-known theorem of Bonk and Kleiner on the existence of quasisymmetric parametrizations of linearly locally connected, Ahlfors $2$-regular metric $2$-spheres. Generalizations and applications to the geometry of such surfaces are described.
We study the intrinsic structure of parametric minimal discs in metric spaces admitting a quadratic isoperimetric inequality. We associate to each minimal disc a compact, geodesic metric space whose geometric, topological, and analytic properties are controlled by the isoperimetric inequality. Its geometry can be used to control the shapes of all curves and therefore the geometry and topology of the original metric space. The class of spaces arising in this way as intrinsic minimal discs is a natural generalization of the class of Ahlfors regular discs, well-studied in analysis on metric spaces.
We prove that a proper geodesic metric space has non-positive curvature in the sense of Alexandrov if and only if it satisfies the Euclidean isoperimetric inequality for curves. Our result extends to non-geodesic spaces and non-zero curvature bounds.