Videos and presentation materials from other INI events are also available.
Event  When  Speaker  Title  Presentation Material 

GDOW02 
2nd April 2013 09:30 to 10:30 
U Tillmann 
Homology stability for symmetric diffeomorphisms and their mapping classes
A central object of study in geometry and topology are diffeomorphism groups of compact manifolds. Nevertheless, these remain generally poorly understood objects. For surfaces homology stability has played a crucial role in advancing our understanding (MadsenWeiss). We will present some homology stability results for 'symmetric' diffeomorphisms for manifolds of arbitrary dimension and put them into context.


GDOW02 
2nd April 2013 11:00 to 12:00 
Factorization homology of topological manifolds
I'll describe factorization homology and some classes of computations therein which relate Koszul duality, Lie algebra homology, and configuration space models of mapping spaces. Parts of this work are joint with David Ayala, Kevin Costello, and Hiro Lee Tanaka.


GDOW02 
2nd April 2013 13:30 to 14:30 
A Berglund 
Rational homotopy theory of automorphisms of highly connected manifolds
I will talk about joint work with Ib Madsen on the rational homotopy type of classifying spaces of various kinds of automorphisms of highly connected manifolds. The cohomology of the classifying space of the automorphisms of a gfold connected sum of S^d x S^d stabilizes degreewise as g tends to infinity. For diffeomorphisms, the stable cohomology has been calculated by Galatius and RandalWilliams. I will discuss recent results on the stable cohomology for homotopy equivalences and for block diffeomorphisms. Curiously, the calculation in these cases involves certain Lie algebras of symplectic derivations that have appeared before in Kontsevich's work on the cohomology of outer automorphisms of free groups.


GDOW02 
2nd April 2013 15:00 to 16:00 
D Roytenberg 
A DoldKantype correspondence for superalgebras of differentiable functions and a "differential graded" approach to derived differential geometry
The commutative algebra appropriate for differential geometry is provided by the algebraic theory of $C^\infty$algebras  an enhancement of the theory of commutative algebras which admits all $C^\infty$ functions of $n$ variables (rather than just the polynomials) as its $n$ary operations. Derived differential geometry requires a homotopy version of these algebras for its underlying commutative algebra. We present a model for the latter based on the notion of a "differential graded structure" on a superalgebra of differentiable functions, understood  following Severa  as a (co)action of the monoid of endomorphisms of the odd line. This view of a differential graded structure enables us to construct, in a conceptually transparent way, a DoldKantype correspondence relating our approach with models based on simplicial $C^\infty$algebras, generalizing a classical result of Quillen for commutative and Lie algebras. It may also shed new light on DoldKantype co rrespondences in other contexts (e.g. operads and algebras over them). A similar differential graded approach exists for every geometry whose ground ring contains the rationals, such as real analytic or holomorphic.
This talk is partly based on joint work with David Carchedi (arXiv:1211.6134 and arXiv:1212.3745). 

GDOW02 
2nd April 2013 16:30 to 17:30 
B Tsygan 
Operations on Hochschild complexes, revisited
Algebraic structures on Hochschild cochain and chain complexes of algebras are long known to be of considerable interest. On the one hand, some of them arise as standard operations in homological algebra. On the other hand, for the ring of functions on a manifold, Hochschild homology, resp. cohomology, is isomorphic to the space of differential forms, resp. multivector fields, and many algebraic structures from classical calculus can be defined (in a highly nontrivial way) in a more general setting of an arbitrary algebra and its Hochschild complexes. Despite an extensive amount of work on the subject, it appears that large parts of the algebraic structure on the Hochschild complexes of algebras and their tensor products are still unknown. I will review the known results (KontsevichSoibelman, Dolgushev, Tamarkin and myself, Keller) and then outline some provisional results and conjectures about new operations. The talk will not assume any prior knowledge beyond the basic facts about complexes and (co)homology.


GDOW02 
3rd April 2013 09:30 to 10:30 
Classical and quantum Lagrangian field theories on manifolds with boundaries
Classical and quantum field theories may be thought of as appropriate functors from (some version of) the cobordism category. At the quantum level this was proposed by Segal as an axiomatization. Incarnations of this exist for nonperturbative topological field theory (by Witten following Atiyah's version of the axioms for TFTs) as well as in one and two dimensional field theories. This talk (based on joint work with Mnev and Reshetikhin) will give an introduction to the classical version and to the BatalinVilkovisky version, which forms the starting point for the perturbative quantization. The possibility of including boundaries of boundaries (and so on) naturally yields to a Lurietype description. Eventually, one might be able to reconstruct perturbative quantum theories on manifolds by gluing simple pieces together. Work in progress on this will be presented.


GDOW02 
3rd April 2013 11:00 to 12:00 
P Severa 
Integration of differential graded manifolds
I will explain why the Sullivan simplicial set given by a differential nonnegatively graded manifold is actually a Kan simplicial manifold. The basic tool is an integral transformation that linearizes the corresponding PDE. By imposing a gauge condition, we can then locally find a finitedimensional Kan submanifold, which can be seen as a local Lie ngroupoid integrating the dg manifold. These local ngroupoids are (nonuniquely) isomorphic on the overlaps. I will mention many open problems. Based on a joint work in progress with Michal Siran.


GDOW02 
3rd April 2013 13:30 to 14:30 
G Segal 
Bott periodicity in Algebra
Topological Ktheory was based on the Bott periodicity theorem, which made it possible to define Kgroups in all degrees. Quillen's algebraic Ktheory made use of a quite different principle. Nevertheless, Bott periodicity, seemingly so topological, has a variety of purely algebraic manifestations, which shed light on the sense in which an algebraicallydefined space has a homotopy type.


GDOW02 
3rd April 2013 15:00 to 16:00 
The BoardmanVogt tensor product of operadic bimodules
(Joint work with Bill Dwyer.) The BoardmanVogt tensor product of operads endows the category of operads with a symmetric monoidal structure that codifies interchanging algebraic structures. In this talk I will explain how to lift the BoardmanVogt tensor product to the category of composition bimodules over operads. I will also sketch two geometric applications of the lifted BV tensor product, to building models for spaces of long links and for configuration spaces in product manifolds.


GDOW02 
3rd April 2013 16:30 to 17:30 
Two models for infinityoperads
Following the foundational work of Joyal and Lurie, the theory of infinitycategories is now widely being used. There are two ways of extending the theory to "infinityoperads", one of them [CM] based on the theory of dendroidal sets, the other [HA] on the theory of cocartesian fibrations between infinitycategories, and ever since the appearance of the first versions of [HA] it was conjectured that the two theories are equivalent. In this lecture I will present an outline of a proof of this conjecture [HHM].
[CM] D.C. Cisinski, I. Moerdijk, Dendroidal sets as models for homotopy operads, Journal of Topology 2011 [HA] J. Lurie, Higher Algebra, book available at http://www.math.harvard.edu/~lurie/ [HMM] G. Heuts, V. Hinich, I. Moerdijk, The equivalence of the dendroidal model and Lurie's model for infinity operads, in preparation. 

GDOW02 
4th April 2013 09:30 to 10:30 
Symplectic and Poisson structures in the derived setting
This is a report on an ongoing project joint with T. Pantev, M. Vaquié and G. Vezzosi.
The purpose of this talk is to present the notions of nshifted symplectic and nshifted Poisson structures on derived algebraic stacks and to explain their relevance for the study of moduli spaces. I will start by the notion of nshifted symplectic structures and present some existence results insuring that they exist in many examples. In a second part I will present the notion of nshifted Poisson structures and explain its relation with the geometry of branes (maps from spheres to a fixed target). To finish I will explain what deformation quantization is in the nshifted context. 

GDOW02 
4th April 2013 11:00 to 12:00 
V Dotsenko 
Givental action is gauge symmetry in a homotopy Lie algebra
In this talk, I shall explain the mystery of hypercommutative algebras (=genus 0 cohomological field theories): it has been known for a while that the space of hypercommutative algebra structures on a given vector space possesses an unusually large group of symmetries. I shall explain how that appears naturally as a group of gauge symmetries of MaurerCartan elements in a certain homotopy Lie algebra. The existence of that homotopy algebra is still a result of several wonderful coincidences, but somehow I shall explain precisely what coincidences one should be hunting for in order for that sort of phenomena to occur.


GDOW02 
4th April 2013 13:30 to 14:30 
Computability and Zipf's Law: operadic perspective
The classical model of computability is the theory of partial recursive functions. Church's thesis postulates the "universality" of this model, and a vast corpus of other approaches confirms this thesis. Partial recursive functions is the minimal subset of partial functions containing a list of elementary functions and stable wrt another list of basic operations. One part of my talk is dedicated to the operad generated by basic operations, and possibly larger algebras over this operad formalizing also oracle assisted computations. Another part will deal with applications of computability and complexity to the creation of a mathematical model of Zipf's law: empirical probability measure observable on a vast amount of data, starting with distribution of words in texts.


GDOW02 
4th April 2013 15:00 to 16:00 
Strong homotopy (bi)algebras, homotopy coherent diagrams and derived deformations
Spaces of homotopy coherent diagrams or of strong homotopy (s.h.) algebras (for arbitrary monads) can be realised by rightderiving sets of diagrams or of algebras. This description involves a model category generalising Leinster's homotopy monoids.
For any monad on a simplicial category, s.h. algebras thus form a Segal space. A monad on a category of deformations then yields a derived deformation functor. There are similar statements for bialgebras, giving derived deformations of schemes or of Hopf algebras. 

GDOW02 
4th April 2013 16:30 to 17:30 
Higher string topology
We given an algebraic and geometric approach to string topology operation parametrized by Sullivan diagrams, producing in particular nontrivial higher degree operations associated to families of surfaces of any genus or any number of boundary components.


GDOW02 
5th April 2013 09:30 to 10:30 
The nerve of a differential graded algebra
The nerve of a differential graded algebra is a quasicategory: in this talk, we explain what the quasiisomorphisms look like in this quasicategory. If the dg algebra A is a dg Banach algebra concentrated in dimensions i>n , the nerve of A is a Lie nstack, that is, a quasicategory enriched in Banach analytic spaces. We show that Kuranishi's approach yields a finite dimensional Lie nstack parametrizing deformations of a complex of holomorphic vector bundles on a compact complex manifold of length n. This is joint work with Kai Behrend.


GDOW02 
5th April 2013 11:00 to 12:00 
Deformations of the Enoperad
We show that the cohomology of the deformation complex of the En operad may be expressed through M. Kontsevich's graph cohomology.


GDOW02 
5th April 2013 13:30 to 14:30 
Moduli spaces of geometric structures on surfaces and modular operads
It is wellknown that the moduli space of Riemann surfaces with nonempty boundary is homotopy equivalent to the moduli space of metric ribbon graphs. We generalize this to a large class of geometric structures on surfaces, including unoriented, Spin, rspin, and principal Gbundles, etc. For any class of geometric structures that can be described in terms of sections a suitable sheaf of spaces on a surface, we define a moduli space and show that it is homotopy equivalent to a moduli space of graphs with appropriate decorations at the vertices. The construction rests on the contractibility of the arc complex and can be interpreted in terms of derived modular envelopes of cyclic operads.


GDOW02 
5th April 2013 15:00 to 16:00 
Gauge theory, loop groups, and string topology
In this talk I will describe a joint project with John Jones, in which we relate the gauge theory of a principal bundle G > P > M to the string topology spectrum of the principal bundle. This spectrum has, as its homology the homology of the corresponding adjoint bundle. In this study G can be any topological group. In the universal case when P is contractible, the adjoint bundle is equivalent to the free loop space, LM, and this spectrum realizes the original ChasSullivan string topology homological structure. One of our main results is to identify the group of units the string topology spectrum, and to relate it to the gauge group of the original bundle. We import some of the basic ideas of gauge theory, such as the action of the gauge group on the space of connections, to the setting of principal fiberwise spectra over a manifold, and show how it allows us to do explicit calculations. We also show how, in the universal case, an action of a Lie group on a manifold yields a representation of the loop group on the string topology spectrum. We end by discussing a functorial perspective, which describes a sense in which the string topology spectrum of a principal bundle is the "linearization" of the gauge group.
