$G$-代数的模空间

设$L$为具有伽罗瓦群$G$的伽罗瓦代数，且$x$为$L$的正规元。对偶$(L,x)$的模空间$\mathcal X$同构于商簇$\mathbb P/G$的一个开子集，其中$\mathbb P$为$G$的正则表示射影空间。我们给出了任意对$(L,x) \in \mathcal X(\mathbb Q)$的高度公式，用$L$与$x$的代数不变量表示，相对于$\mathbb P/G$的反典则除子上的自然adelic度量。