A norm principle for class groups of reductive group schemes over Dedekind rings of integers of local and global fields (Q2351172): Difference between revisions

Let \(k\) be a global field, \(A\) its ring of integers and \(G/A\) a flat affine group scheme of finite type over \(A\) with smooth generic fiber \(G_k\). Let \(S\) be a finite set of places of \(k\). The \(S\)-class set of \(G\) is defined by \(\mathrm{Cl}_A(S,G)=G(\mathbb A(S))\backslash G(\mathbb A)/G(k)\) where \(\mathbb A(S)\) is the ring of \(S\)-adeles of \(k\) and \(\mathbb A\) is the adele ring of \(k\). Sometimes \(\mathrm{Cl}_A(S,G)\) carries a natural group structure, and if this is the case, then one writes \(\mathcal G\mathrm{Cl}_A(S,G)\) instead of \(\mathrm{Cl}_A(S,G)\). The main theorem of the paper under review is an interesting norm principle for these class groups in finite separable extensions of \(k\), provided certain assumptions on \(G\) are in force. Theorem. Assume that \(G\) is reductive and denote by \(G'\) its derived group. Assume that for a finite set \(S\) of places of \(k\), containing the Archimedean places, the topological group \(\prod_{v\in S}G'(k_v)\) is non-compact. Let \(L/k\) be a finite separable extension, \(A'\) the integral closure of \(A\) in \(L\) and \(S'\) the set of places of \(L\) over \(S\). Then \(\mathrm{Cl}_{A'}(S',G)\) carries a natural abelian group structure and there is a norm homomorphism \[ N_{A'/A}:\mathcal G\mathrm{Cl}_{A'}(S',G)\to\mathcal G\mathrm{Cl}_A(S,G) \] which is functorial in \(G\) and \(A\).