Histoire et cultureNotion · Glossaire
Kuperberg Krystyna Maria
Krystyna Maria Kuperberg (née Trybulec en 1944 à Tarnów) est une mathématicienne américaine d'origine polonaise. En 1993, elle construit un contre-exemple lisse à la conjecture de Seifert : sur la variété fermée S³, de dimension trois, un champ de vecteurs non singulier peut avoir des orbites toutes non périodiques. Appelée piège de Kuperberg, cette construction empêche le retour exact des trajectoires.
Sommaire
Ce que vous allez apprendre
- Identifier Krystyna Kuperberg et les étapes essentielles de son parcours.
- Comprendre les hypothèses du contre-exemple lisse à la conjecture de Seifert.
- Suivre le rôle conceptuel du piège de Kuperberg.
- Distinguer orbite périodique, retour approché et absence de mouvement.
En clair
Imaginez un mouvement qui ne s'arrête jamais et dont aucune trajectoire ne revient exactement sur elle-même. En 1993, Krystyna Kuperberg a construit un tel exemple sur la variété fermée S³, de dimension trois. Cette variété est un espace sans bord, et le mouvement y est décrit par un champ de vecteurs non singulier, c'est-à-dire une direction présente en chaque point. Son « piège » ralentit et dévie les trajectoires assez finement pour supprimer toutes les orbites périodiques.
Définition
Krystyna Maria Kuperberg est une mathématicienne américaine d'origine polonaise, née Trybulec en 1944 à Tarnów. Son domaine associe la topologie, qui étudie les propriétés conservées par déformation continue, et la géométrie discrète. Après des études initiales de philosophie à Varsovie en 1962, elle suit les cours d'Andrzej Mostowski en logique mathématique, puis ceux de Karol Borsuk en topologie. Elle obtient une maîtrise en topologie en 1966.
La conjecture de Seifert affirmait que tout champ de vecteurs de classe C², non singulier, sur S³ possède au moins une orbite périodique. Une variété fermée est ici un espace tridimensionnel sans bord ; un champ de vecteurs non singulier y fournit une direction non nulle en chaque point. En 1993, Kuperberg construit un contre-exemple lisse, de classe C∞ : ses orbites sont toutes non périodiques. La construction repose sur le piège de Kuperberg, qui modifie localement un flot pour empêcher le retour exact d'une trajectoire.
Cette contribution s'inscrit dans un parcours marqué par l'émigration de Pologne vers la Suède en 1969, puis vers les États-Unis en 1972. Kuperberg soutient en 1974 un doctorat sur des analogues, en théorie des formes, de théorèmes d'isomorphisme pour les groupes d'homologie et d'homotopie. Elle devient ensuite professeure à l'université d'Auburn, en Alabama, et professeure invitée dans de nombreuses universités. En 1987, elle résout aussi un problème de Bronisław Knaster, soulevé en 1930, sur la bi-homogénéité des continuums.
Un exemple, pas à pas
Pour suivre l'idée sans supposer une image particulière, considérons une trajectoire dans une variété fermée de dimension trois munie d'un champ de vecteurs non singulier. Les données du cas de Kuperberg sont les suivantes : la variété est fermée ; sa dimension est 3 ; le champ de vecteurs est lisse et non singulier ; l'orbite suivie doit être non périodique.
1. Un champ non singulier donne une direction de mouvement en chaque point, et une trajectoire suit ces directions sans s'arrêter par rencontre avec un point singulier.
2. Pour un micro-cas schématique, notons p le point de départ. La trajectoire passe ensuite par q, puis arrive à p’, très proche de p mais distinct de p : ce passage est un retour approché, pas une période.
3. Le test est alors précis : pour chaque temps strictement positif T candidat, on demande si la trajectoire revient exactement en p avec le même état de mouvement. Ici, le passage en p’ échoue déjà puisque p’ n’est pas p ; il ne suffit toutefois pas à exclure tous les autres temps possibles.
4. Introduisons maintenant la règle de réinjection dans ce schéma : au passage prévu vers p’, le piège renvoie la trajectoire vers r, un point de la région déjà rencontrée mais distinct de p’. Le retour candidat est donc remplacé par r ; la règle modifiée empêche ce passage de fermer exactement le parcours initial. Ce dessin logique illustre le mécanisme, sans reconstituer la construction technique complète.
5. Dans la construction de Kuperberg, l’analyse complète de ces passages aboutit à un champ lisse dont les orbites sont toutes non périodiques.
2. Pour un micro-cas schématique, notons p le point de départ. La trajectoire passe ensuite par q, puis arrive à p’, très proche de p mais distinct de p : ce passage est un retour approché, pas une période.
3. Le test est alors précis : pour chaque temps strictement positif T candidat, on demande si la trajectoire revient exactement en p avec le même état de mouvement. Ici, le passage en p’ échoue déjà puisque p’ n’est pas p ; il ne suffit toutefois pas à exclure tous les autres temps possibles.
4. Introduisons maintenant la règle de réinjection dans ce schéma : au passage prévu vers p’, le piège renvoie la trajectoire vers r, un point de la région déjà rencontrée mais distinct de p’. Le retour candidat est donc remplacé par r ; la règle modifiée empêche ce passage de fermer exactement le parcours initial. Ce dessin logique illustre le mécanisme, sans reconstituer la construction technique complète.
5. Dans la construction de Kuperberg, l’analyse complète de ces passages aboutit à un champ lisse dont les orbites sont toutes non périodiques.
Le contrôle conceptuel consiste à tester la définition d'une orbite périodique : il faudrait qu'un temps strictement positif ramène la trajectoire au même point avec le même état de mouvement. La construction de Kuperberg est précisément conçue pour exclure ce retour, sans introduire de singularité dans le champ.
En pratique
En topologie des systèmes dynamiques, le piège de Kuperberg sert de construction de référence pour étudier des flots sans orbites périodiques. Le geste consiste à examiner les retours d'une trajectoire et à vérifier si une période positive les rend exactement identiques.
Pour lire correctement un résultat, on commence par identifier l'espace, sa dimension et la régularité du champ. Si l'espace n'est pas fermé ou si le champ possède des singularités, il faut employer les résultats adaptés à ces hypothèses plutôt que conclure directement à partir du cas de Kuperberg.
Dans l'étude d'un flot, on distingue enfin une trajectoire qui revient près de son point de départ d'une orbite périodique. Le critère observable est le retour exact après un temps strictement positif ; une simple proximité ne suffit pas.
À ne pas confondre
Une orbite non périodique n'est pas une orbite qui s'arrête. Dans la construction étudiée, le champ est non singulier : le mouvement possède une direction non nulle en chaque point. Le critère qui tranche est donc l'absence de retour exact après un temps strictement positif, et non l'absence de mouvement.
Une trajectoire non périodique n'est pas nécessairement éloignée de son point de départ. Elle peut revenir arbitrairement près de celui-ci sans repasser exactement par le même état. La proximité se mesure comme une approche ; la périodicité exige une égalité de retour.
Le piège de Kuperberg n'est pas le nom de la conjecture de Seifert. La conjecture est l'énoncé soumis à la question ; le piège est la construction qui fournit le contre-exemple lisse à cet énoncé en 1993.
Limites et pièges
Le résultat porte sur une variété fermée de dimension trois et sur un champ de vecteurs non singulier. Si l'espace a un bord, si sa dimension change ou si le champ s'annule en un point, la conclusion ne se transfère pas automatiquement. Il faut alors vérifier séparément les hypothèses du théorème ou de la construction utilisée.
Le mot « toutes » est décisif dans l'énoncé : il ne signifie pas seulement qu'une orbite choisie est non périodique. La propriété affirme que chaque orbite du champ construit est non périodique. Une construction où une seule trajectoire évite un cycle ne suffirait donc pas.
Enfin, une déviation visuelle ou un retour seulement approché ne démontre pas l'absence de période. Le piège doit être analysé dans la dynamique complète et conserver la régularité lisse annoncée ; une intuition géométrique seule ne remplace pas cette vérification.
Pour aller plus loin
Pour prolonger cette fiche, la page « conjecture » permet de replacer la conjecture de Seifert dans la logique générale d'un énoncé mathématique soumis à démonstration ou à réfutation. Le gain est de mieux distinguer une question ouverte, un théorème et un contre-exemple.
L'article « Du problème des trois corps au chaos mathématique » ouvre une perspective sur les systèmes dynamiques et leurs comportements complexes. Il aide à situer les flots topologiques dans une famille plus large de problèmes d'évolution.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres
