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

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.

Les nombres de Markov sont des entiers positifs qui apparaissent dans les solutions d'une équation diophantienne, la cubique de Markov x2 + y2 + z2−3xyz = 0. Sujet classique de la théorie des nombres, ces nombres sont liés à de nombreux domaines des mathématiques tels que la combinatoire, la géométrie hyperbolique, la théorie de l'approximation et les algèbres amassées.

Dans les années 50, H. Cohn a découvert une relation entre les nombres de Markov et les longueurs de géodésiques simples fermées sur le tore percé. Dans les années 90, avec Igor Rivin, nous avons introduit une méthode qui permet d'estimer le nombre de nombres de Markov inférieurs à $ L> 0 $. L'ingrédient clé en était l'utilisation d'une norme sur la première homologie du tore.

Dans cet exposé nous allons : - expliquer la géométrie de la norme et comment elle peut être utilisée pour prouver de nouvelles identités pour des longueurs de géodésiques fermées simples - utiliser la convexité pour donner une nouvelle preuve unifiée de certaines conjectures que Martin Aigner a formulées dans son livre, le théorème de Markov et 100 ans de la conjecture d'unicité.