Poincaré families of \(G\)-bundles on a curve (Q661297): Difference between revisions

Let \(G\) be a reductive group over an algebraically closed field \(k\) and \(Z\) its scheme-theoretic center. Let \(M_G\) be the moduli space of semistable principal \(G\)-bundles on a smooth projective connected curve \(C\) over \(k\). Recall that a principal \(G\)-bundle \(E\) is regularly stable if it is stable and the canonical map from \(Z\) to the automorphism group of \(E\) is an isomorphism. Let \(M_G^{rs} \subset M_G\) be the subset corresponding to regularly stable principal \(G\)-bundles. A Poincaré bundle over an open set \(U \subset M^{rs}_G\) is a principal \(G\)-bundle \({\mathcal E}\) on \(U\times C\) such that for any \(u \in U\), \({\mathcal E}\mid_{u\times C}\) belongs to the isomorphism class corresponding to \(u\). The authors show that \(M^{rs}_G\) is nonempty for \(g\geq 3\) and the complement of \(M^{rs}_G\) in \(M_G\) has codimension at least \(2\) for \(g\geq 4\) (these results hold for lower values of \(g\) in characteristic \(0\)). Assuming these conditions, the authors determine conditions for the existence of the Poincaré bundle over \(M_G^{rs}\) as well as over a small Zariski open subset \(U\) of it. The moduli stack \(MS^{rs}_G\) of regularly stable principal \(G\)-bundles on \(C\) is a gerbe over \(M^{rs}_G\) with band \(Z\). The Poincaré bundle over \(U\) is a section of this gerbe over \(U\). Hence the obstruction to the existence of the Poincaré bundle over \(M^{rs}_G\) (resp. over \(U\)) is an element of \(H^2_{et} (M^{rs}_G, Z)\) (resp. its restriction to \(H^2_{et} (\eta, Z)\), \(\eta\) being the generic point of \(M^{rs}_G\)) determined by this \(Z\)-gerbe (the Brauer class of gerbe). The authors also determine the orders of these obstruction classes as exponents of certain groups associated to \(G\).