Pairs of differential forms: a framework for precontact geometry

Cet article établit un cadre géométrique pour les variétés précontact par l'analyse de paires générales de 1-formes et de 2-formes sous des conditions de régularité modérées, caractérisant leurs propriétés, définissant les champs de vecteurs et la dynamique hamiltonienne associés, et illustrant la théorie par divers exemples.

L'essentiel

Imaginez que vous essayez de décrire la forme et le flux d'un espace multidimensionnel complexe. En mathématiques, plus précisément dans un domaine appelé géométrie, nous utilisons des outils appelés formes différentielles. Considérez ces formes comme des « règles » ou des « instructions » qui nous disent comment mesurer des choses comme l'aire, le volume ou la direction au sein de cet espace.

Ce document, écrit par Xavier Gràcia, Ángel Martínez-Muñoz et Xavier Rivas, introduit une nouvelle façon d'appréhender ces règles en les associant par paires. Au lieu d'étudier une règle unique, ils étudient une équipe de deux : une « 1-forme » (appelons-la un Guide de Direction) et une « 2-forme » (appelons-la une Carte d'Aire).

Voici une décomposition de leurs idées en utilisant des analogies simples :

1. L'association : Le Guide de Direction et la Carte d'Aire

Habituellement, les mathématiciens étudient la « Géométrie de Contact », qui est comme une piste de danse très rigide et parfaitement organisée. Dans cette danse, chaque danseur (point dans l'espace) a une direction spécifique qu'il doit suivre, et le sol est si tordu qu'on ne peut jamais glisser de manière fluide en ligne droite sans tourner. C'est un système très strict, « parfait ».

Cependant, les systèmes du monde réel (comme des machines avec des engrenages cassés ou des fluides avec de la friction) ne sont pas toujours parfaits. Ils sont « singuliers » ou « dégénérés ». Les auteurs se demandent : Que se passe-t-il si nous assouplissons les règles ?

Ils proposent d'étudier une paire de formes :

• Le Guide de Direction ($\tau$) : Vous indique quel sens est le « haut » ou l'« avant ».
• La Carte d'Aire ($\omega$) : Vous indique comment les aires tournoient et pivotent.

En étudiant ces deux éléments ensemble, ils peuvent décrire à la fois les pistes de danse parfaites (Contact) et les pistes désordonnées ou brisées (Précontact).

2. La « Classe » : De combien de règles avez-vous besoin ?

Le document introduit le concept de « Classe » de la paire. Imaginez que vous essayez de décrire une pièce.

• Si la pièce est simple, vous pourriez n'avoir besoin que de 3 coordonnées (longueur, largeur, hauteur) pour la décrire.
• Si la pièce est complexe, vous pourriez en avoir besoin de 10.

La « Classe » est un nombre qui indique le nombre minimum de coordonnées nécessaires pour décrire la géométrie à un endroit spécifique.

• Classe Impaire : La géométrie se comporte comme un système de « Contact ». C'est comme un système avec un « leader » unique (appelé champ de vecteurs de Reeb) qui dicte à tout le monde ce qu'il doit faire.
• Classe Paire : La géométrie se comporte différemment. Elle n'a pas de leader unique. À la place, elle possède un « champ de vecteurs de Liouville », qui est plutôt un « facteur d'échelle » ou une « loupe » qui étire l'espace.

Les auteurs montrent que l'on peut déterminer quel type de système l'on possède simplement en regardant si ce nombre de « Classe » est pair ou impair.

3. Les « Leaders » et les « Loupes »

Le document se concentre sur deux types spéciaux de « vecteurs » (des flèches indiquant une direction) qui apparaissent dans ces systèmes :

• Le Vecteur de Reeb (Le Leader) : Il n'existe que lorsque le système est « Impair ». C'est comme un chef d'orchestre. Si vous avez un chef d'orchestre, la musique (la géométrie) est très structurée. Le document prouve que si vous avez une classe impaire, vous devez obligatoirement avoir ce chef d'orchestre.
• Le Vecteur de Liouville (La Loupe) : Il n'existe que lorsque le système est « Pair ». C'est comme un objectif de zoom. Il ne dirige pas ; il change l'échelle des choses. Si vous avez une classe paire, vous avez cette loupe à la place d'un chef d'orchestre.

Résultat crucial : Vous ne pouvez pas avoir les deux en même temps. Un système est soit dirigé par un chef d'orchestre (Impair), soit contrôlé par une loupe (Pair), mais jamais les deux.

4. Changer les règles (Changements Conformes)

L'une des parties les plus intéressantes du document est ce qui se passe lorsque vous changez le « Guide de Direction » en le multipliant par un nombre (une fonction).

• Imaginez que vous avez une carte. Si vous multipliez la carte par un nombre, les directions restent les mêmes, mais l'échelle change.
• Les auteurs ont découvert que si vous changez le « Guide de Direction » de la bonne manière, vous pouvez inverser la parité du système.
  • Vous pouvez transformer un système avec un « Leader » (Impair) en un système avec une « Loupe » (Pair).
  • Ou, vous pouvez transformer un système avec une « Loupe » en un système avec un « Leader ».

Ils fournissent une recette mathématique (une équation spécifique) pour savoir exactement comment changer les règles pour que ce basculement se produise. C'est comme trouver la bonne clé pour ouvrir une porte et transformer une salle de concert en gymnase.

5. Pourquoi cela importe (L'idée de « Précontact »)

Le document utilise ce cadre pour définir la géométrie « Précontact ».

• La Géométrie de Contact est la version « parfaite » (comme un cristal pur).
• La Géométrie de Précontact est la version « imparfaite » (comme un cristal fissuré).

Par le passé, les mathématiciens ont tenté d'étudier ces cristaux fissurés mais se sont heurtés à un obstacle car ils supposaient qu'il y avait toujours un « chef d'orchestre » (vecteur de Reeb). Les auteurs montrent que dans de nombreux cas réels (comme les systèmes mécaniques singuliers), il n'y a pas de chef d'orchestre. En utilisant leur cadre de « Paire », ils peuvent décrire ces systèmes désordonnés avec précision sans avoir besoin qu'un chef d'orchestre existe.

Résumé

Considérez ce document comme un nouveau manuel d'instruction pour décrire des formes.

• Les anciens manuels ne fonctionnaient que pour des formes parfaites et rigides.
• Ce nouveau manuel fonctionne pour à la fois les formes parfaites et les formes brisées ou désordonnées.
• Il y parvient en associant une « direction » à une « aire ».
• Il vous indique que si la forme est « Impaire », elle a un leader ; si elle est « Paire », elle a une loupe.
• Il montre même comment passer de l'un à l'autre en changeant légèrement les règles.

Ce cadre permet aux scientifiques de modéliser des systèmes physiques complexes du monde réel (comme des machines avec de la friction ou des fluides) qui étaient auparavant trop « désordonnés » pour entrer dans les théories géométriques standards.

Résumé technique

Résumé technique : Paires de formes différentielles : un cadre pour la géométrie précontact

Énoncé du problème
L'article traite de la nécessité d'un cadre géométrique rigoureux pour étudier les systèmes lagrangiens singuliers dans le contexte de la mécanique de contact. Si la géométrie de contact modélise efficacement les systèmes dissipatifs, les formulations standards reposent souvent sur l'existence et l'unicité d'un champ de vecteurs de Reeb. Les tentatives précédentes de définir des structures « précontact » (généralisations des structures de contact où la condition de non-intégrabilité est affaiblie) étaient limitées car elles supposaient l'existence d'un champ de vecteurs de Reeb, une hypothèse qui n'est pas toujours satisfaite dans les cas singuliers. De plus, les définitions existantes de formes précontact ne garantissaient pas toujours la constance du rang de la dérivée extérieure, menant à de potentielles dégénérescences. Les auteurs visent à clarifier les fondements géométriques des structures précontact en les analysant comme un cas particulier d'un objet plus général : une paire composée d'une 1-forme et d'une 2-forme.

Méthodologie
Les auteurs adoptent une approche générale en étudiant les « doublets », définis comme des paires $(\tau, \omega)$ consistant en une 1-forme différentielle $\tau$ et une 2-forme $\omega$ sur une variété lisse $M$. Ils imposent des conditions de régularité modérées, exigeant spécifiquement que la paire possède une « classe » constante.

La méthodologie procède par les étapes suivantes :

1. Généralisation de la classe : Le concept de « classe » d'une forme différentielle est étendu aux paires $(\tau, \omega)$. La classe est définie comme le codimension de la distribution caractéristique $K_{(\tau, \omega)} = \text{Ker}\,\tau \cap \text{Ker}\,\omega$.
2. Caractérisation algébrique : Les auteurs caractérisent ces paires par des conditions algébriques impliquant les puissances extérieures de $\omega$ et le produit extérieur $\tau \wedge \omega^r$. Ils établissent la relation entre la parité de la classe (impaire ou paire) et l'existence de champs de vecteurs spécifiques.
3. Objets géométriques : Ils introduisent et analysent des structures géométriques associées, notamment un tenseur de caractéristique $B = \tau \otimes \tau + \omega$, la distribution caractéristique étendue, et une 3-forme étendue $\tau \wedge \omega$.
4. Application aux formes précontact : Le cas spécifique des variétés précontact est traité comme la paire $(\eta, d\eta)$, où $\eta$ est une 1-forme ne s'annulant nulle part. Les résultats généraux sont appliqués pour caractériser les formes précontact de classes impaires et paires.
5. Analyse conforme : L'article étudie comment les transformations conformes (rescalage par une fonction $e^f$) affectent la parité de la classe, dérivant les conditions nécessaires et suffisantes pour qu'une fonction change la classe d'impaire à paire ou préserve la parité impaire.

Contributions clés et résultats

• Classification via la parité de la classe : L'article établit que la parité de la classe d'un doublet $(\tau, \omega)$ détermine l'existence de champs de vecteurs distingués :

  • Classe impaire ($2r+1$) : Équivalente à l'existence d'un champ de vecteurs de Reeb $R$ (satisfaisant $\iota_R \tau = 1, \iota_R \omega = 0$). Dans ce cas, la distribution caractéristique est contenue dans le noyau de $\omega$ mais l'inverse n'est pas vrai.
  • Classe paire ($2r+2$) : Équivalente à l'existence d'un champ de vecteurs de Liouville $\Delta$ (satisfaisant $\iota_\Delta \omega = \tau$). Ici, $\text{Ker}\,\omega \subset \text{Ker}\,\tau$.
  • Crucialement, les champs de vecteurs de Reeb et de Liouville ne peuvent coexister pour une même paire.

• Caractérisations algébriques : Les auteurs fournissent des critères algébriques explicites pour la classe :

  • Classe $2r+1$ : $\omega^{r+1} = 0$ et $\tau \wedge \omega^r \neq 0$.
  • Classe $2r+2$ : $\omega^{r+1} = 0$, $\omega^r \neq 0$, et $\tau \wedge \omega^r = 0$.
    Ces conditions permettent de déterminer la classe sans construire explicitement les champs de vecteurs.

• Structures géométriques :

  • Tenseur de caractéristique : Le tenseur $B = \tau \otimes \tau + \omega$ définit un morphisme de fibré. Pour une classe impaire, $B$ est un isomorphisme si et seulement si la distribution caractéristique est nulle (cas de contact). Pour une classe paire, le noyau de $B$ est lié au champ de Liouville.
  • Distribution caractéristique étendue : Définie par les vecteurs $v \in \text{Ker}\,\tau$ tels que $\iota_v \omega = a\tau$. L'article montre que cette distribution coïncide avec la distribution caractéristique pour les classes impaires, mais est strictement plus grande (engendrée par la distribution caractéristique et un champ de Liouville) pour les classes paires.
  • 3-forme étendue : La forme $\tau \wedge \omega$ est montrée comme étant presque-multisymplectique si et seulement si la classe est égale à la dimension de la variété (et qu'elle est impaire).

• Formes précontact : Une forme précontact est définie comme une 1-forme $\eta$ ne s'annulant nulle part telle que la paire $(\eta, d\eta)$ possède une classe constante.

  • L'article fournit des théorèmes de Darboux pour les classes impaires et paires, donnant des expressions en coordonnées locales pour $\eta$.
  • Il prouve que pour les variétés précontact, la distribution caractéristique, le noyau de $d\eta$ et la distribution caractéristique étendue sont tous involutifs.

• Dynamique Hamiltonienne : Les auteurs définissent la dynamique hamiltonienne sur les variétés précontact en utilisant des formulations qui ne dépendent pas du champ de vecteurs de Reeb. Un champ de vecteurs hamiltonien précontact $X$ pour une fonction $H$ est défini par :
  $$(\iota_X d\eta) \wedge \eta = dH \wedge \eta \quad \text{et} \quad \iota_X \eta = -H$$
  Cette formulation est valide indépendamment du fait que la classe soit impaire ou paire, répondant ainsi à la limitation des travaux précédents qui nécessitaient un champ de Reeb unique.

• Changements de parité conformes : L'article étudie quand un changement conforme $\eta \to e^f \eta$ altère la parité de la classe.

  • De paire à impaire : Une fonction $f$ change la classe de $2r+2$ à $2r+1$ si et seulement si la dérivée de Lie de $f$ le long de chaque champ de vecteurs de Liouville satisfait $\mathcal{L}_\Delta f = -1$.
  • Préservation de l'imparité : Une fonction préserve la classe impaire $2r+1$ si et seulement si $\mathcal{L}_\Gamma f = 0$ pour tout $\Gamma$ dans la distribution caractéristique.
  • Les auteurs fournissent des conditions suffisantes (impliquant l'intégrabilité des distributions) pour l'existence locale de telles fonctions.

Signification et portée
L'article affirme fournir un cadre unifié qui étend la géométrie de contact pour inclure les cas singuliers où la condition standard de non-intégrabilité échoue ou bien où le champ de vecteurs de Reeb n'est pas unique ou n'existe pas. En traitant les structures précontact comme une instance spécifique de paires de formes différentielles, les auteurs récupèrent les résultats connus des géométries de contact, cosymplectiques, symplectiques et présymplectiques tout en offrant de nouvelles perspectives sur le cas de la classe paire.

La principale signification réside dans :

1. Généralisation : Dépasser la restriction aux formes précontact de classe impaire, permettant ainsi d'accommoder une gamme plus large de systèmes lagrangiens singuliers.
2. Formulation indépendante de Reeb : Fournir une définition de la dynamique hamiltonienne sur les variétés précontact qui ne dépend pas de l'existence ou de l'unicité d'un champ de vecteurs de Reeb, ce qui est crucial pour les systèmes singuliers.
3. Clarté structurelle : Clarifier le rôle géométrique de la classe d'une forme et de sa parité dans la détermination de l'existence des champs de vecteurs de Reeb versus Liouville.

Les auteurs précisent que ce cadre est destiné à être appliqué à l'étude des lagrangiens singuliers (tant dépendants de l'action que non-autonomes) et à l'analyse de situations où la classe n'est pas constante, bien que ces applications spécifiques soient notées comme des travaux futurs plutôt que comme des résultats présentés dans le texte actuel.