Séminaire Géométrie et théorie des modèles

O-minimal structures on the real field have many desirable properties. As examples: (a) Hausdorff (and even packing) dimension agrees with topological dimension on locally closed definable sets. (b) Locally closed definable sets have few rational points (in the sense of the Pila-Wilkie Theorem). (c) For each positive integer p, every closed definable set is the zero set of a definable C^p function. (d) Connected components of definable sets are definable.But to what extent is o-minimality necessary for these properties to hold? I will discuss this question, and illustrate via examples […]

Expanding a model theoretically `tame' structure in a way that it stays `tame' has been a theme in the recent years. In the first part of this talk, we present a history of work done in that frame. Then we focus on the case of expansions of o-minimal structures by a unary predicate. There is a dividing line according to whether the predicate is dense or discrete

Compter les points rationnels de hauteur bornée dans le graphe d'une fonction, ou plus généralement d'une courbe (plane), se ramène à estimer le nombre Z_d de points d'intersection de cette courbe avec un ensemble algébrique de degré d donné. J'expliquerai - d'une part comment on peut produire des familles de fonctions analytiques sur telle que Z_d est polynomialement borné en d, et comment une telle borne assure que le graphe d'une telle fonction recèle moins de log?(T) points rationnels de hauteur < T, - d'autre part comment on peut traiter […]

Dans un travail en commun avec E Hrushovski, nous étudions les corps globalement valués, qui sont une abstraction des corps de nombres, de fonctions, ou autres dans lesquels la formule du produit est vérifiée. Les questions habituelles de la théorie des modèles, telle que l'existence d'une modèle-compagne ou encore sa stabilité, nous mènent vers de nouvelles questions de nature plutôt géométrique.Je vais expliquer quelques avancées récentes dans ce sens, où une analyse géométrique locale nous permet de déduire des propriété globales dans un corps globalement valués.

The talk will focus on results of two related strands of research undertaken by the speaker. The first is a model of quantum mechanics based on the idea of 'structural approximation'. The earlier paper 'The semantics of the canonical commutation relations' (arxiv) established a method of calculation, essentially integration, for quantum mechanics with quadratic Hamiltonians. Currently, we worked out a (model-theoretic) formalism for the method, which allows us to perform more subtle calculations, in particular, we prove that our path integral calculation produce correct formula for quadratic Hamiltonians avoiding non-conventional […]

Pour les corps réel clos, la notion d'o-minimalité a eu un énorme succès

Artin a résolu le 17ème problème de Hilbert : un polynôme réel positif en n variables est somme de carrés de fractions rationnelles. Pfister a amélioré ce résultat en démontrant qu'il est somme de 2^n carrés. Décider si la borne 2^n de Pfister est optimale est un problème ouvert si n>2. Nous expliquerons que cette borne peut être améliorée en petit degré et, en deux variables, pour un ensemble dense de polynômes positifs.

The classical theory of abstract projective geometries establishes an equivalence between axiomatically defined incidence systems of points and lines and projective planes defined over a field. Zilber's Restricted Trichotomy conjecture in dimension one is a generalization of this statement in a sense, with lines replaced by algebraic curves

I discuss a back-and-forth technique for proving that in certain expansions of the complex field every L_{infty, omega}-definable subset of C: is either countable or co-countable. Some successes of the method will also be discussed.

Following the spirit of Grothendieck's Esquisse d'un Programme, the Ihara/Oda-Matsumoto conjecture predicted a combinatorial description of the absolute Galois group of Q based on its action on geometric fundamental groups of varieties. This conjecture was resolved in the 90's by Pop using anabelian techniques. In this talk, I will discuss the proof of stronger variant of this conjecture, using mod-ell two-step nilpotent quotients, while highlighting some connections with model theory.

Soulignée par Nash dans les années 60, l'interaction entre la géométrie des espaces d'arcs et la théorie des singularités s'est fortement amplifiée sous l'influence de la théorie de l'intégration motivique notamment. Dans cet exposé, nous introduirons le schéma des arcs associé à une variété algébrique et donnerons quelques illustrations de cette interaction. Parmi elles, nous parlerons de l'interprétation (possible) du point de vue des singularités d'un théorème de Drinfeld et Grinberg-Kazhdan démontré au début des années 2000. (Cette dernière partie de l'exposé s'appuie sur une collaboration avec David Bourqui.)

Given a system of polynomial equations in m complex variables with solution set of dimension d, if we take finite subsets X_i of C each of size at most N, then the number of solutions to the system whose ith co-ordinate is in X_i is easily seen to be bounded as O(N^d). We ask: when can we improve on the exponent d in this bound?Hrushovski developed a formalism in which such questions become amenable to the tools of model theory, and in particular observed that incidence bounds of Szemeredi-Trotter type […]