[Paper Review] Chevalley's ambiguous class number formula for an arbitrary torus

Cristian D. González-Avilés|ArXiv.org|Nov 10, 2007

Geometric and Algebraic Topology7 references3 citations

TL;DR

This paper generalizes Chevalley's classical ambiguous class number formula to arbitrary tori over global fields, extending the classical result for the multiplicative group $$\mathbb{G}_m$$ by incorporating Néron-Raynaud models, Galois cohomology, and local factors. The main result expresses the ratio of class numbers of a torus over a Galois extension and base field in terms of Galois cohomology groups, ramification indices, and component groups of Néron-Raynaud models.

ABSTRACT

This version is a significant improvement of the original paper. It includes a new section where we discuss norm tori in some detail. The new abstract is the following: In this paper we obtain Chevalley's ambiguous class number formula for an arbitrary torus T over a global field. The classical formula of C.Chevalley may be recovered by setting T=G_{m} in our formula. As an illustration of the general result, we discuss norm tori in detail. A key ingredient of the proof of our main theorem is the work of X.Xarles on groups of components of Neron-Raynaud models of tori.

Motivation & Objective

• To extend Chevalley's ambiguous class number formula from the multiplicative group $\mathbb{G}_m$ to an arbitrary torus over a global field.
• To provide a cohomological formula for the ratio of class numbers of a torus over a Galois extension and its base field.
• To incorporate local invariants such as ramification indices and component groups of Néron-Raynaud models into the formula.
• To specialize the general formula to norm tori and derive new class number relations, particularly in the quadratic case.
• To clarify the relationship between the class number of a torus and arithmetic invariants like the norm map kernel and unit groups.

Proposed method

• Utilizes the Néron-Raynaud model $\mathcal{T}^\circ$ of a torus $T$ over the ring of $S$-integers $\mathcal{O}_{F,S}$, and its base change to the Galois extension $K/F$.
• Applies Galois cohomology to the quotient $T(K)/\widetilde{\mathcal{T}}^{\circ}(\widetilde{U})$ and the identity component $\widetilde{\mathcal{T}}^{\circ}(\widetilde{U})$, with kernels denoted by $H^1(G, \cdot)^\prime$.
• Introduces local factors $\ell_v$ associated with the component groups $\Phi_w(\kappa(w))$ of the Néron-Raynaud model at primes $w$ above $v \notin S$, and incorporates ramification indices $e_v$ raised to the dimension $d_v$ of the maximal split subtorus of $T_{F_v}$.
• Relies on X. Xarles' work on component groups of Néron-Raynaud models to analyze the structure of the class group $C_{T,K,S}$.
• Derives the main formula via a comparison of Galois cohomology groups and class group structures, using the exact sequence from the Néron-Raynaud model.
• Specializes the formula to norm tori $T = R^{(1)}_{K/F}(\mathbb{G}_{m,K})$, yielding explicit class number relations in the cyclic case.

Experimental results

Research questions

• RQ1 How can Chevalley’s ambiguous class number formula be generalized beyond the multiplicative group to an arbitrary torus over a global field?
• RQ2 What role do Néron-Raynaud models and their component groups play in computing class numbers of tori?
• RQ3 How do ramification indices and local invariants like $d_v$ and $\ell_v$ contribute to the class number ratio?
• RQ4 What is the structure of the class group $C_{T,K,S}^G$ for a torus $T$ over a Galois extension $K/F$, and how does it relate to the base field?
• RQ5 Can the general formula be specialized to norm tori to yield new arithmetic identities for class numbers?

Key findings

• The main result generalizes Chevalley’s formula to any torus $T$ over a global field $F$, with the classical case recovered when $T = \mathbb{G}_m$.
• The ratio of class numbers $[C_{T,K,S}^G] / [C_{T,F,S}]$ is expressed as a quotient of Galois cohomology groups with kernels, ramification indices $e_v^{d_v}$, and local factors $\ell_v$, adjusted by the index $[\widetilde{\mathcal{T}}^\circ(\widetilde{U})^G : \mathcal{T}^\circ(U)]^{-1}$.
• For norm tori $T = R^{(1)}_{K/F}(\mathbb{G}_{m,K})$, the formula yields a new identity relating $h_{T,F,S}$ to $h_{F,S}$, the norm map kernel, unit group indices, and ramification data.
• In the quadratic case ($[K:F] = 2$), the formula simplifies to $[\mathcal{O}_{F,S}^* : W_{F,S}] \cdot [F^* : N_{K/F}(K^*)] \cdot [\ker(N_{\mathcal{O}}) : \mathcal{T}^\circ(U)] \cdot h_{T,F,S} = 4^{\mu + \nu - 1} h_{F,S}$, where $\mu$ is the number of non-split primes in $S$ and $\nu$ the number of ramified primes outside $S$.
• The formula shows that $h_{T,F,S}$ divides $4^{\mu + \nu - 1} h_{F,S}$ when $\mu + \nu \geq 1$, providing a finiteness condition on the class number of the norm torus.
• The paper clarifies that the class number of the norm torus $\mathcal{T}' = \ker N_{\mathcal{O}}$ is not directly comparable to the class number of $\mathcal{T}^\circ$ due to possible disconnected fibers, highlighting a key distinction in the arithmetic of Néron models.