En geometría algebraica, una superficie cúbica es una superficie algebraica dada por un polinomio homogéneo de tercer grado en un espacio proyectivo .
Podemos aceptar o .
Un resultado notable y no trivial de la geometría algebraica es que cuando la superficie no es singular (es decir, en cada punto de la superficie al menos una derivada parcial del polinomio no se anula), y el campo fundamental es el campo de números complejos, exactamente 27 líneas se encuentran en la superficie cúbica. Este es el teorema de Cayley - Salmon , establecido en 1849 por Salmon después de que Cayley demostrara que el número de líneas en una superficie cúbica de este tipo es siempre finito.
Por supuesto, sobre el campo de números reales en la superficie puede que no haya 27 líneas. Sin embargo, se puede demostrar que el número de líneas reales es 3, 7, 15 o 27. Todas estas posibilidades se realizan.
El polinomio es un polinomio homogéneo de grado 3, y la superficie cúbica que define (llamada superficie de Fermat ) es . Esta superficie no es singular y contiene 27 líneas. En este caso, el polinomio es lo suficientemente simple como para describirlos explícitamente: salvo una permutación de coordenadas, tienen la forma , donde son las raíces cúbicas de . Arriba hay tres raíces cúbicas de −1, y el argumento combinatorio muestra que el número total de líneas es 27.
Sobre el campo de los números reales, solo hay una raíz cúbica de −1, lo que da tres líneas rectas.
La superficie de Clebsch es una superficie cúbica cuya ecuación es , y tiene 27 rectas reales:
Vemos que las 27 líneas se encuentran en el espacio proyectivo sobre el campo de los números reales, e incluso en .
La superficie de Cayley está definida por la ecuación
Esta superficie es especial, las cuatro derivadas parciales se anulan en cuatro puntos.
Por lo tanto, este es un ejemplo en el que no se aplica el teorema de Cayley-Salmon. Sin embargo, esta superficie todavía contiene líneas, en particular, líneas que conectan puntos singulares.