Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds

2026-02-04T09:58:01Z

Within the synthetic-geometric framework of Lorentzian (pre-)length spaces developed in Kunzinger and Sämann (Ann. Glob. Anal. Geom. 54(3):399--447, 2018) we introduce a notion of a hyperbolic angle, an angle between timelike curves and related concepts like timelike tangent cone and exponential map. This provides valuable technical tools for the further development of the theory and paves the way for the main result of the article, which is the characterization of timelike curvature bounds (defined via triangle comparison) with an angle monotonicity condition. Further, we improve on a geodesic non-branching result for spaces with timelike curvature bounded below.

Towards Riemannian diffeology

2026-02-04T02:25:03Z

We introduce a framework for Riemannian diffeology. To this end, we use the tangent functor in the sense of Blohmann and one of the options of a metric on a diffeological space in the sense of Iglesias-Zemmour. As a consequence, the category consisting of weak Riemannian diffeological spaces and isometries is established. With a technical condition for a definite weak Riemannian metric, we show that the pseudodistance induced by the metric is indeed a distance. As examples of weak Riemannian diffeological spaces, an adjunction space of manifolds, a space of smooth maps and the mixed one are considered.

On the maximal perimeter of isotropic log-concave probability measures

2026-02-03T18:47:08Z

We study the maximal perimeter constant of isotropic log-concave probability measures on $\mathbb{R}^n$. For a measure $μ$, this quantity, denoted by $Γ(μ)$, is defined as the supremum of the $μ$-perimeter over all convex bodies and measures the largest possible boundary contribution of convex sets with respect to $μ$. Let $$Γ_n := \sup\{Γ(μ) : μ\text{ is an isotropic log-concave probability measure on } \mathbb{R}^n\}.$$ We prove that $Γ_n \leqslant Cn^{3/2}$, where $C>0$ is an absolute constant. This result improves the previously known $O(n^2)$ upper bound. Under additional structural assumptions, we obtain sharp linear bounds of order $O(n)$.

Spectral conditions for spherical two-distance sets

2026-02-03T17:15:35Z

A set of points $S$ in $d$-dimensional Euclidean space $\mathbb{R}^d$ is called a 2-distance set if the set of pairwise distances between the points has cardinality two. The 2-distance set is called spherical if its points lie on the unit sphere in $\mathbb{R}^{d}$. We characterize the spherical 2-distance sets using the spectrum of the adjacency matrix of an associated graph and the spectrum of the projection of the adjacency matrix onto the orthogonal complement of the all-ones vector. We also determine the lowest dimensional space in which a given spherical 2-distance set could be represented using the graph spectrum.

Gromov-Hausdorff and intrinsic flat convergence of RCD(K,N) and Kato spaces

2026-02-03T09:04:09Z

We consider metric measure spaces $(X,\mathsf{d},\mathscr{H}^N)$ satisfying the properties (ETR), (LBD), and with an almost everywhere connected regular set. In particular, these assumptions are fulfilled by non-collapsed RCD$(K,N)$ spaces without boundary, as well as by non-collapsed strong Kato limit spaces without boundary. For both classes, we study orientability in the sense of metric currents, establish stability of orientation under pointed Gromov--Hausdorff convergence, and show that the pointed Gromov--Hausdorff limit coincides with the local flat limit.

Chebyshev centers and radius of the set of permutons

2026-02-02T22:48:29Z

We study the metric geometry of the set of permutons under the rectangular distance $d_{\square}$. We determine the Chebyshev radius to be 1/4 and characterize all Chebyshev centers: a permuton is a center if and only if it is 1/2- periodic in each coordinate. We also describe permutons that attain the extremal distance 1/4 from a given center.

Desargues's and Pappus's hexagon theorems on translation-type surfaces in Thurston geometries

2026-02-02T19:01:59Z

In \cite{Sz25} we generalized the famous Menelaus' and Ceva's theorems for translation triangles in each non-constant curvature Thurston geometry. In this paper based on the described method and results, we prove that the classical Desargues's and Pappus's hexagon theorems are true not only in classical geometries with constant curvature, but also in Thurston geometries with non-constant curvature on the translation surfaces. In our work we use the unified projective models of Thurston geometries.

Semicontinuity of capacity under pointed intrinsic flat convergence

2026-02-02T15:25:18Z

The concept of the capacity of a compact set in $\mathbb R^n$ generalizes readily to noncompact Riemannian manifolds and, with more substantial work, to metric spaces (where multiple natural definitions of capacity are possible). Motivated by analytic and geometric considerations, and in particular Jauregui's definition of capacity-volume mass and Jauregui and Lee's results on the lower semicontinuity of the ADM mass and Huisken's isoperimetric mass, we investigate how the capacity functional behaves when the background spaces vary. Specifically, we allow the background spaces to consist of a sequence of local integral current spaces converging in the pointed Sormani--Wenger intrinsic flat sense. For the case of volume-preserving ($\mathcal{VF}$) convergence, we prove two theorems that demonstrate an upper semicontinuity phenomenon for the capacity: one version is for balls of a fixed radius centered about converging points; the other is for Lipschitz sublevel sets. Our approach is motivated by Portegies' investigation of the semicontinuity of eigenvalues under $\mathcal{VF}$ convergence. We include examples to show the semicontinuity may be strict, and that the volume-preserving hypothesis is necessary. Finally, there is a discussion on how capacity and our results may be used towards understanding the general relativistic total mass in non-smooth settings.

Gromov hyperbolic domains in Minkowski space

2026-02-02T15:00:16Z

We investigate domains in Minkowski space that are Gromov hyperbolic with respect to a Kobayashi-like metric introduced by Markowitz in the 1980s. For convex, future complete domains, Gromov hyperbolicity is shown to be equivalent to the stable acausality of the boundary. An analogous characterization is obtained for bounded, convex, causally convex domains in terms of the stable acausality of their Geroch--Kronheimer--Penrose causal boundaries. Our approach is based on explicit comparisons between the Markowitz metric, the Sormani--Vega null distance and the quasi-hyperbolic metric. We also make use of dynamical arguments similar to those of Benoist and Zimmer in projective and complex geometry. Finally, we compare the Markowitz metric to the Hilbert metric.

Continuity of the solution map for hyperbolic polynomials

2026-02-02T14:24:57Z

Hyperbolic polynomials are monic real-rooted polynomials. By Bronshtein's theorem, the increasingly ordered roots of a hyperbolic polynomial of degree $d$ with $C^{d-1,1}$ coefficients are locally Lipschitz and the solution map "coefficients-to-roots" is bounded. We prove continuity of this solution map from hyperbolic polynomials of degree $d$ with $C^d$ coefficients to their increasingly ordered roots with respect to the $C^d$ structure on the source space and the Sobolev $W^{1,q}$ structure, for all $1 \le q<\infty$, on the target space. Continuity fails for $q=\infty$. As a consequence, we obtain continuity of the local surface area of the roots as well as local lower semicontinuity of the area of the zero sets of hyperbolic polynomials. We also discuss applications for the eigenvalues of Hermitian matrices and singular values.

Regular triangle unions with maximal number of sides

2026-02-02T12:38:26Z

Given an integer n>=1. Suppose, a simple polygon is a union of n triangles so that vertices along the common boundary are arranged cyclically. What is the maximal number of sides such union - call it regular - can have? This is a sequence A375986, a recent entry into the OEIS. In this paper we prove that the sequence starts as 3, 12, 22, 33, 45, 56, 67, 80, 91, and satisfies simple linear lower and upper bounds. The latter is not only a bound, but in fact is realizable combinatorially. The questions whether it can be realized in pseudoline geometry, and, if so, whether such constructions are stretchable, are the next natural ones to pose. The paper is mostly expository and written in an informal style. However, it adds a new tool in investigating unions of objects; namely, triangulation shifts.

The rigidity problem for uniform Roe algebras

2026-02-02T11:57:27Z

We solve the rigidity problem for uniform Roe algebras, by showing that two uniformly locally finite metric spaces with isomorphic uniform Roe algebras are bijectively coarsely equivalent.

Curvature Preserving Fractal Interpolation Functions: A Hybrid Geometric Approach

2026-02-02T06:31:48Z

Fractal interpolation functions (FIFs) generated using iterated function systems (IFS) provide a powerful framework for modeling self-similar and irregular data, yet traditional constructions often neglect geometric fidelity such as curvature. In this paper, we introduce a curvature-preserving variant of FIFs built upon a classical cubic spline interpolant. We define a curvature-aware iterated function system (IFS) with parameters optimized via a penalty-based approach to minimize deviation from the curvature of the classical spline. Theoretical conditions for interpolation and curvature approximation are derived. We compare the curvature of the proposed FIF with that of the classical cubic spline and discrete data curvature across multiple examples. Our method achieves both data interpolation and shape fidelity, preserving curvature more accurately than standard splines. The approach has potential applications in geometric modeling, computer graphics, and scientific data interpolation.

Grassmannian spines, projection closure operators, and diametric sweeps

2026-02-02T01:03:35Z

For positive integers $r

Urysohn width and macroscopic scalar curvature

2026-02-01T21:00:21Z

We show that the macroscopic version of Gromov's Urysohn width conjecture for scalar curvature is false in dimensions four and above. This is based on (1) a novel estimate on the codimension two Urysohn width of circle bundles over manifolds with large hypersphericity radius, and (2) a notion of ruling for Riemannian manifolds that yields circle bundles with total spaces admitting metrics of positive macroscopic scalar curvature. Along the way, we also show that Urysohn width is not continuous under Cheeger-Gromov collapsing limits. This article is a continuation of our study of metric invariants and scalar curvature for circle bundles over large Riemannian manifolds initiated in [KS25].