24 votos

¿Por qué hay "no análogo de $2\pi$ en $\mathbf C_p$"?

En su papel Fonctions L p-adiques, Pierre Colmez dice:

Tate un montré qu'il n'existait pas dans $\mathbf C_p$ d'analogue $p$-adique de $2 \pi$ et donc par conséquent que les périodes $p$-adiques des variétés algébriques ne pouvaient pas vivre dans $\mathbf C_p$.

(Tate mostró que no existe en $\mathbf C_p$ un $p$-ádico analógica de $2\pi$, por lo que el $p$-ádico períodos de variedades algebraicas no puede vivir en $\mathbf C_p$.)

Él explica, además, que esta constatación llevó Fontaine para la construcción de su complicada " anillos de períodos. Él nos da, como referencia para la citada reclamación, Tate papel p-divisible entre grupos. Sin embargo, nada de lo que he leído en la Tate papel parece inmediatamente justificar esta sorprendente afirmación. He leído un poco acerca de la Fontaine de los anillos y yo tengo una idea del papel que juegan en el estudio de $p$-ádico de las representaciones, pero no estoy muy seguro de cómo expresar formalmente "que no existe en $\mathbf C_p$ un $p$-ádico analógica de $2\pi$".

Mi sensación es que él está pensando en períodos en las curvas, donde la formal residuo teorema de Serre-Tate nos permite describir explícitamente de Riemann-Roch-de Poincaré dualidad en términos de una integración formal de vinculación. Más de $\mathbf C$, esta vinculación se puede calcular analíticamente de Cauchy del Teorema de los Residuos, pero se requiere de "división por $2 \pi$"... y de alguna manera, nosotros no podemos imitar este dentro de $\mathbf C_p$? esto es correcto? si es así, ¿por qué no podemos imitar?

Yo daría la bienvenida a cualquier aclaración o explicación acerca de este asunto. Gracias!

Edit: Este usuario comentario en el post del blog vinculado a través de anon, parece sugerir que mi corazonada es correcta. Entonces, ¿cómo podemos justificar esta afirmación, y obtener una buena idea de la necesidad de la Fontaine de los anillos? Y, ¿cómo es esto relativa a la Tate de papel?

15voto

YequalsX Puntos 320

Creo que Colmez se refiere al hecho de que $H^0\bigl(G_{\mathbb Q_p},\mathbb C_p(1)\bigr) = 0.$

Cualquier invariante sería un $p$-ádico período de el cyclotomic carácter; pero como la galería Tate, mostraron, este espacio de invariantes se desvanece, y así el $p$-ádico cyclotomic personaje no tiene un período en $\mathbb C_p$; uno tiene que ir a $B_{\mathrm{dR}}$ para obtener un período (el famoso elemento $t$ de Fontaine).

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