Le mercredi 30 avril 2025<\/span> (B\u00e2timent De Vinci, 1er Etage, salle Mirzakhani) <\/b>– Apr\u00e8s-midi.<\/div>\n<\/li>\n<\/ul>\n13h30-14h30: Vincent Bagayoko (Paris)<\/strong>, Taylor expansions over generalised power series
\n<\/em>R\u00e9sum\u00e9:
\n<\/em>In real or complex analysis, the Taylor expansion of a function at a given point contains all the local information of that function around that point, and Taylor series can be used both to study and to define analytic functions. In o-minimal geometry, it is usual to embed algebras of real-valued regular functions into algebras of functions defined on ordered fields of generalised power series, such as transseries or generalisations thereof. The Taylor expandableness of o-minimal real-valued functions should translate into the existence of formal Taylor expansions of their formal avatars.
\nI will show how to define Taylor expansions for functions over generalised power series, and show that composition laws on fields of generalised transseries can be understood and defined using such expansions. We will also see that Taylor expansions give an instance of the Lie-type correspondence between derivations and automorphisms on algebras of generalised power series, as described with Krapp, Kuhlmann, Panazzolo and Serra. This is based on joint work with Vincenzo Mantova.<\/p>\n14h50-15h50: Elliot Kaplan (Bonn)<\/strong>,\u00a0Generic derivations on o-minimal structures
\nR\u00e9sum\u00e9:
\nLet T be a model complete o-minimal theory that extends the theory of real closed ordered fields (RCF). We introduce T-derivations: derivations on models of T which cooperate with T-definable functions. The theory of models of T expanded by a T-derivation has a model completion in which the derivation acts \u00ab\u00a0generically.\u00a0\u00bb If T=RCF, then this model completion is the theory of closed ordered di\ufb00erential fields (CODF) as introduced by Singer. We can recover many of the known facts about CODF (open core, distality) in our setting. Time permitting, I will also discuss some more recent work on this theory (thorn-rank, Kolchin polynomials). This is joint work with Antongiulio Fornasiero.<\/span>
\n<\/strong><\/p>\n16h10-17h10: Mathias Stout (Leuven)<\/strong>,\u00a0Integration in Hensel minimal fields
\nR\u00e9sum\u00e9:
\nAn important theme in the model theory of valued fields is reducing questions about a valued field to ones about its residue field and value group. Model-theoretic frameworks for motivic integration such as the ones developed by Cluckers-Loeser and Hrushovski-Kazhdan achieve a similar reduction on the level of integrals. Such results require a certain tameness of the first order structure under consideration. For example, Hrushovski and Kazhdan work with V-minimal fields.<\/p>\nI will rather consider the more general framework of Hensel minimality, a relatively recent tameness notion introduced by Cluckers, Halupczok and Rideau-Kikuchi. After recalling its basic properties, I will explain how to construct a Hrushovski-Kazdhan style integral for Hensel minimal fields. This includes a version \u00ab\u00a0without\u00a0\u00bb measures, characterizing the definable sets up to definable bijection in the valued field in terms of those in the residue field and value group.<\/div>\n
This is joint work with Floris Vermeulen.<\/div>\n
<\/div>\n
<\/div>\n
\n
\n<\/div>\n
\n- Le mardi 6 mai 2025<\/span> (Pentagone, salle 0A11)<\/b><\/li>\n<\/ul>\n
15h45: Valentin Ramlot<\/strong>, On finite subgroups of semisimple algebras – Introduction
\nR\u00e9sum\u00e9:
\nThe structure of semisimple algebras is well-known and is characterized by their Wedderburn decomposition. The finite multiplicative subgroups of such algebras are diverse. We begin a classification of such subgroups up to isomorphism assuming that they are abelian, and therefore products of cyclic groups. We mainly use standard tools coming from field theory and linear algebra.<\/p>\n17h00: Gabriel Ng<\/strong>, A brief introduction to differentially large fields
\nR\u00e9sum\u00e9:
\n<\/span>Differentially large fields are an analogue for large fields in the context of differential algebra, introduced by Le<\/span>on Sanchez and Tressl<\/span>. These are large fields which are equipped with a derivation which is in some sense \u201cgeneric\u201d. Many model-theoretically interesting differential fields are examples of these objects, for instance, differentially closed fields and closed ordered differential fields. In this talk, we will give a gentle introduction to the topic, introducing the necessary concepts and providing motivating examples as necessary.<\/p>\n
\n\n- Le mercredi 14 mai 2025<\/span> (Pentagone, salle 0A11) <\/b>– suite des expos\u00e9s de la s\u00e9ance pr\u00e9c\u00e9dente.<\/li>\n<\/ul>\n
13h30: Valentin Ramlot<\/strong>, On finite subgroups of semisimple algebras<\/p>\n14h45: Gabriel Ng<\/strong>, Abstract Taylor Morphisms
\nR\u00e9sum\u00e9:
\nThe Taylor morphism is a natural construction which generalises the notion of Taylor series from analysis to the algebraic context. In essence, the Taylor morphism turns ring homomorphisms into differential ring homomorphisms into the ring of formal power series. In studying differentially large fields, Leon Sanchez and Tressl introduce a \u201ctwisted\u201d Taylor morphism, which allows us to introduce derivations in the target field. We introduce a generalisation of this notion, and show that all such abstract Taylor morphisms (over fields of arbitrary characteristic) must have a certain concrete form.<\/span><\/p>\n
\n\n- Le mercredi 27 ao\u00fbt 2025<\/span> (B\u00e2timent De Vinci, 1er Etage, salle Mirzakhani) <\/b> – Journ\u00e9e estivale<\/li>\n<\/ul>\n
<\/div>\n
\n
\n
Matin\u00e9e: Pr\u00e9sentation des stages d’initiation \u00e0 la recherche (r\u00e9alis\u00e9s \u00e0 l’issue du bachelier)<\/p>\n
10h-11h: Vanille Zilmia<\/strong>, La th\u00e9orie des corps valu\u00e9s alg\u00e9briquement clos
\n11h15-12h15: Chelsea Brohet<\/strong>, Sur la classification des groupes simples : le th\u00e9or\u00e8me de Burnside<\/p>\n12h30-13h30:<\/strong> Lunch, au restaurant universitaire, b\u00e2timent 9<\/p>\nApr\u00e8s-midi: Expos\u00e9s par des chercheurs<\/p>\n
14h00-15h00: Justin Vast (Louvain-la-Neuve)<\/strong>, Groupes BMW, automates, fractales
\nR\u00e9sum\u00e9:
\nSoient T et T’, deux arbres r\u00e9guliers de degr\u00e9s finis.
\nUn groupe BMW est un sous-groupe \u0393 \u2a7d Aut(T) x Aut(T’) agissant librement et transitivement sur les sommets du produit cart\u00e9sien TxT’.
\nUn groupe BMW \u0393 est dit r\u00e9ductible s’il existe un sous-groupe d’indice fini de la forme F x F’ \u2a7d \u0393 , o\u00f9 F \u2a7d Aut(T) et F’ \u2a7d Aut(T’) sont des groupes libres.
\nUne fa\u00e7on d’identifier un groupe BMW irr\u00e9ductible est d’y montrer l’existence d’un anti-tore.<\/p>\n\u00c0 un groupe BMW peut \u00eatre associ\u00e9 un automate de Mealey bireversible.
\nComme nous le verrons, il est partiellement possible de transf\u00e9rer la notion d’anti-tore aux automates de Mealy g\u00e9n\u00e9raux.
\nUn c\u00e9l\u00e8bre automate de Mayley est celui associ\u00e9 au groupe d’allumeur de r\u00e9verb\u00e8res et un \u00ab\u00a0anti-tore\u00a0\u00bb bien choisi de l’automate laisse appara\u00eetre le fameux triangle de Sierpi\u0144ski.<\/p>\n
Certains anti-tores de groupes BMW irr\u00e9ductibles mettent en \u00e9vidence d’autres fractales pour le moins surprenantes…<\/p>\n
<\/p>\n<\/div>\n
15h15-16h15: Nicolas Daans (Leuven)<\/strong>, Approaches to undecidability of equations in field theory<\/span><\/div>\n