grupo de ramificación

Filtración del grupo Galois de una extensión de campo local.

En teoría de números , más específicamente en teoría de campos de clases locales , los grupos de ramificación son una filtración del grupo de Galois de una extensión de campo local , que da información detallada sobre los fenómenos de ramificación de la extensión.

Teoría de la ramificación de las valoraciones.

En matemáticas , la teoría de la ramificación de las valoraciones estudia el conjunto de extensiones de una valoración v de un campo K a una extensión L de K. Es una generalización de la teoría de la ramificación de los dominios de Dedekind. ^{[1] [2]}

La estructura del conjunto de extensiones se conoce mejor cuando L / K es Galois .

Grupo de descomposición y grupo de inercia.

Sea ( K , v  ) un campo valorado y sea L una extensión finita de Galois de K. Sea S _v el conjunto de clases de equivalencia de extensiones de v a L y sea G el grupo de Galois de L sobre K . Entonces G actúa sobre S _v mediante σ[ w ] = [ w  ∘ σ] (es decir, w es un representante de la clase de equivalencia [ w ] ∈  S _v y [ w ] se envía a la clase de equivalencia de la composición de w con el automorfismo σ : L → L ; esto es independiente de la elección de w en [ w ]). De hecho, esta acción es transitiva .

Dada una extensión fija w de v a L , el grupo de descomposición de w es el subgrupo estabilizador G _w de [ w ], es decir, es el subgrupo de G que consta de todos los elementos que fijan la clase de equivalencia [ w ] ∈  S _v .

Sea m _w el ideal máximo de w dentro del anillo de valoración R _w de w . El grupo de inercia de w es el subgrupo I _w de G _w que consta de elementos σ tales que σ x  ≡  x  (mod  m _w ) para todo x en R _w . En otras palabras, I _w consta de los elementos del grupo de descomposición que actúan trivialmente sobre el campo residual de w . Es un subgrupo normal de G _w .

El índice de ramificación reducido e ( w / v ) es independiente de w y se denota e ( v ). De manera similar, el grado relativo f ( w / v ) también es independiente de w y se denota f ( v ).

Grupos de ramificación en numeración inferior.

Los grupos de ramificación son un refinamiento del grupo de Galois de una extensión finita de Galois de campos locales . Escribiremos para la valoración, el anillo de números enteros y su máximo ideal para . Como consecuencia del lema de Hensel , se puede escribir para algunos dónde está el anillo de números enteros de . ^[3] (Esto es más fuerte que el teorema del elemento primitivo ). Luego, para cada número entero , definimos como el conjunto de todos los que satisfacen las siguientes condiciones equivalentes. ${\displaystyle G}$ ${\displaystyle L/K}$ ${\displaystyle w,{\mathcal {O}}_{L},{\mathfrak {p}}}$ ${\displaystyle L}$ ${\displaystyle {\mathcal {O}}_{L}={\mathcal {O}}_{K}[\alpha ]}$ ${\displaystyle \alpha \in L}$ ${\displaystyle {\mathcal {O}}_{K}}$ ${\displaystyle K}$ ${\displaystyle i\geq -1}$ ${\displaystyle G_{i}}$ ${\displaystyle s\in G}$

• (i) opera trivialmente en ${\displaystyle s}$ ${\displaystyle {\mathcal {O}}_{L}/{\mathfrak {p}}^{i+1}.}$
• (ii) para todos ${\displaystyle w(s(x)-x)\geq i+1}$ ${\displaystyle x\in {\mathcal {O}}_{L}}$
• (iii) ${\displaystyle w(s(\alpha )-\alpha )\geq i+1.}$

El grupo se llama -ésimo grupo de ramificación . Forman una filtración decreciente , ${\displaystyle G_{i}}$ ${\displaystyle i}$

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

De hecho, son normales según (i) y triviales si son suficientemente grandes según (iii). Para los índices más bajos, se acostumbra llamar al subgrupo de inercia de debido a su relación con la división de ideales primos , mientras que al subgrupo de inercia salvaje de . El cociente se llama cociente manso. ${\displaystyle G_{i}}$ ${\displaystyle i}$ ${\displaystyle G_{0}}$ ${\displaystyle G}$ ${\displaystyle G_{1}}$ ${\displaystyle G}$ ${\displaystyle G_{0}/G_{1}}$

El grupo de Galois y sus subgrupos se estudian empleando la filtración anterior o, más específicamente, los cocientes correspondientes. En particular, ${\displaystyle G}$ ${\displaystyle G_{i}}$

• ${\displaystyle G/G_{0}=\operatorname {Gal} (l/k),}$¿ Dónde están los campos de residuos (finitos) de ? ^[4] ${\displaystyle l,k}$ ${\displaystyle L,K}$
• ${\displaystyle G_{0}=1\Leftrightarrow L/K}$no está ramificado .
• ${\displaystyle G_{1}=1\Leftrightarrow L/K}$está levemente ramificado (es decir, el índice de ramificación es primo con respecto a la característica del residuo).

El estudio de grupos de ramificación se reduce al caso totalmente ramificado como se tiene para . ${\displaystyle G_{i}=(G_{0})_{i}}$ ${\displaystyle i\geq 0}$

También se define la función . (ii) en lo anterior es independiente de la elección de y, además, el estudio de la filtración es esencialmente equivalente al de . ^[5] satisface lo siguiente: para , ${\displaystyle i_{G}(s)=w(s(\alpha )-\alpha ),s\in G}$ ${\displaystyle i_{G}}$ ${\displaystyle \alpha }$ ${\displaystyle G_{i}}$ ${\displaystyle i_{G}}$ ${\displaystyle i_{G}}$ ${\displaystyle s,t\in G}$

• ${\displaystyle i_{G}(s)\geq i+1\Leftrightarrow s\in G_{i}.}$
• ${\displaystyle i_{G}(tst^{-1})=i_{G}(s).}$
• ${\displaystyle i_{G}(st)\geq \min\{i_{G}(s),i_{G}(t)\}.}$

Arreglar un uniformizador de . Luego induce la inyección donde . (El mapa en realidad no depende de la elección del uniformizador. ^[6] ) De esto se deduce ^[7] ${\displaystyle \pi }$ ${\displaystyle L}$ ${\displaystyle s\mapsto s(\pi )/\pi }$ ${\displaystyle G_{i}/G_{i+1}\to U_{L,i}/U_{L,i+1},i\geq 0}$ ${\displaystyle U_{L,0}={\mathcal {O}}_{L}^{\times },U_{L,i}=1+{\mathfrak {p}}^{i}}$

• ${\displaystyle G_{0}/G_{1}}$es cíclico de orden primo a ${\displaystyle p}$
• ${\displaystyle G_{i}/G_{i+1}}$es un producto de grupos cíclicos de orden . ${\displaystyle p}$

En particular, es un grupo p y tiene solución . ${\displaystyle G_{1}}$ ${\displaystyle G_{0}}$

Los grupos de ramificación se pueden utilizar para calcular la diferencia entre la extensión y la subextensión: ^[8] ${\displaystyle {\mathfrak {D}}_{L/K}}$ ${\displaystyle L/K}$

${\displaystyle w({\mathfrak {D}}_{L/K})=\sum _{s\neq 1}i_{G}(s)=\sum _{i=0}^{\infty }(|G_{i}|-1).}$

Si es un subgrupo normal de , entonces, para ,. ^[9] ${\displaystyle H}$ ${\displaystyle G}$ ${\displaystyle \sigma \in G}$ ${\displaystyle i_{G/H}(\sigma )={1 \over e_{L/K}}\sum _{s\mapsto \sigma }i_{G}(s)}$

Combinando esto con lo anterior se obtiene: para una subextensión correspondiente a , ${\displaystyle F/K}$ ${\displaystyle H}$

${\displaystyle v_{F}({\mathfrak {D}}_{F/K})={1 \over e_{L/F}}\sum _{s\not \in H}i_{G}(s).}$

Si entonces . ^[10] En la terminología de Lazard , esto puede entenderse en el sentido de que el álgebra de Lie es abeliano. ${\displaystyle s\in G_{i},t\in G_{j},i,j\geq 1}$ ${\displaystyle sts^{-1}t^{-1}\in G_{i+j+1}}$ ${\displaystyle \operatorname {gr} (G_{1})=\sum _{i\geq 1}G_{i}/G_{i+1}}$

Ejemplo: la extensión ciclotómica

Los grupos de ramificación para una extensión ciclotómica , donde es una -ésima raíz primitiva de la unidad , se pueden describir explícitamente: ^[11] ${\displaystyle K_{n}:=\mathbf {Q} _{p}(\zeta )/\mathbf {Q} _{p}}$ ${\displaystyle \zeta }$ ${\displaystyle p^{n}}$

${\displaystyle G_{s}=\operatorname {Gal} (K_{n}/K_{e}),}$

donde e se elige tal que . ${\displaystyle p^{e-1}\leq s<p^{e}}$

Ejemplo: una extensión cuartica

Sea K la extensión de Q ₂ generada por . Los conjugados de son , = − , = − . ${\displaystyle x_{1}={\sqrt {2+{\sqrt {2}}\ }}}$ ${\displaystyle x_{1}}$ ${\displaystyle x_{2}={\sqrt {2-{\sqrt {2}}\ }}}$ ${\displaystyle x_{3}}$ ${\displaystyle x_{1}}$ ${\displaystyle x_{4}}$ ${\displaystyle x_{2}}$

Un pequeño cálculo muestra que el cociente de dos de estos es una unidad . De ahí que todos generen el mismo ideal; llámalo π . genera π ² ; (2)= π ⁴ . ${\displaystyle {\sqrt {2}}}$

Ahora − = 2 , que está en π ⁵ . ${\displaystyle x_{1}}$ ${\displaystyle x_{3}}$ ${\displaystyle x_{1}}$

y que está en π ³ . ${\displaystyle x_{1}-x_{2}={\sqrt {4-2{\sqrt {2}}\,\,}},}$

Varios métodos muestran que el grupo de Galois de K es cíclico de orden 4. Además: ${\displaystyle C_{4}}$

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

y ${\displaystyle G_{3}=G_{4}=(13)(24).}$

${\displaystyle w({\mathfrak {D}}_{K/Q_{2}})=3+3+3+1+1=11,}$para que los diferentes ${\displaystyle {\mathfrak {D}}_{K/Q_{2}}=\pi ^{11}}$

${\displaystyle x_{1}}$satisface X ⁴ − 4 X ² + 2, que tiene discriminante 2048 = 2 ¹¹ .

Grupos de ramificación en numeración superior

Si es un número real , denotemos donde i es el menor número entero . En otras palabras, Definir por ^[12] ${\displaystyle u}$ ${\displaystyle \geq -1}$ ${\displaystyle G_{u}}$ ${\displaystyle G_{i}}$ ${\displaystyle \geq u}$ ${\displaystyle s\in G_{u}\Leftrightarrow i_{G}(s)\geq u+1.}$ ${\displaystyle \phi }$

${\displaystyle \phi (u)=\int _{0}^{u}{dt \over (G_{0}:G_{t})}}$

donde, por convención, es igual a si y es igual a para . ^[13] Entonces para . Es inmediato, es continuo y estrictamente creciente y, por tanto, tiene la función inversa continua definida en . Definir . entonces se denomina grupo de ramificación v -ésimo en la numeración superior. En otras palabras, . Nota . La numeración superior se define de manera que sea compatible con el paso a cocientes: ^[14] si es normal en , entonces ${\displaystyle (G_{0}:G_{t})}$ ${\displaystyle (G_{-1}:G_{0})^{-1}}$ ${\displaystyle t=-1}$ ${\displaystyle 1}$ ${\displaystyle -1<t\leq 0}$ ${\displaystyle \phi (u)=u}$ ${\displaystyle -1\leq u\leq 0}$ ${\displaystyle \phi }$ ${\displaystyle \psi }$ ${\displaystyle [-1,\infty )}$ ${\displaystyle G^{v}=G_{\psi (v)}}$ ${\displaystyle G^{v}}$ ${\displaystyle G^{\phi (u)}=G_{u}}$ ${\displaystyle G^{-1}=G,G^{0}=G_{0}}$ ${\displaystyle H}$ ${\displaystyle G}$

${\displaystyle (G/H)^{v}=G^{v}H/H}$para todos ${\displaystyle v}$

(mientras que una numeración más baja es compatible con el paso a subgrupos).

teorema de herbrand

El teorema de Herbrand establece que los grupos de ramificación en la numeración inferior satisfacen (para dónde está la subextensión correspondiente a ), y que los grupos de ramificación en la numeración superior satisfacen . ^{[15] [16]} Esto permite definir grupos de ramificación en la numeración superior para extensiones de Galois infinitas (como el grupo de Galois absoluto de un campo local) a partir del sistema inverso de grupos de ramificación para subextensiones finitas. ${\displaystyle G_{u}H/H=(G/H)_{v}}$ ${\displaystyle v=\phi _{L/F}(u)}$ ${\displaystyle L/F}$ ${\displaystyle H}$ ${\displaystyle G^{u}H/H=(G/H)^{u}}$

La numeración superior de una extensión abeliana es importante debido al teorema de Hasse-Arf . Afirma que si es abeliano, entonces los saltos en la filtración son números enteros; es decir, siempre que no sea un número entero. ^[17] ${\displaystyle G}$ ${\displaystyle G^{v}}$ ${\displaystyle G_{i}=G_{i+1}}$ ${\displaystyle \phi (i)}$

La numeración superior es compatible con la filtración del grupo de residuos norma por los grupos unitarios bajo el isomorfismo de Artin . La imagen de bajo el isomorfismo. ${\displaystyle G^{n}(L/K)}$

${\displaystyle G(L/K)^{\mathrm {ab} }\leftrightarrow K^{*}/N_{L/K}(L^{*})}$

es solo ^[18]

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

Ver también

• Extensiones finitas de campos locales.

Notas

1. Fröhlich, A .; Taylor, MJ (1991). Teoría algebraica de números . Estudios de Cambridge en matemáticas avanzadas. vol. 27. Prensa de la Universidad de Cambridge . ISBN 0-521-36664-X. Zbl  0744.11001.
2. Zariski, Óscar ; Samuel, Pierre (1976) [1960]. Álgebra conmutativa, Volumen II . Textos de Posgrado en Matemáticas . vol. 29. Nueva York, Heidelberg: Springer-Verlag. Capítulo VI. ISBN 978-0-387-90171-8. Zbl  0322.13001.
3. Neukirch (1999) p.178
4. ya que es canónicamente isomorfo al grupo de descomposición. ${\displaystyle G/G_{0}}$
5. Serre (1979) p.62
6. Conrado
7. Uso y ${\displaystyle U_{L,0}/U_{L,1}\simeq l^{\times }}$ ${\displaystyle U_{L,i}/U_{L,i+1}\approx l^{+}}$
8. Serre (1979) 4.1 Proposición 4, p.64
9. Serré (1979) 4.1. Proposición 3, pág.63
10. Serré (1979) 4.2. Proposición 10.
11. Serre, Cuerpos locos . Cap. IV, §4, Proposición 18
12. Serre (1967) p.156
13. Neukirch (1999) p.179
14. Serre (1967) p.155
15. Neukirch (1999) p.180
16. Serre (1979) p.75
17. Neukirch (1999) p.355
18. Snaith (1994) págs.30-31

Referencias

• B. Conrad, Matemáticas 248A. Grupos de ramificación superior
• Fröhlich, A .; Taylor, MJ (1991). Teoría algebraica de números . Estudios de Cambridge en matemáticas avanzadas. vol. 27. Prensa de la Universidad de Cambridge . ISBN 0-521-36664-X. Zbl  0744.11001.
• Neukirch, Jürgen (1999). Algebraische Zahlentheorie . Grundlehren der mathematischen Wissenschaften . vol. 322. Berlín: Springer-Verlag . ISBN 978-3-540-65399-8. SEÑOR  1697859. Zbl  0956.11021.
• Serre, Jean-Pierre (1967). "VI. Teoría de campos de clases locales". En Cassels, JWS ; Fröhlich, A. (eds.). Teoría algebraica de números. Actas de una conferencia de instrucción organizada por la Sociedad Matemática de Londres (un Instituto de Estudios Avanzados de la OTAN) con el apoyo de la Unión Matemática Internacional . Londres: Academic Press. págs. 128-161. Zbl  0153.07403.
• Serre, Jean-Pierre (1979). Campos locales . Textos de Posgrado en Matemáticas. vol. 67. Traducido por Greenberg, Marvin Jay . Berlín, Nueva York: Springer-Verlag . ISBN 0-387-90424-7. SEÑOR  0554237. Zbl  0423.12016.
• Snaith, Víctor P. (1994). Estructura del módulo Galois . Monografías del Instituto Fields. Providence, RI: Sociedad Estadounidense de Matemáticas . ISBN 0-8218-0264-X. Zbl  0830.11042.