Homogeneous length functions on groups

TL;DR

This paper characterizes homogeneous pseudo-length functions on groups, showing they factor through embeddings into Banach spaces, and provides a quantitative stability version allowing for approximate properties.

Contribution

It proves that homogeneous pseudo-length functions are essentially pullbacks from Banach space embeddings, extending to approximate cases with defect allowances.

Findings

Homogeneous pseudo-length functions satisfy triviality on commutators.

Such functions are classified as pullbacks from Banach space embeddings.

A quantitative stability version is established for approximate properties.

Abstract

A pseudo-length function defined on an arbitrary group $G = (G,\cdot,e, (\,)^{-1})$ is a map $\ell: G \to [0,+\infty)$ obeying $\ell(e)=0$, the symmetry property $\ell(x^{-1}) = \ell(x)$, and the triangle inequality $\ell(xy) \leqslant \ell(x) + \ell(y)$ for all $x,y \in G$. We consider pseudo-length functions which saturate the triangle inequality whenever $x=y$, or equivalently those that are homogeneous in the sense that $\ell(x^n) = n\,\ell(x)$ for all $n\in\mathbb{N}$. We show that this implies that $\ell([x,y])=0$ for all $x,y \in G$. This leads to a classification of such pseudo-length functions as pullbacks from embeddings into a Banach space. We also obtain a quantitative version of our main result which allows for defects in the triangle inequality or the homogeneity property.