Related papers: A structure theorem for euclidean buildings

We define coarse proximity structures, which are an analog of small-scale proximity spaces in the large-scale context. We show that metric spaces induce coarse proximity structures, and we construct a natural small-scale proximity…

Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker…

We prove the existence of nonperiodic, properly embedded minimal surfaces in $\mathbb{R}^2\times\mathbb{S}^1$ with genus zero, infinitely many ends and one limit end (in particular, they have infinite total curvature).

We show that a version of L\'opez-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric…

Two subset germs of Euclidean spaces are called blow-spherically equivalent, if their spherical modifications are homeomorphic and the homeomorphism induces homeomorphic tangent links. Blow-spherical equivalence is stronger than the…

In Euclidean geometry, the Pythagorean theorem is presented as an equation involving three squares. This paper explores how analogous expressions may be identified in spherical and hyperbolic geometries.

We give a characterization of the complex Euclidean space C^n, proving a global Newlander-Nirenberg's theorem on the representability of complex structures close to the standard complex structure on C^n.

We present examples of metric spaces that are not Riemannian manifolds nor dimensionally homogeneous that satisfy the Tetrahedral Property. In spite of that, Euclidean cones over metric spaces with small diameter do not satisfy this…

We give a sufficient condition for a projective metric on a subset of a Euclidean space to admit a bi-Lipschitz embedding into Euclidean space of the same dimension.

We review and comment on some works of Euler and his followers on spherical geometry. We start by presenting some memoirs of Euler on spherical trigonometry. We comment on Euler's use of the methods of the calculus of variations in…

It is well known that a rigid motion of the Euclidean plane can be written as the composition of at most three reflections. It is perhaps not so widely known that a similar result holds for Euclidean space in any number of dimensions. The…

We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.

We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…

In this work, the classical Borsuk conjecture is discussed, which states that any set of diameter 1 in the Euclidean space $ {\mathbb R}^d $ can be divided into $ d+1 $ parts of smaller diameter. During the last two decades, many…

We extend the notion of illumination bodies to Riemannian spaces of constant curvature and to projective Finsler geometries. We prove that the derivative of their volume defines a notion of surface area for convex bodies in these settings,…

We give a streamlined proof of the multiplicative ergodic theorem for quasi-compact operators on Banach spaces with a separable dual.

Let $G$ be an algebraic real reductive group and $Z$ a real spherical $G$-variety, that is, it admits an open orbit for a minimal parabolic subgroup $P$. We prove a local structure theorem for $Z$. In the simplest case where $Z$ is…

We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.

Let $X$ be a closed algebraic subset of $\mathbb{A}^{n}(K)$ where $K$ is an algebraically closed field complete with respect to a nontrivial non-Archimedean valuation. We show that there is a surjective continuous map from the Berkovich…

We introduce a new construction of the Uniform Infinite Planar Quadrangulation (UIPQ). Our approach is based on an extension of the Cori-Vauquelin-Schaeffer mapping in the context of infinite trees, in the spirit of previous work. However,…