797d5b9a6dbd4845.tex
1: \begin{abstract}
2: %We introduce the notion of a finite flat metric space. Finite metric space is called flat if it can be embedded into at least one (and then all) of the following 
3: %classed of metric spaces with a bi-Lipschitz distortion arbitrary close to $1$
4: 
5: 
6: 
7: We say that a finite metric space $X$ can be embedded almost isometrically into a class of metric spaces $C$, if for every $\epsilon > 0$ there exists an embedding of $X$ into one of the elements of $C$ with the bi-Lipschitz distortion less than $1 + \epsilon$.
8: We show that almost isometric embeddability conditions are equal for following classes of spaces
9: 
10: (a) Quotients of Euclidean spaces by isometric actions of finite groups,
11: 
12: (b) $L_2$-Wasserstein spaces over Euclidean spaces,
13: 
14: (c) Compact flat manifolds,
15: 
16: (d) Compact flat orbifolds,
17: %(d) Bi-invariant Lie groups, 
18: 
19: (e) Quotients of connected compact bi-invariant Lie groups by isometric actions of compact Lie groups. (This one is the most surprising.)
20: 
21: We call spaces which satisfy this conditions finite flat spaces. 
22: % The question about synthetic definition naturally arises. 
23: 
24: Since Markov type constants depend only on finite subsets we can conclude that connected compact bi-invariant Lie groups and their quotients have Markov type $2$ with constant $1$.
25: 
26: 
27: 
28: 
29: \end{abstract}