Videos and presentation materials from other INI events are also available.
Event | When | Speaker | Title | Presentation Material |
---|---|---|---|---|
HHHW01 |
2nd July 2018 10:00 to 11:00 |
Emily Riehl |
The model-independent theory of (∞,1)-categories (1)
Co-author: Dominic Verity (Macquarie University) In these talks we use the nickname "∞-category" to refer to either a quasi-category, a complete Segal space, a Segal category, or 1-complicial set (aka a naturally marked quasi-category) - these terms referring to Quillen equivalent models of (∞,1)-categories, these being weak infinite-dimensional categories with all morphisms above dimension 1 weakly invertible. Each of these models has accompanying notions of ∞-functor, and ∞-natural transformation and these assemble into a strict 2-category like that of (strict 1-)categories, functors, and natural transformations. In the first talk, we'll use standard 2-categorical techniques to define adjunctions and equivalences between ∞-categories and limits and colimits inside an ∞-category and prove that these notions relate in the expected ways: eg that right adjoints preserve limits. All of this is done in the aforementioned 2-category of ∞-categories, ∞-functors, and ∞-natural transformations. In the 2-category of quasi-categories our definitions recover the standard ones of Joyal/Lurie though they are given here in a "synthetic" rather than their usual "analytic" form. In the second talk, we'll justify the framework introduced in the first talk by giving an explicit construction of these 2-categories. This makes use of an axiomatization of the properties common to the Joyal, Rezk, Bergner/Pellissier, and Verity/Lurie model structures as something we call an ∞-cosmos. In the third talk, we'll encode the universal properties of adjunction and of limits and colimits as equivalences of comma ∞-categories. We also introduce co/cartesian fibrations in both one-sided and two-sided variants, the latter of which are used to define "modules" between ∞-categories, of which comma ∞-categories are the prototypical example. In the fourth talk, we'll prove that theory being developed isn’t just "model-agnostic” (in the sense of applying equally to the four models mentioned above) but invariant under change-of-model functors. As we explain, it follows that even the "analytically-proven" theorems that exploit the combinatorics of one particular model remain valid in the other biequivalent models. Related Links
|
![]() |
HHHW01 |
2nd July 2018 11:30 to 12:30 |
Thomas Nikolaus | Higher categories and algebraic K-theory (1) |
![]() |
HHHW01 |
2nd July 2018 13:30 to 14:30 |
Tobias Dyckerhoff | Higher Segal spaces (1) |
![]() |
HHHW01 |
2nd July 2018 14:30 to 15:30 |
John Francis | Factorization homology (1) |
![]() |
HHHW01 |
2nd July 2018 16:00 to 17:00 |
Sarah Yeakel |
Isovariant homotopy theory
An isovariant map between G-spaces is an equivariant map which preserves isotropy groups. Isovariant homotopy theory appears in situations where homotopy is applied to geometric problems, for example, in surgery theory. We will describe some new results in isovariant homotopy theory, including two model structures and an application to intersection theory. This is work in progress, based on conversations with Cary Malkiewich, Mona Merling, and Kate Ponto.
|
![]() |
HHHW01 |
3rd July 2018 10:00 to 11:00 |
Emily Riehl |
The model-independent theory of (∞,1)-categories (2)
Co-author: Dominic Verity (Macquarie University) In these talks we use the nickname "∞-category" to refer to either a quasi-category, a complete Segal space, a Segal category, or 1-complicial set (aka a naturally marked quasi-category) - these terms referring to Quillen equivalent models of (∞,1)-categories, these being weak infinite-dimensional categories with all morphisms above dimension 1 weakly invertible. Each of these models has accompanying notions of ∞-functor, and ∞-natural transformation and these assemble into a strict 2-category like that of (strict 1-)categories, functors, and natural transformations. In the first talk, we'll use standard 2-categorical techniques to define adjunctions and equivalences between ∞-categories and limits and colimits inside an ∞-category and prove that these notions relate in the expected ways: eg that right adjoints preserve limits. All of this is done in the aforementioned 2-category of ∞-categories, ∞-functors, and ∞-natural transformations. In the 2-category of quasi-categories our definitions recover the standard ones of Joyal/Lurie though they are given here in a "synthetic" rather than their usual "analytic" form. In the second talk, we'll justify the framework introduced in the first talk by giving an explicit construction of these 2-categories. This makes use of an axiomatization of the properties common to the Joyal, Rezk, Bergner/Pellissier, and Verity/Lurie model structures as something we call an ∞-cosmos. In the third talk, we'll encode the universal properties of adjunction and of limits and colimits as equivalences of comma ∞-categories. We also introduce co/cartesian fibrations in both one-sided and two-sided variants, the latter of which are used to define "modules" between ∞-categories, of which comma ∞-categories are the prototypical example. In the fourth talk, we'll prove that theory being developed isn’t just "model-agnostic” (in the sense of applying equally to the four models mentioned above) but invariant under change-of-model functors. As we explain, it follows that even the "analytically-proven" theorems that exploit the combinatorics of one particular model remain valid in the other biequivalent models. Related Links
|
![]() |
HHHW01 |
3rd July 2018 11:30 to 12:30 |
Thomas Nikolaus | Higher categories and algebraic K-theory (2) |
![]() |
HHHW01 |
3rd July 2018 13:30 to 14:30 |
Tobias Dyckerhoff | Higher Segal spaces (2) |
![]() |
HHHW01 |
3rd July 2018 14:30 to 15:30 |
John Francis | Factorization homology (2) |
![]() |
HHHW01 |
3rd July 2018 16:00 to 17:00 |
Andrew Blumberg |
Thirteen ways of looking at an equivariant stable category
Motivated both by new higher categorical foundations as well as the technology emerging from Hill-Hopkins-Ravenel, there has been a lot of recent work by various authors on formal characterizations of the equivariant stable category. In this talk, I will give an overview of this story, with focus on the perspective coming from the framework of N-infinity operads. In particular, I will describe incomplete stable categories of "O-spectra" associated to any N-infinity operad O as well as some indications of what we can say in the case when G is an infinite compact Lie group.
|
|
HHHW01 |
4th July 2018 10:00 to 11:00 |
Emily Riehl |
The model-independent theory of (∞,1)-categories (3)
Co-author: Dominic Verity (Macquarie University) In these talks we use the nickname "∞-category" to refer to either a quasi-category, a complete Segal space, a Segal category, or 1-complicial set (aka a naturally marked quasi-category) - these terms referring to Quillen equivalent models of (∞,1)-categories, these being weak infinite-dimensional categories with all morphisms above dimension 1 weakly invertible. Each of these models has accompanying notions of ∞-functor, and ∞-natural transformation and these assemble into a strict 2-category like that of (strict 1-)categories, functors, and natural transformations. In the first talk, we'll use standard 2-categorical techniques to define adjunctions and equivalences between ∞-categories and limits and colimits inside an ∞-category and prove that these notions relate in the expected ways: eg that right adjoints preserve limits. All of this is done in the aforementioned 2-category of ∞-categories, ∞-functors, and ∞-natural transformations. In the 2-category of quasi-categories our definitions recover the standard ones of Joyal/Lurie though they are given here in a "synthetic" rather than their usual "analytic" form. In the second talk, we'll justify the framework introduced in the first talk by giving an explicit construction of these 2-categories. This makes use of an axiomatization of the properties common to the Joyal, Rezk, Bergner/Pellissier, and Verity/Lurie model structures as something we call an ∞-cosmos. In the third talk, we'll encode the universal properties of adjunction and of limits and colimits as equivalences of comma ∞-categories. We also introduce co/cartesian fibrations in both one-sided and two-sided variants, the latter of which are used to define "modules" between ∞-categories, of which comma ∞-categories are the prototypical example. In the fourth talk, we'll prove that theory being developed isn’t just "model-agnostic” (in the sense of applying equally to the four models mentioned above) but invariant under change-of-model functors. As we explain, it follows that even the "analytically-proven" theorems that exploit the combinatorics of one particular model remain valid in the other biequivalent models. Related Links
|
![]() |
HHHW01 |
4th July 2018 11:30 to 12:30 |
Thomas Nikolaus | Higher categories and algebraic K-theory (3) |
![]() |
HHHW01 |
5th July 2018 10:00 to 11:00 |
Emily Riehl |
The model-independent theory of (∞,1)-categories (4)
Co-author: Dominic Verity (Macquarie University) In these talks we use the nickname "∞-category" to refer to either a quasi-category, a complete Segal space, a Segal category, or 1-complicial set (aka a naturally marked quasi-category) - these terms referring to Quillen equivalent models of (∞,1)-categories, these being weak infinite-dimensional categories with all morphisms above dimension 1 weakly invertible. Each of these models has accompanying notions of ∞-functor, and ∞-natural transformation and these assemble into a strict 2-category like that of (strict 1-)categories, functors, and natural transformations. In the first talk, we'll use standard 2-categorical techniques to define adjunctions and equivalences between ∞-categories and limits and colimits inside an ∞-category and prove that these notions relate in the expected ways: eg that right adjoints preserve limits. All of this is done in the aforementioned 2-category of ∞-categories, ∞-functors, and ∞-natural transformations. In the 2-category of quasi-categories our definitions recover the standard ones of Joyal/Lurie though they are given here in a "synthetic" rather than their usual "analytic" form. In the second talk, we'll justify the framework introduced in the first talk by giving an explicit construction of these 2-categories. This makes use of an axiomatization of the properties common to the Joyal, Rezk, Bergner/Pellissier, and Verity/Lurie model structures as something we call an ∞-cosmos. In the third talk, we'll encode the universal properties of adjunction and of limits and colimits as equivalences of comma ∞-categories. We also introduce co/cartesian fibrations in both one-sided and two-sided variants, the latter of which are used to define "modules" between ∞-categories, of which comma ∞-categories are the prototypical example. In the fourth talk, we'll prove that theory being developed isn’t just "model-agnostic” (in the sense of applying equally to the four models mentioned above) but invariant under change-of-model functors. As we explain, it follows that even the "analytically-proven" theorems that exploit the combinatorics of one particular model remain valid in the other biequivalent models. Related Links
|
![]() |
HHHW01 |
5th July 2018 11:30 to 12:30 |
Thomas Nikolaus | Higher categories and algebraic K-theory (4) |
![]() |
HHHW01 |
5th July 2018 13:30 to 14:30 |
Rune Haugseng |
Higher categories of higher categories
I will describe a construction of a higher category of enriched (infinity,n)-categories, and attempt to convince the audience that this is interesting.
|
![]() |
HHHW01 |
5th July 2018 14:30 to 15:30 |
Christopher Schommer-Pries |
The Relative Tangle Hypothesis
I will describe recent progress on a non-local variant of the cobordism hypothesis for higher categories of bordisms embedded into finite Euclidean spaces.
|
|
HHHW01 |
5th July 2018 16:00 to 17:00 |
Kathryn Hess |
A Künneth theorem for configuration spaces of products
Bill Dwyer, Ben Knudsen, and I recently constructed a model for the configuration space of a product of parallelizable manifolds in terms of the derived Boardman-Vogt tensor product of right modules over the operads of little cubes of the appropriate dimensions. In this talk, after recalling our earlier work, I will introduce a spectral sequence Ben and I have developed for computing the homology of this model.
|
![]() |
HHHW01 |
6th July 2018 10:00 to 11:00 |
Claudia Scheimbauer |
Dualizability in the higher Morita category
In this talk I will explain how one can use geometric arguments to obtain results on dualizablity in a ``factorization version’’ of the Morita category. We will relate our results to previous dualizability results (by Douglas-Schommer-Pries-Snyder and Brochier-Jordan-Snyder on Turaev-Viro and Reshetikin-Turaev theories). We will discuss applications of these dualiability results: one is to construct examples of low-dimensional field theories “relative” to their observables. An example will be given by Azumaya algebras, for example polynomial differential operators (Weyl algebra) in positive characteristic and its center. (This is joint work with Owen Gwilliam.)
|
![]() |
HHHW01 |
6th July 2018 11:30 to 12:30 |
Markus Spitzweck |
Hermitian K-theory for Waldhausen infinity categories with genuine duality
In the talk we will introduce the concept of an infinity category with genuine duality,
a refinement of the notion of a duality on an infinity category.
We will then define the infinity category of Waldhausen infinity categories with genuine
duality and study the hermitian/real K-theory functor on this category.
In particular we will state and indicate a proof of the Additivity theorem in this context.
This is joint work with Hadrian Heine and Paula Verdugo.
|
![]() |
HHH |
10th July 2018 14:00 to 15:00 |
Ben Knudsen | Connectivity and growth in the homology of graph braid groups |
![]() |
HHH |
10th July 2018 15:30 to 16:30 |
Tyler Lawson | Stable power operations | |
HHH |
12th July 2018 15:30 to 15:45 |
Paul Goerss | Approaches to chromatic splitting | |
HHH |
12th July 2018 15:45 to 16:00 |
John Greenlees | Sheaves over an elliptic curve and U(1)-spectra' | |
HHH |
12th July 2018 16:00 to 16:15 |
Lennart Meier | Splittings of tmf_1(n) | |
HHH |
12th July 2018 16:15 to 16:30 |
Stefan Schwede | Categories and orbispaces | |
HHH |
17th July 2018 14:00 to 15:00 |
Julie Bergner |
The Waldhausen S-construction as an equivalence of homotopy theories
The notion of unital 2-Segal space was defined independently
by Dyckerhoff-Kapranov and Galvez-Carrillo-Kock-Tonks as a generalization of a
category up to homotopy. The notion of unital 2-Segal space was defined
independently by Dyckerhoff-Kapranov and Galvez-Carrillo-Kock-Tonks as a
generalization of a category up to homotopy. A key example of both sets of
authors is that the output of applying Waldhausen's S-construction to an exact
category is a unital 2-Segal space. In joint work with Osorno, Ozornova,
Rovelli, and Scheimbauer, we expand the input of this construction to augmented
stable double Segal spaces and prove that it induces an equivalence on the
level of homotopy theories. Furthermore, we prove that exact categories and
their homotopical counterparts can be recovered as special cases of augmented
stable double Segal spaces.
|
![]() |
HHH |
17th July 2018 15:30 to 16:30 |
Bjorn Ian Dundas | The Geometric Diagonal |
![]() |
HHH |
19th July 2018 15:30 to 15:45 |
Jesper Grodal | Have you seen this homology class?? | |
HHH |
19th July 2018 15:45 to 16:00 |
Kathryn Lesh | Labeled complexes and homological stability | |
HHH |
19th July 2018 16:00 to 16:15 |
Michael Mandell | 1.3 Thoughts on N∞ Ring Spectra | |
HHH |
19th July 2018 16:15 to 16:30 |
Brooke Shipley | Commuting homology and homotopy inverse limits | |
HHH |
24th July 2018 14:00 to 15:00 |
Thomas Schick | Geometric models of twisted K-homology |
![]() |
HHH |
24th July 2018 15:30 to 16:30 |
Clark Barwick | Exodromy |
![]() |
HHH |
26th July 2018 15:30 to 15:45 |
Tobias Barthel | HHH Gong Show - On beyond Chouinard | |
HHH |
26th July 2018 15:45 to 16:00 |
Irina Bobkova | HHH Gong Show - Small Picard groups | |
HHH |
26th July 2018 16:00 to 16:15 |
Fabian Hebestreit | HHH Gong Show - Algebraic cobordism categories | |
HHH |
26th July 2018 16:15 to 16:30 |
Tomer Schlank | HHH Gong Show - Non-commutative rational spectra and marked configuration spaces | |
HHH |
31st July 2018 14:00 to 15:00 |
Clemens Berger |
Derived modular envelopes and moduli spaces of bordered Riemann surfaces
We study the derived modular envelope of several cyclic
operads. More specifically, using a cyclic W-construction as
cofibrant replacement we get a derived modular envelope (of
the cyclic operad of planar structures) which can be interpreted as a
ribbon graph model for the corresponding moduli space of
bordered Riemann surfaces. (Joint work with Ralph Kaufmann). |
![]() |
HHH |
31st July 2018 15:30 to 16:30 |
Gregory Arone |
Tree complexes and obstructions to embeddings.
Using the framework of the calculus of functors
(a combination of manifold and orthogonal calculus) we define a sequence of
obstructions for embedding a smooth manifold (or more generally a CW complex) M
in R^d. The first in the sequence is essentially Haefliger’s obstruction. The
second one was studied by Brian Munson. We interpret the n-th obstruction as a
cohomology of configurations of n points on M with coefficients in the homology
of a complex of trees with n leaves. The latter can be identified with the
cyclic Lie_n representation. When M is a union of circles, we conjecture that
our obstructions are closely related to Milnor invariants. When M is of
dimension 2 and d=4, we speculate that our obstructions are related to ones
constructed by Schneidermann and Teichner. This is very much work in progress. |
![]() |
HHH |
2nd August 2018 15:30 to 15:45 |
Agnes Beaudry | Linearize this! | |
HHH |
2nd August 2018 15:45 to 16:00 |
Joshua Hunt | Lifting endotrivial modules | |
HHH |
2nd August 2018 16:00 to 16:15 |
Magdalena Kedziorek | Galois extensions, a fairy tale | |
HHH |
2nd August 2018 16:15 to 16:30 |
Vesna Stojanoska | Dreamy Pics | |
HHH |
7th August 2018 14:00 to 15:00 |
Oscar Randal-Williams |
Cellular E_k-algebras and homological stability
I will explain recent joint work with S Galatius and A. Kupers in which we use the notion of cellular E_k-algebras and their derived indecomposables to study homological stability for things such as mapping class
groups, automorphism groups of free groups, or general linear groups. Using these tools also suggests new types of results in homological stability, such as a second-order form of stability. In this talk I will suppress the details specific to each case, and instead focus on the general calculational aspects of the homology of cellular E_k-algebras with few cells.
|
|
HHH |
7th August 2018 15:30 to 16:30 |
Nicholas Kuhn |
A tutorial on constructions of finite complexes with specified cohomology (after Steve Mitchell and Jeff Smith)
Central to the study of modern homotopy theory is the Periodicity Theorem of Mike Hopkins and Jeff Smith, which says that any type n finite complex admits a v_n self map. Their theorem follows from the Devanitz-Hopkins-Smith Nilpotence Theorem once one has constructed at least one example of v_n self map of a type n complex.
The construction of such an ur-example uses a construction due to Jeff Smith making use of the modular representation theory of the symmetric groups. This followed the first construction of a type n complex for all n by Steve Mitchell, which used the modular representation theory of the general linear groups over Z/p.
The fine points of the Smith construction are not in the only published source: Ravenel's write-up in his book on the Nilpotence Theorems. I'll discuss some of this, and illustrate the ideas with a construction of a spectrum whose mod 2 cohomology is free on one generator as a module over A(3), the 1024 dimensional subalgebra of the Steenrod algebra generated by Sq^1, Sq^2, Sq^4, and Sq^8.
|
|
HHH |
9th August 2018 15:30 to 15:45 |
Agnes Beaudry | Linearize this! | |
HHH |
9th August 2018 15:45 to 16:00 |
Hans-Werner Henn | Unexpected and confusing Pics | |
HHH |
9th August 2018 16:00 to 16:15 |
Gijs Heuts | A Whitehead theorem for periodic homotopy groups? | |
HHH |
9th August 2018 16:15 to 16:30 |
Dylan Wilson | Koszul to keep cool | |
HHH |
10th August 2018 14:00 to 15:00 |
Markus Land |
On the K-theory of pullbacks
In this talk I will report on joint work with Georg Tamme
about excision results in K-theory and related invariants.
We show that, associated to any pullback square of E_1
ring spectra, there is an associated pullback diagram of K-theory spectra in
which one of the corners is the K-theory of a new E_1 ring canonically
associated to the original pullback diagram.
I will explain the main ingredients for the proof and
then concentrate on simple consequences of this theorem.
These include Suslin’s results on excision (for
Tor-unital ideals) and the fact that (what we call) truncating invariants
satisfy excision, nil invariance and cdh descent. If time permits I will also
discuss how to deduce that in certain cases (bi)relative K-groups are torsion
groups of bounded exponent, improving results of Geisser—Hesselholt.
|
![]() |
HHHW02 |
13th August 2018 10:00 to 11:00 |
Daniel Dugger |
Surfaces with involutions
I will talk about the classification of surfaces with involution, together with remarks on the RO(Z/2)-graded Bredon cohomology of these objects.
|
![]() |
HHHW02 |
13th August 2018 11:30 to 12:30 |
Jeremiah Heller | A motivic Segal conjecture | |
HHHW02 |
13th August 2018 14:30 to 15:30 |
Agnes Beaudry |
Pic(E-Z/4) and Tools to Compute It
In this talk, we describe tools to compute the Picard group of the category of E-G-module spectra where E is Morava E-theory at n=p=2 and G is a finite cyclic subgroup of the Morava stabilizer of order 4. We discuss two tools: 1) A group homomorphism from RO(G) to Pic(E-G) and methods for computing it. 2) The Picard Spectral sequence and some of its equivariant properties.
This work is joint with Irina Bobkova, Mike Hill and Vesna Stojanoska
|
|
HHHW02 |
13th August 2018 16:00 to 17:00 |
Clark Barwick |
Exodromy and endodromy
On the étale homotopy type of a scheme, there is a natural stratification. We describe both it and its dual, and we discuss some of the ramification information it captures. Joint work with Saul Glasman, Peter Haine, Tomer Schlank.
|
![]() |
HHHW02 |
14th August 2018 09:00 to 10:00 |
Marc Levine |
Quadratic Welschinger invariants
This is report on part of a program to give refinements of numerical invariants arising in enumerative geometry to invariants living in the Grothendieck-Witt ring over the base-field. Here we define an invariant in the Grothendieck-Witt ring for ``counting'' rational curves. More precisely, for a del Pezzo surface S over a field k and a positive degree curve class $D$ (with respect to the anti-canonical class $-K_S$), we define a class in the Grothendiek-Witt ring of k, whose rank gives the number of rational curves in the class D containing a given collection of distinct closed points $\mathfrak{p}=\sum_ip_i$ of total degree $-D\cdot K_S-1$. This recovers Welschinger's invariants in case $k=\mathbb{R}$ by applying the signature map. The main result is that this quadratic invariant depends only on the $\mathbb{A}^1$-connected component containing $\mathfrak{p}$ in $Sym^{3d-1}(S)^0(k)$, where $Sym^{3d-1}(S)^0$ is the open subscheme of $Sym^{3d-1}(S)$ parametrizing geometrically reduced 0-cycles.
|
![]() |
HHHW02 |
14th August 2018 11:30 to 12:30 |
Magdalena Kedziorek |
Algebraic models for rational equivariant commutative ring spectra
I will recall different levels of commutativity in G-equivariant stable homotopy theory and show how to understand them rationally when G is finite or SO(2) using algebraic models. This is joint work with D. Barnes and J.P.C. Greenlees.
|
![]() |
HHHW02 |
14th August 2018 14:30 to 15:30 |
Marc Hoyois |
Motivic infinite loop spaces and Hilbert schemes
Co-authors: Elden Elmanto (Northwestern University), Adeel A. Khan (Universität Regensburg), Vladimir Sosnilo (St. Petersburg State University), Maria Yakerson (Universität Duisburg-Essen)We prove a recognition principle for motivic infinite loop spaces over a perfect field of characteristic not 2. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. Our main result is that grouplike framed motivic spaces are equivalent to the full subcategory of motivic spectra generated under colimits by suspension spectra. As a consequence, we deduce some representability results for suspension spectra of smooth varieties and various motivic Thom spectra in terms of Hilbert schemes of points in affine spaces.Related Linkshttps://arxiv.org/abs/1711.05248 - preprint
|
![]() |
HHHW02 |
14th August 2018 16:00 to 17:00 |
Vesna Stojanoska |
Galois extensions in motivic homotopy theory
There are two notions of homotopical Galois extensions in the motivic setting; I will discuss what we know about each, along with illustrative examples. This is joint work in progress with Beaudry, Heller, Hess, Kedziorek, and Merling.
|
![]() |
HHHW02 |
15th August 2018 09:00 to 10:00 |
Doug Ravenel |
Model category structures for equivariant spectra
We
will discuss methods for constructing a model structure the category of
orthogonal equivariant spectra for a finite group G. The most convenient
one is two large steps away from the most obvious one.
|
![]() |
HHHW02 |
15th August 2018 10:00 to 11:00 |
Oliver Roendigs |
On very effective hermitian K-theory
We argue that the very effective cover of hermitian K-theory in the sense of motivic homotopy theory is a convenient algebro-geometric generalization of the connective real topological K-theory spectrum. This means the very effective cover acquires the correct Betti realization, its motivic cohomology has the desired structure as a module over the motivic Steenrod algebra, and that its motivic Adams and slice spectral sequences are amenable to calculations. The latter applies to provide the expected connectivity for its unit map from the motivic sphere spectrum. This is joint work with Alexey Ananyevskiy and Paul Arne Ostvaer.
|
![]() |
HHHW02 |
15th August 2018 11:30 to 12:30 |
Teena Gerhardt |
Hochschild homology for Green functors
Hochschild homology of a ring has a topological analogue for ring spectra, topological Hochschild homology (THH), which plays an essential role in the trace method approach to algebraic K-theory. For a C_n-equivariant ring spectrum, one can define C_n-relative THH. This leads to the question: What is the algebraic analogue of C_n-relative THH? In this talk, I will define twisted Hochschild homology for Green functors, which allows us to describe this algebraic analogue. This also leads to a theory of Witt vectors for Green functors, as well as an algebraic analogue of TR-theory. This is joint work with Andrew Blumberg, Mike Hill, and Tyler Lawson.
|
![]() |
HHHW02 |
16th August 2018 09:00 to 10:00 |
Mark Behrens |
C_2 equivariant homotopy groups from real motivic homotopy groups
The Betti realization of a real motivic spectrum is a genuine C_2 spectrum. It is well known (c.f. the work of Dugger-Isaksen) that the homotopy groups of the Betti realization of a complex motivic spectrum can be computed by "inverting tau". I will describe a similar theorem which describes the C_2-equivariant RO(G) graded homotopy groups of the Betti realization of a cellular real motivic spectrum in terms of its bigraded real motivic homotopy groups. This is joint work with Jay Shah.
|
![]() |
HHHW02 |
16th August 2018 10:00 to 11:00 |
Tom Bachmann |
Motivic normed spectra and Tambara functors
Motivic normed spectra are a motivic analogue of the G-commutative ring spectra from genuine equivariant stable homotopy theory. The category of G-commutative ring spectra such that the underlying genuine equivariant spectrum is concentrated in degree zero (i.e. is a Mackey functor) is in fact equivalent to the category of G-Tambara functors. I will explain an analogous motivic result: the category of normed motivic spectra (over a field), such that the underlying motivic spectrum is an effective homotopy module, is equivalent to a category of homotopy invariant presheaves with generalized transfers and étale norms.
|
![]() |
HHHW02 |
16th August 2018 11:30 to 12:30 |
Anna Marie Bohmann |
Graded Tambara functors
Let E be a G-spectrum for a finite group G. It's long been known that homotopy groups of E have the structure of "Mackey functors." If E is G commutative ring spectrum, then work of Strickland and of Brun shows that the zeroth homotopy groups of E form a "Tambara functor." This is more structure than just a Mackey functor with commutative multiplication and there is much recent work investigating nuances of this structure.
I will discuss work with Vigleik Angeltveit that extends this result to include the higher homotopy groups of E. Specifically, if E has a commutative multiplication that enjoys lots of structure with respect to the G action, the homotopy groups of E form a graded Tambara functor. In particular, genuine commutative G ring spectra enjoy this property.
|
![]() |
HHHW02 |
16th August 2018 14:30 to 15:30 |
Mona Merling |
Toward the equivariant stable parametrized h-cobordism theorem
Waldhausen's introduction of A-theory of spaces revolutionized the early study of pseudo-isotopy theory. Waldhausen proved that the A-theory of a manifold splits as its suspension spectrum and a factor Wh(M) whose first delooping is the space of stable h-cobordisms, and its second delooping is the space of stable pseudo-isotopies. 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.
|
![]() |
HHHW02 |
16th August 2018 16:00 to 17:00 |
Fabien Morel |
Etale and motivic variations on Smith's theory on action of cyclic groups
In this talk, after recalling some facts on Smith's theory in classical topology, I will present some analogues in algebraic geometry using \'etale cohomology first, and I will also give analogues in \A^1-homotopy theory and motives of Smith's theory concerning the multiplicative group \G_m, which behaves like a "cyclic of order 2".
|
![]() |
HHHW02 |
17th August 2018 09:00 to 10:00 |
Aravind Asok |
On Suslin's Hurewicz homomorphism
I will discuss some recent progress on an old conjecture of Suslin about the image of a certain ``Hurewicz" map from Quillen's algebraic K-theory of a field F to the Milnor K-theory of F. This is based on joint work with J. Fasel and T.B. Williams.
|
![]() |
HHHW02 |
17th August 2018 10:00 to 11:00 |
Carolyn Yarnall |
Klein four-slices of HF_2
The slice filtration is a filtration of equivariant spectra analogous to the Postnikov tower that was developed by Hill, Hopkins, and Ravenel in their solution to the Kervaire invariant-one problem. Since that time there have been several new developments, many dealing with cyclic groups. In this talk, we will focus our attention on a noncyclic group! After recalling a few essential definitions and previous results, we will investigate some computational tools that allow us to leverage homotopy results of Holler-Kriz to determine the slices of integer suspensions of HF_2 when our group is the Klein four group. We will end with a few slice tower and spectral sequence examples demonstrating the patterns that arise in the filtration.
This is joint work with Bert Guillou.
|
![]() |
HHHW02 |
17th August 2018 11:30 to 12:30 |
Kirsten Wickelgren |
Some results in A1-enumerative geometry
We
will discuss several applications of A1-homotopy theory to enumerative
geometry. This talk includes joint work with Jesse Kass and Padmavathi
Srinivasan.
|
![]() |
HHH |
17th August 2018 13:15 to 14:15 |
Lifting G-stable endotrivial modules | ||
HHHW02 |
17th August 2018 14:30 to 15:30 |
Thomas Nikolaus |
Cyclotomic spectra and Cartier modules
We start by reviewing the notion of cyclotomic spectra and basic examples such as THH. Then we introduce the classical algebraic notion of an (integral, p-typical) Cartier module and its higher generalization to spectra (topological Cartier modules). We present examples such as Witt vectors and K-theory of endomorphisms. The main result, which is joint work with Ben Antieau, is that there is a close connection between the two notions.
|
|
HHH |
21st August 2018 14:00 to 15:00 |
Wolfgang Steimle |
An Additivity Theorem for cobordism categories, with applications to Hermitian K-theory
The goal of this talk is to explain that Genauer's
computation of the cobordism category with boundaries is a precise analogue of
Waldhausen's additivity theorem in algebraic K-theory, and to give a new,
parallel proof of both results. The same proof technique also applies to
cobordism categories of Poincaré chain complexes in the sense of Ranicki. Here
we obtain that its classifying space is the infinite loop space of a
non-connective spectrum which has similar properties as Schlichting's
Grothendieck-Witt spectrum when 2 is invertible; but it turns out that these
properties still hold even if 2 is not invertible. This talk is partially based
on joint work with B. Calmès, E. Dotto, Y. Harpaz, F. Hebestreit, M. Land, K.
Moi, D. Nardin and Th. Nikolaus.
|
![]() |
HHH |
21st August 2018 15:30 to 16:30 |
Fabian Hebestreit |
Parametrised homotopy theory via symmetric retractive spectra
I shall explain a new framework for parametrised homotopy
theory, based on symmetric spectra objects in retractive
spaces. In contrast to previous model categorical frameworks it
encompasses a well-behaved symmetric monoidal structure, that models the
Day-convolution present in the quasi-categorical set-up. As a small application I will give a simple proof,
that K-theory as defined through stable homotopy theory agrees with
the original geometric construction (even as highly structured
objects), a fact that seems to be missing from the literature so far.
|
![]() |
HHH |
23rd August 2018 15:30 to 15:45 |
Steffen Sagave | Commutative cochains | |
HHH |
23rd August 2018 15:45 to 16:00 |
Marc Levine | T for (SL) two | |
HHH |
23rd August 2018 16:00 to 16:15 |
Tobias Lenz | Homotopy (Pre-)Derivators of Cofibration Categories and Quasi-Categories | |
HHH |
23rd August 2018 16:15 to 16:30 |
Inbar Klang | Homology vs cohomology | |
HHH |
28th August 2018 15:30 to 16:30 |
Lior Yanovski |
Ambidexterity in the T(n)-Local Stable Homotopy Theory
The monochromatic layers of the chromatic filtration on
spectra, that is The K(n)-local (stable 00-)categories Sp_{K(n)}
enjoy many remarkable properties. One example is the vanishing of the Tate
construction due to
Hovey-Greenlees-Sadofsky. The
vanishing of Tate construction can be considered as a natural equivalence between
the colimits and limits in Sp_{K(n)}
parametrized by finite groupoids. Hopkins and Lurie proved a
generalization of this result where finite groupoids are replaced by arbitrary
\pi-finite 00-groupoids. There is another possible sequence of (stable 00-)categories who can be considered
as "monochromatic layers", Those are the T(n)-local 00-categories
Sp_{T(n)}. For the Sp_{T(n)} the vanishing of the Tate
construction was proved by Kuhn. We shall prove that the analog of Hopkins and Lurie's result in for Sp_{T(n)}. Our proof will also give an alternative proof for
the K(n)-local case. This is a joint work with Shachar Carmieli and Lior
Yanovski
|
![]() |
HHH |
30th August 2018 15:30 to 15:45 |
David Barnes | Equivariant sheaves aren't always Weyl | |
HHH |
30th August 2018 15:45 to 16:00 |
Anna Marie Bohmann | Multiplication, not multifarious | |
HHH |
30th August 2018 16:00 to 16:15 |
Tyler Lawson | Unit groups are confusing | |
HHH |
30th August 2018 16:15 to 16:30 |
Markus Szymik | Quo whatis quandles? | |
HHH |
11th September 2018 14:00 to 15:00 |
Robert Bruner | The mod 2 Adams spectral sequence for tmf_* |
![]() |
HHH |
11th September 2018 15:30 to 16:30 |
Irakli Patchkoria |
Polynomial maps, Witt vectors and Real THH
A result of Hesselholt and Madsen asserts that the ring of components of the topological restriction homology (TR) is isomorphic to the ring of Witt vectors. Trying to prove a real analog of this result leads to a surprising algebraic fact: Witt vectors have an extra functoriality with respect to certain polynomial maps. In this talk we will discuss the extra functoriality and its applications to some problems in algebra and topology. This is joint work with E. Dotto and K. Moi.
|
![]() |
HHH |
13th September 2018 15:30 to 15:45 |
Andrew Baker | BG_2 vs the Joker | |
HHH |
13th September 2018 15:45 to 16:00 |
Michael Joachim | On twisted spin-c bordism and twisted K-theory | |
HHH |
13th September 2018 16:00 to 16:15 |
Viktoriya Ozornova | Case of Identity | |
HHH |
13th September 2018 16:15 to 16:30 |
Mingcong Zeng | RO(G)-coefficient ring of constant Mackey functor via duality | |
HHH |
18th September 2018 14:00 to 15:00 |
Christian Schlichtkrull |
Topological Hochschild homology via generalized Thom spectra
We realize certain quotient spectra of an even ring
spectrum as generalized Thom spectra and we use this to calculate their
topological Hochschild homology. The main point is to analyze how the
topological Hochschild homology varies with different choices of multiplicative
structure on the quotient spectra. We also compare the topological Hochschild
homology to twisted homology of free loop spaces. This represents joint work
with Samik Basu.
|
![]() |
HHH |
18th September 2018 15:30 to 16:30 |
Nathalie Wahl |
Slopes in homological stability, the classical way
In joint work with David Sprehn, we prove
homological stability with "slope 1" for symplectic, orthogonal and unitary
groups over fields other than F_2, following an argument of Quillen for general
linear groups. Stability with slope 2 has long been known for all four types of
groups over very general rings by a similar, though not equal, argument. I'll
present these results and give an overview of the players in such homological
stability arguments
|
![]() |
HHH |
20th September 2018 15:30 to 15:45 |
Lars Hesselholt | K-theory of division algebras over local fields | |
HHH |
20th September 2018 15:45 to 16:00 |
Viet-Cuong Pham | Brown-Comenetz dual of some K(2)-local spectrum | |
HHH |
20th September 2018 16:00 to 16:15 |
Constanze Roitzheim | Twisted, not bitter | |
HHH |
20th September 2018 16:15 to 16:30 |
Hiro Tanaka | MorseTheory(On.Point) vs (MorseTheory.On)Point | |
HHHW03 |
24th September 2018 10:00 to 11:00 |
Agnes Beaudry |
K(n)-local homotopy from a Galois theory perspective -1
The goal of these two talks is to give an overview of a perspective on K(n)-local homotopy theory that lends itself to computations. I will introduce some of the key players of the workshop such as the Morava K and E-theories. The introduction will emphasize the Galois theory inherent to the situation and be designed to lead us to consider finite resolutions of the K(n)-local sphere. I will then explain how these perspectives have helped us gain a better understanding on problems in chromatic homotopy theory such as the study of invertible elements and chromatic reassembly.
|
![]() |
HHHW03 |
24th September 2018 11:30 to 12:30 |
Niko Naumann |
The role of p-divisible groups -1
We will try to give an account of Lurie's treatment of p-divisible groups in spectral algebraic geometry, to the extend available by the date of the workshop.
|
![]() |
HHHW03 |
24th September 2018 14:30 to 15:30 |
Christian Ausoni |
On the topological Hochschild homology of Johnson-Wilson spectra
Let E(n) denote the n-th Johnson-Wilson spectrum at an
odd prime p.
The spectrum E(1) coincides with the Adams summand of
p-local topological K-theory.
McClure and Staffeldt offered an intriguing computation
of THH(E(1)), showing that it splits as a wedge sum of E(1) and a rationalized
suspension of E(1).
In joint work with Birgit Richter, we study the Morava
K-theories of THH(E(n)), with an aim at investigating if McClure-Staffeldt's
splitting in lower chromatic pieces generalizes. Under the assumption that E(2) is
commutative, we show that
THH(E(2)) splits as a wedge sum of E(2) and its lower
chromatic localizations.
|
![]() |
HHHW03 |
24th September 2018 16:00 to 17:00 |
Lennart Meier |
Topological modular forms with level structure
Topological modular forms with level structure are spectra associated with moduli of elliptic curves with extra structure. These come in a huge variety. We will report on progress on the conjecture that all of these spectra split additively into a few simple pieces.
Another goal is to obtain an understanding of connective variants of TMF with level structure. We will present some constructions and a conjecture on their associated stacks.
This work is partially joined with Viktoriya Ozornova.
|
![]() |
HHHW03 |
25th September 2018 10:00 to 11:00 |
Agnes Beaudry |
Duality and invertibility using finite resolutions - 2
In this talk, I will explain applications of the finite resolutions constructed in the first talk to the study of invertibility and duality in the K(n)-local category.
|
![]() |
HHHW03 |
25th September 2018 11:30 to 12:30 |
Niko Naumann |
The role of p-divisible groups - 2
We will try to give an account of Lurie's treatment of p-divisible groups in spectral algebraic geometry, to the extend available by the date of the workshop.
|
![]() |
HHHW03 |
25th September 2018 14:30 to 15:30 |
Jeremy Hahn |
The spectrum of units of a height 2 theory
The space BSU admits two infinite loop space structures, one arising from addition of vector bundles and the other from tensor product. A surprising fact, due to Adams and Priddy, is that these two infinite loop spaces become equivalent after p-completion. I will explain how the Adams-Priddy theorem allows for an identification of sl_1(ku_p), the spectrum of units of p-complete complex K-theory. I will then describe work, joint with Andrew Senger, that attempts to similarly understand the spectrum of units of the 2-completion of tmf_1(3). Our computations seem suggestive of broader phenomena, and I will include discussion of several open questions.
|
![]() |
HHHW03 |
25th September 2018 16:00 to 17:00 |
Tomer Schlank |
Modes, Ambidexterity and Chromatic homotopy.
Spectra can be considered as the universal presentable stable 00-category, similarly Set can be considered as the universal presentable 1-category and pointed spaces can be considered as the universal pointed presentable. More generally some properties of presentable 00-categories can be classified as equivalent to being a module over a universal symmetric monoidal 00-category. We call such universal symmetric monoidal 00-category "Modes". We describe certain facts about the general theory of modes and present how one can generate new ones from old ones.
|
|
HHHW03 |
26th September 2018 10:00 to 11:00 |
Ben Antieau |
Derived algebraic geometry I
In this series of lectures I will outline the major features of derived algebraic geometry in both the connective and nonconnective settings. The connective setting is what is closer to classical algebraic geometry and the study of geometric moduli spaces, for example moduli of objects in derived categories; the nonconnective setting is what is needed for applications to topological modular forms.
|
![]() |
HHHW03 |
26th September 2018 11:30 to 12:30 |
Tobias Barthel, Nathaniel Stapleton | Transchromatic homotopy theory 1 | |
HHHW03 |
27th September 2018 10:00 to 11:00 |
Ben Antieau |
Derived algebraic geometry II
In this series of lectures I will outline the major features of derived algebraic geometry in both the connective and nonconnective settings. The connective setting is what is closer to classical algebraic geometry and the study of geometric moduli spaces, for example moduli of objects in derived categories; the nonconnective setting is what is needed for applications to topological modular forms.
|
![]() |
HHHW03 |
27th September 2018 11:30 to 12:30 |
Tobias Barthel, Nathaniel Stapleton | Transchromatic homotopy theory 2 | |
HHHW03 |
27th September 2018 14:30 to 15:30 |
Gijs Heuts | Lie algebras and v_n-periodic spaces |
![]() |
HHHW03 |
27th September 2018 16:00 to 17:00 |
Vesna Stojanoska |
Characteristic classes determine dualizing modules
I will address the question of determining the K(n)-local Spanier-Whitehead dual of the Lubin-Tate spectrum, equivariantly with respect to the action of the Morava stabilizer group. A dualizing module can be constructed abstractly, and we use characteristic classes to relate it to a certain representation sphere, at least when we restrict the action to a finite subgroup. As a consequence in specific examples, explicit calculations of characteristic classes also give explicit formulas for the Spanier-Whitehead duals of spectra like TMF and higher real K-theories.
This is work in progress, joint with Agnes Beaudry, Paul Goerss, and Mike Hopkins.
|
|
HHHW03 |
28th September 2018 10:00 to 11:00 |
Zhouli Xu |
Motivic Ctau-modules and Stable Homotopy Groups of Spheres
I will discuss the equivalence of stable infinity categories, between the motivic Ctau-modules over the complex numbers and the derived category of BP_*BP-comodules. As a consequence, the motivic Adams spectral sequence for Ctau is isomorphic to the algebraic Novikov spectral sequence. This isomorphism of spectral sequences allows computations of classical stable stems at least to the 90-stem, with ongoing computations into even higher dimensions. I will also discuss the situation in the real motivic world, and some connections to the new Doomsday Conjecture, if time permits. This is joint work with Mark Behrens, Bogdan Gheorghe, Dan Isaksen and Guozhen Wang.
|
![]() |
HHHW03 |
28th September 2018 11:30 to 12:30 |
Gereon Quick |
Examples of non-algebraic classes in the Brown-Peterson tower
It is a classical problem in algebraic geometry to decide whether a class in the singular cohomology of a smooth complex variety X is algebraic, that is if it can be realized as the fundamental class of an algebraic subvariety of X. One can ask a similar question for motivic spectra: Given a motivic spectrum E, which classes in the topological E-cohomology of X come from motivic classes. I would like to discuss this question and examples of non-algebraic classes for the tower of Brown-Peterson spectra.
|
![]() |
HHHW03 |
28th September 2018 14:30 to 15:30 |
Mark Behrens |
The tmf-based Adams spectral sequence for Z
I will describe some specific and qualitative aspects of the tmf-based Adams spectral sequence for the Bhattacharya-Egger type 2 spectrum called "Z". This is joint work with Agnes Beaudry, Prasit Bhattacharya, Dominic Culver, and Zhouli Xu.
|
![]() |
HHH |
2nd October 2018 14:00 to 15:00 |
Scott Balchin |
Adelic models for Noetherian model categories (joint work with John Greenlees)
The algebraic models for rational G-equivariant
cohomology theories (Barnes, Greenlees, Kedziorek, Shipley) are constructed by
assembling data from each closed subgroup of G. We can compare this to the
usual Hasse square, where we see abelian groups being constructed from data at
each point of Spec(Z) in an adelic fashion.
This style of assembly can be described in a general
fashion using the data contained in the Balmer spectrum of the corresponding
tensor-triangulated categories. We show that given a Quillen model category
whose homotopy category is a suitably well behaved tensor-triangulated
category, that we can construct a Quillen equivalent model from localized p-complete
data at each Balmer prime in an adelic fashion.
|
![]() |
HHH |
2nd October 2018 15:30 to 16:30 |
Jesper Grodal |
The Picard group of the stable module category
The stable module category of a finite group is currently maybe my favourite presentable symmetric monoidal stable infinity category. The goal of the talk is to harness its Picard group, using our old friend the orbit category.
Part of this talk is a report on joint works with Barthel, Hunt, Carlson, Nakano, Mazza....
|
![]() |
HHH |
4th October 2018 15:30 to 15:45 |
George Raptis | Transfer maps in A-theory | |
HHH |
4th October 2018 15:45 to 16:00 |
Doug Ravenel | The first English group theorist | |
HHH |
4th October 2018 16:00 to 16:15 |
Birgit Richter | Higher THH of Z/p^m with reduced coefficients | |
HHH |
4th October 2018 16:15 to 16:30 |
Stefan Schwede | Proper, equivariant, and stable! | |
HHH |
8th October 2018 16:00 to 17:00 |
Lars Hesselholt |
Rothschild Lecture: Higher algebra and arithmetic - Monday 8th October 2018
This talk concerns a twenty-thousand-year old mistake: The natural numbers record only the result of counting and not the process of counting. As algebra is rooted in the natural numbers, the higher of Joyal and Lurie is rooted in a more basic notion of number which also records the process of counting. Long advocated by Waldhausen, the arithmetic of these more basic numbers should eliminate denominators. Notable manifestations of this vision include the Bökstedt-Hsiang-Madsen topological cyclic homology, which receives a denominator-free Chern character, and the related Bhatt-Morrow-Scholze integral p-adic Hodge theory, which makes it possible to exploit torsion cohomology classes in arithmetic geometry. Moreover, for schemes smooth and proper over a finite field, the analogue of de Rham cohomology in this setting naturally gives rise to a cohomological interpretation of the Hasse-Weil zeta function by regularized determinants, as envisioned by Deninger.
|
![]() ![]() |
HHH |
9th October 2018 14:00 to 15:00 |
Michael Ching |
Tangent ∞-categories and Goodwillie calculus
Goodwillie calculus is a set of tools in homotopy theory
developed, to some extent, by analogy with ordinary differential calculus. The
goal of this talk is to make that analogy precise by describing a common
category-theoretic framework that includes both the calculus of smooth maps
between manifolds, and Goodwillie calculus of functors, as examples.
This framework is based on the notion of "tangent
category" introduced first by Rosicky and recently developed by Cockett
and Cruttwell in connection with models of differential calculus in logic, with
the category of smooth manifolds as the motivating example. In joint work with
Kristine Bauer and Matthew Burke (both at Calgary) we generalize to tangent
structures on an (∞,2)-category and show that the (∞,2)-category of presentable
∞-categories possesses such a structure. This allows us to make precise, for
example, the intuition that the ∞-category of spectra plays the role of the
real line in Goodwillie calculus. As an application we show that Goodwillie's
definition of n-excisive functor can be recovered purely from the tangent
structure in the same way that n-jets of smooth maps are in ordinary calculus.
If time permits, I will suggest how other concepts from differential geometry,
such as connections, may play out into the context of functor calculus.
|
![]() |
HHH |
9th October 2018 15:30 to 16:30 |
Benjamin Böhme |
Equivariant multiplications and idempotent splittings of > G-spectra
My PhD research concerns multiplicative phenomena in
> equivariant stable homotopy theory. Equivariantly
with respect to a
> finite group G, there are many different notions of
a commutative ring
> spectrum. The idempotent summands of the genuine
equivariant versions
> of the sphere spectrum and the topological K-theory
spectra provide
> natural examples of such objects. I give a complete
characterization
> of the best possible equivariant commutative ring
structures on these
> summands. As an important step in my approach, I
establish a
> classification of the idempotent elements in the
(p-local)
> representation ring of G, which may be of
independent interest.
|
![]() |
HHH |
11th October 2018 15:30 to 15:45 |
Agnes Beaudry | Determining the determinant sphere | |
HHH |
11th October 2018 15:45 to 16:00 |
Julie Bergner | To complete or make discrete? That is the question. | |
HHH |
11th October 2018 16:00 to 16:15 |
Paolo Salvatore | (Non)-formality of little discs spaces and operads | |
HHH |
11th October 2018 16:15 to 16:30 |
Ulrike Tillmann | Infinite loop space machines and TQFTs | |
HHH |
15th October 2018 14:00 to 15:00 |
Doug Ravenel | Orthogonal G-Spectra I |
![]() |
HHH |
16th October 2018 13:45 to 14:45 |
Lennart Meier |
Real homotopy theory
Real homotopy theory has its origin
in Atiyah capitalizing on the complex conjugation action on complex K-theory to
obtain the $C_2$-spectrum of Real K-theory. More generally it concerns
$C_2$-spectra with a Real orientation. We will discuss several examples and
several results, including some joint work with Hill and Greenlees.
|
|
HHH |
16th October 2018 15:15 to 16:15 |
Robert Oliver | TBA |
![]() |
HHH |
17th October 2018 14:00 to 15:00 |
Doug Ravenel | Orthogonal G-Spectra II |
![]() |
HHH |
18th October 2018 15:30 to 15:45 |
Peter Haine | Constructible étale sheaves and analytic sheaves | |
HHH |
18th October 2018 15:45 to 16:00 |
Ieke Moerdijk | The 10 minute shuffle | |
HHH |
18th October 2018 16:00 to 16:15 |
Sam Nariman | Thurston's fragmentation and non-abelian Poincare duality | |
HHH |
18th October 2018 16:15 to 16:30 |
Vesna Stojanoska | The Tate sphere and duality | |
HHH |
23rd October 2018 14:00 to 15:00 |
Hans-Werner Henn |
The exotic part of the Picard group of K(2)-local spectra at the prime 2
The exotic part of the Picard group of K(2)-local spectra at the prime 2
This is a report on joint work with A. Beaudry, I. Bobkova and P. Goerss.
Exotic elements in the Picard groups Pic(n,p) of K(n)-local spectra are represented by spectra
whose Morava module is isomorphic to that of the 0-dimensonal sphere. These elements
form a sub-group of Pic(n,p) which for given n is trivial if p is sufficiently large (p>2 if n=1,
and p>3 if n=2). These sub-groups have been explicitly known for n=1 and p=2, and for
n=2 and p=3. In this talk we will give a complete description of its isomorphism type if n=p=2.
|
![]() |
HHH |
23rd October 2018 15:30 to 16:30 |
Lars Hesselholt |
K-theory of cusps
In the early nineties, the Buonos Aires Cyclic Homology group calculated the Hochschild and cyclic homology of hypersurfaces, in general, and of the coordinate rings of planar cuspical curves, in particular. With Cortiñas' birelative theorem, proved in 2005, this gives a calculation of the relative K-theory of planar cuspical curves over a field of characteristic zero. By a p-adic version of Cortiñas' theorem, proved by Geisser and myself in 2006, the relative K-groups of planar cuspical curves over a perfect field of characteristic p > 0 can similarly be expressed in terms of topological cyclic homology, but the relevant topological cyclic homology groups have resisted calculation. In this talk, I will show that the new setup for topological cyclic homology by Nikolaus and Scholze has made this calculation possible. This is joint work with Nikolaus and similar results have been obtained by Angeltveit.
|
![]() |
HHH |
25th October 2018 15:30 to 15:45 |
Clemens Berger | Dold-Kan correspondences and involutive factorisation systems | |
HHH |
25th October 2018 15:45 to 16:00 |
Paul Goerss | What does it mean to be continuous? | |
HHH |
25th October 2018 16:00 to 16:15 |
Fabian Hebestreit | Homotopy Cobordism Categories | |
HHH |
25th October 2018 16:15 to 16:30 |
Oscar Randal-Williams | On the Cayley--Hamilton Theorem | |
HHH |
30th October 2018 14:00 to 15:00 |
Hiro Tanaka |
The stack "Broken" and associative algebras
After
reviewing some aspects of Morse theory, I'll talk about "Broken," the
moduli stack of constant Morse trajectories (possibly broken) on a point. Surprisingly,
this stack has the following property: Factorizable sheaves on it are the same
thing as (possibly non-unital) associative algebras. We all know that having
geometric descriptions of algebraic structures should buy us mileage; so what
mileage does this property buy us? If time allows, I'll try to explain why this
theorem leads to a roadmap for constructing Morse chain complexes, and in fact,
for constructing the stable homotopy type of a compact manifold with a Morse
function. (That is, this gives a different way to realize ideas of
Cohen-Jones-Segal.) The motivation is to construct a stable homotopy type for
Lagrangian Floer Theory--the latter is an important invariant in symplectic
geometry and mirror symmetry. This is all joint work with Jacob Lurie.
|
|
HHH |
30th October 2018 15:30 to 16:30 |
George Raptis |
Devissage theorems in algebraic K-theory
In this talk I will give an
overview of old and new devissage-type results in algebraic K-theory.
|
|
HHH |
1st November 2018 15:30 to 15:45 |
Tobias Barthel | Spooky cats | |
HHH |
1st November 2018 15:45 to 16:00 |
Anna Marie Bohmann | On the existence of ghosts | |
HHH |
1st November 2018 16:00 to 16:15 |
John Greenlees | Two skeletons in a cellular cupboard | |
HHH |
1st November 2018 16:15 to 16:30 |
Constanze Roitzheim | Franke's Scary Models | |
HHH |
6th November 2018 14:00 to 15:00 |
Carles Broto | Homotopy fixed points by finite p-group actions on classifying spaces of fusion systems |
![]() |
HHH |
6th November 2018 15:30 to 16:30 |
Kathryn Hess | An introduction to topological coHochschild homology |
![]() |
HHH |
8th November 2018 15:30 to 15:45 |
Andrew Baker | Orientations old and new | |
HHH |
8th November 2018 15:45 to 16:00 |
Magdalena Kedziorek | Surprise! | |
HHH |
8th November 2018 16:00 to 16:15 |
Markus Szymik | Adams before Adnams | |
HHH |
8th November 2018 16:15 to 16:30 |
Sarah Whitehouse | E_r model structures | |
HHH |
12th November 2018 14:00 to 15:00 |
Doug Ravenel | Outlining the Proof of the Kervaire Invariant Theorem |
![]() |
HHH |
13th November 2018 14:00 to 15:00 |
Tobias Barthel |
Stratifying categories of representations.
Stratifying categories of representations.
Abstract: In this talk, we discuss some aspects of the
global structure of categories of representations from the point of view of
stable homotopy theory. This is joint work with Castellana, Heard, and
Valenzuela.
|
|
HHH |
13th November 2018 15:30 to 16:30 |
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 K-theory,
Waldhausen's A-theory, 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." 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.
|
![]() |
HHH |
15th November 2018 15:30 to 15:45 |
Scott Balchin | Grout (or the story of how my coauthor stopped me from naming things) | |
HHH |
15th November 2018 15:45 to 16:00 |
Michael Ching | What is a pro-operad? | |
HHH |
15th November 2018 16:00 to 16:15 |
Manuel Krannich | A Hermitian K-group via geometry | |
HHH |
15th November 2018 16:15 to 16:30 |
Mingcong Zeng | Slice Differentials | |
HHH |
19th November 2018 14:00 to 15:00 |
Doug Ravenel | The Kervaire invariant problem at odd primes |
![]() |
HHH |
20th November 2018 14:00 to 15:00 |
George Raptis |
Devissage theorems in algebraic K-theory
In this talk I will give an overview of old and new devissage-type results in algebraic K-theory.
|
|
HHH |
20th November 2018 15:30 to 16:30 |
Markus Szymik |
Symmetry groups of algebraic structures and their homology
The
symmetric groups, the general linear groups, and the automorphism groups of
free groups are examples of families of groups that arise as symmetry groups of
algebraic structures but that are also dear to topologists. There are many
other less obvious examples of interest. For instance, in joint work with
Nathalie Wahl, this point of view has led to the computation of the homology of
the Higman-Thompson groups. I will survey a general context and some more
geometric examples in this talk.
|
|
HHH |
22nd November 2018 15:30 to 15:45 |
Alexander Berglund | Rational models for automorphisms of fiber bundles | |
HHH |
22nd November 2018 15:45 to 16:00 |
Jesper Grodal | Savour thy units! (or why the p-adics sometimes beats the integers) | |
HHH |
22nd November 2018 16:00 to 16:15 |
Michael Joachim | On the Gromov-Lawson-Rosenberg Conjecture | |
HHH |
22nd November 2018 16:15 to 16:30 |
Doug Ravenel | The Pontrjagin twist | |
HHH |
26th November 2018 14:00 to 15:00 |
Doug Ravenel | The slice filtration and slice spectral sequence |
![]() |
HHH |
27th November 2018 14:00 to 15:00 |
Claudia Scheimbauer |
Constructing extended AKSZ topological field theories in derived symplectic geometry
Derived
algebraic geometry and derived symplectic geometry in the sense of
Pantev-Toen-Vaquié-Vezzosi allows for a reinterpretation/analog of the
classical AKSZ construction for certain $\sigma$-models. It is given by taking
mapping stacks with a fixed target building and describes ``semi-classical
TFTs". Using the formalism of derived algebraic geometry as a blackbox, I will sketch how this
construction yields extended TFTs, which involves harnessing many higher
homotopies. This
is joint work in progress with Damien Calaque and Rune Haugseng.
|
|
HHH |
27th November 2018 15:30 to 16:30 |
David Ayala |
Orthogonal group and adjoints
In this talk I will articulate and contextualize the following sequence of results. The Bruhat decomposition of the general linear group defines a stratification of the orthogonal group.Matrix multiplication defines an algebra structure on its exit-path category in a certain Morita category of categories. In this Morita category, this algebra acts on the category of n-categories -- this action is given by adjoining adjoints to n-categories. This result is extracted from a larger program -- entirely joint with John Francis, some parts joint with Nick Rozenblyum -- which proves the cobordism hypothesis. |
![]() |
HHH |
29th November 2018 15:30 to 15:45 |
Christian Ausoni | On a Greenlees spectral sequence | |
HHH |
29th November 2018 15:45 to 16:00 |
Rachael Boyd | Homological stability for Artin monoids | |
HHH |
29th November 2018 16:00 to 16:15 |
Federico Cantero Morán | Spaces of merging submanifold | |
HHH |
29th November 2018 16:15 to 16:30 |
Christian Schlichtkrull | Higher monoidal monomorphisms | |
HHH |
30th November 2018 14:00 to 15:00 |
Doug Ravenel | More about the slice filtration and slice spectral sequence |
![]() |
HHHW04 |
3rd December 2018 10:00 to 11:00 |
Soren Galatius |
H_{4g-6}(M_g)
The set of isomorphism classes of genus g Riemann surfaces carries a natural topology in which it may be locally parametrized by 3g-3 complex parameters. The resulting space is denoted M_g, the moduli space of Riemann surfaces, and is more precisely a complex orbifold of that dimension. The study of this space has a very long history involving many areas of mathematics, including algebraic geometry, group theory, and stable homotopy theory.
The space M_g is not compact, essentially because a family of Riemann surface may degenerate into a non-smooth object, and may be compactified in several interesting ways. I will discuss a compactification due to Harvey, which looks like a compact real (6g-6)-dimensional manifold with corners, except for orbifold singularities. The combinatorics of the corner strata in this compactification may be encoded using graphs.
Using this compactification, I will explain how to define a chain map from Kontsevich's graph complex to a chain complex calculating the rational homology of M_g. The construction is particularly interesting in degree 4g-6, where our methods give rise to many non-zero classes in H_{4g-6}(M_g), contradicting some predictions. This is joint work with Chan and Payne (arXiv:1805.10186).
|
|
HHHW04 |
3rd December 2018 11:30 to 12:30 |
Alexander Kupers |
Cellular techniques in homological stability 1: general theory
This is the first of two talks about joint work with S. Galatius and O Randal-Williams on applications higher-algebraic structures to homological stability. The main tool is cellular approximation of E_k-algebras, and we start with a discussion of the general theory of such cellular approximations. This culminates in a generic homological stability result.
|
|
HHHW04 |
3rd December 2018 14:30 to 15:30 |
George Raptis |
The h-cobordism category and A-theory
A fundamental link between Waldhausen's algebraic K-theory of spaces (A-theory) and manifold topology is given by an identification of A-theory in terms of stable
homotopy and the stable smooth h-cobordism space. This important result has had many applications in the study of diffeomorphisms of manifolds. In more recent
years, the theory of cobordism categories has provided a different approach to the study of diffeomorphism groups with spectacular applications. In collaboration
with W. Steimle , we revisit the classical Waldhausen K-theory in light of these developments and investigate new connections and applications. In this talk, I will first
discuss a cobordism-type model for A-theory, and then I will focus on the h-cobordism category, the cobordism category of h-cobordisms between smooth manifolds
with boundary, and its relationship to the classical h-cobordism space of a compact smooth manifold. This is joint work with W. Steimle.
|
|
HHHW04 |
3rd December 2018 16:00 to 17:00 |
Christopher Schommer-Pries |
The Relative Tangle Hypothesis
I will describe recent progress on a non-local variant of the cobordism hypothesis for higher categories of bordisms embedded into finite dimensional Euclidean space.
|
![]() |
HHHW04 |
4th December 2018 09:00 to 10:00 |
Wolfgang Lueck |
On the stable Cannon Conjecture
The Cannon Conjecture for a torsionfree hyperbolic group $G$ with boundary homeomorphic to $S^2$ says that $G$ is the fundamental group of an aspherical closed $3$-manifold $M$. It is known that then $M$ is a hyperbolic $3$-manifold. We prove the stable version that for any closed manifold $N$ of dimension greater or equal to $2$ there exists a closed manifold $M$ together with a simple homotopy equivalence $M \to N \times BG$. If $N$ is aspherical and $\pi_1(N)$ satisfies the Farrell-Jones Conjecture, then $M$ is unique up to homeomorphism. This is joint work with Ferry and Weinberger. |
![]() ![]() |
HHHW04 |
4th December 2018 10:00 to 11:00 |
Thomas Willwacher |
Configuration spaces of points and real Goodwillie-Weiss calculus
The manifold calculus of Goodwillie and Weiss proposes to reduce questions about embedding spaces of manifolds to questions about mapping spaces of the (little-disks modules of) configuration spaces of points on those manifolds. We will discuss real models for these configuration spaces. Furthermore, we will see that a real version of the aforementioned mapping spaces is computable in terms of graph complexes. In particular, this yields a new tool to study diffeomorphism groups and moduli spaces. |
![]() |
HHHW04 |
4th December 2018 11:30 to 12:30 |
Alexander Kupers |
Cellular techniques in homological stability 2: mapping class groups
This is the second of two talks about joint work with S. Galatius and O Randal-Williams on applications higher-algebraic structures to homological stability. In it we apply the general theory to the example of mapping class groups of surfaces. After reproving Harer's stability result, I will explain how to prove the novel phenomenon of secondary homological stability; there are maps comparing the relative homology groups of the stabilization map for different genus and there are isomorphisms in a range tending to infinity with the genus.
|
|
HHHW04 |
4th December 2018 14:30 to 15:30 |
Victor Turchin |
Embeddings, operads, graph-complexes
I will talk about the connection between the following concepts: manifold calculus, little discs operads, embedding spaces, problem of delooping, relative rational formality of the little discs, and graph-complexes. I will review main results on this connection by Boavida de Brito and Weiss, my coauthors and myself. At the end I will briefly go over the current joint work in progress of Fresse, Willwacher, and myself on the rational homotopy type of embedding spaces. Co-authors: Gregory Arone (Stockholm University), Julien Ducoulombier (ETH, Zurich), Benoit Fresse (University of Lille), Pascal Lambrechts (University of Louvain), Paul Arnaud Songhafouo Tsopméné (University of Regina), Thomas Willwacher (ETH, Zurich). |
![]() |
HHHW04 |
4th December 2018 16:00 to 17:00 |
Nathalie Wahl |
Homotopy invariance in string topology
In joint work with Nancy Hingston, we show that the Goresky-Hingston coproduct, just like the Chas-Sullivan product, is homotopy invariant. Unlike the Chas-Sullivan product, this coproduct is a "compactified operation", coming from a certain compactification of the moduli space of Riemann surfaces. I'll give an idea of the ingredients used in the proof.
|
![]() |
HHHW04 |
5th December 2018 09:00 to 10:00 |
Cary Malkiewich |
Periodic points and topological restriction homology
I will talk about a project to import trace methods, usually reserved for algebraic K-theory computations, into the study of periodic orbits of continuous dynamical systems (and vice-versa). Our main result so far is that a certain fixed-point invariant built using equivariant spectra can be "unwound" into a more classical invariant that detects periodic orbits. As a simple consequence, periodic-point problems (i.e. finding a homotopy of a continuous map that removes its n-periodic orbits) can be reduced to equivariant fixed-point 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.
|
![]() |
HHHW04 |
5th December 2018 10:00 to 11:00 |
Christine Vespa |
Higher Hochschild homology as a functor
Higher Hochschild homology generalizes classical Hochschild homology for rings. Recently, Turchin and Willwacher computed higher Hochschild homology of a finite wedge of circles with coefficients in the Loday functor associated to the ring of dual numbers over the rationals. In particular, they obtained linear representations of the groups Out(F_n) which do not factorize through GL(n,Z). In this talk I will explain how viewing higher Hochschild homology of a finite wedge of circles as a functor on the category of free groups provides a conceptual framework which allows powerful tools such as exponential functors and polynomial functors to be brought to bear. In particular, this allows the generalization of the results of Turchin and Willwacher; this gives rise to new linear representations of Out(F_n) which do not factorize through GL(n,Z). (This is joint work with Geoffrey Powell.) |
![]() ![]() |
HHHW04 |
5th December 2018 11:30 to 12:30 |
Fabian Hebestreit |
The homotopy type of algebraic cobordism categories
Co-authors: Baptiste Calmès (Université d'Artois), Emanuele Dotto (RFWU Bonn), Yonatan Harpaz (Université Paris 13), Markus Land (Universität Regensburg), Kristian Moi (KTH Stockholm), Denis Nardin (Université Paris 13), Thomas Nikolaus (WWU Münster), Wolfgang Steimle (Universität Augsburg). Abstract: I will introduce cobordism categories of Poincaré chain complexes, or more generally of Poincaré objects in any hermitian quasi-category C. One interest in such algebraic cobordism categories arises as they receive refinements of Ranicki's symmetric signature in the form of functors from geometric cobordism categories à la Galatius-Madsen-Tillmann-Weiss. I will focus, however, on a more algebraic direction. The cobordism category of C can be delooped by an iterated Q-construction, that is compatible with Bökstedt-Madsen's delooping of the geometric cobordism category. The resulting spectrum is a derived version of Grothendieck-Witt theory and I will explain how its homotopy type can be computed in terms of the K- and L-Theory of C.
|
![]() |
HHHW04 |
6th December 2018 09:00 to 10:00 |
Alexander Berglund |
Rational homotopy theory of automorphisms of manifolds
I will talk about differential graded Lie algebra models for automorphism groups of simply connected manifolds M. Earlier results by Ib Madsen and myself on models for block diffeomorphisms combined with rational models for Waldhausen's algebraic K-theory of spaces suggest a model for the group of diffeomorphisms homotopic to the identity, valid in the so-called pseudo-isotopy stable range. If time admits, I will also discuss how to express the generalized Miller-Morita-Mumford classes in the cohomology of BDiff(M) in terms of these models.
|
![]() |
HHHW04 |
6th December 2018 10:00 to 11:00 |
Johannes Ebert |
Cobordism categories, elliptic operators and positive scalar curvature
We prove that a certain collection of path components of the space of metrics of positive scalar curvature on a high-dimensional sphere has the homotopy type of an infinite loop space, generalizing a theorem by Walsh. The proof uses an version of the surgery method by Galatius and Randal--Williams to cobordism categories of manifolds equipped with metrics of positive scalar curvature. Moreover, we prove that the secondary index invariant of the spin Dirac operator is an infinite loop map. The proof of that fact uses a generalization of the Atiyah--Singer index theorem to spaces of manifolds. (Joint work with Randal--Williams)
|
|
HHHW04 |
6th December 2018 11:30 to 12:30 |
Ben Knudsen |
Configuration spaces and Lie algebras away from characteristic zero
There is a close connection between the theory of Lie algebras and the study of additive invariants of configuration spaces of manifolds, which has been exploited in many calculations of rational homology. We begin the computational exploration of this connection away from characteristic zero, exhibiting a spectral sequence converging to the p-complete complex K-theory of configuration spaces---more generally, to their completed Morava E-(co)homology---and we identify its second page in terms of an algebraic homology theory for Lie algebras equipped with certain power operations. We construct a computationally accessible analogue of the classical Chevalley--Eilenberg complex for these Hecke Lie algebras, and we use it to perform a number of computations. This talk is based on joint work in progress with Lukas Brantner and Jeremy Hahn.
|
![]() |
HHHW04 |
6th December 2018 14:30 to 15:00 |
Manuel Krannich |
Contributed talk - Mapping class groups of highly connected manifolds
The group of isotopy classes of diffeomorphisms of a highly connected almost parallelisable manifold of even dimension 2n>4 has been computed by Kreck in the late 70’s. His answer, however, left open two extension problems, which were later understood in some particular dimensions, but remained unsettled in general. In this talk, I will explain how to resolve these extension problems in the case of n being odd, resulting in a complete description of the mapping class group in question in terms of an arithmetic group and the cokernel of the stable J-homomorphism.
|
|
HHHW04 |
6th December 2018 15:00 to 15:30 |
Rachael Boyd |
Contributed Talk - The low dimensional homology of Coxeter groups
Coxeter groups were introduced by Tits in the 1960s as abstractions of the finite reflection groups studied by Coxeter. Any Coxeter group acts by reflections on a contractible complex, called the Davis complex. This talk focuses on a computation of the first three integral homology groups of an arbitrary Coxeter group using an isotropy spectral sequence argument: the answer can be phrased purely in terms of the original Coxeter diagram. I will give an introduction to Coxeter groups and the Davis complex before outlining the proof.
|
![]() |
HHHW04 |
6th December 2018 16:00 to 16:30 |
Csaba Nagy |
Contributed Talk - The Sullivan-conjecture in complex dimension 4
The Sullivan-conjecture claims that complex projective complete intersections are classified up to diffeomorphism by their total degree, Euler-characteristic and Pontryagin-classes. Kreck and Traving showed that the conjecture holds in complex dimension 4 if the total degree is divisible by 16. In this talk I will present the proof of the remaining cases. It is known that the conjecture holds up to connected sum with the exotic 8-sphere (this is a result of Fang and Klaus), so the essential part of our proof is understanding the effect of this operation on complete intersections. This is joint work with Diarmuid Crowley.
|
|
HHHW04 |
6th December 2018 16:30 to 17:00 |
Danica Kosanović |
Contributed talk - Extended evaluation maps from knots to the embedding tower
The evaluation maps from the space of knots to the associated embedding tower are conjectured to be universal knot invariants of finite type. Currently such invariants are known to exist only over the rationals (using the existence of Drinfeld associators) and the question of torsion remains wide open. On the other hand, grope cobordisms are certain operations in ambient 3-space producing knots that share the same finite type invariants and give a geometric explanation for the appearance of Lie algebras and graph complexes. I will explain how grope cobordisms and an explicit geometric construction give paths in the various levels of the embedding tower. Taking components recovers the result of Budney-Conant-Koytcheff-Sinha, showing that these invariants are indeed of finite type. This is work in progress joint with Y. Shi and P. Teichner. |
![]() ![]() |
HHHW04 |
7th December 2018 10:00 to 11:00 |
Andre Henriques |
The complex cobordism 2-category and its central extensions
I will introduce a symmetric monoidal 2-category whose objects are 0-manifolds, whose 1-morphisms are 1-dimensional smooth cobordisms, and whose 2-morphisms are Riemann surfaces with boundary and cusps. I will introduce a certain central extension by ℝ₊ and explain its relevance in chiral conformal field theory. Finally, I will explain the state of my understanding on the question of classification of such extensions by ℝ₊.
|
![]() |
HHHW04 |
7th December 2018 11:30 to 12:30 |
Sam Nariman |
Topological and dynamical obstructions to extending group actions.
For any 3-manifold $M$ with torus boundary, we find finitely generated subgroups of $\Diff_0(\partial M)$ whose actions do not extend to actions on $M$; in many cases, there is even no action by homeomorphisms. The obstructions are both dynamical and cohomological in nature. We also show that, if $\partial M = S^2$, there is no section of the map $\Diff_0(M) \to \Diff_0(\partial M)$. This answers a question of Ghys for particular manifolds and gives tools for progress on the general program of bordism of group actions. This is a joint work with Kathryn Mann.
|
![]() |
HHHW04 |
7th December 2018 13:30 to 14:30 |
Ryan Budney |
Some prospects with the splicing operad
Roughly six years ago I described an operad that acts on spaces of `long knots'. This is the space of smooth embeddings of R^j into R^n. The embeddings are required to be standard (linear) outside of a disc, and come equipped with a trivialisation of their normal bundles. This splicing operad gives a remarkably compact description of the homotopy-type of the space of classical long knots (j=1, n=3), that meshes well with the machinery of 3-manifold theory: JSJ-decompositions and geometrization. What remains to be seen is how useful this splicing operad might be when n is larger than 3. I will talk about what is known at present, and natural avenues to explore.
|
![]() |
HHHW04 |
7th December 2018 14:30 to 15:30 |
Diarmuid Crowley |
Relative kappa-classes
Diff(D^n), the the space of diffeomorphisms of the n-disc fixed near the boundary has rich rational topology. For example, Weiss's discovery of ``surreal'' Pontrjagin classes leads to the existence of rationally non-trivial homotopy classes in BDiff(D^n). For any smooth n-manifold M, extension by the identity induces a map BDiff(D^n) \to BDiff(M). In this talk I will report on joint work with Wolfgang Steimle and Thomas Schick, where we consider the problem of computing the image of the ``Weiss classes'' under the maps on homotopy and homology induced by extension. This problem naturally leads one to consider relative kappa-classes. Via relative kappa-classes, we show that the maps induced by extension are rationally non-trivial for a wide class of manifolds M, including aspherical manifolds (homology, hence also homotopy) and stably parallelisable manifolds (homotopy). When M is aspherical, our arguments rely on vanishing results for kappa-classes due to Hebestreit, Land, Lueck and Randal-Williams. |
![]() |
HHH |
11th December 2018 14:00 to 15:00 |
Ieke Moerdijk | Dendroidal spaces and mapping spaces between little cubes operads. | |
HHH |
11th December 2018 15:30 to 16:30 |
Paolo Salvatore |
Wonderful Fulton-MacPherson operads The Fulton-MacPherson operads are E_n operads that are miraculously invariant under the W cofibrant resolution by Boardman-Vogt. This allows a geometric approach to several topics including factorization homology, Koszul duality of E_n-operads, cellular operadic subdivision, and E_n-algebra homology. (part of this is joint work with Michael Ching and Benoit Fresse) |
|
HHH |
13th December 2018 15:30 to 15:45 |
Clark Barwick | The line isn’t contractible | |
HHH |
13th December 2018 15:45 to 16:00 |
Daniela Egas Santander | Wandering down the path to path homology | |
HHH |
13th December 2018 16:00 to 16:15 |
Gijs Heuts | Whitehead products in v_n-periodic homotopy groups | |
HHH |
13th December 2018 16:15 to 16:30 |
Martin Palmer-Anghel | Homological stability for moduli spaces of disconnected submanifolds | |
HHH |
18th December 2018 14:00 to 15:00 |
Boris Botvinnik | Positive scalar curvature metrics on manifolds with fibred singularities |
![]() |
HHH |
18th December 2018 15:30 to 16:30 |
Birgit Richter |
Spaces and cochains -- yet another approach
Rationally, the homotopy type of any
reasonable space is completely determined by (a minimal model of) the Sullivan
cochain algebra of the space. If you want to be non-rational, then Mandell's
result says that the $E_\infty$-algebra structure of the cochains determines
the homotopy type. In joint work with Steffen Sagave we construct a strictly
commutative model of the cochains of a space using the diagram category of
finite sets and injections in order to free things up. We show that this cochain
algebra determines the homotopy type of (finite type, nilpotent) spaces |
![]() |
HHH |
20th December 2018 15:30 to 15:45 |
Robert Bruner | Gröbner bases | |
HHH |
20th December 2018 15:45 to 16:00 |
Sam Nariman | Vanishing or non-vanishing of kappa_2 | |
HHH |
20th December 2018 16:00 to 16:15 |
Nathalie Wahl | Pushing around, trying to stay normal and positive | |
HHH |
20th December 2018 16:15 to 16:30 |
Anna Marie Bohmann | Here Happily Have we assembled |