La théorie ACFA des corps aux différences existentiellement clos est supersimple. La trichotomie (de Zilber) est la propriété suivante des types minimaux : la prégéométrie donnée par acl sur l'ensemble des réalisations du type, est ou bien triviale (acl(A)=igcup_{a in A} acl(a))
Depuis les travaux de Hrushovski sur la conjecture de Mordell-Lang, on sait que la propriété d'orthogonalité aux constantes est centrale dans les corps différentiellement clos puisqu'elle témoigne de la dichotomie entre types minimaux localement modulaires et non localement modulaires.Dans mon exposé, je présenterai un critère d'orthogonalité aux constantes pour les équations différentielles définies sur le corps des nombres réels. J'expliquerai ensuite comment appliquer ce critère à la construction d'équations différentielles orthogonales aux constantes
Soit Y un espace hermitien symétrique. Son fibré tangent est stable au sens de la pente par rapport à la polarisation canonique. Dans cet exposé, on s?RTMintéressera à la question de savoir en restriction à quelles sous-variétés X de Y ce fibré reste stable. Plusieurs résultats généraux montrent que c?RTMest le cas pour des intersections complètes de grand degré. Par un argument cohomologique, nous montrerons que c?RTMest en fait le cas pour toutes les intersections complètes de dimension au moins 3, en dehors d?RTMune liste de contre-exemples évidents. En dimension […]
Nous introduisons la notion de modules l-valués sur un anneau commutatif de Bézout. Un exemple étant l'anneau lui-même muni de l'application vers son groupe de divisibilité (une l-valuation). Dans ce cadre et supposant une propriété de divisiblité, nous montrons un résultat d'élimination relative des quantificateurs. Un des ingrédients est un théorème de Feferman-Vaught pour ces modules l-valués.On en déduit des résultats de décidabilité pour des théories de modules sur certains anneaux de Bézout dénombrables avec “
Nous discuterons des liens entre les proprié
L'exposé portera sur une version forte de quelques questions classiques de la théorie inverse de Galois qui demande que toutes les extensions galoisiennes de Q de groupe G donné puissent être obtenues par spécialisation d'une même extension galoisienne E/Q(T) de groupe G. Après avoir replacé cette variante dans le contexte de la théorie inverse de Galois, j'expliquerai comment la mettre en défaut. Il s'agit d'un travail en cours avec Joachim König.
Une question célèbre posée par Colliot-Thélène demande si l'obstruction de Brauer-Manin à l'approximation faible est la seule obstruction pour les variétés rationnellement connexes. Dans cet exposé, je parlerai du cas particulier des espaces homogènes des groupes linéaires, où la question a été réduite au cas encore plus particulier des espaces homogènes de SLn à stabilisateur fini. Je donnerai notamment deux raisons pour lesquelles ce dernier problème, d'apparence plus simple, est pourtant loin d'être résolu. La première consiste en un lien entre cette question et le problème de Galois inverse. La […]
