Geometr a Proyectiva Gu a del curso

Octavio P aez Osuna Departamento de Matem aticas Facultad de Ciencias, UNAM May 14, 2013

Matrices y determinantes

Una matriz cuadrada n n es un arreglo de n2 elementos de un campo F , etiquetados por dos ndices i y j , i, j = 1, . . . , n. El primer ndice denota el rengl on y el segundo la columna en la cual el elemento correspondiente es escrito. La suma de dos matrices cuadradas A = (aij ) y B = (bij ) se dene como la matriz C = (cij ) con cij := aij + bij . El producto de dos matrices cuadradas A = (aij ) y B = (bij ) se dene como la matriz C = (cij ) con
n

cij :=
k=1

aik bkj .

La matriz identidad, denotada por In , es la matriz In = (fij ) donde fij = 1 si i = j y fij = 0 si i = j . Notamos que para toda matriz n n A se tiene que In A = A In = A. El conjunto de matrices cuadradas n n con entradas en un campo junto con las operaciones suma y producto denidas arriba tiene estructura de anillo no conmutativo.

Decimos que una matriz cuadrada n n A tiene inversa si existe una matriz cuadrada n n, denotada por A1 , tal que A A1 = A1 A = In . La transpuesta de una matriz A = (aij ) es At := (aji ). Toda matriz n n A dene una transformaci on lineal TA : F n F n de la forma TA (x) = A xt . Existe una funci on, la funci on determinante, que asocia a cada matriz cuadrada A un elemento del campo F . La funci on determinante tiene las siguientes propiedades: - det(A) = det(At ); - det(A B ) = det(A) det(B ); - La matriz cuadrada A tiene inverso multiplicativo si y solo si det(A) = 0. De la Geometr a Anal tica tridimensional tenemos que: 1. La ecuaci on del plano que pasa (x1 , y1 , z1 ) tiene ecuaci on x det x0 x1 por los puntos (0, 0, 0), (x0 , y0 , z0 ) y y z y0 z0 = 0; y1 z1 (x2 , y2 , z2 ) pertenecen a un plano z0 z1 = 0; z2

2. Los puntos (x0 , y0 , z0 ), (x1 , y1 , z1 ) y por el origen si y solo si x0 y0 det x1 y1 x2 y2

Plano Af n y Plano Proyectivo

En las siguientes secciones enumeraremos algunos resultados importantes acerca de la Geometr a Proyectiva. Discusiones mas amplias de estos y otros temas se pueden consultar en [2] y en [3]. Un Plano Af n es un conjunto , cuyos elementos llamaremos puntos, y un conjunto de subconjuntos, cuyos elementos llamaremos l neas, que satisfacen los siguientes axiomas: A1 Dados dos puntos distintos P y Q, existe una y solo una l neas que contiene a P y a Q; 2

A2 Dados una l nea l y un punto P , que no pertenece a l, existe una y solo una l nea m, paralela a l y que pasa por P . Aqu decimos que dos l neas l y m son paralelas si l = m o si no tienen puntos en com un. A3 Existen tres puntos no colineales. Decimos que los puntos P1 , . . . , Pn son colineales si existe una l nea l que los contiene a todos. Ejemplo 1: El plano euclideano satisface los axiomas de un Plano Af n. Por denici on toda l nea l es paralela a si misma. Si la l nea l es paralela a la l nea m entonces la l nea m es parlela a la l nea l (esto se sigue de la denici on de lineas paralelas). Ahora bien supongamos que la l nea l es paralela a la l nea m y m es paralela a la l nea n. Queremos demostrar que l y n son parelelas. Si l = n no hay nada que demostrar. Supongamos entonces que l = n y sea P = l n. Entonces tenemos que por el punto P pasan dos l neas paralelas a m, contradiciendo A2. Entonces l m = y l es paralela a n. En el p arrafo anterior demostramos que el paralelelismo entre l neas es una relaci on de equivalencia. El axioma A1 nos dice que dos l neas distintas no pueden tener mas de un punto en com un (i.e. si l y m pasan por P y Q entonces l = m). Ejemplo 2: Un Plano Af n tiene almenos cuatro puntos: Por A3 existen tres puntos no colineales, digamos P , Q y R. Por A2 existe una l nea l que contiene a P , paralela a la l nea que contiene a Q y a R. Por A2 existe una l nea m paralela a la l nea que contiene a P y a Q que pasa por R. Si las l neas l y m fueran paralelas tendr amos que P Q||m||l||QR y entonces P Q||QR, esto es imposible. Entonces sea S = l m. El punto S no pertenece a la l nea P Q pues S esta en la l nea m la cual es distinta a P Q, S tampoco esta en la l nea QR pues S pertenece a la l nea l paralela a QR. Esto nos garantiza que S = P, Q, R. Entonces S es nuestro cuarto punto. Podemos completar nuestro plano introduciendo las l neas P R y QS . Obtenemos pues un plano que consiste de los cuatro puntos {P, Q, R, S } junto con las seis l neas {P Q, QR, RS, SQ, P R, QS }. Este conjunto de cuatro puntos y seis l neas satisfacen los axiomas de un Plano Af n.

S Q R

Considera ahora el siguiente ejemplo: Como conjunto de puntos tomamos a V = Z2 2 := {(x, y )|x, y Z2 }, o sea V = {(0, 0), (0, 1), (1, 0), (1, 1)}. Como l neas tomamos a los puntos (x, y ) de V que satisfacen una ecuaci on de la forma ax + by + c = 0, con a, b, c Z2 , (a, b, c) = (0, 0, 0). En este ejemplo hay un total de cuatro puntos y seis l neas. Demuestra que el plano obtenido es un Plano Af n. Un Plano Proyectivo P es un conjunto, cuyos elemento llamamos puntos, y un conjunto de subconjuntos, cuyos elementos llamaremos l neas, que satisface los siguientes axiomas P1 Dados dos puntos distintos P y Q, existe una y solo una l neas que contiene a P y a Q; P2 Dos l neas cualesquiera se intersectan en almenos un punto; P3 Existen tres puntos no colineales; P4 Toda l nea contiene almenos tres puntos. Un haz de l neas es el conjunto de todas las l neas por un punto dado P o el conjunto de todas las l neas paralelas a una l nea dada l. Ejemplo 3: Sea A un Plano Af n. Para cada l nea l A denotaremos por [l] al haz de l neas paralelas a l. Llamaremos a [l] punto ideal o punto al innito en la direcci on de l. Completamos A a P de la siguiente manera: Los puntos de P son los puntos de A junto con todos los puntos ideales de A. Una l nea en P es una l nea l de A junto con el punto ideal asociado [l] o la l nea al innito que consiste de todos los puntos ideales de A. Tenemos que vericar que P satisface los axiomas P1-P4: P1 Sean P, Q P . Si P y Q son puntos de A entonces existe una u nica l nea de A que los contiene. P y Q no pertenecen a la l nea al innito de P . Entonces pertenecen a una u nica l nea en P . 4

Si P A y Q = [l] entonces, por A2, podemos encontrar una l nea m en A paralela a l (i.e. m [l]) y que pasa por P . Esta es la u nica l nea de P que contiene a P y a Q. Si P y Q son puntos ideales entonces la u nica l nea que los contiene en P es la l nea al innito. P2 Si l y m son l neas ordinarias y no son paralelas entonces se intersectan en un u nico punto de A. Si l y m son paralelas entonces el punto ideal [l] = [m] pertenece a ambas en P . Si l es ordinaria y m es la l nea al innito entonces l y m se intersectan en el punto ideal [l]. P3 Si P , Q y R no son colineales en A entonces tampoco lo son en P ya que ninguno de ellos pertenece a la l nea al innito. P4 Toda l nea l en A contiene almenos dos puntos, entonces en P l contiene los puntos en A y al punto ideal [l]. Ejemplo 4: Completando el Plano Af n real (i.e. el plano euclideano) obtenemos el Plano Proyectivo real. Completando el Plano Af n de los cuatro puntos obtenemos el Plano Proyectivo de los siete puntos.
P

[PQ]=[RS] S

[PR]=[QS]

[PS]=[QR]

Ejemplo 5: Consideremos ahora al espacio euclideano tridimensional R3 . Sea O un punto de R3 . Sea P el haz de rectas por O. Las l neas de P 3 van a ser los planos en R que pasan por O. P es un Plano Proyectivo.

[0:0:1]

[1:0:1] [1:1:1]

[0:1:1]

[1:0:0]

[1:1:0]

[0:1:0]

Un caso especial del ejemplo anterior es cuando O = (0, 0, 0). En este caso, los puntos de P son las rectas por el origen y las l neas de P son los planos por el origen. Podemos describir a los puntos de P por medio de coordenadas: Una recta por el origen l (en R3 ) puede describirse usando uno de sus puntos, digamos (x1 , x2 , x3 ) = (0, 0, 0). Los dem as puntos de dicha recta son de la forma (x1 , x2 , x3 ) con R {0}. Llamemos P el punto correspondiente a l en P , entonces podemos asociarle a P las coordenadas homog eneas [x1 : x2 : x3 ]. El t ermino coordenadas homog eneas quiere decir pues que dos ternas de n umeros reales (x1 , x2 , x3 ) y (x1 , x2 , x3 ) representan al mismo punto P P si y solo si existe R tal que xi = xi para i = 1, 2, 3. En t erminos de coordenadas homog eneas, la ecuaci on de una l nea en P es de la forma ax1 + bx2 + cx3 = 0 (ecuaci on de un plano por el origen en R3 ) con (a, b, c) R3 {(0, 0, 0)}. Esto u ltimo tambien nos revela que existe una correspondencia natural entre los puntos y las l neas en P : [a : b : c] ax1 + bx2 + cx3 = 0. A esta coorespondencia se le llama el principio de dualidad del Plano Proyectivo.

Ejercicios
1. Encuentra expl citamente la ecuaci on del plano por el origen en R3 que contiene a los puntos (1, 1, 3) y (1, 3, 1). 2. Encuentra la matr z asociada a la transformaci on T que transforma la ecuaci on de la c onica xy = 1 a su forma can onica en el plano euclideano. 3. Considera el espacio vectorial Z3 3 := {(x1 , x2 , x3 )|x1 , x2 , x3 Z3 }. Cuenta 6

el n umero de subespacios de dimensi on uno y dos. Encuentra representantes para cada uno de estos subespacios. 4. Enuncia los axiomas de incidencia de la geaometr a proyectiva plana (P1, P2, P3, P4). En clase demostramos P5 Existen 4 puntos tres a tres no colineales. Demuestra que (P1, P2, P5) implican (P1, P2, P3, P4). 5. Construye expl citamente un plano af n con 16 puntos y un plano proyectivo con 21 puntos. 6. Demuestra que existe un u nico plano proyectivo con 7 puntos salvo isomorsmo. (sugerencia: utiliza la matriz de incidencia). 7. Demuestra que los puntos diagonales de un cuadr angulo completo no son colineales en el plano proyectivo real. Encuentra un plano proyectivo donde los tres puntos diagonales sean colineales. 8. Considera el polinomio en tres variables S := y 2 xz . Describe todas las soluciones a la ecuaci on S = 0 tomando en cuenta que las tres variables toman valores en Z3 . (sugerencia: primero verica que si S (x1 , x2 , x3 ) = 0 entonces S (x1 , x2 , x3 ) = 0)

Transformaciones del Plano Proyectivo

Diremos que dos Planos Proyectivos P y P son isomorfos si existe una transformaci on biyectiva T : P P que manda puntos colineales en puntos colineales. Por ejemplo, sea P el Plano Proyectivo del ejemplo 5 y sea P el Plano Proyectivo obtenido al completar el espacio euclideano tridimensional (ejemplo 4). Denimos el mapeo T : P P como sigue: T (x1 , x2 , x3 ) := (x1 /x3 , x2 /x3 ) si x3 = 0 punto ideal con pendiente m := x2 /x1 si x3 = 0

Notemos que T est a bien denida pues T (x1 , x2 , x3 ) = T (x1 , x2 , x3 ). T es sobre pues el punto (x, y ) P es imagen del punto (x, y, 1) P , y si m = entonces calculamos T (1, m, 0) y si m = entonces calculamos 7

T (0, 1, 0). Debemos vericar que T mapea puntos colineales en puntos colineales. Toda l nea l en P est a dada por una ecuaci on de la forma a1 x1 + a2 x2 + a3 x3 = 0. Supongamos primero que (a1 , a2 ) = (0, 0). Entonces los puntos con x3 = 0, es decir puntos de la forma (a2 , a1 , 0) tienen, bajo T , como imagen el punto ideal correspondiente a la pendiente m = a1 /a2 el cual es colineal a los puntos de la l nea a1 x1 + a2 x2 + a3 = 0 en P . Si (a1 , a2 ) = (0, 0), la l nea l tiene por ecuaci on x3 = 0. Todo punto de l tiene, bajo T , un punto ideal como imagen, estos forman una l nea en P . De ahora en adelante no haremos distinci on entre los planos proyectivos de los ejemplos 4 y 5. Les llamaremos simplemente el Plano Proyectivo Real. Un automorsmo de un Plano Proyectivo P es un isomorsmo T de P en P . Estudiaremos la estructura algebraica del conjunto de todos los automorsmos del Plano Proyectivo Real y del Plano Proyectivo de los siete puntos. Sea P el Plano Proyectivo Real, y sea A una matriz 3 3 con entradas en R. Supongamos que det(A) = 0 y sea TA la transformaci on denidad por A, es decir: TA : P P [x1 : x2 : x3 ] A (x1 , x2 , x3 ). Notamos primero que TA tiene inversa (pues det(A) = 0) por lo que es una transformaci on biyectiva. Tambien si reemplazamos [x1 : x2 : x3 ] por [x1 : x2 : x3 ] obtenemos el mismo punto (en este caso TA ([x1 : x2 : x3 ])). Esto u ltimo nos dice que TA est a bien denida. Debemos vericar que TA ([x1 : x2 : x3 ]) = (0, 0, 0). Supongamos que esto u ltimo no sucede, t t entonces tenemos que A (x1 , x2 , x3 ) = (0, 0, 0) y como A tiene inversa se sigue que (x1 , x2 , x3 )t = A (0, 0, 0)t por lo que (x1 , x2 , x3 )t = (0, 0, 0)t . Esto es una contradicci on. Por u ltimo debemos vericar que TA manda puntos colineales en puntos colineales. Sea c1 x + c2 y + c3 z = 0 la ecuaci on de una l nea l. Vamos a construir la ecuaci on de una l nea l tal que si [x1 : x2 : x3 ] pertenece a l entonces su imagen [x1 : x2 : x3 ], bajo TA , pertenece a l . Si A1 = (bij ) entonces xi = bi jxj para cada i. Se sigue que c1 ( b1j xj ) + c2 ( b2j xj ) + c3 ( 8 b3j xj ) = 0

lo cual se puede reescribir como ( ci bi1 )x1 + ( ci bi2 )x2 + ( ci bi3 )x3 = 0

la cual es la ecuaci on de una l nea. Solo queda vericar que los tres coe cientes ci := ci bij no son todos cero. Esto u ltimo es consecuencia de la 1 ecuaci on (c1 , c2 , c3 ) A = (c1 , c2 , c3 ). Por todo lo anterior TA es un automorsmo de P . Si A = (aij ) es otra matriz 3 3 con entradas en R tal que A = A entonces TA = TA . Rec procamente, supongamos que TA = TA . En particular, si P1 := [1 : 0 : 0], P2 := [0 : 1 : 0], P3 := [0 : 0 : 1] y Q := [1 : 1 : 1] entonces, como TA (Pi ) = TA (Pi ), tenemos que a1i a1i a2i = a2i , a3i a3i para i = 1, 2, 3. Se sigue que existen escalares 1 , 2 y 3 tales que i (a1i , a2i , a3i ) = (a1i , a2i , a3i ), para i = 1, 2, 3. Tambien tenemos que existe R tal que TA (Q) = TA (Q). Usando lo anterior tenemos el siguiente sistema de ecuaciones: a11 (1 ) + a12 (2 ) + a13 (3 ) = 0 a21 (1 ) + a22 (2 ) + a23 (3 ) = 0 a31 (1 ) + a32 (2 ) + a33 (3 ) = 0. El sistema anterior implica que (1 , 2 , 3 ) = (0, 0, 0), es decir 1 = 2 = 3 = . Entonces A = A. La discusi on anterior motiva la siguiente denici on: El grupo proyectivo lineal de orden dos, denotado por P GL(2, R), es el grupo de todos los automorsmos de P de la forma TA para alguna matriz 3 3 A con det(A) = 0. Es decir, todo elemento de P GL(2, R) est a representado por una matriz 3 3 A con det(A) = 0 y otra de estas matrices, A , representa al mismo elemento de P GL(2, R) si y solo si existe un escalar R tal que A = A. Teorema 4.1. Sean A, B, C, D y A , B , C , D dos conjuntos de cuatro puntos en P tres a tres no colineales. Entonces existe un u nico automorsmo T P GL(2, R) tal que T (A) = A , T (B ) = B , T (C ) = C , T (D) = D . 9

Demos. Basta con demostrar que podemos transformar los cuatro puntos P1 , P2 , P3 , Q en cualesquiera cuatro puntos A, B, C, D. Supongamos que A = [a1 : a2 : a3 ], B = [b1 : b2 : b3 ], C = [c1 : c2 : c3 ], D = [d1 : d2 : d3 ]. Estamos buscando una matriz invertible (tij ) y escalares , , , tales que ai = ti1 , bi = ti2 , ci = ti3 , di = ti1 + ti2 + ti3 para i = 1, 2, 3. Supongamos que = 1 entonces tenemos que a1 + b1 + c1 = d1 a2 + b2 + c2 = d2 a3 + b3 + c3 = d3 . Como los puntos A, B, C no son colineales tenemos que a1 b 1 c 1 det a2 b2 c2 = 0. a3 b 3 c 3 Entonces podemos resolver el sistema de ecuaciones anterior para las variables , , . Ahora bien , , no pueden ser iguales a cero: ya que si, por ejemplo = 0, tendriamos que b1 + c1 d1 = 0 b2 + c2 d2 = 0 b3 + c3 d3 = 0 lo cual implica que b1 c1 d1 det b2 c2 d2 = 0. b3 c3 d3

Esto contradice el hecho que los puntos B, C, D no son colineales. Entonces tenemos escalares no nulos , , que satisfacen las ecuaciones anteriores. Denimos entonces ti1 := ai , ti2 := bi , ti3 := ci . Entonces (tij ) es una matriz con determinante distinto de cero. La transformaci on T denida por la matriz (tij ) manda a los puntos P1 , P2 , P3 , Q en los puntos A, B, C, D. Si T manda a los puntos P1 , P2 , P3 , Q en los puntos A, B, C, D entonces su matriz (tij ) = (tij ) para alguna R, por lo tanto dicha transformaci on es u nica.

10

El tri angulo de referencia

En lugar de un sistema de coordenadas rectangular en el Plano Proyectivo tenemos las tres l neas x = 0, y = 0 y z = 0 que no se intersectan en un solo punto. Llamaremos a este tri angulo, el tri angulo de referencia. Sus v ertices son los puntos [1 : 0 : 0], [0 : 1 : 0] y [0 : 0 : 1]. Para jar nuestro sistema de coordenadas seleccionamos un punto que no est e en el tri angulo de referencia y lo declaramos como el punto unitario [1 : 1 : 1]. Esto tiene sentido por lo visto en la secci on anterior.

Ejercicios
1. Cuenta el n umero de automorsmos del plano proyectivo con coordenadas en Z13 . 2.

El teorema de Pappus

Usaremos las ideas anteriores para demostrar el siguiente Teorema 7.1 (Pappus). Sean A, B, C tres puntos en una l nea y sean D, E, F puntos en otra l nea. Sean P := AE BD, Q := AF CD, R := BF CE . Entonces los tres puntos P, Q, R son colineales. Demos.: Por los resultados de las secciones anteriores podemos suponer que las dos l neas del Teorema tienen ecuaciones x = 0 y y = 0 respectiva-

11

[0:1:c] C [0:1,b] [0:1,a] A B x=0

D [1:0:d]

E [1:0:e] F y=0

mente (ver gura). [1:0:f] En la gura los s mbolos a, b, c, d, e, f representan constantes arbitrarias. De acuerdo con la gura la l nea AE tiene ecuaci on ex + ay z = 0 y BD tiene ecuaci on dx + by z = 0. Se sigue que P = [a + b : e d : ad + be]. Aplicando el mismo procedimiento obtenemos que Q = [a + f : f d : ad + cf ] y R = [b + f : f e : be + cf ]. Como a + b e d ad + be det a + f f d ad + cf = 0 b + f f e be + cf tenemos que los puntos P, Q y R son colineales.

C onicas

Sea p(x, y, z ) un polinomio en tres variables. Decimos que el polinomio p es homog eneo de grado d si todos sus monomios tienen grado d. Si p es homog eneo de grado d y si (x1 , y1 , z1 ) es una ra z de p, entonces todo m ultiplo escalar (x1 , y1 , z1 ), con K tambien lo es. Por lo anterior podemos interpretar a las ra ces de polinomios homog eneos en tres variables como puntos en un plano proyectivo. Al conjunto de dichos puntos se denota (comunmente) por V (p) y se le llama (comunmente) la variedad denida por p(x, y, z ). En el plano euclideano, una c onica es una curva de segundo grado que tiene por ecuaci on ax2 + by 2 + c + 2hxy + 2gx + 2f y = 0, 12

donde a, b, c, f, g, h son n umeros reales. Ejemplos de c onicas son los c rculos, elipses, par abolas e hip erbolas. En el Plano Proyectivo Real la situaci on es m as simple: La ecuaci on general de una c onica en el Plano Proyectivo es: ax2 + by 2 + cz 2 + 2hxy + 2gxz + 2f yz = 0. La variable z se introduce para hacer cada monomio de grado dos (homog eneo). Sean S1 = 0 y S2 = 0 las ecuaciones de dos c onicas, entonces el polinomio S := S1 + S2 es homog eneo de grado dos, y la ecuaci on S = 0 es la ecuaci on de una c onica. Nota que si P1 es un punto com u n a S1 y S 2 entonces P1 es un punto de S . Es decir el haz de c onicas denido por S1 y S2 descrito por S pasa por los cuatro puntos de intersecci on de las c onicas base. En particular, si S1 = xz = 0 y S2 = y 2 = 0 (S1 es un par de l neas, S2 es una l nea repetida) las c onicas del haz son tangentes a las l neas z = 0 y x = 0 en los puntos de interseccion de estas l neas con la l nea doble y 2 = 0. Supongamos ahora que el punto unitario [1 : 1 : 1] pertenece a S . Entonces + = 0 y entonces S = y 2 xz . Es decir, si escogemos nuestru tri angulo de referencia de manera adecuada la ecuaci on general de una c onica en el Plano Proyectivo es y 2 xz = 0. Ademas, todo punto en la c onica es de la forma [t2 : t : 1], para alguna t R. Nota que el punto [1 : 0 : 0] pertenece a la c onica. La l nea secante a la c onica S por los puntos [t2 : t : 1] y [s2 : s : 1 tiene ecuaci on x (s + t)y + stz = 0 y la l nea tangente a la conica en el punto [t2 : t : 1] tiene ecuaci on x 2ty + t2 z = 0.

El teorema de Pascal

Teorema 9.1 (Pascal). Las intersecciones de pares de lados opuestos de un hex agono inscrito en una c onica son colineales. Demos. Podemos suponer, sin p erdida de generalidad, que la ecuaci on de la c onica es y 2 xz . Sean A, B, C, D, E y F los v ertices del hex agono. Entonces las coordenadas de estos v ertices son de la forma [t2 i : ti : 1] para i = 1, . . . , 6. Tambien, sin p erdida de generalidad, podemos suponer que t1 = 0, i.e. A = [0 : 0 : 1], t2 = 1 y que t3 = . Entonces B = [1 : 1 : 1] y 2 C = [1 : 0 : 0] (recordemos que si t3 = 0 [t2 3 : t3 : 1] = [1 : 1/t3 : 1/t3 ]). 13

Q E=[t_5^2:t_5:1]

F=[t_6^2:t_6:1] A=[0:0:1] D=[t_4^2:t_4:1]

R B=[1:1:1] C=[1:0:0]

Entonces el lado AB del hex agono tiene ecuaci on y x = 0, el lado DE tiene ecuaci on x (t5 + t4 )y + t4 t5 z = 0. Entonces P = [t4 t5 : t4 t5 : t4 + t5 1]. El lado BC tiene ecuaci on y z = 0 y el lado EF tiene ecuaci on x (t5 + t6 )y + t5 t6 z = 0. Entonces R = [t5 + t6 t5 t6 : 1 : 1]. El lado CD tiene ecuaci on y t4 z = 0 y el lado AF tiene ecuaci on x t6 y = 0 por lo que Q = [t4 t6 : t4 : 1]. Tenemos que t4 t5 t4 t5 t4 + t5 1 = 0, 1 det t5 + t6 t5 t6 1 t4 t6 t4 1 por lo que los puntos P , Q y R son colineales.

10

Ejercicios

1. Sean A, B P dos puntos distintos de un plano proyectivo con coordenadas homog eneas en un campo K . Demuestra que la l nea AB consiste de todos los puntos de la forma P = A + B con (, ) = (0, 0). 2. Sean A1 , A2 , A3 y A4 cuatro puntos (no necesariamente distintos) de la l nea del ejercicio anterior. Denimos la raz on cruzada {A1 , A2 ; A3 , A4 } de los puntos A1 , A2 , A3 , A4 como sigue (1 3 3 1 )(2 4 4 2 ) {A1 , A2 ; A3 , A4 } := . (1) (1 4 4 1 )(2 3 3 2 ) 14

El denominador de la expresi on anterior puede resultar ser igual a cero; en dicho caso decimos que la raz on cruzada es . Si adem as el numerador se anula, por lHopital, decimos que la raz on cruzada es 1. Demuestra que la raz on cruzada es invariante bajo una transformaci on proyectiva. 3. Consideremos el tri angulo A, B, C en un plano proyectivo con coordenadas homog eneas sobre un campo K . Sean D, E y F puntos sobre las l neas BC, CA y AB respectivamente, tales que las l neas AD, BE y CF son concurrentes. Sea l una l nea arbitraria. Denimos los puntos P := F E l, Q := F D l y R := DE l. Sean P := AP BC , Q := BQ AC y R = CR AB . Demuestra que los puntos P , Q y R son colineales. 4. Encuentra la ecuaci on de la c onica que pasa por los puntos [1 : 1 : 1], [1 : 0 : 1], [1 : 0 : 1], [1 : 1 : 1], [3 : 4 : 0]. 5. Demuestra que una transformaci on proyectiva manda c onicas en c onicas. 6. Encuentra la matriz de la transformaci on en P GL(2, 5) que transforma 2 2 la c onica x + y + 2xy + 3xz + yz = 0 en la c onica y 2 xz = 0. 7. Considera la c onica y 2 xz = 0 en P G(2, 3). Da una clasicaci on completa de los trece puntos y las trece l neas de P G(2, 3) en t erminos de la c onica (puntos en la c onica, puntos internos y externos, tangentes, secantes y l neas externas). 8. Enuncia y demuestra el dual del Teorema de Pascal.

11

Polos y polares

Denimos la polar de un punto P respecto de una c onica S como la l nea l que pasa por los dos puntos de tangencia en S de las dos tangentes a S por P . La denici on anterior solo tiene sentido si P es un punto externo a la c onica S . Tambien diremos que P es el polo de l. Si P es un punto de la c onica entoces denimos su polar respecto de S como la l nea tangente a S que pasa por P . Teorema 11.1. Si la polar de un punto P respecto de una c onica S pasa por Q, entonces la polar de Q pasa por P . 15

Demos. Supongamos, sin p erdida de generalidad, que la c onica S tiene 2 ecuaci on y xz = 0. La l nea tangente a la c onica en el punto [u2 : u : 1] tiene ecuaci on x 2uy + u2 z = 0 y si dicha tangente pasa por P := [a : b : c] entonces a 2ub + u2 c = 0. Resolviendo para el par ametro u obtenemos dos soluciones u1 y u2 tales que u1 + u2 = 2b/c y u1 u2 = a/c. La l nea que pasa por los puntos de la c onica con par ametros u1 y u2 tiene ecuaci on x (u1 + u2 )y + u1 u2 = cx 2by + az = 0 la cual es la polar de P . Ahora bien, si Q := [A : B : C ] pertenece a la polar de P entonces cA 2bB + aC = 0. Como la polar de Q respecto de la c onica es Cx 2By + Az = 0 tenemos que, por la ecuaci on anterior, P pertenece a la polar de Q. Podemos ahora usar el Teorema anterior para construir la polar de un punto P interior a la c onica: trazamos dos secantes a la c onica por P . Las tangentes a la c onica en los cuatro puntos de intersecci on de estas secantes se intersectan por pares en dos puntos A y B . La l nea AB es la polar de P por el Teorema anterior.

12

C onicas sobre campos nitos de orden impar

De los q 2 + q + 1 puntos en P G(2, q ), con q impar, q + 1 pertenecen a una c onica dada. Las tangentes en esos q + 1 puntos se intersectan por pares q+1 q+1 secantes. puntos externos que son los poles de las en 2 2 q puntos son puntos internos (no pertenecen a ninguna Los restantes 2 q polares son las l neas externas. Se sigue que cada l nea tangente); sus 2 1 externa contiene q + 1 puntos, 2 (q + 1) de los cuales son externos (ya que las dos tangentes a la c onica por cada uno cuentan las q + 1 tangentes); los 1 (q + 1) puntos restantes son internos. Cada secante contiene dos puntos de 2 la c onica y 1 (q + 1) puntos externos (pues las dos tangentes a la c onica por 2 cada uno cuentan las tangentes en los q 1 puntos restantes en la c onica); 1 los 2 (q + 1) puntos restantes son internos. Obtenemos la conguracion con par ametros q 2 1 (q+1)
2

16

formada por los

q puntos internos y las 2 conguraci on con par ametros q+1 2

q 2

rectas externas. Y la

1 (q 1) 2

formada por los [1].

q+1 2

puntos externos y las

q+1 2

secantes. Ver

13

Ejercicios

1. Demuestra que los q +1 puntos en una c onica no son colineales tomados de tres en tres.

14 15

Homograf as Ejercicios

1. Construye expl citamente un plano proyectivo con 13 puntos. 2. Demuestra que |P GL(2, 2) = 168| y calcula |P GL(2, p)|. 3. Sean P P , QQ y RR cuerdas de una c onica S , y sup on que dichas cuerdas concurren en un punto O. Sea X otro punto de S . Sean L := QR XP , M := RP XQ y N := P Q XR . Demuestra que los puntos L, M, N y O son colineales. 4. Desde un punto O se trazan las dos tangentes a una c onica dada deniendo dos puntos de tangencia A y B en la c onica. Una l nea variable l se traza por un punto dado C de la l nea AB , cortando OA y OB en P y Q respectivamente. Demuestra que el lugar geom etrico de los puntos de intescci on L de las otras dos tangentes a la c onica desde P y Q, al variar l, es una l nea.

17

16

Cuadrados Latinos

Sea R un conjunto nito con n elementos. Un cuadrado latino de orden n es un arreglo n n con entradas en R tal que cada s mbolo de R aparece exactamente una vez en cada rengl on y en cada columna de dicho arreglo. Ejemplo: cuadrado latino de orden 4 con entradas en R = {a, b, c, d} a b c d b c d a c d a b d a b c

Nota que para construir el cuadrado latino en el ejemplo anterior simplemente rotamos c clicamente el primer rengl on del arreglo. Diremos que dos cuadrados Latinos de orden n, A = (aij ) y B = (bij ), son ortogonales si para cualquier par (k, l) de elementos de R existen valores u nicos par i y para j tales que aij = k y bij = l. Es decir si sobreponemos un cuadrado sobre el otro obtenemos los n2 pares ordenados distintos de R2 . Un conjunto {A1 , . . . , Ar } de cuadrados Latinos se dice conjunto de cuadrados Latinos mutuamente ortogonales si, tomados por pares, son ortogonales. Ahora bien, sea P un plano proyectivo de orden n. Como vimos, P tiene n2 + n + 1 puntos, cada l nea contiene n + 1 puntos y en cada punto inciden n + 1 l neas. Sea l cualquier l nea de P . En l distinguimos a dos puntos, digamos a V y a H . Sean {x1 , . . . , xn } y {y1 , . . . , yn } las l neas, distintas de l, que pasan por V y por H respectivamente. Entonces a todo punto P de P , fuera de l, le podemos asignar las coordenadas (i, j ) si las l neas xi y yj inciden en P . Sea Cm uno de los n 1 puntos restantes en la l nea l. En Cm inciden n l neas, digamos {l1 , . . . ln }, distintas a l. Construimos el cuadrado latino de orden n Am = (aij ) donde aij = k si el punto (i, j ) pertenece a lk . De esta manera, variando m, construimos un conjunto de n 1 cuadrados latinos de orden n mutuamente ortogonales. Rec procamente sea {A1 , . . . , An1 } un conjunto de cuadrados latinos mutuamente ortogonales. Construimos un plano proyectivo de orden n como sigue: partimos de la l nea l := {V, H, C1 , . . . , Cn1 }, sean {x1 , . . . , xn } y {y1 , . . . , yn } haces de n l neas por V y H respectivamente. Los puntos de nuestro plano son entonces los puntos de la l nea l y los puntos de la forma (i, j ) donde se intersectan las l neas xi y yj . Una l nea lh por Cm la denimos 18

como {Cm } {(i, j )|(Am )ij = h}. Obtenemos un plano proyectivo de orden n. Podemos dar un tratamiento algebraico a lo anterior: Supongamos que R = {0, 1, . . . , n 1} y sea {A1 , . . . , An1 } un conjunto de cuadrados latinos mutuamente ortogonales. Podemos suponer ademas que dichos cuadrados est an descritos en forma standard, es decir su primera columna es igual a (0, 1, . . . , n 1)t y que Ax tiene entrada (0, 1) igual a x, para x = 1, . . . , n 1. Denimos en R la operaci on ternaria T (x, i, j ) := (Ax )ij si x = 0 y T (0, i, j ) := i para toda i, j R. Podemos denir un plano proyectivo de orden n como sigue: los puntos son el conjunto R2 {(x)|x R} {()| R}, las l neas son {[m, k ]|m, k R} {[x]|x R} {[]| R}, y las relaciones de incidencia son 1. (x, y ) [m, k ] si y solo si T (m, x, y ) = k 2. (x, y ) [k ] si y solo si x = k 3. (x) [m, k ] si y solo si x = m 4. (x) [] para toda x R 5. () []. Podemos denir dos operaciones binarias en R: a + b := T (1, a, b) y a b := T (a, 0, b). Un buen tema de investigaci on es tratar de determinar las propiedades algebraicas de (R, +, ).

17

Ejercicios

1. Sup on que los tri angulos ABC y DEF est an en perspetiva. Si los tri angulos ABC y EF D est an en perspectiva, demuestra que los tri angulos ABC y F DE est an en perspectiva.

19

2. Sean A, B, C puntos de una c onica S . Sean A el punto de intersecci on de la tangente a S en A con la l nea BC , B el punto de intersecci on de la tangente a S en B con la l nea AC y C el punto de intersecci on de la tangente a S en C con la l nea AB . Demuestra que los puntos A , B y C son colineales. 3. Las dos tangentes desde un punto O a una c onica dada la intersectan en los puntos A y B . Una l nea variable l se traza sobre un punto de la l nea AB intersectando a OA y OB en los puntos P y Q respectivamente. Demuestra que el lugar geom etrico de los puntos de intersecci on L de las otras dos tangentes a la c onica desde P y Q es una l nea. 4. Prop on un m etodo para construir p 1 cuadrados latinos de orden p, donde p es primo. 5. Construye expl citamente 2 cuadrados latinos de orden 3 mutuamente ortogonales en el conjunto {0, 1, 2}. 6. Usa los dos cuadrados latinos del ejercicio anterior para construir un plano proyectivo de orden 3. Dale coordenadas a los puntos y a las l neas en t erminos de los s mbolos que usaste para construir dichos cuadrados latinos. 7. Escribe los dos cuadrados latinos anteriores en forma estandard. Demuestra que el conjunto {0, 1, 2} junto con las operaciones binarias a + b := T (1, a, b) y a b := T (a, 0, b), denidas en el u ltimo p arrafo de la secci on anterior, es el campo Z3 .

References
[1] H. S. M. Coxeter. My graph. Proc. London Math. Soc. (3), 46:117136, 1983. [2] Robin Hartshorne. Foundations of Projective Geometry. Lecture Notes, Harvard University, 1967. [3] J.W.P. Hirschfeld. Projective Geometries over Finite Fields. Oxford, 1998.

20