代数数域中单位群秩与log嵌入的加性极限（Dirichlet单位定理）

代数数域中单位群秩与log嵌入的加性极限（Dirichlet单位定理）在代数数论的研究体系中，代数数域的单位群结构始终是核心议题之一。Dirichlet单位定理作为这一领域的基石性成果，不仅深刻揭示了单位群的秩与数域算术不变量之间的内在联系，更通过log嵌入的加性极限视角，为理解单位群的拓扑结构提供了关键工具。本文将从代数数域的基本概念出发，逐步展开对Dirichlet单位定理的剖析，重点探讨单位群秩的计算方法、log嵌入的几何意义，以及加性极限在单位群研究中的应用。一、代数数域与单位群的基本概念（一）代数数域的定义与分类代数数域是有理数域$\mathbb{Q}$的有限次扩域，通常记为$K$。根据扩域的次数$n=[K:\mathbb{Q}]$，可以将代数数域分为不同的类型。例如，当$n=1$时，$K=\mathbb{Q}$就是有理数域本身；当$n=2$时，$K$称为二次数域，可表示为$\mathbb{Q}(\sqrt{d})$，其中$d$是无平方因子的整数。除了二次数域，常见的代数数域还包括分圆域$\mathbb{Q}(\zeta_m)$（其中$\zeta_m$是$m$次本原单位根）和一般的$n$次数域。代数数域的算术性质与其嵌入到复数域$\mathbb{C}$的方式密切相关。设$K$是一个$n$次数域，那么$K$到$\mathbb{C}$的嵌入共有$n$个，这些嵌入可以分为实嵌入和复嵌入两类。实嵌入是指将$K$中的元素映射到实数域$\mathbb{R}$中的嵌入，记为$\sigma_1,\sigma_2,\cdots,\sigma_r$，其中$r$是实嵌入的个数；复嵌入则是指映射到$\mathbb{C}$但不落在$\mathbb{R}$中的嵌入，由于复嵌入总是成对出现（若$\sigma$是一个复嵌入，则其复共轭$\overline{\sigma}$也是一个复嵌入），因此复嵌入的个数通常记为$2s$，其中$s$是复嵌入对的数量。显然，有$r+2s=n$。（二）单位群的定义与基本性质在代数数域$K$中，一个元素$\alpha\inK$被称为单位，如果存在$\beta\inK$使得$\alpha\beta=1$。所有单位构成的集合在乘法运算下形成一个群，称为$K$的单位群，记为$U_K$。单位群$U_K$是一个交换群，其结构是Dirichlet单位定理研究的核心对象。单位群中包含一类特殊的元素，即单位根。单位根是指满足$\alpha^m=1$的元素$\alpha\inK$，其中$m$是正整数。所有单位根构成的集合记为$W_K$，它是$U_K$的一个有限子群。实际上，$W_K$是一个循环群，其阶数$w_K$是$K$中单位根的个数。例如，在有理数域$\mathbb{Q}$中，单位根只有$\pm1$，因此$w_{\mathbb{Q}}=2$；在二次数域$\mathbb{Q}(i)$中，单位根有$\pm1,\pmi$，因此$w_{\mathbb{Q}(i)}=4$。除了单位根，单位群中还包含无限阶的元素，这些元素称为无限单位。Dirichlet单位定理的主要结论之一就是描述了单位群$U_K$的结构，即$U_K$是一个有限生成的交换群，其秩为$r+s-1$，其中$r$是实嵌入的个数，$s$是复嵌入对的数量。这意味着$U_K$可以分解为$W_K\times\mathbb{Z}^{r+s-1}$，其中$\mathbb{Z}^{r+s-1}$是一个自由交换群，秩为$r+s-1$。二、Dirichlet单位定理的核心内容（一）单位群秩的计算公式Dirichlet单位定理指出，代数数域$K$的单位群$U_K$的秩为$r+s-1$，其中$r$是$K$到$\mathbb{R}$的实嵌入个数，$s$是$K$到$\mathbb{C}$的复嵌入对的数量。这个公式深刻地揭示了单位群的结构与数域的嵌入性质之间的联系。为了理解这个公式的来源，我们可以从单位群的log嵌入入手。设$\alpha\inU_K$是一个单位，考虑映射$\log:U_K\rightarrow\mathbb{R}^{r+s}$，其中$\log(\alpha)=(\log|\sigma_1(\alpha)|,\log|\sigma_2(\alpha)|,\cdots,\log|\sigma_r(\alpha)|,2\log|\sigma_{r+1}(\alpha)|,\cdots,2\log|\sigma_{r+s}(\alpha)|)$。这里需要注意的是，对于复嵌入$\sigma$，我们使用$2\log|\sigma(\alpha)|$而不是$\log|\sigma(\alpha)|$，这是因为复嵌入总是成对出现的，而$|\sigma(\alpha)|=|\overline{\sigma}(\alpha)|$，因此$2\log|\sigma(\alpha)|=\log|\sigma(\alpha)|+\log|\overline{\sigma}(\alpha)|$。（二）log嵌入的定义与性质log嵌入是一个群同态，它将乘法群$U_K$映射到加法群$\mathbb{R}^{r+s}$。具体来说，对于任意的$\alpha,\beta\inU_K$，有$\log(\alpha\beta)=\log(\alpha)+\log(\beta)$。这是因为$|\sigma(\alpha\beta)|=|\sigma(\alpha)||\sigma(\beta)|$，所以$\log|\sigma(\alpha\beta)|=\log|\sigma(\alpha)|+\log|\sigma(\beta)|$，对于复嵌入对应的分量也有类似的等式。log嵌入的核是单位根群$W_K$。这是因为，如果$\alpha\inW_K$，那么$\alpha^m=1$，其中$m$是正整数，因此$|\sigma(\alpha)|^m=|\sigma(\alpha^m)|=|\sigma(1)|=1$，从而$|\sigma(\alpha)|=1$，所以$\log|\sigma(\alpha)|=0$，即$\log(\alpha)=0$。反之，如果$\log(\alpha)=0$，那么对于所有的嵌入$\sigma$，有$|\sigma(\alpha)|=1$，这意味着$\alpha$是一个代数整数且其所有共轭的绝对值都是1，根据代数数论中的一个定理，这样的元素必然是单位根。因此，$\ker(\log)=W_K$。（三）Dirichlet单位定理的表述Dirichlet单位定理可以表述为：单位群$U_K$同构于$W_K\times\mathbb{Z}^{r+s-1}$，其中$r$是实嵌入的个数，$s$是复嵌入对的数量。换句话说，$U_K$是一个有限生成的交换群，其挠子群是单位根群$W_K$，而无挠部分的秩为$r+s-1$。这个定理的证明通常涉及到几何数论中的Minkowski定理。Minkowski定理指出，在$n$维欧氏空间中，一个体积大于$2^n$的对称凸集必然包含一个非零的整点。通过构造一个合适的凸集，并利用Minkowski定理，可以证明存在足够多的线性无关的单位，从而确定单位群的秩。三、log嵌入的加性极限与单位群的拓扑结构（一）log嵌入的像与加性极限log嵌入将单位群$U_K$映射到$\mathbb{R}^{r+s}$中，其像$\log(U_K)$是$\mathbb{R}^{r+s}$的一个加法子群。由于$U_K$是有限生成的交换群，$\log(U_K)$也是$\mathbb{R}^{r+s}$的一个有限生成的加法子群，因此它是一个格（lattice）当且仅当$\log(U_K)$在$\mathbb{R}^{r+s}$中是离散的。实际上，$\log(U_K)$是$\mathbb{R}^{r+s}$中的一个满秩格吗？答案是否定的，因为$\log(U_K)$包含在一个超平面中。具体来说，对于任意的单位$\alpha\inU_K$，其范数$N_{K/\mathbb{Q}}(\alpha)=\prod_{\sigma}\sigma(\alpha)$（其中$\sigma$遍历所有嵌入）是一个有理数，而由于$\alpha$是单位，其范数的绝对值是1（因为单位的逆也是单位，所以$N(\alpha)N(\alpha^{-1})=N(1)=1$，从而$|N(\alpha)|=1$）。因此，$\sum_{i=1}^r\log|\sigma_i(\alpha)|+\sum_{j=1}^s2\log|\sigma_{r+j}(\alpha)|=\log|N(\alpha)|=0$，这意味着$\log(\alpha)$落在超平面$H={(x_1,x_2,\cdots,x_{r+s})\in\mathbb{R}^{r+s}\midx_1+x_2+\cdots+x_{r+s}=0}$中。因此，$\log(U_K)$是超平面$H$中的一个格，其秩为$r+s-1$。这与Dirichlet单位定理中单位群的秩是一致的，因为$\log$诱导了$U_K/W_K$到$\log(U_K)$的一个同构，而$U_K/W_K$是一个秩为$r+s-1$的自由交换群，所以$\log(U_K)$也是一个秩为$r+s-1$的自由加法群，即$H$中的一个满秩格。（二）单位群的拓扑结构在单位群$U_K$上可以赋予一个拓扑，称为离散拓扑，但更有意义的是考虑其在$\mathbb{R}^{r+s}$中的像$\log(U_K)$的拓扑结构。由于$\log(U_K)$是$H$中的一个格，它在$H$中是离散的且其商空间$H/\log(U_K)$是一个紧群（因为格的商空间是一个环面）。通过log嵌入，单位群$U_K$的乘法结构被转化为$\log(U_K)$的加法结构，而$\log(U_K)$作为一个格，其拓扑结构与$\mathbb{Z}^{r+s-1}$的拓扑结构相同。因此，单位群$U_K$在拓扑上同构于$W_K\times\mathbb{Z}^{r+s-1}$，其中$\mathbb{Z}^{r+s-1}$赋予离散拓扑，而$W_K$是一个有限群，其拓扑也是离散的。（三）加性极限的应用加性极限的概念在单位群的研究中具有重要的应用。例如，考虑代数数域的塔$K_1\subseteqK_2\subseteq\cdots\subseteqK_m\subseteq\cdots$，其中每个$K_m$都是$K_1$的有限次扩域。对于每个$K_m$，其单位群$U_{K_m}$的秩为$r_m+s_m-1$，其中$r_m$是$K_m$的实嵌入个数，$s_m$是复嵌入对的数量。随着$m$的增大，$r_m$和$s_m$会发生变化，单位群的秩也会相应地变化。通过研究单位群秩的变化趋势，可以得到一些关于数域塔的算术性质的结论。例如，在分圆域塔$\mathbb{Q}(\zeta_{p^m})$（其中$p$是奇素数）中，单位群的秩会随着$m$的增大而线性增长，这与分圆域的次数$p^m-p^{m-1}$的增长是相关的。另外，加性极限的视角还可以用于研究单位群的同调性质。例如，考虑单位群的上同调群$H^i(G,U_K)$，其中$G$是Galois群$Gal(K/\mathbb{Q})$。通过log嵌入，可以将上同调群的研究转化为加法群的上同调群的研究，从而利用同调代数中的工具来解决问题。四、Dirichlet单位定理的推广与应用（一）Dirichlet单位定理的推广Dirichlet单位定理可以推广到更一般的代数整数环的单位群。设$O_K$是代数数域$K$的代数整数环，那么$O_K$的单位群就是$U_K$，这正是Dirichlet单位定理所研究的对象。除此之外，还可以考虑更一般的Dedekind整环的单位群，但对于一般的Dedekind整环，单位群的结构可能更加复杂，不一定具有有限生成性。另一个重要的推广是将Dirichlet单位定理推广到函数域的情形。在函数域中，相应的定理称为Weil单位定理，它描述了函数域中单位群的结构。函数域是有限域$\mathbb{F}_q$上的有理函数域$\mathbb{F}_q(t)$的有限次扩域，与代数数域类似，函数域也有其算术不变量，如亏格、除子群等，Weil单位定理将单位群的秩与这些不变量联系起来。（二）在类数问题中的应用Dirichlet单位定理在代数数论的类数问题中有着重要的应用。代数数域$K$的类数$h_K$是其理想类群$Cl_K$的阶数，理想类群是一个有限交换群，类数的大小反映了代数整数环$O_K$是否为主理想整环（当且仅当$h_K=1$时，$O_K$是主理想整环）。通过单位群的结构，可以构造一些与类数相关的不变量。例如，在二次数域$K=\mathbb{Q}(\sqrt{d})$中，单位群的秩为$r+s-1$，其中当$d>0$时，$r=2,s=0$，所以单位群的秩为1；当$d<0$时，$r=0,s=1$，所以单位群的秩为0（即单位群只有单位根）。利用单位群的性质，可以得到类数的一些下界和上界估计。（三）在密码学中的应用Dirichlet单位定理在现代密码学中也有一定的应用。例如，在基于格的密码学中，单位群的log嵌入所形成的格可以作为密码系统的基础。由于格问题在最坏情况下的困难性可以归约到某些数论问题的困难性，因此基于格的密码系统被认为是抗量子计算攻击的候选方案之一。另外，在椭圆曲线密码学中，虽然直接应用Dirichlet单位定理的情况较少，但代数数论中的一些思想和方法，如类群、单位群等，也为椭圆曲线密码学的发展提供了理论基础。例如，椭圆曲线的秩与单位群的秩在某些方面具有相似性，研究单位群的方法可以借鉴到椭圆曲线的研究中。五、具体例子：二次数域中的单位群（一）实二次数域的单位群实二次数域$K=\mathbb{Q}(\sqrt{d})$，其中$d>0$且无平方因子。对于实二次数域，$n=2$，实嵌入的个数$r=2$，复嵌入的个数$s=0$，因此根据Dirichlet单位定理，单位群的秩为$r+s-1=2+0-1=1$。这意味着实二次数域的单位群同构于$W_K\times\mathbb{Z}$，其中$W_K$是单位根群，在实二次数域中，单位根只有$\pm1$，所以$W_K={\pm1}$。实二次数域的单位群中存在无限阶的单位，称为基本单位。基本单位$\epsilon$是单位群中的一个生成元，即所有单位都可以表示为$\pm\epsilon^k$，其中$k\in\mathbb{Z}$。例如，对于$K=\mathbb{Q}(\sqrt{2})$，基本单位是$1+\sqrt{2}$，因为$(1+\sqrt{2})(-1+\sqrt{2})=1$，所以$1+\sqrt{2}$是一个单位，且其幂次可以生成所有的单位。（二）虚二次数域的单位群虚二次数域$K=\mathbb{Q}(\sqrt{d})$，其中$d<0$且无平方因子。对于虚二次数域，$n=2$，实嵌入的个数$r=0$，复嵌入的个数$s=1$，因此单位群的秩为$r+s-1=0+1-1=0$。这意味着虚二次数域的单位群只有单位根，即$U_K=W_K$。虚二次数域的单位根群的阶数取决于$d$的值。当$d=-1$时，$K=\mathbb{Q}(i)$，单位根有$\pm1,\pmi$，所以$W_K={\pm1,\pmi}$，阶数为4；当$d=-3$时，$K=\mathbb{Q}(\sqrt{-3})$，单位根有$\pm1,\frac{1\pm\sqrt{-3}}{2}$，所以$W_K$是一个6阶循环群；对于其他的负整数$d$，单位根群只有$\pm1$，阶数为2。（三）分圆域中的单位群分圆域$K=\mathbb{Q}(\zeta_m)$，其中$\zeta_m$是$m$次本原单位根。分圆域的次数$n=\phi(m)$，其中$\phi$是Euler函数。分圆域的实嵌入个数$r$和复嵌入个数$s$取决于$m$的奇偶性。当$m=1$或$2$时，$K=\mathbb{Q}$，单位群的秩为0；当$m$是奇素数的幂时，$r=0$，$s=\frac{\phi(m)}{2}$，因此单位群的秩为$s-1=\frac{\phi(m)}{2}-1$；当$m$是偶数且$m>2$时，$r=1$，$s=\frac{\phi(m)-1}{2}$，因此单位群的秩为$r+s-1=\frac{\phi(m)-1}{2}$。分圆域的单位群结构非常复杂，研究分圆域的单位群对于类数问题和Iwasawa理论都有着重要的意义。例如，在Iwasawa理论中，分圆域塔的单位群的结构与$p$-adicL函数密切相关。六、Dirichlet单位定理与其他数论定理的联系（一）与Minkowski定理的联系Dirichlet单位定理的证明依赖于Minkowski定理，Minkowski定理是几何数论中的一个基本定理，它给出了欧氏空间中凸集包含整点的条件。通过构造一个合适的凸集，并利用Minkowski定理，可以证明存在足够多的线性无关的单位，从而确定单位群的秩。具体来说，考虑映射$\Phi:O_K\rightarrow\mathbb{R}^n$，其中$\Phi(\alpha)=(\sigma_1(\alpha),\sigma_2(\alpha),\cdots,\sigma_r(\alpha),\text{Re}(\sigma_{r+1}(\alpha)),\text{Im}(\sigma_{r+1}(\alpha)),\cdots,\text{Re}(\sigma_{r+s}(\alpha)),\text{Im}(\sigma_{r+s}(\alpha)))$，其中$\sigma_1,\cdots,\sigma_r$是实嵌入，$\sigma_{r+1},\cdots,\sigma_{r+s}$是复嵌入。这个映射将$O_K$嵌入到$\mathbb{R}^n$中，其像$\Phi(O_K)$是$\mathbb{R}^n$中的一个格。通过构造一个体积大于$2^n\text{Vol}(\Phi(O_K))$的对称凸集，并利用Minkowski定理，可以证明存在非零的代数整数$\alpha\inO_K$使得$\Phi(\alpha)$落在这个凸集中，从而得到$\alpha$是一个单位。通过不断地构造这样的凸集，可以得到足够多的线性无关的单位，从而证明单位群的秩为$r+s-1$。（二）与类域论的联系Dirichlet单位定理与类域论也有着密切的联系。类域论是代数数论中的一个重要分支，它描述了代数数域的Abel扩域与该数域的理想类群之间的对应关系。单位群在类域论中扮演着重要的角色，因为单位群的商群与理想类群之间存在着一定的联系。例如，在类域论中，存在一个称为“主理想定理”的结论，它指出在Hilbert类域（即最大的非分歧Abel扩域）中，代数数域$K$的每个理想都成为主理想。单位群的结构与主理想定理的证明密切相关，因为单位群的元素可以用来生成主理想，从而影响理想类群的结构。（三）与Iwasawa理论的联系Iwasawa理论是研究数域塔的算术性质的一个分支，它将代数数论与$p$-adic分析相结合。在Iwasawa理论中，单位群的结构是一个核心研究对象，因为单位群在数域塔中的变化与$p$-adicL函数的性质密切相关。例如，考虑分圆域塔$\mathbb{Q}(\zeta_{p^m})$，其中$p$是奇素数。Iwasawa理论研究了单位群在这个塔中的极限行为，即逆极限$\varprojlimU_{\mathbb{Q}(\zeta_{p^m})}$的结构。通过研究这个逆极限的结构，可以得到关于分圆域类数的一些深刻结论，如Iwasawa主猜想。七、Dirichlet单位定理的现代研究进展（一）高维单位群的研究随着代数数论的发展，研究者们开始关注高维代数数域的单位群结构。对于一般的$n$次数域，单位群的秩为$r+s-1$，但具体的单位生成元的构造仍然是一个困