Git for Mathematicians (3a): The Practice [setup and init]Published 4 months ago. code math Part 1: Preliminaries Part 2: The Theory Part 3a: The PracticeAfter a long hiatus, here is the third part of my series of posts about Git for Mathematicians 🙂. I explain the basics of how one would go about using Git to write a math paper. If you have not read the previous parts of the series, you can find…

Boardman–Vogt resolutions and bar/cobar constructions of (co)operadic (co)bimodules accepted!Published 5 months ago. math operads paperThe paper "Boardman–Vogt resolutions and bar/cobar constructions of (co)operadic (co)bimodules" , that Ricardo Campos, Julien Ducoulombier, and I wrote, has been accepted for publication in the journal Higher Structures ! This technical part will…

Git for Mathematicians (2): The TheoryPublished 7 months ago. code math Part 1: Preliminaries Part 2: The Theory Part 3a: The PracticeThis post is the second in a series in which I will try to explain how to use Git to write papers, with an audience of professional mathematicians in mind. The first part, which was about why one would want to use Git, is here. Let us now dive into…

Git for Mathematicians (1): PreliminariesPublished 8 months ago. Updated 7 months ago. code math Part 1: Preliminaries Part 2: The Theory Part 3a: The PracticeThis post is the first in a series in which I will try to explain how to use Git to write papers, with an audience of professional mathematicians in mind. I know that there are a lot of material online about learning Git, but as far as I can tell…

Notes for my Peccot lecture, "Real Homotopy of Configuration Spaces"Published 8 months ago. class math notes peccot NotesI have finished translation my notes for my Peccot Lecture to English. They have also been expanded, with a lot more new content. For the time being, you can find the notes here . They have been submitted for publication. I would like to thank…

Formality of a higher codimensional Swiss-Cheese operad accepted in Algebraic & Geometric TopologyPublished 12 months ago. math operads paper swiss-cheeseMy paper, "Formality of a higher codimensional Swiss-Cheese operad" , has just been accepted for publication in Algebraic & Geometric Topology ! This paper is part of my effort to try and apply rational homotopy theoretical methods to the…

The action of the orthogonal group on the sphere is not formalPublished 9/17/2020. mathIn this post, I record a simple and probably well-known fact; but since I have to remake the computation again and again (because I forget it...) I thought it would be nice to have it in an accessible place. The fact is that for an odd , the usual…

arXiv2BibLaTeX: Create a BibLaTeX entry from arXivPublished 6/29/2020. Updated 6 months ago. arxiv code mathtl;dr: /a2b to get a .bib from arXiv entries. Update May 19th, 2021: New URL. Have you ever wanted to create a bib entry from an arXiv preprint? There are a few tools available, including one provided by arXiv (click on "NASA ADS" in the…

Peccot lecture & COVID-19Published 5/25/2020. Updated 6/26/2020. class math peccotUpdate : The videos are now available on the Collège de France's website! Please go there for the third lecture and there for the fourth lecture . As some of you may know I was one of the people chosen this year to give a Peccot lecture at the…

Braid videoPublished 4/21/2020. animation math talk SlidesThursday I'm giving a talk at the online Toric Topology research seminar . (I was supposed to go there in person, but you can probably expect, the current pandemic made that impossible.) So I took the opportunity to prepare a little illustration to…

First Peccot lecturePublished 3/5/2020. class math peccot photoYesterday was my first Peccot lecture ! I think it went okay. The video is going to be available soon on this webpage . I mainly talked about the background for my course: what are configuration spaces, why do we care about them, what do we know…

Animated illustration of the Fulton-MacPherson operadPublished 2/28/2020. animation class math peccotI am finishing to prepare my Peccot Lectures that start next week. I have prepared a small animation to illustrate the Fulton--MacPherson compactification using Blender, and I think it's relatively neat! I am not a 3D artist, obviously, but (with…

Peccot LecturePublished 9/24/2019. math peccotYesterday I received a letter from the Collège de France. I have been selected to give this year a Peccot Lecture , which " rewards each year young mathematicians under 30 who have been noticed in theoretical or applied mathematics " 😃. This is of…

Lecture Notes for the course "Homotopy Theory"Published 9/11/2019. class math notesThis summer I've started to compile lecture notes for my class on homotopy theory in January/February. They are heavily inspired by Grégory Ginot's lecture notes from last year on the same subject, although I've reorganized them a bit; in…

A Model for Configuration Spaces of Closed ManifoldsPublished 2/24/2017. conf-spaces mathLast week I was at the Max Planck Institute for the Conference for Young researchers in homotopy theory and categorical structures (which was, by the way, a great conference -- thanks to the organizers), and I gave yet another talk about the…

The Voronov Product of OperadsPublished 9/22/2016. math operads swiss-cheeseMy first real post in a while! It turns out that writing an actual paper (cf. previous blog post) takes a lot of time and effort. Who knew? The Voronov product of operads is an operation introduced by Voronov in his paper The Swiss-cheese operad…

Infinity-Operads DemystifiedPublished 5/6/2016. algtop higher-cat math operadsThe purpose of this post is to record the definition of ∞-operads and explain why it works like that. For this I'm using Lurie's definition of ∞-operads; there is also a definition by Cisinski--Moerdijk--Weiss using dendroidal sets, about which I…

List of FactsPublished 3/31/2016. mathI just started a list of facts , mainly rather classical facts that I don't want to forget. Before, that list lived on sheets of papers strewn across my desk, which was clearly not optimal. Now it's in a more permanent form. Update: I haven't…

The Milnor–Moore TheoremPublished 3/10/2016. algtop mathThis post is about the Milnor--Moore theorem, a powerful tool describing the structure of (co)commutative Hopf algebras. Like the Eckmann--Hilton argument , it shows that having multiple compatible operations on the same object can lead to…

Acyclic ModelsPublished 1/15/2016. algtop mathThe theorem(s) of acyclic models are a rather powerful technique for proving that some functors defined on truncated chain complexes can be extended in higher dimensions, and that two such functors are homotopic, by proving it on a small class of…

About Abelian BimodulesPublished 1/6/2016. algtop math operadsThis post is about something somewhat weird I noticed about infinitesimal bimodules over operads and their relationships with some operads. I don't know if it's something significant, and I'd definitely be interested to hear more about it. Context…

The Eckmann–Hilton ArgumentPublished 12/23/2015. algtop mathAs promised, this post is about the famous Eckmann--Hilton argument . This argument, on the surface, looks like a simple algebraic trick; but it has deep consequences, which I will now try to explain. This post is an expanded version of a math.SE…