Metric completion of $Diff([0,1])$ with the $H1$ right-invariant metric

Simone Di Marino, Andrea Natale, Rabah Tahraoui +1

We consider the group of smooth increasing diffeomorphisms Diff on the unit interval endowed with the right-invariant $H^1$ metric. We compute the metric completion of this space w…