Articulo de referencia

cuádrica de Klein

En matemáticas , las líneas de un espacio proyectivo tridimensional , S , pueden considerarse como puntos de un espacio proyectivo pentadimensional, T. En ese espacio pentadimen...

En matemáticas , las líneas de un espacio proyectivo tridimensional , S , pueden considerarse como puntos de un espacio proyectivo pentadimensional, T. En ese espacio pentadimensional, los puntos que representan cada línea en S se encuentran sobre una cuádrica Q, conocida como la cuádrica de Klein . Por lo tanto, el espacio de líneas es una variedad proyectiva tetradimensional. Sus subvariedades son complejos de líneas .

Si el espacio vectorial subyacente de S es el espacio vectorial de 4 dimensiones V , entonces T tiene como espacio vectorial subyacente el cuadrado exterior de 6 dimensiones Λ 2 V de V. Las coordenadas de línea obtenidas de esta manera se conocen como coordenadas de Plücker .  

Estas coordenadas de Plücker satisfacen la relación cuadrática

pag12pag34+pag13pag42+pag14pag23=0{\displaystyle p_{12}p_{34}+p_{13}p_{42}+p_{14}p_{23}=0}

definiendo Q , donde

pagij=ivjjvi{\ Displaystyle p_ {ij} = u_ {i} v_ {j} -u_ {j} v_ {i}}

son las coordenadas de la línea generada por los dos vectores u y v . 

El espacio tridimensional, S , puede reconstruirse a partir de la cuádrica, Q : los planos contenidos en Q pertenecen a dos clases de equivalencia , donde los planos de la misma clase se intersecan en un punto, y los planos de clases diferentes se intersecan en una línea o en el conjunto vacío. Sean estas clases C y C ′. La geometría de S se obtiene de la siguiente manera:

  1. Los puntos de S son los planos en C.
  2. Las líneas de S son los puntos de Q.
  3. Los planos de S son los planos en C ′.

El hecho de que las geometrías de S y Q sean isomorfas puede explicarse por el isomorfismo de los diagramas de Dynkin A 3 y D 3 .

Referencias