The study of local fields — completions of global fields with respect to nontrivial absolute values, such as p-adic fields and local archimedean completions — and their algebraic, topological, and arithmetic structures, including ramification, extensions, and local class field theory.

Principle

Analyze arithmetic problems via local completions, exploit topological and valuation-theoretic structure to classify extensions, measure ramification, and understand local invariants that feed into global phenomena through localization and patching.

Demonstration

Studying the extension theory of a p-adic field including inertia and ramification filtrations; applying Hensel-type lifting to solve congruences locally; computing local factors appearing in global L-functions or local reciprocity maps in local class field theory.

Misapplication

Assuming local solvability implies global solvability without verifying patching or reciprocity constraints; treating local analytic solutions as global objects without controlling compatibility at all places.

Consequence

Provides precise local invariants (ramification groups, local Galois representations, local ε-factors) that determine or constrain global arithmetic phenomena and allow local-to-global arguments when patched correctly.

Reversal

Global arithmetic study that avoids passage to completions, focusing exclusively on global fields and global structural theorems without local analysis.

Boundary

Concerns completions of number fields and function fields with their valuation topology and algebraic extensions; excludes purely global statements that do not use localisation and also excludes topological/analytic theories that lack arithmetic valuations or local Galois structure.

Semantic Tension

Tension between local analysis—which can resolve finer ramification and deformation behaviour—and the global perspective that must reconcile local data across all places, sometimes creating reciprocity constraints.

Synthesis

A toolkit and theory that extract fine-grained local invariants from completions, classify local extensions and ramification, and integrate these invariants into global arithmetic via reciprocity, patching and cohomological methods.