Title: Finite flat spaces,
Abstract: 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 then $1 + \epsilon$. We show that almost isometric
embeddability conditions are equal for following classes of spaces
(a) Quotients of Euclidean spaces by isometric actions of finite groups,
(b) $L_2$-Wasserstein spaces over Euclidean spaces,
(c) Compact flat manifolds,
(d) Compact flat orbifolds,
(e) Quotients of bi-invariant Lie groups by isometric actions of compact Lie
groups. (This one is the most surprising.)
We call spaces which satisfy this conditions finite flat spaces. The question
about synthetic definition naturally arises.
Since Markov type constants depend only on finite subsets we can conclude
that bi-invariant Lie groups and their quotients have Markov type $2$ with
constant $1$.