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.

La conjecture standard de type Hodge prédit la positivité de certaines formes d’intersections sur les cycles algébriques. Cette conjecture est connue en caractéristique 0 via les relations de Hodge-Riemann bilinéaires. Dans cet exposé, on s’intéressera à des nouveaux cas de la conjecture en caractéristique positive, en particulier au cas des puissances de variétés abéliennes de dimension 3.

Titre : Groupes de Kac–Moody–Steinberg et quotients simples finis

Résumé : Dans cet exposé, je parlerai d'un groupe obtenu comme l'amalgame d'un triangle de petits groupes matriciels, 
et présenterai notamment un résultat sur ses quotients simples finis. Je motiverai l'étude de ce groupe et de ses quotients 
dans le contexte d'une question de Gromov, qui demande si tous les groupes hyperboliques sont résiduellement finis.
 Ensuite, j'illustrerai les outils, liés à la théorie des groupes de Kac–Moody, qui sont utilisés pour la construction de 
ces quotients.

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.

Les espaces de rêve de Mori forment une classe de variétés algébriques qui jouent un rôle important en géométrie birationnelle, car elles présentent un comportement idéal dans le cadre du programme des modèles minimaux. Dans la première partie de cet exposé, nous discutons de la géométrie birationnelle de certaines hypersurfaces, et lorsque ces
hypersurfaces sont des Mori dream spaces, nous déterminons complètement leur géométrie birationnelle. Dans la seconde partie, nous examinons le comportement de la propriété « être un espace de rêve de Mori » dans des familles de variétés symplectiques holomorphes irréductibles.

La géométrie de ces surfaces est conditionnée par une équation de Liouville avec des données au bord de type Dirichlet-Neumann. La géométrie différentielle permet de séparer les variables et de construire des exemples en utilisant les systèmes intégrables. Pour aller plus loin, en combinant des aspects algébriques et analytiques, j’expliquerai comment obtenir des estimées d’énergie pour ces surfaces à bord.