高斯和、Stickelberger 定理与射线类群的 Gras 猜想

设 $k$ 为一个实阿贝尔数域，$p$ 为一个不整除 $[k:\mathbb{Q}]$ 的奇素数。对自然数 $d$，令 $E_d$ 表示 $k$ 中模 $d$ 同余于 $1$ 的单位群，$C_d$ 为 $E_d$ 的 $d$-循环单位子群，$\mathfrak{C}(d)$ 为模 $d$ 的射线类群。令 $\rho$ 为 $G=\mathrm{Gal}(k/\mathbb{Q})$ 在 $\mathbb{Q}_p$ 上的不可约特征标，$e_{\rho} \in \mathbb{Z}_p[G]$ 为相应的幂等元。我们证明，若 $p$ 在 $k$ 中的分歧指数小于 $p-1$，则 $|e_{\rho} \mathrm{Syl}_p(E_d/C_d) | = |e_{\rho} \mathrm{Syl}_p(\mathfrak{C}_d)|$，其中 $\mathfrak{C}_d$ 是 $\mathfrak{C}(d)$ 中 $G$ 非平凡作用的部分。这是 Gras 猜想的射线类版本。在 $p \mid [k:\mathbb{Q}]$ 的情形，得到了类似但稍不精确的结果。特别地，从可视为实域高斯和的对象出发，我们构造了 $\mathrm{Syl}_p(\mathfrak{C}_{\mathfrak{a}})$ 的显式伽罗瓦零化子，类似于经典的 Stickelberger 定理。