En geometría finita , el plano de Fano (por Gino Fano ) es un plano proyectivo finito con el menor número posible de puntos y líneas: 7 puntos y 7 líneas, con 3 puntos en cada línea y 3 líneas a través de cada punto. Estos puntos y líneas no pueden existir con este patrón de incidencias en la geometría euclidiana , pero se les pueden dar coordenadas utilizando el cuerpo finito con dos elementos. La notación estándar para este plano, como miembro de una familia de espacios proyectivos , es PG(2, 2) . Aquí, PG significa " geometría proyectiva ", el primer parámetro es la dimensión geométrica (es un plano, de dimensión 2) y el segundo parámetro es el orden (el número de puntos por línea, menos uno).
El plano de Fano es un ejemplo de estructura de incidencia finita , por lo que muchas de sus propiedades pueden establecerse mediante técnicas combinatorias y otras herramientas utilizadas en el estudio de geometrías de incidencia . Al tratarse de un espacio proyectivo, las técnicas algebraicas también pueden ser herramientas eficaces en su estudio.
En un uso separado, un plano de Fano es un plano proyectivo que nunca satisface el axioma de Fano ; en otras palabras, los puntos diagonales de un cuadrángulo completo son siempre colineales. [1] "El" plano de Fano de 7 puntos y líneas es "un" plano de Fano.
El plano de Fano se puede construir mediante álgebra lineal como el plano proyectivo sobre el cuerpo finito con dos elementos. De manera similar, se pueden construir planos proyectivos sobre cualquier otro cuerpo finito, siendo el plano de Fano el más pequeño.
Utilizando la construcción estándar de espacios proyectivos mediante coordenadas homogéneas , los siete puntos del plano de Fano pueden etiquetarse con los siete triples ordenados distintos de cero de dígitos binarios 001, 010, 011, 100, 101, 110 y 111. Esto puede hacerse de tal manera que por cada dos puntos p y q , el tercer punto en la línea pq tenga la etiqueta formada sumando las etiquetas de p y q módulo 2 dígito por dígito (por ejemplo, 010 y 111 dando como resultado 101). En otras palabras, los puntos del plano de Fano corresponden a los puntos distintos de cero del espacio vectorial finito de dimensión 3 sobre el cuerpo finito de orden 2.
Debido a esta construcción, el plano de Fano se considera un plano desarguesiano , aunque el plano es demasiado pequeño para contener una configuración de Desargues no degenerada (que requiere 10 puntos y 10 líneas).
Las líneas del plano de Fano también pueden recibir coordenadas homogéneas, utilizando nuevamente triples de dígitos binarios distintos de cero. Con este sistema de coordenadas, un punto es incidente a una línea si la coordenada del punto y la coordenada de la línea tienen un número par de posiciones en las que ambas tienen bits distintos de cero: por ejemplo, el punto 101 pertenece a la línea 111, porque tienen bits distintos de cero en dos posiciones comunes. En términos del álgebra lineal subyacente, un punto pertenece a una línea si el producto interno de los vectores que representan el punto y la línea es cero.
Las líneas se pueden clasificar en tres tipos.
Alternativamente, los 7 puntos del plano corresponden a los 7 elementos no identidad del grupo (Z 2 ) 3 = Z 2 × Z 2 × Z 2 . Las líneas del plano corresponden a los subgrupos de orden 4, isomorfos a Z 2 × Z 2 . El grupo de automorfismos GL(3, 2) del grupo (Z 2 ) 3 es el del plano de Fano, y tiene orden 168.
Como ocurre con cualquier estructura de incidencia, el grafo de Levi del plano de Fano es un grafo bipartito , en el que los vértices de una parte representan los puntos y los de la otra las rectas, con dos vértices unidos si el punto y la recta correspondientes son incidentes . Este grafo en particular es un grafo cúbico conexo (regular de grado 3), tiene circunferencia 6 y cada parte contiene 7 vértices. Es el grafo de Heawood , el único de 6 jaulas . [2]
Una colineación , automorfismo o simetría del plano de Fano es una permutación de los 7 puntos que conserva la colinealidad: es decir, lleva puntos colineales (en la misma línea) a puntos colineales. Por el Teorema fundamental de la geometría proyectiva , el grupo de colineación completo (o grupo de automorfismo o grupo de simetría ) es el grupo lineal proyectivo PGL(3, 2) , [a] Hirschfeld 1979, p. 131 [3]
Este es un grupo bien conocido de orden 168 = 2 3 ·3·7, el siguiente grupo simple no abeliano después de A 5 de orden 60 (ordenado por tamaño).
Como grupo de permutación que actúa sobre los 7 puntos del plano, el grupo de colineación es doblemente transitivo , lo que significa que cualquier par ordenado de puntos puede asignarse mediante al menos una colineación a cualquier otro par ordenado de puntos. [4] (Ver más abajo).
Las colineaciones también pueden verse como automorfismos que preservan el color del gráfico de Heawood (ver figura).
F 8 es una extensión de campo de grado tres de F 2 , por lo que los puntos del plano de Fano pueden identificarse con F 8 ∖ {0} . El grupo de simetría puede escribirse PGL(3, 2) = Aut( P 2 F 2 ) . De manera similar, PSL(2, 7) = Aut( P 1 F 7 ) . Existe una relación entre los objetos subyacentes, P 2 F 2 y P 1 F 7, llamada el mapa de la Cuna del Gato. Colorea las siete líneas del plano de Fano ROYGBIV, coloca tus dedos en el espacio proyectivo bidimensional en el espacio tridimensional ambiental y estira tus dedos como en el juego infantil de la Cuna del Gato. Obtendrás un gráfico completo en siete vértices con siete triángulos coloreados (líneas proyectivas). El origen faltante de F 8 estará en el centro del septágono interior. Ahora etiqueta este punto como ∞ y tíralo hacia atrás hasta el origen. Se puede escribir una biyección desde F 7 ∪ {∞} hasta F 8 . Fijemos x ∞ = 0 y enviemos la pendiente k ↦ x ∞ + x k ∈ F 8 ≅ F 2 [ x ] / ( x 3 + x + 1) , donde ahora x k etiqueta los vértices de K 7 con coloración de aristas , notando que F×
8es un grupo cíclico de orden 7. Las simetrías de P 1 F 7 son transformaciones de Möbius , y las transformaciones básicas son reflexiones (orden 2, k ↦ −1/ k ), traslaciones (orden 7, k ↦ k + 1 ) y duplicación (orden 3 ya que 2 3 = 1 , k ↦ 2 k ). Las simetrías correspondientes en el plano de Fano son respectivamente intercambiar vértices, rotar el gráfico y rotar triángulos.
Una biyección entre el conjunto de puntos y el conjunto de líneas que preserva la incidencia se denomina dualidad y una dualidad de orden dos se denomina polaridad . [5]
Las dualidades pueden verse en el contexto del gráfico de Heawood como automorfismos de inversión de color. Un ejemplo de polaridad lo da la reflexión a través de una línea vertical que biseca la representación del gráfico de Heawood que se muestra a la derecha. [6] La existencia de esta polaridad muestra que el plano de Fano es autodual . Esto también es una consecuencia inmediata de la simetría entre puntos y líneas en la definición de la relación de incidencia en términos de coordenadas homogéneas, como se detalla en una sección anterior.
El grupo de permutación de los 7 puntos tiene 6 clases de conjugación .
Estas cuatro estructuras de ciclo definen cada una una única clase de conjugación:
La permutación de identidad
21 permutaciones con dos ciclos de 2
42 permutaciones con un ciclo de 4 y un ciclo de 2
56 permutaciones con dos ciclos de 3Las 48 permutaciones con un ciclo 7 completo forman dos clases de conjugación distintas con 24 elementos:
A corresponde a B , B a C , C a D. Entonces D está en la misma línea que A y B.
A corresponde a B , B a C , C a D. Entonces D está en la misma línea que A y C.(Ver aquí la lista completa.)
El número de coloraciones no equivalentes del plano de Fano con colores se puede calcular introduciendo el número de estructuras cíclicas en el teorema de enumeración de Pólya . Este número de coloraciones es (secuencia A241929 en la OEIS ).
En cualquier plano proyectivo, un conjunto de cuatro puntos, de los cuales ninguno es colineal, y las seis líneas que unen pares de estos puntos forman una configuración conocida como cuadrángulo completo . Las líneas se llaman lados y los pares de lados que no se encuentran en uno de los cuatro puntos se llaman lados opuestos . Los puntos en los que se encuentran los lados opuestos se llaman puntos diagonales y hay tres de ellos. [7]
Si esta configuración se encuentra en un plano proyectivo y los tres puntos diagonales son colineales, entonces los siete puntos y siete líneas de la configuración expandida forman un subplano del plano proyectivo que es isomorfo al plano de Fano y se llama subplano de Fano .
Un resultado famoso, debido a Andrew M. Gleason, establece que si cada cuadrángulo completo en un plano proyectivo finito se extiende a un subplano Fano (es decir, tiene puntos diagonales colineales), entonces el plano es desarguesiano. [8] Gleason llamó plano Fano a cualquier plano proyectivo que satisfaga esta condición, creando así cierta confusión con la terminología moderna. Para agravar la confusión, el axioma de Fano establece que los puntos diagonales de un cuadrángulo completo nunca son colineales, una condición que se cumple en los planos proyectivos euclidiano y real. Por lo tanto, lo que Gleason llamó planos Fano no satisfacen el axioma de Fano. [9]
El plano de Fano contiene los siguientes números de configuraciones de puntos y líneas de diferentes tipos. Para cada tipo de configuración, el número de copias de la configuración multiplicado por el número de simetrías del plano que mantienen la configuración inalterada es igual a 168, el tamaño de todo el grupo de colineaciones, siempre que cada copia pueda asignarse a cualquier otra copia (véase el teorema del estabilizador de órbita ). Dado que el plano de Fano es autodual, estas configuraciones vienen en pares duales y se puede demostrar que el número de colineaciones que fijan una configuración es igual al número de colineaciones que fijan su configuración dual.
El plano de Fano es un ejemplo de una configuración ( n 3 ) , es decir, un conjunto de n puntos y n líneas con tres puntos en cada línea y tres líneas a través de cada punto. El plano de Fano, una configuración (7 3 ), es único y es la configuración más pequeña de este tipo. [11] Según un teorema de Steinitz [12], se pueden realizar configuraciones de este tipo en el plano euclidiano que tenga como máximo una línea curva (todas las demás líneas se encuentran sobre líneas euclidianas). [13]
El plano de Fano es un diseño de bloques pequeños y simétricos , específicamente un diseño 2-(7, 3, 1) . Los puntos del diseño son los puntos del plano y los bloques del diseño son las líneas del plano. [14] Como tal, es un ejemplo valioso en la teoría del diseño (en bloques).
Con los puntos etiquetados 0, 1, 2, ..., 6 las líneas (como conjuntos de puntos) son las traducidas del conjunto de diferencias planares (7, 3, 1) dado por {0, 1, 3} en el grupo Z / 7 Z . [14] Con las líneas etiquetadas ℓ 0 , ..., ℓ 6 la matriz de incidencia (tabla) está dada por:
El plano de Fano, como diseño de bloques, es un sistema triple de Steiner . [15] Como tal, se le puede dar la estructura de un cuasigrupo . Este cuasigrupo coincide con la estructura multiplicativa definida por los octoniones unitarios e 1 , e 2 , ..., e 7 (omitiendo 1) si se ignoran los signos de los productos octoniones (Baez 2002).
El matroide de Fano F 7 se forma tomando los puntos del plano de Fano como conjunto base y los subconjuntos no colineales de tres elementos como bases.
El plano de Fano es uno de los ejemplos importantes en la teoría de la estructura de los matroides . Excluir el plano de Fano como matroide menor es necesario para caracterizar varias clases importantes de matroides, como los regulares , los gráficos y los cográficos.
Si se descompone una línea en tres líneas de 2 puntos se obtiene la "configuración no Fano", que se puede insertar en el plano real. Es otro ejemplo importante en la teoría de matroides, ya que debe excluirse para que se cumplan muchos teoremas.
El plano de Fano puede extenderse en una tercera dimensión para formar un espacio proyectivo tridimensional, denotado por PG(3, 2) . Tiene 15 puntos, 35 líneas y 15 planos y es el espacio proyectivo tridimensional más pequeño . [16] También tiene las siguientes propiedades: [17]
