27 votos

Grupo de Galois sobre $p$-números adic

Se puede describir explícitamente el grupo de Galois $G=\operatorname{Gal}(\overline{\mathbb Q_p}/\mathbb Q_p)$?

Solo sé que las cosas más básicas: unramified extensiones de $\mathbb Q_p$ son equivalentes a las extensiones de $\mathbb F_p$, por lo que el grupo de Galois de la unramified parte es $\hat{\mathbb Z}$, generado por el Frobenius automorphism.

Entonces tengo una domar el conocimiento de la confiando inocentemente ramificado, extensiones, dado por contigua $p^{1/n}$, $(p,n)=1$. Elementos de $G$ enviar $p^{1/n}$ a $\alpha p^{1/n}$, $\alpha^n=1$. En resumen, vi la confiando inocentemente ramificado grupo de Galois describe perfectamente como el profinite grupo con generadores $\sigma,\tau$ ($\sigma$ un ascensor de Frobenius) y relación $\sigma\tau\sigma^{-1}=\tau^p$.

Pero sé salvajemente nada sobre salvajemente ramificado, extensiones, es decir, sobre el núcleo de la proyección de $G\to\langle \sigma,\tau|\sigma\tau\sigma^{-1}=\tau^p\rangle$ (además de tal vez que es un pro-$p$ del grupo).

15voto

Bryan Roth Puntos 3592

Como usted dice, la naturaleza de la ramificación de grupo es un pro-$p$-grupo. También es topológicamente finitely generado, es decir, un cociente de la pro-$p$-realización de un grupo libre de rango finito. Por lo tanto, en teoría, podemos describir este grupo completamente por dar a las relaciones.

De hecho, este ha sido hecho! (Al menos, para $p > 2$.) El conjunto de relaciones es finito para cada una de las $p$ ( $p > 2$ ) explícitamente conocida, debido al trabajo de Jannsen y Wingberg. Este artículo de la wikipedia da referencias.

Sin embargo, al mejor de mi conocimiento (y de mi conocimiento, aquí no es el mejor), este tipo de generadores y relaciones descripción no ha sido especialmente útil. (Para estar seguro, es un buen resultado. Pasa a ser el caso que no todos los buenos resultados son especialmente útiles...) Por ejemplo, el Local de Langlands Conjetura es una profunda resultado finito-dimensional de las representaciones de la absoluta Galois grupo de $\mathbb{Q}_p$. Hasta donde yo sé (insertar más condiciones...), el conocimiento de una presentación para el grupo de Galois es absolutamente ineficiente en el establecimiento de los resultados como este.

Probablemente, M. Emerton va a venir dentro de poco y le dirá más. Eso espero...

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X