In this paper we investigate the relationship between a general existence of transport maps of optimal couplings with absolutely continuous first marginal and the property of the background measure called essentially non-branching introduced by Rajala-Sturm (Calc.Var.PDE 2014). In particular, it is shown that the quali…
Uniform bounds on ends for non-branching CD spaces with nonnegative curvature outside a compact set.
problem Bounding the number of ends of non-branching CD spaces with nonnegative curvature outside a compact set.
method Adapting Z.-D. Liu's work to prove a ball covering property.
result Uniform bounds on the number of ends of such spaces.
Proves sufficiency of countable test plans for BV functions on metric spaces.
problem Recovering BV functions and their measures on arbitrary metric spaces.
method Proves sufficiency of countable test plans on arbitrary metric measure spaces and geodesics on CD(K,N) spaces. result Countable test plans are sufficient for BV functions and their measures on metric spaces.
The study presents examples of CD(0,N) spaces with varying dimensions and discusses the limitations of the CD(0,N) condition.
problem Exploring the properties and limitations of CD(0,N) spaces with varying dimensions. method Generalizing results from previous work, presenting examples and analyzing the conditions under which the CD(0,N) condition fails. result The CD(0,N) condition is not stable under measured Gromov-Hausdorff convergence and may fail in various ways. We prove that in metric measure spaces where the entropy functional is K-convex along every Wasserstein geodesic any optimal transport between two absolutely continuous measures with finite second moments lives on a non-branching set of geodesics. As a corollary we obtain that in these spaces there exists only one opti…
Proposes a new metric space example showing non-constant topological dimension.
problem Non-constant topological dimension in metric measure spaces.
method Refines Ketterer and Rajala's example to satisfy CD(0,∞) condition.
result Shows non-constancy of topological dimension for CD spaces.
The study introduces hyperbolic angles in Lorentzian spaces and characterizes curvature bounds.
problem Characterizing timelike curvature bounds in Lorentzian spaces.
method Synthetic geometric framework of Lorentzian (pre-)length spaces, introduction of hyperbolic angles, and angle monotonicity condition.
result Characterization of timelike curvature bounds with an angle monotonicity condition.
In this paper, we prove that a metric measure space which has at least one open set isometric to an interval, and for which the (possibly non-unique) optimal transport map exists from any absolutely continuous measure to an arbitrary measure, is a one-dimensional manifold (possibly with boundary). As an immediate corol…
Sharp eigenvalue bounds on metric measure spaces extend Cheng's theorem.
problem Extending Cheng's eigenvalue comparison theorem to non-smooth spaces.
method Localization technique, synthetic Ricci curvature bounds via optimal transport.
result Sharp upper bounds on eigenvalues in metric measure spaces.
We study optimal transportation with the quadratic cost function in geodesic metric spaces satisfying suitable non-branching assumptions. We introduce and study the notions of slope along curves and along geodesics and we apply the latter to prove suitable generalizations of Brenier's theorem of existence of optimal ma…
In this note we prove the Heintze-Karcher inequality in the context of essentially non-branching metric measure spaces satisfying a lower Ricci curvature bound in the sense of Lott-Sturm-Villani. The proof is based on the the needle decomposition technique for metric measure spaces introduced by Cavalletti-Mondino. Mor…
Study shows volume constraints lead to isoperimetric constant bounds in specific metric spaces.
problem Understanding isoperimetric constants in metric measure spaces with measure contraction property.
method Proves local isoperimetric inequalities on essentially non-branching MCP(K,N) spaces with volume constraints and geometric conditions.
result Establishes bounds on isoperimetric constants in smaller geodesic balls.
We prove that the results regarding the Isoperimetric inequality and Cheeger constant formulated in terms of the Minkowski content, obtained by the authors in previous papers in the framework of essentially non-branching metric measure spaces verifying the local curvature dimension condition, also hold in the stronger …
We prove that if (X,d,m) is an essentially non-branching metric measure space with m(X)=1, having Ricci curvature bounded from below by K and dimension bounded from above by N∈(1,∞), understood as a synthetic condition called Measure-Contraction property, then a sharp isoper…
Paper proves Hölder continuity of tangent cones in RCD(K,N) spaces.
problem Understanding the geometry of metric measure spaces with curvature-dimension condition.
method Developed a second order interpolation formula for distance function.
result Tangent cones from rescalings are Hölder continuous along geodesics.
We identify branched coverings (continuous open surjections p:Y->X of Hausdorff spaces with uniformly bounded number of pre-images) with Hilbert C*-modules C(Y) over C(X) and with faithful unital positive conditional expectations E:C(Y)->C(X) topologically of index-finite type. The case of non-branched coverings corres…
Motivated by a classical comparison result of J. C. F. Sturm we introduce a curvature-dimension condition CD(k,N) for general metric measure spaces and variable lower curvature bound k. In the case of non-zero constant lower curvature our approach coincides with the celebrated condition that was proposed by K.-T. Sturm…
The paper examines rigidity of metric constructions in Wasserstein spaces.
problem Isometric rigidity of metric constructions in Wasserstein spaces.
method Analyzes spaces like Hilbert, rays, half-cylinders, and spherical suspensions.
result Different spaces exhibit varying levels of isometric rigidity in Wasserstein spaces.
Timelike curvature and Brunn-Minkowski inequality linked in non-smooth spacetimes.
problem Equivalence between timelike Ricci curvature and Brunn-Minkowski inequality in synthetic Lorentzian spaces.
method Introducing strong q-timelike Brunn-Minkowski condition and proving equivalence to curvature conditions. result Timelike curvature dimension condition equivalent to timelike Brunn-Minkowski inequality in specific settings.
In this note we continue the analysis of metric measure space with variable ricci curvature bounds. First, we study (κ,N)-convex functions on metric spaces where κ is a lower semi-continuous function, and gradient flow curves in the sense of a new evolution variational inequality that captures the information that …
We prove a sharp Poincaré inequality for subsets Ω of (essentially non-branching) metric measure spaces satisfying the Measure Contraction Property MCP(K,N), whose diameter is bounded above by D. This is achieved by identifying the corresponding one-dimensional model densities and a localization argument…
The paper extends completeness notions to low-regularity spacetimes.
problem Defining completeness conditions for spacetimes with low-regularity metrics.
method Extending Beem's completeness notions to Lorentzian length spaces and proving relationships between them.
result Equivalence of completeness conditions for globally hyperbolic C1-spacetimes under certain conditions. Klartag recently gave a beautiful alternative proof of the isoperimetric inequalities of Levy-Gromov, Bakry-Ledoux, Bayle and E. Milman on weighted Riemannian manifolds. Klartag's approach is based on a generalization of the localization method (so-called needle decompositions) in convex geometry, inspired also by opti…
In this paper we provide a systematic treatment of Willmore surfaces with orientation reversing symmetries and illustrate the theory by (old and new) examples. We apply our theory to isotropic Willmore two-spheres in S4 and derive a necessary condition for such ( possibly branched) isotropic surfaces to descend to (…
New sub-Riemannian structures fail synthetic curvature bounds.
problem Failure of synthetic curvature bounds in sub-Riemannian geometry.
method New stability results for local MCP under quotients, applied to specific sub-Riemannian structures.
result Ideal sub-Riemannian structures can fail the MCP, generically for high dimensions and rank > 3.
We show that for a taut foliation F with one-sided branching of an atoroidal 3-manifold M, one can construct a pair of genuine laminations with solid torus complementary regions which bind every leaf of F in a geodesic lamination. These laminations come from a universal circle, a refinement of the universal circles pro…
Study of tangent spaces in diffeological spaces under Lie group actions.
problem Understanding tangent spaces in generalized spaces.
method Generalized tangent space construction and isomorphism proof.
result Internal tangent space isomorphic to stratified tangent space.
(1,1) non-L-space knots are foliar in 3D space.
problem Proving (1,1) non-L-space knots are foliar.
method Analyzing (1,1) non-L-space knots in S3 and lens spaces. result (1,1) non-L-space knots are persistently foliar.
Universal spaces for finite topological spaces simplify shape descriptions.
problem Describing shape properties of compact metric spaces.
method Inverse limits of finite spaces and Alexandroff extensions.
result Universal spaces simplify shape descriptions of compact metric spaces.
The paper extends Stone duality to topological convexity spaces.
problem Understanding the relationship between topological convexity spaces and sup-lattices.
method Extending Stone duality to topological convexity spaces using preconvexity spaces.
result An adjunction between topological convexity spaces and sup-lattices.
No Einstein hypersurfaces found in Damek-Ricci spaces.
problem Existence of Einstein hypersurfaces in symmetric spaces.
method Analyzing properties of Damek-Ricci spaces and proving no Einstein hypersurface exists.
result No Einstein hypersurfaces in Damek-Ricci spaces.
The distance function ϱ(p,q) (or d(p,q)) of a distance space (general metric space) is not differentiable in general. We investigate such distance spaces over Rn, whose distance functions are differentiable like in case of Finsler spaces. These spaces have several good properties, yet they are no F…
New kernels defined for various spaces, including measures.
problem Defining kernels on non-standard spaces like measures.
method Integrally strictly positive definite and characteristic kernels on Hilbert, Banach, and metric spaces.
result Explicit classes of kernels on Lp spaces and sets of measures. Metric spaces uniquely split into Hilbert and non-line-split parts.
problem Understanding the structure of metric spaces.
method Proved unique decomposition into Hilbert and non-line-split parts.
result Metric spaces have a unique decomposition into a Hilbert space and a non-line-split part.
In a paper (math.DG/0403528) we obtained explicit examples of Moishezon twistor spaces of some compact self-dual four-manifolds admitting a non-trivial Killing field, and also determined their moduli space. In this note we investigate minitwistor spaces associated to these twistor spaces. We determine their structure, …
Study geometry of tetrahedra in complex hyperbolic space and Hilbert spaces.
problem Understanding geometric relationships between complex hyperbolic spaces and Hilbert spaces.
method Use a complex analog of the cosine of a vertex angle as a novel technical tool.
result Describe possible triangular faces of tetrahedra in hyperbolic space and three-dimensional subspaces in Hilbert spaces with Pick kernels.
New curvature positivity helps classify spherical spaces and complex projective spaces.
problem Classifying spherical space forms and complex projective spaces.
method Introducing a new positivity notion for curvature.
result Characterizations for spherical space forms and complex projective spaces.
Study of complete space-like self-expanders in Minkovski space.
problem Characterize complete space-like self-expanders in Minkovski space.
method Use of maximum principle of Omori-Yau type to prove rigidity theorems.
result Classification of 2-dimensional complete space-like self-expanders with constant squared norm of the second fundamental form.
The abstract discusses the linear and smooth structures of mapping spaces.
problem The structure of mapping spaces in differential geometry.
method Proving diffeomorphisms and fibre bundle properties.
result Path spaces and base point preserving mapping spaces are Fréchet spaces.
Study on convergence of transformed metric spaces as dimensions grow.
problem Conditions for convergence of transformed metric spaces.
method Clarifying conditions for convergence of transformed spaces from original sequence and vice versa.
result Spheres and projective spaces converge to Gaussian space and its quotient as dimensions increase.
Characterizes when almost smooth spaces become RCD spaces.
problem Understanding conditions for almost smooth spaces to be RCD spaces.
method Characterizations via local volume doubling and Poincaré inequality.
result Characterizes Einstein 4-orbifolds.
Stability of Wasserstein spaces under various convergence types.
problem Stability and finiteness of Wasserstein spaces over singular and non-singular spaces.
method Gromov--Hausdorff convergence and equivariant Gromov--Hausdorff convergence.
result Analogue of Perelman's stability theorem on Wasserstein spaces.
New infinite families of flat spaces found from symmetric spaces.
problem Finding new flat homogeneous spaces.
method Starting from compact symmetric spaces, constructing infinite families of compact homogeneous spaces with invariant Bismut connections.
result Infinite families of compact homogeneous spaces with vanishing Ricci tensor.
New quasi space forms solve Thurston's geometrical space form problem.
problem Solving Thurston's geometrical space form problem.
method Introducing quasi space forms as non-real space forms with specific geometric properties.
result Quasi space forms offer a metrical, local geometrical solution to Thurston's problem.
Classifies compact spaces by shape, finite spaces by weak homotopy.
problem Classifying compact Hausdorff spaces and finite topological spaces.
method Constructs a category that classifies spaces by shape and weak homotopy.
result Classifies compact spaces by shape, finite spaces by weak homotopy.
Estimates eigenvalues of Jacobi operator for harmonic spaces.
problem Estimating eigenvalues of Jacobi operator.
method Using density function of a harmonic space.
result Sharp estimates imply symmetric Osserman space.
Introduces new types of homogeneous spaces and their properties.
problem Defining and understanding new types of homogeneous spaces.
method Introducing and analyzing (strongly) (Θ-)discrete homogeneous spaces. result Discovers relationships between new and existing homogeneous space types.
This work describes compactifications of metric spaces and vector spaces using asymmetric norms.
problem Compactifying metric spaces and vector spaces using asymmetric norms.
method Nonstandard methods, ultrapowers of the spaces at hand.
result Polyhedral compactifications of vector spaces with stratified structure.