Corps différentiels et flots géodésiques I - Orthogonalité aux constantes pour les équations différentielles autonomes
Differential fields and geodesic flows I - Orthogonality to the constants for autonomous differential equations
Français
L'orthogonalité aux constantes est une propriété issue de l'étude modèle-théorique des équations différentielles algébriques et qui traduit des propriétés d'indépendance algébrique remarquables pour ses solutions.
Dans cet article, on étudie la propriété d'orthogonalité aux constantes dans un langage algebro-différentiel pour les équations différentielles autonomes ainsi que des méthodes effectives pour établir cette propriété. Le résultat principal est un critère d'orthogonalité aux constantes (et sa version en famille) pour les $D$-variétés réelles absolument irréductibles $(X,v)$ s'appuyant sur la dynamique du flot réel associé $(M,\phi)$. Plus précisément, on montre que s'il existe une partie compacte $K$ de $M$, Zariski-dense dans $X$ telle que la restriction du flot à $K$ est topologiquement faiblement mélangeante, alors le type générique de $(X,v)$ est orthogonal aux constantes.
Ce critère sera appliqué dans [18] à l'étude modèle-théorique du flot géodésique sur les variétés riemanniennes compactes à courbure strictement négative, présentées algébriquement.