Benjamin Gompertz

In number theory, more specifically in local class field theory, the ramification groups are a filtration of the Galois group of a local field extension, which gives detailed information on the ramification phenomena of the extension.

Ramification groups in lower numbering

Ramification groups are a refinement of the Galois group $G$ of a finite $L / K$ Galois extension of local fields. We shall write $w, 𝒪_{L}, p$ for the valuation, the ring of integers and its maximal ideal for $L$ . As a consequence of Hensel's lemma, one can write $𝒪_{L} = 𝒪_{K} [α]$ for some $α \in L$ where $O_{K}$ is the ring of integers of $K$ .^[1] (This is stronger than the primitive element theorem.) Then, for each integer $i \geq - 1$ , we define $G_{i}$ to be the set of all $s \in G$ that satisfies the following equivalent conditions.

(i) $s$ operates trivially on $𝒪_{L} / p^{i + 1} .$
(ii) $w (s (x) - x) \geq i + 1$ for all $x \in 𝒪_{L}$
(iii) $w (s (α) - α) \geq i + 1 .$

The group $G_{i}$ is called $i$ -th ramification group. They form a decreasing filtration,

G_{- 1} = G \supset G_{0} \supset G_{1} \supset \dots {*} .

In fact, the $G_{i}$ are normal by (i) and trivial for sufficiently large $i$ by (iii). For the lowest indices, it is customary to call $G_{0}$ the inertia subgroup of $G$ because of its relation to splitting of prime ideals, while $G_{1}$ the wild inertia subgroup of $G$ . The quotient $G_{1} / G_{0}$ is called the tame quotient.

The Galois group $G$ and its subgroups $G_{i}$ are studied by employing the above filtration or, more specifically, the corresponding quotients. In particular,

$G / G_{0} = Gal (l / k),$ where $l, k$ are the (finite) residue fields of $L, K$ .^[2]
$G_{0} = 1 \Leftrightarrow L / K$ is unramified.
$G_{1} = 1 \Leftrightarrow L / K$ is tamely ramified (i.e., the ramification index is prime to the residue characteristic.)

The study of ramification groups reduces to the totally ramified case since one has $G_{i} = (G_{0})_{i}$ for $i \geq 0$ .

One also defines the function $i_{G} (s) = w (s (α) - α), s \in G$ . (ii) in the above shows $i_{G}$ is independent of choice of $α$ and, moreover, the study of the filtration $G_{i}$ is essentially equivalent to that of $i_{G}$ .^[3] $i_{G}$ satisfies the following: for $s, t \in G$ ,

Fix a uniformizer $π$ of $L$ . $s \mapsto s (π) / π$ then induces the injection $G_{i} / G_{i + 1} \to U_{L, i} / U_{L, i + 1}, i \geq 0$ where $U_{L, 0} = 𝒪_{L}^{\times}, U_{L, i} = 1 + p^{i}$ . (The map actually does not depend on the choice of the uniformizer.^[4]) It follows from this^[5]

$G_{0} / G_{1}$ is cyclic of order prime to $p$
$G_{i} / G_{i + 1}$ is a product of cyclic groups of order $p$ .

In particular, $G_{1}$ is a p-group and $G$ is solvable.

The ramification groups can be used to compute the different $D_{L / K}$ of the extension $L / K$ and that of subextensions:^[6]

w (D_{L / K}) = \sum_{s \neq 1} i_{G} (s) = \sum_{0}^{\infty} (| G_{i} | - 1) .

If $H$ is a normal subgroup of $G$ , then, for $σ \in G$ , $i_{G / H} (σ) = \frac{1}{e_{L / K}} \sum_{s \mapsto σ} i_{G} (s)$ .^[7]

Combining this with the above one obtains: for a subextension $F / K$ corresponding to $H$ ,

v_{F} (D_{F / K}) = \frac{1}{e_{L / F}} \sum_{s \in̸ H} i_{G} (s) .

If $s \in G_{i}, t \in G_{j}, i, j \geq 1$ , then $s t s^{- 1} t^{- 1} \in G_{i + j + 1}$ .^[8] In the terminology of Lazard, this can be understood to mean the Lie algebra $gr (G_{1}) = \sum_{i \geq 1} G_{i} / G_{i + 1}$ is abelian.

Example

Let K be generated by x₁= $\sqrt{2 + \sqrt{2}}$ . The conjugates of x₁ are x₂= $\sqrt{2 - \sqrt{2}}$ , x₃= - x₁, x₄= - x₂.

A little computation shows that the quotient of any two of these is a unit. Hence they all generate the same ideal; call it Potter or Ceramic Artist Harry Rave from Cobden, spends time with hobbies for instance magic, property developers house in singapore singapore and fitness. Finds inspiration through travel and just spent 7 months at Keoladeo National Park.. $\sqrt{2}$ generates Potter or Ceramic Artist Harry Rave from Cobden, spends time with hobbies for instance magic, property developers house in singapore singapore and fitness. Finds inspiration through travel and just spent 7 months at Keoladeo National Park.²; (2)=Potter or Ceramic Artist Harry Rave from Cobden, spends time with hobbies for instance magic, property developers house in singapore singapore and fitness. Finds inspiration through travel and just spent 7 months at Keoladeo National Park.⁴.

Now x₁-x₃=2x₁, which is in Potter or Ceramic Artist Harry Rave from Cobden, spends time with hobbies for instance magic, property developers house in singapore singapore and fitness. Finds inspiration through travel and just spent 7 months at Keoladeo National Park.⁵.

and x₁-x₂= $\sqrt{4 - 2 \sqrt{2}}$ , which is in Potter or Ceramic Artist Harry Rave from Cobden, spends time with hobbies for instance magic, property developers house in singapore singapore and fitness. Finds inspiration through travel and just spent 7 months at Keoladeo National Park.³.

Various methods show that the Galois group of K is $C_{4}$ , cyclic of order 4. Also:

$G_{0}$ = $G_{1}$ = $G_{2}$ = $C_{4}$ .

and $G_{3}$ = $G_{4}$ =(13)(24).

$w (D_{K / Q})$ = 3+3+3+1+1 = 11. so that the different $D_{K / Q}$ =Potter or Ceramic Artist Harry Rave from Cobden, spends time with hobbies for instance magic, property developers house in singapore singapore and fitness. Finds inspiration through travel and just spent 7 months at Keoladeo National Park.¹¹.

x₁ satisfies x⁴-4x²+2, which has discriminant 2048=2¹¹.

Ramification groups in upper numbering

If $u$ is a real number $\geq - 1$ , let $G_{u}$ denote $G_{i}$ where i the least integer $\geq u$ . In other words, $s \in G_{u} \Leftrightarrow i_{G} (s) \geq u + 1 .$ Define $ϕ$ by^[9]

ϕ (u) = \int_{0}^{u} \frac{d t}{(G_{0} : G_{t})}

where, by convention, $(G_{0} : G_{t})$ is equal to $(G_{- 1} : G_{0})^{- 1}$ if $t = - 1$ and is equal to $1$ for $- 1 < t \leq 0$ .^[10] Then $ϕ (u) = u$ for $- 1 \leq u \leq 0$ . It is immediate that $ϕ$ is continuous and strictly increasing, and thus has the continuous inverse function $ψ$ defined on $[- 1, \infty)$ . Define $G^{v} = G_{ψ (v)}$ . $G^{v}$ is then called the v-th ramification group in upper numbering. In other words, $G^{ϕ (u)} = G_{u}$ . Note $G^{- 1} = G, G^{0} = G_{0}$ . The upper numbering is defined so as to be compatible with passage to quotients:^[11] if $H$ is normal in $G$ , then

(G / H)^{v} = G^{v} H / H

for all

v

(whereas lower numbering is compatible with passage to subgroups.)

Herbrand's theorem states that the ramification groups in the lower numbering satisfy $G_{u} H / H = (G / H)_{v}$ (for $v = ϕ_{L / F} (u)$ where $L / F$ is the subextension corresponding to $H$ ), and that the ramification groups in the upper numbering satisfy $G^{u} H / H = (G / H)^{u}$ .^[12]^[13] This allows one to define ramification groups in the upper numbering for infinite Galois extensions (such as the absolute Galois group of a local field) from the inverse system of ramification groups for finite subextensions.

The upper numbering for an abelian extension is important because of the Hasse–Arf theorem. It states that if $G$ is abelian, then the jumps in the filtration $G^{v}$ are integers; i.e., $G_{i} = G_{i + 1}$ whenever $ϕ (i)$ is not an integer.^[14]

The upper numbering is compatible with the filtration of the norm residue group by the unit groups under the Artin isomorphism. The image of $G^{n} (L / K)$ under the isomorphism

G (L / K)^{a b} \leftrightarrow K^{*} / N_{L / K} (L^{*})

is just^[15]

U_{K}^{n} / (U_{K}^{n} \cap N_{L / K} (L^{*})) .

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

B. Conrad, Math 248A. Higher ramification groups
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
Template:Neukirch ANT
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

↑ Neukirch (1999) p.178
↑ since $G / G_{0}$ is canonically isomorphic to the decomposition group.
↑ Serre (1979) p.62
↑ Conrad
↑ Use $U_{L, 0} / U_{L, 1} ≃ l^{\times}$ and $U_{L, i} / U_{L, i + 1} \approx l^{+}$
↑ Serre (1979) 4.1 Prop.4, p.64
↑ Serre (1979) 4.1. Prop.3, p.63
↑ Serre (1979) 4.2. Proposition 10.
↑ Serre (1967) p.156
↑ Neukirch (1999) p.179
↑ Serre (1967) p.155
↑ Neukirch (1999) p.180
↑ Serre (1979) p.75
↑ Neukirch (1999) p.355
↑ Snaith (1994) pp.30-31

[N178-1] Neukirch (1999) p.178

[2] since $G / G_{0}$ is canonically isomorphic to the decomposition group.

[S7962-3] Serre (1979) p.62

[4] Conrad

[5] Use $U_{L, 0} / U_{L, 1} ≃ l^{\times}$ and $U_{L, i} / U_{L, i + 1} \approx l^{+}$

[S64-6] Serre (1979) 4.1 Prop.4, p.64

[S63-7] Serre (1979) 4.1. Prop.3, p.63

[8] Serre (1979) 4.2. Proposition 10.

[S67156-9] Serre (1967) p.156

[N179-10] Neukirch (1999) p.179

[S67155-11] Serre (1967) p.155

[N180-12] Neukirch (1999) p.180

[S75-13] Serre (1979) p.75

[N355-14] Neukirch (1999) p.355

[Sn3031-15] Snaith (1994) pp.30-31

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

Benjamin Gompertz

Contents

Ramification groups in lower numbering

Example

Ramification groups in upper numbering

Notes

See also

References

Navigation menu

Benjamin Gompertz

Ramification groups in lower numbering

Example

Ramification groups in upper numbering

Notes

See also

References

Navigation menu

Search