4 votos

Aplicación confusa de la reciprocidad del residuo de poder en la CFT de Milne

Hola, estoy tratando de averiguar los detalles de la prueba del Teorema 5.14 (p.246) en la CFT de Milne (ver aquí) . Espero que alguien esté familiarizado con esto. Pero permítanme esbozar la prueba y lo que no entiendo. Por favor, siéntase libre de responder a cualquiera de las preguntas a continuación.

Teorema 5.14 Dejemos que $x, y, z$ sean enteros positivos primos relativos tales que $p$ no divide $xyz$ y $x^p + y^p = z^p$ . Entonces para cada primo $q$ dividiendo $xyz$ la ecuación $q^{p-1} \equiv 1 \mod{p^2}$ se mantiene.

Prueba

Dejemos que $\zeta\in \mathbb C$ sea una primitiva $p$ -raíz de la unidad. Ahora consideramos $K = \mathbb Q[\zeta]$ y su anillo de enteros $\mathcal O_K = \mathbb Z[\zeta]$ . Tenga en cuenta que $(p) = \mathfrak p^{p-1}$ donde $\mathfrak p$ es el ideal primo generado por $\pi = 1-\zeta$ .

Sabemos que $z^p = \prod\limits_{i=0}^{p-1} (x+\zeta^i y)$ . Porque $x+\zeta^iy$ son relativamente primos por parejas, sus ideales principales son $p$ -a las potencias de los ideales en $\mathbb Z[\zeta]$ .

Esto implica que el $p$ -símbolo de residuo de potencia $\left(\frac{\alpha}{\beta}\right) = 1$ para todos $\beta \in \mathbb Z[\zeta]$ relativamente primo a $\alpha = \frac{x+\zeta y}{x+y} = 1 - \frac{y\pi}{x+y}$ con el elemento primo $\pi=1-\zeta$ . (Q1)

Configurar $\beta = q^{p-1}$ también se puede comprobar $\left(\frac{\beta}{\alpha}\right) = 1$ . (Q2)

El teorema de reciprocidad de los residuos de potencia dice $\left(\frac{\beta}{\alpha}\right)\left(\frac{\alpha}{\beta}\right) ^{-1} = (\alpha,\beta)_{\mathfrak p}$ donde $(\alpha,\beta)_{\mathfrak p}$ es el símbolo de Hilbert en $K$ ( $=\mathbb Q[\zeta]$ ).

Se puede calcular $(\alpha,\beta)_{\mathfrak p} = \zeta^{\mathrm{Tr}_{K/\mathbb Q}(\eta)}$ donde $\eta = \frac{\beta-1}{p}\frac{\alpha-1}{\pi}$ . (Q3)

De la trivialidad de los símbolos de residuo de potencia anteriores obtenemos $(\alpha,\beta)_{\mathfrak p} = 1$ o de forma equivalente $p$ divide el número entero $\mathrm{Tr}_{K/\mathbb Q}(\eta)$ .

Calculamos $\mathrm{Tr}(\frac{\alpha-1}{\pi}) = \mathrm{Tr}(-\frac{y}{x+y}) = -\frac{y}{x+y}\cdot (p-1)$ que es relativamente primo de $p$ . Por lo tanto, $\frac{\beta-1}{p} = \frac{q^{p-1}-1}{p}$ es divisible por $p$ .

Preguntas

(P1) Entiendo que $\alpha$ genera un ideal principal (fraccionario) que es un $p$ -ésima potencia de otro ideal (fraccionario). ¿Por qué esto implica $\left(\frac{\alpha}{\beta}\right) = 1$ para todos $\beta \in \mathbb Z[\zeta]$ relativamente primo a $\alpha$ ?

(P2) Claramente $\left(\frac{\beta}{\alpha}\right) = \left(\frac q\alpha\right)^{p-1} = \left(\frac q\alpha\right)^{-1} = 1 \iff \left(\frac q\alpha\right) = 1$ Pero, ¿cómo se continúa a partir de ahí?

(P3) Justo antes en la CFT de Milne en las páginas 244f (en particular la Proposición 5.12), hay una descripción de cómo calcular exactamente estos símbolos de Hilbert. Pero no puedo relacionar esa descripción con $(\alpha,\beta)_{\pi}=(\alpha,\beta)_{\mathfrak p} = \zeta^{\mathrm{Tr}_{K/\mathbb Q}(\eta)}$ .

Último comentario

La literatura que conozco son los apuntes del curso de Milne (ver aquí) El libro "Local fields" de Serre, y "Algebraic Number Theory" de Neukirch (que incluye su libro sobre teoría de campos de clases). Cualquier consejo sobre las preguntas será bienvenido, pero puedo analizar un lenguaje similar al de esos libros más rápido.

1voto

ejboy Puntos 151

P1: Hay una errata en el manuscrito: en lugar de $(\frac{\alpha}{\beta}) = 1$ debe decir $(\frac{\beta}{\alpha}) = 1$ y esto es válido por razones triviales: $(\frac{\beta}{\alpha}) = (\frac{\beta}{{\mathfrak a}^p}) = (\frac{\beta}{{\mathfrak a}})^p = 1$ .

P2: Este problema se disuelve ya que ahora hay que demostrar $(\frac{\alpha}{\beta}) = 1$ que se deduce directamente de $(\frac{\alpha}{q}) = 1$ .

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