Quillen connection and the uniformization of Riemann surfaces (Q2088039)

In the following paper, the authors investigate two different natural holomorphic \(\Omega^1_{\mathcal{M}_g}\)-torsors over the moduli stack \(\mathcal{M}_g\) of irreducible smooth complex projective curves of genus \(g\) for \(g\geq 5\) and the authors prove that between the two holomorphic \(\Omega^1_{\mathcal{M}_g}\)-torsors there exists precisely one holomorphic isomorphism. One of the \(\Omega^1_{\mathcal{M}_g}\)-torsor is given by moduli stack \(\mathcal{P}_g\) of genus \(g\) compact connected Riemann surfaces equipped with projective structure. Another \(\Omega^1_{\mathcal{M}_g}\)-torsor is given by sheaf of holomorphic connections \(\mathrm{Conn}(\mathcal{L})\) on the dual \(\mathcal{L}\) of Hodge line bundle \(\mathcal{L}^*\) on the moduli space \(\mathcal{M}_g\). From the uniformization theorem we have a \(C^{\infty}\) section \[ \Psi:\mathcal{M}_g\to \mathcal{P}_g. \] On the other hand, the holomorphic line bundle \(\mathcal{L}\) has a complex connection associated with the Quillen metric on it. The Quillen metric is constructed using the eigenvalues of the Laplacian acting on the functions on Riemann surfaces. In Corollary \(2.2\) the authors prove this Quillen connection is uniquely determined, among all complex connections on \(\mathcal{L}\), by the property that its curvature is\(\frac{\sqrt{-1}}{6\pi}\omega_{W_P}\), where \(\omega_{W_P}\) is the Weil-Petersson form on \(\mathcal{M}_g\). The authors constructe a new holomorphic \(\Omega^1_{\mathcal{M}_g}\)-torsor from \(\mathrm{Conn}(\mathcal{L})\) by scaling as follows: If \[ A:\mathrm{Conn}(\mathcal{L})\times_{\mathcal{M}_g}\Omega^1_{\mathcal{M}_g}\to \mathrm{Conn}(\mathcal{L}) \] is the action of \(\Omega^1_{\mathcal{M}_g}\) on \(\mathrm{Conn}(\mathcal{L})\), then the new holomorphic action of \(\Omega^1_{\mathcal{M}_g}\) on the same holomorphic fiber bundle \(\mathrm{Conn}(\mathcal{L})\) is defined by \[ A^t:\mathrm{Conn}(\mathcal{L})\times_{\mathcal{M}_g}\Omega^1_{\mathcal{M}_g}\to \mathrm{Conn}(\mathcal{L}) \] \[ (z,v)\mapsto A(z,\frac{\sqrt{-1}}{6\pi}v) \] The resulting holomorphic \(\Omega^1_{\mathcal{M}_g}\)-torsor \(\mathrm{Conn}(\mathcal{L},A^t)\) is denoted by \(\mathrm{Conn}^t(\mathcal{L})\). Let \(\Phi:\mathcal{M}_g\to \mathrm{Conn}^t(\mathcal{L})\) be the \(C^{\infty}\) -section given by the Quillen connection on \(\mathcal{L}\). In Theorem \(3.1\) the authors prove the following results: \begin{itemize} \item There is exactly one holomorphic isomorphism between the \(\Omega^1_{\mathcal{M}_g}\)-torsors \(\mathrm{Conn}^t(\mathcal{L})\) and \(\mathcal{P}_g\). \item The isomorphism takes the section \(\Phi\) of \(\mathrm{Conn}^t(\mathcal{L})\) to the section \(\Psi\) of \(\mathcal{P}_g\) given by the uniformization theorem. \end{itemize}