Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Knots, primes and class field theory

Alain Connes, Caterina Consani

TL;DR

This paper builds a geometric generalization of class field theory by recasting the idele class group within an adelic, scheme-theoretic framework and linking it to noncommutative geometry and topos theory. It constructs a contravariant functor that assigns to each finite abelian extension $L/\mathbb{Q}$ a finite abelian cover $X_{\mathbb{Q}}^L\to X_{\mathbb{Q}}$, with monodromy along periodic prime orbits $C_p$ corresponding to arithmetic Frobenius elements, and ramification controlled by conductors. The work develops semilocal versions via Bruhat–Schwartz algebras, proves K-theory results for the related crossed-product algebras, and situates these constructions in the scaling topos and Artin–Verdier duality framework, thereby connecting primes, Frobenius actions, and L-function spectral phenomena in a unified geometric setting. These results illuminate the geometric meaning of the adele class space, provide a concrete bridge between Galois theory and adelic geometry, and offer new tools for understanding the spectral realization of L-function zeros and the class field theory landscape. The approach also emphasizes a knot-prime analogy through Mumford–Mazur-like pictures and furnishes a noncommutative-geometric route to study abelian extensions via semilocal algebras and their K-theory.

Abstract

In this paper, we present a geometric generalization of class field theory, demonstrating how adelic constructions, central to the spectral realization of zeros of L-functions and the geometric framework for explicit formulas in number theory, naturally extend the classical theory. This generalization transitions from the idele class group, which acts as the adelic analog of Galois groups, to a geometric framework associated with schemes and the ring of integers of global fields. This perspective provides a conceptual explanation for the role of the adele class space in the spectral realization of L-function zeros and identifies the idele class group as a generic point in this context. The sector $X_{\mathbb{Q}}$ of the adele class space corresponding to the Riemann zeta function gives the class field counterpart of the scaling topos. The main result is the construction of a functor mapping finite abelian extensions of $\mathbb{Q}$ to finite covers of $X_{\mathbb{Q}}$, with the monodromy of periodic orbits of length $\log p$ under the scaling action corresponding to the Galois action of the Frobenius at the prime p.

Knots, primes and class field theory

TL;DR

This paper builds a geometric generalization of class field theory by recasting the idele class group within an adelic, scheme-theoretic framework and linking it to noncommutative geometry and topos theory. It constructs a contravariant functor that assigns to each finite abelian extension a finite abelian cover , with monodromy along periodic prime orbits corresponding to arithmetic Frobenius elements, and ramification controlled by conductors. The work develops semilocal versions via Bruhat–Schwartz algebras, proves K-theory results for the related crossed-product algebras, and situates these constructions in the scaling topos and Artin–Verdier duality framework, thereby connecting primes, Frobenius actions, and L-function spectral phenomena in a unified geometric setting. These results illuminate the geometric meaning of the adele class space, provide a concrete bridge between Galois theory and adelic geometry, and offer new tools for understanding the spectral realization of L-function zeros and the class field theory landscape. The approach also emphasizes a knot-prime analogy through Mumford–Mazur-like pictures and furnishes a noncommutative-geometric route to study abelian extensions via semilocal algebras and their K-theory.

Abstract

In this paper, we present a geometric generalization of class field theory, demonstrating how adelic constructions, central to the spectral realization of zeros of L-functions and the geometric framework for explicit formulas in number theory, naturally extend the classical theory. This generalization transitions from the idele class group, which acts as the adelic analog of Galois groups, to a geometric framework associated with schemes and the ring of integers of global fields. This perspective provides a conceptual explanation for the role of the adele class space in the spectral realization of L-function zeros and identifies the idele class group as a generic point in this context. The sector of the adele class space corresponding to the Riemann zeta function gives the class field counterpart of the scaling topos. The main result is the construction of a functor mapping finite abelian extensions of to finite covers of , with the monodromy of periodic orbits of length under the scaling action corresponding to the Galois action of the Frobenius at the prime p.
Paper Structure (14 sections, 18 theorems, 82 equations, 2 figures)

This paper contains 14 sections, 18 theorems, 82 equations, 2 figures.

Table of Contents

  1. Introduction
  2. Notations
  3. Abelian extensions of ${\mathbb Q}$ and finite covers of the adelic space $X_{\mathbb Q}$
  4. The covering of the periodic orbits $\pi:\pi^{-1}(C_p)\to C_p$
  5. Ramification of the cover $\pi_\chi: X_{\mathbb Q}^\chi\to X_{\mathbb Q}$
  6. Monodromy of $\pi_\chi$ over $C_p$
  7. The class field functor
  8. Schemes and adelic spaces: a generalized class field connection
  9. The semilocal description of $X_{\mathbb Q}$ in NCG
  10. The semilocal setup
  11. Sheaf on ${\rm Spec\,}\mathbb{Z}$ of semilocal algebras
  12. The stratification of the space $Y_{{\mathbb Q},S}$
  13. $K$-theory of the $C^*$-algebra of the two first stratas
  14. The classifying space $\Gamma\backslash\left({\mathbb A}_{S}\times\underline{E \Gamma}\right)$ and its codimension $1$ foliation

Key Result

Lemma 3.2

Let $G$, $\chi$ and $\pi_\chi$ be as in Definition coverdef and $x\in X_{\mathbb Q}$. $(i)$ The group $G$ acts transitively on the fiber $F_x=\pi_\chi^{-1}(x)$. $(ii)$ Assume $\infty \notin Z(x)$, then the stabilizer of any $y\in F_x$ is

Figures (2)

  • Figure 1: A typical example of the inverse image of the periodic orbit $C_p$ is a union of components $F_\pi$ where the prime $p$ is unramified and factors as $p=\pi_1\pi_2\pi_3$ in $L$.
  • Figure 2: The monodromy of the periodic $C_p$ in $\pi^{-1}(C_p)\subset Y_{\mathbb Q}$

Theorems & Definitions (28)

  • Definition 3.1
  • Lemma 3.2
  • Lemma 3.3
  • Proposition 3.4
  • Definition 3.5
  • Proposition 3.6
  • Corollary 3.7
  • Remark 3.8
  • Theorem 3.9
  • Corollary 3.10
  • ...and 18 more