BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Département de mathématiques et applications - ECPv6.2.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Département de mathématiques et applications
X-ORIGINAL-URL:https://www.math.ens.psl.eu
X-WR-CALDESC:évènements pour Département de mathématiques et applications
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191108T110000
DTEND;TZID=Europe/Paris:20191108T122000
DTSTAMP:20260419T074405
CREATED:20191108T100000Z
LAST-MODIFIED:20211104T130247Z
UID:8531-1573210800-1573215600@www.math.ens.psl.eu
SUMMARY:Characterizing NIP henselian fields
DESCRIPTION:In this talk\, we characterize NIP henselian valued fields modulo the theory of their residue field. Assuming the conjecture that every infinite NIP field is either separably closed\, real closed or admits a non-trivial henselian valuation\, this allows us to obtain a characterization of all theories of NIP fields.
URL:https://www.math.ens.psl.eu/evenement/characterizing-nip-henselian-fields/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191105T160000
DTEND;TZID=Europe/Paris:20191105T173000
DTSTAMP:20260419T074405
CREATED:20191105T150000Z
LAST-MODIFIED:20211104T131047Z
UID:8527-1572969600-1572975000@www.math.ens.psl.eu
SUMMARY:Expansions de l'arithmétique de Presburger avec la propriété d'échange
DESCRIPTION:Soit G un groupe élémentairement équivalent à Z dans le langage de Presburger L_Pres. Soit L une expansion du langage L_Pres. On dit que la théorie de (G\, L) est L_Pres-minimale si tout sous-ensemble L-définissable de M est L_Pres-définissable (où M est un modèle de la théorie). Si G=Z\, des résultats de C. Michaux et R. Villemaire impliquent que Th(Z\, L) est L_Pres-minimale ssi la clôture algébrique a la propriété d’échange. Dans cet exposé\, je discuterai le cadre général. En particulier\, nous verrons que Th(G\,L) est L_Pres-minimale ssi la clôture algébrique a la propriété d’échange et tout sous-ensemble définissable borné de G a un maximum.
URL:https://www.math.ens.psl.eu/evenement/expansions-de-larithmetique-de-presburger-avec-la-propriete-dechange/
LOCATION:Sophie Germain salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191029T160000
DTEND;TZID=Europe/Paris:20191029T173000
DTSTAMP:20260419T074405
CREATED:20191029T150000Z
LAST-MODIFIED:20211104T140810Z
UID:8529-1572364800-1572370200@www.math.ens.psl.eu
SUMMARY:Model theory of proalgebraic groups
DESCRIPTION:Inspired by the model theoretic study of profinite groups\, we discuss the foundations of a model theoretic approach to proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a fibre functor as many-sorted first order structures. The theory of a diagonalizable proalgebraic group is well understood. It is determined by the theory of the base field and the theory of its character group. This is joint work with Anand Pillay.
URL:https://www.math.ens.psl.eu/evenement/model-theory-of-proalgebraic-groups/
LOCATION:Sophie Germain salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191029T140000
DTEND;TZID=Europe/Paris:20191029T170000
DTSTAMP:20260419T074405
CREATED:20191029T130000Z
LAST-MODIFIED:20211104T135125Z
UID:8528-1572357600-1572368400@www.math.ens.psl.eu
SUMMARY:Après-midi de théorie de groupes
DESCRIPTION:14.00-14.45 Christophe Pittet (Genève)\, The exact convergence rate in the ergodic theorem of Lubotzky Phillips Sarnak.15.00-15.45 Thiebout Delabie (Orsay)\, High dimensional cuts and coarse embedding.16.15-17.00 Alina Vdovina (Newcastle)\, Ramanujan cubical complexes as higher-dimensional expanders.
URL:https://www.math.ens.psl.eu/evenement/apres-midi-de-theorie-de-groupes-5/
LOCATION:Salle W (DMA ENS)
CATEGORIES:Séminaire de théorie des groupes à l’ENS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191022T160000
DTEND;TZID=Europe/Paris:20191022T173000
DTSTAMP:20260419T074405
CREATED:20191022T140000Z
LAST-MODIFIED:20211025T103725Z
UID:8526-1571760000-1571765400@www.math.ens.psl.eu
SUMMARY:The transitivity of Kim-independence
DESCRIPTION:The class of NSOP_1 theories contains the simple theories and many interesting non-simple theories\, such as the omega-free PAC fields or generic vector spaces with a non-degenerate bilinear form. With Itay Kaplan\, we introduced Kim-independence which agrees with non-forking independence within the simple theories and shares many of its nice properties within the simple NSOP_1 context. One very basic roadblock in lifting simplicity theory to the NSOP_1 setting\, however\, was transitivity: a free extension of a free extension should still be a free extension. This is almost immediate for non-forking extensions in a simple theory\, but becomes more involved for free extensions in the sense of Kim-independence. We will describe and motivate the basic theory\, and then discuss our recent proof of transitivity. This is joint with Itay Kaplan.
URL:https://www.math.ens.psl.eu/evenement/the-transitivity-of-kim-independence/
LOCATION:Sophie Germain salle 1016
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191011T160000
DTEND;TZID=Europe/Paris:20191011T173000
DTSTAMP:20260419T074405
CREATED:20191011T140000Z
LAST-MODIFIED:20211025T103721Z
UID:8524-1570809600-1570815000@www.math.ens.psl.eu
SUMMARY:H-minimality
DESCRIPTION:My goal\, in this talk\, is to explain a new notion of minimality for (characteristic zero) Henselian fields\, which generalizes C-minimality\, P-minimality and V-minimality and puts no restriction on the residue field or valued group contrary to these previous notions. This new notion\, h-minimality\, can be defined\, analogously to other minimality notions\, by asking that 1-types\, over algebraically closed sets\, are entirely determined by their reduct to some sublanguage – in that case the pure language of valued fields. However\, contrary to what happens with other minimality notions\, particular care has to be taken with regards to the parameters. In fact\, we define a family of notions: l-h-min for l a natural number or omega. My second goal in this talk will be to explain the various geometric properties that follow form h-minimality\, among which the well-known Jacobian property\, but also higher degree and higher dimensional versions of that property.
URL:https://www.math.ens.psl.eu/evenement/h-minimality/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191011T141500
DTEND;TZID=Europe/Paris:20191011T154500
DTSTAMP:20260419T074405
CREATED:20191011T121500Z
LAST-MODIFIED:20211025T103723Z
UID:8525-1570803300-1570808700@www.math.ens.psl.eu
SUMMARY:Quantifier elimination in algebraically closed valued fields in the analytic language: a geometric approach
DESCRIPTION:I will present a work on flattening by blow-ups in the context of Berkovich geometry (inspired by Raynaud and Gruson’s paper on the same topic in the scheme-theoretic setting)\, and explain how it gives rise to the description of the image of an arbitrary analytic map between two compact Berkovich spaces\, and why this description is (very likely) related to quantifier elimination in the Lipshitz-Cluckers variant of Lipshitz-Robinson’s analytic language. (I plan to spend most of the talk discussing the results rather than their proofs.)
URL:https://www.math.ens.psl.eu/evenement/quantifier-elimination-in-algebraically-closed-valued-fields-in-the-analytic-language-a-geometric-approach/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191008T160000
DTEND;TZID=Europe/Paris:20191008T173000
DTSTAMP:20260419T074405
CREATED:20191008T140000Z
LAST-MODIFIED:20211104T140837Z
UID:8522-1570550400-1570555800@www.math.ens.psl.eu
SUMMARY:An abstract elementary class framework for fields with commuting automorphisms
DESCRIPTION:We take a look at structures that consist of a field together with finitely many distinguished field automorphisms required to commute. The theory of fields with one distinguished automorphism has a model companion known as ACFA\, which Z. Chatzidakis and E. Hrushovski have studied in depth. However\, Hrushovski has proved that if you look at fields with two or more commuting automorphisms\, then the existentially closed models of the theory do not form a first order model class. This leads us to investigate them within a non-elementary framework. One way of doing non-elementary model theory is to move from elementary classes to the more general setting of abstract elementary classes (AECs). In the first order world\, classes of structures are usually defined syntactically as model classes of a given first order theory. An AEC is defined more semantically\, as a class of structures together with a binary relation that generalises the first-order elementary submodel relation. In this talk\, we go through some basics of AECs and present an AEC framework for studying fields with commuting automorphisms.
URL:https://www.math.ens.psl.eu/evenement/an-abstract-elementary-class-framework-for-fields-with-commuting-automorphisms/
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191005T141500
DTEND;TZID=Europe/Paris:20191005T154500
DTSTAMP:20260419T074405
CREATED:20191005T121500Z
LAST-MODIFIED:20211104T112259Z
UID:14057-1570284900-1570290300@www.math.ens.psl.eu
SUMMARY:Point-wise surjective presentations of stacks\, or why I am not afraid of (infinity) stacks anymore
DESCRIPTION:Any algebraic stack X can be represented by a groupoid object in the category of schemes: that is\, a pair of schemes Ob\, Mor and morphisms source\, target: Mor &rarr
URL:https://www.math.ens.psl.eu/evenement/point-wise-surjective-presentations-of-stacks-or-why-i-am-not-afraid-of-infinity-stacks-anymore-2/
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191001T160000
DTEND;TZID=Europe/Paris:20191001T173000
DTSTAMP:20260419T074405
CREATED:20191001T140000Z
LAST-MODIFIED:20211025T103654Z
UID:8515-1569945600-1569951000@www.math.ens.psl.eu
SUMMARY:Sous-groupes qui pavent génériquement et géométrie des involutions
DESCRIPTION:(En collaboration avec Joshua Wiscons)L’exposé mélange théorie des modèles\, théorie des groupes\, et algèbre géométrique. On y parlera de groupes de rang de Morley fini\, mais il suffit de savoir naïvement ce qu’est une dimension à valeurs entières\, sans devoir maîtriser les finesses de la conjecture de Cherlin-Zilber.Un groupe abstrait porte peu d’information de nature géométrique\, même au sens des géométries d’incidence\, et c’est toujours remarquable si cela se produit.Le pur groupe SO(3\,R)\, par exemple\, permet de redéfinir l’espace projectif réel. PGL(2\,C) permet presque la même chose : il définit un fragment générique de l’espace projectif complexe. En fait cette situation est naturellement liée à la distribution des involutions et aux intersections entre conjugués de leur centralisateur\, qui pavent génériquement le groupe ambiant (tout cela sera expliqué dans SO(3\,R) et PGL(2\,C)).En suivant cette piste on peut obtenir des énoncés étonnamment forts\, généralisant au passage divers classiques sur les mauvais groupes ou sur les groupes définissablement linéaires de rang de Morley fini. On conjecture également que cette géométrie des involutions annonce un nouveau théorème d’identification pour PGL(2\, K).
URL:https://www.math.ens.psl.eu/evenement/sous-groupes-qui-pavent-generiquement-et-geometrie-des-involutions/
LOCATION:Sophie Germain salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190924T160000
DTEND;TZID=Europe/Paris:20190924T173000
DTSTAMP:20260419T074405
CREATED:20190924T140000Z
LAST-MODIFIED:20211104T140910Z
UID:8514-1569340800-1569346200@www.math.ens.psl.eu
SUMMARY:H-structures
DESCRIPTION:A complete theory T is called geometric if the algebraic closure has the exchange property in all models of T and the theory eliminates the quantifier exists infinity. In such theories there is a rudimentary notion of independence given by algebraic independence. Examples of geometric theories include SU-rank one theories and dense o-minimal theories.An expansion of a model M of T by a unary predicate H is called dense-codense if for every finite dimensional subset A of M and every non algebraic type p(x) over A\, there is a realization of p(x) in H(M) and another one which is not algebraic over AH(M). A dense-codense expansion is called an H-structure if in addition H(M) is algebraically independent.In this talk we will talk about the basic properties of H-structures and how the new structure can be understood as a tame expansion of the original structure M. We will discuss groups definable in this expansion. We will also present some recent results on the special case when M is the ultrapower of a one-dimensional asymptotic class.This talk includes joint work with E. Vassiliev and D. Garcia and T. Zou.
URL:https://www.math.ens.psl.eu/evenement/h-structures/
LOCATION:Sophie Germain salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190810T160000
DTEND;TZID=Europe/Paris:20190810T173000
DTSTAMP:20260419T074405
CREATED:20190810T140000Z
LAST-MODIFIED:20211104T112705Z
UID:14070-1565452800-1565458200@www.math.ens.psl.eu
SUMMARY:An abstract elementary class framework for fields with commuting automorphisms
DESCRIPTION:We take a look at structures that consist of a field together with finitely many distinguished field automorphisms required to commute. The theory of fields with one distinguished automorphism has a model companion known as ACFA\, which Z. Chatzidakis and E. Hrushovski have studied in depth. However\, Hrushovski has proved that if you look at fields with two or more commuting automorphisms\, then the existentially closed models of the theory do not form a first order model class. This leads us to investigate them within a non-elementary framework. One way of doing non-elementary model theory is to move from elementary classes to the more general setting of abstract elementary classes (AECs). In the first order world\, classes of structures are usually defined syntactically as model classes of a given first order theory. An AEC is defined more semantically\, as a class of structures together with a binary relation that generalises the first-order elementary submodel relation. In this talk\, we go through some basics of AECs and present an AEC framework for studying fields with commuting automorphisms.
URL:https://www.math.ens.psl.eu/evenement/an-abstract-elementary-class-framework-for-fields-with-commuting-automorphisms-2/
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190618T140000
DTEND;TZID=Europe/Paris:20190618T170000
DTSTAMP:20260419T074405
CREATED:20190618T120000Z
LAST-MODIFIED:20211104T135150Z
UID:8513-1560866400-1560877200@www.math.ens.psl.eu
SUMMARY:Après-midi de théorie de groupes
DESCRIPTION:14.00-14.45 Katrin Tent (Munster)\, Burnside groups of relatively small odd exponent15.00-15.45 Arindam Biswas (Vienne)\, On minimal complements in groups16.15-16.45 Laurent Bartholdi (Institut d’études avancées\, ENS Lyon)\, Dimension series and homotopy groups of spheres
URL:https://www.math.ens.psl.eu/evenement/apres-midi-de-theorie-de-groupes-4/
LOCATION:IHP salle 1
CATEGORIES:Séminaire de théorie des groupes à l’ENS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190514T140000
DTEND;TZID=Europe/Paris:20190514T170000
DTSTAMP:20260419T074405
CREATED:20190514T120000Z
LAST-MODIFIED:20211104T135214Z
UID:8510-1557842400-1557853200@www.math.ens.psl.eu
SUMMARY:Après-midi de théorie de groupes
DESCRIPTION:14.00-14.45 Stefan Witzel (Ecole Polytehchnique)15.00-15.45 Katie Vokes (IHES)15.45-16.15 coffee break16.15-16.45 Adrien Le Boudec (ENS Lyon)Stefan Witzel\, Arithmetic approximate groups and their finiteness propertiesI will talk about approximate groups\, a geometric generalization of groups. Approximate groups were discovered independently in various contexts and I will describe how they arise very naturally in the context of arithmetic groups. I will then explain how to extend topological finiteness properties of groups to approximate groups. This allows to make a connection betweenarithmetic groups in positive characteristic and arithmetic approximate groups in characteristic zero. The talk is based on joint work with Tobias Hartnick.Katie Vokes\, Hierarchical hyperbolicity of graphs associated to surfacesIn a paper of 2000\, Masur and Minsky studied the geometry of mapping class groups of surfaces using projections to certain Gromov hyperbolic graphs (the curve graphs) associated to subsurfaces. This inspired the definition by Behrstock\, Hagen and Sisto of hierarchically hyperbolic spaces\, which are equipped with similar projection maps\, satisfying conditions which guarantee a structure analogous to that of the mapping class group. I will give some background on these concepts and present a result demonstrating that a large family of graphs associated to surfaces are hierarchically hyperbolic spaces.Adrien Le Boudec\, Simple groups having a wreath product as a geometric modelThe goal of the talk will be to describe groups that are finitelygenerated\, simple\, and that act properly and cocompactly on thenatural Cayley graph of the wreath product A wr F\, where A is afinite group and F a non-abelian free group.
URL:https://www.math.ens.psl.eu/evenement/apres-midi-de-theorie-de-groupes-3/
LOCATION:Salle W (DMA)
CATEGORIES:Séminaire de théorie des groupes à l’ENS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190510T160000
DTEND;TZID=Europe/Paris:20190510T173000
DTSTAMP:20260419T074405
CREATED:20190510T140000Z
LAST-MODIFIED:20211104T132132Z
UID:8507-1557504000-1557509400@www.math.ens.psl.eu
SUMMARY:Non-archimedean and motivic integrals on the Hitchin fibration
DESCRIPTION:Based on mirror symmetry considerations\, Hausel and Thaddeus conjectured an equality between `stringy’ Hodge numbers for moduli spaces of SL_n/PGL_n Higgs bundles. With Michael Groechenig and Paul Ziegler we prove this conjecture using non-archimedean integrals on these moduli spaces\, building on work of Denef-Loeser and Batyrev. Similar ideas also lead to a new proof of the geometric stabilization theorem for anisotropic Hitchin fibers\, a key ingredient in the proof of the fundamental lemma by Ngô.In my talk I will outline the main arguments of the proofs and discuss the adjustments needed\, in order to replace non-archimedean integrals by motivic ones. The latter is joint work with François Loeser.
URL:https://www.math.ens.psl.eu/evenement/non-archimedean-and-motivic-integrals-on-the-hitchin-fibration/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190510T141500
DTEND;TZID=Europe/Paris:20190510T154500
DTSTAMP:20260419T074405
CREATED:20190510T121500Z
LAST-MODIFIED:20211104T141516Z
UID:8509-1557497700-1557503100@www.math.ens.psl.eu
SUMMARY:Point-wise surjective presentations of stacks\, or why I am not afraid of (infinity) stacks anymore
DESCRIPTION:Any algebraic stack X can be represented by a groupoid object in the category of schemes: that is\, a pair of schemes Ob\, Mor and morphisms source\, target: Mor → Ob\, inversion: Mor → Mor\, composition: Mor ×_{Ob} Mor → Mor and identity: Ob → Mor that satisfy certain axioms. Yet this description of the stack X might be misleading.\nNamely\, given a field F which is not algebraically closed\, we have a natural functor between the groupoid (Ob(F)\,Mor(F)) and the groupoid X(F). While this functor is fully faithful\, it is often not essentially surjective.\nIn joint work with Nir Avni (in progress) we show that any algebraic groupoid has a presentation such that this functor will be essentially surjective for many fields (and under some assumptions on the stack\, for any field). The results are also extended to Henselian rings.\nDespite the title\, the talk will be about usual stacks and not infinity-stacks\, yet in some of the proofs it is more convenient to use the language of higher categories and I’ll try to explain why.\nNo prior knowledge of infinity stacks will be assumed\, but a superficial acquaintance with usual stacks will be helpful.
URL:https://www.math.ens.psl.eu/evenement/point-wise-surjective-presentations-of-stacks-or-why-i-am-not-afraid-of-infinity-stacks-anymore/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190510T110000
DTEND;TZID=Europe/Paris:20190510T123000
DTSTAMP:20260419T074405
CREATED:20190510T090000Z
LAST-MODIFIED:20211025T103641Z
UID:8511-1557486000-1557491400@www.math.ens.psl.eu
SUMMARY:Almost strongly minimal ample geometries
DESCRIPTION:The notion of ampleness captures essential properties of projective spaces over fields. It is natural to ask whether any sufficiently ample strongly minimal set arises from an algebraically closed field. In this talk I will explain the question and present recent results on ample strongly minimal structures.
URL:https://www.math.ens.psl.eu/evenement/almost-strongly-minimal-ample-geometries/
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190507T160000
DTEND;TZID=Europe/Paris:20190507T173000
DTSTAMP:20260419T074405
CREATED:20190507T140000Z
LAST-MODIFIED:20211104T140929Z
UID:8508-1557244800-1557250200@www.math.ens.psl.eu
SUMMARY:Groups definable in Presburger arithmetic
DESCRIPTION:I will give a complete description of all groups definable in Presburger arithmetic\, up to finite index subgroups. This builds on previous work on bounded groups in Presburger arithmetic by Mariana Vicaria and Alf Onshuus.
URL:https://www.math.ens.psl.eu/evenement/groups-definable-in-presburger-arithmetic/
LOCATION:Sophie Germain salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190416T140000
DTEND;TZID=Europe/Paris:20190416T170000
DTSTAMP:20260419T074405
CREATED:20190416T120000Z
LAST-MODIFIED:20211119T102741Z
UID:8506-1555423200-1555434000@www.math.ens.psl.eu
SUMMARY:Après-midi de théorie des groupes
DESCRIPTION:14.00 -14.45 Cornelia Drutu (Oxford)\, Fixed point properties and conformal dimension of the boundary for hyperbolic groups\n15.00- 15-45 Mathieu Dussaule (Nantes)\, The Guivarch inequality in relatively hyperbolic groups\n15.45-16.15 coffee break\,\n16.15-17.00 Anthony Genevois (Orsay)\, Cubical geometry of braided Thompson’s group
URL:https://www.math.ens.psl.eu/evenement/apres-midi-de-theorie-des-groupes-6/
LOCATION:Salle W (Toits du DMA)
CATEGORIES:Séminaire de théorie des groupes à l’ENS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190406T160000
DTEND;TZID=Europe/Paris:20190406T173000
DTSTAMP:20260419T074405
CREATED:20190406T140000Z
LAST-MODIFIED:20211104T122042Z
UID:14060-1554566400-1554571800@www.math.ens.psl.eu
SUMMARY:Computability\, orders\, and groups
DESCRIPTION:Orderable groups are extensively studied by logicians and group theorists. In my talk I will address aspects of left- or bi-orderable groups that are connected with computability theory. In particular\, I will talk about constructions of bi-orderable computable groups that cannot be embedded into groups with computable bi-order. I will also discuss our recent work in progress with M. Steenbock about simplicity and computably left-orderability.
URL:https://www.math.ens.psl.eu/evenement/computability-orders-and-groups-2/
LOCATION:Sophie Germain\, salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190322T160000
DTEND;TZID=Europe/Paris:20190322T173000
DTSTAMP:20260419T074405
CREATED:20190322T150000Z
LAST-MODIFIED:20211104T141546Z
UID:8505-1553270400-1553275800@www.math.ens.psl.eu
SUMMARY:Patching over Berkovich Curves
DESCRIPTION:Patching was first introduced as an approach to the Inverse Galois Problem. The technique was then extended to a more algebraic setting and used to prove a local-global principle by D. Harbater\, J. Hartmann and D. Krashen. I will present an adaptation of the method of patching to the setting of Berkovich analytic curves. This will then be used to prove a local-global principle for function fields of curves that generalizes that of the above mentioned authors.
URL:https://www.math.ens.psl.eu/evenement/patching-over-berkovich-curves/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190322T000000
DTEND;TZID=Europe/Paris:20190322T000000
DTSTAMP:20260419T074405
CREATED:20190321T230000Z
LAST-MODIFIED:20211104T112226Z
UID:8501-1553212800-1553212800@www.math.ens.psl.eu
SUMMARY:Independence of CM points in elliptic curves
DESCRIPTION:I will speak about joint work with Jacob Tsimerman. Let E be an elliptic curve parameterized by a modular (or Shimura) curve. There are a number of results (…\, Buium-Poonen\, Kuhne) to the effect that the images of CM points are (under suitable hypotheses) linearly independent in E. We consider this issue in the setting of the Zilber-Pink conjecture and prove a result which improves previous results in some aspects
URL:https://www.math.ens.psl.eu/evenement/independence-of-cm-points-in-elliptic-curves/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190322T000000
DTEND;TZID=Europe/Paris:20190322T000000
DTSTAMP:20260419T074405
CREATED:20190321T230000Z
LAST-MODIFIED:20211104T112227Z
UID:8502-1553212800-1553212800@www.math.ens.psl.eu
SUMMARY:Counting rational points with the determinant method
DESCRIPTION:The determinant method gives upper bounds for the number of rational points of bounded height on or near algebraic varieties defined over global fields. There is a real-analytic version of the method due to Bombieri and Pila and a p-adic version due to Heath-Brown. The aim of our talk is to describe a global refinement of the p-adic method and some applications like a uniform bound for non-singular cubic curves which improves upon earlier bounds of Ellenberg-Venkatesh and Heath-Brown.
URL:https://www.math.ens.psl.eu/evenement/counting-rational-points-with-the-determinant-method/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190319T160000
DTEND;TZID=Europe/Paris:20190319T173000
DTSTAMP:20260419T074405
CREATED:20190319T150000Z
LAST-MODIFIED:20211104T112241Z
UID:8504-1553011200-1553016600@www.math.ens.psl.eu
SUMMARY:The word and conjugacy problems in finitely generated groups
DESCRIPTION:The word and conjugacy problems are central decision problems associated with finitely generated groups. In particular\, there are deep results which bridge some of the main concepts of the theories of computability and computational complexity with group theoretical invariants through the word problem in groups. In this talk I will recall some of the well-known facts about the word and conjugacy problems in groups as well as discuss new results concerning the relationship between them.
URL:https://www.math.ens.psl.eu/evenement/the-word-and-conjugacy-problems-in-finitely-generated-groups/
LOCATION:Sophie Germain salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190312T160000
DTEND;TZID=Europe/Paris:20190312T173000
DTSTAMP:20260419T074405
CREATED:20190312T150000Z
LAST-MODIFIED:20211104T112241Z
UID:8503-1552406400-1552411800@www.math.ens.psl.eu
SUMMARY:Density of compressiblity in NIP theories
DESCRIPTION:Joint with Itay Kaplan and Pierre Simon.Distal theories are NIP theories which are ?Roewholly unstable?R. Chernikov and Simon’s ?Roestrong honest definitions?R characterise distal theories as those in which every type is compressible. Adapting recent work in machine learning of Chen\, Cheng\, and Tang on bounds on the ?Roerecursive teaching dimension?R of a finite concept class\, we find that compressibility is dense in NIP structures\, i.e. any formula can be completed to a compressible type in S(A). Considering compressibility as an isolation notion (which specialises to l-isolation in stable theories)\, we obtain consequences on the existence of models with certain properties.
URL:https://www.math.ens.psl.eu/evenement/density-of-compressiblity-in-nip-theories/
LOCATION:Sophie Germain salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190312T140000
DTEND;TZID=Europe/Paris:20190312T170000
DTSTAMP:20260419T074405
CREATED:20190312T130000Z
LAST-MODIFIED:20211104T112225Z
UID:8498-1552399200-1552410000@www.math.ens.psl.eu
SUMMARY:Après-midi de théorie des groupes
DESCRIPTION:14.00-14.45  Emmanuel Militon (Nice)\, Groups of diffeomorphisms of a Cantor set15.00-15.45  Simon André (Rennes)\, Hyperbolicity is preserved under elementary equivalence15.45-16.15 coffee break(CANCELED) 16.15-17.00 Nikolay Nikolov (Oxford)\, On conjugacy classes in compact groups
URL:https://www.math.ens.psl.eu/evenement/apres-midi-de-theorie-des-groupes-4/
LOCATION:Salle W
CATEGORIES:Séminaire de théorie des groupes à l’ENS
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190312T140000
DTEND;TZID=Europe/Paris:20190312T153000
DTSTAMP:20260419T074405
CREATED:20190312T130000Z
LAST-MODIFIED:20211104T112226Z
UID:8500-1552399200-1552404600@www.math.ens.psl.eu
SUMMARY:Strongly NIP almost real closed fields
DESCRIPTION:The following conjecture is due to Shelah–Hasson: Any infinite strongly NIP field is either real closed\, algebraically closed\, or admits a non-trivial definable henselian valuation\, in the language of rings. We specialise this conjecture to ordered fields in the language of ordered rings\, which leads towards a systematic study of the class of strongly NIP almost real closed fields. As a result\, we obtain a complete characterisation of this class.
URL:https://www.math.ens.psl.eu/evenement/strongly-nip-almost-real-closed-fields/
LOCATION:Sophie Germain salle 1016
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190226T160000
DTEND;TZID=Europe/Paris:20190226T173000
DTSTAMP:20260419T074405
CREATED:20190226T150000Z
LAST-MODIFIED:20211104T112029Z
UID:8497-1551196800-1551202200@www.math.ens.psl.eu
SUMMARY:Uncountable categoricity of structures based on Banach spaces
DESCRIPTION:A continuous theory T of bounded metric structures is said to be kappa-categorical if T has a unique model of density kappa. Work of Ben Yaacov and Shelah+Usvyatsov shows that Morley’s Theorem holds in this context: if T has a countable signature and is kappa-categorical for some uncountable kappa\, then T is kappa-categorical for all uncountable kappa. In classical (discrete) model theory\, there are several characterizations of uncountable categoricity. For example\, there is a structure theorem for uncountably categorical theories T\, due to Baldwin+Lachlan: there is a strongly minimal set D defined over the prime model of T such that every uncountable model M of T is minimal and prime over D(M). Moreover (and easier)\, if T has such a strongly minimal set\, then T is uncountably categorical.In the more general metric structure setting\, nothing remotely like this is known. Indeed\, the metric analog of a strongly minimal set is nowhere to be seen\, at the moment. If one restricts attention to metric structures based on (unit balls) of Banach structures\, more is known. The appropriate analog of strongly minimal sets seems to be the unit balls of Hilbert spaces. After the speaker called attention to this phenomenon in some examples from functional analysis\, Shelah and Usvyatsov investigated it and proved a remarkable result (arxiv 1402.6513
URL:https://www.math.ens.psl.eu/evenement/uncountable-categoricity-of-structures-based-on-banach-spaces/
LOCATION:Sophie Germain salle 2015
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190219T160000
DTEND;TZID=Europe/Paris:20190219T173000
DTSTAMP:20260419T074405
CREATED:20190219T150000Z
LAST-MODIFIED:20211104T112028Z
UID:8496-1550592000-1550597400@www.math.ens.psl.eu
SUMMARY:On the theory of rigid meromorphic functions in positive characteristic
DESCRIPTION:There is a well-known analogy between the arithmetic of rational numbers and the theory of meromorphic functions over a normed field. It is a classical result of Julia Robinson that the first order theory of the field of rational numbers is undecidable\, and one would expect such a result in the meromorphic setting. In this talk I’ll give an outline of the proof of undecidability for rigid meromorphic functions in positive characteristic
URL:https://www.math.ens.psl.eu/evenement/on-the-theory-of-rigid-meromorphic-functions-in-positive-characteristic/
LOCATION:Salle 2015 Sophie Germain
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190215T160000
DTEND;TZID=Europe/Paris:20190215T173000
DTSTAMP:20260419T074405
CREATED:20190215T150000Z
LAST-MODIFIED:20211104T111801Z
UID:8490-1550246400-1550251800@www.math.ens.psl.eu
SUMMARY:Definable subsets of a Berkovich curve
DESCRIPTION:Let k be an algebraically closed complete rank 1 non-trivially valued field. Let X be an algebraic curve over k and let X^an be its analytification in the sense of Berkovich. We functorially associate to X^an a definable set X^S in a natural language. As a corollary\, we obtain an alternative proof of a result of Hrushovski-Loeser about the iso-definability of curves. Our association being explicit allows us to provide a concrete description of the definable subsets of X^S: they correspond to radial sets. This is a joint work with Jérôme Poineau.
URL:https://www.math.ens.psl.eu/evenement/definable-subsets-of-a-berkovich-curve/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
END:VCALENDAR