Superficie K3

En matemáticas, una superficie K3 analítica compleja es una variedad compleja compacta y conexa de dimensión 2 con un haz canónico trivial y cero irregularidades. Una superficie K3 (algebraica) sobre cualquier cuerpo se refiere a una superficie algebraica suave, propia y geométricamente conexa, que satisface las mismas condiciones. En la clasificación de superficies de Enriques-Kodaira, las superficies K3 constituyen una de las cuatro clases de superficies minimales de dimensión de Kodaira cero. Un ejemplo sencillo es la superficie cuártica de Fermat x 4 + y 4 + z 4 + w 4 = 0 {\textstyle x^{4}+y^{4}+z^{4}+w^{4}=0} en el espacio proyectivo complejo tridimensional. Junto con los toros complejos compactos bidimensionales, las superficies K3 son variedades de Calabi-Yau (y también son variedades hiperkähler) de dimensión dos. Como tales, ocupan un lugar central en la clasificación de superficies algebraicas, situándose entre las superficies de del Pezzo de curvatura positiva (que son fáciles de clasificar) y las superficies de curvatura negativa de tipo general (que son esencialmente inclasificables). Las superficies K3 pueden considerarse las variedades algebraicas más simples cuya estructura no se reduce a curvas o variedades abelianas, y en las que, sin embargo, es posible alcanzar una comprensión sustancial. Una superficie K3 compleja tiene dimensión real 4 y desempeña un papel importante en el estudio de las 4-variedades suaves. Las superficies K3 se han aplicado al álgebra de Kac-Moody, a la simetría especular y a la teoría de cuerdas. Puede resultar útil considerar las superficies K3 algebraicas complejas como parte de la familia más amplia de superficies K3 analíticas complejas. Muchos otros tipos de variedades algebraicas no presentan tales deformaciones no algebraicas.