Geometric methods in computational complexity

titres et résumés à venir

Titre : Arithmétique des schémas en groupes de Bruhat-Tits sur les anneaux de Dedekind semi-locaux.

Résumé :

Soit un DVR R et groupe réductif G sur K = Frac(R). On dit que P est un schéma en groupes de Bruhat-Tits sur R si, pour tout idéal maximal m de R, P est de Bruhat-Tits (au sens usuel) sur la complétion de R par m.
Dans notre situation, un schéma en groupes de Bruhat-Tits sur un DVR complet peut être un schéma en groupes parahorique, stabilisateur d'un point, ou même le modèle de Néron lft d'un tore, ou des schémas en groupes encore plus exotiques.

La question clé de l'exposé est de comprendre quand l'application H^1(R,P) --> H^1(K,G) est injective. 
Cette question a été initialement posée par Bayer et First pour leurs études sur les groupes classiques et les ordres héréditaires. 
La célèbre conjecture de Grothendieck-Serre sur R (démontrée par Nisnevich et Guo) est le cas particulier où P est réductif sur R.

Nous posons d'abord les bases de l'étude de la question, puis démontrons que l'application est toujours injective lorsque G est semi-simple simplement connexe (pour tout P). 
Nous donnons également quelques contre-exemples lorsque l'injectivité n'est pas réalisée.
Nous donnons également une preuve simplifiée de la conjecture de Grothendieck-Serre sur R, preuve qui s'inscrit donc davantage dans une approche immobilière.

Une structure de produit conforme sur une variété riemannienne $(M,g)$ est une connexion de Weyl (c’est-à-dire une connexion sans torsion qui préserve la classe conforme de la métrique $g$) à holonomie réductible. Nous classifions ces structures dans le cas où $M$ est compacte et $g$ est compatible avec une structure kählerienne. C’est un travail en collaboration avec Mihaela Pilca (Regensburg).

Le but de cet exposé est d’étudier les propriétés d’hyperbolicité des bases de familles de variétés hyperkählériennes à variation maximale. Lorsque la famille est kählérienne, le théorème de Torelli local, combiné aux travaux de Griffiths sur les variations de structures de Hodge, implique que la base est hyperbolique au sens de Kobayashi. En revanche, lorsque la famille n’est pas kählérienne, la base peut ne pas être hyperbolique, comme le montrent les exemples fournis par les familles de twisteur. On s’intéressera au cas des familles non nécessairement kählériennes, mais dont le fibré de Hodge possède des propriétés de positivité analogues à celles du cas kählérien. Pour aborder cette question, nous introduirons une variante de la pseudo-distance de Kobayashi sur l’espace de modules des variétés hyperkählériennes marquées, adaptée à ce contexte, dont nous montrerons l’annulation.

Mori dream spaces are a special kind of varieties introduced by Hu and Keel in 2000 that enjoy very good properties with respect to the minimal model program. In this talk we explore when blowups of P^3 along smooth curves are Mori dream spaces, generalizing an early example of A. Küronya.  This is joint work with Sokratis Zikas.

An important family of solutions to the Einstein vacuum equations is given by the Kerr metrics, which describe rotating black holes. In this talk, I will present some important geometric properties of these spacetimes relevant to the study of classical field equations such as the scalar waves, electromagnetism and linearized gravity. As observed by Teukolsky, by exploiting a special algebraic property of the spacetime, it is possible to decouple certain components of the fields from the rest of the system, leading to the so-called Teukolsky equation. Solutions of this equation can then be analyzed to recover information about the full system.

In this talk, I will present recent joint work with S.~Matsumura, J.~Wang, and X.~Wu on the structure of compact Kähler manifolds whose anti-canonical bundle is nef. We establish a general structure theorem in the Kähler setting, showing that X admits a locally trivial fibration whose fibers are rationally connected and whose base has vanishing first Chern class. Our approach extends the method of Cao–Höring from the projective to the Kähler case, requiring new tools such as a flatness criterion for pseudo-effective sheaves and a refined analysis of direct image sheaves equipped with singular Hermitian metrics. I will also discuss the application, about the generalization of the Beauville–Bogomolov decomposition.

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.

EPW cubes are six-dimensional projective hyper-Kähler varieties constructed by Iliev, Kapustka, Kapustka, and Ranestad. Their construction and properties share many similarities with the double EPW sextics introduced by O’Grady. Both double EPW sextics and EPW cubes belong to the few known families of hyper-Kähler varieties for which one can give a geometric description of a general element in the moduli space. Moreover, both admit an anti-symplectic involution whose fixed locus is a Lagrangian submanifold.

In this talk we will review the theory of hyper-Kähler varieties and the role of Lagrangian subvarieties. We will then talk about EPW cubes, and present some recent results on the fixed locus of the anti-symplectic involution.