1: \begin{abstract}

2: We show that for each $p \geq 1,$ the $L^p$-metric on the group of area-preserving diffeomorphisms of the two-sphere has infinite diameter. This solves the last open case of a conjecture of Shnirelman from 1985. Our methods extend to yield stronger results on the large-scale geometry of the corresponding metric space, completing an answer to a question of Kapovich from 2012. Our proof uses configuration spaces of points on the two-sphere, quasimorphisms, optimally chosen braid diagrams, and, as a key element, the cross-ratio map $X_4(\C P^1) \to \mathcal{M}_{0,4} \cong \C P^1 \setminus \{\infty,0,1\}$ from the configuration space of $4$ points on $\C P^1$ to the moduli space of complex rational curves with $4$ marked points.

3: 

4: 

5: %This solves a long-standing open question. The proof uses in an essential way the basic objects in the theory of moduli of marked rational curves: the cross-ratio coordinates. The main technical result states that all the Gambaudo-Ghys quasi-morphisms on $\G$ are Lipschitz with respect to the $L^p$-metric. This improves all known results on the metric group $\G,$ extending them to exponents $2 \geq p \geq 1.$ In particular, for all $p \geq 1,$ the vector space $\R^d$ of any finite dimension $d$ with the standard metric embeds in a bi-Lipschitz way into $\G,$ each right-angled Artin group admits a quasi-isometric injective group homomorphism into $\G,$ and for all $k \geq 1,$ the complement of the subset of products of at most $k$ autonomous diffeomorphisms contains a ball of any given radius.

6: \end{abstract}

7: