Related papers: The Urysohn sphere is pseudofinite

It is verified that the number of vertices in a $d$-dimensional cubical pseudomanifold is at least $2^{d+1}$. Using Adin's cubical $h$-vector, the generalized lower bound conjecture is established for all cubical 4-spheres, as well as for…

We prove that any metric surface (that is, metric space homeomorphic to a 2-manifold with boundary) with locally finite Hausdorff 2-measure is the Gromov-Hausdorff limit of polyhedral surfaces with controlled geometry. We use this result,…

Birkhoff's theorem for spherically symmetric vacuum spacetimes is a key theorem in studying local systems in general relativity theory. However realistic local systems are only approximately spherically symmetric and only approximately…

The diameter of the spectral pseudometric on the universal cover of the Hamiltonian diffeomorphism group of $\mathrm{Gr}(2,p)$ is shown to be finite whenever $p$ is a prime number. On the other hand, it is shown that the diameter is…

We prove a generalized isoperimetric inequality for a domain diffeomorphic to a sphere that replaces filling volume with $k$-dilation. Suppose $U$ is an open set in $\mathbb{R}^n$ diffeomorphic to a Euclidean $n$-ball. We show that in…

We say a map f:X \to Y is an \epsilon-embedding if it is continuous and the diameter of the fibres is less than \epsilon. This type of maps is used in the notion of Urysohn width (sometimes referred to as Alexandrov width), a_n(X). It is…

We consider complete spacelike hypersurfaces with constant mean curvature in the open region of de Sitter space known as the steady state space. We prove that if the hypersurface is bounded away from the infinity of the ambient space, then…

An approach to modelling random sets with locally finite perimeter as random elements in the corresponding subspace of $L^1$ functions is suggested. A Crofton formula for flat sections of the perimeter is shown. Finally, random processes of…

We prove rigidity for hypersurfaces with boundary in the unit $(n+1)$-sphere with scalar curvature bounded below by $n(n-1)$. Under appropriate boundary conditions, the hypersurfaces are shown to be part of the equatorial spheres. The lower…

A metric space $\mathrm{M}=(M;\de)$ is {\em homogeneous} if for every isometry $f$ of a finite subspace of $\mathrm{M}$ to a subspace of $\mathrm{M}$ there exists an isometry of $\mathrm{M}$ onto $\mathrm{M}$ extending $f$. A metric space…

Working in univalent foundations, we investigate the symmetries of spheres, i.e., the types of the form $\mathbb{S}^n = \mathbb{S}^n$. The case of the circle has a slick answer: the symmetries of the circle form two copies of the circle.…

We prove the existence of an abundance of new Einstein metrics on odd dimensional spheres including exotic spheres, many of them depending on continuous parameters. The number of families as well as the number of parameter grows double…

Let $(M,g)$ be a complete $(n+1)$-dimensional Riemannian manifold with $2\leq n\leq 6$. Our main theorem generalizes the solution of S.-T. Yau's conjecture on the abundance of minimal surfaces and builds on a result of M. Gromov. Suppose…

We prove the symmetric version of Kottman's theorem, that is to say, we demonstrate that the unit sphere of an infinite-dimensional Banach space contains an infinite subset $A$ with the property that $\|x\pm y\| > 1$ for distinct elements…

We show that for each $p \geq 1,$ the $L^p$-metric on the group of area-preserving diffeomorphisms of the two-sphere has infinite diameter. This solves the last open case of a conjecture of Shnirelman from 1985. Our methods extend to yield…

Let $S$ denote the unit sphere of a real normed space. We show that the intrinsic metric on $S$ is strongly equivalent to the induced metric on $S$. Specifically, for all $x,y\in S$, \[ \|x-y\|\leq d(x,y)\leq\sqrt{2}\pi\|x-y\|, \] where $d$…

The smallest hyperconvex metric space containing a given metric space X is called the tight span of X. It is known that tight spans have many nice geometric and topological properties, and they are gradually becoming a target of research of…

The geometry of closed surfaces equipped with a Euclidean metric with finitely many conical points of arbitrary angle is studied. The main result is that the set of closed geodesics is dense in the space of geodesics.

We survey the classification of the Riemannian metrics on spheres with respect to which all equators are minimal hypersurfaces, and discuss problems related to these geometries.

We give a conformal representation for indefinite improper affine spheres which solve the Cauchy problem for their Hessian equation. As consequences, we can characterize their geodesics and obtain a generalized symmetry principle. Then, we…