The supermoduli of SUSY curves with Ramond punctures (Q2050214): Difference between revisions

In this paper, Random-Random supersymmetric curves ant their supermoduli spaces are studied. It is proved that the supermoduli spaces are algebraic superspaces. A supercurve is a superscheme that has dimension \((1,1)\). A supersymmetric supercurve (SUSY) is a relative supercurve \(\pi:\mathscr{X}\rightarrow \mathscr{S}\) which has a locally free submodule \(\mathcal{D}\hookrightarrow \Theta_{\mathscr{X}/\mathscr{S}}/\mathcal{D}\), of rank \((0,1)\), with the following condition. Definition [\textit{U. Bruzzo} and \textit{D. Hernández Ruipérez}, Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 115, No. 3, Paper No. 144, 33 p. (2021; Zbl 07388092)]. Let \(\mathscr{S}=(S,\mathcal{O}_S)\) be a superscheme and \(\mathscr{X}\) be a supercurve over \(\mathscr{S}\). Then a relative positive superdivisor of degree \(n\) is a closed sub-superscheme \(\mathscr{Z}=(Z,\mathcal{O}_Z)\hookrightarrow\mathscr{X}\) whose ideal is a line bundle of rank \((n,n)\). A Random-Random-SUSY curve is a relative supercurve, \(\pi:\mathscr{X}\rightarrow\mathscr{S}\) along a positive relative superdivisor \(\mathscr{Z}\rightarrow\mathscr{X}\), if there exists a locally free submodule \(\mathcal{D}\hookrightarrow \Theta_{\mathscr{X}/\mathscr{S}}\) of rank \((0,1)\) such that the composition map \(\mathcal{D}\otimes_{\mathcal{O}_\mathscr{S}}\mathcal{D}\overset{[\, , \, ]}{\longrightarrow}\Theta_{\mathscr{X}/\mathscr{S}}\rightarrow \Theta_{\mathscr{X}/\mathscr{S}}/\mathcal{D}\) induces an isomorphism of \(\mathcal{O}_\mathscr{X}\)-modules \[ \mathcal{D}\otimes_{\mathcal{O}_\mathscr{X}}\mathcal{D}\overset{\sim}{\rightarrow}\Theta_{\mathscr{X}/\mathscr{S}}/\mathcal{D}(-\mathscr{Z}). \] In this case, \(\mathcal{D}\) is called a Random-Random conformal structure of \(\pi:\mathscr{X}\rightarrow\mathscr{S}\) along \(\mathscr{Z}\), and the irreducible components of \(\mathscr{Z}\) are called the Random-Random punctures. In this paper, it is shown that, in an étale covering, the conformal distribution of the puncture for a RR-SUSY curve along a prime divior, locally generated by \(D=\frac{\partial}{\partial\theta}+z\theta\frac{\partial}{\partial z}\). The point is, contrary to what happens for SUSY curves, for a family \(\mathscr{X}\rightarrow\mathscr{S}\) of RR-SUSY curves this is true only after taking an étale covering of the base [\textit{U. Bruzzo} and \textit{D. Hernández Ruipérez}, Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 115, No. 3, Paper No. 144, 33 p. (2021; Zbl 07388092)]. Let \((\pi:\mathscr{X}\rightarrow S,\mathcal{D},\mathscr{Z})\) be an RR-SUSY curve of genus \(g\) over an ordinary scheme \(S\). Let also \(\mathcal{G}^{nR}_{\pi}\) be a sheaf whose sections on an open set \(U\) are the graded derivations \(D'\in\Gamma(U,\Theta_{\mathscr{X}/S})\) that preserve \(\mathcal{D}\). Then the infinitesmal deformation is given by [\textit{U. Bruzzo} and \textit{D. Hernández Ruipérez}, Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 115, No. 3, Paper No. 144, 33 p. (2021; Zbl 07388092)] \[ \pi_*\mathcal{G}^{nR}_{\pi}=0, \] \[ R^1\pi_*\mathcal{G}^{nR}_{\pi}\simeq[R^1\pi_*(\kappa_{X/S}(Z)^{-1})]\oplus[R^1\pi_*(\kappa_{X/S}(Z)^{-1/2})] \] \[ \simeq[R^1\pi_*(\kappa_{X/S}(Z)^{-1})]\oplus[R^1\pi_*(\mathcal{L}^{-1})]. \] Also \(R^1\pi_*\mathcal{G}^{nR}_{\pi}\) is a locally free \(\mathcal{O}_S\)-module of rank \((3g-3+n_R,2g-2+n_R/2)\) [\textit{U. Bruzzo} and \textit{D. Hernández Ruipérez}, Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 115, No. 3, Paper No. 144, 33 p. (2021; Zbl 07388092)]. Let the genus \(g\geq2\) and fix a level \(n\) structure with \(n\geq0\). The following definition gives the local supermoduli. Definition [\textit{U. Bruzzo} and \textit{D. Hernández Ruipérez}, Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 115, No. 3, Paper No. 144, 33 p. (2021; Zbl 07388092)]. The local super moduli of RR-SUSY curves is the superscheme \(\mathscr{U}=(U,\bigwedge \mathcal{E}_U)\), where \(\mathcal{E}_U\simeq \pi_{U*}(\kappa_{X_U/U}(Z_U)^{1/2}\otimes \kappa_{X_U/U})\simeq \pi_{U*}(\mathcal{L}\otimes \kappa_{X_U/U})\). In addition, \(\mathrm{dim}\mathscr{U}=(3g-3+n_R,2g-2+n_R/2)\). The following theorem gives us the global supermoduli of RR-SUSY curves. Theorem [\textit{U. Bruzzo} and \textit{D. Hernández Ruipérez}, Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 115, No. 3, Paper No. 144, 33 p. (2021; Zbl 07388092)]. The functor \(\mathcal{F}_{n_R}\) of relative RR-SUSY of genus \(g\) along a ramified puncture of degree \(n_R\) is the categorical quotient \[ \mathscr{U}\times_{M_{n_R}}U\overset{(\rho_1,\rho_2)}{\rightrightarrows}\mathscr{U}\overset{\rho}{\longrightarrow}\mathcal{F}_{n_R}, \] in the category of sheaves of superschemes. Morever \((\rho_1,\rho_2):\mathscr{U}\times_{M_{n_R}}U\rightrightarrows\mathscr{U}\) is an étale equivalence relation of superscheme, so that \(\mathcal{F}_{n_R}\) is identified with aseparated Artin algebraic superspace \(\mathcal{M}_{RR}\) whose ordinary underlying algebraic space is the scheme \(M_{n_R}\). Morever \(\mathrm{dim}\mathcal{M}_{n_R}=(3g-3+n_R,2g-2+n_R/2)\). It is also proved that the universal RR-SUSY curve class over supermoduli has the structure of an algebraic supercurve [\textit{U. Bruzzo} and \textit{D. Hernández Ruipérez}, Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 115, No. 3, Paper No. 144, 33 p. (2021; Zbl 07388092)]. Finally, the construction for the supermoduli of SUSY curves with Ramond-Ramond punctures with the supermoduli for SUSY curves with Neveu-Schwarz punctures is considere to obtain the algebraic superspace which is the supermoduli for SUSY curves with booth types of punctures [\textit{U. Bruzzo} and \textit{D. Hernández Ruipérez}, Rev. R. Acad. Cienc. Exactas Fis. Nat., Ser. A Mat., RACSAM 115, No. 3, Paper No. 144, 33 p. (2021; Zbl 07388092)].