--- title: Arakelov Ray Class Groups url: https://www.emergentmind.com/topics/arakelov-ray-class-groups type: topic --- # Arakelov Ray Class Groups Arakelov ray class groups are compact abelian refinements of ray class groups that incorporate archimedean data into the class field theoretic modulus. For a number field \(F\) and modulus \(\fm=(\fm_{\mathrm f},\fm_\infty)\), the ordinary ray class group is \[ \Cl_F(\fm)=\Id_F(\fm)/P_F^1(\fm), \] where \(P_F^1(\fm)\) is generated by principal ideals \((\alpha)\) with prescribed congruence at \(\fm_{\mathrm f}\) and prescribed positivity at \(\fm_\infty\). The Arakelov refinement introduced in recent heuristic work is \[ \Pic_F^0(\fm)=\big(\Id_F(\fm)\times_{\mathbf R_{>0}}\overline{F_\mathbf R^\times}\big)\big/\operatorname{im}(F^1(\fm)), \] with \(\overline{F_\mathbf R^\times}\) the quotient of \((F\otimes_\mathbf Q\mathbf R)^\times\) by its maximal compact subgroup; it is a compact abelian group [2509.20185]. This construction places finite congruence conditions, sign conditions at real places, and unit data in a single object, and it connects the finite ray class groups of classical class field theory to Arakelov class groups, narrow class groups, explicit class field constructions, capitulation theorems, and probabilistic models for arithmetic statistics [2509.20185]. ## 1. Definition and exact-sequence structure The starting point is the ordinary ray class exact sequence. For \(\fm=(\fm_{\mathrm f},\fm_\infty)\), \(\Cl_F(\fm)\) is defined by quotienting ideals prime to \(\fm_{\mathrm f}\) by principal ideals generated by elements congruent to \(1\) modulo \(\fm_{\mathrm f}\) and positive at the real places in \(\fm_\infty\) [2509.20185]. In the Arakelov refinement, one replaces the finite group \(\Cl_F(\fm)\) by a compact group obtained from a fiber product over \(\mathbf R_{>0}\), using the ideal norm on \(\Id_F(\fm)\) and the absolute value of the \(\mathbf R\)-algebra norm on \(\overline{F_\mathbf R^\times}\) [2509.20185]. The resulting group \(\Pic_F^0(\fm)\) fits into an exact sequence whose left term is built from \((\mathcal O_F/\fm_{\mathrm f})^\times\), the sign group \(\{\pm1\}^{\fm_\infty}\), and the roots of unity \(\mu_F\), and whose quotient is the ordinary Arakelov class group \(\Pic_F^0\) [2509.20185]. This is the structural reason the Arakelov ray class group is better suited to Cohen–Lenstra-type heuristics: when \(\fm_{\mathrm f}\) is generated by a fixed rational integer and \(\fm_\infty=\varnothing\), the left term depends only on the splitting behavior of \(\fm_{\mathrm f}\) in \(F\) and on \(\mu_F\), so natural families can be partitioned into subfamilies with constant local term [2509.20185]. There is also a direct comparison with the ordinary ray class group: \[ 0\to \mathbf T_F(\fm)\to \Pic_F^0(\fm)\to \Cl_F(\fm)\to 0, \qquad \mathbf T_F(\fm)=\mathcal O_F^1(\fm)\otimes_\mathbf Z \mathbf R/\mathbf Z. \] Thus \(\Pic_F^0(\fm)\) is an extension of the finite ray class group by a torus coming from the \(1\)-units modulo \(\fm\) [2509.20185]. In this form, the Arakelov ray class group simultaneously contains the finite ray class part and the archimedean toric part contributed by units. This packaging continues the general Arakelov philosophy developed for class groups without modulus. In that setting, the Pontryagin dual \(\Ar_F=(\Pic_F^0)^\vee\) fits into \[ 0 \longrightarrow \Hom(\Cl_F,\mathbf Q/\mathbf Z) \longrightarrow \Ar_F \longrightarrow \Hom(\mathcal O_F^\times/\mu_F,\mathbf Z) \longrightarrow 0, \] so torsion is the class group and the torsion-free part is the \(\mathbf Z\)-dual of the unit group [2005.11533]. A plausible implication is that Arakelov ray class groups should be viewed as the corresponding mod-\(\fm\) enlargement, with ordinary ray class groups recovered as finite quotients. ## 2. Narrow, oriented, and archimedean variants For real quadratic fields, the relevant object is often the narrow version \(\Pic_F^{0,+}\), corresponding to the modulus whose infinite part contains both real places [2509.20185]. In this setting, the connected components of \(\Pic_F^{0,+}\) are the narrow ideal classes, while the connected component itself is a \(1\)-dimensional torus-like object controlled by the fundamental unit [2509.20185]. After identifying Schoof’s oriented Arakelov class group with \(\Pic_F^{0,+}\), the connected-components map isometrically to closed geodesics on \[ Y(1)=\mathrm{SL}_2(\mathbf Z)\backslash \mathbb H \] [2509.20185]. This gives the archimedean part a concrete geometric interpretation. At finite level, the narrow ray class group already incorporates the sign conditions at all real embeddings. For a fixed number field \(K\) and integral ideal \(\mathfrak q\), the narrow ray class group is \[ \mathrm{Cl}^{(\infty)}_{\mathfrak q}=J(\mathfrak q)/P^+(\mathfrak q), \] where \(P^+(\mathfrak q)\) consists of principal fractional ideals \((\alpha)\) with \(\alpha\equiv 1\pmod{\mathfrak q}\) and \(\sigma(\alpha)>0\) for every real embedding \(\sigma:K\hookrightarrow \mathbf R\) [2606.30567]. The paper on products of prime ideals emphasizes that this is exactly the standard setting in which archimedean sign conditions are built into the modulus, and it explicitly observes that the same distributional results naturally apply to the corresponding Arakelov ray class groups [2606.30567]. The distinction between narrow finite quotients and compact Arakelov extensions is conceptually important. Narrow ray class groups are finite and encode prescribed positivity and congruence conditions in the sense of global class field theory. Arakelov ray class groups refine them by adjoining a torus \(\mathbf T_F(\fm)\). This suggests that the narrow groups are the discrete connected-component data, while the Arakelov group remembers the continuous archimedean contribution. ## 3. Capitulation, tame ramification, and principalization A major structural result for ray class groups is the extension of Bosca’s principalization method from ordinary ideal class groups to tame ray class groups [1801.07173]. In that work, for a squarefree divisor \(m\) of a number field \(K\), the ray class group is written \[ Cl_R=D_R/P_R, \] where \(D_R\) is the group of ideals prime to \(m\) and \(P_R\) is generated by principal ideals \((x)\) with \(x\equiv 1 \bmod^\ast m\) [1801.07173]. The squarefree hypothesis is the condition that keeps the ramification tame; the paper explicitly says that from the class field theory viewpoint this “revient à accepter de la ramification modérée” [1801.07173]. The main capitulation theorem states that for every extension \(K/k\) in which at least one infinite place splits completely, and every finite set \(T\) of noncomplex places of \(k\), there exists a finite abelian extension \(F/k\), completely split at all infinite places, such that the ray class group of \(K\) modulo \[ m_K=\prod_{q_K\in T_K}q_K \] capitulates in \(L=KF\); moreover there are infinitely many such \(F/k\), and they may be chosen unramified at any prescribed finite set of places [1801.07173]. The splitting-at-infinity hypothesis is the cohomological input that allows the unit module to contain an augmentation-character piece via Herbrand’s theorem on units [1801.07173]. The proof is a ray-class analogue of Chevalley’s ambiguous class number method. One reduces to the \(l\)-primary part, represents a given class by a prime ideal \(\mathfrak p_K\), constructs a cyclic \(l\)-extension \(F/k\) ramified only at a carefully chosen prime \(\mathfrak p_k\), and then shows in the compositum \(KF\) that the chosen class becomes principal because it is represented by a sufficiently high power of an ambiguous ideal [1801.07173]. The ambiguous ray-class formula, the Herbrand quotient, and Hilbert 90 play the same roles as in the classical ideal-class case. The appendix exhibits a sharp limitation. If one allows wild ramification, the analogue can fail: when the modulus contains primes above \(l\), the relevant \(l\)-group of infinitesimal classes may be infinite, and under Leopoldt-type assumptions the capitulation map can even be injective [1801.07173]. In Arakelov-style language, the tame theory behaves like the ordinary ideal-class theory, but the wild theory introduces genuinely different infinitesimal phenomena. ## 4. Explicit models and class field generation Several strands of explicit class field theory realize ray class groups through more concrete objects, and these constructions are closely aligned with the Arakelov viewpoint because they combine finite congruence data with positivity or archimedean geometry. For imaginary quadratic fields \(K\neq \mathbf Q(i),\mathbf Q(\sqrt{-3})\), the extended form class group \[ C_N(d_K)=Q_N(d_K)/\sim_N, \] defined using primitive positive definite binary quadratic forms of discriminant \(d_K\) with \(\gcd(a,N)=1\) and the congruence subgroup \(\pm\Gamma_1(N)\), is canonically isomorphic to the ray class group \(\mathrm{Cl}(N\mathcal O_K)\), hence to \(\mathrm{Gal}(K_{\mathfrak n}/K)\) for \(\mathfrak n=N\mathcal O_K\) [1712.04140]. The group law is transported from the ray class group and is “basically the Dirichlet composition” [1712.04140]. Passing to inverse limits gives a form-theoretic model for \(\mathrm{Gal}(K_{\mathfrak n}^{ab}/K)\), the maximal abelian extension unramified outside primes dividing \(\mathfrak n\) [1712.04140]. For CM-fields \(K\) with maximal real subfield \(F\) of class number one, a form class group \(C_F(N,d_K)\) of primitive positive definite binary quadratic forms over \(\mathcal O_F\) is constructed and shown to be isomorphic to the ray class group \(C(N\mathcal O_K)\) via \[ [Q]\longmapsto [[w_Q,1]_F] \] [1912.08128]. Under the additional assumption that the narrow class number of \(F\) is one, every class has a totally positive representative, and singular values of Hilbert modular functions at the CM points \(-w_Q\) generate a class field of the reflex field, with Galois group identified as \[ \mathrm{Gal}(L_C/K^\ast)\cong C(N\mathcal O_{K^\ast})/\ker(g_N) \] [1912.08128]. The authors explicitly remark that this positivity theory is reminiscent of the role of positivity in narrow and Arakelov class groups. Explicit CM generation results furnish another realization. For an imaginary quadratic field \(K\) with \(d_K\le -39\) and an integer \(N>8\) divisible by \(4\), the ray class field \(K(N)\) modulo \(N\mathcal O_K\) is generated by the coordinates of a specific \(N\)-torsion point on a normalized elliptic curve attached to \(K\): \[ K(N)=K\bigl(x(0,\tfrac12)(\theta),\,y(0,\tfrac12)(\theta)\bigr) \] [1007.2307]. Under a degree inequality and for odd \(N\ge 3\), the singular value \(y(0,\tfrac12)(\theta)^4\) alone generates \(K(N)\), giving a partial result toward the Lang–Schertz conjecture [1007.2307]. Related work compares the full torsion field \(\mathbf Q(E_K[N])\) of a CM elliptic curve \(E_K\) with the ray class field \(K(N)\), proving for \(N\ge 3\) that \[ \mathbf Q(E_K[N])=K(N)\bigl(Y_{[0,1/N]}\bigr),\qquad [\mathbf Q(E_K[N]):K(N)]\le 2 \] [2009.13837]. These results concern finite ray class fields rather than compact Arakelov groups, but they provide explicit generators for the finite quotients that the Arakelov refinement extends. ## 5. Statistics, heuristics, and random exact sequences The statistical theory of Arakelov ray class groups was formulated for real quadratic fields in terms of random extensions rather than random finite groups [2509.20185]. Fix a finite set \(S\) of odd primes and a local algebra \(R\) determined by the finite modulus. Writing \[ U_R=R^\times/\{\pm1\}, \] the heuristic studies short exact sequences \[ 0\to U_R(S^\infty)\to B\to C\to 0 \] and postulates that, locally at \(S\), the \(S^\infty\)-torsion of the Arakelov ray class sequence of a real quadratic field is distributed according to a Cohen–Lenstra-type measure in which a sequence appears with probability proportional to \(1/\#\Aut_{\mathrm{ring}}(\Theta)\) [2509.20185]. The paper emphasizes that this is the right object to randomize because it encodes not only the class-group part but also the reduction of units modulo the finite modulus [2509.20185]. Several consequences are derived. The heuristic implies the Cohen–Lenstra heuristics on class groups of real quadratic fields; it predicts equidistribution of the fundamental unit modulo an integer; it predicts asymptotic independence of the class-group part and the unit-reduction part; and it recovers equidistribution statements for ray class extension classes in \(\operatorname{Ext}^1_{\mathbf Z_S[C_2]}(G,Q)\) that are compatible with earlier work of Pagano–Sofos on imaginary quadratic ray class groups [2509.20185]. The same paper checks compatibility with Varma’s results on average sizes of \(3\)-torsion subgroups of ray class groups of quadratic fields [2509.20185]. At finite level, Varma studies \(\mathrm{Cl}(K,c)\) for quadratic fields \(K\) and fixed integral conductor \(c\), under the admissibility condition that \(c\) is squarefree away from \(3\) and \(27\nmid c\) if \(3\mid c\) [1609.02292]. The \(3\)-torsion is related to counts of cubic fields with prescribed ramification, and the resulting averages are given by explicit Euler products and powers of \(3\); for \(c\) coprime to \(3\), the counting function has a secondary term \[ A(c)X+B(c)X^{5/6}+O_{c,\varepsilon}\!\left(X^{5/6-7/138+\varepsilon}\right) \] [1609.02292]. The paper also proves positive-proportion results for trivial \(3\)-torsion in certain families [1609.02292]. Its language is finite and non-Arakelov, but it explicitly situates these ray class groups as the finite arithmetic objects governing abelian extensions with prescribed local conditions. Pagano–Sofos go further by treating the ray class sequence itself as the random object. For imaginary quadratic fields and conductor \(c\), they study the exact sequence \[ 1\to (\mathcal O_K/c)^\times \to \mathrm{Cl}(K,c)\to \mathrm{Cl}(K)\to 1 \] as a sequence of \(\mathbf Z_p[C_2]\)-modules, and they prove the conjectural \(2\)-primary distribution at the level of the \(4\)-rank statistic by asymptotically evaluating mixed moments of the corresponding cohomology map [1710.07587]. This finite exact-sequence viewpoint is explicitly close in spirit to the later Arakelov ray class formulation, where the ordinary ray class sequence is recovered as a quotient of the compact Arakelov sequence [2509.20185]. This probabilistic program extends a broader correction to Cohen–Lenstra–Martinet heuristics in which Arakelov class groups, rather than class groups alone, are treated as the fundamental random objects because they package units and class groups in a single Galois module [2005.11533, 1803.06903]. ## 6. Analytic applications and arithmetic constraints The archimedean sign-conditioned ray class setting supports strong analytic results on prime ideals. For a fixed number field \(K\) and integral ideal \(\mathfrak q\), every class in the narrow ray class group modulo \(\mathfrak q\) is represented by a product of three prime ideals of norm at most \[ (N\mathfrak q)^{\max(1,3\alpha,4\alpha_0)+\kappa} \] for any \(\kappa>0\), under the stated character-sum and bounded-order subconvexity hypotheses [2606.30567]. Using Wu’s subconvexity bound, one may take \(\alpha=\alpha_0=103/256\), yielding the explicit exponent \(103/64+\kappa\) [2606.30567]. The same work proves that a positive proportion of ray classes are represented by products of two prime ideals [2606.30567]. Since the group already includes all real places in the modulus, these are distribution results in the standard finite-level Arakelov setting. Ray class groups also furnish the natural inverse-limit domain for \(p\)-adic integration. In the theory of \(p\)-adic \(L\)-functions for automorphic forms on \(\mathrm{GL}_2\), compatible systems on finite ray class groups \(G_{\mathfrak m}\) are interpreted as locally constant distributions on a profinite global class group [1304.4042]. If a ray class distribution has local growth parameters \((a_{\mathfrak p})_{\mathfrak p\in E}\), then it induces a locally constant distribution of finite order \[ r=\sum_{\mathfrak p\in E} e_{\mathfrak p}v_p(a_{\mathfrak p}), \] and if \(r<1\) it extends uniquely to a finite-order distribution [1304.4042]. In the split imaginary quadratic supersingular case \(p=\mathfrak p\bar{\mathfrak p}\), this yields a two-variable plus-minus decomposition and four signed bounded \(p\)-adic \(L\)-functions after division by Pollack half-logarithms, confirming a conjecture of B.D. Kim [1304.4042]. Arithmetic applications also appear in the study of minus parts of ray class groups of real quadratic fields. For primes \(\ell,p\ge 5\) with \(p\mid(\ell-1)\), if \(h^-_\ell(\Delta)\) denotes the order of the minus part of the ray class group of \(\mathbf Q(\sqrt\Delta)\) of modulus \(\ell\), then—assuming a non-emptiness hypothesis—the number of positive fundamental discriminants \(\Delta