| Equipe(s) | Responsable(s) | Salle | Adresse |
|---|---|---|---|
| Logique Mathématique |
F. Delon, M. Dickmann, D. Gondard |
1013 | Sophie Germain |
Mardi de 14h00 à 15h45
Page du séminaire et programme
Abonnement à la liste de diffusion
| Orateur(s) | Titre | Date | Début | Salle | Adresse | ||
|---|---|---|---|---|---|---|---|
| + | Hugo Mariano | Multirings and applications to algebraic theory of quadratic forms, IV | 15/11/2022 | 14:00 | |||
(Joint work with Kaique M.A. Roberto (IME-USP) and Hugo R.O. Ribeiro (IME-USP)) A superring is essentially a ring with multivalued sum and product: for instance, the set of polynomials with coefficients in a multiring has a natural structure of superring. |
 | ||||||
| + | Hugo Mariano | Multirings and applications to algebraic theory of quadratic forms, III | 08/11/2022 | 14:00 | |||
(Joint work with Hugo R.O. Ribeiro (IME-USP))
In this third talk, we focus on constructions of multirings associated with real semigroups: (i) we describe further properties of the functor Q, the reflection (= left adjoint functor) of the natural inclusion of the category of real reduced multirings into the category of pre-ordered multirings and explore some of these properties; (ii) by the employ of sheaf-theoretic methods, we characterize the real reduced hyperrings as certain "geometric" von Neumann regular real hyperring and describe the functor V, "geometric" von Neumann regular hull of a multiring; (iii) we present some interesting logical-algebraic interactions between the functors Q and V that are useful to describe the Witt ring of a real semigroup (or real reduced multiring). |
| ||||||
| + | Hugo Mariano | Multirings and applications to algebraic theory of quadratic forms, III | 18/10/2022 | 14:00 | |||
(Joint work with Hugo R.O. Ribeiro (IME-USP))
In this third talk, we focus on constructions of multirings associated with real semigroups: (i) we describe further properties of the functor Q, the reflection (= left adjoint functor) of the natural inclusion of the category of real reduced multirings into the category of pre-ordered multirings and explore some of these properties; (ii) by employing sheaf-theoretic methods, we characterize the real reduced hyperrings as certain "geometric" von Neumann regular real hyperrings and describe the functor V, the "geometric" von Neumann regular hull of a multiring; (iii) we present some interesting logical-algebraic interactions between the functors Q and V that are useful to describe the Witt ring of a real semigroup (or real reduced multiring). |
| ||||||
| + | Hugo Mariano | Multirings and applications to algebraic theory of quadratic forms, II | 11/10/2022 | 14:00 | |||
(Joint work with Kaique M.A. Roberto (IME-USP) and Hugo R.O. Ribeiro (IME-USP)) |
| ||||||
| + | Hugo Mariano | Multirings and applications to algebraic theory of quadratic forms, I | 04/10/2022 | 14:00 | |||
(Joint work with Kaique M.A. Roberto (IME-USP) and Hugo R.O. Ribeiro (IME-USP))
The concept of multiring was introduced by M. Marshall in 2006 and generalizes the Krasner's hyperrings (introduced in the 1950's), but multifields and hyperfields coincide. A multiring is essentially a ring with a multivalued sum satisfying a weak distributive law, but it can be viewed also as a first-order relational structure satisfying some $\forall\exists$ sentences. In this first talk of a series, we start describing the basic notions, examples and main constructions in the category of multirings. In the sequel, we present detailed functorial encoding of abstract theories of quadratic forms (abstract ordering spaces, (pre)special groups, real semigroups, etc) into the theory of multirings (respectively real reduced hyperfields, (pre)special hyperfields, real reduced multirings, etc).
|
| ||||||
| + | Jorge GUIER ACOSTA | Théorie universelle d'une classe modèle-complète d'anneaux réels clos. | 14/06/2022 | 14:00 | |||
Soit T* la théorie des f-anneaux réduits, projetables, divisible-projetables, sc-réguliers et réels clos sans idempotents minimaux (non nuls). La modèle-complétude de cette théorie a été établie auparavant dans le langage des anneaux réticulés avec une relation radicale (dans le sens de Prestel-Schwartz) déterminée par la classe des idéaux premiers minimaux, et une relation de divisibilité locale. Dans cet exposé je décrirai la théorie universelle de T* dans ce langage, augmenté par la relation de divisibilité globale. L'étude détaillé de cette théorie universelle est le pas préalable à une preuve d'élimination des quantificateurs de T* sur laquelle je travaille actuellement. |
| ||||||
| + | Victor Vinnikov | Hyperbolic polynomials and their determinantal representations | 12/04/2022 | 14:00 | |||
A homogeneous polynomial of degree d with real coefficients is called hyperbolic with respect to a point if any real line through this point intersects the corresponding hypersurface in d real points (counting multiplicities). Hyperbolic polynomials are in a sense the opposite of strictly positive polynomials: they have as many real zeroes as possible. Hyperbolic polynomials were first introduced by Garding in the study of linear hyperbolic PDEs with constant coefficient in the 1950s; he showed that a hyperbolic polynomial determines a convex cone, called a hyperbolicity cone. In recent years hyperbolic polynomials and hyperbolicity cones came to play an important in convex programming as well as combinatorics and other areas.
Much like a representation as a sum of squares certifies the positivity of a polynomial, its hyperbolicity is certified by a representation as a determinant of a matrix of linear forms, with the coefficient matrices of the linear forms satisfying some positivity conditions. I will describe some of what is known about the existence of these determinantal representations, usually "with denominators". One fruitful approach uses a Hermitian Positivstellensatz that gives a representation of a polynomial satisfying matrix positivity conditions as a weighted sum of hermitian squares. |
| ||||||
| + | Arno Fehm | The existential theory of discrete equicharacteristic henselian valued fields | 29/03/2022 | 14:00 | |||
| From a model theoretic point of view, local fields of positive characteristic, i.e. fields of Laurent series over finite fields, are much less well understood than their characteristic zero counterparts - the fields of real, complex and p-adic numbers. I will discuss different approaches to axiomatize and decide at least their existential theory in various languages and under various forms of resolution of singularities. |
| ||||||
| + | Salma Kuhlmann | Distinguished Subfields of Hahn Fields | 22/03/2022 | 14:00 | |||
| (Work in progress with Michele Serra and Sebastian Krapp). Let k be a field and G a totally ordered Abelian group. A Hahn field is an intermediate field K between k(G) (the fraction field of the group ring k[G], which we call the minimal Hahn field) and k((G)) (the field of generalised series, which we call the maximal Hahn field). While studying the group of valuation preserving automorphisms of K, we identified two crucial lifting properties of K which allow a fine description of that group. We still lack an understanding of the class of Hahn fields which do enjoy those properties. In the talk, we will discuss the properties, their relation to the automorphism group, and our current methods to obtain examples and counterexamples. |
| ||||||
| + | Françoise DELON | Structures C-minimales denses définissablement complètes | 23/11/2021 | 14:00 | S.G. salle 1013 | ||
| Comme on le voit dans l'exposé de Pablo du 9 novembre, un corps p-minimal est toujours définissablement complet. Il satisfait même une forme forte de complétude définissable. Un corps C-minimal n'a aucune raison d'être définissablement complet, mais s'il l'est alors, modulo une additionnelle sur le groupe de valuation, il satisfait une forme forte très semblable de complétude définissable. Ce résultat vaut pour n'importe quelle structure C-minimale et est le sujet de l'exposé. Il a déjà été utilisé pour montrer des résultats allant dans le sens de la trichotomie dans les structures C-minimales géométriques (selon laquelle une telle structure interprète un groupe si la géométrie est non triviale et un corps si elle est non modulaire). Rappels : un corps p-minimal est un corps p-adiquement clos enrichi dans lequel les sous-ensembles à un variable définissables sont déjà définissables dans le pur corps, et si la même propriété est vraie dans toute structure élémentairement équivalente. Une C-relation, comme on l'a rappelé Marie-Hélène dans son exposé du 21 octobre, est un affaiblissement ternaire d'une distance ultramétrique, situation où elle est donnée ainsi : C(x,y,z) ssi d(x,y) = d(x,z) > d(y,z), id est : y et z sont plus près l'un de l'autre que de x. Une structure dans un langage contenant C plus d'autres choses est C-minimale si tout sous-ensemble à une seule variable définissable est définissable sans quantificateurs dans le pur langage { C }, et idem dans toute structure élémentairement équivalente. C'est la même chose de dire qu'un tel ensemble est une combinaison booléenne de ce qui généralise les boules ouvertes et fermées (id est de cônes et cônes épais ou '' 0-levelled sets ''). Dans notre contexte les C-relations sont de plus supposées denses : pour tous x et y distincts, il existe z plus près de x que de y. |
| ||||||
| + | Max Dickmann | Rings of formal power series and symmetric real semigroups | 16/11/2021 | 14:00 | S.G. salle 1016 | ||
| On commencera par un bref survol de la notion de semigroupe réel (RS) et de ses relations avec les anneaux (commutatifs, unitaires) semi-réels et préordonnés. On fera une description rapide des classes de RS connues, en mettant l'accent sur celle des éventails (fans). Ensuite nous donnons une caractérisation arithmétique des objets du spectre réel des anneaux F[[G]] des séries formelles à coefficients dans un corps formellement réel (i.e., ordonnable) F et exposants dans un groupe abélien totalement ordonné G arbitraire; on obtient ainsi des renseignements sur la structure ordinale de leurs spectres réels et des leurs RS associés. On déduit que les espaces de caractères de ces RS possédent des symétries très fortes qui conduisent naturellement à une notion générale de RS symétrique. On étudie en détail ces RS ainsi que les nombreuses propriétés qui en découlent. On prouve un théorème de représentation qui montre que les RS symétriques finis sont isomorphes aux RS associés à des anneaux du type F[[G]]; pourtant, il y a des contrexemples à la validité d'un tel résultat pour les RS symétriques de cardinalité arbitraire. |
| ||||||
| + | Pablo Cubides Kovacsics | Complétude définissable et applications | 09/11/2021 | 14:00 | S.G. salle 1016 | ||
| La complétude définissable est une propriété qui n'est pas forcément préservée dans une expansion modérée de corps valués. Par exemple, il y a des expansions C-minimales de corps valués algébriquement clos n'ayant pas cette propriété. En revanche, je montrerai dans cet exposé que toute expansion P-minimale d'un corps p-adiquement clos K satisfait une version forte de complétude définissable : toute famille définissable d'ensembles emboîtés, fermés et bornés est d'intersection non-vide. On en déduit entre autres qu'une telle expansion est polynômialement bornée (répondant positivement à une question de R. Cluckers et I. Halupczok). Il s'agit d'un travail en commun avec Françoise Delon. |
| ||||||
| + | Silvain Rideau-Kikuchi | Groupes définissables, génériques et loi birationnelle | 19/10/2021 | 14:00 | https://zoom.us/j/91443442825?pwd=VmFTTWsxcmFQSmQ5dGRjUW1tSm1sUT09 | Zoom id 914 4344 2825 | |
| Un concept central dans l'étude des groupes stables est celui de généricité, qui capture une notion de « gros » sous-ensemble du groupe et qui généralise la notion de point générique de la géométrie algébrique. Et comme l'énonce un théorème de Weil pour les groupes algébriques, il s'avère qu'un groupe stable est entièrement déterminé par le comportement générique de sa loi de groupe. Dans cet exposé, je présenterai cette notion de généricité dans le cadre des théories stables et l'une des approches pour la généraliser à des théorie instables. Dans un deuxième temps, j'expliquerais comment ces résultats peuvent être utilisés pour classifier les groupes définissables dans certaines théories de corps, en particulier, pour montrer qu'ils sont essentiellement des groupes algébriques. |
| ||||||
| + | Marie-Hélène Mourgues | Classification des purs C-ensembles C-minimaux et aleph-zéro-catégoriques | 12/10/2021 | 14:00 | 1016 | Sophie Germain | |
| J'exposerai les résultats de classification des $C$-ensembles purs $C$-minimaux et $\aleph_0$-catégoriques obtenus dans l'article Classification of $\aleph_0$-categorical $C$-minimal pure $C$-sets. Le théorème de Ryll-Nardzewsky permet de se ramener tout d'abord à la classification des $C$-ensembles purs $C$-minimaux et $\aleph_0$-catégoriques et indiscernables, c'est cette classification que nous détaillerons principalement à l'aide d'exemples. Si j'en ai le temps, je dirai ensuite quelques mots de la classification générale qui utilise des arbres finis étiquetés par des entiers et des théories de $C$-ensembles purs $C$-minimaux et $\aleph_0$-catégoriques et indiscernables |
| ||||||
| + | Olivier Benoist | Sur les mauvais points des polynômes positifs | 01/06/2021 | 14:00 | https://u-paris.zoom.us/j/87835993947?pwd=ejBSNVJBR1luWUU2S2ZjWjkzRTFMdz09 | Zoom id 878 3599 3947 | |
| Un mauvais point d'un polynôme réel positif est un point en lequel un pôle apparaît dans toute représentation de celui-ci comme somme de carrés de fractions rationnelles. Nous présenterons un exemple de polynôme positif en trois variables pour lequel l'origine est un mauvais point, mais qui est néammoins une somme de carrés de séries formelles. Nous donnerons également un exemple de polynôme positif en trois variables admettant un mauvais point complexe non réel. Ces exemples répondent à des questions de Brumfiel et de Scheiderer. |
| ||||||
| + | Cordian Riener | Vandermonde varieties and efficient algorithms for computing the Betti numbers of symmetric semi-algebraic sets | 18/05/2021 | 14:00 | https://u-paris.zoom.us/j/88499863030?pwd=YlhvclZzbG02UlNmZjNjVENwbXFiZz09 | Zoom id 884 9986 3030 | |
| For 1 ≤ i ≤ n denote by $p_i=\sum_{j=1}^k the power-sums polynomials. For d ∈ N and y ∈ Rd the algebraic set Vd(y) = {x ∈ Rn : p1(x) = y1, . . . , pd(x) = yd} is called a Vandermonde-variety. These algebraic sets have been studied by Arnold and Giventhal in connection to hyperbolic polynomials. In this talk we will generalise some results of Arnold and Giventhal on the Homology of Vandermonde varieties, more concretely: let H∗(Vd, Q) denote the cohomology group of a Vandermonde variety. Since Vd is invariant by the natural action of the symmetric group Sn the cohomology group H∗(Vd, Q) has the structure of an Sn module. We prove that for all λ ⊢ k, the multiplicity of the Specht-module Sλ in Hi(Vd(y), Q), is zero if length(λ) ≥ i+2d−3. This vanishing result allows us to prove similar vanishing result for arbitrary symmetric semi- algebraic sets defined by symmetric polynomials of degrees bounded by d. As a result, we obtain for each fixed l ≥ 0, an algorithm for computing the first l + 1 Betti numbers of such sets, whose complexity is polynomially bounded (for fixed d and l). |
| ||||||
| + | Daniel Plaumann | Hyperbolic Polynomials | 11/05/2021 | 14:00 | https://u-paris.zoom.us/j/85413611691?pwd=NHBvY1VoenFCNU05eVVKdTVqRTJjdz09 | Zoom Id 854 1361 1691 | |
| Hyperbolic polynomials are real homogeneous polynomials in several variables with a certain reality condition on their roots. They orginate in PDE theory but have more recently been studied extensively in combinatorics, convex optimization and real algebraic geometry. A lot of their theory can be thought of as generalising symmetric determinants. In this talk, I will give a gentle introdcution, survey several important results and point to some recent developments and open problems. |
| ||||||
| + | Salma Kuhlman | On Rayner Structures | 23/03/2021 | 14:00 | https://u-paris.zoom.us/j/83288534029?pwd=M1dmZ3RBa01LSlA2OU5lUDVIQVUvZz09 | Zoom Id 832 8853 4029 | |
| In this note, we study substructures of generalised power series fields induced by families of well-ordered subsets of the group of exponents. We relate set theoretic and algebraic properties of the families to algebraic features of the induced sets. By this, we extend the work of Rayner ('An algebraically closed field', GMJ 1968) to truncation closed substructures of generalised power series fields. |
| ||||||
| + | Vincent Bagayoko | Hyperseries and surreal numbers | 09/03/2021 | 14:00 | https://u-paris.zoom.us/j/83552104627?pwd=Y1BhbmZxY1JpU1hLSFpFZnNGSDgzZz09 | Zoom Id 835 5210 4627 | |
| Transseries are formal series, involving exponentials and logarithms, which provide a natural model for the model theory of Hardy fields, i.e. ordered fields of real-valued differentiable germs. Transseries are not closed under many functional equations, whose solutions still behave like germs in Hardy fields. Hyperexponential functions, which grow faster or than any finite iteration of the exponential, naturally appear in this context. Although such functions are somewhat analytically exotic, the works of Ecalle, van der Hoeven and Schmeling show that some of them are amenable to geometric or formal descriptions. Hyperseries are an extension of transseries that can act as formal counterparts to more general germs including hyperexponentials. It turns out that hyperseries can be interpreted as Conway's surreal numbers. I will show that surreal numbers fill the gaps left in transseries, and I will explain how one can exploit this connection to endow the class of surreal numbers with a structure of field of hyperseries. |
| ||||||
| + | Marie Françoise Roy | Complexité du calcul de la topologie d'une courbe algébrique réelle | 16/02/2021 | 14:00 | https://us02web.zoom.us/j/85841560806?pwd=SG5KSEUwNlUvNnJFWHBiaHhUNGt5UT09 | Zoom ID 858 4156 0806 | |
| We give a deterministic algorithm to compute the topology of a real algebraic curve defined by an integer bivariate polynomial of degree bounded by d and bitsize bounded by τ. . Our analysis yields the upper bound Õ(d^5 τ + d^6 ) on the bit complexity of our algorithm. Compared to existing algorithms with similar complexity, our method does not consider any change of coordinates, and gives cylindrical algebraic decomposition of the curve. We use two main ingredients: First, we derive amortized quantitative bounds on the the roots of polynomials with algebraic coefficients as well as adaptive methods for computing the roots of such polynomials that actually exploit this amortization. Our second ingredient is a novel approach for the computation of the local topology of the curve in a neighbourhood of all critical points. Joint work with Daouda Niang Diatta · Sény Diatta ·Fabrice Rouillier · Michael Sagraloff |
| ||||||
| + | Sylvy Anscombe | Approximation for spaces of orderings and valuations | 09/02/2021 | 14:00 | https://us02web.zoom.us/j/84425422716?pwd=ZkdzL09ZdWtyQzROSXdwQm1QVzVRQT09 | Zoom ID 844 2542 2716 | |
| (Joint work with Philip Dittmann and Arno Fehm.) By the classical Artin--Whaples approximation theorem we may simultaneously approximate finitely many different elements of a field with respect to finitely many pairwise inequivalent absolute values. Several variants and generalizations exist, for example for finitely many valuations, where one usually requires that these are independent (i.e. induce different topologies). Ribenboim proved a generalization for finitely many valuations where the condition of independence is relaxed for a natural compatibility condition, and Ershov proved a statement about simultaneously approximating finitely many different elements with respect to finitely many possibly infinite sets of pairwise independent valuations. We prove approximation theorems which generalize both of these: we work with infinite sets of valuations and orderings and we weaken the requirement of pairwise independence. On the way we'll use the notation of a `locality', generalising both valuations and orderings. We will discuss the space of localities and explore some advantages and deficiencies of this approach. |
| ||||||
| + | Salma Kuhlmann | Projective limit techniques for Positivstellensätze. | 18/02/2020 | 14:00 | |||
In this talk we discuss Positivstellensätze in the general context of a unital, commutative, not necessarily finitely generated, real algebra. We focus on the dual problem, and give an introduction to (real) infinite dimensional moment problems (i.e. when measures are supported on real infinite dimensional spaces). We will focus on the following problem: when can a linear functional on a unital commutative real algebra A be represented as an integral w.r.t. a Radon measure on the real character space X(A) equipped with the Borel σ-algebra generated by the weak topology? Our main idea is to construct X(A) as a projective limit of the character spaces of all finitely generated subalgebras of A, to be able to exploit the classical finite dimensional moment theory in the infinite dimensional case. We thus obtain existence results for representing measures defined on the cylinder σ-algebra on X(A), carried by the projective limit construction. If in addition the well-known Prokhorov (ε-K) condition is fulfilled, then we can solve our problem by extending such representing measures from the cylinder to the Borel σ-algebra on X(A). These results allow us to establish e.g. infinite dimensional analogues of the classical Riesz-Haviland. |
| ||||||
| + | Francisco Miraglia | Special groups and quadratic forms over rings with non zero-divisor coefficients. | 11/02/2020 | 14:00 | |||
The purpose is to begin to generalize the theory developed in [DM] (see below) to diagonal quadratic forms with non zero-divisor coefficients in reduced unitary pre-ordered commutative rings. We present: |
| ||||||
| + | Jorge GUIER ACOSTA | Divisibilité locale et modèle complétude en théorie des anneaux réels-clos | 21/01/2020 | 14:00 | |||
On introduira les relations de divisibilité locale ainsi que ces propriétés élémentaires. Par la suite on démontrera que la théorie des f-anneaux réels clos, sc-reguliers, projetables, divisible-projetables ayant la premiere propriété de convexité, sans idempotents minimaux est modèle complète en utilisant la relation de divisibilité locale ainsi que la relation radicale associée au spectre des idéaux premiers minimaux. |
| ||||||
| + | Eberhard Becker | STUDY OF SUMS OF POWERS IN REAL FUNCTION FIELDS VIA TOPOLOGY | 08/10/2019 | 14:00 | |||
In formally real fields K sums of powers with arbitrary even exponents can be |
| ||||||
| + | Patrick Speissegger | Expansions of the real field by canonical products | 11/06/2019 | 14:00 | |||
| We consider expansions of o-minimal structures on the real field by certain
canonical Weierstrass products and/or associated functions, such as their logarithmic derivatives. We show that there are only three possible outcomes for the resulting structures: they are either o-minimal, or d-minimal but not o-minimal, or they define the set of integers. Joint work with Chris Miller. |
| ||||||
| + | Salma Kuhlmann | ORDERED FIELDS DENSE IN THEIR REAL CLOSURE AND DEFINABLE CONVEX VALUATIONS | 14/05/2019 | 14:00 | |||
| In this work, we undertake a systematic model and valuation theoretic
study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the language of ordered rings. In light of our results, we re-examine recent conjectures in the context of strongly NIP ordered fields. Joint work with Lothar Sebastian Krapp and Gabriel Lehericy. |
| ||||||
| + | Alexi Block Gorman | O-minimal Expansions of Groups with a Predicate for a Dense Substructure Expanding a Group | 16/04/2019 | 14:00 | |||
| This talk concerns a couple properties of the theory obtained by adding a dense/codense algebraic substructure to an o-minimal expansion of an ordered divisible abelian group. I will discuss a characterization of when the expansion of an o-minimal group by a generic subgroup has a model companion. This characterization proves to be geometric in essence, and hence is similar in spirit to criteria for the property of near-model completeness. I will discuss a few examples of an o-minimal theory with a predicate for an algebraic substructure that is not generic, but satisfies some geometric criteria that imply near-model completeness. Namely, the examples are pairs of ordered vector spaces with different base fields, and pairs of fields such that one is real closed and one is pseudo-real closed. |
| ||||||
| + | Olivier Benoist | Le u-invariant du corps de fonctions d'une surface réelle | 19/02/2019 | 14:00 | |||
| Lang a conjecturé qu'une forme quadratique en au moins 5 variables sur le corps de fonctions d'une surface réelle sans point réel a un zéro non trivial. Nous expliquerons une preuve de cet énoncé, ainsi que d'une généralisation, considérée par Pfister, à des surfaces réelles arbitraires. |
| ||||||
| + | Pablo Cubides | Ensembles définissables d'une courbe de Berkovich | 04/12/2018 | 14:00 | |||
| Soit K un corps valué algébriquement clos complet de rang 1. Soit X une courbe algébrique sur K et X^\mathrman son analytifié au sens de Berkovich. Nous montrerons comment associer à X^\mathrman, de façon fonctorielle, un ensemble définissable Y dans un langage naturel. On obtient ainsi une preuve alternative d’un résultat de Hrushovski-Loeser sur l’iso-définissabilité des courbes. Notre association étant explicite nous permettra de donner une description concrète des sous-ensembles définissables de Y. Il s’agit d’un travail un commun avec Jérôme Poineau.
|
| ||||||
| + | Silvain Rideau | Imaginaires dans les corps Henséliens II: Invariance des types au dessus de RV | 13/11/2018 | 14:00 | |||
| Dans ce second exposé, je présenterais le second ingrédient principal de
la preuve d'élimination des imaginaires pour certains corps Henséliens (avec opérateurs) d'équicharactéristique nulle qui consiste à compléter n'importe quel type sans quantificateur définissable en un type invariant au dessus de RV. La preuve au dessus d'un modèle consiste à rendre canonique la preuve d'élimination des quantificateurs de corps. Au dessus d'ensembles algébriquement clos, des types stablement dominés font leur apparition. Ces travaux sont joints avec Martin Hils. |
| ||||||
| + | Silvain Rideau | Imaginaires dans les corps Henséliens I : densité des types sans quantificateurs définissables | 06/11/2018 | 14:00 | |||
| Dans cet exposé nous aborderons la question de l'élimination des
imaginaires dans les corps henséliens potentiellement munis d'opérateurs d'équicharactérsitique nulle. Dans un premier temps je présenterais le résultat optimal que l'on peut espérer prouver, à savoir une élimination relative aux sortes géométriques, à RV ainsi qu'à certains imaginaires d'espaces vectoriels définissables. Dans un second temps, je présenterais une approche pour certains corps en équicharactéristique nulle et enfin je présenterais le premier ingrédient principal de cette approche: la construction de types sans quantificateurs définissables, qui est une amélioration de mes résultats précédents sur les corps valués différentiels contractants existentiellement clos. Ces travaux sont joints avec Martin Hils. |
| ||||||
| + | Journée thématique en l'honneur de Paulo Ribenboim | 20/03/2018 | 10:30 | Institut Henri Poincaré - Amphi Hermite | |||
| Programme
Welcome 10:30 10:45 - 11:30 Lou van den Dries: Hardy fields, transseries, and surreal numbers 11:45 - 12:30 Franziska Jahnke: Definable Henselian Valuations Lunch 12:30 -14:30 14:30 - 15:15 Sibylla Priess-Crampe: Asymptotic approximations - a short insight into my joint work with Paulo for our book on Ultrametric Spaces 15:30 - 16:15 Paulo Ribenboim: Roots of Polynomials in Ultranormed Rings Coffee and tea break 16:15 - 17:00 17:00 - 17:45 Daniel Bertrand: Pell equations over polynomial rings Birthday cocktail 18:00 - 20:00 This event is supported by IMJ-PRG, Projets Logique and Théorie des nombres, and by the GDR-STN. |
| ||||||
| + | Pantelis Eleftheriou | Counting rational points in tame expansions of o-minimal structures by a dense set | 13/03/2018 | 14:15 | IHP - Amphithéatre Darboux | ||
| ATTENTION : EXCEPTIONNELLEMENT, CET EXPOSÉ AURA LIEU À L’INSTITUT HENRI POINCARÉ.
We work in an expansion (M, P) of an o-minimal structure M by a dense set P, such that three tameness conditions hold. Examples include dense pairs, expansions of M by an independent set, and expansions by a multiplicative group with the Mann property. In the first part of the talk, we give a structure theorem for definable sets in (M, P), in analogy with the cell decomposition theorem known for o-minimal structures, and analyze the relevant notion of dimension (joint with Günaydın and Hieronymi). In the second part, we propose a generalized "Pila-Wilkie" statement and prove it in the three examples. Namely, if X is a definable set in (M, P) and contains many rational points, then it is dense in an infinite semialgebraic set. The proof of the statement is by reduction to the standard Pila-Wilkie theorem, using the structure theorem. |
| ||||||
| + | Immanuel Halupczok | Classifying definable sets in ℤ-groups | 27/02/2018 | 14:15 | IHP - Amphithéatre Darboux | ||
| ATTENTION : EXCEPTIONNELLEMENT, CET EXPOSÉ AURA LIEU À L’INSTITUT HENRI POINCARÉ.
Definable sets in the ordered abelian group ℤ are very well understood, via Presburger arithmetic. In particular, one can easily give a complete classification of definable subsets of ℤ^n up to definable bijection: Finite sets are classified by their cardinality and infinite sets are classified by a notion of dimension. Surprisingly, things become more difficult if one works in an elementary extension of ℤ. In the talk, I will present a complete classification of definable sets in that setting. This is joint work with Raf Cluckers. |
| ||||||
| + | Mickaël Matusinski | Surreal numbers as transseries... and vice versa ! | 06/02/2018 | 14:15 | IHP - Amphithéatre Darboux | ||
| ATTENTION : EXCEPTIONNELLEMENT, CET EXPOSÉ AURA LIEU À L'INSTITUT HENRI POINCARÉ.
Surreal numbers strike by the richness of their structure together with their universality: generalization of the reals and of the ordinal numbers, representation as generalized series with real coefficients, universal domain for real closed exponential fields. Several other important achievements have been obtained recently: structure of real differential field of transseries (Berarducci-Mantova), universal domain for Hardy fields (Aschenbrenner-van den Dries-van der Hoeven). Even a notion of partial composition has just been developed (Berarducci-Mantova). In this talk, we'll get started with an intuitive presentation of surreal numbers (definitions and classical results). Then, we'll develop some aspects of the cited recent works. If time permits, we'll mention a work in progress with Berarducci, S. Kuhlmann and Mantova. We underline that this talk is also aimed to be complementary to the mini-course of A. Berarducci "Surreal models of the reals with exponentiation". |
| ||||||
| + | Gabriel Lehéricy | Dérivations de type Hardy sur les corps de séries généralisées | 16/01/2018 | 14:00 | |||
| On sait grâce à Kaplansky que tout corps valué qui a même caractéristique que son corps résiduel est isomorphe à un sous-corps d'un certain corps de séries généralisées.
On peut alors se demander si un analogue du théorème de Kaplansky existe pour les corps différentiellement valués, c'est-à-dire les corps valués munis d'une dérivation ``de type Hardy'' tels que les H-corps étudiés par Aschenbrenner et v.d.Dries. Cela nécéssite de pouvoir définir une dérivation de type Hardy sur les corps de séries généralisées. On aimerait également que la dérivation satisfasse une condition de linéarité forte (c'est-à-dire que la dérivation commute avec les sommes infinies) et une règle de Leibniz forte (la dérivation commute avec certains produits infinis). Dans cet exposé, nous considérerons un corps de séries généralisées k((G)) et on donnera des conditions sur k et G pour l'existence d'une telle dérivation. On donnera également une méthode pour définir la dérivation explicitement. Il s'agit d'un travail en collaboration avec Salma Kuhlmann. |
| ||||||
| + | Tomás Ibarlucía | Quand l'ergodicité est une propriété du premier ordre | 07/11/2017 | 14:00 | |||
| Je présenterai des applications nouvelles de la logique continue à la théorie ergodique, notamment pour l'étude de phénomènes de rigidité associés à des actions fortement ergodiques de groupes dénombrables. Avant ceci j'introduirai les notions nécessaires tant de théorie ergodique que de logique continue. |
| ||||||
| + | Ayhan Günaydin | Topological Study of Pairs of Algebraically Closed Fields | 13/06/2017 | 14:10 | |||
| 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. |
| ||||||
| + | Daniel Plaumann | Hyperbolic polynomials and interlacers | 06/06/2017 | 14:15 | |||
| 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. |
| ||||||
| + | Tim Netzer | On non-commutative quantifier elimination in real algebra | 30/05/2017 | 14:15 | |||
| 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. |
| ||||||
| + | Christopher Miller | Component-closed expansions of the real line | 23/05/2017 | 14:15 | |||
| 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. |
| ||||||
| + | Françoise DELON | Dérivabilité des fonctions définissables dans un corps valué C-minimal | 16/05/2017 | 14:15 | |||
| 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. |
| ||||||
| + | Fred WEHRUNG | Espaces spectraux de groupes réticulés Abéliens | 02/05/2017 | 14:15 | |||
| 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. |
| ||||||
| + | Algèbres quasi-analytiques d'Ilyashenko et o-minimalité | journée thématique | 28/03/2017 | 10:00 | Sophie Germain, salles 2015 et 1016 | ||
| 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 14:00 - 15:00 Sophie Germain, salle 1016 (1er étage) Orateur : Tobias Kaiser (Passau) Titre : A holomorphic extension theorem for log-exp-analytic functions 15:15 - 15:45 Sophie Germain, salle 1016 (1er étage) Oratrice : Zeinab Galal (Paris Diderot) Titre : Quasianalytic Ilyashenko algebras II Résumés : - 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) - 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) - Quasianalytic Ilyashenko algebras II (Zeinab Galal) 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) |
| ||||||
| + | Structures algébriques ordonnées | 30/03/2016 | 14:00 | ||||
|
| |||||||