Moduli and periods of supersymmetric curves (Q2665888)

This paper is about the moduli superstack and superspace of supersymmetric (susy) curves. Let \(\mathcal{S}\) be the category of complex superspaces and denote by \(\mathcal{S}_{\mathrm{ev}}\) the category of complex spaces (even complex superspaces). Then a 2-category \(\mathrm{FIB}_{\mathcal{S}}\) is defined to be the 2-category of categories fibered in groupoids over \(\mathcal{S}\). Similarly, a 2-category \(\mathrm{FIB}_{\mathcal{S}_{\mathrm{ev}}}\) is a 2-category of categories fibered in groupoids over \(\mathcal{S}_{\mathrm{ev}}\). In this case, we have two following functors. The first functor is the natural incolusion, \(i:\mathrm{FIB}_{\mathcal{S}_{\mathrm{ev}}}\rightarrow\mathrm{FIB}_{\mathcal{S}}\), defined by \[ \mathcal{N}\mapsto i(\mathcal{N}):=(\mathcal{C}_{\mathcal{N}}\times\mathcal{S}_{\mathrm{ev}} \, \mathcal{S}, p_2), \] where the tensor product of categories is done with respect to the fibration functor \(P_{\mathcal{N}}:\mathcal{C}_{\mathcal{N}}\rightarrow\mathcal{S}_{\mathrm{ev}}\) and the bosonic quotient \(/\Gamma:\mathcal{S}\rightarrow\mathcal{S}_{\mathrm{ev}}\), for canonical automorphism \(\Gamma\), and \(p_2\) is the projection onto the second factor [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. The second functor is the bosonic truncation, \((-)_{\mathrm{bos}}:\mathrm{FIB}_{\mathcal{S}}\rightarrow\mathrm{FIB}_{\mathcal{S}_{\mathrm{ev}}}\), defined as follows. \[ \mathcal{M}\mapsto\mathcal{M}_{\mathrm{bos}}:=(\mathcal{C}_M\times_{\mathcal{S} }\mathcal{S}_{\mathrm{ev}}, p_2), \] where the tensor product of categories is done with respect to the fibration functor \(p_{\mathcal{M}}:\mathcal{C}_{\mathcal{M}}\rightarrow \mathcal{S}\) and the natural inclusion \(i\mathcal{S}_{\mathrm{ev}}\rightarrow\mathcal{S}\) [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. Let \(\mathrm{sGR}\) be the \(2\)-category of complex supergroupoids, and \(\mathrm{sGR}^\mathrm{et}\) be its full sub \(2\)-category whos objects are etale complex supergroupoids. In a similar way, denote by \(\mathrm{GR}\) the \(2\)-category of complex groupoids and its full sub \(2\)-category of etale complex groupoids by \(\mathrm{GR}^\mathrm{et}\). Then one may have the following. Proposition [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. (i) The natural inclusion \(i:\mathrm{FIB}_{\mathcal{S}_{\mathrm{ev}}}\rightarrow\mathrm{FIB}_{\mathcal{S}}\) sends complex (resp. DM, separated, smooth) stalks into complex (resp. DM, separated, smooth) superstalks. (ii) The bosonic trunction \((-)_{\mathrm{bos}}:\mathrm{FIB}_{\mathcal{S}}\rightarrow\mathrm{FIB}_{\mathcal{S}_{\mathrm{ev}}}\) sends complex (resp. DM, separated, smooth) superstalks into complex (resp. DM, separated, smooth) stalks. Proposition [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. (i) The association \(i:\mathrm{GR}\rightarrow \mathrm{sGR}\) \[ \left(Y_1\overset{s}{\underset{t}{\rightrightarrows}}Y_0, u, \iota, m \right)\mapsto \left(i(Y_1)\overset{i(s)}{\underset{i(t)}{\rightrightarrows}}i(Y_0), i(u), i(\iota), i(m) \right), \] defines a \(2\)-functor which sends \(\mathrm{GR}^\mathrm{et}\) into \(\mathrm{sGR}^\mathrm{et}\) and such that \(i([Y_1\rightrightarrows Y_0])=[i(Y_1)\rightrightarrows i(Y_0)]\). (ii) The association \((-)_{\mathrm{bos}}:\mathrm{sGR}\rightarrow\mathrm{GR}\) \[ \left(X_1\overset{s}{\underset{t}{\rightrightarrows}}X_0, u, \iota, m \right)\mapsto \left((X_1)_{\mathrm{bos}}\overset{s_{\mathrm{bos}}}{\underset{t_{\mathrm{bos}}}{\rightrightarrows}}(X_0)_{\mathrm{bos}}, u_{\mathrm{bos}}, \iota_{\mathrm{bos}}, m_{\mathrm{bos}} \right), \] defines a \(2\)-functor which sends \(\mathrm{sGR}^\mathrm{et}\) into \(\mathrm{GR}^\mathrm{et}\) and such that \([X_1\rightrightarrows X_0]_{\mathrm{bos}}=[(X_1)_{\mathrm{bos}} \rightrightarrows (X_0)_{\mathrm{bos}}]\). (iii) The \(2\)-functor \(i\) is \(2\)-fully faithful and it is left adjoint of the \(2\)-functor \((-)_{\mathrm{bos}}\). Finally, we have the following theorem. Theorem [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. (i) The association \(-/\Gamma: \mathrm{sGR}^\mathrm{et}\rightarrow \mathrm{GR}^\mathrm{et}\) \[ \left(X_1\overset{s}{\underset{t}{\rightrightarrows}}Y_0, u, \iota, m \right)\mapsto \left(X_1/\Gamma\overset{s/\Gamma}{\underset{t/\Gamma}{\rightrightarrows}}X_0/\Gamma, u/\Gamma, \iota/\Gamma, m/\Gamma \right), \] defines a \(2\)-functor which is left adjoint to the natural incolusion \(i:\mathrm{GR}^\mathrm{et}\rightarrow \mathrm{sGR}^\mathrm{et}\). (ii) The bosonic trunction preserves weak equivalences, therefore it gives a pseudo-functor \(/\Gamma:\mathrm{sST}^\mathrm{TD}\rightarrow\mathrm{ST}^\mathrm{DM}\), \[ \mathcal{M}=[X_1\rightrightarrows X_0]\mapsto \mathcal{M}/\Gamma:=[X_1/\Gamma\rightrightarrows X_0/\Gamma], \] which is the left adjoint to the natural incolusion \(i:\mathrm{ST}^\mathrm{TD}\rightarrow\mathrm{sST}^\mathrm{DM}\), where \(\mathrm{sST}^\mathrm{TD}\) and \(\mathrm{ST}^\mathrm{DM}\) are \(2\)-categories of Deligne-Mumford (\(\mathrm{DM}\)) complex superstalks and \(\mathrm{DM}\) complex stalks , respectively. Moreover, a \(\mathrm{DM}\) complex superstalk \(\mathcal{M}\) is separated if and only if \(\mathcal{M}/\Gamma\) is separated. Let \(\mathfrak{M}_g\) be the moduli superstalck os SUSY curves of genus at least 2. Theorem [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. Let \(g\geq 2\) (1) \(\mathfrak{M}_g\) is a smooth and separated \(\mathrm{DM}\) complex superstalck of dimension \(3g-3|2g-2\) whose bosonic trunction \((\mathfrak{M}_g)_{\mathrm{bos}}\) is the complex stalk \(\mathcal{S}_g\) of spin curves of genus \(g\). Morover, \(\mathfrak{M}_g\) has two connected components, denote by \(\mathfrak{M}_g^+\) and \(\mathfrak{M}_g^-\), whose bosonic trunctions, \((\mathfrak{M}_g)_{\mathrm{bos}}^+\) and \((\mathfrak{M}_g)_{\mathrm{bos}}^-\), are the complex stalks \(\mathcal{S}_g^+\) and \(\mathcal{S}_g^-\) of even and odd spin curves of genus \(g\). (2) There exists a coarse moduli superspace \(\mathbb{M}_g\) for \(\mathfrak{M}_g\), which is an ordinary complex space and it is also a coarse moduli space for the bosonic quotient \(\mathfrak{M}_g/\Gamma\). The complex space \((\mathbb{M}_g)_{\mathrm{red}}\) is isomorphic to the coarse moduli space \(\mathcal{S}_g\) of spin curves of genus \(g\). In particular, \(\mathbb{M}_g\) is separated and has two connected components whose underlying reduced spaces are the coarse moduli spaces \(\mathcal{S}_g^+\) and \(\mathcal{S}_g^-\) of even and odd spin curves of genus \(g\). Let \(\pi:\mathcal{C}\rightarrow S\) be a susy curve such that \(\pi_* L=0\). In this case, \(\mathrm{Ber}(\mathcal{C})\) is the Berezinian of the relatibe cotangent bundle [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. One may observe that to any global section one can associate a cohomology class in \(H^1(C,\mathbb{C})\). Now if, as a topological space, \(\mathcal{C}\) is homeomorphic to \(C\times S_{\mathrm{bos}}\) for a fibre \(C\), then the integration defines a morphism \[ \int : \pi_*\mathrm{Ber}(C)\rightarrow H^1(C,\mathbb{Z})\otimes_{\mathbb{Z}}(\mathcal{O}_S)^\Gamma. \] It is shown in this paper that the image of this map is an isotropic \(g\)-dimensional subspace of \(H^1(C,\mathbb{Z})\otimes_{\mathbb{Z}}(\mathcal{O}_S)^\Gamma\). This means we have a morphism \(P:S/\Gamma \rightarrow \mathcal{A}_g\) [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. This map is functorial, therefore, we have a period map \[ \tilde{P}:\mathfrak{M}_g^+\dashrightarrow \mathcal{A}_g, \] which itself, can be lifted to a morphism \[ P:\mathfrak{M}_g^+\dashrightarrow \mathcal{N}_g, \] where \(\mathcal{N}_g\) is the moduli stack of abelian varieties endowed with a symmetric theta divisor [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. Theorem [\textit{G. Codogni} and \textit{F. Viviani}, Adv. Theor. Math. Phys. 23, No. 2, 345--402 (2019; Zbl 07431021)]. Let \(C_L\in \mathfrak{M}_g^+/\Gamma\) be a split susy curve such that \(h^0(L)=0\). 1) The infinitesmal period map at \(C_L\) \[ d(P/\Gamma)_{C_L}:T_{[C_L]}(\mathfrak{M}_g^+/\Gamma)\rightarrow T_{P(C_L)}\mathcal{N}_g=\mathbb{Sym}^2H^1(C,\mathcal{O}), \] where \[ T_{[C_L]}(\mathfrak{M}_g^+/\Gamma)H^2(C\times C,L^{-1}\boxtimes L^{-1}(-\Delta))^+, \] is the even part of the \(H^2\) of the morphism of sheaves on \(C\times C\) \[ L^{-1}\boxtimes L^{-1}(-\Delta)\hookrightarrow\mathcal{O} \] defined by the multiplication with the Szego kernel \(S_L\) associated to \(L\). 2) The infinitesimal period map \(d(P/\Gamma)_{C_L}\) at \(C_L\) is surjective.