Réunion annuelle du GDR de topologie algébrique
from
Tuesday, 26 October 2021 (10:00)
to
Friday, 29 October 2021 (14:15)
Monday, 25 October 2021
Tuesday, 26 October 2021
10:00
Enregistrement, café
Enregistrement, café
10:00  10:30
10:30
Topological adventures in neuroscience (1ère partie)

Kathryn Hess Bellwald
(EPFL)
Topological adventures in neuroscience (1ère partie)
Kathryn Hess Bellwald
(EPFL)
10:30  12:00
Over the past decade, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied to objective classification of neuron morphologies, to automatic detection of network dynamics, to understanding the neural representation of natural auditory signals, and to demonstrating that the population activity of grid cells exhibits toroidal structure, as well as to describing brain structure and function and analyzing the relationship between them in a novel and effective manner. In this series of lectures, I’ll provide an overview of various promising recent applications of topology in neuroscience.
12:00
Déjeuner
Déjeuner
12:00  14:00
14:00
Genus zero modular operad & GrothendieckTeichmüller group’s avatar

Noémie Combe
Genus zero modular operad & GrothendieckTeichmüller group’s avatar
Noémie Combe
14:00  14:40
14:45
Mapping class group representations via Heisenberg homology

Martin PalmerAnghel
Mapping class group representations via Heisenberg homology
Martin PalmerAnghel
14:45  15:25
15:30
Pause café
Pause café
15:30  16:00
16:00
Autour de l'action de membranes

Hugo Pourcelot
Autour de l'action de membranes
Hugo Pourcelot
16:00  16:40
Étant donnée une ∞opérade cohérente O, on peut munir l’espace des extensions de l’identité d’une structure canonique de Oalgèbre, à valeurs dans la catégorie des cocorrespondances. Cette action a été introduite par Toën puis adaptée par Mann–Robalo en vue d’applications aux invariants de Gromov–Witten. J’exposerai une généralisation de cette construction, couvrant le cas des ∞opérades colorées ou munies de l’action d’un groupe topologique. Enﬁn, je mentionnerai quelques applications possibles en topologie des cordes.
16:45
A simplicial approach to the sheaf theoretic construction of intersection cohomology

Sebastian Cea
A simplicial approach to the sheaf theoretic construction of intersection cohomology
Sebastian Cea
16:45  17:25
Intersection (co)homology is a way to enhance classical (co)homology, allowing us to use a famous result called Poincaré duality on a large class of spaces known as stratiﬁed pseudomanifolds. There is a theoretically powerful way to arrive at intersection (co)homology by a classifying sheaves that satisfy what are called the Deligne axioms. Parallel to this, it is common knowledge in algebraic topology that simplicial structures make for good representations of topological spaces. There is a successful way to construct a simplicial intersection (co)homology exposed in the works of D. Chataur, D. Tanré and M. SaralegiAraguren, but a simplicial manifestation of the Deligne axioms has remained under shadows until now. This exposition draws on constructions made by these authors, showing a simplicial manifestation of the Deligne axioms. We begin by exposing the classical theory, then presenting a construction of simplicial sheaves and a statement of simplicial Deligne axioms that work for the diﬀerent simplicial structures, to ﬁnally focus on simplicial complexes, with which we can successfully arrive into a way to construct simplicial intersection (co)homology. This exposition summarizes the results obtained during my PhD thesis under the guidance of professor David Chataur.
Wednesday, 27 October 2021
09:00
(Non)formality of the SwissCheese operads and variants

Najib Idrissi
(Université Paris Diderot / IMJPRG)
(Non)formality of the SwissCheese operads and variants
Najib Idrissi
(Université Paris Diderot / IMJPRG)
09:00  09:50
The usual SwissCheese operad encodes triplets (A,B,f), where A is an algebra over the little disks operad in dimension n (i.e., an \mathsf{E}_nalgebra), B is an \mathsf{E}_{n1}algebra, and f : A \to Z(B) is a central morphism of E_nalgebras. The SwissCheese operad admits several variants and generalizations. In Voronov's original version, the morphism is replaced by an action A \otimes B \to B; in the extended SwissCheese operad ESC_{mn}, the lower algebra is an \mathsf{E}_malgebra for some m < n; and in the complementarilyconstrained disks operad \mathsf{CD}_{mn}, the morphism is replaced by a derivation f + \epsilon \delta : A \to B[\epsilon]. In this talk, I will explain approaches to prove the (non)formality of some of the variants of the SwissCheese operad, including a joint work in progress with Renato Vasconcellos Vieira.
10:00
Pause café
Pause café
10:00  10:30
10:30
Topological adventures in neuroscience (2ème partie)

Kathryn Hess Bellwald
(EPFL)
Topological adventures in neuroscience (2ème partie)
Kathryn Hess Bellwald
(EPFL)
10:30  12:00
Over the past decade, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied to objective classification of neuron morphologies, to automatic detection of network dynamics, to understanding the neural representation of natural auditory signals, and to demonstrating that the population activity of grid cells exhibits toroidal structure, as well as to describing brain structure and function and analyzing the relationship between them in a novel and effective manner. In this series of lectures, I’ll provide an overview of various promising recent applications of topology in neuroscience.
12:00
Déjeuner
Déjeuner
12:00  14:00
14:00
Algebraic models for classifying spaces of fibrations

Alexander Berglund
Algebraic models for classifying spaces of fibrations
Alexander Berglund
14:00  14:50
For a simply connected finite CWcomplex X, we construct a tractable model for the rational homotopy type of the classifying space Baut(X) of the topological monoid of selfhomotopy equivalences of X, aka the classifying space for fibrations with fiber X. The space Baut(X) is in general far from nilpotent, so one should not expect to be able to model its rational homotopy type by a dg Lie algebra over Q as in Quillen's theory. Instead, we work with dg Lie algebras in the category of algebraic representations of a certain reductive algebraic group associated to X. A consequence of our results is that the computation of the rational cohomology of Baut(X) reduces to the computation of ChevalleyEilenberg cohomology of dg Lie algebras and cohomology of arithmetic groups with coefficients in algebraic representations. Our results also simplify and generalize certain earlier results of Ib Madsen and myself on Baut(M) for highly connected manifolds M. This is joint work with Tomas Zeman.
15:00
Pause café
Pause café
15:00  15:30
15:30
Higher Lie theory

Bruno Vallette
Higher Lie theory
Bruno Vallette
15:30  16:20
This talk will cover the recent complete treatment of the longterm research programme between Lie theory, deformation theory, and rational homotopy theory that originates in the works of Quillen, Deligne, and Sullivan. I will settle the integration theory of homotopy Lie algebras with algebraic infinigroupoids that give rise to explicit higher Baker—Campbell—Hausdorff formulas. A direct application will provide us with a new form of rational homotopy theory which holds in a much more general context than the previous ones. (Joint work with Daniel RobertNicoud availble at ArXiv:2010.10485.)
16:20
Integration of curved homotopy Lie algebras

Victor Roca Lucio
Integration of curved homotopy Lie algebras
Victor Roca Lucio
16:20  17:00
The integration procedure which associates an inﬁnitygroupoid to a (complete) homotopy Lie algebra dates back to Hinich and Getzler. Recently, a new method was developed by RobertNicoud and Vallette: it relies on the representation of the Getzler functor with a universal object and the use of the recent progresses of the operadic calculus. The goal of this talk is to generalize their procedure to curved homotopy Lie algebras, which are this time to be encoded by curved cooperads. This is a new type of algebraic structures which come naturally equipped with inﬁnite summations without an underlying topology. We will explain how to integrate this new type of objects, generalizing the above cases, and their relationship with rational homotopy theory and deformation theory. In particular, they provide us with rational models for nonpointed nilpotent spaces.
Thursday, 28 October 2021
09:00
Ainfinity structures on almost complex manifolds

Joana Cirici
Ainfinity structures on almost complex manifolds
Joana Cirici
09:00  09:50
Dolbeault cohomology is a fundamental cohomological invariant for complex manifolds. This analytic invariant is connected to de Rham cohomology by means of a spectral sequence, called the Frölicher spectral sequence. In this talk, I will explore this connection from a multiplicative viewpoint: using homotopytheoretical methods, I will describe how products (and higher products) behave in the Frölicher spectral sequence. Then, I will review an extension of the theory to the case of almost complex manifolds and talk about some open problems in geometry that may be addressed using homotopy theory.
10:00
Pause café
Pause café
10:00  10:30
10:30
Higher algebra of Ainfinity algebras and the nmultiplihedra

Thibaut Mazuir
Higher algebra of Ainfinity algebras and the nmultiplihedra
Thibaut Mazuir
10:30  11:10
In this talk, I will introduce the notion of nmorphisms between two Ainfinity algebras. These higher morphisms are such that 0morphisms corresponds to Ainfinity morphisms and 1morphisms correspond to Ainfinity homotopies. I will then prove that the set of higher morphisms between two Ainfinity algebras provide a satisfactory framework to study the higher algebra of Ainfinity algebras : this set defines in fact a simplicial set, which has the property of being a Kan complex whose homotopy groups can be explicitly computed. If time permits, I will finally show how the combinatorics of nmorphisms between Ainfinity algebras are encoded by new families of polytopes, which I call the nmultiplihedra and which generalize the standard multiplihedra. They are constructed from the standard simplices and multiplihedra, by lifting the AlexanderWhitney map to the level of simplices. The combinatorics arising in this context are moreover conveniently described in terms of overlapping partitions.
11:20
La diagonale des opéraèdres / The diagonal of the operahedra

Guillaume LaplanteAnfossi
La diagonale des opéraèdres / The diagonal of the operahedra
Guillaume LaplanteAnfossi
11:20  12:00
Nous présentons une nouvelle famille de réalisations des opéraèdres, une famille de polytopes qui codent les opérades à homotopie près comprenant l'associaèdre et le permutoèdre. En se servant des techniques récemment développées par N. Masuda, A. Tonks, H. Thomas et B. Vallette, nous définissons une approximation cellulaire de la diagonale pour cette famille de polytopes de même que le produit tensoriel d'opérades à homotopie près pour lequel nous donnons une formule explicite. We study a new family of realizations of the operahedra, a family of polytopes encoding operads up to homotopy, which include the associahedra and the permutohedra. Using techniques recently developed by N. Masuda, A. Tonks, H. Thomas and B. Vallette, we define a cellular approximation of the diagonal of this family of polytopes and define the tensor product of operads up to homotopy with an explicit formula.
12:00
Déjeuner
Déjeuner
12:00  14:00
14:00
Integrability of derived complex spaces

Sinan Yalin
Integrability of derived complex spaces
Sinan Yalin
14:00  14:50
Since the NewlanderNirenberg integrability theorem in 1957, the description of complex manifolds through integrable almost complex structures provided many far reaching applications ranging from deformation theory to Hodge theory for example.With the rise of derived geometry during the last decade, and more recently of derived analytic geometry, comes naturally the following question: is there a fully homotopy coherent analogue of this integrability notion suitable for derived complex objects? We will explore this question through an approach inspired by operad theory. This is joint work in progress with Joan Millès.
15:00
Pause café
Pause café
15:00  15:30
15:30
Floyd's manifold is a conjugation space

Jérôme Scherer
Floyd's manifold is a conjugation space
Jérôme Scherer
15:30  16:10
Friday, 29 October 2021
09:00
Homotopically inflexible algebras

Cristina Costoya
Homotopically inflexible algebras
Cristina Costoya
09:00  09:50
An oriented closed connected dmanifold is inﬂexible if it does not admit selfmaps of unbounded degree. In addition, if for every oriented closed connected dmanifold M ′ the set of degrees of maps M′ → M is ﬁnite, then M is said to be strongly inﬂexible. The ﬁrst examples of simply connected inﬂexible manifolds have been constructed by Arkowitz and Lupton using Rational Homotopy Theory. However, it is not known whether simply connected strongly manifolds exist, problem that is related to Gromov’s question on functorial seminorms on homology. In this talk, using Sullivan models, we present a method that proves the failure of strongly inﬂexibility for all but one of the existing inﬂexible manifolds. This is a joint work with Vicente Mu˜noz and Antonio Viruel.
10:00
Pause café
Pause café
10:00  10:30
10:30
On the centre of crossed modules of groups and Lie algebras

Mariam Pirashvili
On the centre of crossed modules of groups and Lie algebras
Mariam Pirashvili
10:30  11:10
Crossed modules are algebraic models of homotopy 2types and hence have \pi_1 and \pi_2 . We propose a deﬁnition of the centre of a crossed module whose essential invariants can be computed via the group cohomology H^i (\pi_1, \pi_2). This deﬁnition therefore has much nicer properties than one proposed by Norrie in the 80’s.
11:10
Model structures and spectral sequences

Sarah Whitehouse
(University of Sheffield)
Model structures and spectral sequences
Sarah Whitehouse
(University of Sheffield)
11:10  12:00
Model categories give an abstract setting for homotopy theory, allowing study of different notions of equivalence. I'll discuss various categories with associated functorial spectral sequences. In such settings, one can consider a hierarchy of notions of equivalence, given by morphisms inducing an isomorphism at a fixed stage of the associated spectral sequence. I'll discuss model structures with these weak equivalences for filtered complexes, for bicomplexes and for multicomplexes. I will talk about joint work with subsets of: Joana Cirici, Daniela Egas Santander, Xin Fu, Ai Guan, Muriel Livernet and Stephanie Ziegenhagen, as well as reporting on some work of my student James Brotherston.