Genre (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, le genre est un entier naturel associé à certains objets ; il représente en particulier le nombre d'anses (ou de « trous », selon le point de vue) d'une surface caractéristique de l'objet étudié, si cette surface est orientable.

Topologie[modifier | modifier le code]

Surface close[modifier | modifier le code]

Le genre d'une surface (i.e. une variété réelle de dimension 2) « close » (i.e. compacte, connexe et sans bord) est le nombre maximum de courbes fermées simples disjointes pouvant être tracées à l'intérieur de cette surface sans la déconnecter. Autrement dit, dans le procédé de détermination du genre, le complément de la réunion de ces courbes reste connexe.

Plus concrètement, si l'on considère que la surface est en papier, le genre est le nombre maximal de découpages fermés faisables sans que la surface soit séparée en plusieurs morceaux.

C'est un invariant topologique : deux surfaces n'ayant pas le même genre ne sont pas homéomorphes.

Exemples

Le genre g d'une surface close peut également être défini à l'aide de la caractéristique d'Euler χ : l'entier 2 – χ est égal à 2g pour une surface orientable et à g pour une surface non orientable. Une surface close de genre g > 0 est la somme connexe de g tores si elle est orientable et de g plans projectifs réels sinon.

Par extension, le genre d'un corps à anses (en) de dimension 3 est le genre de la surface qui le borde. C'est aussi son nombre d'anses : le nombre maximum de disques D2 plongés qu'on peut lui enlever sans lui faire perdre sa connexité. Par exemple, la boule est de genre 0 et le tore solide D2×S1 est de genre 1.

Courbes algébriques[modifier | modifier le code]

Pour une courbe algébrique projective non singulière sur , ses points forment une surface topologique compacte, on peut alors définir son genre comme étant le genre de cette surface topologique. Sur un corps de base quelconque, le genre est la dimension vectorielle de l'espace des formes différentielles sur la courbe. Les deux notions coïncident sur le corps des nombres complexes.

Exemples
  • Le genre de la droite projective est 0.
  • Le genre d'une courbe non singulière du plan projectif définie par un polynôme homogène irréductible de degré de est égal à .
  • En particulier, une courbe elliptique, qui est une cubique plane non singulière, est de genre 1.

Pour une courbe projective intègre éventuellement singulière, on définit son genre géométrique (en) comme étant le genre de la courbe désingularisée.

  • Pour une courbe singulière projective plane de degré , admettant des points multiples P de multiplicité , et admettant en ces points tangentes distinctes, le genre géométrique se calcule comme suit[1],[2] :

Par exemple, si une cubique non singulière est de genre 1, une cubique ayant un point double est de genre géométrique 0.

Si la courbe admet des points multiples ayant des tangentes multiples, la formule précédente donne seulement un majorant du genre géométrique ; des formules plus précises (mettant en jeu la courbe duale) sont connues sous le nom de formules de Plücker.

Le genre d'une courbe permet de savoir s'il est possible ou non de lui attribuer un paramétrage rationnel. En effet, une courbe admet un tel paramétrage si et seulement si elle est de genre 0. De telles courbes sont dites unicursales.

Théorie des nœuds[modifier | modifier le code]

En théorie des nœuds, on définit le genre d'un nœud K à partir des surfaces qu'il peut border. Une surface de Seifert pour K est une surface compacte, connexe, orientable ayant K pour bord. La valeur minimum du genre des différentes surfaces de Seifert est un invariant intéressant, appelé le genre du nœud. Le genre a notamment une propriété d'additivité vis-à-vis de la composition des nœuds[3].

Concrètement, le genre d'un nœud est le nombre minimal d'anses qu'il est nécessaire d'ajouter à une sphère afin de pouvoir y plonger le nœud.

Exemples

Théorie des graphes[modifier | modifier le code]

Le genre d'un graphe est le plus petit entier p tel que le graphe soit représentable sur une surface orientable de genre p.

Exemples

Références[modifier | modifier le code]

  1. (en) William Fulton, Algebraic Curves: An Introduction to Algebraic Geometry [détail des éditions], W. A. Benjamin (1969), p. 199.
  2. Daniel Perrin, Géométrie algébrique. Une introduction [détail des éditions], EDP Sciences (1995), p. 183.
  3. (en) W. B. Raymond Lickorish, An Introduction to Knot Theory, Springer, coll. « Graduate Texts in Mathematics 175 », (ISBN 0-387-98254-X)

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Lien externe[modifier | modifier le code]

(en) « Nonorientable surfaces: genus or demigenus? », sur math.stackexchange.com