Geometric methods in computational complexity

Présentation et unicité de groupes de Kac-Moody sur les anneaux locaux

A chaque matrice de Cartan généralisée (GCM) $A$ et chaque anneau $R$, Jacques Tits a associé un groupe de Kac-Moody $G_A(R)$ défini par une présentation à la Steinberg généralisant celle des groupes de Chevalley. Dans ce travail en collaboration avec Bernhard Mühlherr, nous avons exploré la question suivante : pour un domaine $R$ de corps de fractions $K$, l’application canonique $\phi_R : G_A(R)\to G_A(K)$ est-elle injective ? Cette question a une longue histoire dans le cas classique où $A$ est une matrice de Cartan ; notre résultat principal est que l’application $\phi_R$ est injective dès que $A$ est une GCM $2$-sphérique et $R$ est un anneau de valuation.

Dans la première partie de l’exposé, j’énoncerai précisément ce théorème, et en présenterai le contexte et introduirai les notions nécessaires à sa compréhension. Dans la deuxième partie de l’exposé, j’expliquerai l’idée de base de la preuve et la raison des hypothèses faites sur $A$ et $R$. L’objectif est que les deux parties soient accessibles pour un public non-spécialiste.

IPVTs and applications

I will discuss limits in low intensity of Poisson-Voronoi tessellations, which we called ideal Poisson-Voronoi tessellations (IPVTs).

In the colloquium part, I will focus on the IPVT of real hyperbolic space of dimension d, where a simple Poissonian description of the cell containing the origin enables an in-depth study of the geometric features of its tiles.

In the research seminar part, I will discuss sufficient conditions for convergence toward IPVTs in a general metric space, and illustrate them for the Cartesian product of two hyperbolic planes endowed with the $L^1$ metric. Then I will discuss an application to proving the smallness of the uniqueness threshold of Poisson/Bernoulli–Voronoi percolation on spaces with a non-amenable product structure.

Based on joint works with Nicolas Curien, Nathanaël Enriquez, Russell Lyons, Meltem Ünel (2303.16831, to appear on The Annals of Probability), on 2412.00822, and on incoming works with Ali Khezeli and with Jan Grebik, Ali Khezeli, Konstantin Recke, and Amanda Wilkens.

Vers une connectification des immeubles supérieurs

Soit $G$ un groupe réductif déployé sur un corps réellement valué, par exemple $G=SL_n(F)$, où $F=k((t))$ pour $n$ un entier naturel et $k$ un corps. Afin d’étudier un tel groupe, Bruhat et Tits lui ont associé un objet de nature géométrico-combinatoire $I(G)$, appelé immeuble de Bruhat-Tits, sur lequel $G$ agit. On peut alors étudier $G$ via son action sur $I(G)$ et transformer une question de nature algébrique en une question plus géométrique. Par exemple si $G=SL_2(k((t)))$, où k est un corps, son immeuble est un arbre homogène de valence $|k|+1$.

Soit maintenant $F$ un corps muni d’une valuation quelconque, c’est à dire non forcément réelle. On peut par exemple prendre $F=k((t_1))((t₂))…((t_m))$, où m est un entier naturel, qui est naturellement muni d’une valuation à valeurs dans $\mathbb{Z}^m$. Afin d’étudier des groupes réductifs déployés sur de tels corps, Bennett a introduit dans les années 90 une notion d’immeubles supérieurs qui généralise la notion d’immeubles de Bruhat-Tits. Avec Izquierdo et Loisel, nous avons associé à un tel groupe un immeuble supérieur, généralisant ainsi la construction de Bruhat et Tits. Lorsque la valuation est à valeurs réelles, l’immeuble de Bruhat-Tits est connexe et contractile, ce qui permet d’appliquer des techniques de topologie algébrique pour étudier le groupe. En revanche, lorsque la valuation n’est pas réelle (par exemple si $m\geq 2$), l’immeuble n’est pas connexe. Afin de généraliser certains résultats connus pour des valuations réelles, il semble donc utile de « connectifier » l’immeuble c’est à dire de rajouter des points pour le rendre connexe. Je parlerai d’avancées dans cette direction, obtenues avec Bravo, Izquierdo et Loisel.

Géométrie birationnelle des groupes algébriques en caractéristique p>0

(Première partie) Cet exposé portera sur l’étude des familles G ⟶ S de groupes algébriques paramétrées par des variétés algébriques S de caractéristique p>0. Je commencerai l’exposé en expliquant quelques conséquences, pour l’étude des groupes algébriques, de l’existence du morphisme de Frobenius. La géométrie birationnelle est l’étude des différents prolongements possibles d’une famille fixée paramétrée par les points d’un ouvert dense U de S. J’expliquerai la signification de cette étude birationnelle pour la connaissance de toutes les familles. Dans ce contexte, les éclatements de Néron (aussi appelés dilatations) sont l’outil clé pour fabriquer de nouveaux prolongements. Je les présenterai ainsi que quelques développements très récents.
(Deuxième partie) Je me concentrerai ensuite sur le cas des groupes finis et illustrerai les problèmes spécifiques à ce cas. J’introduirai l’espace de modules des prolongements d’une famille fixée, qui est une ind-variété. Enfin j’énoncerai un résultat d’existence de dilatations dans ce cadre.
L’exposé comportera de nombreux exemples.
Il s’agit de résultats obtenus en collaboration avec A. Mayeux et T. RIcharz, ainsi que de travaux d’Alice Bouillet.

Extension of Differential Forms, Uniformization, Miyaoka-Yau inequalities and the topological characterization of certain klt varieties (with Daniel Greb and Thomas Peternell)

The first part of this overview talk begins with a non-technical overview of minimal model theory, explaining why any classification theory of complex-projective manifolds always needs to consider singular varieties. The talk describes the relevant singularities in brief, mentions methods that have been developed to study them and will ideally convey an idea what classification results one might hope to expect.

The second part describes some of the theory that has been developed over the last years and mentions some of the more concrete applications.

Formalisme thermodynamique à basse température, dynamique symbolique et quasi-cristaux

L’étude de modèles simples de physique statistique sur le réseau $\mathbb{Z}^d$, visant à comprendre la transition du désordre vers un ordre périodique ou quasi-périodique quand la température est suffisamment basse, nécessite une interconnexion entre le formalisme des mesures de Gibbs et des états d’équilibre, la dynamique symbolique multidimensionnelle, les pavages et l’informatique théorique. En particulier, des espaces associés aux marginales finies-dimensionnelles des mesures invariantes par décalage apparaissent et possèdent une étonnante richesse. Cet exposé se propose de présenter un panorama introductif de ce domaine de recherche.

Variétés de Fano avec un lieu de base anticanonique