Tuesdays at 10:15
MA 12
Program
Date  Title  Speaker 

25.09.2018
in CM 012 
The loop homology algebra of discrete torsion  Yasuhiko Asao
University of Tokyo 
09.10.2018  Topological Hochschild Homology and Fixed Point Invariants  Jonathan Campbell
Vanderbilt University 
16.10.2018  KTheory and Polytopes  Jonathan Campbell
Vanderbilt University 
23.10.2018  Toward the equivariant stable parametrized hcobordism theorem  Mona Merling
University of Pennsylvania 
30.10.2018  Tools for understanding topological coHochschild homology  Anna Marie Bohmann
Vanderbilt University 
06.11.2018  Thom spectra and CalabiYau algebras  Inbar Klang
EPFL 
13.11.2018 
Periodic orbits and topological restriction homology

Cary Malkiewich
Binghamton University 
20.11.2018  Hochschild homology and the de Rham complex, revisited  Arpon Raksit
Stanford University 
27.11.2018  Power operations on homology with twisted coefficients  Calista Bernard
Stanford University 
18.12.2018  Prederivators as a model of (∞,1)categories  Martina Rovelli
Johns Hopkins University 
08.01.2019
in MA 12 
Cohomology of braids, graph complexes, and configuration space integrals  Ismar Volic
Wellesley 
12.02.2019  Infinityoperads as polynomial monads  Joachim Kock
Universitat Autònoma de Barcelona 
26.02.2019  An Axiomatic Approach to Algebraic Topology  Nima Rasekh
MPIM Bonn 
05.03.2019  Partial categories and directed path spaces — a proposed construction of orbit categories for plocal finite groups  Sune Precht Reeh
Universitat Autònoma de Barcelona 
12.03.2019  Homotopical Galois extensions of E_\infty algebras  Magdalena Kedziorek
Universiteit Utrecht 
26.03.2019  A new approach to the DoldThom theorem  Lauren Bandklayder
MPIM Bonn 
02.04.2019  Field theories in synthetic differential geometry  Melvin Vaupel
ETH Zurich 
07.05.2019  Chromatic Smith theory  Markus Hausmann
University of Copenhagen 
21.05.2019  An Introduction to Functor Calculus  Brenda Johnson
Union College 
28.05.2019  Real cobordism, its norm and the dual Steenrod algebra  Mingcong Zeng
Universiteit Utrecht 
04.06.2019  Christian Ausoni
Université Paris 13 

11.06.2019  Kate Ponto
University of Kentucky 

18.06.2019  Lyne Moser
EPFL 
(See also the program of the topology seminar in 2011/12, 2010/11, 2009/10, 2008/09, 2007/08, 2006/07, and 2005/06.)
Abstracts
Yasuhiko Asao – The loop homology algebra of discrete torsion
Let $M$ be a closed oriented manifold with a finite group action by $G$.
We denote its Borel construction by $M_{G}$. As an extension of string
topology due to ChasSullivan, LupercioUribeXicot$\’{e}$ncatl
constructed a graded commutative associative product (loop product) on $
H_{*}(LM_{G})$, which plays a significant role in the “orbifold string
topology” . They also showed that the constructed loop product is an
orbifold invariant. In this talk, we describe the orbifold loop product
by determining its “twisting” out of the ordinary loop product in term
of the group cohomology of $G$, when the action is homotopically trivial.
Through this description, the orbifold loop homology algebra can be
seen as R. Kauffmann’s “algebra of discrete torsion”, which is a group
quotient object of Frobenius algebra. As a cororally, we see that the
orbifold loop product is a nontrivial orbifold invariant.
Jonathan Campbell – Topological Hochschild Homology and Fixed Point Invariants
Fixed point theorists have an array of invariants for determining if a selfmap is homotopic to one without fixed points – most are elaborations of the classical Lefschetz invariant. In this talk, I’ll discuss these invariants and show that they arise very naturally from topological Hochschild homology. Furthermore, the invariants are in the image on components of the cyclotomic trace from Ktheory to THH. This suggests higher Ktheory and THH as homes for more refined fixedpoint data. In order to make the talk accessible I’ll define the objects involved – a knowledge of the stable homotopy category is the only prerequisite. This is joint work with Kate Ponto.
Jonathan Campbell – KTheory and Polytopes
In this talk I’ll describe joint work in progress with Inna Zakharevich to understand the relationship between algebraic Ktheory and the scissors congruence problem. I’ll define both algebraic Ktheory and the scissors congruence problem, and then describe various ways of using the former to attack the latter. And possible ways that the latter can shed light on the former.
Mona Merling – Toward the equivariant stable parametrized hcobordism theorem
Waldhausen’s introduction of Atheory of spaces revolutionized the early study of pseudoisotopy theory. Waldhausen proved that the Atheory of a manifold splits as its suspension spectrum and a factor Wh(M) whose first delooping is the space of stable hcobordisms, and its second delooping is the space of stable pseudoisotopies. I will describe a joint project with C. Malkiewich aimed at telling the equivariant story if one starts with a manifold M with group action by a finite group G.
Anna Marie Bohmann – Tools for understanding topological coHochschild homology
Hochschild homology is a classical invariant of algebras. A “topological” version, called THH, has important connections to algebraic Ktheory, Waldhausen’s Atheory, and free loop spaces. For coalgebras, there is a dual invariant called “coHochschild homology” and Hess and Shipley have recently defined a topological version called “coTHH,” which also has connections to Ktheory, Atheory and free loops spaces. In this talk, I’ll talk about coTHH (and THH) are defined and then discuss work with Gerhardt, Hogenhaven, Shipley and Ziegenhagen in which we develop some computational tools for approaching coTHH.
Inbar Klang – Thom spectra and CalabiYau algebras
I’ll briefly introduce topological field theories, along with some examples of 2dimensional ones. I’ll discuss how 2dimensional TFTs are related to CalabiYau algebras, which are algebras that satisfy a certain dualizability condition. Then I will talk about joint work with Ralph Cohen, in which we defined and studied a spectrumlevel generalization of the CalabiYau condition, as well as its relation to field theories and to symplectic geometry.
Cary Malkiewich – Periodic orbits and topological restriction homology
I will talk about a project to import trace methods, usually reserved for algebraic Ktheory computations, into the study of periodic orbits of continuous dynamical systems (and viceversa). Our main result so far is that a certain fixedpoint invariant built using equivariant spectra can be “unwound” into a more classical invariant that detects periodic orbits. As a simple consequence, periodicpoint problems (i.e. finding a homotopy of a continuous map that removes its nperiodic orbits) can be reduced to equivariant fixedpoint problems. This answers a conjecture of Klein and Williams, and allows us to interpret their invariant as a class in topological restriction homology (TR), coinciding with a class defined earlier in the thesis of Iwashita and separately by Luck. This is joint work with Kate Ponto.
Arpon Raksit – Hochschild homology and the de Rham complex, revisited
I will describe a conceptual perspective on the story relating Hochschild homology and the algebraic de Rham complex in the setting of commutative rings. A bonus of this perspective is that it supplies a variant of the story in the setting of Einfinity algebras over the integers. The rough idea is as follows: by considering certain types of structure in higher algebra, we may give universal properties to the derived de Rham complex and the HochschildKostantRosenberg filtration on Hochschild homology (and their analogues for Einfinity algebras); these objects are then related directly by these universal properties.
Calista Bernard – Power operations on homology with twisted coefficients
The structure of an E_n algebra on a space X gives rise to power operations on the homology of X generated by the socalled DyerLashofKudoAraki operations and a Browder bracket. This proves very useful for calculations; however, these operations are only defined for ordinary mod p homology, and in many instances, it is desirable to have an analogue of these operations for homology with twisted coefficients. In this talk I will give an overview of these operations for untwisted mod p homology, followed by a description of ongoing work constructing similar operations on the homology of E_2 algebras with certain twisted coefficient systems.
Martina Rovelli – Prederivators as a model of (∞,1)categories
By theorems of Carlson and Renaudin, the theory of (∞,1)categories embeds in that of prederivators. We present two approaches to address the inverse problem: understanding which prederivators model (∞,1)categories. First, we put a model structure on the category of prederivators that is Quillen equivalent to the Joyal model structure for quasicategories. Second, we give an intrinsic description of which prederivators arise on the nose as prederivators associated to quasicategories. This is joint work with D. FuentesKeuthan and M. Kędziorek.
Ismar Volic – Cohomology of braids, graph complexes, and configuration space integrals
In this talk, I will explain how three integration techniques for producing cohomology — Chen integrals for loop spaces, BottTaubes integrals for knots and links, and Kontsevich integrals for configuration spaces — come together in the computation of the cohomology of spaces of braids. The relationship between various integrals is encoded by certain graph complexes. I will also talk about the generalizations to other spaces of maps into configuration spaces (of which braids are an example), and this will lead to connections to spaces of link maps and, from there, to manifold caclulus of functors. This is joint work with Rafal Komendarczyk and Robin Koytcheff.
Joachim Kock – Infinityoperads as polynomial monads
I’ll present a new model for ∞operads, namely as analytic monads. In the ∞world (unlike what happens in the classical case), analytic functors are polynomial, and therefore the theory can be developed within the setting of polynomial functors. I’ll talk about some of the features of this theory, and explain a nerve theorem, which implies that the ∞category of analytic monads is equivalent to the ∞category of dendroidal Segal spaces of Cisinski and Moerdijk, one of the known equivalent models for ∞operads. This is joint work with David Gepner and Rune Haugseng.
Nima Rasekh – An Axiomatic Approach to Algebraic Topology
An elementary higher topos is a higher category that is defined using only elementary conditions, yet behaves similar to the category of spaces. The goal of this talk is to illustrate this connection by proving classical results from algebraic topology in this abstract setting. Concretely, we will use the fact that it satisfies descent, which a kind of a localtoglobal condition, to construct natural number objects. This allows us to use inductive arguments. Using induction, we will then construct truncations and show that we can also prove the BlakersMassey theorem.
Sune Precht Reeh – Partial categories and directed path spaces — a proposed construction of orbit categories for plocal finite groups
Magdalena Kedziorek – Homotopical Galois extensions of E_\infty algebras
Lauren Bandklayder – A new approach to the DoldThom theorem
The DoldThom theorem is a classical result in algebraic topology giving isomorphisms between the homology groups of a space and the homotopy groups of its infinite symmetric product. The goal of this talk is to outline a new proof of this theorem, which is direct and geometric in nature. The heart of this proof is a hypercover argument which identifies the infinite symmetric product as an instance of factorization homology.
Melvin Vaupel – Field theories in synthetic differential geometry
First I will review the construction of the Cahiers topos and explain why it is a well adapted model for synthetic differential geometry. The Cahiers topos is a sheaf topos on the category of generalized smooth spaces with a certain Grothendieck topology.
Next I will explain how the Cahiers topos can be used to formulate scalar field theories in synthetic differential geometry.
To handle the gauge transformations of YangMills theory it is more natural to work with (pre)sheaves of generalized smooth spaces that take values in Grpd rather than in Set. We are interested in the stacks of this presheaf category. Hollander identified them as the fibrant objects with respect to a certain localized model structure. I will sketch how these stacks of generalized smooth spaces might be used to formulate YangMills theory in synthetic differential geometry.
Markus Hausmann – Chromatic Smith theory
Let X be a finite complex equipped with an action of a finite group G. Classical Smith theory studies the relationship between the mod p homology of X and the mod p homology of the fixed point space X^G. In this talk I will describe a variant of this theory where mod p homology is replaced by other generalized homology theories. In particular I will discuss a relationship between the chromatic types of X and X^G, and how this is related to chromatic blueshift of Tate constructions, partition complexes and the Balmer spectrum of finite Gspectra.
Brenda Johnson – An Introduction to Functor Calculus
There are many kinds of functor calculi that have been developed to study functors in a wide range of algebraic and topological contexts. In this talk I will focus on three examples of functor calculi – the calculus of homotopy functors, manifold calculus, and abelian functor calculus – and discuss how they are defined, the properties they have in common, and how they capture certain features of polynomial functions and Taylor series from undergraduate calculus. As the title suggests, this will be an introductory talk setting up subsequent talks on work arising from these calculi.
Mingcong Zeng – Real cobordism, its norm and the dual Steenrod algebra
The real cobordism spectrum MU_R and its norms play a central role in the proof of the nonexistence of classes of Kervaire invariant one by Hill, Hopkins and Ravenel. However, these spectra are still very mysterious and their equivariant homotopy groups are difficult to compute.
In this talk I will focus on the norm of real cobordism into C_4, and draw a connection between it and the dual Steenrod algebra spectrum HF_2 \smash HF_2 with C_2action by conjugation. Then I will discuss how computations on both sides help each other.
This is joint work with Lennart Meier.
Christian Ausoni – TBA
TBA
Kate Ponto – TBA
TBA
Lyne Moser – TBA
TBA