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

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.

On commencera dans un premier temps par une introduction aux problèmes de modules formels dérivés d’une part, et aux structures algébriques paramétrées par les props d’autre part. On verra ensuite comment décrire dans ce contexte les problèmes de déformation et leurs algèbres de Lie en termes de préchamps classifiants d’algèbres. Les résultats qui en découlent apportent une explication conceptuelle de diverses variantes de complexes de déformations apparaissant dans la littérature tout en en proposant une vaste généralisation. On en tirera quelques applications à la résolution de conjectures de Kontsevich en quantification par déformation, ainsi que des liens avec la géométrie symplectique et de Poisson dérivée si le temps le permet.

We introduce a family of real-valued homology cobordism invariants of homology 3-spheres. The invariants are derived from filtered instanton Floer homology, and those values are critical values of the SU(2)-Chern-Simons functionals. As its application, we produce infinitely many homology 3-spheres that cannot bound either a positive or negative definite 4-manifold. As another application, we show that if the 1-surgery of a knot has the Froyshov invariant negative, then the 1/n-surgeries (n>0) of the knot are linearly independent in the homology cobordism group. This is joint work with Yuta Nozaki and Masaki Taniguchi.

In this talk, I will introduce the notion of n-morphisms between two A-infinity algebras. These higher morphisms are such that 0-morphisms correspond to standard A-infinity morphisms and 1-morphisms correspond to A-infinity homotopies. The set of higher morphisms between two A-infinity-algebras then defines a simplicial set which has the property of being an infinity-groupoid. The combinatorics of n-morphisms are moreover encoded by new families of polytopes, which I call the n-multiplihedra and which generalize the standard multiplihedra.

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.