Related papers: On the structure of separable $\mathcal{L}_\infty$…

We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…

We show that for each $p\in(0,1]$ there exists a separable $p$-Banach space $\mathbb G_p$ of almost universal disposition, that is, having the following extension property: for each $\epsilon>0$ and each isometric embedding $g:X\to Y$,…

We show that a metric space $X$ that, at every point, has a Gromov-Hausdorff tangent with the splitting property (i.e. every geodesic line splits off a factor $\mathbb{R}$), is universally infinitesimally Hilbertian (i.e. $W^{1,2}(X,\mu)$…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

We prove that for any given integer $c>0$ any metric space on $n$ points may be isometrically embedded into $l_{\infty}^{n-c}$ provided $n$ is large enough.

We study the decomposition of a stratum $\mathcal H(\kappa)$ of abelian differentials into regions of differentials that share a common $L^\infty$-Delaunay triangulation. In particular, we classify the infinitely many adjacencies between…

We study algebraic structures ($L_\infty$ and $A_\infty$-algebras) introduced by Gaiotto, Moore and Witten in their recent work devoted to certain supersymmetric 2-dimensional massive field theories. We show that such structures can be…

The main goals of this paper are: i) To develop an abstract differential calculus on metric measure spaces by investigating the duality relations between differentials and gradients of Sobolev functions. This will be achieved without…

We survey some old and new results concerning the classification of complete metric spaces up to isometry, a theme initiated by Gromov, Vershik and others. All theorems concerning separable spaces appeared in various papers in the last…

We define a notion of nonassociative $\mathrm{L}^p$-space associated to a $\mathrm{JBW}^*$-algebra (Jordan von Neumann algebra) equipped with a normal faithful state $\varphi$. In the particular case of $\mathrm{JW}^*$-algebras underlying…

A metric space $\mathrm{M}=(M,\de)$ is {\em indivisible} if for every colouring $\chi: M\to 2$ there exists $i\in 2$ and a copy $\mathrm{N}=(N, \de)$ of $\mathrm{M}$ in $\mathrm{M}$ so that $\chi(x)=i$ for all $x\in N$. The metric space…

For any L-infinity algebra L, we construct an A-infinity structure on the space of symmetric tensors Sym*(L), which generalizes the classical universal enveloping for Lie algebras. Our construction is based on an invariant homotopy on a…

Building on work of van Engelen and van Mill, we show that a zero-dimensional Borel space is homeomorphic to a semifilter if and only if it is homogeneous and not locally compact. Under $\mathbf{\Sigma}^1_1$-Determinacy, this result extends…

Isaak Moiseevich Yaglom deduced complete classification of geometric spaces. In this work, supposed to your attention, author formalizes Yaglom's approach and constructs uniform theory of geometric spaces on analytic level. Among its…

An overview of some recent results on the geometry of partial differential equations in application to integrable systems is given. Lagrangian and Hamiltonian formalism both in the free case (on the space of infinite jets) and with…

In a separably connected space any two points are contained in a separable connected subset. We show a mechanism that takes a connected bounded metric space and produces a complete connected metric space whose separablewise components form…

In this paper we deal with two weaker forms of injectivity which turn out to have a rich structure behind: separable injectivity and universal separable injectivity. We show several structural and stability properties of these classes of…

We investigate the isometric structure of $L^{p}$-spaces for the infinite-dimensional Lebesgue measure $(\mathbb{R}^{\mathbb{N}},\mu)$. Under the continuum hypothesis (CH) we prove $L^{p}(\mu)\cong \ell^{p}(\mathfrak{c},L^{p}[0,1])$, where…

Given a natural number $k \geq 2$, we construct a hereditarily indecomposable, $\mathscr{L}_{\infty}$ space, $X_k$ with dual isomorphic to $\ell_1$. We exhibit a non-compact, strictly singular operator $S$ on $X_k$, with the property that…

We consider the notion of dimension in four categories: the category of (unbounded) separable metric spaces and (metrically proper) Lipschitz maps, and the category of (unbounded) separable metric spaces and (metrically proper) uniform…