What are some of the local to global principles in different areas of mathematics?
2026-04-01 14:42:18.1775054538
On
On
On
On
On
On
On
On
On
On
On
On
List of Local to Global principles
6.2k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
16
There are 16 best solutions below
0
On
Euler Characteristic
If you count the faces vertices and edges (local information) of a polygonal shape then you can compute the Euler Characteristic which tell you how many holes the shape has (global information).
2
On
Real analysis
The extreme value theorem can be read as: if a function on a compact set is locally bounded then it's globally bounded. (This is only part of the theorem.) The key word here of course is compact.
0
On
Differential Geometry
The existence of partitions of unity allows one to transfer local results to global ones.
The Gauss-Bonnet Theorem relates the Gaussian curvature (a local quantity) to the Euler characteristic (a global one).
0
On
Number Theory
Zeta L-functions and Birch-Swinnerton Dyer conjecture: These are quantifies which are defined in terms of local things (like multiplying together a function on primes) and global information (like class numbers) is extracted from them.
0
On
Complex Analysis
If a $\mathbb C \rightarrow \mathbb C$ function can be differentiated (local) then it can be integrated! (Inspired by Qiaochus answer here).
0
On
Set Theory
The axiom of choice is local, while Global choice is global.
(Global choice, or Axiom E in the NGB set theory, is equivalent to saying that all proper classes are of the same "cardinality", or there is a well-ordering of the universe)
0
On
Number Theory
The "original" (in terms of giving rise to the name) local-global principle for quadratic forms over number fields, due to Hasse, has already been mentioned. Here are two further local-global principles in which Hasse was involved.
Two (finite-dimensional) central simple algebras over a number field $K$ are isomorphic if and only if their base extensions to central simple algebras over $K_v$ are isomorphic for every completion $K_v$ of $K$. This is essentially the Albert-Brauer-Hasse-Noether theorem.
Class field theory can be formulated both for number fields and for their completions, called respectively global class field theory and local class field theory. (It can formulated also for function fields over finite fields, but let's not worry about that here.) Historically global class field theory came first and the proofs of local class field theory originally depended on global class field theory. Eventually Hasse was able to develop local class field theory in a self-contained way and then use it to prove global class field theory.
3
On
Number Theory
If $a$ is a square (or $n$th power) modulo every prime power then, since its $p$-adic valuation is even (or a multiple of $n$) for every $p$, $a$ is a square (or $n$th power).
Unlike the Hasse principle for quadratic forms, this works for any degree.
0
On
$C^*$-Algebras
Let $\mathfrak{A}$ be a unital $C^*$-algebra, $\mathfrak{C}$ a $C^*$-subalgebra of the center of $\mathfrak{A}$ which contains the unit of $\mathfrak{A}$ and for any maximal ideal $x$ of $\mathfrak{C}$ let $I_x$ be the smallest closed two-sided ideal of $\mathfrak{A}$ containing $x$.
Now the local principle by Allan and Douglas says, that $a\in\mathfrak{A}$ is invertible in $\mathfrak{A}$ if and only if $a+I_x$ is invertible in the quotient algebra $\mathfrak{A}/I_x$ for every maximal ideal $x$ of $\mathfrak{C}$.
One can use this result to tackle questions of invertibility and Fredholmness in operator algebras, e.g. one can characterize Fredholmness properties of Toeplitz operators with piecewise continuous symbols by means of easily checked properties of their respective symbols.
1
On
Analysis
$$\prod_{p}|x|_p = |x|^{-1}$$ gives a way to piece together all local norms to find the value of a global norm.
0
On
And i was studying completely about Hasse's local-Global principle,which has many applications like ,there is a separate fantastic group called the Tate-Shafarevich Group that measures the extent of Failure of Hasse's local-global Principle.it is given by $Ш(E/K)=\mathrm{Ker}(H^1(K,E)\mapsto \prod_{v}H^1(K_v,E))$ which means literally ,"the non-trivial elements of the Tate-Shafarevich group can be thought of as the homogeneous spaces of $A$(where $A$ is an Abelian Variety defined over $K$) that have $K_v$-rational points for every place $v$ of $K$, but no $K$-rational point." and the TS group has many important applications in BSD conjecture,Iwasawa theory....
0
On
Game theory and dynamic programming
The one-shot deviation principle states that a strategy profile of a finite extensive-form game is a subgame perfect equilibrium if and only if there exist no profitable one-shot deviations for each subgame and every player.
A more general statement is the principle of optimality from dynamic programming, which is that an optimal policy is such that whatever the initial state and initial decision are, the remaining decisions must constitute an optimal policy with regard to the state resulting from the first decision.
Diophantine Equations
Hasse Condition: If a Diophantine equation is solvable modulo every prime power (locally) as well as in the reals then it is solvable in the integers.
Hasse Principle is that the Hasse Condition holds for all quadratic Diophantine equations.