On manifolds with almost non-negative Ricci curvature and integrally-positive $k^{th}$-scalar curvature

2025-04-09T13:13:24Z

We consider manifolds with almost non-negative Ricci curvature and strictly positive integral lower bounds on the sum of the lowest $k$ eigenvalues of the Ricci tensor. If $(M^n,g)$ is a Riemannian manifold satisfying such curvature bounds for $k=2$, then we show that $M$ is contained in a neighbourhood of controlled width of an isometrically embedded $1$-dimensional sub-manifold. From this, we deduce several metric and topological consequences: $M$ has at most linear volume growth and at most two ends, the first Betti number of $M$ is bounded above by $1$, and there is precise information on elements of infinite order in $\pi_1(M)$. If $(M^n,g)$ is a Riemannian manifold satisfying such bounds for $k\geq 2$ and additionally the Ricci curvature is asymptotically non-negative, then we show that $M$ has at most $(k-1)$-dimensional behavior at large scales. If $k=n={\rm dim}(M)$, so that the integral lower bound is on the scalar curvature, assuming in addition that the $n-2$-Ricci curvature is asymptotically non-negative, then we prove that the dimension drop at large scales improves to $n-2$. From the above results, we deduce topological restrictions, such as upper bounds on the first Betti number.

A very short proof of the Figiel-Lindenstrauss-Milman theorem

2025-04-09T12:45:06Z

We provide a short proof for the Figiel, Lindenstrauss and Milman inequality regarding the number of vertices and faces of certain polytope, with an explicit bound on the universal constant involved. The proof is completely elementary and avoids any form of Dvoretzky's theorem, as well as the spherical isoperimetric inequality.

Kinematic formulas in convex geometry for non-compact groups

2025-04-09T09:59:28Z

We generalize classical kinematic formulas for convex bodies in a real vector space $V$ to the setting of non-compact Lie groups admitting a Cartan decomposition. Specifically, let $G$ be a closed linear group with Cartan decomposition $G \cong K \times \exp(\mathfrak{p}_0)$, where $K$ is a maximal compact subgroup acting transitively on the unit sphere. For $K$-invariant continuous valuations on convex bodies, we establish an integral geometric-type formula for $\overline{G} = G \ltimes V$. Key to our approach is the introduction of a Gaussian measure on $\mathfrak{p}_0$, which ensures convergence of the non-compact part of the integral. In the special case $K = O(n)$, we recover a Hadwiger-type formula involving intrinsic volumes, with explicit constants $c_j$ computed via a Weyl integration formula.

Isometric rigidity of $L^2$-spaces with manifold targets

2025-04-09T07:41:27Z

We describe the isometry group of $L^2(\Omega, M)$ for Riemannian manifolds $M$ of dimension at least two with irreducible universal cover. We establish a rigidity result for the isometries of these spaces: any isometry arises from an automorphism of $\Omega$ and a family of isometries of $M$, distinguishing these spaces from the classical $L^2(\Omega)$. Additionally, we prove that these spaces lack irreducible factors and that two such spaces are isometric if and only if the underlying manifolds are.

The Gaussian Minkowski-type problems for $C$-pseudo-cones

2025-04-09T06:40:46Z

The Gaussian surface area measure and the Gaussian cone measure for $C$-pseudo-cones are introduced and their corresponding Gaussian Minkowski problem and Gaussian log-Minkowski problem are proposed, respectively. The existence and uniqueness of solutions to these problems for $C$-pseudo-cones are established.

Characterization of higher rank via affine maps

2025-04-08T21:54:42Z

We prove that the existence of an affine map on a Hadamard space which is not a dilation, characterizes Riemannian symmetric spaces of higher rank, Euclidean buildings of higher rank and non-trivial metric products.

Regularity of sets of finite fractional perimeter and nonlocal minimal surfaces in metric measure spaces

2025-04-08T19:42:45Z

In the setting of a doubling metric measure space, we study regularity of sets with finite $s$-perimeter, that is, sets whose characteristic functions have finite Besov energy, with regularity parameter $0

Smooth Approximations of Quasispheres

2025-04-08T19:18:21Z

We prove that every quasisphere is the Gromov-Hausdorff limit of a sequence of locally smooth uniform quasispheres. We also prove an analogous result in the bi-Lipschitz setting. This extends recent results of D. Ntalampekos from dimension 2 to arbitrary dimension. In the process, we replace the second half of his argument by a completely different, more efficient approach, which should be applicable to other problems.

Boundary regularity for quasiminima of double-phase problems on metric spaces

2025-04-08T17:07:17Z

We give a sufficient condition for H\"older continuity at a boundary point for quasiminima of double-phase functionals of $p,q$-Laplace type, in the setting of metric measure spaces equipped with a doubling measure and supporting a Poincar\'e inequality. We use a variational approach based on De Giorgi-type conditions to give a pointwise estimate near a boundary point. The proofs are based on a careful phase analysis and estimates in the intrinsic geometries.

Equivalence between the timelike Brunn-Minkowski inequality and timelike Bakry-Émery-Ricci lower bound on weighted globally hyperbolic spacetimes

2025-04-08T16:28:07Z

We prove the timelike Brunn-Minkowski inequality $\mathsf{TBM}(K,N)$ implies a timelike lower bound on the Bakry-\'Emery-Ricci curvature on weighted globally hyperbolic spacetimes. This result, together with the well-known equivalence between timelike Bakry-\'Emery-Ricci lower bounds and the $\mathsf{TCD}(K,N)$ condition, and the fact that $\mathsf{TCD}(K,N)$ spaces support the timelike Brunn-Minkowski inequality, draws an equivalence between $\mathsf{TBM}(K,N)$ and $\mathsf{TCD}(K,N)$ in the smooth setting.

Mental Geometry

2025-04-08T06:39:13Z

This article illustrates pedagogy through training in the handling of abstractions. Mental arithmetic is not limited to numerical calculation; one can mentally calculate primitives and simplify analytical expressions. Even if there is software that does this very well, this training retains its pedagogical value. Can we go further and consider geometric mental arithmetic: mentally proceeding with transformations of simple figures allowing the calculation of areas or volumes? It turns out that the intuition that allowed Archimedes to obtain his main geometric results, if we take only the ideas without the old-fashioned style, provides the opportunity for a pleasant and quite rich mental game that I present here in the form of a short narrative dialogue, not a philosophical tale because it does not bring any thesis, simply a story to be classified among the invitations to exercise the mind. It starts with the area of a triangle and ends with Guldin's two theorems.

Spherical volume and spherical Plateau problem

2025-04-07T19:48:26Z

Given a closed oriented manifold or more generally a group homology class, we introduce the spherical Plateau problem, which is a variational problem corresponding to a topological invariant called the spherical volume. In principle, its solutions should be realized by minimal surfaces in quotients of spheres. We explain that in many geometrically interesting cases, those solutions are essentially unique. We start with a review of the Ambrosio-Kirchheim theory of metric currents, and the barycenter map method developed by Besson-Courtois-Gallot. Then, we outline the following applications: (1) the intrinsic uniqueness of spherical Plateau solutions for negatively curved, locally symmetric, closed oriented manifolds, (2) the intrinsic uniqueness of spherical Plateau solutions for all 3-dimensional closed oriented manifolds, (3) the construction of higher-dimensional analogues of hyperbolic Dehn fillings. We also propose some open questions.

Length of a closed geodesic in 3-manifolds of positive scalar curvature

2025-04-07T19:47:43Z

Let $M$ be a closed $3$-dimensional Riemannian manifold with positive scalar curvature, $R_g \geq 6$. We show that $M$ contains a non-trivial closed geodesic of length less than $22500$. This confirms a conjecture of M. Gromov in dimension $3$.

Stability of optimal transport maps on Riemannian manifolds

2025-04-07T18:32:03Z

We prove quantitative bounds on the stability of optimal transport maps and Kantorovich potentials from a fixed source measure $\rho$ under variations of the target measure $\mu$, when the cost function is the squared Riemannian distance on a Riemannian manifold. Previous works were restricted to subsets of Euclidean spaces, or made specific assumptions either on the manifold, or on the regularity of the transport maps. Our proof techniques combine entropy-regularized optimal transport with spectral and integral-geometric techniques. As some of the arguments do not rely on the Riemannian structure, our work also paves the way towards understanding stability of optimal transport in more general geometric spaces.

Large-scale geometry of Borel graphs of polynomial growth

2025-04-07T17:01:30Z

We study graphs of polynomial growth from the perspective of asymptotic geometry and descriptive set theory. The starting point of our investigation is a theorem of Krauthgamer and Lee who showed that every connected graph of polynomial growth admits an injective contraction mapping to $(\mathbb Z^n, \|\cdot\|_\infty)$ for some $n\in\mathbb N$. We strengthen and generalize this result in a number of ways. In particular, answering a question of Papasoglu, we construct coarse embeddings from graphs of polynomial growth to $\mathbb Z^n$. Moreover, we only require $n$ to be linear in the asymptotic polynomial growth rate of the graph; this confirms a conjecture of Levin and Linial, London, and Rabinovich "in the asymptotic sense." (The exact form of the conjecture was refuted by Krauthgamer and Lee.) All our results are proved for Borel graphs, which allows us to settle a number of problems in descriptive combinatorics. Roughly, we prove that graphs generated by free Borel actions of $\mathbb Z^n$ are universal for the class of Borel graphs of polynomial growth. This provides a general method for extending results about $\mathbb Z^n$-actions to all Borel graphs of polynomial growth. For example, an immediate consequence of our main result is that all Borel graphs of polynomial growth are hyperfinite, which answers a well-known question in the area. As another illustration, we show that Borel graphs of polynomial growth support a certain combinatorial structure called toast. An important technical tool in our arguments is the notion of padded decomposition from computer science, which is closely related to the concept of asymptotic dimension due to Gromov. Along the way we find an alternative, probabilistic proof of a theorem of Papasoglu that graphs of asymptotic polynomial growth rate $\rho<\infty$ have asymptotic dimension at most $\rho$ and establish the same bound in the Borel setting.