Topology of the space of smooth solutions to the Liouville equation (Q1970236)

The authors prove that the space \(\mathcal M\) of smooth solutions to the Liouville equation \[ \left( \partial ^2_t -\partial ^2_x\right)F(t,x)+\frac {m^2}{2}\exp F(t,x)=0,\quad m>0 \] with the topology of almost uniform convergence with all derivatives is homeomorphic to the space \(C^{\infty}(\mathbb R)\times C^{\infty}(\mathbb R)\) of smooth initial data.