Q_p

Q_p is the field of p-adic numbers associated to a prime p, arising from completion procedures that parallel the construction of real numbers from rational numbers. It serves as a central object in modern algebraic number theory, p-adic analysis, and the study of local-global principles such as the Hasse principle and local–global techniques. Q_p interfaces with objects like Galois group, Weil group, local field, adèle rings, and p-adic L-functions.

Definition and Notation

The field is defined by completing the rational numbers with respect to the p-adic valuation v_p, which measures divisibility by a fixed prime p; the associated absolute value |·|_p satisfies the non-Archimedean or ultrametric triangle inequality. Standard notation uses Q for rationals and the subscript p to indicate completion at p, paralleling constructions of R and C as completions of Q at the usual absolute value. Constructions of Q_p appear in texts on local fields, algebraic number theory, and expositions by authors associated with Henri Poincaré-era developments and later formalizations by Kurt Hensel.

Algebraic and Topological Properties

Algebraically, Q_p is a characteristic 0 field that is locally compact, totally disconnected, and non-discrete; it carries the structure of a one-dimensional topological field over itself and admits unique Haar measure compatible with additive translations used in harmonic analysis on locally compact abelian groups. Its ring of integers, typically denoted by Z_p, is a compact subring with maximal ideal generated by p; the residue field is isomorphic to the finite field F_p. The multiplicative group Q_p^× decomposes into p-adic valuation powers and the unit group Z_p^×, which connects to Teichmüller characters and Dirichlet characters in local class field theory. Q_p hosts extensions whose ramification is studied via ramification theory, inertia group, and Newton polygon techniques that are central in the study of Galois representations and Weil–Deligne group actions.

p-adic Absolute Value and Metric

The p-adic absolute value |x|_p = p^{-v_p(x)} defines a non-Archimedean metric d(x,y)=|x-y|_p under which balls are both open and closed; this ultrametric property yields strong forms of convergence used in analyses of power series, Mahler expansion, and Iwasawa theory constructions. Completeness with respect to this metric ensures that Cauchy sequences of rationals converge in Q_p, enabling p-adic analytic functions such as the p-adic exponential and logarithm defined on appropriate disks. The metric structure underlies local compactness results employed in integration theories like the Haar measure on Q_p and in harmonic analysis connecting to Fourier transform methods on local fields, as used in proofs involving the Weil representation and local components of automorphic forms.

Field Extensions and Completion

Finite extensions of Q_p correspond to finite-degree algebraic extensions of Q with decomposition and inertia groups described by local Galois theory; such extensions are complete with respect to unique extensions of the p-adic absolute value and are classified via ramification index and residue degree. The maximal unramified extension yields a residue field isomorphic to an algebraic closure of F_p, while totally ramified extensions relate to Eisenstein polynomials and explicit constructions appearing in Lubin–Tate theory and local class field theory of Emil Artin and John Tate. The algebraic closure of Q_p is not complete; its completion, often denoted C_p in the literature, is algebraically closed and complete, playing a role analogous to C for real places and serving as a base for p-adic Hodge theory, comparisons with etale cohomology, and period ring constructions by Jean-Marc Fontaine.

Applications in Number Theory and Analysis

Q_p is instrumental in local analyses of Diophantine equations, enabling local solvability criteria and Hasse–Minkowski type theorems for quadratic forms and higher-degree forms that interact with global fields and Hilbert symbol computations. It provides the local factors in adele-based formulations of L-functions and appears in explicit reciprocity laws within class field theory and Iwasawa theory. p-adic methods underpin the construction of p-adic modular forms, p-adic measures for Mazur-style deformation problems, and the study of Galois representations attached to arithmetic objects like elliptic curves and modular forms, culminating in deep results such as the proof of Modularity theorem consequences and applications to Fermat's Last Theorem. Analytically, Q_p enables p-adic differential equations, rigid analytic geometry as developed by John Tate, and p-adic Hodge theoretic frameworks like crystalline and semistable comparison theorems used in modern arithmetic geometry.

Category:Local fields