Topology Seminar
The Topology Seminar has talks on a variety of topics in topology, including algebraic geometry, chromatic homotopy theory, configuration spaces, continuum theory, functor calculus, graph cohomology, homotopical algebra, Nielsen fixedpoint theory, operads, simplicial sets, spaces of knots and links, span theory, and topological groups.
For more information contact Daniel Davis.
Spring 2020
For the Spring 2020 semester we will meet 1:00  2:00 on Fridays in 208 Maxim Doucet Hall.

31 January 2020
PreTalbot Seminar I: an example of ambidexterity in chromatic homotopy theory
Daniel Davis
Abstract: In unpublished and transformative work, Hopkins and Lurie developed and studied a phenomenon known as ambidexterity (expressed in the framework of infinitycategories): when ambidexterity occurs, a certain limit of a diagram of a particular type of spectra is equivalent to a colimit of the same diagram. We will give an example of ambidexterity that was known before the work of HopkinsLurie, and time permitting, we will discuss a relationship of this kind of example to work in a paper in preparation by Thomas Credeur, Drew Heard, and Davis. 
7 February 2020
PreTalbot Seminar II: another (pre)example of ambidexterity and the theorem itself
Daniel Davis
Abstract: Last time, we gave a contemporary presentation of the main result of HoveySadofsky and an application of it in a paper of Behrens, which we generalized (just an exercise). In this talk, we give another application of it that is used in CredeurDavisHeard (in preparation) and we consider an interesting pattern that appears in a corollary of that work's main result. We present the ambidexterity theorem and possibly make some comments about BG and the simplicial replacement of a diagram of K(n)local spectra. 
14 February 2020
PreTalbot Seminar III: considering the finite group case of ambidexterity further
Daniel Davis
Abstract: Let K be a finite group and X a K(n)local spectrum upon which K acts. We review the "naive definition" of the morphism rho : BK \rightarrow Sp_{K(n)} that is associated to X. The speaker hasn't yet nailed down the exact content of the rest of the talk, but possible topics include using cosimplicial replacement to understand the homotopy fixed point spectrum, noting its relationship to BK, using simplicial replacement as a way to present the homotopy orbit spectrum, and noting relationships between these two replacements as a way of making this case of ambidexterity a little less mysterious.
Fall 2019
For the Fall 2019 semester we will meet 1:00  2:00 on Fridays in 208 Maxim Doucet Hall.
View the seminar scheduling calendar (ics calendar file).

20 September 2019
An introduction to factorization homology
Robin Koytcheff
Abstract: Factorization homology is a construction that takes a manifold and an E_nalgebra as an input and produces an algebraic object as output. The possible outputs include various structures in topology, algebra, and mathematical physics, such as the homology of a space, the Hochschild homology of an algebra, and certain observables in a TQFT. The construction essentially encodes global phenomena that can be built out of local ones. In this talk, I will explain what an E_nalgebra is and discuss some examples of factorization homology. 
27 September 2019
Group Actions and Cogroup Coactions in ∞topoi
Jonathan Beardsley
Georgia Institute of Technology
Abstract: In this talk, I will describe joint work with Maximilien Péroux on understanding Koszul duality in ∞topoi. An ∞topos is a particularly well behaved higher category that behaves like the category of compactly generated spaces. Particularly interesting examples of ∞topoi are categories of simplicial sheaves on Grothendieck topologies. The main theorem of this work is that given a group object G of an ∞topos, there is an equivalence of categories between the category of Gmodules in that topos and the category of BGcomodules, where BG is the classifying object for Gtorsors. In particular, given any pointed space X, the space of loops on X, denoted ΩX, can be lifted to a group object of any ∞topos, so if X is in addition a connected space, there is an equivalence between objects of any ∞topos with an ΩXaction, and objects with an Xcoaction (where X is a coalgebra via the usual diagonal map). This is a generalization of the classical equivalence between Gspaces and spaces over BG for G a topological group. 
11 October 2019
Learning Seminar: Factorization homology 
18 October 2019
Learning Seminar: Factorization homology 
25 October 2019 (ROOM CHANGE Maxim Doucet Hall room 311)
Broken techniques for disappearing things
Hiro Lee Tanaka
Texas State University
Abstract: I will discuss stacks classifying families of broken lines and broken cycles. These stacks give new ways to organize algebraic structures, and have enticing applications to symplectic geometry. For example, in joint work with Jacob Lurie, we've shown that families of broken lines classify nonunital A_∞ structures while giving a clear pathway to enrich Lagrangian Floer theory over spectra (which are more powerful invariants than chain complexes). 
1 November 2019
An introduction to left Kan extensions
Daniel Davis
Abstract: Factorization homology can be defined as the left adjoint to a particular functor between "structured functor categories." This left adjoint is obtained by forming the "operadic left Kan extension." This is a "structured" version of the higher categorical left Kan extension, which is an extension of classical left Kan extensions, which are the 1categorical gadgets that we study in this talk. 
8 November 2019
Examples of left Kan extensions, a model for them, and right Kan extensions
Daniel Davis
Abstract: We unpack the title a little further: under hypotheses that are often satisfied, we give a colimit that yields the left Kan extension. Also, we briefly note the adjunction that can be viewed as the definition of right Kan extensions and, time permitting, we will present a few other facts about these gadgets. 
15 November 2019
An isovariant Elmendorf's theorem
Sarah Yeakel
MSRI / UC Riverside
Abstract: An isovariant map is an equivariant map which preserves isotropy groups. Isovariant maps show up in equivariant surgery theory and in other settings when homotopy theory is applied to geometry. For a finite group G, we will discuss a cofibrantly generated model structure on the category of Gspaces with isovariant maps, along with an isovariant version of Elmendorf's theorem and possible applications to questions in fixed point theory. 
22 November 2019
Learning Seminar: Factorization homology 
6 December 2019
Learning Seminar: Factorization homology
Spring 2019
For the Spring 2019 semester we will meet 1:00  2:00 on Fridays in 208 Maxim Doucet Hall.

25 January 2019
Connectivity and growth in the homology of graph braid groups
Ben Knudsen
Harvard University
Abstract: I will discuss recent work with An and DrummondCole showing that the homology of configuration spaces of graphs exhibits eventual polynomial growth, an analogue of classical homological and representation stability results for manifolds. We compute the degree of this polynomial in terms of an elementary connectivity invariant, in particular verifying an upper bound conjectured by Ramos. Along the way, we uncover a new “edge stabilization” mechanism and a family of spectral sequences arising from a small chain model first introduced by Swiatkowski. 
1 February 2019 (TIME CHANGE 1:302:30)
The Taylor tower for the space of knots and additive finitetype knot invariants
Robin Koytcheff
UL Lafayette
Abstract: Any space of embeddings has a sequence of Taylor approximations which comes from Goodwillie–Weiss functor calculus. In joint work with Budney, Conant, and Sinha, we studied this Taylor tower for the space of long knots in 3space and showed that it is an additive finitetype (a.k.a. Vassiliev) invariant. Our result suggests that the tower could be a universal finitetype invariant over the integers. We will discuss a multiplicative structure on the tower which is compatible with stacking long knots and which was a key ingredient in our work. 
7 February 2019
Manifold calculus of functors
Paul Arnaud Songhafouo Tsopméné
University of Regina
Abstract: Manifold calculus, due to Goodwillie and Weiss, goes back to around 1999. It is concerned with the study of functors from the poset O(M) of open subsets of a manifold M to the category of topological spaces. Manifold calculus has been used by many authors to understand the topology of a variety of embedding spaces. This talk will go over three things. First I will explain the concept of manifold calculus by highlighting some analogies with the ordinary calculus. Next I will present a combinatorial model for manifold calculus. Lastly, if time permits, I will say few words about the classification of homogeneous functors from O(M) into any (simplicial) model category. 
15 February 2019
Configuration spaces as weak operads, II
Philip Hackney
UL Lafayette
Abstract: Last October, Robin Koytcheff showed us how one can compactify configuration spaces to yield an E_n operad. The goal of this talk (which is based on arXiv:1707.05027) is to explain how configuration spaces can be considered directly as (a part of) an "operad uptohomotopy." 
22 February 2019
Manifold calculus of functors for rimmersions
Ismar Volić
Wellesley College
Abstract: Manifold calculus of functors can be used for studying spaces of embeddings, including spaces of rimmersions, which are immersions where no more than r – 1 points are allowed to equal (embeddings are thus 2immersions). I will give some background on manifold calculus of functors and then present some recent work on understanding the manifold calculus Taylor tower that approximates the space of rimmersions. Manifold calculus in this context supplies interesting connections to combinatorial topology, such as the structure of certain subspace arrangements as well as Tverberglike problems, so some time will be devoted to these topics. This is joint work with Franjo Šarčević. 
8 March 2019
Configuration spaces as weak operads, III
Philip Hackney
UL Lafayette
Abstract: The goal of this talk is to explain how configuration spaces can be considered directly as (a part of) an "operad uptohomotopy." 
22 March 2019
Spaces of diffeomorphisms and spaces of knots
Robin Koytcheff
UL Lafayette
Abstract: I will discuss results on spaces of diffeomorphisms of lowdimensional manifolds and how these can be used to deduce results about spaces of knots. 
29 March 2019
Spaces of diffeomorphisms and spaces of knots, part II
Robin Koytcheff
UL Lafayette
Abstract: Last week, I surveyed results on diffeomorphisms of disks and spheres, and I explained how the (3dimensional) Smale Conjecture shows that the space of long unknots is contractible. This week, I will discuss how it can be used to calculate homotopy types of spaces of some more interesting knots. 
26 April 2019
A Model For S^{g}
Thomas Credeur
UL Lafayette
Abstract: For a fixed prime p, it is well known that the K(n)local SpanierWhitehead dual of the nth Morava Etheory, E_n, is equivalent to the n^2 suspension of E_n. This equivalence is equivariant with respect to the action of the Morava stabilizer group in the homotopy category, but is not equivariant at the pointset level. More recent work of Beaudry, Goerss, Hopkins, and Stojanoska has introduced a "dualizing spectrum" S^{g}, which has the property that the K(n)local dual of E_n is equivariantly equivalent to S^{g} \wedge E_n. In this talk we give a model for the spectrum S^{g}, and show that the smash product of E_n with this model is equivalent to the n^2 suspension of E_n.
Fall 2018
For the Fall 2018 semester we will meet 1:00  2:00 on Fridays in 208 Maxim Doucet Hall.

31 August 2018
A complete definition of E_\infty ring spaces, pt. I: E_\infty spaces
Daniel Davis 
14 September 2018
A complete definition of E_\infty ring space, pt. II
Daniel Davis 
21 September 2018
Spaces over operad pairs and the special case of E_\infty ring spaces
Daniel Davis 
28 September 2018
Spaces over operad pairs: the final leg in their definition and a few examples
Daniel Davis
Abstract: Building on the three previous talks, we give the definition of a space over an operad pair, which enables us to complete the definition of an E_\infty ring space. Then we give several examples of operad pairs and what algebraic structures on spaces these yield. Time permitting, the next goal is to understand how symmetric bimonoidal categories give E_\infty ring spaces in a canonical way. 
12 October 2018
The state of the art on a few problems in chromatic homotopy theory
Daniel Davis 
26 October 2018
Manifoldtheoretic E_n operads
Robin Koytcheff
Abstract: An E_n operad is an operad equivalent to the little ndisks operad. I will begin by recalling the definition of the little disks operad. The Fulton—Macpherson operad and Kontsevich operad are two E_n operads, both of which can be defined via a manifoldtheoretic compactification of the configuration space of points in ndimensional space. I will discuss this compactification, the operad structure maps, and some applications. 
2 November 2018
Homotopy theory of algebras over operads
Dmitri Pavlov
Texas Tech University
Abstract: Suppose O is an operad in simplicial sets, chain complexes, motivic spectra, etc. Consider the category Alg_O of algebras over this operad equipped with degreewise weak equivalences. We are interested in the following questions:
1) Under what conditions on O does Alg_O present the "homotopically correct" category of algebras over an operad (e.g., in the sense of \inftycategories)?
2) Under what conditions on O does Alg_O possess a model structure?
3) Under what conditions on O and O' does a weak equivalence $O \to O'$ induce a Quillen equivalence $Alg_O \to Alg_O'$?
We provide a complete answer to 1) and 3) in terms of an ifandonlyif criterion that is easy to verify in practice, and we also give a sufficient condition for 2) that is applicable to all known practical examples. Our criteria work in abstract monoidal model categories, such as simplicial sets, chain complexes, motivic spectra, topological spaces, and many others. Our work espouses the yoga of "synthetic" model category theory, which postulates that model structures and their properties can be most easily established inductively by tracing the construction of the category under consideration stepbystep, as opposed to constructing model structures directly in one step.
The above is joint work with Jakob Scholbach (Muenster). If time permits, I will also discuss the case of coalgebras over operads, as well as Leinsterstyle homotopy algebras over operads. 
9 November 2018
Configuration spaces as weak operads
Philip Hackney
Abstract: Two weeks ago, Robin Koytcheff told us one can compactify configuration spaces to yield an E_n operad. In this talk, I'll explain how configuration spaces can be considered directly as (a part of) an "operad uptohomotopy." The beginning of the talk will be a brief introduction to the dendroidal objects of Moerdijk & Weiss. This talk is based on arXiv:1707.05027. 
16 November 2018
Cellular E_2algebras and the unstable homology of mapping class groups
Alexander Kupers
Harvard University
Abstract: We discuss joint work with Soren Galatius and Oscar RandalWilliams on the application of higheralgebraic techniques to classical questions about the homology of mapping class groups. This uses a new "multiplicative" approach to homological stability  in contrast to the "additive" one due to Quillen  which has the advantage of providing information outside of the stable range. 
30 November 2018
Transfer Maps and a Perfect Pairing of Spectra
Thomas Credeur
Abstract:Let G be a profinite group. Given any discrete Gspectrum X and a closed subgroup K of G, one can form the homotopy fixed point spectrum X^{hK}. Given an open subgroup K of G and an open subgroup H of K, there is a "wrong way" map in the stable homotopy category, the transfer map from X^{hH} to X^{hK}. Using these maps we can construct a transfer map from E_n^{hU} to E_n^{hG_n}, where G_n is the Morava stabilizer group and E_n is a LubinTate spectrum. The transfer maps can then be used to construct a perfect pairing in the homotopy category. As a consequence of this perfect pairing, we will see that E_n^{hU} is self dual. 
14 December 2018
Special meeting: 2:15  3:45 (talk proper: 2:453:45)
Dependent paths in homotopy type theory
Jonathan Steven Prieto Cubides
Informatics PhD student
University of Bergen (Norway)
Abstract: We introduce some basic notions about HoTT to talk about dependent paths. We show a joint work with Marc Bezem that gives us two proofs about the geometrical intuition in HoTT behind the dependent paths, also called pathovers, which has been only mentioned but not proved before. We typecheck in Agda the proofs and show some lemmas for the second one that makes a shorter proof.
Spring 2018
For the Spring 2018 semester we will meet at 1:00 on Fridays in 208 Maxim Doucet Hall.

26 January 2018
Graph complexes, formality, and configuration space integrals for spaces of braids, part I
Robin Koytcheff
Abstract: This series of talks will culminate in a report on recent work joint with Komendarczyk and Volic, where we connect two integrationbased approaches to the cohomology of spaces of braids. This first part will include an introduction to the configuration space of distinct points in Euclidean space, as well as the related braid groups. I will discuss the basic algebraic topology of these configuration spaces and some of the underlying geometric intuition. 
2 February 2018
Graph complexes, formality, and configuration space integrals for spaces of braids, part II
Robin Koytcheff 
16 February 2018
Graph complexes, formality, and configuration space integrals for spaces of braids, part III
Robin Koytcheff 
23 February 2018 (1:302:30 TIME CHANGE)
Graph complexes, formality, and configuration space integrals for spaces of braids, part IV
Robin Koytcheff
Abstract: I will continue to talk about cohomology of the space of loops in a space X, in terms of the bar construction on the cochains (or cohomology) of X. I will briefly discuss the notion of a Koszul algebra, as well as Chen’s iterated integrals for the case where X is a manifold. If time permits, I will begin discussing configuration space integrals and related cochain complexes of graphs. 
16 March 2018
Graph complexes, formality, and configuration space integrals for spaces of braids, part V
Robin Koytcheff
Abstract: I will define Chen’s iterated integrals, which are a way of realizing the cohomology of the loop space of a manifold via differential forms. I will also discuss configuration space integrals. One variant of these was used to prove the formality (over the rationals) of configuration spaces. Another variant produces cohomology classes in spaces of knots and links. In joint work with Volic and Komendarczyk, we establish a relationship involving these three types of integrals. 
23 March 2018
Homotopy fixed points for trivial group actions
Daniel Davis 
19 April 2018
GoodwillieWeiss manifold calculus
Victor Turchin
Kansas State
Abstract: The goal of this talk is to explain a bit more deeply an approach to studying embedding spaces which will be briefly mentioned in the Colloquium talk and which is called GoodwillieWeiss calculus of functors. 
27 April 2018
Another homotopy theory: the category of complete Segal spaces
Daniel Davis
Fall 2017
For the Fall 2017 semester we will meet at 1:00 on Fridays in 208 Maxim Doucet Hall.

8 September 2017
An introduction to the GoerssHopkins Linearization Hypothesis and a connection to continuous Gspectra.
Daniel Davis 
15 September 2017
More about the GoerssHopkins Linearization Hypothesis and a connection to continuous Gspectra.
Daniel Davis 
22 September 2017
The GoerssHopkins Linearization Hypothesis and continuous Gspectra, part 3.
Daniel Davis 
29 September 2017
The GoerssHopkins Linearization Hypothesis and continuous Gspectra, part 4.
Daniel Davis 
13 October 2017
The GoerssHopkins Linearization Hypothesis and continuous Gspectra, part 5.
Daniel Davis 
20 October 2017
Finitetype invariants of knots, links, and string links
Robin Koytcheff
Abstract: Finitetype knot invariants (a.k.a. Vassiliev invariants) are an important class of invariants in that they conjecturally approximate all knot invariants and hence separate knots. They may also be defined for (closed) links and string links, and they are known to separate string links up to link homotopy. In other words, they are a complete invariant of string links where each component may pass through itself. This parallels (and is related to) a story about the kappa invariant, which conjecturally separates closed links up to link homotopy. In joint work with F. Cohen, Komendarczyk, and Shonkwiler, we showed that the kappa invariant separates string links up to link homotopy. In this talk, we will focus on the elementary, purely combinatorial description of finitetype invariants. 
27 October 2017
Homotopy string links, configuration spaces, and the kappa invariant
Robin Koytcheff
Abstract: A link is an embedding of disjoint circles in space. A link homotopy is a path between two links where distinct components may not pass through each other, but where a component may pass through itself. In the 1990s, Koschorke conjectured that link homotopy classes of ncomponent links are distinguished by the kappa invariant. This invariant is essentially the map that a link induces on configuration spaces of n points. In joint work with F. Cohen, Komendarczyk, and Shonkwiler, we proved an analogue of this conjecture for string links. A key ingredient is a multiplication on maps of configuration spaces, akin to concatenation of loops in a space. This approach is related to recent joint work with Budney, Conant, and Sinha on finitetype knot invariants and the Taylor tower for the space of knots. 
17 November 2017
The Simplicial Model Category Structure on Symmetric Spectra
Thomas Credeur 
1 December 2017
Symmetric Spectra and the Quillen Equivalence with BousfieldFriedlander Spectra
Thomas Credeur
Spring 2017
For the Spring 2017 semester we will meet at 1:00 on Fridays in 208 Maxim Doucet Hall.

27 January 2017
Genuine equivariant operads
Luis Pereira
University of Virginia
Abstract: A fundamental result in equivariant homotopy theory due to Elmendorf states that the homotopy theory of $G$spaces, with w.e.s measured on all fixed points, is Quillen equivalent to the homotopy theory of $G$coefficient systems in spaces, with w.e.s measured at each level of the system. Furthermore, Elmendorf's result is rather robust: suitable analogue results can be shown to hold for, among others, the categories of (topological) categories and operads. However, it has been known for some time that in the $G$operad case such a result does not capture the "correct" notion of weak equivalence, a fact made particularly clear in recent work of Blumberg and Hill discussing a whole lattice of "commutative operads with only some norms" that are not distinguished at all by the notion of w.e. suggested above. In this talk I will talk about one piece of a current joint project with Peter Bonventre which aims at providing a more diagrammatic understanding of Blumberg and Hill's work using a notion of $G$trees, which are a somewhat subtle generalization of the trees of CisinskiMoerdijkWeiss. More specifically, I will describe a new algebraic structure, which we dub a "genuine equivariant operad", which naturally arises from the study of $G$trees and which we conjecture to be the analogue of coefficient systems in the "correct" analogue of Elmendorf's theorem for $G$operads. 
3 February 2017
No meeting 
10 February 2017
No meeting
Fall 2016
For the Fall 2016 semester we will meet at 1:00 on Fridays in 208 Maxim Doucet Hall.

16 September 2016
An introduction to infinitycategories and the example of small categories.
Daniel Davis 
23 September 2016
Infinitycategories: more on the example of small categories and infinitycategorical versions of basic categorytheoretic notions.
Daniel Davis 
30 September 2016
Some examples of infinitycategorical concepts that build on categorytheoretic notions.
Daniel Davis 
14 October 2016
The notions of join and overcategory in the setting of infinitycategories.
Daniel Davis 
21 October 2016
Simplicial nerves and the homotopy category of an infinitycategory.
Daniel Davis 
28 October 2016
The homotopy category of an infinitycategory and a nicer formulation of it.
Daniel Davis 
4 November 2016
Given an \inftycategory C, there is an isomorphism h(C) \to \pi(C) of categories.
Daniel Davis 
11 November 2016
Given an \inftycategory C, more on the category \pi(C), and equivalences in C.
Daniel Davis
Topology Seminar Archive
 Spring 2016 archive
 Fall 2015 archive
 Spring 2015 archive
 Fall 2014 archive
 Spring 2014 archive
 Fall 2013 archive
 Spring 2013 archive
 Fall 2012 archive
 Spring 2012 archive
 Fall 2011 archive
 Spring 2011 archive
 Fall 2010 archive
 Spring 2010 archive
 Fall 2009 archive
 Spring 2009 archive
 Fall 2008 archive
 Spring 2008 archive