Convexity and rigidity of hypersurfaces in Cartan-Hadamard manifolds

2025-10-15T13:21:22Z

We show that in Cartan-Hadamard manifolds $M^n$, $n\geq 3$, closed infinitesimally convex hypersurfaces $Γ$ bound convex flat regions, if curvature of $M^n$ vanishes on tangent planes of $Γ$. This encompasses Chern-Lashof-Sacksteder characterization of compact convex hypersurfaces in Euclidean space, and some results of Greene-Wu-Gromov on rigidity of Cartan-Hadamard manifolds. It follows that closed simply connected surfaces in $M^3$ with minimal total absolute curvature bound Euclidean convex bodies, as stated by Gromov in 1985. The proofs employ the Gauss-Codazzi equations, a generalization of Schur comparison theorem to CAT($k$) spaces, and other techniques from Alexandrov geometry outlined by Petrunin.

Characterizing rectifiability via biLipschitz pieces of Lipschitz mappings on the space

2025-10-15T13:19:42Z

We give the following characterization of rectifiable metric spaces. A metric space with positive lower Hausdorff density is rectifiable if and only if, for any subset $F$ and $f:F\to Y$, a Lipschitz map into a metric space with positive measure image (of the same dimension), there exists a positive measure subset $A\subset F$ so that $f$ is biLipschitz on $A$. We also give a characterization in terms of a full biLipschitz decomposition. These characterizations are new even for subsets of Euclidean space. One of our tools is Alberti representations. On the way we give a method for constructing independent Alberti representations, which may be of independent interest. We use this to characterize unrectifiable metric spaces as those spaces for which there exist a positive measure subset $S$ and a Lipschitz map $φ$ into a lower dimensional Euclidean space so that $S$ is $\cH^1$-null with respect to all curve fragments that are quantitatively transversal to $φ$.

The Combinatorial Loewner Property and super-multiplicativity inequalities for symmetric self-similar metric spaces

2025-10-15T06:53:57Z

This paper introduces a general construction of self-similar metric spaces as limits of discrete graphs. Our framework produces many classical examples, such as the Sierpiński carpet and the higher dimensional Menger sponges, but also a rich class of new examples. The main result of the work roughly speaking states: If the construction is sufficiently symmetric then the limiting object supports useful moduli estimates, namely the Combinatorial Loewner property of Bourdon--Kleiner and the super-multiplicativity inequalities. The latter are established on Menger sponges for which it had not been previously known. The main new technique the work offers is a general framework of flows and resistance estimates.

On the dimension distortion under fractionally smooth mappings

2025-10-15T00:21:50Z

We determine the extent to which certain classes of fractionally `smooth' continuous mappings between metric spaces distort various dimensions, including the Hausdorff, upper Minkowski (box-counting), and upper intermediate dimensions. Our intermediate and Minkowski dimension distortion results are new even for continuous (fractional) Sobolev and, more generally, Triebel--Lizorkin and Besov mappings between Euclidean spaces, complementing the work of Hencl-Honzík (2015) and Huynh (2022). Moreover, our results also extend the aforementioned work, as well as the work of Kaufman (2000) and Fraser-Tyson (2025) to certain weighted Euclidean spaces and, more generally, to doubling metric measure spaces. As an application of our main result, we quantify the corresponding dimension distortion properties of quasisymmetric mappings for non-Ahlfors regular subsets of metric measure spaces, strengthening a result of Bishop-Hakobyan-Williams (2016).

Canonical Ramsey: triangles, rectangles and beyond

2025-10-14T12:33:07Z

In a seminal work, Cheng and Xu showed that if $S$ is a square or a triangle with a certain property, then for every positive integer $r$ there exists $n_0(S)$ independent of $r$ such that every $r$-coloring of $\mathbb{E}^n$ with $n\ge n_0(S)$ contains a monochromatic or a rainbow congruent copy of $S$. Gehér, Sagdeev, and Tóth formalized this dimension independence as the canonical Ramsey property and proved it for all hypercubes, thereby covering rectangles whose squared aspect ratio $(a/b)^2$ is rational. They asked whether this property holds for all triangles and for all rectangles. (1) We resolve both questions. More precisely, for triangles we confirm the property in $\mathbb{E}^4$ by developing a novel rotation-sphereical chaining argument. For rectangles, we introduce a structural reduction to product configurations of bounded color complexity, enabling the use of the simplex Ramsey theorem together with product Ramsey theorem. (2) Beyond this, we develop a concise perturbation framework based on an iterative embedding coupled with the Frankl-Rödl simplex super-Ramsey theorem, which yields the canonical Ramsey property for a natural class of 3-dimensional simplices and also furnishes an alternative proof for triangles.

Metric Sobolev spaces II: dual energies and divergence measures

2025-10-14T11:59:47Z

This is the second of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several approaches to vector calculus in the non-smooth setting of complete and separable metric spaces equipped with a boundedly-finite Borel measure. More precisely, we study different notions of (co)vector fields and derivations appearing in the literature, as well as their mutual relation. We also carry forward a thorough investigation of gradients, divergence measures, and Laplacian measures, together with their applications in potential analysis (for example, regarding the condenser capacity) and in the study of duality properties of Sobolev spaces. Most of the results are obtained for the full range of exponents $p\in[1,\infty)$ and without finiteness assumption on the measure.

Exponential polynomials and identification of polygonal regions from Fourier samples

2025-10-14T10:09:10Z

Consider the set $E(D, N)$ of all bivariate exponential polynomials $$ f(ξ, η) = \sum_{j=1}^n p_j(ξ, η) e^{2πi (x_jξ+y_jη)}, $$ where the polynomials $p_j \in \mathbb{C}[ξ, η]$ have degree $

Asymptotics of Riemannian Lie groups with nilpotency step 2

2025-10-14T08:41:03Z

We derive sharp estimates comparing asymptotic Riemannian or sub-Riemannian metrics in 2-step nilpotent Lie groups. For each metric, we construct a Carnot metric whose square remains at bounded distance from the square of the original metric. In particular, we deduce the analogue of a conjectire by Burago-Margulis: every 2-step nilpotent Riemannian Lie group is at bounded distance from its asymptotic cone. As a consequence, we obtain a refined estimate of the error term in the asymptotic expansion of the volume of the (sub-)Riemannian metric balls. To achive this, we develop a novel technique to efficiently perturb rectifiable curves modifying their endpoints in a prescribed vertical direction.

Quasi-conformal VS quasi-isometric equivalence in spaces with controlled growth

2025-10-14T05:36:29Z

We study conditions under which quasi-conformal homeomorphisms are quasi-isometries. We show that if two nilpotent geodesic Lie groups are quasi-conformally homeomorphic, then they are quasi-isometrically equivalent. We also give more general results beyond the nilpotent case. In particular, we show that quasi-conformal homeomorphisms between geodesic Lie groups are quasi-isometries whenever the spaces have strict parabolic or hyperbolic conformal type. As a consequence, quasi-conformal homeomorphisms between geodesic Lie groups with infinite fundamental group are quasi-isometries. The statements for Lie groups are deduced from a more general study on metric measure spaces with uniformly locally bounded geometry.

A gallery of open problems in geometry that keep me puzzled and amused

2025-10-13T20:18:36Z

This is a collection of open problems in geometry that I think of as puzzles: they stick to my brain -- I see many grips, but no spare hands. Puzzle-charm is the only criterion for including a problem here; importance is ignored.

Outer length billiards on polygons

2025-10-13T19:23:03Z

The classical inner and outer billiards can be formulated in variational terms, with length and area as the respective generating functions. The other two combinations, ``inner with area'' and ``outer with length,'' are more recently described. Here, we consider the latter system in the special case of polygonal tables. We describe the behavior of orbits far away from the table and pose conjectures regarding an escaping orbit when the table is a square. This paper is meant to complement arXiv:2510.08370 which handles smooth tables with positive curvature.

Fine Pólya-Szegő rearrangement inequalities in metric spaces and applications

2025-10-13T17:37:17Z

We study fine Pólya-Szegő rearrangement inequalities into weighted intervals for Sobolev functions and functions of bounded variation defined on metric measure spaces supporting an isoperimetric inequality. We then specialize this theory to spaces with synthetic Ricci lower bounds and characterize equality cases under minimal assumptions. As applications of our theory, we show new results around geometric and functional inequalities under Ricci lower bounds answering also questions raised in the literature. Finally, we study further settings and deduce a Faber-Krahn theorem on Euclidean spaces with radial log-convex densities, a boosted Pólya-Szegő inequality with asymmetry reminder on weighted convex cones, the rigidity of Sobolev inequalities on Euclidean spaces outside a convex set and a general lower bound for Neumann eigenvalues on open sets in metric spaces.

Maximizing the Maximum Degree in Ordered Nearest Neighbor Graphs

2025-10-13T16:13:53Z

For an ordered point set in a Euclidean space or, more generally, in an abstract metric space, the ordered Nearest Neighbor Graph is obtained by connecting each of the points to its closest predecessor by a directed edge. We show that for every set of $n$ points in $\mathbb{R}^d$, there exists an order such that the corresponding ordered Nearest Neighbor Graph has maximum degree at least $\log{n}/(4d)$. Apart from the $1/(4d)$ factor, this bound is the best possible. As for the abstract setting, we show that for every $n$-element metric space, there exists an order such that the corresponding ordered Nearest Neighbor Graph has maximum degree $Ω(\sqrt{\log{n}/\log\log{n}})$.

Isoperimetric Inequalities on Slabs with applications to Cubes and Gaussian Slabs

2025-10-13T14:09:34Z

We study isoperimetric inequalities on "slabs", namely weighted Riemannian manifolds obtained as the product of the uniform measure on a finite length interval with a codimension-one base. As our two main applications, we consider the case when the base is the flat torus $\mathbb{R}^2 / 2 \mathbb{Z}^2$ and the standard Gaussian measure in $\mathbb{R}^{n-1}$. The isoperimetric conjecture on the three-dimensional cube predicts that minimizers are enclosed by spheres about a corner, cylinders about an edge and coordinate planes. This has only been established for relative volumes close to $0$, $1/2$ and $1$ by compactness arguments. Our analysis confirms the isoperimetric conjecture on the three-dimensional cube with side lengths $(β,1,1)$ in a new range of relatives volumes $\bar v \in [0,1/2]$. In particular, we confirm the conjecture for the standard cube ($β=1$) for all $\bar v \leq 0.120582$, when $β\leq 0.919431$ for the entire range where spheres are conjectured to be minimizing, and also for all $\bar v \in [0,1/2] \setminus (\frac{1}π - \fracβ{4},\frac{1}π + \fracβ{4})$. When $β\leq 0.919431$ we reduce the validity of the full conjecture to establishing that the half-plane $\{ x \in [0,β] \times [0,1]^2 \; ; \; x_3 \leq \frac{1}π \}$ is an isoperimetric minimizer. We also show that the analogous conjecture on a high-dimensional cube $[0,1]^n$ is false for $n \geq 10$. In the case of a slab with a Gaussian base of width $T>0$, we identify a phase transition when $T = \sqrt{2 π}$ and when $T = π$. In particular, while products of half-planes with $[0,T]$ are always minimizing when $T \leq \sqrt{2 π}$, when $T > π$ they are never minimizing, being beaten by Gaussian unduloids. In the range $T \in (\sqrt{2 π},π]$, a potential trichotomy occurs.

Geometric properties of unit groups of von Neumann's continuous rings

2025-10-13T11:36:01Z

We prove that, if $R$ is a non-discrete irreducible, continuous ring, then its unit group $\mathrm{GL}(R)$, equipped with the topology generated by the rank metric, is topologically simple modulo its center, path-connected, locally path-connected, bounded in the sense of Bourbaki, and not admitting any non-zero escape function. All these topological insights are consequences of more refined geometric results concerning the rank metric, in particular with regard to the set of algebraic elements. Thanks to the phenomenon of automatic continuity, our results also have non-trivial ramifications for the underlying abstract groups.