In https://arxiv.org/abs/0912.3423, a family of random homeomorphisms of the circle is constructed. Main Question: Can the construction be generalized to higher space dimensions, e.g. to $\mathbb T^2$?
Further details: How can one use such construction to build a measure on the group of homeomorphisms of $\mathbb T^2$? I would like these properties to hold for the measure: (1) A measure zero set has empty interior; (2) Every subset of a measure zero set has measure zero too; (3) Countable union of measure zero sets has measure zero too; (4) quasi-invariance in some sense. See A measure on the group of homeomorphisms of $\mathbb T^2$ for this question specifically.
Further context: Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$, in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as \begin{equation} h(t)=\tau ([0,t))/\tau ([0,1) )%\qquad \mbox{for}\;\; \theta\in [0,1) \label{h1} \end{equation} Specifically they take $\tau$ formally proportional to $ e^{\beta X(t)}dt$ where $\beta\geq 0$ and $X$ is the Gaussian Free Field on the circle i.e. the random field $X$ with covariance $\mathbb E\, X(t)X(t')=-\log |e^{2\pi it}-e^{2\pi it'}|$ (see within the link and https://arxiv.org/abs/0909.1003 for all the rigorous details).
