UNIVERSITÉS PARIS VI et VII
Institut de mathématiques UMR 7586, Équipe de logique Mathématique

Séminaire : structures algébriques ordonnées

Une rencontre a été organisée à Luminy, du 12 au 16 octobre 2015, pour marquer les 30 ans de notre séminaire,
voir la page du CIRM.

Horaire et localisation usuels (*) :
Mardi 14h15-16h00.
Salle 1016 (1er étage), bâtiment Sophie Germain, Avenue de France, au croisement avec la rue Alice Domon et Léonie Duquet (métro Bibliothèque F. Mitterrand), Paris 13ème.
(*) En tout état de cause il est prudent de consulter les annonces par courrier electronique.
Responsables :
Françoise Delon, Max Dickmann, Danielle Gondard, Tamara Servi.
Programmes et annonces :
Pour les recevoir par courrier electronique, écrire à Max Dickmann.

Retour à la page des séminaires
Retour à la page de l'équipe de logique
Page maintenue par : Françoise Delon


Liste des exposés

13/06/17 Ayhan GÜNAYDIN (Bogazici University, Turquie) résumé
Topological Study of Pairs of Algebraically Closed Fields

06/06/17 Daniel PLAUMANN (University of Dortmund, Germany) résumé
Hyperbolic polynomials and interlacers

30/05/17 Tim NETZER (University of Innsbruck) résumé
On non-commutative quantifier elimination in real algebra

23/05/17 Christopher MILLER (The Ohio State University) résumé
Component-closed expansions of the real line

16/05/17 Françoise DELON (université Paris 7-Denis Diderot) résumé
Dérivabilité des fonctions définissables dans un corps valué C-minimal

02/05/17 Fred WEHRUNG (Université de Caen) résumé
Espaces spectraux de groupes réticulés Abéliens

28/03/17 Journée thématique “Algèbres quasi-analytiques d'Ilyashenko et o-minimalité”

Le problème de Dulac à paramètres concerne l’existence de bornes uniformes sur le nombre de cycles limites d’une famille de champs de vecteurs analytiques dans le plan. Une approche au problème de Dulac à travers la o-minimalité a été explorée, sous certaines hypothèses, par Kaiser, Rolin et Speissegger en 2009.
Cette journée est dédiée à l’exposition des travaux en cours des orateurs, dans l’esprit d’une solution du problème de Dulac à paramètres grâce à des techniques o-minimales.
Programme de la journée :

    10:00 -11:30 Sophie Germain, salle 2015 (2ème étage)

    Orateur : Patrick Speissegger (Konstanz/McMaster)

    Titre : Quasianalytic Ilyashenko algebras I  résumé

    14:00 - 15:00 Sophie Germain, salle 1016 (1er étage)

    Orateur : Tobias Kaiser (Passau)

    Titre : Holomorphic extensions of germs definable in R_an,exp résumé

    15:15 - 15:45 Sophie Germain, salle 1016 (1er étage)

    Oratrice : Zeinab Galal (Paris Diderot)

    Titre : Quasianalytic Ilyashenko algebras II  résumé

 

21/03/17 Pas d'exposé au séminaire sur les structures algébriques ordonnées
Journée en l'honneur de Daniel Lacombe, voir la page.

28/02/17 Maja RESMAN (université de Zagreb, Croatie) résumé
Transseries and formal normal forms

31/01/17 Salma KUHLMANN (University of Konstanz) résumé
Quasi-ordered algebraic structures: a uniform approach to orderings and valuations


31/05/2016 José Fernando GALVAN (Univ. Complutense, Madrid) résumé
On the substitution theorem for rings of semialgebraic functions

15/03/2016 Margaret THOMAS (Université de Constance, Allemagne) résumé
Smooth parameterization in o-minimal structures

09/02/2016 Journée spéciale en l'honneur du 70ème anniversaire de F. Miraglia, dédiée principalement aux formesquadratiques.
10h - 11h. Vincent ASTIER (Univ. College Dublin, Irlande). résumé
Signatures of hermitian forms and positive cones on algebras with involution.

11h15 - 12h15. Danielle GONDARD (IMJ-PRG, Paris 6) résumé
Towards an abstract description of the space of valuation fans.

14h15 - 15h15. Max DICKMANN (IMJ-PRG, Paris 7) résumé
Faithfully quadratic rings; an overview.

15h30 - 16h30. Eberhard BECKER (TU Dortmund, Allemagne) résumé
Sums of powers in function fields in one variable over R.

19/01/2016 Raf CLUCKERS (Université Lille 1) résumé
Real, p-adic, and motivic oscillatory integrals

12/01/2016 Erik WALSBERG (IMJ-PRG, Paris 6) résumé
Geometry over first order expansions of the ordered field of real numbers that do not define the integers

08/12/2015 Esther ELBAZ (Equipe de logique, IMJ-PRG, Paris 7) résumé
Anneaux de Grothendieck et fonctions de paires

01/12/15 Françoise DELON (Equipe de Logique, IMJ-PRG, Paris 7) résumé
Un langage qui donne les boules

24/11/15 Séance annulée


30/06/15 Pawel GLADKI (Université de Silésie, Katowice, Pologne) résumé
Witt equivalence of function fields over global and local fields

23/06/15 Anand PILLAY (Notre Dame University, Indiana, USA) résumé
Minimal flows, definably amenable groups, and o-minimality
ATTENTION !! Changement de salle pour cet exposé. Il aura lieu en Salle 1011 (même heure).  

10/03/15 Gérard LELOUP (Université du Mans) résumé
Groupes cycliquement ordonnés pseudo-c-archimédiens et pseudo-cycliques

03/03/15 Max DICKMANN (Equipe de Logique, IMJ-PRG, Paris 7) résumé
Eventails dans la théorie des semigroupes réels, suite

17/02/15 Max DICKMANN (Equipe de Logique, IMJ-PRG, Paris 7) résumé
Eventails dans la théorie des semigroupes réels

10/02/15 Francisco MIRAGLIA (Universidade de São Paulo, Brésil) résumé
Constructions on real semigroups

7/10/14 Laura PHILLIPS (Univ. de Manchester, Grande-Bretagne) résumé
Some structures interpretable in the ring of continuous semi-algebraic functions on the line


18/02/14 Francisco MIRAGLIA (Universidade de São Paulo, Brésil) résumé
Constructions on real semigroups

26/11/13 Bruno POIZAT (Université Lyon I) résumé
Supergenerix
*Séance exceptionnelle en commun avec le séminaire THÉORIE DES MODÈLES ET GROUPES*

08/10/13 Esther ELBAZ (Université Paris 7-Paris Diderot) résumé
Autour des anneaux de Grothendieck


02/07/13 Franz-Viktor KUHLMANN (Univ. Saskatchewan, Saskatoon, Canada) résumé
Symmetrically complete ordered abelian groups and fields

18/06/13 Luc BELAIR (UQAM, Canada) résumé
Elimination des quantificateurs dans les modules de Ore valués

21/05/13 Alex PRESTEL (Université de Constance, Allemagne) résumé
On rings of continuous real and p-adic valued functions

23/04/13 Pawel GLADKI (Univertsité de Silésie, Pologne) résumé
Orderings and signatures of higher level on multirings and hyperfields

19/03/13 Vincent ASTIER (University College, Dublin, Irlande) résumé
Signatures des formes hermitiennes (Travail en collaboration avec Thomas Unger)

Lundi 18/02/13 Francisco MIRAGLIA (Université Sao Paulo, Brésil)
Robinson's method of diagrams in an intuitionistic setting

27/11/12 Silvain Rideau (ENS Ulm et Université Paris-Sud 11) résumé
Nombres p-adiques et imaginaires (travail commun avec E. Hrushovski et B. Martin)

20/11/12 Salma Kuhlmann (Universität Konstanz, Allemagne) résumé
The (valuative) difference rank of a difference field (Work in progress with M. Matusinski and F. Point)

30/10/12 Jizhan Hong (McMaster University (Canada) et Équipe de Logique Mathématique) résumé
Immediate expansions of fields by valuation

23/10/12 Samaria Montenegro (Équipe de Logique Mathématique) résumé
Propiété de l'indépendance dans \overline{OD_2}

16/10/12 Françoise Delon (Équipe de Logique Mathématique) résumé
Elimination des quantificateurs dans les paires séparées purement résiduelles de corps valués algébriquement clos

09/10/12 Luis Pinto Castaneda (Équipe de Logique Mathématique) résumé
Fusion libre dans ACF_0 : axiomatisation et rang

02/10/12 François Guignot (Équipe de Logique Mathématique) résumé
Au sujet du groupe valué (Z, +, V_p)


05/06/12 Konrad Schmüdgen (Univ. Leipzig, Allemagne) résumé
Positivstellensätze for Algebras of Matrices

29/05/12 Pawel Gladki (Univ. de Silesie, Katowice, Pologne) résumé
Quotients of finite index and general quotients in spaces of orderings

10/04/12 George Attesis (Leeds, Grande-Bretagne) SÉANCE ANNULÉE
Algebraically closed fields with several valuations

21/02/12 Francisco Miraglia (Universidade de Sao Paulo, Brésil) résumé
The Boolean and Profinite Hulls of Reduced Special Groups
(Joint work with H. Mariano, Universidade de Sao Paulo)

07/02/12 Luis Pinto Castaneda (Équipe de Logique Mathématique) résumé
Fusion de corps en caractéristique nulle (sans collapse), Suite et fin

31/01/12 Luis Pinto Castaneda (Équipe de Logique Mathématique) résumé
Fusion de corps en caractéristique nulle (sans collapse), Suite

24/01/12 Luis Pinto Castaneda (Équipe de Logique Mathématique) résumé
Fusion de corps en caractéristique nulle (sans collapse)

17/01/12 Françoise Delon (Université Paris 7) résumé
Expansions C-minimales et non définissablement complètes des corps valués algébriquement clos

10/01/12 Françoise Delon (Université Paris 7) résumé
Paires de corps algébriquement clos

18/10/11 Maria Emilia ALONSO (Univ. Complutense, Madrid, Espagne) résumé
Revisiting Zariski's Main Theorem from a constructive viewpoint
(Joint work with T. Coquand (Univ. Göthenburg), H. Lombardi (Univ. Franche-Comté))

27/09/11 Manfred KNEBUSCH (Universitat Regensburg, Allemagne) résumé
Supervaluations


14/06/11 L. van den Dries (Urbana-Champaign, USA)
The fluent completion of a differential-valued field

08/03/11 M. Matusinski (U. de Versailles-St. Quentin) résumé
Théorème de Puiseux différentiel pour les séries généralisées de rang fini

22/02/11 M. Matusinski (U. de Versailles-St. Quentin) résumé
Derivations de Hardy sur un corps de series exponentiel-logarithmiques

15/02/11 X. Vidaux (U. de Concepcion, Chili) résumé
A survey on Büchi's Problem

08/02/11 F. Miraglia (U. de Sao Paulo, Bresil) résumé
Real Semigroups and Preordered Rings

18/01/11 : S. Kuhlmann (U. Konstanz, Allemagne) résumé
The moment problem for continuous positive semidefinite linear functionals
[Joint work with Mehdi Ghasemi and Ebrahim Samei]

05/10/10 : M. Schweighofer (U. Konstanz, Allemagne) résumé
Un nouveau critère d'inconsistance pour les inégalités matricielles linéaires
[Travail commun avec Igor Klep]

28/09/10 : M. Dickmann (U. Paris 7)
Éventails dans les semigroupes réels et anneaux


01/06/10 : M. Dickmann (U. Paris 7) résumé
Semigroupes réels : spectraux et éventails

04/05/10 : I. Halupczok (U. Munster, Allemagne) résumé
Élimination des quantificateurs dans les groupes abéliens ordonnés

13/04/10 : M. Dickmann
Semi-groupes réels III

06/04/10 : M. Dickmann
Semi-groupes réels II

30/03/10 : M. Dickmann
Semi-groupes réels I

16/03/10 : L. Belair (U. Quebec, Montréal, Canada) résumé
Les vecteurs de Witt et l'algèbre universelle, d'après Joyal

16/02/10 : F. Miraglia (U. S. Paulo, Bresil) résumé
Faithfully quadratic rings (II)

09/02/10 : F. Miraglia (U. S. Paulo, Bresil) résumé
Faithfully quadratic rings (I)

08/12/09 : T. Servi (Centro de Matemática e Aplicações Fundamentais, Lisbonne, Portugal) résumé
Sur la décidabilité du corps des nombres réels avec une fonction puissance générique

10/11/09 : L. Darnière (U. Angers) résumé
(Co)dimension dans les algèbres (co)Heyting
[Travail commun avec M. Junker (U. Freiburg, Allemagne)]

06/10/09 : J. Makowsky (Technion, Haifa, Israel)
Generalized Chromatic Polynomials and Totally Categorical Structures
Séance conjointe avec le séminaire Complexité, Logique et Informatique salles 5D91 ou 5C3 (sera annoncé ulterieurement).

29/09/09 : D. Haskell (McMaster U., Hamilton, Ontario, Canada) résumé
Une borne pour la densité VC des formules dans quelques théories avec la NIP (preuves)

02/06/09 : P. Simon (ENS, Paris) résumé
Théories DP-minimales et arbres

05/05/09 : D. Haskell (McMaster U., Ontario, Canada) résumé
VC density in some theories of fields
Séminaire « hors les murs » : 14h15-16h00 square Héloise et Abélard (tout près du site de Chevaleret). En venant de l'entrée du parc située dans la rue Duchefdelaville, l'exposé se tiendra sur la gauche (au même endroit que la séance du 4 Mai du Séminaire Général). En cas d'intempéries, repli en salle 8B1 à Chevaleret.

27/01/09 : M. Marshall (U. Saskatchewan, Saskatoon, Canada) résumé
The space of R-places of R(x,y) is not metrizable
Exceptionnellement, exposé en salle 5D91

16/12/08 : A. Prestel (U. Konstanz, Allemagne) résumé
Representations of positive real polynomials

09/12/08 : F. Delon (CNRS, U. Paris 7)
Géométries des structures C-minimales pures

02/12/08 : F. Delon (CNRS, U. Paris 7)
Orthogonalité des parties denses et discrètes dans une structure C-minimale avec échange

25/11/08 : V. Astier (U. College, Dublin, Irlande) résumé
Les groupes spéciaux réduits profinis sont des groupes spéciaux de corps
[Collaboration avec Hugo Mariano (Sao Paulo)]
Exceptionnellement, exposé en salle 5A92

18/11/08 D. Plaumann (U. Konstanz, Allemagne) résumé
Denominators in sums of squares and a theorem of Roggero

21/10/08 : M.-H. Mourgues
Structures C-minimales aleph_0 catégoriques
Exceptionnellement, exposé à 14h30 (en salle 8B1)

14/10/08 : F. Maalouf (U. Paris 7)
Des résultats partiels sur la trichotomie de Zilber dans les structures C-minimales
Exceptionnellement, exposé en salle 5C12

07/10/08 : F. Delon (CNRS et U. Paris 7)
Clôture algebrique dans les C-structures C-minimales pures (suite)
Exceptionnellement, exposé de 14h à 15h (en salle 8B1)

30/09/08 : F. Delon (CNRS et U. Paris 7)
Clôture algebrique dans les C-structures C-minimales pures

30/09/08 : F. Delon (CNRS et U. Paris 7)
Structures C-minimales non nécessairement denses


01/07/08 : F.-V. Kuhlmann (U. Saskatchewan, Saskatoon, Canada) résumé
Valuation theory and model theory of tame fields

24/06/08 : M. Marshall (U. Saskatchewan, Saskatoon, Canada) résumé
Strip conjecture (les préliminaires seront rappelés)

17/06/08 : M. Marshall (U. Saskatchewan, Saskatoon, Canada) résumé
Strip conjecture (preuve de résultats préliminaires)

20/05/08 : S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada) résumé
Positive polynomials on projective limits of real algebraic varieties

18/03/08 : N. Guzy (U. Mons-Hainaut, Belgique)
Anneaux p-adiquement clos

19/02/08 : S. Miraglia (U. Sao Paulo, Brésil)
Special groups, rings and algebras of continuous functions

27/11/07 : S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Polynômes positifs (suite)

23/10/07 : M. Marshall (U. Saskatchewan, Saskatoon, Canada) résumé
Closures of preorderings and quadratic modules in polynomial rings

2, 9 et 16 octobre 2007 : S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Polynômes positifs


03/07/07 T. Scanlon (U. California, Berkeley, USA) résumé
Difference equations and the André-Oort conjecture

19/06/07 F. Lucas (U. Angers) résumé
Conjectures liées à la conjecture de Pierce-Birkhoff

03/04/07 P. Simonetta (U. Paris 7)
Groupes abeliens valués U-minimaux (C-minimaux)

20/03/07 S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada) résumé
Polynômes positifs sur des produits fibrés (travail en collaboration avec Mihai Putinar)

06/03/07 F. Maalouf (U. Paris 7)
Structures C-minimales localement modulaire

13/02/07 M. Tressl (U. Passau, Allemagne) résumé
Elementary properties of Zariski - and real spectra (Joint work with Niels Schwartz)

06/02/07 F. Miraglia (U. Sao Paulo, Brésil)
Quadratic form theory over preordered von Neumann-regular rings


30/05/06 C. Rivière (U. Paris 7) résumé
Une modèle-compagne pour la théorie des corps différentiels munis de m ordres

09/05/06 F.-V. Kuhlmann (U. Saskatchewan, Saskatoon, Canada) résumé
Maps on ultrametric spaces, the implicit function theorem and differential Hensel's lemmas

31/01/06 J. Kirby (U. Oxford, Royaume-Uni)
L'exposé fait suite à celui de la veille au Séminaire Général intitulé « Model theory of some differential equations »

24/01/06 F. Miraglia (U. Sao Paulo, Brésil, et U. Paris 7)
Algebraic K-theory and rings with many units

13/12/05 F. Broglia (U. Pise, Italie) résumé
Some remarks about the Global Analytic Nullstellensatz

22/11/05 D. Plaumann (U. Konstanz, Allemagne) résumé
Bounded polynomial maps and the moment problem

25/10/05 Y. N. Moschovakis (U. California, Los Angeles, USA) résumé
Lower bounds for co-primeness and other decision problems in arithmetic

11/10/05 A. Prestel (U. Konstantz, Allemagne)
More about positive polynomials

18/10/05 J. Ruiz (U. Complutense, Madrid, Espagne) résumé
Representation of sums of squares of linear forms

27/09/05 M. Marshall (U. Saskatchewan, Saskatoon, Canada)
A counterexample to the pp conjecture in the theory of spaces of orderings

20/09/05 A. Khelif (IUFM Paris et U. Paris 7) résumé
Idéaux maximaux d'anneaux de fonctions généralisées et compactification


07/06/05 I. Efrat (U. Ben Gurion, Israël) résumé
Generalized Milnor K-rings, orderings, and valuations

24/05/05 C. Sureson (CNRS, U. Paris 7)
Une généralisation des anneaux von Neumann réguliers inspirée des anneaux de Rumely

10/05/05 G. Cherlin (U. Rutgers, New Jersey, USA et U. Lyon 1)
Graphes universels avec sous-graphes exclus

22/03/05 V. Powers (U. Emory, Atlanta, USA) résumé
A New Approach to Hilbert's Theorem on Ternary Quartics

01/03/05 F. Miraglia (U. Sao Paulo, Bresil, et U. Paris 7)
Algebraic K-theory of special groups; an overview

08/02/05 M. Tressl (U. Regensburg et Passau, Allemagne, et U. Paris 7)
Completion of real closed valued fields by stages

18/01/05 A. Nies (U. Auckland, Nouvelle Zélande) résumé
Quasi-finitely axiomatizable groups

19/10/04 J. Madden (Louisiana State U., Bâton Rouge, États-Unis, et U. Angers)
Peculiar ways of ordering real algebras

05/10/04 E. Hrushovski (U. Hébraïque, Jerusalem, Israël, et ENS Paris) résumé
Imaginaries in Henselian valued fields

28/09/04 D. Gondard (U. Paris 6)
Clôture algébrique d'un corps muni d'un fan de valuations


29/06/04 M. Tressl (U. Regensburg, Allemagne) résumé
An elementary theory of real closed fields which carry all o-minimal expansions of R

22/06/04 J. Wilson (U. Oxford, Grande-Bretagne, et U. Paris 7) résumé
Characterizations of finite soluble groups

15/06/04 Exceptionnellement en salle 1C1
A. Petrovich (U. Buenos Aires, Argentine, et U. Paris 7) résumé
Fans in real spectra

01/06/04 T. Scanlon (U. of California, Berkeley, USA) résumé
A local version of the André-Oort conjecture

25/05/04 F.-V. Kuhlmann (U. Saskatchewan, Saskatoon, Canada, et U. Paris 7) résumé
Classification of Artin-Schreier defect extensions, and characterizations of algebraically maximal and defectless fields

18/05/04 L. Darnière (U. Angers) résumé
Modele-complétion pour les treillis de dimension finie

11/05/04 G. Leloup (U. Le Mans)
Séries formelles à exposants cycliquement ordonnés et leurs valuations

29/04/04 A. Martin-Pizzarro (Humboldt U., Berlin, Allemagne) résumé
Galois cohomology of surgical fields

27/04/04 F.-V. Kuhlmann (U. Saskatchewan, Saskatoon, Canada) résumé
Extensions of valuations to rational function fields

09/03/04 S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada) résumé
Positivstellensatze et problème des moments

02/03/04 H. Lombardi (U. Franche-Comté)
Interprétation constructive des espaces spectraux ; application à l'amélioration de quelques théorèmes en algèbre commutative (Kronecker, Stable Range, Splitting off, Forster-Swan...)

10/02/04 F. Miraglia (U. Sao Paulo, Brésil)
Rings with many units and special groups

19/12/03 M. Marshall (U. Saskatchewan, Saskatoon, Canada)
Optimization of quadratic polynomials on a discrete hypercube

16/12/03 M. Kotchetov (U. Carleton, Ottawa, Canada) résumé
Orderability of Hopf algebras

09/12/03 A. Wilkie (Oxford, UK)
On a question of Steinhorn

28/10/03 M. Dickmann (CNRS - U. Paris 7)
Spectres réels abstraits, semigroupes réels et logique ternaire (II)

21/10/03 M. Dickmann (CNRS - U. Paris 7)
Spectres réels abstraits, semigroupes réels et logique ternaire (I)

14/10/03 J. Cimpric (U. Ljubliana, Slovenie)
Ordered Hopf Algebra


01/07/03 S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Primes and irreducibles in exponential integer parts of exponential fields (joint work with Mikhail Kotchetov)

17/06/03 A. Pillay (U. of Illinois, Urbana-Champaign, USA)
Algebraic D-groups and differential Galois theory (2)

10/06/03 A. Pillay (U. of Illinois, Urbana-Champaign, USA)
Algebraic D-groups and differential Galois theory (1)

03/06/03 P. Velez (U. Antonio de Nebrija, Madrid, Espagne)
On the non reduced order spectrum : some remarks and examples

27/05/03 M.J. Edmundo (Lisbonne, Portugal, et Oxford, UK)
Invariance of o-minimal singular (co)homology in elementary extensions

29/04/03 D. Haskell (U. McMaster, Hamilton, Ontario, Canada)
Élimination des imaginaires pour les p-adiques (d'après Hrushovski)

22/04/03 Reporté
J. Rachunek (U. Olomouc, République Tchèque)
Ordered algebras of non-commutative logics

18/03/03 L. Belair (U. du Quebec, Montréal, Quebec, Canada)
Lemme de Hensel à la Greenberg

11/03/03 D. Haskell (U. McMaster, Hamilton, Ontario, Canada)
L'élimination des imaginaires dans les corps algébriquement clos valués (IV)

04/03/03 D. Haskell (U. McMaster, Hamilton, Ontario, Canada)
L'élimination des imaginaires dans les corps algébriquement clos valués (III)

18/02/03 F. Miraglia (U. Sao Paulo, Brésil)
Groupes spéciaux profinis

25/02/03 M. Marshall (U. Sakatchewan, Saskatoon, Canada)
Holomorphy rings and complete real spectra

11/02/03 D. Haskell (U. McMaster, Hamilton, Ontario, Canada)
L'élimination des imaginaires dans les corps algébriquement clos valués (II)

04/02/03 D. Haskell (U. McMaster, Hamilton, Ontario, Canada) résumé
L'élimination des imaginaires dans les corps algébriquement clos valués (I)

21/01/03 M. Tressl (U. Regensburg, Allemagne)
A uniform companion for differential fields of characteristic 0

05/11/02 A.M.W. Glass (Cambridge University, Grande-Bretagne)
Rooted wreath products

08/10/02 S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Parties exponentielles entières du corps de séries exponentielles-logarithmiques


02/07/02 D. Gondard (U. Paris 6 et Institut de Maths. de Jussieu)
R-places

07/06/02 A. Prestel (U. Konstanz, Allemagne)
Representation theorems for commutative real rings
Cet exposé aura lieu exceptionnellement UN VENDREDI, à 14h30, en salle 0D1.

07/05/02 F. Lucas (U. Angers)
Description des idéaux séparants du spectre réel
Cet exposé fera suite à ceux de Lucas et de Spivakovski de décembre 2001.

30/04/02 A. Nesin (Bilgi University, Turquie, et U. Lyon 1)
Les 2-groupes de Suzuki
Cet exposé fera suite à celui de Nesin dans le Séminaire Général, lundi 29 Avril 2002. Il aura lieu en salle 1C1 (notre salle habituelle).

29/04/02 R. Redfield (Hamilton College, N. York, USA)
Lattice-ordered fields of quotients
Cet exposé aura lieu, exceptionnellement, LUNDI 29 Avril à 16h (c'est-à-dire après le Séminaire Général), salle 0D4.

05/03/02 K. Zahidi (U. Paris 7)
La conjecture de Mazur et le 10e. problème de Hilbert

19/02/02 Reporté
F. Miraglia (U. Sao Paulo, Brésil)
The space of saturated subgroups of finite index of a reduced special group

18/12/01 D. Macpherson (U. Leeds, Grande-Bretagne)
Relative categoricity and interpretation of groups

11/12/01 M. Spivakovsky (U. Toulouse III)
Sur la conjecture de Pierce-Birkhoff

04/12/01 B. Teissier (Institut de Mathematiques de Jussieu)
Deux ou trois choses que je sais sur les valuations

27/11/01 G. Leloup (U. Le Mans)
Un regard sur les anneaux : les groupes de divisibilité

13/11/01 I. Bonnard (Max Planck Institute, Bonn, Allemagne)
Fonctions algébriquement constructibles

06/11/01 M. Dickmann (CNRS - U. Paris 7)
Groupes spéciaux réduits et modèles de la logique de la mécanique quantique

23/10/01 F. Lucas (U. Angers)
Autour de la conjecture de Pierce-Birkhoff

06/11/01 M. Dickmann (CNRS - U. Paris 7).
Les groupes spéciaux comme modèles de la logique de la mécanique quantique

19/06/01 S. KUHLMANN (U. Saskatchewan, Saskatoon, Canada)
Chaines lexicographiques

12/06/01 X. VIDAUX (U. Angers et U. Heraklion, Grèce)
10ème problème de Hilbert pour le corps de fonctions méromorphes globales p-adiques

15/05/01 J. KOENIGSMANN (U. Konstanz, Allemagne) résumé
Encoding valuations in absolute Galois group

24/04/01 M. TRESSL
Noether normalization in real differential algebra

27/03/01 : A. MACINTYRE (U. d'Edimbourg, Grande-Bretagne)
Approximating Volumes in o-minimal and p-minimal Theories

13/03/01 : V. ASTIER (U. Regensburg, Allemagne)
Algèbres de quaternions non associatives

06/03/01 : M. DICKMANN (U. Paris 7)
Plongements de groupes spéciaux des corps formellement réels dans leur enveloppe pythagoricienne (2)
Suite et fin de l'exposé de F. MIRAGLIA du 20.02.2001.

27/02/01 : J. DENEF (U. Leuven, Belgique)
Some problems on p-adic integration

20/02/01 : F. MIRAGLIA (U. Sao Paulo, Brésil)
Special group embeddings of formally real fields into their Pythagorean closure (1)

15/01/01 : R. CLUCKERS (K. U. Leuven, Belgique)
Semi-algebraic p-adic Geometry
(exceptionnellement à 14h salle 0D9)

17/10/00 : F. ACQUISTAPACE (U. Pise, Italie)
Schmüdgen analytique.

10/10/00 : F. BROGLIA (U. Pise, Italie)
Propriété d'Artin-Lang pour les germes de fonctions C^infini.

26/09/00 : A. PETROVICH (U. Buenos Aires, Argentine)
Three-valued logic and abstract real spectra.


22/06/00 : M. MARSHALL (U. Saskatchewan, Saskatoon, Canada) résumé
Recent developments in semi-algebraic geometry arising from Schmuedgen's solution of the K-Moment Problem
Exceptionnellement, 17h salle 0 C 2

20/06/00 : S. KUHLMANN (U. Saskatchewan, Saskatoon, Canada) résumé
A maximality property of the Hardy field H(Ranpowers).

30/05/00 : F. LUCAS (U. Angers)
Groupes réticulés à valeurs spéciales

23/05/00 : M.-H. MOURGUES (IUFM Creteil et U. Paris 7)
Corps p-minimaux avec des fonctions de Skolem définissables

16/05/00 : M. DICKMANN (U. Paris 7)
Bornes dans la théorie des corps pythagoriciens

25/04/00 : J. L. BELL (U. Western Ontario, Canada)
Boolean algebras and distributive lattices treated constructively

14/03/00 : O. FRECON (U. Lyon 1)
Sous-groupes de Hall généralisés dans les groupes de rang de Morley fini (salle 1C7 ou 1C9)

25/01/00 : P. DELLUNDE (U. Barcelona, Espagne, et U. Paris 7)
Corps séparablement clos considérés comme modules

11/01/00 : F.-V. KUHLMANN (U. Saskatoon, Canada)
A theorem about maps on ultrametric spaces and its applications to valued differential and difference fields

07/12/99 : A. DELOBELLE (U. Paris 7)
Conjecture de Zil'ber dans les Géométries de Zariski

07/12/99 : A. DELOBELLE (U. Paris 7)
Géométries de Zariski

16/11/99 : E. JALIGOT (U. Lyon 1) résumé,
Quelques configurations de petits groupes simples de rang de Morley fini

25/10/99 : K. TENT (U. Würzburg, Allemagne)
Split (B, N)-pairs of rank 2

05/10/99 : E. HRUSHOVSKI (U. Jerusalem, Israel)
Élimination des imaginaires dans les corps valués algébriquement clos.


29/06/99 : F. LOESER (U. Paris 6)
Corps pseudo-finis et invariants additifs des ensembles definissables

22/06/99 : C. HOLLAND (U. Bowling Green, USA, et U. du Mans) résumé
Equational classes of automorphism groups of ordered structures

18/06/99 : A. PRESTEL (U. Konstanz, Allemagne)
Model theory of real closed rings

08/06/99 : C. SCHEIDERER (U. Duisburg, Allemagne)
Sums of squares in local and global geometric rings

09/02/99 : F. MIRAGLIA (U. Sao Paulo, Brésil)
Projective modules in sheaves over quantales

15/12/98 : Marie Hélène MOURGUES (IUFM Créteil)
Inégalités de tojasiewicz pour les expansions o-minimales de R (2)

08/12/98 : Marie Hélène MOURGUES (IUFM Créteil)
Inégalités de tojasiewicz pour les expansions o-minimales de R

01/12/98 : François LUCAS (U. Angers)
Spectres réels

24/11/98 : Françoise DELON (U. Paris 7)
Corps séparablement clos

10/11/98 : François LUCAS (U. Angers)
Paires de groupes abéliens ordonnés divisibles

03/11/98 : Patrick SIMONETTA
Groupes C-minimaux

20/10/98 : Luc BELAIR (UQAM, Montréal, Canada)
Vecteur de Witt avec un prédicat pour les représentants de Teichmuller, d'après van den Dries

06/10/98 : Françoise DELON (U. Paris 7)
17ème problème de Hilbert pour les sommes de puissances 2n dans les corps des fonctions


30/06/98 : Salma KUHLMANN (U. de Saskatchewan, Saskatoon, Canada)
La non-unicité de l'exponentielle

23/06/98 : Franz-Viktor KUHLMANN (U. de Saskatchewan, Saskatoon, Canada)
Valuation theoretic and model-theoretic aspects of local uniformization

28/04/98 : Luck DARNIÈRE (U. Rennes 1) résumé
Anneaux PAC, PRC ou PpC

31/03/98 : MIRAGLIA
K-theory of special groups




Liste des résumés

06/06/17 Daniel Plaumann (University of Dortmund, Germany)
Hyperbolic polynomials and interlacers
A real polynomial in one variable is real-rooted if and only if it is the characteristic polynomial of a real symmetric matrix. Hyperbolic polynomials are the multivariate generalizations of real-rooted polynomials and their relation to matrices is far more intricate. A key role is played by interlacing polynomials, whose zeros are nested in between those of a given hyperbolic polynomial. This talk will survey some known results as well as work in progress.

13/06/17 Ayhan Günaydin (Bogazici University, Turquie)
Topological Study of Pairs of Algebraically Closed Fields
The study of an algebraically closed field K with a distinguished algebraically closed field L goes back to Keisler's work in 1964, where he proves a completeness result. Since then there had been many developments around such pairs and more general kinds of pairs of stable structures. In this talk, we equip each K^n with a topology refining Zariski topology in a way that sets definable in the pair (K,L) are precisely the constructible sets of this topology. We shall also mention the relations of this topology with Morley rank and another notion of dimension arising from a pregeometry.

06/06/17 Daniel Plaumann (University of Dortmund, Germany)
Hyperbolic polynomials and interlacers
A real polynomial in one variable is real-rooted if and only if it is the characteristic polynomial of a real symmetric matrix. Hyperbolic polynomials are the multivariate generalizations of real-rooted polynomials and their relation to matrices is far more intricate. A key role is played by interlacing polynomials, whose zeros are nested in between those of a given hyperbolic polynomial. This talk will survey some known results as well as work in progress.

30/05/17 Tim Netzer (University of Innsbruck)
On non-commutative quantifier elimination in real algebra
Quantifier elimination is a strong and useful tool in classical (commutative) real algebra and geometry. Non-commutative real algebra and geometry is a recently emerging area of research, with many interesting applications in pure and applied mathematics. Quantifier elimination would be a highly desirable tool here as well. There are some results in that direction, mostly negative. We will give a survey on this question, presenting some new results, among which is also a first positive one.

23/05/17 Christopher Miller (The Ohio State University)
Component-closed expansions of the real line
We consider expansions M of the real line (R,<) having the property that, for all sets E definable in M, each connected component of M is definable in M; we then say that M is "component closed". Some notable examples are: (a) o-minimal M; (b) M=(R,<,+,x,Z); and (c) the "component closure" of M (defined in an obvious way). I will demonstrate that, in contrast to cases (a) and (b), the question "Is M component closed?" can be difficult to answer even if the model theory of M is well understood. This is very preliminary joint work with Athipat Thamrongthanyalak.

16/05/17 Françoise Delon (Université Paris 7-Denis Diderot)
Dérivabilité des fonctions définissables dans un corps valué C-minimal
Dans une expansion o-minimale d'un corps réel clos, une fonction définissable unaire est dérivable presque partout. La preuve est facile (il n'y a quelque chose à montrer que si la structure du corps est enrichie, puisqu'une fonction définissable dans le pur corps est algébrique par morceaux). Que se passe-t-il dans un corps valué C-minimal ? On appelle ainsi un corps valué tel que, dans n'importe laquelle de ses extensions élémentaires, toute partie définissable est combinaison booléenne de boules. Un pur corps valué C-minimal n'est rien d'autre qu'un corps valué algébriquement clos. La caractéristique peut être positive, il y a alors des fonctions nulle part dérivables, c'est le cas du Frobenius inverse. La question est ouverte en caractéristique nulle. Nous considérerons plus précisément le cas des corps valués dans Q et complets. Il s'agit d'un travail en commun avec Pablo Cubides-Kovacsics.

02/05/17 Fred Wehrung (Université de Caen)
Espaces spectraux de groupes réticulés Abéliens
Le spectre X d'un groupe réticulé Abélien G est l'ensemble de ses l-idéaux premiers, muni de la topologie dont les fermés sont les ensembles d'idéaux premiers contenant un l-idéal donné. Il est connu depuis longtemps que X est un espace spectral généralisé, c'est à dire que tout fermé irréductible est l'adhérence d'un unique singleton (on dit que X est sobre) et les ouverts quasi-compacts de X forment une base de la topologie de X, close par intersection de deux membres quelconques. Il est également connu que X est complètement normal, c'est à dire que pour tous points x, y, z de X, si x et y appartiennent à la fermeture de {z}, alors x appartient à la fermeture de {y} ou y appartient à la fermeture de {x}. Un exemple de Delzell et Madden montre que ces propriétés ne caractérisent pas les spectres de groupes réticulés Abéliens. Cependant, cet exemple n'a pas une base dénombrable d'ouverts. Le but de cet exposé est d'esquisser ma preuve (aussi longtemps qu'elle survit...) que tout espace spectral généralisé, complètement normal, à base dénombrable, est le spectre d'un groupe réticulé Abélien. L'étape préliminaire de la preuve est la réduction du problème à un problème de théorie des treillis, en l'occurrence la caractérisation des treillis d'idéaux principaux de groupes réticulés Abéliens (disons l-représentables). Dans le cas dénombrable, les l-représentables sont caractérisés au premier ordre, alors que dans le cas général, les l-représentables ne peuvent pas être décrits par une classe d'énoncés L_{\infty,\omega}.

28/03/17 Patrick Speissegger (Konstanz/McMaster)(Universités de Constance/McMaster)
 Quasianalytic Ilyashenko algebras I
 Quasianalytic Ilyashenko algebras I (Patrick Speissegger) In 1923, Dulac published a proof of the claim that every real analytic vector field on the plane has only finitely many limit cycles (now known as Dulac’s Problem). In the mid-1990s, Ilyashenko completed Dulac’s proof ; his completion rests on the construction of a quasianalytic class of functions. Unfortunately, this class has very few known closure properties. For various reasons I will explain, we are interested in constructing a larger quasianalytic class that is also a Hardy field. This can be achieved using Ilyashenko’s idea of superexact asymptotic expansion. (Joint work with Zeinab Galal and Tobias Kaiser)

28/03/17 Tobias Kaiser (Passau (Université de Passau)
 Holomorphic extensions of germs definable in R_an,exp
 A holomorphic extension theorem for log-exp-analytic functions (Tobias Kaiser) The germs of functions definable in the o-minimal structure R_an,exp are known to be real analytic and therefore have holomorphic extensions on some complex domains. We give a precise description of domains on the Riemann surface of the logarithm on which they have biholomorphic extensions, and we show that these extensions are maximal in a certain sense. As an application, we obtain an upper bound on the complexity of a term defining the compositional inverse of a germ f, in terms of the complexity of the term defining f itself. (Joint work with Patrick Speissegger)

28/03/17 Zeinab Galal (Université Paris Diderot)
 Quasianalytic Ilyashenko algebras II
As our goal is to prove o-minimality of the structure generated by the functions in the Ilyashenko algebra constructed earlier, we need an extension to several variables stable under certain operations (such as blow-up substitutions). As a first step towards the several variable extension, we construct a one-variable extension where the monomials are allowed to be any so-called principal monomial in R_an,exp. This can done thanks to the holomorphic extension theorem for the germs in the Hardy field H of R_an,exp. The resulting Hardy field also extends H itself. (Joint with Tobias Kaiser and Patrick Speissegger)

28/02/17 Maja Resman (Université de Zagreb, Croatie)
Transseries and formal normal forms
A transseries is a generalised formal series whose monomials involve not only powers, but also exponentials and logarithms. Transseries play an important role in dynamical systems as asymptotic expansions of certain functions. Classical results show how, given a holomorphic dynamical system, one can determine a simple normal form. We show how to extend the formal version of this result to certain transseries - the so-called Dulac transseries, which appear in the study of Hilbert's 16th problem. We give some motivation in relation to fractal analysis and dynamical systems. This is a joint work with P. Mardesic, J.P.Rolin and V. Zupanovic.

31/01/17 Salma Kuhlmann (University of Konstanz)
Quasi-ordered algebraic structures: a uniform approach to orderings and valuations
In the note "Quasi-Ordered Fields" by S. M. Fakhruddin [JPAA 45 (1987) 207-210] the author introduces the notion of a quasi-ordered (q.o.) field and shows the following dichotomy: a q.o. field is either an ordered field or a Krull valued field. We take this approach further to exhibit a theory of q.o. convex valuations. Classical results on (order) convex valuations can be reformulated for q.o. convex valuations in a natural way. In particular, this provides an elegant and uniform treatment of lifting of orderings, coarsening and composition of valuations. In this talk, I will present a version of a classical theorem in real algebra (the Baer-Krull theorem) for quasi-ordered algebraic structures.


31/05/16 José Fernando GALVAN (Univ. Complutense, Madrid)
On the substitution theorem for rings of semialgebraic functions
Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is essentially the evaluation homomorphism at a certain point $p\in F^n$ \em adjacent \em to the extended semialgebraic set $M_F$. This type of result is commonly known in Real Algebra as Substitution Theorem. In case $M$ is locally closed, the results are neat while the non locally closed case requires a more subtle approach and some constructions (weak continuous extension theorem, \em appropriate immersion \em of semialgebraic sets) that have interest on their own. We deal with the same problem for the ring of bounded (continuous) semialgebraic functions getting results of a different nature.

15/03/16 Margaret THOMAS (Université de Constance)
Smooth parameterization in o-minimal structures
The counting theorem of Pila and Wilkie opened up one of the most important developments in model theory in recent years. It provides a bound on the density of rational points for sets definable in o-minimal expansions of the real field, a result which has had several stunning number-theoretic applications (e.g. to the Manin-Mumford and André-Oort Conjectures). Central to the proof of the theorem is an o-minimal version of Yomdin-Gromov parameterization, a type of `smooth parameterization', the decomposition of sets using functions with controlled higher-order derivatives. Originally introduced to study topological entropy and volume growth in smooth dynamics, this technique also has other important geometric and arithmetical consequences. We will provide some background on various applications of smooth parameterizations, and, time permitting, discuss different aspects of ongoing work to improve them using o-minimality. In addition to returning to the original realm of smooth dynamics, one direction is the pursuit of an effective version of the Pila--Wilkie Counting Theorem (the subject of the later Séminaire de Théorie des Modèles et Groupes). Another direction is the study of `mild parameterization', another type of smooth parameterization, in o-minimal structures. This is aimed towards a conjecture of Wilkie, which proposes a significant sharpening of the Pila--Wilkie bound for sets definable in the (o-minimal) real exponential field, to approach which mild parameterization has been the main geometric tool used to date.

09/02/16, 10h - 11h. Vincent ASTIER (Univ. College Dublin, Irlande).
Signatures of hermitian forms and positive cones on algebras with involution.(Joint work with T. Unger)
I will briefly present signatures of hermitian forms and their links with morphisms from the Witt groups of hermitian forms into Z. I will then introduce a notion of positive cones on algebras with involution that corresponds to the notion of signature, and will discuss some of their properties such as a characterization of (weighted) sums of hermitian squares, a notion of "formally real" and of "spaces of orderings".
09/02/16, 11h15 - 12h15. Danielle GONDARD (IMJ-PRG, Paris 6)
Towards an abstract description of the space of valuation fans.
First we present background in real algebra to introduce valuation fans and related topics. Then, motivated by an old problem of Marshall of the 70', which is still unsolved, of the realizability of abstract spaces of orderings as spaces of orderings of a field, we present some results and notions -- joint work with Murray Marshall -- which could lead to a notion of abstract space of valuation fans. In order to have a positive answer, the question of realizability has certainly to be reformulated using new notions.
09/02/16, 14h15 - 15h15. Max DICKMANN (IMJ-PRG, Paris 7)
Faithfully quadratic rings; an overview.
In a recently published issue of Memoirs of the AMS (n° 1128, November 2015) Miraglia and I introduced the notion of "faithfully quadratic ring" (abbreviated FQR; rings here are commutative, unitary and, frequently, 2 is invertible) and studied their theory. FQR's are (amongst others) preordered (p-)rings satisfying certain axioms guaranteeing that their theory of quadratic forms with invertible coefficients shares many formal properties with that of fields (of characteristic 0), even though the rings themselves may be far from being fields. Thus, a number of structural results concerning quadratic forms known to hold for fields extend to forms with invertible coefficients over FQRs; outstanding examples are the Arason-Pfister Hauptsatz, Marshall's signature conjecture, a local-global version of Sylvester's inertia law, etc. Examples of FQR's are: 1) Rings with many units. 2) Reduced f-rings (herein rings of real-valued continuous functions on a topological space). 3) Archimedean p-rings with bounded inversion. The talk will present an overview of results concerning FQR's and discuss some of these examples.
09/02/16, 09/02/16 15h30 - 16h30. Eberhard BECKER (TU Dortmund, Allemagne)
Sums of powers in function fields in one variable over R.
In 1934 E. Witt showed that every sum of squares in such a field is in fact a sum of two squares. In the 1960's it was A. Pfister who broadly extended this result to function fields in n variables over any real closed field. In this latter case, 2^n squares suffice. Regarding a generalization to the case of sums of powers with exponents larger than 2 much less is known. This is partly due to the fact that the well developed theory of quadratic forms has no counterpart in the setting of higher degree forms. New methods have to be found. The present talk will focus on the one-variable case over R where a blend of algebraic and topological ideas have already led to interesting and somewhat satisfactory results. After briefly touching non-formally-real function fields, the talk will turn to a formally-real function field F in one variable over R. Such field is the function field of a smooth projective curve over R. The set of real points ? of this projective curve turns out to be a compact 1-dimensional C^8 -manifold, hence diffeomorphic to the topological sum of finitely many, say r, circles S^1 . Furthermore, each element f ? F induces a continuous function fˆ on ? with values in the real projective line P^1 . The first main result reads: The representation F ? C(?, P 1 ), f ? fˆ has dense image relative to the compact-open topology. This result finds an algebraic interpretation which in turn is one key for quantitative results on sums of higher powers. Let H := {f ? F | f(?) ? R}. It turns out that this ring, usually referred to as the real holomorphy ring of F, is a Dedekind ring with quotient field F of finite class number 2^r. The structure of its group of units and the ideal structure of H is a rich source for statements on sums of powers of any exponent. In particular, the representation theorem above is seen to be equivalent to the following surprising fact: Every totally positive unit of H is the sum of 2 squares of totally positive units. This statement can be understood as a variant of Witt's result quoted above. So far, no other proof has been found that avoids the topological representation. Using all this one can prove: (1) given an exponent n there exists a higher Pythagoras number p_n such that every sum of n-th powers in F is a sum of at most p_n terms of n-th powers; (2) there are feasible bounds for p_n; (3) p_3 = 3, p_4 = 6.

19/01/16 Raf CLUCKERS (Université Lille 1)
Real, p-adic, and motivic oscillatory integrals
In the real, p-adic and motivic settings, we will present recent results on oscillatory integrals. In the reals, they are related to subanalytic functions and their Fourier transforms. In the p-adic and motivic case, there are furthermore transfer principles and applications in representation theory and the Langlands program. This is joint work with Comte, Gordon, Halupczok, Loeser, Miller, Rolin, and Servi (in various combinations).

12/01/16 Erik WALSBERG (IMJ-PRG, Paris 6)
Geometry over first order expansions of the ordered field of real numbers that do not define the integers
Let $\mathfrak{R}$ be a first order expansion of $(\mathbb{R},<,+,\times)$ that does not define the set of integers. We discuss some results about the geometry of $\mathfrak{R}$-definable sets. In particular we discuss the following: a k-dimensional definable closed subset of $\mathbb{R}^k$ with finite k-dimensional Hausdorff measure is, up to a definable set of dimension < k, a $C^1$-submanifold of $\mathbb{R}^k$. We also describe the central conjecture concerning such structures.

08/12/15 Esther ELBAZ (Equipe de Logique, IMJ-PRG, Paris 7)
Anneaux de Grothendieck et fonctions de paires
Si $p$ est une bijection d'un ensemble $M$ dans $M^2$, on dit que $p$ est une fonction de paire sans cycle si pour tout terme $t(x_1,.. ., x_n)$ formé à partir de $p$, et qui n'est pas une simple variable, on a, pour tous $a_1,\ldots, a_n \in M$, $t(a1,\ldots, a_n) \neq a_1$. La théorie des fonction de paires sans cycles a été étudiée par plusieurs auteurs. Il a notamment été montré qu'elle est complète et un langage qui permette l’élimination des quantificateurs a été décrit. Après avoir fait des rappels sur la notion d'anneaux de Grothendieck en théorie des modèles, le but de cet exposé sera de montrer que celui des modèles de la théorie des fonctions de paires sans cycles est isomorphe à $\mathbb{Z}[x]/(X-X^2)$.

01/12/15 Françoise DELON (Equipe de Logique, IMJ-PRG, Paris 7)
Un langage qui donne les boules
Nous considérons les corps valués dans un langage à trois sortes, pour les éléments du corps, du groupe de valuation, et pour les boules. Nous présentons une expansion par définition dans ces sortes qui permet d'éliminer les quantificateurs dans les corps valués algébriquement clos de caractéristique résiduelle nulle. Nous obtenons donc la description de la structure induite par le corps sur l'ensemble de ses boules (ou plutôt celles de son anneau de valuation), qui n'est autre que l'arbre canonique de la C-relation.


30/06/15 Pawel GLADKI (Université de Silésie, Katowice, Pologne)
Witt equivalence of function fields over global and local fields
In this talk we investigate the Witt equivalence of certain types of fields. In particular, we show that for two Witt equivalent function fields over global fields there is a natural bijection between certain Abhyankar valuations of these fields, that corresponds to Witt equivalence of respective residue fields. We also examine to what extent this result carries over to local fields.

23/06/15 : Anand Pillay (Notre Dame University, Indiana, USA)
Minimal flows, definably amenable groups, and o-minimality
This is joint work with Ninyuan Yao. We answer some questions of Newelski and Chernikov-Simon about the relations between weak generic types and almost periodic types for definable groups in NIP theories. The general theme here is stable groups in unstable environments and I will give necessary background.

10/03/15 : Gérard Leloup (Université du Mans)
Groupes cycliquement ordonnés pseudo-c-archimédiens et pseudo-cycliques
On commencera par quelques rappels sur les groupes cycliquement ordonnés, puis on présentera des résultats d'un travail rédigé avec François Lucas (Angers). Un groupe cycliquement ordonné c-archimédien est un groupe cycliquement ordonné isomorphe à un sous-groupe du groupe multiplicatif K des complexes de module 1. Tout groupe cycliquement ordonné fini est c-archimédien, et en particulier il est cyclique et discret. Tout sous-groupe infini de K est dense. La définition des groupes cycliquement ordonnés c-réguliers est analogue à celle des groupes ordonnés réguliers. Dans ce travail on montre que tout groupe c-régulier dense est élémentairement équivalent à un sous-groupe infini de K, que tout groupe c-régulier discret est élémentairement équivalent à un ultraproduit de groupes cycliques finis. Un groupe cyclique infini est isomorphe au groupe additif Z des entiers; on définit une propriété du premier ordre (re) telle que tout groupe cycliquement ordonné discret vérifiant (re) est élémentairement équivalent ou bien à Z, ou bien à un ultraproduit de groupes cycliques finis. Un groupe cycliquement ordonné non c-archimédien peut donc être qualifié de pseudo-c-archimédien s'il est c-régulier, et de pseudo-cyclique s'il est discret et vérifie (re).

03/03/15 : Max Dickmann (Equipe de Logique, IMJ-PRG, Paris 7)
Eventails dans la théorie des semigroupes réels, suite
Suite de l'expose du 17.02.15.

17/02/15 : Max Dickmann (Equipe de Logique, IMJ-PRG, Paris 7)
Eventails dans la théorie des semigroupes réels
Je commencerai par un rappel de la notion d'"éventail" ("fan" en anglais) dans les théories de corps ordonnés, des espaces d'ordres abstraits et des groupes spéciaux, et de leur role en géométrie réelle. Ensuite je présenterai un analogue de cette notion dans le cadre des semigroupes réels et de leurs structures duales, les spectres réels abstraits. Je décrirai les propriétés fondamentales ---algebriques, topologiques et combinatoires--- de cette classe d'objets, et leur interprétation dans le contexte des anneaux. Enfin, je vais analyser la structure fine des "ARS-fans" (éventails dans la catégorie des spectres réels abstraits) au moyen de certaines involutions. Cette technique permet d'exhiber des contraintes fortes sur leur ordre de spécialisation, et de prouver que la structures des ARS-fans finis est complètement déterminée par leurs ordre de spécialisation. J'utiliserai des notions introduites dans l'expose de Miraglia du 10.02.15. (Travail joint avec A. Petrovich, Univ. de Buenos Aires.)

10/02/15 : Francisco Miraglia (Universidade de São Paulo, Brésil)
Constructions on real semigroups
After a brief introduction to the notion of real semigroup, we introduce some constructions and describe their spaces of characters: products, continuous functions, inductive limits and RS-sums (an analog of coproducts). We prove new properties of the functor from preordered rings to real semigroups and shall comment on the question of existence of extensions.

07/10/14 : Laura Phillips (Univ. de Manchester, Grande-Bretagne)
Some structures interpretable in the ring of continuous semi-algebraic functions on the line
For a real closed field R, let Csa(R^n, R) be the ring of continuous, semi-algebraic functions from R^n to R. The first order $\mathcal{L}_\mathrm{ring}$-theory of Csa(R^n,R) is known to be undecidable when $n\geq 2$. I will give some background and describe some of the model-theoretic work undertaken on the rings Csa(R^n,R). I will then describe some decidability results relevant to the 1-dimensional case. In particular I'll discuss work on the theory of free modules over this ring, and Astier's treatment of the ring of semi-algebraic functions from R to R (i.e. no continuity requirement). If there is time I will talk about some work in progress concerning the status of Astier's result when one demands continuity of functions at some fixed point of R.


18/02/14 : Francisco Miraglia (Universidade de São Paulo, Brésil)
Constructions on real semigroups
After a brief introduction to the notion of real semigroup, we introduce some constructions and describe their spaces of characters: products, continuous functions, inductive limits and RS-sums (an analog of coproducts). We prove new properties of the functor from preordered rings to real semigroups and shall comment on the question of existence of extensions.

08/10/13 : Bruno Poizat (Université Lyon 1)
Supergenerix
Etant donné un sous-groupe G d'un groupe stable (au sens modèle-théorique) H, nous étudions les propriétés des traces sur G des sous-ensembles définissables de H. Nous considérons particulièrement le cas où H est un groupe de rang de Morley fini. Un exemple de cette situation est fourni par les groupes linéaires : pour un certain n, G est un sous-groupe de GLn(K), où K est un corps qu'on peut supposer algébriquement clos ; les ensembles définissables au sens de GLn(K) sont alors ses parties constructibles, c'est-à-dire les combinaisons booléennes d'un nombre fini de ses fermés de Zariski.

08/10/13 : Esther Elbaz (Université Paris 7-Paris Diderot)
Autour des anneaux de Grothendieck
Après avoir défini les notions d'anneau de Grothendieck et de caractéristique d'Euler, nous en verrons quelques propriétés. Nous étudierons notamment en quoi la théorie d'une structure détermine son anneau de Grothendieck.


02/07/13 : Franz-Viktor Kuhlmann (Univ. Saskatchewan, Saskatoon, Canada)
Symmetrically complete ordered abelian groups and fields
Take an ordered field in which every chain of closed bounded intervals has a nonempty intersection. At first glance one may think that then one can "zoom in" on every cut, so the field is cut complete and hence isomorphic to the reals. But this is not true, as there are problems with a possible inequality of the cofinalities appearing in cuts from its two sides. In 2004 Saharon Shelah has shown that every ordered field can be extended to one that is "symmetrically complete", i.e., that has the nonempty intersection property. In a joint paper with Katarzyna Kuhlmann and Saharon Shelah, we characterize and construct symmetrically complete linealy ordered sets, abelian groups and fields. We prove that symmetrically complete ordered abelian groups and fields are divisible Hahn products and real closed power series fields, respectively. We show how to extend any given ordered set, abelian group or field to one that is symmetrically complete. A main part of the paper establishes a detailed study of the cofinalities in cuts. Katarzyna and I became interested in symmetrically complete ordered abelian groups and fields because generalizations of Banach's Fixed Point Theorem can be proved for them. They appear within a general framework of "spherically complete ball spaces" that we have defined recently. This in turn was motivated by our study of spaces of real places and their seemingly "fractal" structure.

18/06/13 : Luc Bélair (UQAM, Canada)
Elimination des quantificateurs dans les modules de Ore valués
Je vais donner quelques détails supplémentaires sur l'exposé du Séminaire Général du 17 Juin. Il s'agit de considérer les corps valués munis d'un endormorphisme comme modules sur l'anneau d'opérateurs engendré par l'endomorphisme. Je m'attarderai sur quelques lemmes qui permettent une élimination des quantificateurs dans un langage avec des prédicats pour une famille de sous-groupes.

21/05/13 : Alex Prestel (Université de Konstance, Allemagne)
On rings of continuous real and p-adic valued functions
In 1940 M. Stone gave a purely ring theoretic characterization of the ring of all real valued continuous functions on a compact space. We shall present a similar characterization of the ring of all p-adic valued continuous functions on a compact space. This is recent joint work with Samuel Volkweis Leite.

23/04/13 : Pawel Gladki (Université de Silésie, Pologne)
Orderings and signatures of higher level on multirings and hyperfields
Multirings are objects like rings but with multi-valued addition. They are a variant of other objects called hyperrings, originally defined by Krasner. Marshall defines multirings, introduces a certain special class of multirings called real reduced multirings, defines a natural reflection from the category of multirings satisfying some extra conditions to the full subcategory of real reduced multirings, provides an elementary first-order description of these objects, and proves that these objects are precisely the spaces of signs, also known as abstract real spectra. In this talk we extend results of E. Becker and others concerning orderings of higher level on fields and rings to orderings of higher level on hyperfields and multirings and, in the process of doing this, we establish higher level analogs of the results obtained by Marshall. In particular, we introduce a class of multirings called l-real reduced multirings, define a natural reflection from the category of multirings satisfying certain properties to the full subcategory of l-real reduced multirings, and provide an elementary first-order description of these objects. The relationship between l-real reduced hyperfields and the spaces of signatures defined by Mulcahy and Powers is also examined. The talked is based on joint paper with Murray Marshall recently published in Journal of K-theory.

19/03/13 : Vincent Astier (University College, Dublin, Irlande)
Signatures des formes hermitiennes (Travail en collaboration avec Thomas Unger)
Le but de cet exposé est de présenter la construction d'une notion de signature pour les formes hermitiennes sur les algèbres centrales simples à involution (sur un corps formellement réel) ainsi que certaines de ses propriétés, comparables aux propriétés des signatures des formes quadratiques. Par exemple : la formule de transfert de Knebusch, les liens avec les groupes de Witt de formes hermitiennes et les morphismes à valeur dans Z, et les fonctions continues définies sur l'espace d'ordres du corps de base.

27/11/12 : Silvain Rideau (ENS Ulm et Université Paris-Sud 11)
Nombres p-adiques et imaginaires (travail commun avec E. Hrushovski et B. Martin)
Le but de cet exposé est de démontrer que les corps p-adiquement n'ont pas plus d'imaginaires que les corps valués algébriquement clos. On rappellera dans un premier temps le résultat d'élimination des imaginaires pour les corps valués algébriquement clos de Haskell, Hrushovski et Macpherson et on montrera comment utiliser ce résultat pour en déduire l'élimination des imaginaires dans le corps des nombres p-adiques. Si le temps le permet, on verra aussi comment ces même méthodes peuvent permettre de montrer que cette dernière élimination des imaginaires est uniforme en p.

20/11/12 : Salma Kuhlmann (Universität Konstanz, Allemagne)
The (valuative) difference rank of a difference field (Work in progress with M. Matusinski and F. Point)
There are several equivalent characterizations of the (valuative) rank of a valued field: via the chain of ideals of the valuation ring, the chain of convex subgroups of the value group, or the chain of final segments of the value set of the value group. The order type of any of the above described chains is the rank of the valued field. This analysis can be extended to cases when the field admits extra structure. We considered for instance real ordered exponential fields, introduced the (valuative) exponential rank, and gave a characterization completely analogous to the above, but taking into account the (extra) structure induced by the exponential map (on the ideals, convex subgroups and final segments). In this talk, we push this analogy to the case of an (ordered) difference field and introduce the notion of "difference rank".

30/10/12 : Jizhan Hong (McMaster University (Canada) et Équipe de Logique Mathématique)
Immediate expansions of fields by valuation
Given two first-order structures M and N where M is an expansion of N, M is said to be an immediate expansion of N, if there is no any first-order structure P such that P is a proper reduct of M and P is also a proper expansion of N. This talk will focus on the case where M is a valued field and N is the field. In 1998, Haskell and Macpherson proved that every model of ACVF (resp. RCVF) is an immediate expansion of the field structure. A more general result about immediate expansions of o-minimal fields by valuation will be presented in this talk.

23/10/12 : Samaria Montenegro (Équipe de Logique Mathématique)
Fusion libre dans ACF_0 : axiomatisation et rang
Soit OD_n la théorie des anneaux intègres avec n-ordres dans le langage L_{ring} \cup \{<_1, .. ,<_n \}. Van den Dries a montré dans sa thèse que OD_n a une modèle compagne \overline{OD_n}. On sait que \overline{OD_1}, la théorie des corps réels clos, est NIP. Nous allons montrer que dans \overline{OD_2} il existe une formule qui a la propriété d l'indépendance. Les memes techniques montrent que les corps avec deux valuations independantes ont aussi la propriété de l'indépendance.

16/10/12 : Françoise Delon (Équipe de Logique Mathématique)
Elimination des quantificateurs dans les paires séparées purement résiduelles de corps valués algébriquement clos
Une paire de corps est un corps muni d’un prédicat unaire représentant l’appartenance à un sous-corps. On avait présenté l’an dernier un langage qui permet l’élimination des quantificateurs dans les paires de corps algébriquement clos, et avec la seule adjonction du prédicat binaire v(x) ? v(y), l’élimination dans les paires denses et propres de corps valués algébriquement clos. Nous décrivons maintenant un langage permettant l’élimination dans les paires séparées purement résiduelles de corps valués algébriquement clos de caractéristique résiduelle nulle. La séparation d’une paire de corps valués est « orthogonale » à la densité, en particulier une paire est à la fois dense (ou même seulement immédiate) et séparée ssi elle est triviale. Donnons un exemple. Soit K := k((G)) le corps de séries formelles à exposants dans un groupe abélien ordonné G et à coefficients dans un corps k de caractéristique nulle, muni de sa valuation canonique et L un corps valué contenant K. Si vL=VK, alors l’extension (M,K) est séparée purement résiduelle.

09/10/12 : Luis Pinto Castaneda (Équipe de Logique Mathématique)
Fusion libre dans ACF_0 : axiomatisation et rang
Nous donnerons une axiomatisation de la fusion libre de paires de corps algébriquement clos de caractéristique nulle au-dessus d'un espace vectoriel, fusion présentée précédemment et que nous rappellerons brièvement, et discuterons de son rang.

02/10/12 : François Guignot (Équipe de Logique Mathématique)
Au sujet du groupe valué (Z, +, V_p)
La théorie des groupes abéliens valués est indécidable. On cherche à décrire des classes de groupes abéliens valués assez simples. (Z_p, +, v_p) est un exemple de structure assez simple à décrire. Dans l'exposé, on s'intéresse aux groupes valués (Z, +, v_p). Le but de ce travail est de préparer à une étude ultérieure de classes de groupes valués construits sur le groupe additif de Z.


05/06/12 : Konrad Schmüdgen (Univ. Leipzig, Allemagne)
Positivstellensätze for Algebras of Matrices
Hilbert's 17th problem for the algebra M_n(\R[x_1,...,x_d]) of matrices of real polynomials was solved in 1974 by D. Gondard and P. Ribenboim. In this talk we are concerned with Positivstellensätze for the matrix algebra M_n(A), where A is an algebra with involution. Positivity of elements of A and M_n(A) is defined by means of *-representations, point evaluations or abstract *-orderings. New types of Positivstellensätze are presented and the notion of a noncommutative sum of squares is proposed.

29/05/12 : Pawel Gladki (Univ. de Silesie, Katowice, Pologne)
Quotients of finite index and general quotients in spaces of orderings
We shall investigate quotient structures and quotient spaces of a space of orderings arising from subgroups of index two. We provide necessary and sufficient conditions for a quotient structure to be a quotient space that, among other things, depend on the stability index of the given space. The case of the space of orderings of the field $\Q(x)$ is particularly important, since then the theory developed simplifies significantly. A part of the theory firstly developed for quotients of index 2 generalizes in an elegant way to quotients of index $2^n$ for arbitrary finite $n$. Numerous examples are provided. This is joint work with Bill Jacob and Murray Marshall.

21/02/12 : Francisco Miraglia (Universidade de Sao Paulo, Brésil)
The Boolean and Profinite Hulls of Reduced Special Groups
(Joint work with H. Mariano, Universidade de Sao Paulo)
We present results (to appear in the Logic Journal of the IGPL) discussing the interaction between two functors defined on reduced special groups (RSG): the Boolean Hull functor and the Profinite Hull functor. Both functors are left adjoints to a certain inclusion and encode local-global principles related to classes of positive-existential formulas. These results include:
* the description of the Boolean Hull of a profinite RSG;
* the presevation of stablity index by the Profinite Hull functor;
* the characterization of the Profinite Hull functor on the category of Boolean algebras;
* a description of conditions under which these functors "commute";
* the presevation and reflection of complete embeddings by the Profinite Hull functor.

24/01/12, 31/01/12 et 07/02/12 : Luis Pinto Castaneda (Équipe de Logique)
Fusion de corps en caractéristique nulle (sans collapse)
Soient (L,K) et (L',K') des paires de corps algébriquement clos de caractéristique nulle dénombrables saturées, et soit s un isomorphisme de corps entre K et K'. Alors il existe une bijection K-linéaire f de L dans L' étendant s, telle que pour tout uplet x d'éléments de L on a : deg.tr(x/K) + deg.tr(f(x)/K') >= ldim_K(x/K) (où deg.tr est le degré de transcendance et ldim_K la dimension K-linéaire). Nous utilisons le formalisme de la fusion, et obtenons une structure dans un langage {0,1,+,-,._1,._2,C} (C un prédicat unaire) sur laquelle cohabitent deux structures de (paires de) corps ayant addition et unité communes.

17/01/12 : Françoise Delon (Université Paris 7)
Expansions C-minimales et non définissablement complètes des corps valués algébriquement clos
Une structure o-minimale est toujours définissablement complète : l'intersection d'une famille définissable décroissante d'intervalles de longueur arbitrairement petite est non vide. Il en va différemment dans les structures valuées C-minimales : l'intersection d'une famille définissable décroissante de boules de diamètre arbitrairement petit peut être vide. Il est facile de construire de purs groupes valués C-minimaux et non définissablement complets. Un pur corps valué algébriquement clos est quant à lui toujours C-minimal et définissablement complet. Un résultat d'élimination des quantificateurs dans les paires denses de corps valués algébriquement clos nous permet de construire des expansions C-minimales et non définissablement complètes des corps valués algébriquement clos.

10/01/12 : Françoise Delon (Université Paris 7)
Paires de corps algébriquement clos
Etant donnés un corps L et un sous-corps K, considérons la structure, notée (L,K), de base L et de langage { 0, 1, +, -, ., E }, où E est un prédicat unaire ayant l'interprétation : E(x) ssi x est dans K. Dans le cas où K et L sont algébriquement clos et où l'extension est propre, ces propriétés, plus la caractéristique de K et L, axiomatisent complètement (L,K). Cela est connu depuis un article de 1959 d'Abraham Robinson, où il donne également un langage dans lequel la structure est modèle-complète. Nous précisons cette description par un résultat d'élimination des quantificateurs. Ce résultat présente l'avantage de s'adapter à de nombreuses paires de corps et expansions de paires de corps.

18/10/11 M.E. Alonso (U. Complutense, Madrid, Espagne)
Revisiting Zariski's Main Theorem from a constructive viewpoint
This is joint work with T. Coquand (U. Göthenburg) and H. Lombardi (U. Franche-Comté). We present a constructive proof of Zariski's Main Theorem (ZMT; Zariski 1943) in the style of constructive mathematics (cf. Lombardi-Coquand 2005). We focus our atention on the algebraic statement of ZMT given by Peskine, who in 1966 published a "generalization" of the former version by Zariski, following very closely ideas of Grothendieck, and managing to avoid noetherianity. The main non-constructive argument in the proof of Peskine is the use of minimal prime ideals. We substitute this by two dynamical arguments; one about gcd's, using subresultants; the other using our notion of strong transcendence (in classical mathematics: transcendence over all residual fields). As a consequence of this constructive proof, we get an algorithmic proof of the multivariate Hensel Lemma. Our approach provides an effective optimal local representation of algebraic functions.

27/09/11 Manfred KNEBUSCH (Universität Regensburg, Allemagne)
Supervaluations
Bourbaki´s notion of a valuation on a ring (Alg. Comm. VI) readily generalizes to semirings, but, of course, studying these leads to new --in fact rather interesting-- phenomena. Such a valuation can be viewed as a map into another semiring of special nature (a "bipotent " semiring).It is possible to lift this map to a map of special type (a "supervaluation") in various ways with values in a so called "supertropical semiring" which has "tangible" and "ghost" elements. This reveals a sort of complexity of the given valuation. Supervaluations --even on fields-- have a potential to refine and to understand tropical geometry in a new way.(Joint work with Zur Izhakian and Louis Rowen, Bar Ilan Univ.).


08/03/11 M. Matusinski (U. de Versailles-St. Quentin)
Théorème de Puiseux différentiel pour les séries généralisées de rang fini
Etant donné un corps R((Gr)) de séries généralisées de rang fini r>0, muni d'une dérivation de Hardy, nous considérons des équations différentielles :
(1) : F(y,y', . . . ,y(n)) = 0
où l'ordre de dérivation n est quelconque fixé, et F(y,y', . . . ,y(n)) est une série formelle d'arguments y,y', . . . ,y(n) avec des coefficients dans R((Gr)). Notre objet est de montrer comment l'ensemble des exposants d'une solution y0R((Gr)) de (1), i.e. son support Supp y0, se déduit de manière finie de l'ensemble Supp F des exposants des coefficients de l'équation.

22/02/11 M. Matusinski (U. de Versailles-St. Quentin)
Dérivations de Hardy sur un corps de séries exponentiel-logarithmiques
Avec Salma Kuhlmann, nous avons décrit dans un précédent travail comment munir un corps de séries généralisées de dérivations qui généralisent la dérivation classique des séries formelles. Nous étendons ici ce travail au cas des corps de séries exponentielles-logarithmiques (EL). Ceux-ci sont des corps obtenus par un procédé de clôture exponentielle à partir d'un corps de séries pré-logarithmiques, i.e. un corps de séries muni d'un logarithme non surjectif. Nous discuterons de la manière de définir des dérivations de Hardy sur ces corps pré-logarithmiques, puis de l'extension de ces dérivations aux corps de séries EL.

15/02/11 X. Vidaux (U. de Concepcion, Chili)
A survey on Büchi's Problem
In any commutative ring A with unit, Büchi sequences are those sequences whose second difference of squares is the constant sequence (2). Sequences of elements xn satisfying (xn)2=(x+n)2 for some fixed x are Büchi sequences that we call trivial. Since we want to study sequences whose elements do not belong to certain subrings (e.g. for fields of rational functions F(z) over a field F we are interested in sequences that are not over F) the concept of trivial sequences may vary. Büchi's Problem for a ring A asks whether there exists a positive integer M such that any Büchi sequence of length M or more is trivial. In this talk, we will survey the current status of knowledge for Büchi's problem, its analogues for higher-order differences and higher powers, and various applications to Logic.

08/02/11 F. Miraglia (U. de Sao Paulo, Bresil)
Real Semigroups and Preordered Rings
We shall make a presentation of the theory of real semigroups (RS) with special emphasis on the real semigroups associated to preordered rings. We will prove that any RS of the latter type is isomorphic to the RS of a reduced (preordered) ring with the bounded inversion property. We will also give some applications of this result.

18/01/11 : S. Kuhlmann (U. Konstanz, Allemagne)
The moment problem for continuous positive semidefinite linear functionals
(Joint work with Mehdi Ghasemi and Ebrahim Samei.)
Let V be the countable dimensional polynomial R-algebra. Let τ be a locally convex topology on V. Let P be a closed subset of Rn, and let M := M{g1,...,gs} be a finitely generated quadratic module in V. We investigate the following question: When is the cone Psd(K) (of polynomials nonnegative on K) included in the closure of M? We give an interpretation of this inclusion with respect to representing continuous linear functionals by measures. We discuss several examples; we compute the closure of the cone of sums of squares with respect to weighted norm-p topologies. We show that this closure coincides with the cone Psd(K) for certain convex compact polyhedrons K. We use these results to generalize Berg's et al work on exponentially bounded moment sequences.

05/10/10 : M. Schweighofer (U. Konstanz, Allemagne)
Un nouveau critère d'inconsistance pour les inégalités matricielles linéaires
(Travail commun avec Igor Klep)
Le Positivstellensatz en géométrie algébrique réelle dit qu'on peut certifier l'inconsistance d'un système d'inégalités polynomiales par une identité algébrique impliquant des sommes de carrés. Les meilleurs bornes supérieures connues pour le degré d'une telle identité sont plus qu'exponentielles. Le lemme de Farkas en géométrie convexe fait la même chose pour les systèmes d'inégalités linéaires en utilisant une identité linéaire. Un bon compromis entre les systèmes d'inégalités polynomiales et linéaires sont les inégalités matricielles linéaires. Des résultats récents de Helton et Nie montrent que les inégalités de ce type permettent d'exprimer beaucoup de phénomènes non-linéaires; pourtant, elles peuvent etre résolues par une technique de programmation semi-définie ressemblant à la programmation linéaire.
Dans cet exposé, nous introduisons les inégalités matricielles linéaires et nous développons un certificat pour leur inconsistance basé sur les sommes de carrés. Bien que la borne que nous pouvons démontrer pour le degré du certificat soit encore exponentielle, nous réussissons à coder le certificat dans une autre inégalité matricielle linéaire de taille polynomiale. On y arrive par coder certaines appartenances aux radicaux réels sous forme d'inégalité matricielle linéaire. Ceci donne lieu à une nouvelle théorie de dualité en programmation semi-définie ayant les bonnes propriétés qu'on connaît de la programmation linéaire. Une telle théorie a été déjà conçue d'une autre façon par Ramana en 1997.


01/06/10 : M. Dickmann (U. Paris 7)
Semigroupes réels : spectraux et éventailss
Dans ce dernier exposé sur semigroupes réels (SR) je ferai un tour d'horizon sur deux classes importantes qui, faute temps, n'ont pas été traitées dans les exposés précédents.
Les SR spectraux viennent de la topologie spectrale de l'espace des caractères. Ils établissent une dualité topologico-algébrique avec les espaces spectraux héréditairement normaux. En outre, ils sont les SR dont l'ordre de représentation est un treillis distributif. Les SR des anneaux réticulés sont spectraux.
La notion d'éventail dans les SR est neuve. Ces objets fondamentaux possèdent une théorie très riche. Les anneaux de valuation réels des corps sont des exemples.

04/05/10 : I. Halupczok (U. Munster, Allemagne)
Élimination des quantificateurs dans les groupes abéliens ordonnés
Il existe un résultat de Gurevich et Schmitt sur l'élimination des quantificateurs dans les groupes abéliens ordonnés. Alors qu'en principe c'est un beau résultat, il est assez peu connu, peut-être parce que le language nécessaire pour obtenir l'élimination parait assez compliqué, peut-être aussi parce que les articles de Gurevich et Schmitt sont (au moins en partie) écrit dans un language inhabituel pour des théoriciens des modèles.
Dans mon exposé, je vais présenter un language dans lequel les groupes abéliens ordonnés ont l'élimination des quantificateurs (une variante du language de Gurevich et Schmitt). Mon but est de montrer qu'après tout, ce language est assez naturel et qu'on ne peut pas s'attendre à avoir l'élimination des quantificateurs dans un language plus simple. S'il reste du temps, je vais aussi donner l'idée de la preuve.

16/03/10 : L. Belair (U. Quebec, Montréal, Canada)
Les vecteurs de Witt et l'algèbre universelle, d'après Joyal
L'algèbre universelle et la théorie des catégories donnent un éclairage particulier sur l'anneau des vecteurs de Witt. Je vais illustrer ces idées à l'aide de l'exemple plus familier de l'anneau des séries formelles, en faisant le parallèle avec les vecteurs de Witt. Je ferai un rappel des notions utilisées sur les catégories. On peut dire que l'idée essentielle est que le foncteur « anneau des vecteurs de Witt « est un foncteur adjoint.

16/02/10 : F. Miraglia (U. S. Paulo, Bresil)
Faithfully quadratic rings (I et II)
Dans le premier de ces deux exposés nous allons établir les bases d'une théorie des formes quadratiques sur plusieurs classes, assez étendues, d'anneaux préordonnés. (Nous ne considérons ici que des formes quadratiques diagonales à coefficients inversibles.) Cela se fait au moyen d'une notion "intrinsèque" d'isométrie (qui prend en compte le préordre de l'anneau). Nous donnons des axiomes très simples pour cette notion d'isométrie dont la satisfaction garantit que la théorie "intrinsèque" coïncide avec la théorie "formelle", via les groupes spéciaux. L'identité de ces deux approches entraîne des conséquences assez fortes.
Dans le deuxième exposé nous allons démontrer que les axiomes ci-dessus sont vérifiés par certaines classes très étendues d'anneaux préordonnés, parmi elles :
  1. une grande parties des anneaux préordonnés avec beaucoup d'éléments inversibles (rings with many units) ;
  2. les f-anneaux réduits contenant les rationnels dans leur ordre naturel (dont les anneaux de fonctions continues réelles) ;
  3. les anneaux d'holomorphie réelle des corps formellement réels.

08/12/09 : T. Servi (Centro de Matemática e Aplicações Fundamentais, Lisbonne, Portugal)
Sur la décidabilité du corps des nombres réels avec une fonction puissance générique
(Travail en commun avec G. Jones)
Récemment nous avons démontré que, si A est un nombre réel qui n'est pas définissable dans le corps réel avec exponentiation, alors la théorie du corps réel avec la fonction puissance x^A est décidable, relativement à un oracle pour la coupure rationnelle de A. Je vais expliquer la preuve de cet énoncé et donner une preuve de l'existence d'un nombre réel générique calculable.

10/11/09 : L. Darnière (U. Angers)
(Co)dimension dans les algèbres (co)Heyting
(Travail en commun avec M. Junker)
Les algèbres de Heyting sont à la logique intuitionniste ce que les algèbres de Boole sont à la logique classique. Toutefois leur combinatoire nettement plus complexe n'est pas encore bien comprise, même dans le cas finiment engendré. Nous verrons comment une certaine notion de (co)dimension, calquée sur celle de la géométrie algébrique mais valable pour les éléments d'un treillis distributif quelconque, permet 1) d'apporter un peu d'intuition géométrique sur la structure des algèbres co-Heyting (nées de Brouwer), 2) de définir sur ces algèbres une pseudométrique ayant de bonnes propriétés au moins dans le cas de présentation finie, 3) d'exhiber une axiomatisation finie (et éclairante) pour les modèles-complétions de 5 des 7 variétés d'algèbres de Heyting qui en admettent une, et quelques lumières nouvelles sur les deux qui résistent encore.

29/09/09 : D. Haskell (McMaster U., Ontario, Canada)
Une borne pour la densité VC des formules dans quelques théories avec la NIP (preuves)
Dans mon exposé au séminaire générale de logique (21/09/09) j'ai présenté un théorème qui donne une borne pour la densité VC des formules dans quelques théories avec NIP. Dans ce deuxieme exposé je donnerai la démonstration et l'illustrerai sur un exemple : celui des corps P-minimaux.


02/06/09 : P. Simon (ENS, Paris)
Théories DP-minimales et arbres
Les théories dp-minimales ont été introduites récemment suite aux travaux de Shelah sur les théories NIP. Elles constituent une généralisation abstraite des théories o-minimales et C-minimales. Je montrerai dans cet exposé que toutes les théories d'arbre pur sont dp-minimales.

05/05/09 : D. Haskell (McMaster U., Ontario, Canada)
VC density in some theories of fields
The relationship between finite VC (Vapnik-Chervonenkis) dimension and the independence property for formulae in first-order theories was observed by C. Laskowski in 1992. Since then, some explicit bounds on VC dimension have been computed, although they are all rather large. The related notion of VC density can also be understood model-theoretically, and seems to be easier to compute. In this talk, I will explain the above terms, with particular reference to theories of fields. I will show how the VC density can be calculated in some cases.

27/01/09 : M. Marshall (U. Saskatchewan, Saskatoon, Canada)
The space of R-places of R(x,y) is not metrizable
Denote by R the field of real numbers. For n = 1, the space of R-places of the rational function field R(x1,...,xn) is homeomorphic to the real projective line. For n > 1, the structure is much more complicated. I will prove that the space of R-places of the rational function field R(x,y) is not metrizable. This result is announced by Machura and Osiak in arXiv:0803.0676 (March 2008) but there are mistakes in the proof. The proof I present fixes the mistakes and at the same time it is much simpler. I will also explain how the proof generalizes to show that the space of R-places of any finitely generated formally real field extension of R of transcendence degree > 1 is not metrizable. I will also consider the more general question of when the space of R-places of a finitely generated formally real field extension of a real closed field is metrizable, and provide some partial answers. This is joint work with Machura and Osiak.
See my webpage for the preprint of our paper.

16/12/08 A. Prestel (U. Konstanz, Allemagne)
Representations of positive real polynomials
We consider finite sequences h = (h1,...,hs) of real polynomials in X1,...,Xn and assume that the semi-algebraic subset S(h) of Rn defined by h1(a1,...,an) ≥ 0,...,hs(a1,...,an) ≥ 0 is bounded. We call h (quadratically) archimedean if every real polynomial f, strictly positive on S(h), admits a representation f = σ0 + h1σ1 + ··· + hsσs with each σi being a sum of squares of real polynomials. If every hi is linear, the sequence h is archimedean. In general, h need not be archimedean. There exists an abstract valuation theoretic criterion for h to be archimedean. We are, however, interested in an effective procedure to decide whether h is archimedean or not. In dimension n = 2, E. Cabral has given an effective geometric procedure for this decision problem. Recently, S. Wagner has proved decidability for all dimensions using among others model theoretic tools like the Ax-Kochem-Ershov Theorem.

25/11/08 V. Astier (U. College, Dublin, Irlande)
Les groupes spéciaux reduits profinis sont des groupes spéciaux de corps
[Collaboration avec Hugo Mariano (Sao Paulo)]
Les groupes spéciaux sont une axiomatisation de la theorie algébrique des formes quadratiques. Nous prouvons qu'un groupe spécial réduit et profini est toujours le groupe spécial d'un corps. La preuve utilise un peu de théorème de compacité et pas mal de valuations.

18/11/08 D. Plaumann (U. Konstanz, Allemagne)
Denominators in sums of squares and a theorem of Roggero
Positive semidefinite polynomial functions on real affine varieties can always be expressed as sums of squares in the rational function field by Artin's solution to Hilbert's seventeenth problem. We show how Roggero's theorem on the divisor class group of a real variety can sometimes be used to control the zero locus of the denominators in a rational sum of squares. In particular, we construct examples of non-compact surfaces such that every psd function can be expressed as a sum of squares without denominators.


01/07/08 : F.-V. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Valuation theory and model theory of tame fields
A tame field is a henselian valued field whose absolute inertia field is algebraically closed. Every algebraically maximal field is a tame field, but not vice versa. While the maximal immediate extensions of the former are unique up to isomorphism, this is in general not the case for the latter. As a consequence, one has to work much harder to prove nice model theoretic results for tame fields. I will give a survey on the known algebraic and model theoretic results for tame fields and discuss the open questions. If time permits, I will also discuss some valuation theoretic facts that were used in the proofs of important theorems about tame fields and may have interesting applications to other questions, some of them coming from algebraic geometry.

24/06/08 : M. Marshall (U. Saskatchewan, Saskatoon, Canada)
Strip conjecture (conjecture de la bande)
The Strip Conjecture asserts that any polynomial f(x,y) with real coefficients which is non-negative on the strip [0,1] x R is expressible as f(x,y) = s(x,y)+t(x,y)x+u(x,y)(1-x) where s(x,y), t(x,y) and u(x,y) are sums of squares of polynomials with real coefficients (or, equivalently, as f(x,y) = v(x,y)+w(x,y)x(1-x) where v(x,y) and w(x,y) are sums of squares of polynomials with real coefficients). This conjecture has been around for about eight years. Just recently I found a proof of it. I will talk about this.

20/05/08 S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Positive polynomials on projective limits of real algebraic varieties
In my DDG talk on March 20th 2007, I presented some ideas of [K-P1] towards a Positivstellensatz on the fibre product of real algebraic affine varieties. In this talk, I present a further generalization (cf. [K-P2]) of these ideas towards a Positivstellensatz for a comprehensive class of projective limits of such varieties.
[K-P1] Kuhlmann, Salma - Putinar, Mihai: Positive Polynomials on Fibre Products, C. R. Acad. Sci. Paris, Ser. 1344 (2007) 681-684
[K-P2] Kuhlmann, Salma - Putinar, Mihai: Positive Polynomials on Projective Limits of Real Algebraic Varieties, to appear in Bulletin des Sciences Mathématiques

23/10/07 M. Marshall (U Saskatchewan, Saskatoon, Canada)
Closures of preorderings and quadratic modules in polynomial rings
Since Schmuedgen's solution of the multidimensional moment problem in 1991 there has been considerable work done trying to understand better the structure of the closure of a finitely generated preordering in the polynomial ring over the field $R$ of real numbers. I will talk about some of the results that have been obtained, and some of the open problems. (There are still many more of the latter than there are of the former.) From the point of view of analysis, and also from the point of view of polynomial optimization, one is also interested in the closure of a finitely generated quadratic module, so I will talk about this too.


03/07/07 T. Scanlon (U. of California, Berkeley, USA)
Difference equations and the André-Oort conjecture
I will explain in some detail how the model theory of difference fields may be employed to prove a fibred local version of the André-Oort conjecture, namely that if for some prime p an irreducible subvariety of a universal abelian scheme over a Shimura variety contains a dense set of p-special points (by which we mean unramified torsion points on fibres which are themselves canonical lifts at p), then that variety must be a sub-Shimura variety in the sense of Pink. The proof makes use of difference equations involving correspondences rather than merely functions. The work to be described is a couple of years old and the details may be found in my paper:
Local André-Oort conjecture for the universal abelian variety
Invent. Math. 163, No.1, 191-211 (2006)

19/06/07 F. Lucas (U. Angers)
Conjectures liées à la conjecture de Pierce-Birkhoff
Énoncés de la conjecture de Pierce-Birkhoff et de la conjecture de connexité (toute fonction réelle polynômiale par morceaux est sup-inf de polynômes). Étude d'une classe de sous-ensembles connexes du spectre réel de l'anneau de polynômes.

20/02/07 S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Polynômes positifs sur des produits fibrés
(En collaboration avec Mihai Putinar)
Nous présentons une interpretation algébrique (dans le language des produits fibrés de varietées algébriques) de résultats récents de J.-B. Lasserre en théorie de l'optimisation concernant la structure de polynômes positifs (sur un sous ensemble compact et semi-algébrique K de R^n$) qui satisfont certaines conditions de séparation des variables dans leurs monômes. Ceci offre la perspective d'un traitement uniforme de tels polynômes, positifs sur $K$ non compact, on non semi-algébrique, ainsi que pour des polynômes en un nombre dénombrable de variables.

13/02/07 M. Tressl (U. Passau, Allemagne)
Elementary properties of Zariski - and real spectra
(Joint work with Niels Schwartz)
An elementary property of a Zariski spectrum here is a property P of topological spaces, such that the class of rings whose Zariski-spectrum have property P, is axiomatizable. The original goal was to decide whether the class of reduced rings with completely normal spectrum is elementary. I will characterize these rings algebraically and show that the class is not elementary. The same question will be answered for (reduced) rings with normal spectrum, inverse (completely) normal spectrum, respectively and for rings whose minimal/maximal spectra satisfy various topological properties.
The work is motivated by the open problem on the topological characterization of real spectra of rings. I will indicate some progress in this direction, too.


30/05/06 C. Rivière (U. Paris 7)
Une modèle-compagne pour la théorie des corps différentiels munis de m ordres
Nous montrerons que la théories des corps munis à la fois d'une dérivée et d'un nombre fini d'ordres admet une modèle-compagne.

09/05/06 F.-V. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Maps on ultrametric spaces, the implicit function theorem and differential Hensel's lemmas
We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how (the multi-dimensional) Hensel's Lemma and the Implicit Function Theorem follow from our result. We will also discuss possible versions of an infinite-dimensional Implicit Function Theorem. Further, we apply the criterion to deduce various versions of Hensel's Lemma for polynomials in several additive operators, and to give a criterion for the existence of integration and solutions of certain differential equations on spherically complete differential fields, for both D-fields in the sense of Scanlon, and differentially valued fields in the sense of Rosenlicht. We modify the approach so that it also covers logarithmic-exponential power series fields.

13/12/05 F. Broglia (U. Pise, Italie)
Some remarks about the Global Analytic Nullstellensatz
In the first part I will explain the results obtained by Forster and Siu in the '60's in the complex case, namely; Let H be a Stein algebra, i.e. the algebra of global sections of the structural sheaf of a Stein space: the Nullstellensatz holds for closed primary ideals of H, any closed ideal has an irreducible decomposition into (infinitely many) primary ideals, and one can give a necessary and sufficient condition for a closed ideal to have a Nullstellensatz, in terms of the primarity multiplicity of the primary ideals in this decomposition.
For the real case, after a review of the results of De Bartolomeis and Adkins that transport to the real case the Forster's and Siu's ones, I will examinate some results giving sufficient conditions for closed ideals to have a Nullstellensatz, assuming that this holds for primary ideals. At the end, for the case of real closed ideals one will show that in dimension 3 the obstruction to solve the 17 Hilbert problem is also the obstruction to get a Nullstellensatz for real closed ideals (Paper in collaboration with Federica Pieroni)

22/11/05 D. Plaumann (U. Konstanz, Allemagne)
Bounded polynomial maps and the moment problem
Let S be a closed semialgebraic subset of R^n and let B(S) be the ring of polynomials that are bounded on S. We will show how to obtain information on B(S) (e.g. the transcendence degree) and how it can be used in the study of positive polynomials and the moment problem for S.

18/10/05 J. Ruiz (U. Complutense, Madrid, Espagne)
Representation of sums of squares of linear forms
We will discuss the problem of estimating the number of squares needed to represent any sum of squares of linear forms over a ring A. This can be used to bound the Pythagoras number of A-algebras B that are finite modules over A. When A is a field k, this was considered by Pfister in the '60s. In the '80s, Choi, Dai, Lam and Reznick looked at the case when A is a ring of polynomials k[y] in one single variable y, and settle the problem for k real closed. The only method available as far is diagonalization over k[y]. Here we will see how to use diagonalization for more general fields. Furthermore, we will see that this also solves the case when A is the ring of formal power series k[[x,y]] in two variables x,y.

25/10/05 Y. N. Moschovakis (U. California, Los Angeles, USA)
Lower bounds for co-primeness and other decision problems in arithmetic
To prove that you need at least c(a,b) additions, subtractions and divisions to compute gcd(a,b) *by any algorithm*, it is enough to show that for suitably chosen, sufficiently large a >= b >= 1, the value gcd(a,b) cannot be constructed from a and b using fewer than c(a,b) additions, subtractions and divisions; but this method does not work for the derivation of generally applicable lower bounds for deciding whether a and b are co-prime, since the answer (0 or 1) is trivial.
I will describe a methodology for obtaining such results [with c(a,b) = (1/10) log log(a), for co-primeness] and illustrate it with additional examples of both kinds from the two articles listed below. A pleasing feature of the method is that it identifies specific inputs on which every decision algorithm must "take a long time", e.g., the solutions of Pell's equations in the case of co-primeness.
[1] Lou van den Dries and Yiannis N. Moschovakis. Is the Euclidean algorithm optimal among its peers? The Bulletin of Symbolic Logic, 10:390--418, 2004.
[2] Lou van den Dries and Yiannis N. Moschovakis. Arithmetic complexity. In preparation.

20/09/05 A. Khelif (IUFM Paris et Univ. Paris 7)
Idéaux maximaux d'anneaux de fonctions généralisées et compactification
Pour le calcul, les physiciens ont eu souvent recours à la multiplication de distributions. Mais ceci n'a pas de sens d'un point de vue mathématique. Pour donner un cadre rigoureux à ces calculs, Colombeau à introduit les anneaux de fonctions généralisées. Nous nous intéresserons aux « zéros » de telles « fonctions ». Nous étudierons l'ensemble des idéaux maximaux de tels anneaux, ce qui nécessitera de s'intéresser à une forme de généralisation de la compactification de Stone-Cech.
Les liens avec l'analyse non standard seront évoqués.


07/06/05 : I. Efrat (U. Ben Gurion, Israël)
Generalized Milnor K-rings, orderings, and valuations
We define the Milnor K-ring of a field F modulo a subgroup of its multiplicative group. It generalizes the classical Milnor K-ring of F and its mod m quotients. We explain how many arithmetical concepts and results on valued and ordered fields as well as on quadratic forms can be naturally interpreted in terms of this functor. The new functor also puts in a natural and more general setting many known results on the structure of the maximal pro-p Galois group of a field containing a p-th root of unity for p prime.

22/03/05 : V. Powers (U. Emory, Atlanta, USA)
A New Approach to Hilbert's Theorem on Ternary Quartics
Hilbert's Theorem on ternary quartics says that if f is a ternary quartic --a homogeneous polynomial in three variables of degree four-- and is positive semidefinite (psd), then f can be written as a sum of three squares of quadratic forms. Hilbert's proof is non-constructive, in particular, no information is given about how many different ways it can be done. In recent work with B. Reznick, C. Scheiderer, and F. Sottile, we show that if f is a smooth psd ternary quartic, then there are exactly 8 "essentially different" ways to write f as a sum of three squares of quadratic forms. The proof uses a construction of Coble for ternary quartics over the complex numbers. Results in the singular case will also be discussed.

18/01/05 : A. Nies (U. Auckland, Nouvelle Zélande)
Quasi-finitely axiomatizable groups
Under what circumstances can a finitely generated infinite group be described by a finite amount of information? One way is the following: a f.g. group $G$ is said to be quasi-finitely axiomatizable (QFA) if there is a first order sentence $\phi$ such that $G$ is, up to isomorphism, the only f.g. group satisfying $\phi$. I introduced this notion in a 2001 paper, where the goal was to measure the expressivity of first-order language for groups.
Fix a prime number $p$. Examples of QFA groups include the Baumslag-Solitar groups $\langle x,d| d^{-1}x d= x^p$, and the restricted wreath products $Z_p\wr Z$ (which are not finitely presented). However, there also is a class-3 nilpotent group which is not QFA.
In recent work, Oger and Sabbagh gave an algebraic characterization of the nilpotent QFA groups, and showed that a nilpotent group is QFA iff it is a prime model of its theory. Morozov and Nies gave examples of QFA groups with very complex word problems. Extending their logical methods, I have proved the existence of continuum many non-isomorphic f.g. prime groups. In particular, there is such a group which is not QFA.

05/10/04 : E. Hrushovski (U. Hébraïque, Jerusalem, Israel, et ENS Paris)
Imaginaries in Henselian valued fields
In [HHM], it was shown that imaginaries in algebraically closed valued fields can be reduced to elements of definable sets over the field $K$ and the residue field $k$, together with certain sorts related to the "affine Grassmanian", coding lattices over $K$. This was extended to $p$-adic fields in [HM].
We demonstrate here a similar result for valued fields admitting quantifier elimination in an appropriate language, with infinite residue fields. The imaginaries are described relative to the value group and residue field. We need a little more than the usual imaginaries of the residue field: the imaginaries of certain finite dimensional vector spaces over it come into play.
[HHM] D. Haskell, E. Hrushovski, H.D. Macpherson, Definable sets in algebraically closed valued fields. Part I: elimination of imaginaries.
[HM] E. Hrushovski, Ben Martin, preprint on $p$-adic elimination of imaginaries.


29/06/04 : M. tressl (U. Regensburg, Allemagne)
An elementary theory of real closed fields which carry all o-minimal expansions of R
We work in a first order theory called "Y-rings", which generalizes the theory of real closed rings (in the sense of Niels Schwartz) for o-minimal expansions of the real field IR.
The Y-rings K that are fields ("Y-fields") have the property that for any o-minimal expansion M of IR, there is an expansion of K to an elementary extension of IR.
The basic example of an Y-ring is the ring C(X) of continuous functions from a topological space X into IR. The basic example of an Y-field is the quotient field of C(X) at a z-prime ideal. The various o-minimal expansions on an Y-field are reflected in the ideal theory of Y-rings.

22/06/04 : J. Wilson (U. Oxford, Grande bretagne, et U. Paris 7)
Characterizations of finite soluble groups
This will be a description (mainly expository) of some of the characterizations that can now be given for finite soluble groups.The characterizations appear natural and attractive, but their proofs depend crucially on partial classification results for finite simple groups.

15/06/04 : A. Petrovich (U. Buenos Aires, Argentine, et U. Paris 7)
Fans in real spectra
We define a natural notion of "fan" ("eventail") in the class of abstract real spectra (Marshall) and study their properties and those of the real semigroups dual to them. This notion is a natural generalization of the homonymous notion for spaces of orderings. We shall exhibit examples of rings whose real spectra are fans. (Joint work with M. Dickmann.)

01/06/04 : T. Scanlon (U. of California, Berkeley, USA)
A local version of the André-Oort conjecture
We prove a $p$-adic version of a conjecture of Yves Andr\'{e}. More precisely, let $p$ be a prime number, $R$ the maximal unramified extension of ${\mathbb Z}_p$, and $n \geq 3$ a natural number prime to $p$. Fix an embedding $R \hookrightarrow {\mathbb C}$. The moduli space of principally polarized abelian varieties with full level $n$ structure ${\mathcal A} = {\mathcal A}_{g,1,n}$ is defined over ${\mathbb Z}[\frac{1}{n}]$. Let $\pi:{\mathcal X} \to {\mathcal A}$ be the universal abelian variety over ${\mathcal A}$. We say that a point $\xi \in {\mathcal X}(R)$ is $p$-special if $\xi$ is a torsion point of ${\mathcal X}_{\pi(\xi)}$ and ${\mathcal X}_{\pi(\xi)}$ is the canonical lift of its special fibre. We show that if $Y \subseteq {\mathcal X}_{\mathbb C}$ is an irreducible subvariety containing a Zariski dense set of $p$-special points, then $Y$ is a ``special'' subvariety, which in this case means essentially that with respect to the usual complex analytic uniformization of ${\mathcal X}({\mathbb C})$ that $Y({\mathbb C})$ is uniformized by a homogeneous space for a Lie group.
The proof combines the corresponding result for ${\mathcal A}$ (due to Ben Moonen) with the model theory of difference fields and valued difference fields.

25/05/04 : F.-V. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Classification of Artin-Schreier defect extensions, and characterizations of algebraically maximal and defectless fields
We classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive characteristic, a valued field is algebraically complete if and only if it has no proper immediate algebraic extension and every finite purely inseparable extension is defectless. This result is an important tool for the construction of algebraically complete fields. We also use the result to show that extremal fields are algebraically complete. A valued field (K,v) is called extremal if for all polynomials f in several variables the value set vf(K^n) has a maximum. Restricting this condition to certain classes of polynomials yields further interesting properties. In that way, we give characterizations of algebraically maximal and inseparably defectless fields. Finally, we give a second characterization of algebraically complete fields, in terms of their completion.
As an example by Cutkosky and Piltant shows, a certain property called relative resolution may work with one type of Artin Schreier defect extensions, but not with the other. This connection with algebraic geometry has to be investigated further.
This work was strongly inspired by the first part of Francoise Delon's thesis. Some results are generalized, some others are put in a larger perspective.

18/05/04 : L. darnière (U. Angers)
Modèle-completion pour les treillis de dimension finie
There is a wide class of lattices in which the Krull-dimension of the spectrum (that is the Stone space of prime filters) is definable in a natural way, we call it the class of scaled lattices. Boolean algebras, for example, are precisely scaled lattices of dimension zero (by which we mean scaled lattices whose spectrum has Krull-dimension zero). Our motivating example of non-zero dimensionnal scaled lattice is the lattice of all closed definable subsets of the power set $k^N$ with $k$ an algebraically closed, real closed or $p$-adically closed field. It is remarkable that the dimension of those lattices coincides with the usual geometric dimension as we will check it.
As is well known, the theory of boolean algebras admits as a model-completion the theory of dense boolean algebras. We prove that the theory of scaled lattices of arbitrary dimension N admits a model-completion and give an explicit axiomatization of it, which boils down to the usual one (density) in the zero dimensionnal case.

29/04/04 : A. Martin-Pizzarro (Humboldt U., Berlin, Allemagne)
Galois cohomology of surgical fields
In "Corps et Chirurgie" Pillay and Poizat studied fields with a primitive notion of dimension on definable sets arising generally from some ordinal-valued rank. They showed that surgical fields (that is, fields admiting such a dimension) were perfect and the absolute Galois group was small (i.e. only finitely many open subgroups for each finite index). We will study the cohomological behaviour of such fields, and in particular of algebraic groups defined over them. Some knowledge of Geometric Stability Theory and Algebraic Geometry will be assumed.

27/04/04 : F.-V. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Extensions of valuations to rational function fields
Classification and construction of extensions of valuations to rational function fields in one and in several variables, connection with algebraic geometry, construction of nasty extensions with defect.

09/03/04 : S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
Positivstellensatze et problème des moments
Le problème des moments en analyse fonctionnelle recherche la représentation (par intégrale) de fonctions linéaires sur l'anneau des polynômes. D'autre part, les "Positivstellensaetze" en géométrie algébrique réelle s'occupent de représentation de polynômes positifs, dans l' esprit du 17ème Problème de Hilbert. Ces deux problèmes de représentation sont intimement liés, et Schmuedgen montre en 1991 que le problème des moments est toujours résoluble, si le support de la mesure est un ensemble semi-algébrique COMPACT. Plusieures généralisations au cas NON-COMPACT ont été faites depuis (Powers-Scheiderer, Kuhlmann-Marshall-Schwartz).
Dans cet exposé, nous ferons un survol historique rapide, pour ensuite présenter les resultats nouveaux.

16/12/03 : M. Kotchetov (U. Carleton, Ottawa, Canada)
Orderability of Hopf algebras
We start by recalling the definition of a Hopf algebra. The simplest examples are group algebras and universal enveloping algebras. In fact, every cocommutative Hopf algebra over an algebraically closed field K of characteristic zero is a smash product of the form U(L)#KG, where U(L) is the universal enveloping algebra of some Lie algebra L and KG is the group algebra of some group G. We will give necessary and sufficient conditions for such a smash product to be orderable in the case when K is the field of reals and dim L is finite. Then we turn to the so called *-orderings on rings with involution. The existence of *-orderings on U(L) was proved by M. Marshall in his recent paper. It turns out that the problem of existence of a *-ordering on KG is more difficult. We discuss some partial results in this direction. Finally, we will state necessary and sufficient conditions for the smash product U(L)#KG to have a *-ordering in the case when K is the field of complex numbers and dim L is finite (modulo the problem of *-orderability of KG).


04/02/03 : D. Haskell (U. McMaster, Hamilton, Ontario, Canada)
L'élimination des imaginaires dans les corps algébriquement clos valués (I)
Une esquisse de la démonstration ; les sortes précises - les modules et leurs cossettes ; les ensembles unaires et la notion de générique ; les noyaux des fonctions.


15/05/01 : J. Koenigsmann (U. Konstanz, Allemagne)
Encoding valuations in absolute Galois group
The talk provides an Artin-Schreier theory for valued fields: mutatis mutandis, valuations on any field F are encoded in the absolute Galois group of F, just like orderings. This comprises and generalizes the many partial results obtained in special cases since the early 70`s. (matured version of the talk I gave on the valuation theory conference in Saskatoon)


22/06/00 : M. Marshall (U. Saskatchewan, Saskatoon, Canada)
Recent developments in semi-algebraic geometry arising from Schmuedgen's solution of the K-Moment Problem
Schmuedgen's solution of the K-Moment Problem (1991) makes essential use of Stengle's Positivstellensatz, but otherwise Schmuedgen's methods are functional-analytic. Recently, a purely algebraic proof has been discovered by Woermann, based on the Kadison-Dubois Theorem. Also, in the last 10 years, Schmuedgen's original result has been strengthened and extended in various ways. The related question of Putinar on when linear representations are possible was solved (in some sense, at least), in 1999, by Jacobi and Prestel, using the local-global principle for weak isotropy of quadratic forms. The Kadison-Dubois Theorem has been extended, first by Jacobi and then again later, by myself. The combined work of Jacobi and Woermann extends everything to from level 1 to general odd level. A non-compact version of Schmuedgen's result has been proved by myself, although the application of this to the Moment Problem is still unclear, and more work needs to be done here. The talk will concentrate on all these various developments in the last 10 years, and will be designed for a general audience.

20/06/00 : S. Kuhlmann (U. Saskatchewan, Saskatoon, Canada)
A maximality property of the Hardy field H(Ranpowers)
Résumé en anglais au format dvi

16/11/99 : E. Jaligot (U. lyon 1)
Quelques configurations de petits groupes simples de rang de Morley fini
Selon la conjecture de Cherlin-Zil'ber, un groupe simple infini de rang de Morley fini devrait être algébrique. Au regard d'une théorie des 2-Sylow valide dans ce contexte, Borovik a élaboré un programme de classification (s'inspirant de la classification des groupes simples fini !) pour les groupes ordinaires, les « tame groups ». Je parlerai de ce qui peut être fait sans cette hypothèse, notamment sur certaines configurations de « petits » groupes.


22/06/99 : C. Holland (U. Bowling Green, USA, et U. du Mans)
Equational classes of automorphism groups of ordered structures
By a variety of groups, we mean the class of all groups satisfying a given set of (universally quantified) equations. If T is a totally ordered set and A(T) is the group of all automorphisms of T, then the variety of groups generated by A(T) can only be the variety of all groups or one of the solvable varieties. For each solvable variety Sn, we will describe the structure of the set T and of the group A(T) if A(T) generates Sn. We will also consider the question of solvability of equations in A(T).


28/04/98 : L. Darnière (U. Rennes 1)
Anneaux PAC, PRC ou PpC
Les corps PAC, PRC ou PpC sont bien connus des theoriciens des modeles. Il s'agit de corps satisfaisant un principe local-global semblable au principe de Hasse, relativement à des « clôtures » (la clôture algébrique pour les corps PAC, les clôtures réelles/p-adiques pour les PRC/PpC).
L'objet de l'exposé est de présenter une généralisation de cette notion au cas des anneaux intègres, à l'aide d'un principe local-global de même nature. On obtient ainsi des critères d'équivalence élémentaire, de plongement élémentaire ou existentiellement clos comparables à ceux des corps PAC/PRC/PPC, et des résultats de décidabilité pour diverses extensions entières de l'anneau des entiers relatifs.

.