The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

15.98 Galois extensions and ramification

In the case of Galois extensions, we can elaborate on the discussion in Section 15.97.

Lemma 15.98.1. Let $A$ be a discrete valuation ring with fraction field $K$. Let $L/K$ be a finite Galois extension with Galois group $G$. Then $G$ acts on the ring $B$ of Remark 15.97.6 and acts transitively on the set of maximal ideals of $B$.

Proof. Observe that $A = B^ G$ as $A$ is integrally closed in $K$ and $K = L^ G$. Hence this lemma is a special case of Lemma 15.96.5. $\square$

Lemma 15.98.2. Let $A$ be a discrete valuation ring with fraction field $K$. Let $L/K$ be a finite Galois extension. Then there are $e \geq 1$ and $f \geq 1$ such that $e_ i = e$ and $f_ i = f$ for all $i$ (notation as in Remark 15.97.6). In particular $[L : K] = n e f$.

Proof. Immediate consequence of Lemma 15.98.1 and the definitions. $\square$

Definition 15.98.3. Let $A$ be a discrete valuation ring with fraction field $K$. Let $L/K$ be a finite Galois extension with Galois group $G$. Let $B$ be the integral closure of $A$ in $L$. Let $\mathfrak m \subset B$ be a maximal ideal.

  1. The decomposition group of $\mathfrak m$ is the subgroup $D = \{ \sigma \in G \mid \sigma (\mathfrak m) = \mathfrak m\} $.

  2. The inertia group of $\mathfrak m$ is the kernel $I$ of the map $D \to \text{Aut}(\kappa (\mathfrak m)/\kappa _ A)$.

Note that the field $\kappa (\mathfrak m)$ may be inseparable over $\kappa _ A$. In particular the field extension $\kappa (\mathfrak m)/\kappa _ A$ need not be Galois. If $\kappa _ A$ is perfect, then it is.

Lemma 15.98.4. Let $A$ be a discrete valuation ring with fraction field $K$ and residue field $\kappa $. Let $L/K$ be a finite Galois extension with Galois group $G$. Let $B$ be the integral closure of $A$ in $L$. Let $\mathfrak m$ be a maximal ideal of $B$. Then

  1. the field extension $\kappa (\mathfrak m)/\kappa $ is normal, and

  2. $D \to \text{Aut}(\kappa (\mathfrak m)/\kappa )$ is surjective.

If for some (equivalently all) maximal ideal(s) $\mathfrak m \subset B$ the field extension $\kappa (\mathfrak m)/\kappa $ is separable, then

  1. $\kappa (\mathfrak m)/\kappa $ is Galois, and

  2. $D \to \text{Gal}(\kappa (\mathfrak m)/\kappa )$ is surjective.

Here $D \subset G$ is the decomposition group of $\mathfrak m$.

Proof. Observe that $A = B^ G$ as $A$ is integrally closed in $K$ and $K = L^ G$. Thus parts (1) and (2) follow from Lemma 15.96.6. The “equivalently all” part of the lemma follows from Lemma 15.98.1. Assume $\kappa (\mathfrak m)/\kappa $ is separable. Then parts (3) and (4) follow immediately from (1) and (2). $\square$

Lemma 15.98.5. Let $A$ be a discrete valuation ring with fraction field $K$. Let $L/K$ be a finite Galois extension with Galois group $G$. Let $B$ be the integral closure of $A$ in $L$. Let $\mathfrak m \subset B$ be a maximal ideal. The inertia group $I$ of $\mathfrak m$ sits in a canonical exact sequence

\[ 1 \to P \to I \to I_ t \to 1 \]

such that

  1. $P = \{ \sigma \in D \mid \sigma |_{B/\mathfrak m^2} = \text{id}_{B/\mathfrak m^2}\} $ where $D$ is the decomposition group,

  2. $P$ is a normal subgroup of $D$,

  3. $P$ is a $p$-group if the characteristic of $\kappa _ A$ is $p > 0$ and $P = \{ 1\} $ if the characteristic of $\kappa _ A$ is zero,

  4. $I_ t$ is cyclic of order the prime to $p$ part of the integer $e$, and

  5. there is a canonical isomorphism $\theta : I_ t \to \mu _ e(\kappa (\mathfrak m))$.

Here $e$ is the integer of Lemma 15.98.2.

Proof. Recall that $|G| = [L : K] = nef$, see Lemma 15.98.2. Since $G$ acts transitively on the set $\{ \mathfrak m_1, \ldots , \mathfrak m_ n\} $ of maximal ideals of $B$ (Lemma 15.98.1) and since $D$ is the stabilizer of an element we see that $|D| = ef$. By Lemma 15.98.4 we have

\[ ef = |D| = |I| \cdot |\text{Aut}(\kappa (\mathfrak m)/\kappa )| \]

where $\kappa $ is the residue field of $A$. As $\kappa (\mathfrak m)$ is normal over $\kappa $ the order of $\text{Aut}(\kappa (\mathfrak m)/\kappa )$ differs from $f$ by a power of $p$ (see Fields, Lemma 9.15.9 and discussion following Fields, Definition 9.14.7). Hence the prime to $p$ part of $|I|$ is equal to the prime to $p$ part of $e$.

Set $C = B_\mathfrak m$. Then $I$ acts on $C$ over $A$ and trivially on the residue field of $C$. Let $\pi _ A \in A$ and $\pi _ C \in C$ be uniformizers. Write $\pi _ A = u \pi _ C^ e$ for some unit $u$ in $C$. For $\sigma \in I$ write $\sigma (\pi _ C) = \theta _\sigma \pi _ C$ for some unit $\theta _\sigma $ in $C$. Then we have

\[ \pi _ A = \sigma (\pi _ A) = \sigma (u) (\theta _\sigma \pi _ C)^ e = \sigma (u) \theta _\sigma ^ e \pi _ C^ e = \frac{\sigma (u)}{u} \theta _\sigma ^ e \pi _ A \]

Since $\sigma (u) \equiv u \bmod \mathfrak m_ C$ as $\sigma \in I$ we see that the image $\overline{\theta }_\sigma $ of $\theta _\sigma $ in $\kappa _ C = \kappa (\mathfrak m)$ is an $e$th root of unity. We obtain a map

15.98.5.1
\begin{equation} \label{more-algebra-equation-inertia-character} \theta : I \longrightarrow \mu _ e(\kappa (\mathfrak m)),\quad \sigma \mapsto \overline{\theta }_\sigma \end{equation}

We claim that $\theta $ is a homomorphism of groups and independent of the choice of uniformizer $\pi _ C$. Namely, if $\tau $ is a second element of $I$, then $\tau (\sigma (\pi _ C)) = \tau (\theta _\sigma \pi _ C) = \tau (\theta _\sigma ) \theta _\tau \pi _ C$, hence $\theta _{\tau \sigma } = \tau (\theta _\sigma ) \theta _\tau $ and since $\tau \in I$ we conclude that $\overline{\theta }_{\tau \sigma } = \overline{\theta }_\sigma \overline{\theta }_\tau $. If $\pi '_ C$ is a second uniformizer, then we see that $\pi '_ C = w \pi _ C$ for some unit $w$ of $C$ and $\sigma (\pi '_ C) = w^{-1}\sigma (w)\theta _\sigma \pi '_ C$, hence $\theta '_\sigma = w^{-1}\sigma (w)\theta _\sigma $, hence $\theta '_\sigma $ and $\theta _\sigma $ map to the same element of the residue field as before.

Since $\kappa (\mathfrak m)$ has characteristic $p$, the group $\mu _ e(\kappa (\mathfrak m))$ is cyclic of order at most the prime to $p$ part of $e$ (see Fields, Section 9.17).

Let $P = \mathop{\mathrm{Ker}}(\theta )$. The elements of $P$ are exactly the elements of $D$ acting trivially on $C/\pi _ C^2C \cong B/\mathfrak m^2$. Thus (a) is true. This implies (b) as $P$ is the kernel of the map $D \to \text{Aut}(B/\mathfrak m^2)$. If we can prove (c), then parts (d) and (e) will follow as $I_ t$ will be isomorphic to $\mu _ e(\kappa (\mathfrak m))$ as the arguments above show that $|I_ t| \geq |\mu _ e(\kappa (\mathfrak m))|$.

Thus it suffices to prove that the kernel $P$ of $\theta $ is a $p$-group. Let $\sigma $ be a nontrivial element of the kernel. Then $\sigma - \text{id}$ sends $\mathfrak m_ C^ i$ into $\mathfrak m_ C^{i + 1}$ for all $i$. Let $m$ be the order of $\sigma $. Pick $c \in C$ such that $\sigma (c) \not= c$. Then $\sigma (c) - c \in \mathfrak m_ C^ i$, $\sigma (c) - c \not\in \mathfrak m_ C^{i + 1}$ for some $i$ and we have

\begin{align*} 0 & = \sigma ^ m(c) - c \\ & = \sigma ^ m(c) - \sigma ^{m - 1}(c) + \ldots + \sigma (c) - c \\ & = \sum \nolimits _{j = 0, \ldots , m - 1} \sigma ^ j(\sigma (c) - c) \\ & \equiv m(\sigma (c) - c) \bmod \mathfrak m_ C^{i + 1} \end{align*}

It follows that $p | m$ (or $m = 0$ if $p = 1$). Thus every element of the kernel of $\theta $ has order divisible by $p$, i.e., $\mathop{\mathrm{Ker}}(\theta )$ is a $p$-group. $\square$

Definition 15.98.6. With assumptions and notation as in Lemma 15.98.5.

  1. The wild inertia group of $\mathfrak m$ is the subgroup $P$.

  2. The tame inertia group of $\mathfrak m$ is the quotient $I \to I_ t$.

We denote $\theta : I \to \mu _ e(\kappa (\mathfrak m))$ the surjective map (15.98.5.1) whose kernel is $P$ and which induces the isomorphism $I_ t \to \mu _ e(\kappa (\mathfrak m))$.

Lemma 15.98.7. With assumptions and notation as in Lemma 15.98.5. The inertia character $\theta : I \to \mu _ e(\kappa (\mathfrak m))$ satisfies the following property

\[ \theta (\tau \sigma \tau ^{-1}) = \tau (\theta (\sigma )) \]

for $\tau \in D$ and $\sigma \in I$.

Proof. The formula makes sense as $I$ is a normal subgroup of $D$ and as $\tau $ acts on $\kappa (\mathfrak m)$ via the map $D \to \text{Aut}(\kappa (\mathfrak m))$ discussed in Lemma 15.98.4 for example. Recall the construction of $\theta $. Choose a uniformizer $\pi $ of $B_\mathfrak m$ and for $\sigma \in I$ write $\sigma (\pi ) = \theta _\sigma \pi $. Then $\theta (\sigma )$ is the image $\overline{\theta }_\sigma $ of $\theta _\sigma $ in the residue field. For any $\tau \in D$ we can write $\tau (\pi ) = \theta _\tau \pi $ for some unit $\theta _\tau $. Then $\theta _{\tau ^{-1}} = \tau ^{-1}(\theta _\tau ^{-1})$. We compute

\begin{align*} \theta _{\tau \sigma \tau ^{-1}} & = \tau (\sigma (\tau ^{-1}(\pi )))/\pi \\ & = \tau (\sigma (\tau ^{-1}(\theta _\tau ^{-1}) \pi ))/\pi \\ & = \tau (\sigma (\tau ^{-1}(\theta _\tau ^{-1})) \theta _\sigma \pi )/\pi \\ & = \tau (\sigma (\tau ^{-1}(\theta _\tau ^{-1}))) \tau (\theta _\sigma ) \theta _\tau \end{align*}

However, since $\sigma $ acts trivially modulo $\pi $ we see that the product $\tau (\sigma (\tau ^{-1}(\theta _\tau ^{-1}))) \theta _\tau $ maps to $1$ in the residue field. This proves the lemma. $\square$

We will generalize the following lemma in Fundamental Groups, Lemma 53.12.5.

Lemma 15.98.8. Let $A$ be a discrete valuation ring with fraction field $K$. Let $L/K$ be a finite Galois extension. Let $\mathfrak m \subset B$ be a maximal ideal of the integral closure of $A$ in $L$. Let $I \subset G$ be the inertia group of $\mathfrak m$. Then $B^ I$ is the integral closure of $A$ in $L^ I$ and $A \to (B^ I)_{B^ I \cap \mathfrak m}$ is étale.

Proof. Write $B' = B^ I$. It follows from the definitions that $B' = B^ I$ is the integral closure of $A$ in $L^ I$. Write $\mathfrak m' = B^ I \cap \mathfrak m = B' \cap \mathfrak m \subset B'$. By Lemma 15.96.5 the maximal ideal $\mathfrak m$ is the unique prime ideal of $B$ lying over $\mathfrak m'$. As $I$ acts trivially on $\kappa (\mathfrak m)$ we see from Lemma 15.96.2 that the extension $\kappa (\mathfrak m)/\kappa (\mathfrak m')$ is purely inseparable (perhaps an easier alternative is to apply the result of Lemma 15.96.6). Since $D/I$ acts faithfully on $\kappa (\mathfrak m')$, we conclude that $D/I$ acts faithfully on $\kappa (\mathfrak m)$. Of course the elements of the residue field $\kappa $ of $A$ are fixed by this action. By Galois theory we see that $[\kappa (\mathfrak m') : \kappa ] \geq |D/I|$, see Fields, Lemma 9.21.6.

Let $\pi $ be the uniformizer of $A$. Since $\text{Norm}_{L/K}(\pi ) = \pi ^{[L : K]}$ we see from Algebra, Lemma 10.120.8 that

\[ |G| = [L : K] = [L : K]\ \text{ord}_ A(\pi ) = |G/D|\ [\kappa (\mathfrak m) : \kappa ]\ \text{ord}_{B_\mathfrak m}(\pi ) \]

as there are $n = |G/D|$ maximal ideals of $B$ which are all conjugate under $G$, see Remark 15.97.6 and Lemma 15.98.1. Applying the same reasoning to the finite extension the finite extension $L/L^ I$ of degree $|I|$ we find

\[ |I|\ \text{ord}_{B'_{\mathfrak m'}}(\pi ) = [\kappa (\mathfrak m) : \kappa (\mathfrak m')]\ \text{ord}_{B_\mathfrak m}(\pi ) \]

We conclude that

\[ \text{ord}_{B'_{\mathfrak m'}}(\pi ) = \frac{|D/I|}{[\kappa (\mathfrak m') : \kappa ]} \]

Since the left hand side is a positive integer and since the right hand side is $\leq 1$ by the above, we conclude that we have equality, $\text{ord}_{B'_{\mathfrak m'}}(\pi ) = 1$ and $\kappa (\mathfrak m')/\kappa $ has degree $|D/I|$. Thus $\pi B'_{\mathfrak m'} = \mathfrak m' B_\mathfrak m'$ and $\kappa (\mathfrak m')$ is Galois over $\kappa $ with Galois group $D/I$, in particular separable, see Fields, Lemma 9.21.2. By Algebra, Lemma 10.141.7 we find that $A \to B'_{\mathfrak m'}$ is étale as desired. $\square$

Remark 15.98.9. Let $A$ be a discrete valuation ring with fraction field $K$. Let $L/K$ be a finite Galois extension. Let $\mathfrak m \subset B$ be a maximal ideal of the integral closure of $A$ in $L$. Let

\[ P \subset I \subset D \subset G \]

be the wild inertia, inertia, decomposition group of $\mathfrak m$. Consider the diagram

\[ \xymatrix{ \mathfrak m \ar@{-}[d] \ar@{-}[r] & \mathfrak m^ P \ar@{-}[d] \ar@{-}[r] & \mathfrak m^ I \ar@{-}[d] \ar@{-}[r] & \mathfrak m^ D \ar@{-}[d] \ar@{-}[r] & A \cap \mathfrak m \ar@{-}[d] \\ B & B^ P \ar[l] & B^ I \ar[l] & B^ D \ar[l] & A \ar[l] } \]

Observe that $B^ P, B^ I, B^ D$ are the integral closures of $A$ in the fields $L^ P$, $L^ I$, $L^ D$. Thus we also see that $B^ P$ is the integral closure of $B^ I$ in $L^ P$ and so on. Observe that $\mathfrak m^ P = \mathfrak m \cap B^ P$, $\mathfrak m^ I = \mathfrak m \cap B^ I$, and $\mathfrak m^ D = \mathfrak m \cap B^ D$. Hence the top line of the diagram corresponds to the images of $\mathfrak m \in \mathop{\mathrm{Spec}}(B)$ under the induced maps of spectra. Having said all of this we have the following

  1. the extension $L^ I/L^ D$ is Galois with group $D/I$,

  2. the extension $L^ P/L^ I$ is Galois with group $I_ t = I/P$,

  3. the extension $L^ P/L^ D$ is Galois with group $D/P$,

  4. $\mathfrak m^ I$ is the unique prime of $B^ I$ lying over $\mathfrak m^ D$,

  5. $\mathfrak m^ P$ is the unique prime of $B^ P$ lying over $\mathfrak m^ I$,

  6. $\mathfrak m$ is the unique prime of $B$ lying over $\mathfrak m^ P$,

  7. $\mathfrak m^ P$ is the unique prime of $B^ P$ lying over $\mathfrak m^ D$,

  8. $\mathfrak m$ is the unique prime of $B$ lying over $\mathfrak m^ I$,

  9. $\mathfrak m$ is the unique prime of $B$ lying over $\mathfrak m^ D$,

  10. $A \to B^ D_{\mathfrak m^ D}$ is étale and induces a trivial residue field extension,

  11. $B^ D_{\mathfrak m^ D} \to B^ I_{\mathfrak m^ I}$ is étale and induces a Galois extension of residue fields with Galois group $D/I$,

  12. $A \to B^ I_{\mathfrak m^ I}$ is étale,

  13. $B^ I_{\mathfrak m^ I} \to B^ P_{\mathfrak m^ P}$ has ramification index $|I/P|$ prime to $p$ and induces a trivial residue field extension,

  14. $B^ D_{\mathfrak m^ D} \to B^ P_{\mathfrak m^ P}$ has ramification index $|I/P|$ prime to $p$ and induces a separable residue field extension,

  15. $A \to B^ P_{\mathfrak m^ P}$ has ramification index $|I/P|$ prime to $p$ and induces a separable residue field extension.

Statements (1), (2), and (3) are immediate from Galois theory (Fields, Section 9.21) and Lemma 15.98.5. Statements (4) – (9) are clear from Lemma 15.98.1. Part (12) is Lemma 15.98.8. Since we have the factorization $A \to B^ D_{\mathfrak m^ D} \to B^ I_{\mathfrak m^ I}$ we obtain the étaleness in (10) and (11) as a consequence. The residue field extension in (10) must be trivial because it is separable and $D/I$ maps onto $\text{Aut}(\kappa (\mathfrak m)/\kappa _ A)$ as shown in Lemma 15.98.4. The same argument provides the proof of the statement on residue fields in (11). To see (13), (14), and (15) it suffices to prove (13). By the above, the extension $L^ P/L^ I$ is Galois with a cyclic Galois group of order prime to $p$, the prime $\mathfrak m^ P$ is the unique prime lying over $\mathfrak m^ I$ and the action of $I/P$ on the residue field is trivial. Thus we can apply Lemma 15.98.5 to this extension and the discrete valuation ring $B^ I_{\mathfrak m^ I}$ to see that (13) holds.

Lemma 15.98.10. Let $A$ be a discrete valuation ring with fraction field $K$. Let $M/L/K$ be a tower with $M/K$ and $L/K$ finite Galois. Let $C$, $B$ be the integral closure of $A$ in $M$, $L$. Let $\mathfrak m' \subset C$ be a maximal ideal and set $\mathfrak m = \mathfrak m' \cap B$. Let

\[ P \subset I \subset D \subset \text{Gal}(L/K) \quad \text{and}\quad P' \subset I' \subset D' \subset \text{Gal}(M/K) \]

be the wild inertia, inertia, decomposition group of $\mathfrak m$ and $\mathfrak m'$. Then the canonical surjection $\text{Gal}(M/K) \to \text{Gal}(L/K)$ induces surjections $P' \to P$, $I' \to I$, and $D' \to D$. Moreover these fit into commutative diagrams

\[ \vcenter { \xymatrix{ D' \ar[r] \ar[d] & \text{Aut}(\kappa (\mathfrak m')/\kappa _ A) \ar[d] \\ D \ar[r] & \text{Aut}(\kappa (\mathfrak m)/\kappa _ A) } } \quad \text{and}\quad \vcenter { \xymatrix{ I' \ar[r]_-{\theta '} \ar[d] & \mu _{e'}(\kappa (\mathfrak m')) \ar[d]^{(-)^{e'/e}} \\ I \ar[r]^-\theta & \mu _ e(\kappa (\mathfrak m)) } } \]

where $e'$ and $e$ are the ramification indices of $A \to C_{\mathfrak m'}$ and $A \to B_\mathfrak m$.

Proof. The fact that under the map $\text{Gal}(M/K) \to \text{Gal}(L/K)$ the groups $P', I', D'$ map into $P, I, D$ is immediate from the definitions of these groups. The commutativity of the first diagram is clear (observe that since $\kappa (\mathfrak m)/\kappa _ A$ is normal every automorphism of $\kappa (\mathfrak m')$ over $\kappa _ A$ indeed induces an automorphism of $\kappa (\mathfrak m)$ over $\kappa _ A$ and hence we obtain the right vertical arrow in the first diagram, see Lemma 15.98.4 and Fields, Lemma 9.15.7).

The maps $I' \to I$ and $D' \to D$ are surjective by Lemma 15.96.8. The surjectivity of $P' \to P$ follows as $P'$ and $P$ are p-Sylow subgroups of $I'$ and $I$.

To see the commutativity of the second diagram we choose a uniformizer $\pi '$ of $C_{\mathfrak m'}$ and a uniformizer $\pi $ of $B_\mathfrak m$. Then $\pi = c' (\pi ')^{e'/e}$ for some unit $c'$ of $C_{\mathfrak m'}$. For $\sigma ' \in I'$ the image $\sigma \in I$ is simply the restriction of $\sigma '$ to $L$. Write $\sigma '(\pi ') = c \pi '$ for a unit $c \in C_{\mathfrak m'}$ and write $\sigma (\pi ) = b \pi $ for a unit $b$ of $B_\mathfrak m$. Then $\sigma '(\pi ) = b \pi $ and we obtain

\[ b \pi = \sigma '(\pi ) = \sigma '(c' (\pi ')^{e'/e}) = \sigma '(c') c^{e'/e} (\pi ')^{e'/e} = \frac{\sigma '(c')}{c'} c^{e'/e} \pi \]

As $\sigma ' \in I'$ we see that $b$ and $c^{e'/e}$ have the same image in the residue field which proves what we want. $\square$

Remark 15.98.11. In order to use the inertia character $\theta : I \to \mu _ e(\kappa (\mathfrak m))$ for infinite Galois extensions, it is convenient to scale it. Let $A, K, L, B, \mathfrak m, G, P, I, D, e, \theta $ be as in Lemma 15.98.5 and Definition 15.98.6. Then $e = q |I_ t|$ with $q$ is a power of the characteristic $p$ of $\kappa (\mathfrak m)$ if positive or $1$ if zero. Note that $\mu _ e(\kappa (\mathfrak m)) = \mu _{|I_ t|}(\kappa (\mathfrak m))$ because the characteristic of $\kappa (\mathfrak m)$ is $p$. Consider the map

\[ \theta _{can} = q\theta : I \longrightarrow \mu _{|I_ t|}(\kappa (\mathfrak m)) \]

This map induces an isomorphism $\theta _{can} : I_ t \to \mu _{|I_ t|}(\kappa (\mathfrak m))$. We have $\theta _{can}(\tau \sigma \tau ^{-1}) = \tau (\theta _{can}(\sigma ))$ for $\tau \in D$ and $\sigma \in I$ by Lemma 15.98.7. Finally, if $M/L$ is an extension such that $M/K$ is Galois and $\mathfrak m'$ is a prime of the integral closure of $A$ in $M$ lying over $\mathfrak m$, then we get the commutative diagram

\[ \xymatrix{ I' \ar[r]_-{\theta '_{can}} \ar[d] & \mu _{|I'_ t|}(\kappa (\mathfrak m')) \ar[d]^{(-)^{|I'_ t|/|I_ t|}} \\ I \ar[r]^-{\theta _{can}} & \mu _{|I_ t|}(\kappa (\mathfrak m)) } \]

by Lemma 15.98.10.


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 09E3. Beware of the difference between the letter 'O' and the digit '0'.