Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1208.2864

Coarse amenability versus paracompactness

M. Cencelj·J. Dydak·A. Vavpetič
View original source ↗Read source document ↗Export metadata ↓

Abstract

Recent research in coarse geometry revealed similarities between certain concepts of analysis, large scale geometry, and topology. Property A of G.Yu is the coarse analog of amenability for groups and its generalization (exact spaces) was later strengthened to be the large scale analog of paracompact spaces using partitions of unity. In this paper we go deeper into divulging analogies between coarse amenability and paracompactness. In particular, we define a new coarse analog of paracompactness modelled on the defining characteristics of expanders. That analog gives an easy proof of three categories of spaces being coarsely non-amenable: expander sequences, graph spaces with girth approaching infinity, and unions of powers of a finite non-trivial group.

Explore related subjects

math.MGmath.GNmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

M. Cencelj, J. Dydak, A. Vavpetič. 2013-11-18. Coarse amenability versus paracompactness. https://doi.org/10.1142/s1793525314500034

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An approximate counterexample to the Barker--Larman problem in dimension $4$

The Barker--Larman problem asks if a convex body $K \subseteq \mathbb R^n$ containing the Euclidean ball $\mathbb B_n$, such that all the sections of $K$ by hyperplanes tangent to $\mathbb B_n$ have constant $(n-1)$-dimensional volume, must necessarily be a Euclidean ball. In this paper we show a result pointing to a negative answer in dimension $4$. Taking $λ_0 = 4 \sqrt{3}π$ and any $N \in \mathbb N$, we obtain the existence of a family of convex bodies $K_{λ,N}$ with $λ\in (λ_0-r_N, λ_0 + r_N)$, such that the sections of $K_{λ,N}$ by hyperplanes tangent to the Euclidean ball, have area within $c |λ- λ_0|^{N+1}$ of $λ$, while the difference between outradius and inradius of $K_{λ,N}$ is larger than $C |λ- λ_0|$. The bodies $K_{λ,N}$ are constructed via radial functions as \[ρ_{K_{λ,N}}(t) = \cos\left( \sum_{n=0}^N \frac{(λ-λ_0)^n}{n!} φ_n(t) \right)^{-1},\] where $t \in [0,2π), λ\in \mathbb R$ and $φ_n$ are trigonometric polynomials that can be computed explicitly. The convergence of the inner power series when $N \to \infty$ (which is left open) would imply a negative answer to the Barker--Larman problem in dimension $4$. As an example we obtain a convex body whose outradius and inradius differ by more than $0.176$, and the area of the sections oscillate by less than $3 \times 10^{-7}$.

math.MG↗
arXiv2026

On convex bodies with rotationally symmetric planar projections

Let $n\ge 3$ and let $K\subset\mathbb R^n$ be a convex body. For a two-dimensional linear subspace $P\subset\mathbb R^n$, let $K|P$ be the orthogonal projection of $K$ onto $P$. We prove that if for every two-dimensional subspace $P$, the planar convex body $K|P$ has $q$-fold rotational symmetry up to translation, then for $q\ge4$, this forces $K$ to be an Euclidean ball. The case $q=3$ is exceptional: non-spherical examples exist.

math.MG↗
arXiv2026

$β$-Uniform Convexity and Divisible Domains

Divisible convex sets have long been important in the study of Hilbert geometries. When a divisible convex set is an ellipsoid, the Hilbert geometry it induces is the hyperbolic space. In general, strictly convex divisible domains exhibit negative curvature properties, but only the ellipsoid is a CAT(0) space. The notion of p-uniform convexity from the theory of Banach spaces has been proposed by Shin-Ichi Ohta as a generalization of the Alexandrov-Toponogov comparison theorems to Finsler manifolds. We prove that a natural Finsler metric on a strictly convex divisible domain is $β$-uniformly convex, where the constant $β$ is related to the regularity of the boundary. We use this to show, with AI assistance, that the Hilbert metric, under suitable local and scale-dependent assumptions, is $β$-uniformly convex on such domains.

math.MG↗