Algebra, Topology and the GrothendieckTeichmüller group
from
Sunday, August 28, 2022 (9:00 AM)
to
Friday, September 2, 2022 (2:00 PM)
Sunday, August 28, 2022
Monday, August 29, 2022
9:00 AM
Graph Complexes, GRT and cohomology of $GL_n$

Francis Brown
(
Oxford
)
Graph Complexes, GRT and cohomology of $GL_n$
Francis Brown
(
Oxford
)
9:00 AM  9:50 AM
I will give a tour of some recent ideas which relate: the commutative even graph complex, the moduli space of tropical curves, the cohomology of the general linear group, the GrothendieckTeichmüller group, MZV's and Feynman integrals.
9:50 AM
Coffee break
Coffee break
9:50 AM  10:10 AM
10:10 AM
Multizeta values and associators in genus zero and one

Leila Schneps
(
Paris
)
Multizeta values and associators in genus zero and one
Leila Schneps
(
Paris
)
10:10 AM  11:00 AM
In the first part of this talk, we will recall the construction of the elliptic associator by Enriquez, and underline its properties in analogy to the wellknown properties of the Drinfeld associator ΦKZ. In the second part, we will give a theorem showing that what is going here is much more than a mere analogy: in fact the elliptic associator can be constructed directly from the Drinfeld associator, and its main properties can then be derived directly from those of ΦKZ.
11:00 AM
A topological characterisation on the KashiwaraVergne groups

Zsuzsi Dancso
(
Sydney
)
A topological characterisation on the KashiwaraVergne groups
Zsuzsi Dancso
(
Sydney
)
11:00 AM  11:50 AM
This talk is based on joint work with Iva Halacheva and Marcy Robertson (https://arxiv.org/pdf/2106.02373.pdf) and ongoing joint work with Tamara Hogan and Marcy Robertson. I will present a topological characterisation of the KashiwaraVergne groups KV and KRV as automorphism groups of wheeled PROPs (aka circuit algebras) of certain fourdimensional tangles, and their associated graded space of "arrow diagrams". I'll also explain how the AlekseevTorossian map GRT > KRV arises in this context as a map from classical chord diagrams to arrow diagrams.
12:15 PM
Lunch
Lunch
12:15 PM  1:45 PM
4:30 PM
Coffee break
Coffee break
4:30 PM  4:50 PM
5:00 PM
Towards a $\mathrm{KRV_2}$ action in the derived category

Chris Rogers
(
Reno
)
Towards a $\mathrm{KRV_2}$ action in the derived category
Chris Rogers
(
Reno
)
5:00 PM  5:50 PM
Let $X$ be a smooth complex variety. In previous joint work with V. Dolgushev and T. Willwacher, we exhibited an explicit action of $\mathrm{GRT_1}$ on the Gerstenhaber algebra $H^\ast(X,\mathcal{T}_{\mathrm{poly}})$. This action produces a large supply of nontrivial $\mathrm{GRT}_1$ representations. After reviewing this construction, I will discuss extending it to an action of $\mathrm{KRV}_2$ on the set of those isomorphisms $H^\ast(X,\mathcal{T}_{\mathrm{poly}}) \cong HH^*(X)$ which correct the HKR map between the harmonic and Hochschild structures of $X$. A key ingredient is the recent characterization of $\mathrm{KRV}_2$ by Z. Dancso, I. Halacheva, and M. Robertson as automorphisms of a wheeled PROP. This is joint work in progress with M. Robertson.
6:00 PM
Modular Inverters

Richard Hain
(
Duke
)
Modular Inverters
Richard Hain
(
Duke
)
6:00 PM  6:50 PM
This is a report on a project with Francis Brown and its relation to some more recent work on Hecke actions on periods of iterated integrals of classical modular forms. The cross ratio identifies the Riemann sphere minus 0, 1 and infinity with the moduli space $M_{0,4}$ of ordered 4 tuples of distinct points on $P^1$ mod projective equivalence. As observed by Deligne and Ihara in the 1980s, to understand the Galois action or the mixed Hodge structure on the fundamental group of $M_{0,4}$ with base point the tangent vector $d/dx$ at $x = 0$, it suffices to understand the Galois action, respectively, the periods, of the (etale, resp. de Rham) straight line path in $M_{0,4}$ from the tangent vector $d/dx$ at $x = 0$ to the tangent vector $d/dx$ at $x = 1$. This path is the prototypical associator and is sometimes called "le droit chemin". Many (perhaps all?) relations satisfied by associators come from the action of the symmetric group $S_3$ on $M_{0,4}$, the topology of $M_{0,4}$ and the embeddings of $M_{0,4}$ as open strata in the boundary of the natural compactification of $M_{0,5}$. One can play the same game with $M_{0,4}$ replaced by $M_{1,1}$, the moduli space of smooth elliptic curves. In this case, to understand the Galois action and mixed Hodge structure on the fundamental group (with base point d/dq) of $M_{1,1}$, it suffices to understand the Galois action on the loop in $M_{1,1}$ corresponding to the imaginary axis in the upper half plane. This loop corresponds to an element of order 4 in the topological fundamental group $SL_2(Z)$ and is the prototypical inverter. Relations satisfied by inverters arise from the embedding of $M_{1,1}$ as a boundary stratum of the natural compactification of $M_{1,2}$, the universal elliptic curve with its identity section removed. The KZ associator is the generating series of iterated integrals of the 1forms $dx/x$ and $dx/(1x)$ on $M_{0,4}$. This has a whole hierarchy of analogues in the modular case. In all cases, these are power series that are generating functions of iterated integrals of modular forms. The series one gets depend on which proalgebraic completion of $SL_2(Z)$ one chooses. In the most general version, the coefficients are all iterated integrals of classical modular forms of all levels. In another, they are only iterated integrals of modular forms of weight 2, which are just 1forms on modular curves. In addition to expanding on the comments above, I will construct the various completions of $SL_2(Z)$ and the corresponding de Rham inverter. I will explain how, when one pulls back the "weight 2" inverter to level 2, one gets a generalization of the usual KZ associator.
7:30 PM
Dinner
Dinner
7:30 PM  9:00 PM
Tuesday, August 30, 2022
9:00 AM
Stabilizer bitorsors in double shuffle theory

Benjamin Enriquez
(
Strasbourg
)
Stabilizer bitorsors in double shuffle theory
Benjamin Enriquez
(
Strasbourg
)
9:00 AM  9:50 AM
We explain the construction of a pair of "Betti" and "de Rham" Hopf algebras and a pair of modulecoalgebras over this pair, as well as the bitorsors related to both structures (which will be called the "module" and "algebra" stabilizer bitorsors). We show that Racinet's DMR torsor constructed out of the double shuffle and regularization relations between multiple zeta values is essentially equal to the "module" stabilizer bitorsor and that it is also equal to the "algebra" stabilizer bitorsor. We explain why this is a step in the construction of an "intermediate" group between GRT and DMR. (joint w H Furusho)
9:50 AM
Coffee break
Coffee break
9:50 AM  10:10 AM
10:10 AM
An integral version of the GrothendieckTeichmüller group

Geoffroy Horel
(
Paris
)
An integral version of the GrothendieckTeichmüller group
Geoffroy Horel
(
Paris
)
10:10 AM  11:00 AM
I will explain an integral generalization of rational homotopy theory based on binomial commutative rings. I will then explain the construction of a derived binomial algebraic group over the integers which specializes to the proalgebraic GrothendieckTeichmüller group as well as the prop version for all prime p. I will finally describe the conjectural relationship between this group and the Tannakian Galois group of Nori motives with integral coefficients.
11:10 AM
Asymptotics for graph complex Euler characteristics

Michael Borinsky
(
ETH Zurich
)
Asymptotics for graph complex Euler characteristics
Michael Borinsky
(
ETH Zurich
)
11:10 AM  12:00 PM
I will report on a work on the asymptotic growth rate of the topweight Euler characteristic of the moduli space of curves and on an ongoing joint work with Karen Vogtmann on the topology of Out(Fn). In both cases, graph complexes, which compute the cohomology of the respective spaces, are instrumental. Proofs for the superexponential asymptotic growth rate of the Euler characteristics in each case establish the existence of large amounts of unexplained cohomology both in Out(Fn) and the topweight cohomology of the moduli space of curves.
12:15 PM
Lunch
Lunch
12:15 PM  1:45 PM
4:30 PM
Coffee break
Coffee break
4:30 PM  4:50 PM
5:00 PM
Torelli groups of highdimensional manifolds

Alexander Kupers
(
Toronto
)
Torelli groups of highdimensional manifolds
Alexander Kupers
(
Toronto
)
5:00 PM  5:50 PM
I will explain joint work with Oscar RandalWilliams, in which we study Torelli groups of the higherdimensional analogues of surfaces. This is done by combining the work of GalatiusRandalWilliams on stable moduli spaces of manifolds with GoodwillieKleinWeiss embedding calculus. Particular attention will be given to the relationship between our results and graph complexes.
6:00 PM
Deformations of the wheeled Lie bialgebra properad

Oskar Frost
(
Luxembourg
)
Deformations of the wheeled Lie bialgebra properad
Oskar Frost
(
Luxembourg
)
6:00 PM  6:15 PM
I give a short description of a recent result of mine. I compute the homotopy deformations of the wheeled Lie bialgebra, and show that it is quasi isomorphic to a subcomplex of the directed kontsevich graph complex consisting of graphs with at least one source and one target vertex. Most interestingly is that this complex is (probably) not quasiisomorphic to the original Kontsevich graphs complex, which was otherwise suspected.
6:15 PM
Admissible Integrals and Noncommutative Geometry

Valérian Montessuit
(
Geneva
)
Admissible Integrals and Noncommutative Geometry
Valérian Montessuit
(
Geneva
)
6:15 PM  6:30 PM
In this short talk I will briefly present admissible integrals, a noncommutative version of the usual integrals on an euclidean space that have to satisfy a property related to integration by part. I will explain all the ingredients in the formula and discuss quickly the existence of such integrals.
6:30 PM
Generalized Pentagon Equations

Muze Ren
(
Geneva
)
Generalized Pentagon Equations
Muze Ren
(
Geneva
)
6:30 PM  6:45 PM
Vladimir Drinfeld defined his KZ associator by considering the monodromy of KZ equation along the real interval from 0 to 1 and proved that it satisfies the Pentagon equation. A natural question is that what kinds of equations will appear if we consider general curves with self intersections. I will try to talk about these equations for general curves, based on joint work with Anton Alekseev and Florian Naef.
6:45 PM
The stabilizer Lie algebra of the harmonic coproduct

Khalef Yaddaden
(
Strasbourg
)
The stabilizer Lie algebra of the harmonic coproduct
Khalef Yaddaden
(
Strasbourg
)
6:45 PM  7:00 PM
For a finite abelian group $G$, Racinet constructed a Lie algebra $\mathfrak{dmr}_0^G$, which for $G=\mu_N$ describes double shuffle and regularisation relations between multiple polylogarithm values specialized to $N^{th}$ roots of unity. Enriquez and Furusho then identified this Lie algebra with the stabilizer Lie algebra $\mathfrak{stab}(Delta^M)$ of a coalgebra $(M, Delta^M)$ appearing in Racinet's formalism. On the other hand, Racinet's formalism provides a Hopf algebra $(\mathbb{Q≪Y_G≫, Delta_*^{alg, G})$. When $G=1$, this Hopf algebra is equipped with a Lie algebra action, which gives rise to a stabilizer Lie algebra $\mathfrak{stab}(Delta_*^{alg,1})$, which can be shown to be equal to $\mathfrak{stab}(Delta^M)$. However, when $G neq 1$, no such action exists on $(\mathbb{Q≪Y_G≫, Delta_*^{alg, G})$, making a direct analogue of this construction impossible. We show how Racinet's theory fits in a crossed product formalism, which allows for the construction of an alternative generalisation $(W,Delta^W)$ for general $G$ of the Hopf algebra $(\mathbb{Q≪Y_G≫, Delta_*^{alg, G})$, which is moreover equipped with a Lie algebra action and, therefore, allows for the construction of a stabilizer Lie algebra $\mathfrak{stab}(Delta^W)$, which can be shown to contain $\mathfrak{dmr}_0^G$.
7:30 PM
Dinner
Dinner
7:30 PM  9:00 PM
Wednesday, August 31, 2022
9:00 AM
Extensions of 1cocycles of the mapping class group to the Ptolemy groupoid

Yusuke Kuno
(
Tsuda University
)
Extensions of 1cocycles of the mapping class group to the Ptolemy groupoid
Yusuke Kuno
(
Tsuda University
)
9:00 AM  9:50 AM
For a punctured oriented surface, the isotopy classes of ribbon graph spines on it constitute a cell complex. It can be thought of as a combinatorial model of the Teichmuller space of the surface. The fundamental path groupoid of this cell complex is called the Ptolemy groupoid. In this talk, we discuss various 1cocycles on the Ptolemy groupoid and the corresponding twisted first cohomology of the mapping class group of the surface. In particular, we focus on a 1cocycle introduced by Penner in 2012. (Joint work with Kae Takezawa.)
9:50 AM
Coffee break
Coffee break
9:50 AM  10:10 AM
10:10 AM
Poincare duality and TQFT structures for loop spaces

Kai Cieliebak
(
Augsburg
)
Poincare duality and TQFT structures for loop spaces
Kai Cieliebak
(
Augsburg
)
10:10 AM  11:00 AM
This talk is about ongoing joint work with Nancy Hingston and Alexandru Oancea. I will explain how various puzzles in string topology get resolved in terms of symplectic geometry: Loop space homology and cohomology are merged into a larger space, Rabinowitz Floer homology, which carries the structure of a graded TQFT and satisfies Poincare duality.
11:00 AM
Gravity properad, moduli spaces M_g,n, and string topology

Sergei Merkulov
(
Luxembourg
)
Gravity properad, moduli spaces M_g,n, and string topology
Sergei Merkulov
(
Luxembourg
)
11:00 AM  11:50 AM
Using Thomas Willwacher’s twisting endofunctor, and Kevin Costello’s theory of partially compactified moduli spaces of algebraic curves of arbitrary genus with marked points, we introduce a new dg properad which contains Ezra Getzler’s operad controlling genus zero moduli spaces. We discuss its applications in the theory of moduli spaces $M_g,n$, and in string topology
12:15 PM
Lunch
Lunch
12:15 PM  1:45 PM
7:30 PM
Dinner
Dinner
7:30 PM  9:00 PM
Thursday, September 1, 2022
9:00 AM
Top weight cohomology of M_{g,n} and the handlebody group

Dan Petersen
(
Stockholm
)
Top weight cohomology of M_{g,n} and the handlebody group
Dan Petersen
(
Stockholm
)
9:00 AM  9:50 AM
ChanGalatiusPayne have shown that the homology of Kontsevich's commutative graph complex injects into the compact support cohomology of moduli spaces of curves, in such a way that the image is the weight zero part of the mixed Hodge structure on the target. We explain that this map factors through the homology of the handlebody mapping class groups. This is joint work in progress with my PhD student Louis Hainaut.
9:50 AM
Coffee break
Coffee break
9:50 AM  10:10 AM
10:10 AM
Algebraic models for classifying spaces of fibrations

Alexander Berglund
(
Stockholm
)
Algebraic models for classifying spaces of fibrations
Alexander Berglund
(
Stockholm
)
10:10 AM  11:00 AM
We construct an algebraic model for the rational homotopy type of Baut(X), the classifying space of fibrations with fiber X, for arbitrary simply connected CWcomplexes X. As an application, we express the rational cohomology ring of Baut(X) in terms of cohomology of arithmetic groups and dg Lie algebras. In special cases, this leads to connections to modular forms and to graph complexes in the sense of Kontsevich. Another corollary is an algebraicity result for the representations of the homotopy mapping class group of X in the higher rational homotopy groups of Baut(X), which extends a classical result of Sullivan and Wilkerson. This is joint work with Tomas Zeman.
11:10 AM
Automorphisms of seemed surfaces, modular operads and Galois actions

Marcy Robertson
(
Melbourne
)
Automorphisms of seemed surfaces, modular operads and Galois actions
Marcy Robertson
(
Melbourne
)
11:10 AM  12:00 PM
The idea behind GrothendieckTeichmüller theory is to study the absolute Galois group via its actions on (the collection of all) moduli spaces of genus 𝑔 curves. In practice, this is often done by studying an intermediate object: The GrothendieckTeichmüller group, GT. In this talk, I’ll describe an algebraic gadget built from simple decomposition data of Riemann surfaces. This gadget, called an infinity modular operad, provides a model for the collection of all moduli spaces of genus 𝑔 curves with 𝑛 boundaries, which we justify by showing that the automorphisms of this algebraic object is isomorphic to a subgroup of GrothendieckTeichmüller group. This is joint work with L. Bonatto.
12:15 PM
Lunch
Lunch
12:15 PM  1:45 PM
4:00 PM
Profinite GrothendieckTeichmüller theory and completed curve complexes

Pierre Lochak
(
Paris Jussieu
)
Profinite GrothendieckTeichmüller theory and completed curve complexes
Pierre Lochak
(
Paris Jussieu
)
4:00 PM  4:50 PM
After surveying the early developments in profinite GrothendieckTeichmüller theory, I will explain how the introduction of completed curve complexes (as well as other types of complexes) led to some more recent results, including an important rigidity property which enables one to define the profinite version of associators.
5:00 PM
Graph complexes, operadic mapping spaces and embedding calculus  a survey

Benoit Fresse
(
Lille
)
Graph complexes, operadic mapping spaces and embedding calculus  a survey
Benoit Fresse
(
Lille
)
5:00 PM  5:50 PM
I propose to give an account on results of a collaboration with Victor Turchin and Thomas Willwacher about rational models of operads operads and their applications to the study of the rational homotopy type of embedding spaces. In a preliminary part, I will give a brief review of the rational homotopy theory of operads. Then I will explain a graph complex description of the rational homotopy of mapping spaces of $E_n$operads, and applications of results of the GoodwillieWeiss calculus of embeddings to check that this computation gives a description of a delooping of embedding spaces of Euclidean spaces. If time permit, I will also explain a generalization of our constructions for the computation of the rational homotopy of the embedding spaces of manifolds into Euclidean spaces. The homotopy automorphism spaces of $E_n$operads represent generalizations of the GrothendieckTeichmüller, which concern the case $n=2$. These spaces have a description in terms of graph complexes too, and another option (depending on the interests of the audience) is to explain this result in detail, giving in particular some precision on the computation of the monoid structure associated to these spaces.
6:00 PM
Rational homotopy of embedding spaces: grt(Q) and unitrivalent graphs

Victor Turchin
(
Kansas State University
)
Rational homotopy of embedding spaces: grt(Q) and unitrivalent graphs
Victor Turchin
(
Kansas State University
)
6:00 PM  6:50 PM
I will speak about two distantly related topics. The first one is grt(Q) as subspace of the rational homotopy of spaces of long embeddings $R^m > R^{2n}$, $2nm>2$. The second one is invariants of embeddings $f:M^m > R^n$,$ nm>2$, in terms of unitrivalent trees that encode the rational homotopy type of the pathcomponent $Emb(M,R^n)_f$ of the embedding space $Emb(M,N)$. The first topic is a joint work with T. Willwacher, while the second one is a joint work with B. Fresse and T. Willwacher.
7:30 PM
Dinner
Dinner
7:30 PM  9:00 PM
Friday, September 2, 2022
9:00 AM
Failure of invariance of the string topology coproduct

Nathalie Wahl
(
Copenhagen
)
Failure of invariance of the string topology coproduct
Nathalie Wahl
(
Copenhagen
)
9:00 AM  9:50 AM
Florian Naef showed that the string topology coproduct is not in general invariant under homotopy equivalences, through a lens spaces computation. I will give one point of view on this failure of invariance
9:50 AM
Coffee break
Coffee break
9:50 AM  10:10 AM
10:10 AM
Torsion in string topology

Florian Naef
(
Dublin
)
Torsion in string topology
Florian Naef
(
Dublin
)
10:10 AM  11:00 AM
I will explain why a particularly simple rational model for string topology (more precisely, the $S^1$equivariant version) whose construction was sketched by CieliebakFukayaLatchev does indeed exist. From this model one can expect that the string coproduct is not a homotopy invariant in general using a connection to the KashiwaraVergne problem. This begs the question, what kind of manifold invariant the string coproduct (and string topology in general) is. I will explain how the string coproduct is essentially the Dennis trace of Reidemeister/Whiteheadtorsion. This relationship goes through the configuration space of two points. This is based on joint works with Thomas Willwacher and Pavel Safronov.
11:10 AM
Tangles in a Pole Dance Studio: A Reading of Massuyeau, Alekseev, and Naef

Dror BarNatan
(
Toronto
)
Tangles in a Pole Dance Studio: A Reading of Massuyeau, Alekseev, and Naef
Dror BarNatan
(
Toronto
)
11:10 AM  12:00 PM
I will report on joint work with Zsuzsanna Dancso, Tamara Hogan, Jessica Liu, and Nancy Scherich. Little of what we do is original, and much of it is simply a reading of Massuyeau's arXiv:1511.03974 and Alekseev and Naef's arXiv:1708.03119. We study the polestrand and strandstrand double filtration on the space of tangles in a pole dance studio (a punctured disk cross an interval), the corresponding homomorphic expansions, and a strandonly HOMFLYPT relation. When the strands are transparent or nearly transparent to each other we recover and perhaps simplify substantial parts of the work of the aforementioned authors on expansions for the GoldmanTuraev Lie bialgebra.
12:15 PM
Lunch
Lunch
12:15 PM  1:45 PM