En
geometrie
differentielle ou
algebrique
, les
surfaces K3
sont les
varietes de Calabi-Yau
de plus petite dimension differentes des
tores
. Ce sont des
varietes complexes
de dimension complexe 2
[
1
]
compactes
et
kahleriennes
.
Les surfaces K3 possedent en outre la propriete d'etre les seules varietes de Calabi-Yau distincte du 4-
tore
T
4
d'un point de vue
topologique
ou differentiel. Cependant, en tant que variete complexe, il y a un nombre infini de surfaces K3 non isomorphes. On peut notamment les distinguer par le biais du
morphisme de Torelli
(en)
.
Andre Weil
(1958) les nomma en l'honneur des trois geometres algebristes
Kummer
,
Kahler
et
Kodaira
, et de la montagne
K2
au
Karakoram
.
La plupart des surfaces K3 ne sont pas des
varietes algebriques
. Ceci signifie qu'il est en general impossible de les realiser comme l'ensemble des solutions d'equations polynomiales dans un
espace projectif
.
Cependant, ces surfaces sont d'abord apparues en geometrie algebrique et leur nom provient des trois geometres
Kummer
,
Kahler
et
Kodaira
.
Le groupe de
cohomologie
est un
groupe abelien libre
de rang 22. Il est muni (par le produit en cohomologie) d'une
forme quadratique
non degeneree de signature (3,19). En tant que reseau, ce groupe de cohomologie contient deux facteurs de type
E8
. On peut decrire explicitement la base orthogonale pour cette forme quadratique en considerant le
diamant de Hodge
pour K3 qui s'ecrit
ou
sont les dimensions des espaces de
cohomologie de Dolbeault
. Par ailleurs parmi les 20 (1,1)-formes, 19 sont anti-auto-duales avec une norme-carree negative, tandis que la (1,1) forme restante, accompagnee de la (2,0) et de la (0,2) formes, sont auto-duales et possedent une norme-carree positive.
Comme tous les Calabi-Yau non triviaux, on ne connait pas a ce jour de metrique
Ricci-plate
(en)
explicite bien que son existence soit assuree par le
theoreme de Yau
(en)
.
Cet espace est souvent utilise comme
espace de compactification
en
theorie des supercordes
. Dans ce contexte, la surface K3 fait une apparition remarquable dans la
dualite corde-corde
qui affirme que la theorie de type
IIA
compactifiee sur la surface K3 est equivalente a la
corde heterotique
compactifiee sur un tore a quatre dimensions.
- ↑
D'ou le nom de
surface
. En tant que variete reelle, elle possede une dimension 4