The moduli space of \(G\)-algebras (Q6076329)

The author consider finite groups \(G\) together with Galois \(G\)-algebras; these are of the form \[ L = K \times \cdots \times K, \] where \(K\) is a number field. They denote as \(\mathbb{P}\) the projective space of the regular representation of \(G\).\\ The moduli space \(\mathcal{X}\) of pairs \((L,x)\), where \(x\) ranges over the normal elements of \(L\), is isomorphic to an open subset of the quotient variety \(\mathbb{P}/G\). In this paper, a formula for the height of rational points on \(\mathcal{X}\) is provided. This is achieved geometrically, by constructing via descent an ample line bundle \(\mathcal{L}\) on \(\mathbb{P}/G\), which is linearly equivalent to the anticanonical up to torsion in the divisor class group. Moreover, it is shown that such a bundle is globally generated and that its global sections restrict to an immersion on the open subset \(\mathcal{X}\). The height formula obtained in this paper depends on algebraic invariants of \(L\) and \(x\) with respect to a natural Adelic metric on the line bundle \(\mathcal{L}\).