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
    0 references
    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

    Identifiers