We study first-order expansions of the real field that are restrained, i.e. that do not define the set of natural numbers. Being restrained is equivalent to several other notions of tameness.In particular: in a restrained structure, all reasonable notions of dimension (topological, Hausdorff, Minkowski, ...) coincide for unary closed definable sets (we also have partial results for non-unary sets)
Dans cet exposé, on présentera plusieurs notions fondamentales de la géométrie tropicale et on s'intéressera tout particulièrement aux groupes d'homologie dans le cadre tropical. Sous certaines conditions, une variété tropicale peut être approximée par une famille à un paramètre de variétés complexes, et des caractéristiques importantes des variétés de cette famille peuvent être exprimées en termes des groupes d'homologie tropicaux de la variété tropicale considérée (travail en commun avec L. Katzarkov, G. Mikhalkin et I. Zharkov).
The parameterized Picard-Vessiot theory aims at studying the differential behavior of solutions of parameterized linear differential equations. It associates to such an equation a linear differential algebraic group (LDAG), that is, a group of matrices whose entries are functions satisfying a fixed set of differential equations. After giving an introduction to this theory, I will show that not all LDAGs can occur as Galois groups over k(x), the field of rational functions in x whose coefficients are functions of a parameter t and characterize those LDAGs that do occur.
La théorie classique de Picard-Vessiot fournit une correspondance galoisienne pour les extensions de corps différentiels. Nous présenterons une correspondance plus fine, sous forme d'une anti-équivalence de catégories entre algèbres de solutions associées à une équation différentielle linéaire (algèbres différentielles engendrées par un nombre fini de polynômes en les solutions fondamentales de l'équation) et variétés affines quasi-homogènes sous l'action du groupe de Galois différentiel. Une telle correspondance joue aussi dans le contexte plus général des connexions (intégrables ou non). Nous évoquerons le parti que cette correspondance permet de tirer, en algèbre […]
J'expliquerai un travail en commun avec Goulwen Fichou, qui consiste à mettre en place un anneau de Grothendieck K_0(BSA_R) des formules semi-algébriques grâce auquel on peut définir, sur le modèle complexe, des fonctions zêta motiviques de singularités réelles. On montre que ces fonctions zêtas sont rationnelles et que leur expression rationnelle définit des fibres de Milnor motiviques des singularités réelles. Il s'agit d'éléments de l'anneau K_0(BSA_R)otimes Z dont on montre qu'ils se réalisent, via le morphisme caractéristique d'Euler, sur la caractéristique d'Euler des fibres de Milnor ensemblistes correspondantes.
In a general set-up for non-archimedean geometry, we show how local Lipschitz continuity implies piecewise Lipschitz continuity (globally on the whole piece) for definable functions. This is joint work with G. Comte and F. Loeser which generalizes previous work by the same three authors for a fixed p-adic field in and which fits in a broader program at the interplay of arithmetic and non-archimedean geometry.
Si X est un espace k-affinoïde (k étant un corps non-archimédien), un sous-ensemble S de X est dit sous-analytique surconvergent si on peut ?Roeessentiellement?R l'écrire S=f(Y) où f est un morphisme surconvergent d'espaces affinoïdes.Nous expliquerons d'abord comment décrire ces ensembles en n'utilisant que des fonctions de X, i.e. sans avoir recours à une projection. Il s'agit d'une version géométrique d'un résultat de H. Schoutens qui utilise l'élimination des quantificateurs dans ACVF.Nous montrerons ensuite que les ensembles sous-analytiques surconvergents peuvent être définis localement pour la topologie de Berkovich, mais pas pour […]
Sheaf theory is not well suited to study objects which are not defined by local properties. It is the case, for example, of functional spaces with growth conditions, as tempered distributions. Since the study of the solutions of a system of PDE in these spaces is of great importance (solutions of irregular D-modules, Laplace transform, etc.), many ways have been explored by the specialists to overcome this problem. For this purpose Kashiwara and Schapira introduced the subanalytic site and proved that some of these spaces can be realized as sheaves […]
It is now well-known what sorts have to be added to a valued field in order to achieve elimination of imaginaries. It is also known that these sorts do not suffice to eliminate imaginaries when the field is enhanced by restricted analytic functions, despite the fact that the theories still have quantifier elimination. In this talk, I will attempt to convey the intuition about the definable sets in a valued field that underlies all of these results (while explaining the model-theoretic terminology in the above).
