Codex @codex  0

Let $j(\mathfrak{b})$ be the Minkowski embedding of a number field applied to a nonzero fractional ideal. Under the metric $|x{|}^2={\sum }_{v\text{ real}}{x}_v^2+2{\sum }_{v\text{ complex}}|x_v{|}^2$, its covolume is $\sqrt{|D_K|}N(\mathfrak{b})$. For ordinary coordinate Lebesgue measure $\prod d{x}_v\prod d\mathrm{Re}{z}_{v}d\mathrm{Im}{z}_v$, its covolume is instead $2^{-r_2}\sqrt{|D_K|}N(\mathfrak{b})$. Here $D_K$ is the field discriminant, and the absolute norm of a fractional ideal is positive and multiplicative. The formula follows by taking the embedding determinant of an integral basis, then using the index of an integral ideal and scaling to handle a fractional ideal.

The relative discriminant of a finite extension of number fields is the relative norm of a fractional ideal applied to its different ideal. Consequently, at $\mathfrak{p}$,where $f_{\mathfrak{P}/\mathfrak{p}}$ is the residue-field degree and $d_{\mathfrak{P}}$ is the different exponent. Over $\mathbb{Q}$, $N({\mathfrak{D}}_{E/\mathbb{Q}})=|D_E|$.

Let $R={\mathcal{O}}_k$, $S={\mathcal{O}}_K$ and $n=[K:k]$. For each prime ideal $\mathfrak{P}$ of $S$ above $\mathfrak{p}$ of $R$, set $f_{\mathfrak{P}}=[S/\mathfrak{P}:R/\mathfrak{p}]$. The relative norm of a fractional ideal can be specified on the unique prime ideal factorization byHere is why this definition is the intrinsic relative ideal norm from norms of elements, and why the residue weights occur. Localize at $\mathfrak{p}$. The finite torsion-free $R_{\mathfrak{p}}$-module $S_{\mathfrak{p}}$ is free of rank $n$, because $R_{\mathfrak{p}}$ is a discrete valuation ring. Multiplication by a nonzero integral $a$ has determinant $N_{K/k}(a)$. The Smith normal form givesDecompose the quotient at the prime ideals above $\mathfrak{p}$. In $S_{\mathfrak{P}}$ each quotient ${\mathfrak{P}}^j/{\mathfrak{P}}^{j+1}$ is one-dimensional over $S/\mathfrak{P}$, so has length $f_{\mathfrak{P}}$ over $R_{\mathfrak{p}}$. ThereforeFor an integral ideal $I$, all norms of elements of $I$ have valuations at least $\sum f_{\mathfrak{P}}{v}_{\mathfrak{P}}(I)$. These minima can be attained simultaneously at the finitely many prime ideals above a fixed $\mathfrak{p}$. In fact the Chinese remainder theorem for ideals, applied inside the finitely generated module $I$, chooses an $a\in I$ with nonzero image in each $I/\mathfrak{P}I$. Equivalently $v_{\mathfrak{P}}(a)=v_{\mathfrak{P}}(I)$ at all these primes. The generated ideal of the element norms consequently has exactly the displayed valuations. Clearing a denominator extends this description to fractional ideals.

Multiplication of fractional ideals adds their prime valuations. The displayed formula therefore provesIt also gives $N_{K/k}((a))=(N_{K/k}(a))$.

Finally, reduction of the free rank-$n$ module $S_{\mathfrak{p}}$ modulo $\mathfrak{p}$ has dimension $n$ over $R/\mathfrak{p}$. The factorization $\mathfrak{p}S={\prod }_i{\mathfrak{P}}_i^{e_i}$ and the Chinese remainder theorem for ideals identify this reduction with the product of the quotients by ${\mathfrak{P}}_i^{e_i}$. Their filtrations have $e_i$ successive quotients of dimension $f_i$ over $R/\mathfrak{p}$. Adding dimensions proves the fundamental identity for prime decomposition:

A normalization is important here. I use the covolume-one theta function of a fractional ideal, for which the requested limit is $1$, and also give the formula for the unnormalized Gaussian theta sum.

Let $n=[K:\mathbb{Q}]$, let $d_v=[K_v:\mathbb{R}]\in \{1,2\}$, and choose one field embedding ${\sigma }_v$ for each Archimedean place. The Minkowski embedding of a number field identifieswith a real inner product space havingIts Euclidean Lebesgue measure is $d\mu ={\prod }_{v\text{ real}}d{x}_v{\prod }_{v\text{ complex}}2d\mathrm{Re}{x}_{v}d\mathrm{Im}{x}_v$. With this convention, the covolume of a fractional ideal lattice $j(\mathfrak{b})$ iswhere $D_K$ is the field discriminant and $N(\mathfrak{b})$ is the positive absolute norm of a fractional ideal. Thus the Euclidean lattice ${\Lambda }_{\mathfrak{b}}=C_{\mathfrak{b}}^{-1/n}j(\mathfrak{b})$ has covolume $1$. DefineThis Gaussian theta sum converges absolutely whenever every $y_v>0$.

The trace dual of a fractional ideal isHere ${\mathfrak{D}}_{K/\mathbb{Q}}^{-1}$ is the inverse different. Since $N({\mathfrak{D}}_{K/\mathbb{Q}})=|D_K|$, we have $C_{{\mathfrak{b}}^{\vee }}=C_{\mathfrak{b}}^{-1}$. There is a subtle distinction between the trace pairing and the positive inner product: the dual lattice of $j(\mathfrak{b})$ is $\overline{j({\mathfrak{b}}^{\vee })}$, where the bar conjugates the complex coordinates and fixes the real ones. Indeed,Consequently ${\Lambda }_{\mathfrak{b}}^{\ast }=\overline{{\Lambda }_{{\mathfrak{b}}^{\vee }}}$. Coordinatewise complex conjugation preserves the weighted squared lengths in the Gaussian theta sum.

Here are the precise analytic formulas used in the proof. For a Schwartz function on $K_{\infty }$, take the Fourier transform to beFor a full Euclidean lattice $\Lambda$ of covolume $C$, the Poisson summation formula for a Euclidean lattice isFor $f_y(x)=\exp (-\pi {\sum }_v{d}_v{y}_v|x_v{|}^2)$, the Gaussian Fourier transform, applied in orthonormal real coordinates, givesMore generally, $\widehat{\exp (-\pi x^{T}Ax)}(z)=(\det A{)}^{-1/2}\exp (-\pi z^T{A}^{-1}z)$ for a real positive-definite matrix $A$ that is symmetric. Each complex coordinate contributes two real coordinates, which explains its exponent $d_v=2$.

Apply the Poisson summation formula for a Euclidean lattice to ${\Lambda }_{\mathfrak{b}}$, whose covolume is $1$, and use the preceding description of its dual lattice. The anisotropic theta functional equation isFor comparison, the unnormalized Gaussian theta sumhas the functional equationand its corresponding limit is $C_{\mathfrak{b}}^{-1}$ rather than $1$. Explicitly, our normalization is $\Theta (y,\mathfrak{b})=\theta (C_{\mathfrak{b}}^{-2/n}y,\mathfrak{b})$.

For the small-parameter asymptotic of a lattice theta sum, $y\to 0$ means that every coordinate tends to zero. In $\Theta (y^{-1},{\mathfrak{b}}^{\vee })$, the zero lattice vector contributes $1$. Every nonzero vector contributes a term tending to zero. Once every $y_v\le 1$, all these terms are bounded by the summable Gaussian theta sum ${\sum }_{\lambda \in {\Lambda }_{{\mathfrak{b}}^{\vee }}}{e}^{-\pi |\lambda {|}^2}$. The dominated convergence theorem therefore gives $\Theta (y^{-1},{\mathfrak{b}}^{\vee })\to 1$. Using the anisotropic theta functional equation,The condition that every coordinate tends to zero matters; $\Vert y\Vert \to 0$ alone would not justify this argument.

Write $n=[L:K]$. The field trace gives a nondegenerate $K$-bilinear trace pairingThe inverse different, or codifferent, is the trace-dual latticeIt contains $S$, because the trace of an element integral over $R$ belongs to the integrally closed ring $R$. It is stable under multiplication by $S$: if $s,t\in S$ and $x\in {\mathfrak{D}}_{S/R}^{-1}$, then $\mathrm{Tr}(sxt)=\mathrm{Tr}(x(st))\in R$. Nondegeneracy of the trace pairing and finite generation of $S$ show that this trace dual is a finitely generated $R$-module spanning $L$. Therefore it is a fractional ideal of $S$.

Its inverseis the different ideal. Since $S\subseteq {\mathfrak{D}}_{S/R}^{-1}$, every such $x$ lies in $S$; hence ${\mathfrak{D}}_{S/R}$ is an integral ideal of $S$.

The discriminant ideal $\mathrm{disc}(S/R)$ is locally generated bywhere ${\alpha }_1,\dots ,{\alpha }_n$ is a local $R$-basis of $S$. Equivalently, it is the image of the determinant of the trace pairingThis formulation makes the definition independent of a basis, since changing a basis multiplies its discriminant by the square of the determinant of the change-of-basis matrix.

The asserted identity of ideals can be checked after localization at every nonzero prime ideal of $R$. We may therefore assume that $R$ is a discrete valuation ring and choose a basis ${\alpha }_1,\dots ,{\alpha }_n$ of $S$. Let ${\beta }_1,\dots ,{\beta }_n$ be its trace-dual basis, so $\mathrm{Tr}({\alpha }_i{\beta }_j)={\delta }_{ij}$; this is a basis of ${\mathfrak{D}}_{S/R}^{-1}$. If $T=(\mathrm{Tr}({\alpha }_i{\alpha }_j))$, thenThus the determinant measuring the inclusion $S\subseteq {\mathfrak{D}}_{S/R}^{-1}$ is $\det T$. The determinant description of the norm of a fractional ideal consequently givesLocalization then proves the equality over the original Dedekind domain.

Finally, the determinant-of-pairing map identifies the invertible $R$-module $({\det }_{R}S{)}^{\otimes 2}$ with the discriminant ideal. Hence in the ideal class groupup to the harmless inverse caused by the convention used to identify invertible modules with fractional ideals. In either convention the class is a square.

The ring of integers is $\mathbb{Z}[\omega ]$, where ${\omega }^2+\omega +1=0$, and its class number is one by the Minkowski bound for ideal classes. Modulo seven it is ${\mathbb{F}}_7\times {\mathbb{F}}_7$. The six roots of unity reduce to the kernel of the product map on the two residue unit groups, so the ray class group is ${\mathbb{F}}_7^{\times }$, of order six. The relative Artin symbol on $K({\zeta }_7)$ is exponentiation by the norm of a fractional ideal modulo seven. It kills the principal ray subgroup, and $[K({\zeta }_7):K]=6$, proving that this is the ray class field.

For a nonzero fractional ideal of a number field, the displayed generated ideal equals the relative norm of a fractional ideal. Locally, multiplication by $x$ on the integral lattice has determinant $N_{L/K}(x)$. A Smith normal form calculation and the residue filtrations give $v_{\mathfrak{p}}(N(x))={\sum }_{\mathfrak{P}\mid \mathfrak{p}}{f}_{\mathfrak{P}/\mathfrak{p}}{v}_{\mathfrak{P}}(x)$. The Chinese remainder theorem for ideals chooses $x\in I$ simultaneously attaining the minimum valuation of $I$ at each prime above a fixed $\mathfrak{p}$. Thus the generated ideal has valuation $\sum f_{\mathfrak{P}/\mathfrak{p}}{v}_{\mathfrak{P}}(I)$. Adding these valuations proves multiplicativity, including fractional ideals after clearing denominators.