Lagmental Vicfred

Lower Ramification Groups Measure How Nearly Automorphisms Fix Integers by Vicfred

tags: mathematics, infinite Galois theory, local fields, ramification

The ramification filtration separates residue action, tame inertia, and increasingly deep wild inertia. I want the notation, the mechanism, and the failure mode visible at the same time.

Set-up

Infinite Galois groups carry the Krull topology and become profinite groups. For a discretely valued field \(K\), completions and residue fields add a second layer of arithmetic to extensions \(L/K\).

$$ G_i=\{\sigma\in G:v_L(\sigma(a)-a)\ge i+1\ \forall a\in\mathcal O_L\} $$

The first display fixes the mathematical data. I label it \(\mathsf{data}\) mentally, while the next is the \(\mathsf{claim}\); the bridge between them is the displayed \(\Longrightarrow\), not an automatic implication.

$$ G_{-1}=G\supseteq G_0\supseteq G_1\supseteq\cdots $$

The calculation

The middle display is intentionally dense: it is where signs, bounds, multiplicities, or normalising factors are most likely to be lost.

$$ \begin{array}{c|c}G/G_0&\text{residue-field Galois group}\\G_0/G_1&\text{tame inertia}\\G_1&\text{wild inertia, a }p\text{-group}\end{array} $$

What survives abstraction

The abstraction earns its keep by explaining why the same computation reappears. The notation compresses repeated reasoning without erasing the hypothesis that licenses it.

$$ \begin{aligned} \mathsf{D}\;&:\quad G_i=\{\sigma\in G:v_L(\sigma(a)-a)\ge i+1\ \forall a\in\mathcal O_L\},\\[5pt] \mathsf{C}\;&:\quad G_{-1}=G\supseteq G_0\supseteq G_1\supseteq\cdots. \end{aligned} $$

The boundary

Subgroups in infinite Galois theory correspond to intermediate fields only after taking closure. Ramification filtrations also depend on the chosen valuation.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] G_{-1}=G\supseteq G_0\supseteq G_1\supseteq\cdots \end{gathered}} $$

A symbolic summary is trustworthy only because the example and limitation remain visible beside it. The box compresses the conclusion without hiding its origin.

This article was posted on Tue 20 June 2023. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.