Séminaire de topologie, géométrie et algèbre (archives)

Premièrement, je présenterai la théorie des catégories supérieures paramétrée développée par Barwick, Dotto, Nardin, Shae et Glassman. Je décrirai la catégorie d'infinité G-paramétrée des G-variétés où G est un groupe de Lie compact. Après cela, je donnerai la construction de l'homologie de factorisation G-équivariante. Enfin, nous utiliserons cette construction pour décrire des versions équivariantes de l'homologie de Hochschild.

Les variétés toriques sont des variétés algébriques qui sont entièrement déterminées par la donnée combinatoire d'un éventail de cônes rationnels (par rapport à un réseau de $\R^d$) fortement convexes. Cette rationalité fait que ces variétés toriques sont rigides car perturber un peu un réseau peut le faire devenir dense. Le but de cet exposé est d'introduire une généralisation champêtre des variétés toriques où le "réseau" est en fait un sous-groupe finiment engendré de $\R^d$ (dans le cas où les cônes sont simpliciaux comme introduit par L.Katzarkov, E.Lupercio, L.Meersseman et A.Verjovsky puis dans le cas général).

Rokhlin proved that each closed oriented 3-manifold bounds a compact smooth 4-manifold, and hence plenty. Among all of these, can we always find one whose intersection form is (semi-)definite? Using Heegaard Floer correction terms and an analysis of short characteristic covectors in bimodular lattices, we give an obstruction for a 3-manifold to bound a definite 4-manifold, and produce some concrete examples. This is joint work with Kyle Larson.

The unit conormal construction takes us from the smooth world to the contact world, hence Legendrian invariants of conormals yield invariants of smooth submanifolds. In this talk we will show that, if the conormals of two braids are Legendrian isotopic, then the braids are equivalent. The main tool will be the wrapped sutured homology, an invariant of Legendrians with boundary, and its associated exact sequence. On the way we will sketch the definition of a 2-sutured manifold, and, if time permits, show a glimpse of (some sort of) TQFT.

Albert Fathi a démontré en 1980 que le groupe des homéomorphismes de la sphère préservant le volume est simple à partir de la dimension 3. Le cas de la 2-sphère est resté un problème ouvert jusqu'à tout récemment. Dans cet exposé, je présenterai les résultats récents obtenus dans plusieurs travaux avec Dan Cristofaro-Gardiner, Cheuk-Yu Mak, Sobhan Seyfaddini et Ivan Smith sur la structure du groupe des homéomorphismes conservatifs des surfaces, qui incluent en particulier une solution de ce problème. Cela passe par des méthodes de topologie symplectique.

Soit \Gamma un groupe discret agissant par isométries sur un espace Gromov-hyperbolique. Une grande famille d'exemples naturels sont les groupes fondamentaux des variétés à courbure négative. L'objectif de cet exposé serait de présenter un critère géométrique simple qui, pour tout sous-groupe \Gamma' < \Gamma, permet savoir si le quotient \Gamma/\Gamma' est moyennable ou non. Après avoir présenté le cadre général de ce problème, nous verrons qu'une réponse peut être donnée grâce aux notions d'entropie et d'entropie à l'infini.

Travail en commun avec Rémi Coulon, Rhiannon Dougall et Barbara Schapira.

A morphism of smooth varieties of the same dimension is called real fibered if the inverse image of the real part of the target is the real part of the source. It goes back to Ahlfors that a real algebraic curve admits a real fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, in a joint work with Mario Kummer and Cédric Le Texier, we are interested in characterising real algebraic varieties of dimension n admitting real fibered morphisms to the n-dimensional projective space. We present a criterion to construct real fibered morphisms that arise as finite surjective linear projections from an embedded variety; this criterion relies on topological linking numbers. We address special attention to real algebraic surfaces. We classify all real fibered morphisms from real del Pezzo surfaces to the projective plane and determine when such morphisms arise as the composition of a projective embedding with a linear projection.

To describe the behavior of the iterates of a holomorphic germ f on a complex surface X fixing a (possibly singular) point x0, we are led to study the lifts fπ to birational models Xπ over (X,x0). In general fπ has indeterminacy points: when the fπ-orbits eventually avoid these indeterminacy points, we say that X_π is algebraically stable. In a joint work with William Gignac, we show the existence of algebraically stable models in this setting (but for one class of exceptions, where no such models exist). The proof relies on fixed point theorems for the dynamics induced on suitable valuation spaces, following Favre and Jonsson.

Les singularités en épissure sont la classe la plus vaste que l'on connaisse de singularités intersections complètes de surfaces complexes dont le bord est une sphère d'homologie entière. Neumann et Wahl conjecturèrent que leurs fibres de Milnor peuvent se construire à partir de fibres de Milnor de singularités plus simples du même type. Je présenterai le contexte dans lequel ils formulèrent cette conjecture et j'expliquerai les étapes de la preuve obtenue en collaboration avec Maria Angelica Cueto et Dmitry Stepanov.