🔢 mathematics

Envelopes and evolutes

Cet article définit les enveloppes de familles d'espaces linaires et les évolutés de variétés projectives via des singularités de Thom-Boardman, permettant ainsi de vérifier et de généraliser les formules énumératives classiques de Salmon.

Auteurs originaux : Ragni Piene

Publié 2026-03-18

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ragni Piene

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🎨 Les Enveloppes et les Évolutes : Une Danse Géométrique

Imaginez que vous êtes un architecte ou un sculpteur travaillant avec des formes complexes dans l'espace. Ce papier, écrit par Ragni Piene, est comme un manuel avancé pour comprendre comment certaines formes "cachées" se forment autour d'autres formes, un peu comme une coquille autour d'un fruit ou une ombre portée par un objet.

Le titre parle de deux concepts clés : les Enveloppes et les Évolutes. Voici ce qu'ils signifient, sans les formules compliquées.

1. L'Enveloppe : Le Manteau Invisible

Imaginez que vous tenez une règle et que vous la faites glisser le long d'une courbe dessinée sur une table. À chaque instant, la règle touche la courbe. Si vous tracez toutes les positions possibles de cette règle, elles vont former une nouvelle forme qui "enveloppe" la courbe.

L'analogie : Pensez à un nuage de moustiques qui tourne autour d'une personne. La limite extérieure de ce nuage, la forme globale qu'il dessine dans l'air, c'est l'enveloppe.
Dans le papier : Les mathématiciens étudient comment ces "nuages" (ou enveloppes) se forment quand on a des familles de lignes ou de plans qui glissent le long de formes géométriques (des courbes ou des surfaces) dans un espace mathématique abstrait.

2. L'Évolue : La Trace des Centres de Courbure

C'est le concept le plus célèbre, connu depuis l'époque d'Huygens (au 17ème siècle).

L'analogie de la voiture : Imaginez une voiture qui tourne sur une route sinueuse. Pour chaque virage, il existe un point imaginaire au centre du cercle parfait qui correspond à ce virage. Si vous tracez tous ces points centraux au fur et à mesure que la voiture avance, vous dessinez une nouvelle courbe. Cette nouvelle courbe, c'est l'évolue.
Pourquoi c'est important ? L'évolue est le lieu où les "normales" (les lignes perpendiculaires à la route) se croisent. C'est comme si vous regardiez la route depuis le ciel et que vous dessiniez le point où toutes les lignes de visée perpendiculaires se rencontrent.

3. Le Problème : Comment compter les choses ?

Le but principal de ce papier n'est pas seulement de dessiner ces formes, mais de les compter.

En mathématiques, on veut savoir :

Quel est le "degré" de cette forme ? (En gros, à quel point est-elle complexe ou combien de fois elle coupe une ligne droite).
Combien de "points singuliers" a-t-elle ? (Ce sont des endroits bizarres, comme des pointes, des coins ou des pointes de flèches, appelés cusps ou arêtes de rebroussement).

L'analogie du dénombrement :
Imaginez que vous avez un gâteau très compliqué avec des décorations en sucre. Le papier fournit une "recette magique" (des formules) pour dire exactement combien de décorations il y a, combien de pointes il y a, et quelle est la taille totale du gâteau, sans avoir à le compter un par un.

4. La Méthode : Les "Singularités" comme des Signaux

Pour trouver ces nombres, l'auteur utilise des outils très puissants appelés singularités de Thom-Boardman.

L'analogie de la carte routière : Imaginez que vous conduisez. Parfois, la route est lisse. Parfois, elle a un nid-de-poule, un virage en épingle, ou une intersection dangereuse. Ces "accidents" de la route sont les singularités.
Le papier dit : "Si vous savez comment compter les types d'accidents sur une route (les singularités), vous pouvez prédire exactement à quoi ressemblera l'évolue."
L'auteur utilise des formules connues (les polynômes de Thom) comme des outils de calcul automatique pour résoudre des problèmes que des géants des mathématiques du passé, comme Salmon, avaient déjà étudiés mais sans pouvoir généraliser à toutes les dimensions.

5. Pourquoi tout cela ? (Le Contexte)

Ce papier relie l'histoire à la modernité :

Le Passé : Au 19ème siècle, des gens comme Salmon étudiaient ces formes en 3D (comme des surfaces dans l'espace). Ils avaient trouvé des formules, mais c'était difficile à appliquer à des formes plus complexes.
Le Présent : Ragni Piene prend ces idées et les étend à des dimensions supérieures (4D, 5D, etc.) et à des espaces complexes (mathématiques pures). Il montre que les anciennes formules de Salmon sont en fait des cas particuliers d'une règle beaucoup plus grande et plus générale.

En Résumé

Ce papier est un guide de navigation mathématique. Il explique comment, à partir d'une forme simple (une courbe ou une surface), on peut générer une forme plus complexe (l'évolue) en suivant des règles de perpendicularité.

Il donne ensuite des formules universelles (comme une calculatrice géante) pour prédire la taille et la complexité de ces formes nouvelles, en utilisant la théorie des "points de rupture" (singularités) pour éviter de devoir tout dessiner à la main. C'est une manière élégante de dire : "Nous avons trouvé la loi générale qui régit la forme des ombres et des centres de courbure, peu importe la complexité de l'objet original."

1. Problématique et Contexte

L'article s'inscrit dans l'histoire de la géométrie algébrique et différentielle, en particulier l'étude des évolutés (evolutes) de courbes et de surfaces.

Contexte historique : L'étude remonte à Huygens (1673) pour les courbes planes (lieu des centres de courbure), puis a été étendue aux courbes de l'espace par Monge, Darboux et Salmon. Salmon a notamment traité les courbes et surfaces dans l'espace projectif complexe, fournissant des formules énumératives pour les degrés et les singularités.
Le problème : Généraliser la notion d'évoluté aux variétés projectives complexes de dimension arbitraire dans un espace projectif de dimension $n$ . L'objectif est de définir rigoureusement ces objets dans le cadre projectif (sans métrique euclidienne a priori) et de calculer leurs classes de cohomologie (degrés, nombres de singularités) en utilisant la théorie moderne des singularités.

2. Méthodologie

L'auteur adopte une approche combinant la géométrie algébrique, la théorie des faisceaux et la théorie des singularités de Thom-Boardman.

Envelopes de familles d'espaces linéaires :
- Soit $X$ une variété projective non singulière de dimension $r$ dans $\mathbb{P}(V)$ (de dimension $n$ ).
- On considère une famille d'espaces linéaires de dimension $n-r$ paramétrée par $X$ . L'enveloppe de cette famille est définie comme le lieu de branchement de l'application $\psi : \mathbb{P}(F) \to \mathbb{P}(V)$ , où $F$ est un fibré vectoriel sur $X$ .
- Du point de vue des singularités, l'enveloppe correspond à l'image du lieu de singularité de Thom-Boardman $\Sigma_1$ (où le rang de la différentielle de $\psi$ est $\le n-1$ ).
Définition de la perpendicularité et des espaces normaux :
- Pour définir les espaces normaux en géométrie projective, l'auteur introduit une structure « euclidienne » via un hyperplan à l'infini $H_\infty$ et une quadrique non singulière $Q_\infty \subset H_\infty$ .
- La polarité par rapport à $Q_\infty$ permet de définir l'espace normal à $X$ en un point $P$ comme l'espace engendré par $P$ et le polaire de l'intersection de l'espace tangent avec $H_\infty$ .
- Le fibré normal euclidien $E$ est construit à partir du fibré conormal de $X$ .
Définition de l'évoluté :
- L'évoluté de $X$ est défini comme l'image par $\psi$ du lieu de singularité de Thom-Boardman itéré $\Sigma_{1, \dots, 1}$ (avec $n-r$ fois l'indice 1).
- Pour une hypersurface ( $r=n-1$ ), l'évoluté est l'enveloppe des droites normales.
- Pour une courbe ( $r=1$ ) dans $\mathbb{P}^n$ , l'évoluté correspond au lieu des centres de courbure sphérique.
Outils de calcul :
- Utilisation systématique des polynômes de Thom pour calculer les classes de cohomologie des lieux de singularités ( $\Sigma_1, \Sigma_{1,1}, \Sigma_{1,1,1}$ , etc.).
- Calculs explicites des classes de Chern des fibrés tangents et normaux impliqués.

3. Contributions Clés

Définition unifiée et généralisée : L'article fournit une définition intrinsèque des enveloppes et des évolutés pour toute variété projective complexe, généralisant les travaux classiques de Salmon (qui se limitaient aux courbes et surfaces dans $\mathbb{P}^3$ ).
Formules énumératives générales :
- Calcul des classes de cohomologie et des degrés des enveloppes de familles d'espaces linéaires (Propositions 2.4, 2.7, 2.8).
- Formules pour les degrés des lieux singuliers (arêtes de rebroussement, points cuspidaux) en fonction des invariants de la variété de base (genre, degré, classes de Chern).
Généralisation des formules de Salmon :
- Vérification et généralisation des formules de Salmon pour les courbes et surfaces dans $\mathbb{P}^3$ .
- Résolution de certaines ambiguïtés historiques concernant les points d'inflexion et les plans hyper-osculants dans les formules de Salmon.
Lien avec les développantes et les osculateurs :
- Étude des « développantes osculatrices » (osculating developables) et démonstration que l'enveloppe des hyperplans osculateurs est l'union de la $(n-2)$ -ième développante osculatrice et des plans hyper-osculants (Proposition 6.1).

4. Résultats Principaux

Pour les courbes ( $r=1$ ) :
- Le degré de l'enveloppe des espaces normaux (l'évoluté généralisé) est donné par une formule impliquant le degré $d$ , le genre $g$ et le nombre de points de ramification $k_0$ .
- Pour une courbe dans $\mathbb{P}^3$ , le degré de l'évoluté (arête de rebroussement) est $3(3d + 4g - 4 - k_0)$ , ce qui confirme et affine la formule de Salmon ( $5m + \alpha$ ).
- Le nombre de cusps de l'évoluté (correspondant aux sommets de la courbe) est calculé via le lieu $\Sigma_{1,1,1}$ .
Pour les surfaces ( $r=2$ ) :
- Calcul explicite des degrés de l'enveloppe des espaces normaux ($EE$), de sa courbe cuspidale ($CE$) et des points cuspidaux de cette courbe ( $\kappa E$ ) en termes de classes de Chern de la surface et du fibré normal.
- Dans le cas d'une surface de degré $d$ $d$ dans $\mathbb{P}^3$ $P^{3}$ , les formules donnent :
  - $\deg(EE) = 2d(d-1)(2d-1)$
  - $\deg(CE) = 2d(d-1)(11d-16)$
  - $\deg(\kappa E) = 4d(30d^2 - 97d + 78)$
- Ces résultats concordent avec les calculs de Salmon pour les quadriques ( $d=2$ ) et généralisent les résultats pour $d > 2$ .
Cas des hypersurfaces :
- Récupération de la formule de Trifogli pour le degré de l'évoluté d'une hypersurface de degré $d$ .

5. Signification et Impact

Unification théorique : L'article réussit à unifier des concepts géométriques classiques (évolutés, développables, centres de courbure) sous le cadre moderne des singularités de Thom-Boardman. Cela permet de traiter des objets de dimensions supérieures de manière systématique.
Validation historique : En utilisant les polynômes de Thom, l'auteur vérifie rigoureusement les formules de Salmon (19ème siècle) et corrige ou précise certaines interprétations concernant les points d'inflexion et les multiplicités.
Nouveaux outils de calcul : La méthode proposée (calcul des classes de Chern via les polynômes de Thom appliqués aux fibrés normaux) ouvre la voie au calcul de nombres d'intersection complexes pour des variétés de dimensions arbitraires, au-delà de ce qui était accessible par les méthodes classiques de géométrie projective.
Lien avec la géométrie réelle : Bien que le cadre soit complexe projectif, les résultats ont des implications pour la géométrie réelle (courbes et surfaces dans $\mathbb{R}^n$ ), notamment concernant la structure des singularités des enveloppes de familles de plans normaux.

En résumé, ce papier est une contribution majeure à la géométrie algébrique énumérative, offrant un cadre puissant et général pour l'étude des enveloppes et des évolutés, reliant l'héritage de Huygens, Monge et Salmon aux outils modernes de la théorie des singularités.