https://arxiv.org/api/rZ/Eg+N4/B1ZVa5AFZCiQaGaOV8 2026-06-22T10:10:12Z 13068 975 15 http://arxiv.org/abs/2308.08077v4 2025-11-23T12:29:24Z

In this paper, we show that for any integer $k \in \mathbb{N}$ there exists a Sobolev sheaf (in the sense of Lebeau) on any definable site of $\mathbb{R}^2$ that agrees with Sobolev spaces on cuspidal domains. We also provide a complete computation of the cohomology of these sheaves using the notion of 'Good direction' introduced by Valette. This paper serves as an introduction to a more general project on the sheafification of Sobolev spaces in higher dimensions.

2023-08-16T00:09:05Z M'hammed Oudrane http://arxiv.org/abs/2511.18217v1 2025-11-22T23:16:17Z

In this work, I collect and discuss a series of open questions in one-dimensional geometric optimization in Euclidean spaces. The focus is on two classes of problems: maximal distance minimizers and Steiner trees. Maximal distance minimizers concern finding a connected set of minimal length whose closed $r$-neighborhood covers a given compact set, whereas Steiner trees aim to find a minimal-length set connecting a prescribed set of points. For both problems, I briefly summarize known results and highlight the remaining open questions. While some questions can be approached with elementary methods, others remain highly challenging.

2025-11-22T23:16:17Z 7 pages, 5 figures, 21 open questions Yana Teplitskaya http://arxiv.org/abs/2502.20998v2 2025-11-22T21:52:51Z

We provide various characterizations for a given almost smooth space to be an RCD space, in terms of a local volume doubling and a local Poincaré inequality. Applications include a characterization of Einstein $4$-orbifolds.

2025-02-28T12:38:16Z 47 pages Shouhei Honda Song Sun http://arxiv.org/abs/2511.11469v2 2025-11-21T18:00:08Z

We give a sufficient criterion, which we call stability, for a coarse Lipschitz map $f$ from a complete manifold $X$ with Ricci curvature bounded below to a proper Hadamard space $Y$ to be within bounded distance of a harmonic map. We prove uniqueness of the harmonic map under additional assumptions on $X$ and $Y$. Using this criterion, we prove a significant generalization of the Schoen-Li-Wang conjecture on quasi-isometric embeddings between rank 1 symmetric spaces. In particular, under a natural generalization of the quasi-isometric condition, we remove the assumption that the target has rank 1. This allows us to define a universal Hitchin component for each $\mathrm{PGL}_d(\mathbb{R})$, generalizing universal Teichmüller space, and show that it can be described both as a space of quasi-symmetric positive maps from $\mathbb{RP}^1$ to the flag variety, and as a space of harmonic maps.

2025-11-14T16:41:49Z 53 pages, 2 figures J. Maxwell Riestenberg Peter Smillie http://arxiv.org/abs/2504.02656v2 2025-11-21T09:07:58Z

Answering Tarski's plank problem, Bang showed in 1951 that it is impossible to cover a convex body $K \subset \mathbb{R}^d$ with $d \geq 1$ by planks whose total width is less than the minimal width $w(K)$ of $K$. In 2003, A. Bezdek asked whether the same statement holds if one is required to cover only the annulus obtained from $K$ by removing a homothetic copy contained within. He showed that if $K$ is the unit square, then saving width in a plank covering is not possible, provided that the homothety factor is sufficiently small. White and Wisewell in 2006 characterized polygons that possess this property. We generalize the constructive part of their classification to spiky convex bodies: a body $K$ is spiky at a boundary point $x$ with supporting hyperplane $H$ and corresponding outer normal $u$, if both $K$ and its tangent cone at $x$ intersect $H$ only at $x$. We show that if $K$ is a convex disc or a convex body in 3-space that is spiky in a minimal width direction, then for every $\varepsilon \in (0,1)$ it is possible to cut a homothetic copy $\varepsilon K$ from the interior of $K$ so that the remaining annulus can be covered by planks whose total width is strictly less than $w(K)$.

2025-04-03T14:51:26Z 8 pages. Final version, published in Dicrete & Computational Geometry Gergely Ambrus Julian Huddell Maggie Lai Matthew Quirk Elias Williams 10.1007/s00454-025-00799-2 http://arxiv.org/abs/2405.16513v3 2025-11-20T20:52:38Z

We present a counterexample to Viterbo's volume-capacity conjecture. This implies, in particular, that in contrast with a well-known conjecture, symplectic capacities do not coincide on the class of convex domains in the classical phase space.

2024-05-26T10:48:29Z Pazit Haim-Kislev Yaron Ostrover http://arxiv.org/abs/2511.16515v1 2025-11-20T16:32:53Z

We prove that every sofic approximation of a property (T) group is approximately isomorphic to one having geometric property (T), and more generally, a box space of graphs which has boundary geometric property (T) is approximately isomorphic to one having geometric property (T). We also prove that a sequence of bounded degree graphs is approximately isomorphic to a disjoint union of expanders if and only if the Laplacian has spectral gap in the ultraproduct. Finally, we prove a local geometric criterion for geometric property (T) in the spirit of Żuk's criterion for property (T) for groups.

2025-11-20T16:32:53Z 42 pages Vadim Alekseev Stefan Drigalla http://arxiv.org/abs/2512.07839v1 2025-11-20T15:41:18Z

We study the existence of equilateral polygons in planar integer lattices. Maehara showed that it's sufficient to work with rectangular lattices $Λ(m) = L[(1,0),(0,\sqrt{m})]$ with $m \equiv 3 \pmod{4}$. Building on results of Maehara and of Iino and Sakiyama, we show that for every such $m$ there exists $N$ such that for all $n \geq N$, the lattice $Λ(m)$ contains an equilateral $n$-gon. This extends previous classifications of equilateral polygons in planar lattices.

2025-11-20T15:41:18Z 5 pages, 2 figures Ghaura Mahabaduge http://arxiv.org/abs/2511.16463v1 2025-11-20T15:28:37Z

We introduce a flexible, categorical framework for large-scale geometry that clarifies basic behaviour of the metric Rips filtration and streamlines some constructions in geometric group theory. The paper has two main parts. First, we develop the theory of the metric Rips filtration and its colimit in natural coarse categories: informally, we characterise when the Rips colimit produces a canonical large-scale model of a metric space and use this to prove that the quasigeodesic subcategory is closed under colimits in the coarsely Lipschitz category. We also establish adjointness properties of the Rips colimit and use them to characterise extremal metrics and universal morphisms from quasigeodesic sources. Second, we apply this machinery to characterise universal quasigeodesic cones via an explicit Rips-Tuple recipe. In the HHS setting this yields a concrete, canonical model of the total space: an HHS is quasi-isometric to a Rips graph of the space of coarsely consistent tuples in the product of its factor spaces. Moreover, we give a local-to-global criterion that promotes uniformly controlled, factorwise retractions to a canonical global hierarchical retraction. Because the approach is based on universal properties and uniformly controlled coarse data rather than inductive constructions, distance formulae, or hierarchy paths, it applies equally well to arbitrary families of metric spaces equipped with pairwise constraints.

2025-11-20T15:28:37Z 49 pages Robert Tang http://arxiv.org/abs/2511.16442v1 2025-11-20T15:12:22Z

Although the theory of self-affine tiles and the theory of Rauzy fractals are quite different from each other, they have some common features. Both, self-affine tiles and Rauzy fractals have tiling properties and these tiling properties can be checked and described by certain graphs, so-called {\it contact graphs} and {\it neighbor graphs}. The contact graph is often quite easy to construct, but only the neighbor graph contains full information on the overlaps of the tiles in the presumed tiling. In the present paper we establish an algorithm that allows to construct the neighbor graph starting from the contact graph. Such an algorithm is already known in the case of self-affine tiles. In the present paper we give a simplified proof of this algorithm that can be extended to the case of Rauzy fractals. Our algorithms are more efficient than naïve algorithms for the construction of the neighbor graph.

2025-11-20T15:12:22Z Benoît Loridant Jörg M. Thuswaldner Shu-Qin Zhang http://arxiv.org/abs/2511.16255v1 2025-11-20T11:36:24Z

We study the predual of the space of functions of bounded variation defined over a metric measure space $({\rm X},{\sf d},\mathfrak m)$ with $\mathfrak m$ finite. More specifically, for any exponent $p\in(1,\infty)$ we construct an isometric predual of the space ${\rm BV}_p({\rm X})$ of $p$-integrable functions of bounded variation, which we equip with the norm $\|f\|_{{\rm BV}_p({\rm X})}:=\|f\|_{L^p({\rm X})}+|Df|({\rm X})$. Moreover, we prove that the standard BV space ${\rm BV}({\rm X}):={\rm BV}_1({\rm X})$, which fails to have a predual for some choices of the metric measure space, does have a predual in the case where $({\rm X},{\sf d},\mathfrak m)$ is a PI space (i.e. a doubling metric measure space supporting a weak $(1,1)$-Poincaré inequality) of finite diameter. Along the way, we also develop a basic theory of BV functions in the setting of extended metric-topological measure spaces, which is of independent interest.

2025-11-20T11:36:24Z 17 pages Enrico Pasqualetto http://arxiv.org/abs/2511.19455v1 2025-11-20T09:33:51Z

Linear Geometry describes geometric properties that depend on the fundamental notion of a line. In this paper we survey basic notions and results of Linear Geomery that depend on the flat hulls: flats, exchange, rank, regularity, modularity, and parallelity.

2025-11-20T09:33:51Z 21 pages Matematychni Studii, 65:1 (2026), 74-96 Taras Banakh Ivan Hetman Alex Ravsky Vlad Pshyk 10.30970/ms.65.1.74-96 http://arxiv.org/abs/2511.15907v1 2025-11-19T22:18:29Z

For Lipschitz maps between a metric measure space and a metric space, combining the ideas of Kirchheim's metric differentiability and Cheeger's differentiable structures leads to a Rademacher-type theorem for a notion of metric differentiability with respect to a rectifiable chart, and in this paper we prove the validity of a Stepanov-type generalization of such result under the same assumptions.

2025-11-19T22:18:29Z Iván Caamaño http://arxiv.org/abs/2307.07624v2 2025-11-19T22:12:49Z

Let $K\subset \mathbb{R}^n$ be a convex body, $n\geq 3$. We say that $K$ satisfies the Barker-Larman condition if there exists a ball $B$ in the interior of $K$ such that for every suppor hyperplane $Π$ of $B$, the section $Π\cap K$ is a centrally symmetric set. Barker and Larman conjectured that the Barker-Larman condition characterizes the ellipsoid. In this work we prove an special case of such conjecture, in particular, we assume that the convex body $K$ is centrally symmetric. Our main result is the following: Let $K$ be a centrally symmetric and strictly convex body, with center at $O$, and let $B$ be a ball in the interior of $K$ and not containing $O$: If $K$ satisfies the Barker-Larman condition with respect to $B$ and $B$ is suitable for $K$ (intuitively, $B$ is suitable for $K$ if the boundary of $B$ is not very close to the boundary of $K$), then $K$ is an ellipsoid.

2023-07-14T20:52:10Z E. Morales-Amaya http://arxiv.org/abs/2511.15855v1 2025-11-19T20:23:48Z

We expose a class of discrete metric spaces, for which bounded geometry is equivalent to the property A of G. Yu. This class includes the coarse disjoint union of $(\mathbb Z/2\mathbb Z)^n$, $n\in\mathbb N$, and consists of spaces of simple paths in a class of graphs that includes cactus graphs, with the metric defined as the number of edges in the symmetric difference of the paths. We also show that if a space in this class does not have bounded geometry then it contains a subspace of bounded geometry without property A.

2025-11-19T20:23:48Z 9 pages V. Manuilov