surface de Kummer

Imaginez une surface décrite par une équation et repérez les endroits où elle n'est plus régulière. Sur le modèle quartique de Kummer, on en compte exactement 16 : ce sont des nœuds, ou points doubles ordinaires. Ils ont une multiplicité locale égale à deux, mais aussi une partie quadratique non dégénérée ; la multiplicité seule ne suffit pas à les reconnaître.

Le nombre 16 est décisif. Dans le cadre usuel d'une quartique de l'espace projectif de dimension 3, sur un corps algébriquement clos de caractéristique différente de 2, une surface ne peut pas comporter davantage de nœuds isolés. La quartique de Kummer atteint cette limite.

Le modèle quartique d'une surface de Kummer est une surface algébrique de l'espace projectif de dimension 3, définie par une équation homogène de degré 4. Le mot quartique exprime précisément ce degré. Il concerne l'équation qui définit la surface, et non le nombre de ses composantes ou de ses dimensions.

Sa propriété caractéristique est la présence de 16 nœuds, aussi appelés points doubles ordinaires. Un tel point est une singularité de multiplicité 2 dont la partie quadratique locale est non dégénérée : la seule multiplicité 2 ne suffit donc pas. Sur un corps algébriquement clos de caractéristique différente de 2, le nombre 16 est maximal pour les nœuds isolés d'une quartique de cet espace projectif : la quartique de Kummer réalise donc un cas extrême.

Cette quartique singulière, étudiée par Ernst Eduard Kummer en 1864, est un objet de géométrie algébrique. Elle intervient aussi dans l'étude des variétés abéliennes et des surfaces K3. Ces liens n'effacent pas la description du modèle considéré ici : une quartique projective munie de ses 16 nœuds.

Quatre éléments organisent l'objet. L'espace projectif de dimension 3 est le cadre dans lequel la surface est définie. L'équation homogène de degré 4 détermine une surface algébrique quartique. Sur cette surface se trouvent enfin 16 nœuds, ou points doubles ordinaires. L'équation détermine donc la surface, tandis que les nœuds appartiennent au lieu qu'elle décrit.

Le degré et les singularités jouent des rôles différents : le degré 4 classe l'équation, alors que le nombre 16 décrit des points particuliers de la surface. Dans le cadre usuel d'un corps algébriquement clos de caractéristique différente de 2, une quartique de cet espace possédant 16 nœuds correspond au modèle quartique de Kummer et atteint la borne nodale. Une couleur, une orientation ou un tracé en perspective ne fait pas partie de cette caractérisation. Le schéma de comptage associé représente seulement les 16 nœuds, sans leur attribuer de coordonnées géométriques.

Dans le cadre usuel d'un corps algébriquement clos de caractéristique différente de 2, on examine une surface de l'espace projectif de dimension 3. Son équation algébrique est de degré 4 et elle possède 16 singularités, toutes annoncées comme des nœuds ou points doubles ordinaires.

1. Le degré 4 autorise à classer l'objet parmi les surfaces quartiques.
2. Le comptage donne 16 singularités isolées, sans en oublier ni en fusionner deux.
3. Dans cet exemple, leur nature nodale est une donnée déjà établie : chacune possède une partie quadratique locale non dégénérée. L'exemple permet donc d'interpréter ce critère, mais ne fournit ni équation locale ni calcul pour le vérifier soi-même.
4. Ce total est comparé à la borne nodale propre aux quartiques dans ce cadre : 16 est le maximum possible.

Cette grille de lecture concorde avec le modèle quartique d'une surface de Kummer : elle sépare le degré, le comptage et la nature nodale donnée dans l'énoncé. Pour mener une vérification autonome sur une équation particulière, il faudrait en plus disposer des données locales permettant d'établir la non-dégénérescence de la partie quadratique à chaque singularité. Une quartique avec moins de 16 nœuds ne satisfait pas cette caractérisation extrême.

Face à une équation de surface projective, le premier geste consiste à relever son degré. Si ce degré n'est pas 4, le modèle quartique de Kummer décrit dans cette fiche doit être écarté.

Pour une quartique de l'espace projectif de dimension 3, on examine ensuite les singularités séparément. Dans le cadre usuel d'un corps algébriquement clos de caractéristique différente de 2, il faut établir la présence de 16 nœuds, ou points doubles ordinaires, avant d'identifier ainsi le modèle quartique de Kummer. Une simple liste de singularités de multiplicité 2 ne suffit pas.

Dans une étude consacrée aux variétés abéliennes ou aux surfaces K3, la surface de Kummer sert d'exemple de liaison avec une quartique singulière. Pour le modèle considéré ici, les données observables sont sa structure quartique dans l'espace projectif de dimension 3 et son ensemble de 16 nœuds.

Une surface quartique quelconque. Le degré 4 est commun, mais il ne suffit pas à caractériser une surface de Kummer. Dans le cadre usuel précisé par la fiche, le modèle de Kummer présenté ici possède 16 nœuds, ou points doubles ordinaires.

Une surface K3. La source indique que la surface de Kummer intervient dans l'étude des surfaces K3 ; elle ne confond pas pour autant les deux expressions. La présence des 16 nœuds signale le modèle quartique singulier, tandis que l'appellation K3 demande de préciser le modèle et son éventuelle résolution.

Un point singulier quelconque. Une singularité de multiplicité 2 n'est pas automatiquement un point double ordinaire. Ici, chacun des 16 points doit être un nœud : sa partie quadratique locale doit être non dégénérée.

La borne 16 a un domaine précis. Elle concerne les nœuds isolés d'une surface quartique dans l'espace projectif de dimension 3, sur un corps algébriquement clos de caractéristique différente de 2. Il ne faut pas la présenter comme une borne pour toutes les singularités ou toutes les surfaces algébriques.

Compter ne suffit pas. Un relevé de 16 points marqués peut être trompeur si leur nature n'est pas établie. Le contrôle requis consiste à vérifier que chaque singularité est isolée et que sa partie quadratique locale est non dégénérée : une multiplicité égale à deux ne suffit pas à en faire un nœud.

Le dessin n'est pas la définition. Une projection plane peut déplacer, masquer ou superposer visuellement des singularités. L'identification doit reposer sur la surface projective et ses propriétés algébriques ; le schéma sert uniquement à matérialiser le comptage de 16 points.

Le lien avec les surfaces K3 exige de nommer le modèle. La quartique de Kummer décrite ici est singulière. Lorsqu'un contexte emploie une version lisse associée, il faut préciser le passage effectué au lieu d'effacer les 16 nœuds de la description de départ.

L'étude peut se prolonger par la notion de Point singulier. Elle aide à préciser ce qui distingue un point régulier d'une singularité et prépare l'examen des 16 nœuds de la quartique de Kummer.

Un second prolongement consiste à suivre les deux cadres cités par la définition : les variétés abéliennes et les surfaces K3. La question directrice devient alors celle du rôle joué par la quartique singulière de Kummer dans leur étude, en conservant la distinction entre l'objet initial et les modèles qui lui sont associés.