Algebraic Number Theory Unit 13 study guides

What Are Adeles and Ideles?

• Adeles and ideles are fundamental objects in modern number theory introduced by Claude Chevalley in the 1930s
• Adeles are rings constructed from the completions of a global field (such as a number field or function field) with respect to all its absolute values
  • Consist of infinite sequences $(a_v)$ where $a_v$ is an element of the completion $K_v$ at the place $v$, subject to certain conditions
• Ideles are the multiplicative group of invertible elements in the adele ring
  • Elements are sequences $(a_v)$ where $a_v$ is a unit in $K_v$ for all but finitely many places $v$
• Provide a unified framework to study local-global principles in number theory
• Allow the use of techniques from harmonic analysis and representation theory in number-theoretic problems
• Play a crucial role in class field theory, which describes abelian extensions of global fields

Historical Context and Motivation

• Adeles and ideles emerged in the 1930s as a tool to study the arithmetic of global fields
• Motivated by the need for a coherent framework to handle both archimedean and non-archimedean absolute values simultaneously
• Chevalley introduced ideles in 1936 to reformulate classical class field theory in a more conceptual manner
• Tate recognized the importance of adeles in the 1950s and developed the adelic approach to class field theory
  • Tate's thesis (1950) laid the foundation for the modern theory of adeles and ideles
• Adeles and ideles provided a new perspective on the study of $L$-functions and zeta functions associated with global fields
• The adelic approach simplified and clarified many classical results in algebraic number theory (Dirichlet's unit theorem, finiteness of class number)

Basic Definitions and Notation

• Let $K$ be a global field and $M_K$ the set of all places (equivalence classes of absolute values) of $K$
• For each place $v \in M_K$, let $K_v$ denote the completion of $K$ with respect to $v$
  • If $v$ is non-archimedean, $K_v$ is a local field with valuation ring $\mathcal{O}_v$ and maximal ideal $\mathfrak{p}_v$
• The adele ring of $K$, denoted $\mathbb{A}_K$, is the restricted direct product of the $K_v$ with respect to the $\mathcal{O}_v$
  • Elements of $\mathbb{A}_K$ are sequences $(a_v)_{v \in M_K}$ with $a_v \in K_v$ and $a_v \in \mathcal{O}_v$ for all but finitely many $v$
• The idele group of $K$, denoted $\mathbb{I}_K$, is the multiplicative group of invertible elements in $\mathbb{A}_K$
  • Elements of $\mathbb{I}_K$ are sequences $(a_v)_{v \in M_K}$ with $a_v \in K_v^{\times}$ for all $v$ and $a_v \in \mathcal{O}_v^{\times}$ for all but finitely many $v$

Properties of Adeles

• The adele ring $\mathbb{A}_K$ is a locally compact topological ring with respect to the adelic topology
  • The adelic topology is defined by taking open sets to be finite products of open sets in each $K_v$
• $\mathbb{A}_K$ contains $K$ as a discrete subring via the diagonal embedding $a \mapsto (a)_{v \in M_K}$
• The quotient $\mathbb{A}_K/K$ is compact (a consequence of the strong approximation theorem)
• $\mathbb{A}_K$ is self-dual as a topological group, i.e., it is isomorphic to its Pontryagin dual
• The ring of adeles is not noetherian (does not satisfy the ascending chain condition on ideals)
• Idempotents in $\mathbb{A}_K$ correspond to subsets of $M_K$ (characteristic functions of subsets)

Ideles: The Multiplicative Group

• The idele group $\mathbb{I}_K$ is the group of invertible elements in the adele ring $\mathbb{A}_K$
• $\mathbb{I}_K$ is a locally compact topological group with respect to the induced topology from $\mathbb{A}_K$
• The group of global units $K^{\times}$ embeds diagonally as a discrete subgroup of $\mathbb{I}_K$
• The idele class group is the quotient $C_K = \mathbb{I}_K/K^{\times}$
  • $C_K$ plays a central role in class field theory, as it is related to the Galois group of the maximal abelian extension of $K$
• The idele norm map $|\cdot|: \mathbb{I}_K \to \mathbb{R}_{>0}$ is defined by $|(a_v)| = \prod_v |a_v|_v$, where $|\cdot|_v$ is the normalized absolute value at $v$
• The idele class group $C_K$ is isomorphic to the quotient $\mathbb{I}_K/\ker(|\cdot|)$

Topology of Adeles and Ideles

• The adele ring $\mathbb{A}_K$ and the idele group $\mathbb{I}_K$ are equipped with the adelic topology
• The adelic topology is defined as the restricted product topology with respect to the $\mathcal{O}_v$
  • A basis for the topology consists of sets of the form $\prod_v U_v$, where $U_v$ is open in $K_v$ and $U_v = \mathcal{O}_v$ for all but finitely many $v$
• $\mathbb{A}_K$ and $\mathbb{I}_K$ are locally compact Hausdorff spaces with respect to the adelic topology
• The adelic topology on $K$ (viewed as a subspace of $\mathbb{A}_K$) coincides with the discrete topology
• The quotient spaces $\mathbb{A}_K/K$ and $\mathbb{I}_K/K^{\times}$ are compact
• The adelic topology allows the use of techniques from harmonic analysis, such as Fourier transforms and Poisson summation formula

Applications in Number Theory

• Adeles and ideles provide a unified language to formulate and study local-global principles
  • Hasse principle: A polynomial equation has a solution in $K$ if and only if it has a solution in $K_v$ for all places $v$
• The adelic approach simplifies the proof of the Riemann-Roch theorem for global fields
• Tate's thesis reformulated classical results in terms of adeles and ideles (Riemann's zeta function, functional equation, Poisson summation)
• Adeles and ideles are used to construct $L$-functions associated with representations of the Weil group
• The idele class group is a central object in class field theory
  • Artin reciprocity law: There is a canonical isomorphism between $C_K$ and the Galois group of the maximal abelian extension of $K$
• Adeles and ideles provide a framework for the study of automorphic representations and automorphic forms

Connections to Other Areas

• Adeles and ideles are used in the Langlands program, which seeks to unify various areas of mathematics (number theory, representation theory, harmonic analysis)
• The adelic approach has been generalized to the study of algebraic groups over global fields
  • Adelic algebraic groups and their representations play a crucial role in the theory of automorphic forms
• Adeles and ideles have analogues in the theory of function fields over finite fields
  • The geometric analogue of the idele class group is the Picard group of a curve
• The adelic viewpoint has been influential in the development of arithmetic geometry
  • Arakelov theory uses adelic metrics to study the arithmetic of schemes over Spec($\mathbb{Z}$)
• Adeles and ideles have applications in mathematical physics, particularly in the study of quantum field theories and string theory
  • The adelic approach provides a natural framework for the study of p-adic and non-archimedean aspects of these theories