##  [Local Field Theory](/local-field-theory-0) 

 Definition

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

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

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

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

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

Reversal

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

 

 

 

 

 





## Boundary

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

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

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.