Buenas,
estoy buscando viendo la prueba de las 27 rectas y lo estoy viendo primero en la cubica de fermat:
tengo esto
Veamos que una recta L en el espacio proyectivo \(\mathbb P^3\) está dada por dos hiperplanos, que son hipersuperficies de grado1 1. Elegimos una recta L en \(\mathbb P^3\), salvo cambio de coordenadas, estos dos hiperplanos vienen dados por \[x=az+bt, y=cz+dt\]
Por tanto, la recta L está contenida en la cúbica de Fermat si y sólo si \[(az+bt)^3+(cz+dt)^3+z^3+t^3=0\] como polinomio en \(\mathbb C[z,t]\)
Desarrollando esta expresión,
\[a^3z^3+b^3t^3+3azb^2t^2+3a^2z^2bt\]
\[+ c^3z^3+d^3t^3+3czd^2t^2+3c^2z^2dt\]
\[+z^3+t^3=0\]
Deben satisfacerse las siguientes cuatro ecuaciones: \\
(1)\(a^3+c^3+1=0\)\\
(2)\(b^3+d^3+1=0\)\\
(3)\(ab^2+cd^2=0\)\\
(4)\(a^2b+c^2d=0\)\\
Si suponemos que los a,b,c,d son todos distintos de cero, entonces haciendo \((3)^2/(4)\) obtenemos \(b^3=-d^3\) lo que contradice (2). Por tanto, al menos uno de estos a,b,c,d debe ser no nulo.
Salvo cambio de coordenadas, podemos asumir que a=0 y así obtenemos que \(b^3=c^3=-1\) y a=d=0. El par (b,c) será de la forma (b,c)=(\(-w^j,-w^k\)) para 0\(\leq j\), k\(\leq 2\) donde w es la raíz cúbica primitiva de la unidad, es decir, w=\(e^{\frac{2\pi i}{3}}\). Las rectas son producto de todas las posibles permutaciones de las coordenadas:
\[x+tw^k=y+zw^j=, 0 \leq j, k\leq 2\]
\[x+zw^k=t+yw^j=, 0 \leq j, k\leq 2\]
\[x+yw^k=t+zw^j=, 0 \leq j, k\leq 2\]
¿me podrían ayudar a sacas explícitamente las 27 ecuaciones, no las veo bien
muchas gracias
