The line bundles on moduli stacks of principal bundles on a curve (Q967733): Difference between revisions

Let \(G\) be an affine reductive algebraic group over an algebraically closed field \(k\) of any characteristic. Denote by \({\mathcal M}_G\) the moduli stack of principal G-bundles over a smooth projective curve \(C\) of genus \(g_C \geq 0\). The connected components of \(\mathcal{M}_G\) are indexed by \(\pi _1(G)\), so let \({\mathcal M}_G^d\) be, for \(d\in \pi _1(G)\), the corresponding connected component. The authors determine \(\text{Pic}({\mathcal M}^d_G)\), based on the results in the case \(G\) simple connected, over complex numbers and generalizations, due to Faltings, in positive characteristic (see the \textit{Introduction} for the necessary references). Taking a natural scheme structure \(\underline{\text{Pic}}({\mathcal M}^d_G)\) on \(\text{Pic}({\mathcal M}^d_G)\), one shows (see Th. 5.3.1) that \(\underline{\text{Pic}}({\mathcal M}^d_G)\) contains the scheme of homomorphisms from \(\pi _1(G)\) to the Jacobian \(J_C\) as an open subgrup; the quotient is a group \(NS({\mathcal M}_G^d)\), called \textit{Néron-Severi group}, which is abelian, finitely generated. In fact the Néron-Severi group is introduced previously (see 5.2). The main result of the paper is Theorem 5.2 which treats the map of Picard groups induced by a map of groups \(G\to H\).