Related papers: Banach's isometric subspace problem in dimension f…

We prove that Hilbert space is distortable and, in fact, arbitrarily distortable. This means that for all lambda >1 there exists an equivalent norm |.| on l_2 such that for all infinite dimensional subspaces Y of l_2 there exist x,y in Y…

Given a category of objects, it is both useful and important to know if all the objects in the category may be realised as sub-objects -- via morphisms in the given category -- of a single object in that category enjoying some nice…

We show that there exists a strong uniform embedding from any proper metric space into any Banach space without cotype. Then we prove a result concerning the Lipschitz embedding of locally finite subsets of $\mathcal{L}_{p}$-spaces. We use…

In his classical work, W. Blaschke proved that a convex body whose shadow boundaries are flat for every direction of parallel illumination must be an ellipsoid. An extension recently proposed by I. Gonzalez-Garc\'ia, J. Jer\'onimo-Castro,…

Let $B_n$ be the $n$-dimensional unit ball given by the inequality $\|x\|\leq 1$, where $\|x\|$ is the standard Euclid norm in ${\mathbb R}^n$. For an $n$-dimensional nondegenerate simplex $S$, we denote by $E$ the ellipsoid of minimum…

We study the old problem of isometrically embedding a 2-dimensional Riemannian manifold into Euclidean 3-space. It is shown that if the Gaussian curvature vanishes to finite order and its zero set consists of two Lipschitz curves…

A submanifold $M^n$ of a Euclidean space $\mathbb{E}^N$ is called biharmonic if $\Delta\vec{H}=0$, where $\vec{H}$ is the mean curvature vector of $M^n$. A well known conjecture of B.Y. Chen states that the only biharmonic submanifolds of…

The van der Waerden's theorem reads that an equilateral pentagon in Euclidean 3-space $\Bbb E^3$ with all diagonals of the same length is necessarily planar and its vertex set coincides with the vertex set of some convex regular pentagon.…

A Banach symmetric space in the sense of O. Loos is a smooth Banach manifold $M$ endowed with a multiplication map $\mu\colon M \times M \to M$ such that each left multiplication map $\mu_x := \mu(x,\cdot)$ (with $x \in M$) is an involutive…

We prove that if $C$ is a symmetric convex body of revolution in $\mathbb R^4$ containing the unit Euclidean ball $\mathbb B_4$, such that the sections of $C$ by hyperplanes tangent to $\mathbb B_4$ have constant area $A>0$, then $C$ is a…

In a preceding work it is determined when a centrally symmetric convex body in $\mathbb{R}^d,$ $d=d_1\cdots d_l,$ is the closed unit ball of a reasonable crossnorm on $\mathbb{R}^{d_1}\otimes\cdots\otimes\mathbb{R}^{d_l}.$ Consequently, the…

Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_\alpha\}_{\alpha\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1)…

Let \[ \mathcal{E}_A=\{x\in\mathbb{R}^n:x^{\top}A^{-1}x\le 1\},\qquad n\ge2, \] where $A$ is real symmetric positive definite. We study full-dimensional parallelepipeds whose $2^n$ vertices lie on $\partial\mathcal{E}_A$. First we show that…

We prove that each sub-Riemannian manifold can be embedded in some Euclidean space preserving the length of all the curves in the manifold. The result is an extension of Nash $C^1$ Embedding Theorem. For more general metric spaces the same…

A convex geometry is a closure system satisfying the anti-exchange property. This paper, following the work of Adaricheva and Bolat (2019) and the Polymath REU (2020), continues to investigate representations of convex geometries with small…

Let $X$ be an $n$-dimensional manifold and $V_1,\ldots,V_n\subset C^\infty(X,\mathbb R)$ finite-dimensional vector spaces. For systems of equations $\{f_i = a_i\colon\: f_i\in V_i,\:a_i \in\mathbb R,\:i=1,\ldots,n\}$ we discover a…

We show that there exists a separable reflexive Banach space into which every separable uniformly convex Banach space isomorphically embeds. This solves a problem of J. Bourgain. We also give intrinsic characterizations of separable…

A generalization of Lozanovskii's result is proved. Let E be $k$-dimensional subspace of an $n$-dimensional Banach space with unconditional basis. Then there exist $x_1,..,x_k \subset E$ such that $B_E \p \subset \p absconv\{x_1,..,x_k\}$…

Let $E$ be one of the spaces $C(K)$ and $L_1$, $F$ be an arbitrary Banach space, $p>1,$ and $(X,\sigma)$ be a space with a finite measure. We prove that $E$ is isometric to a subspace of the Lebesgue-Bochner space $L_p(X;F)$ only if $E$ is…

For $n\geq 2, p<2$ and $q>2,$ does there exist an $n$-dimensional Banach space different from Hilbert spaces which is isometric to subspaces of both $L_{p}$ and $L_{q}$? Generalizing the construction from the paper "Zonoids whose polars are…