Je parlerai d’un projet en commun avec Maxime Fortier Bourque sur des problèmes extrémaux en géométrie hyperbolique. Les problèmes qui nous intéressent sont des analogues hyperboliques de problèmes classiques en géométrie euclidienne, comme le problème de la densité maximale des empilements de sphères et le problème du nombre de contact. L’objectif de l’exposé sera d’expliquer comment on peut utiliser la formule de trace de Selberg – une formule qui relie les longueurs des géodésiques sur une variété hyperbolique au spectre du Laplacien de cette variété – pour attaquer ces problèmes.

%%%%%%%%%%%%%%%%%%%%%%

Comme chaque « séminaire commun de géométrie », une première partie de 14h à 14h45 sera un exposé d’introduction au sujet de type colloquium, suivi d’une pause thé-gateaux de 14h45 à 15h15 et de la suite de l’exposé de 15h15 à 16h.

Dans cet exposé, on étudiera les hypersurfaces algébriques réelles à l’intérieur d’une variété algébrique réelle donnée. On prouvera que les hypersurfaces algébriques réelles avec de très grands nombres de Betti (par exemple, les hypersurfaces maximales au sens de Smith-Thom) sont exponentiellement rares dans leur système linéaire.

L’inversion de Laurent construit des déformations qui sont au centre de la symétrie miroir des variétés de Fano. Soit f un polynôme de Laurent dont le support est un polytope 3-dimensionnel P, auquel on associe une variété de Fano torique X_P. Dans le cas le plus général, l’inversion de Laurent construit un plongement de X_P dans une variété torique ambiante Y. Si en plus X_P est une intersection complète donnée par des fibrés en droites sur Y, alors une section générale de ces fibrés est une variété de Fano X dont X_P est une dégénérescence torique. Le but est de trouver un Y tel que X soit le plus lisse possible – dans cet exposé on s’intéresse aux variétés de dimension trois, terminales et Q-factorielles. Cette technique permet de construire beaucoup d’exemples d’une façon très explicite et controlée, en exploitant la combinatoire pour obtenir des objets géométriques.

Ce travail concerne le groupe de Cremona du plan sur un corps parfait, c’est à dire le groupe des applications birationnelles du plan projectif qui sont définies sur ce corps. Nous prouvons que ce groupe est engendré par des involutions.
J’expliquerai la décomposition de telles applications en liens de Sarkisov (applications birationnelles simples entre des espaces fibrés simples) et comment cela donne un ensemble de générateurs du groupe de Cremona. Après, je les décomposerai en involutions, parmi lesquelles on peut mentionner les involutions Geiser et Bertini, et des réflexions d’un groupe orthogonal associé à un espace quadratique.
(Travail en collaboration avec Stéphane Lamy.)

On the one hand, the Littelmann’s path model is a combinatorial tool that describes the representation theory of any (symmetrizable) Kac-Moody Lie algebra, available since 1994. The paths in this model are piecewise linear paths in the finite dimensional real vector space spanned by the fundamental weights. But this vector space together with its affine hyperplanes arrangement is also the standard apartment of an object called the masure, introduced by Gaussent-Rousseau in 2008. The masure is playing the role of the Bruhat-Tits building in the Kac-Moody setting. On the other hand, in the finite dimensional setting, Mirkovic and Vilonen developed a geometric model of the aforementionned representations, by introducing subvarieties in the affine Grassmannian associated to a reductive group, first in 2000. Most of the algebraic information can be derived from the associated polytopes, and there is a bijection between paths and polytopes. In 2014, Baumann, Kamnitzer and Tingley defined the Mirkovic-Vilonen polytopes in the Kac-Moody setting using preprojective algebras. Our goal is to take advantage of the combinatoric/geometric nature of the masure to realize Mirkovic-Vilonen polytopes directly from Littelmann’s paths.
This is a joint work with Stéphane Gaussent.

Il est naturel de regarder des transformations birationnelles du plan, càd des isomorphismes des ouverts de Zariski du plan. Il y en a beaucoup qui sont des involutions et on peut se mettre à les classifier à conjugaison près. Sur le corps des nombres complexes une telle involution possède des courbes fixes rationnelles ou bien une unique courbe fixe irrationnelle. Dans ce dernier cas, les classes de conjugaison des involutions sont à bijection avec les classes d’isomorphismes des courbes fixes. Pas surprenant, ce n’est plus le cas sur le corps des nombres réels…
Je vais motiver la classification dans le cas complexe et ensuite je vais raconter ce qui est connu dans le cas réel.

Comme tous les « séminaires communs de géométrie », nous aurons de 14h à 14h45 une introduction au sujet de niveau Colloquium, puis de 14h45 à 15h15 une pause thé-gateaux-géométrie, puis de 15h15 à 16h la suite de l’exposé de recherche.

We show the following algebraicity result for a complex projective variety X with big representation of π1 into an almost simple algebraic group: There exists a proper subvariety Z ⊂ X such that for any algebraic curve C, any holomorphic map f : C → X with f(C) not contained in Z is induced from an algebraic morphism. As a corollary, we show that such varieties are pseudo-Brody hyperbolic.

We study the T-equivariant cobordism rings for the action of a maximal torus T on smooth varieties over an algebraically closed field of characteristic zero. The rational T-equivariant cobordism rings of a wide range of examples were computed in recent years including the classes of toric varieties, flag varieties and symmetric varieties of minimal rank using mainly the technique of localisation at fixed points. We seek to extend the known results to any smooth projective (horo-)spherical variety with an action of a maximal torus T. Among others, we obtain explicit presentations for the rational equivariant cobordism rings of odd symplectic Grassmannians IG(k,2n+1). Furthermore, using the self-intersection formula, we are able to compute a wide range of classes in the rational T-equivariant cobordism ring.

Irreducible characters form an interesting basis in the space of of class functions (i.e. functions constant on conjugacy classes) on a finite group G, the goal of harmonic analysis and representation theory is to study properties and applications of that basis.

If G is a reductive p-adic group, such as the group of invertible matrices with p-adic entries, then irreducible characters are known to behave in a regular way not only on conjugacy classes (on  which they are constant) but also on the so called stable conjugacy classes, i.e. the set of elements conjugate over the algebraic closure of the base field (for example, two sheets of a hyperboloid in R^3 are two SL(3,R) orbits inside a single stable orbit). This is studied in the theory of endoscopy in harmonic analysis on p-adic group.

I will give an overview of a long term joint project with Kazhdan and Varshavsky aimed at applying algebraic geometry, including l-adic sheaves, to problems in that theory.

%%%%%%%%%%%%%

Comme tous les Séminaires Communs de Géométrie, cet exposé sera en deux parties : une première partie « colloquium » de 14h à 14h45, puis une partie plus avancée de 15h15 à 16h. Une pause thé-gateaux-géométrie vous est proposée entre les deux exposés.

Dans cet exposé, je présenterai la généralisation de la notion de fibré en droites pseudo-effectif en rang supérieur. En particulier, je présenterai la preuve du fait qu’un fibré vectoriel pseudo-effectif au sens fort avec la première classe de Chern nulle sur une variété kählerienne compacte est numériqument plat. La preuve est basée sur une construction naturelle d’un courant positif dans la première classe de Chern qui s’applique à la grande généralité. Le cas projectif était démontré par Campana-Cao-Matsumura et Hosono-Iwai-Matsumura.Comme conséquence, le fibré tangent ou cotangent de variétés de Calabi-Yau ou symplectique holomorphe irréductible n’est pas pseudo-effectif au sens fort.

Je vais décrire un algorithme calculant les invariants de Gromov-Witten des intersections complètes dans l’espace projectif, en tout genre et avec des insertions arbitraires. L’idée principale est de montrer que les invariants avec insertions de classes de cohomologie primitives sont contrôlés par la monodromie et des invariants définis sans insertions primitives mais avec des noeuds imposés sur les courbes. Pour calculer ces invariants de Gromov-Witten nodaux, nous introduisons la notion nouvelle d’invariants de Gromov-Witten relatifs nodaux. C’est un travail en commun avec Pierrick Bousseau, Rahul Pandharipande, et Dimitri Zvonkine (arxiv:2109.13323).

On peut obtenir un tore en recollant abstraitement les deux paires de côtés opposés d’un carré, sans le déformer. Un tel tore vient alors naturellement fourni d’une métrique à courbure constante nulle, c’est pourquoi on l’appelle tore plat carré. Cette construction se généralise en prenant n’importe quel parallélogramme à la place du carré. Modulo une relation d’équivalence, tous les tores plats vivent alors sur la courbe modulaire.

Dans cet exposé, je présenterai une construction assez simple qui permet d’obtenir tous les tores de la courbe modulaire comme des polyèdres et j’esquisserai une demonstration de ce fait. Je présenterai aussi des variations de la construction qui permettent d’obtenir des exemples de réalisations polyédrales de surfaces de translation.Ceci est un travail en collaboration avec Samuel Lelièvre (Orsay) et Pierre Arnoux (Marseille).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Comme tous les « Séminaires communs de géométrie », ce séminaire comprend deux séances : de 14h à 15h45, un exposé « colloquium » s’adressant à tous les mathématiciens, puis de 15h15 à 16h un exposé  « recherche » qui approfondira ce qui aura été présenté au premier exposé.

Let $X$ be a complex projective Hyperkähler manifold. By a recent result of Höring and Peternell, the cotangent bundle of $X$ is not pseudoeffective. One way to measure this negativity more precisely is to give sufficient conditions on an ample line bundle $A$ such that the twist $\Omega_X \otimes A$ is pseudoeffective. I will give a sufficient condition that depends only on the deformation’s type of $X$. Then I will discuss when this sufficient condition is also necessary. At the end I’ll briefly present some recent progress on the case of degree two K3 surfaces. This is a joint work with Andreas Höring.

En 1988 Mukai classifia les groupes finis d’automorphismes symplectiques sur une surface K3, en exhibant 11 groupes maximaux, tous sous-groupes du groupe simple de Mathieu M_23. Plus tard, la démonstration de Mukai a été simplifiée par Xiao e Kondo.
Les variétés hyper-kählériennes sont une généralisation des surfaces K3 en dimension supérieure. Le problème de classifier leurs automorphismes symplectiques est encore ouvert.
Dans mon exposé je parlerai des principales techniques et des résultats établis par Camere, Mongardi, Höhn et Mason sur les automorphismes des schémas de Hilbert ponctuels sur une surface K3 et par Grossi, Onorati et moi sur les variétés d’O’Grady de dimension 6.

I will talk about the problem of determining the birational complexity of moduli spaces of curves and K3 surfaces. I will recall some recently introduced invariants that measure irrationality and talk about what is known for these moduli spaces. In the second half I will report on joint work with D. Agostini and K.-W. Lai, where we study how the degrees of irrationality of the moduli spaces of polarized K3 surfaces grow with respect to the genus g. We provide polynomial bounds. The proof relies on Kudla’s modularity conjecture for Shimura varieties of orthogonal type. For special genera we explot the deep Hodge theoretic relation between K3 surfaces and special hyperkähler fourfolds to obtain much sharper bounds.

Autour de l’an 2000, Hassett et Tschinkel ont formulé des
conjectures concernant les courbes extremales sur le schema de Hilbert
d’une surface K3. La version corrigée de ces conjectures a été
démontrée par Bayer et Macri en 2015 avec des outils très techniques.
Il semble qu’il n’y avait pas d’argument géométrique élémentaire même
pour Hilb^2. En collaboration avec Verbitsky, nous fournissons un tel
argument en basse dimension, dont une certaine élaboration pourrait
eventuellement permettre d’obtenir la reponse de Bayer et Macri en
général.