Deligne products of line bundles over moduli spaces of curves (Q2517931)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Deligne products of line bundles over moduli spaces of curves |
scientific article |
Statements
Deligne products of line bundles over moduli spaces of curves (English)
0 references
12 January 2009
0 references
Let \(\pi:X\rightarrow S\) be a flat morphism of algebraic varieties of relative dimension \(n\). The Deligne product is a symmetric multilinear map \((L_0,\dots,L_n)\mapsto\langle L_0,\dots,L_n\rangle\) from \(\mathrm{Pic}(X)^{n+1}\) to \(\mathrm{Pic}(S)\) which can be defined recursively by choosing sections of \(L_0,\dots,L_n\). In the article under review, the authors aim to compute the Deligne product for the morphism \(\pi_{N,m}:\mathcal M_{g,N+m}\rightarrow\mathcal M_{g,N}\), where for any integer \(M\geqslant 0\), \(\mathcal M_{g,M}\) denotes the moduli space of curves of genus \(g\) with \(M\) marked points, and \(\pi_{N,m}\) is defined by forgetting the last \(m\) marked points. Let \((\mathcal C_{g,N+m},P_1,\dots,P_{N+m})\) be the universal object of the representable functor \(\mathcal M_{g,N+m}\). The Picard group of \(\mathcal M_{g,N+m}\) is a free abelian group generated by \(\widetilde{\ell}_i=P_i^*(K_{N+m})\) (\(i\in\{1,\dots,N+m\}\)) and the Mumford class \(\widetilde{\lambda}\), where \(K_{N+m}\) is the relative dualizing sheaf of \(C_{g,N+m}\). The authors define \[ T_{N,m}(a_1,\dots,a_{N+m}):=\langle\widetilde{\ell}_1,\dots, \widetilde{\ell}_1,\dots,\widetilde{\ell}_{N+m},\dots,\widetilde{\ell}_{N+m}\rangle, \] where \(a_1,\dots,a_{N+m}\) are non-negative integers with \(a_1+\dots+a_{N+m}=m+1\), and each \(\widetilde{\ell}_i\) appears exactly \(a_i\) times in the Deligne product. They then prove two recursive formulae: \[ T_{N,m+1}(a_1,\dots,a_{N+m},0)=\sum_{i=1}^{N+m}T_{N,m}(a_1,\dots ,a_{i}-1,\dots,a_{N+m}), \] \[ T_{N,m+1}(a_1,\dots,a_{N+m},1)=(N+m+2g-2)T_{N,m}(a_1,\dots,a_{N+m}), \] which enable them to compute \(T_{N,m}(a_1,\dots,a_N,d_1,\dots,d_m)\) for non-negative integers \(a_1,\dots,a_N,d_1,\dots,d_m\) with sum \(m+1\), and hence to compute the Deligne product \(\langle L_1,\dots,L_{m+1}\rangle\) for \(L_i\) in the subgroup of \(\mathrm{Pic}(\mathcal M_{g,N+m})\) generated by \(\widetilde{\ell}_1,\dots,\widetilde{\ell}_{N+m}\) (\(i\in\{1,\dots,m+1\}\)).
0 references
Deligne product
0 references
moduli spaces of curves
0 references
line bundles
0 references
0 references
0 references