# Warwick algebraic topology seminar 20/21

A list of the seminar talks of the previous years can be found here.

###### Term 3

The talks will take place on Tuesday on MS teams at 4pm. You can join the team with the code **hud33su**, or email me at emanuele.dotto@warwick.ac.uk.

Date | Speaker | Affiliation | Title | Notes |
---|---|---|---|---|

Apr 27 | Jonas McCandless | Münster | ||

May 4 | ||||

May 11 | ||||

May 18 | Andrea Bianchi | Copenhagen | ||

May 25 | ||||

Jun 1 | ||||

Jun 8 | Mura Yakerson | ETHZ | ||

Jun 15 | ||||

Jun 22 | Andrew Blumberg | UT Austin | ||

Jun 29 |

###### Term 2

Date | Speaker | Affiliation | Title | Notes |
---|---|---|---|---|

Jan 12 | Maximilien Péroux | University of Pennsylvania | Coalgebras and comodules in stable homotopy theory | Video |

Jan 19 | Herman Rohrbach | Wuppertal | When life gives you hyperbolic forms... | Video |

Jan 26 | John Berman | UT Austin | Enriched K-theory and THH | Video |

Feb 2 | Dan Berwick-Evans | Urbana-Champaign | How do field theories detect the torsion in topological modular forms? | Video |

Feb 9 | Lior Yanovski | Bonn | Higher Cyclotomic Extensions in Chromatic Homotopy Theory | Video |

Feb 16 | Clover May | UCLA | The unique commutative ring structure on rational equivariant K-theory | Video |

Feb 23 | Severin Bunk | Hamburg | Universal Symmetries of Gerbes and a Smooth Model for the String Group | Video |

Mar 2 | David Ayala | Montana State | Picard group of genuine-C_{p^n} spectra via Stratifications | Video |

Mar 9 | Michael Ching | Amherst | Tangent ∞-categories and Goodwillie calculus | Video |

Mar 16 | Tomer Schlank | Jerusalem | Galois extension in the Telescopic Category |

##### Abstracts

###### Maximilien Péroux: Coalgebras and comodules in stable homotopy theory

In higher algebra, we study algebraic objects endowed with a multiplication that is associative only up to (coherent) homotopy, or commutative up to (coherent) homotopy. In this *Brave new algebra,* we study algebras and modules that includes the classical theory of algebra. The ground ring is not the ring of integer anymore, it is the sphere spectrum. Rigidification results (or sometimes called rectification) state that some of these highly coherent algebras over some rings can have their multiplication rigidified into a strictly associative multiplication. This has been used in many instances using the tool of model categories. In fact, in the 90s, many symmetric monoidal model categories of spectra were introduced such that strictly associative associative algebras were representing A_\infty-algebras, and similarly E_\infty-algebras.

In this talk, we will explore the dual algebraic objects of coalgebras and comodules in higher algebra. Instead of a multiplication, we have a comultiplication\coaction that we now require to be *co-associative* up to higher homotopy. I will show that higher algebras are enriched over higher coalgebras and thus, coalgebras provide insight on the structure for algebras. However, we will see that these objects are much more mysterious than algebras. I will show that none of the current monoidal model categories of spectra represent well the higher coalgebras in spectra. This is will hint that the correct language to study higher coalgebra is infinity-categories. I will also show that it is challenging but possible to rigidify coaction of comodules when using connective spectra over a field. This result allows to define a *derived cotensor product of comodules* which has not been possible before.

###### Herman Rohrbach: When life gives you hyperbolic forms...

Atiyah and Segal proved their famous completion theorem for topological K-theory back in 1969. In particular, it states that the natural map from the G-equivariant K-theory of the point (where G is a compact Lie group) to the K-theory of the classifying space BG is a completion of rings. Almost fifty years later, Krishna (2015) proved an analogue for algebraic K-theory. Whether and under what conditions Atiyah-Segal completion holds for Hermitian K-theory (Grothendieck-Witt theory) remains an open question, and is the topic of my PhD thesis. In this talk, I will sketch a proof of Atiyah-Segal completion for GW-theory in the simplest case of the geometric classifying space of a split torus, in a jungle of hyperbolic forms, long exact sequences and pro-modules...

###### John Berman: Enriched K-theory and THH

I will discuss applications (both established and conjectural) of enriched categories to topological Hochschild homology and K-theory. This builds on some new developments reducing the theory of enriched infinity categories to higher algebra.

###### Dan Berwick-Evans: How do field theories detect the torsion in topological modular forms?

Since the mid 1980s, there have been hints of a connection between 2-dimensional field theories and elliptic cohomology. This lead to Stolz and Teichner's conjectured geometric model for the universal elliptic cohomology theory of topological modular forms (TMF) for which cocycles are 2-dimensional (supersymmetric) field theories. Properties of these field theories lead naturally to the expected integrality and modularity properties of classes in TMF. However, the abundant torsion in TMF has always been mysterious from the field theory point of view. In this talk, we will describe a map from 2-dimensional field theories to a cohomology theory that approximates TMF. This map affords a cocycle description of certain torsion classes. In particular, we will explain how a choice of anomaly cancelation for the supersymmetric sigma model with target S^3 determines a cocycle representative of the generator of \pi_3(TMF)=Z/24.

###### Lior Yanovski: Higher Cyclotomic Extensions in Chromatic Homotopy Theory

In stable homotopy theory, the Morava K-theories K(n) play the role of "prime fields", which interpolate between characteristic 0 and characteristic p. The main approach for studying the K(n)-local categories is via their Galois extensions. These Galois extensions are governed by the Morava stabilizer groups, which are of an arithmetic nature. In a joint work with T. Schlank and S. Carmeli, we use *higher semiadditivity* (a.k.a *ambidexterity*) to reinterpret the abelian Galois extensions of the K(n)-local categories as "higher analogues" of *cyclotomic extensions*. We apply this perspective to lift these abelian Galois extensions to the far less understood T(n)-local categories and draw some conclusions regarding the Picard groups of these categories.

###### Clover May: The unique commutative ring structure on rational equivariant K-theory

The uniqueness of complex K-theory as a commutative ring spectrum was shown by Baker--Richter in 2005 using obstruction theory. Equivariantly, there are many possible levels of commutativity and these are encoded by norms. Using rational algebraic models, we show the uniqueness of rational equivariant KU as both a naive and genuine commutative ring spectrum for G a finite abelian group. We first calculate the image of KU as a naive commutative spectrum in the algebraic model of Barnes--Greenlees--Kedziorek, which is given by rational CDGAs with an action of the Weyl group. Then we extend this calculation to Wimmer's infinity-categorical model for genuine commutative spectra, which incorporates shadows of the norms. It is difficult to calculate the image of a spectrum in either model. However, in both cases, formality completes the computation and proves uniqueness. This is joint work with Anna Marie Bohmann, Christy Hazel, Jocelyne Ishak, and Magdalena Kedziorek.

###### Severin Bunk: Universal Symmetries of Gerbes and a Smooth Model for the String Group

Gerbes are geometric objects describing the third integer cohomology of a manifold and the B-field in string theory; they can essentially be understood as bundles of categories whose fibre is equivalent to the category of vector spaces. I will start by explaining gerbes and their categorical features. The main topic of this talk will then be the study of symmetries of gerbes from a universal perspective. We will see that these symmetries are completely encoded in a certain extension of smooth 2-groups. In the last part of the talk, I will survey how this construction can be used to provide a new smooth model for the string group, via a theory of principal bundles and group extensions in ∞-topoi.

###### David Ayala: Picard group of genuine-C_{p^n} spectra via Stratifications.

This talk will be centered around a recent computation, joint with Nick Rozenblyum and Aaron Mazel-Gee, of the Picard group of genuine-C_{p^n} spectra, for p an odd prime.

It will go something like this. Let G be a finite group, and let R be a commutative ring (or ring spectrum). We’ll examine ``genuine-G R-modules’’. One source of examples of such arise from the reduced chains C(S^V;R) with coefficients in R of the one-point compactification of a representation V of G. Such examples are hardly general, for they are tensor-invertible, or ``1-dimensional’’. The Picard group of genuine-G R-modules consists of all such 1-dimensional objects. These naturally grade the homotopy groups of general genuine-G R-modules, sufficiently robustly to detect equivalences (think: Whitehead’s theorem). So we seek to identify this Picard group.

In the aforementioned joint work, based on early work of Greenlees-May, Glasman, and others, we articulate a sense in which the category of genuine-G R-modules shares many features with quasi-coherent sheaves over a stratified scheme, actually a stratified algebraic stack with very few points. I will supply a definition of a ``stratified non-commutative stack’’, and outline how both quasi-coherent sheaves on a stratified scheme as well as genuine-G R-modules organize as such an entity.

An advantage of this perspective is that it lends to certain computations by doing so stratum-wise, then assembling these results via gluing data among strata. I will demonstrate this computational approach by outlining the computation of the Picard group of genuine-C_{p^n} Z-modules.

###### Michael Ching: Tangent ∞-categories and Goodwillie calculus

This talk is about the framework of tangent categories, introduced by Rosický and Cockett-Cruttwell to axiomatize the tangent bundle functor on smooth manifolds. In joint work with Kristine Bauer and Matthew Burke, we have extended that framework to ∞-categories and constructed an important new example based on a tangent bundle construction of Lurie. We show that this example encodes Goodwillie's theory of functor calculus, making precise the analogy between Goodwillie calculus and the differential calculus of smooth manifolds. If there's time I will also describe a pair of tangent structures on ∞-toposes, one a restriction of the Goodwillie tangent structure and one an extension.

###### Tomer Schlank: Galois extension in the Telescopic Category

We shall employ the existence of so-called higher cyclotomic Galois extensions in the T(n)-local category to get several results about it. In particular, we shall discuss Picard elements, non-abelian Galois extension, Higher Kummer theory, and Fourier transform. If time permits we shall also discuss a so-called "Cyclotomic Redshift " in algebraic K-theory, These are joint projects with Lior Yanovski, Shachar Carmeli, Tobias Barthel, and Shay ben Moshe.

###### Term 1

The talks will take place on Tuesday on MS teams at 4pm. You can join the team with the code **hud33su**, or email me at emanuele.dotto@warwick.ac.uk.

Date | Speaker | Affiliation | Title | Notes |
---|---|---|---|---|

Oct 6 | Lennart Meier | Utrecht | Groups and Group Laws Behind Equivariant Cohomology Theories | Video |

Oct 13 | Dylan Wilson | Harvard | The multiplication on truncated Brown-Peterson spectra | Video |

Oct 20 | Stefano Ariotta | Münster | Filtered objects and coherent chain complexes in stable ∞-categories | Video |

Oct 27 | Alice Hedenlund | Oslo | Multiplicative spectral sequences via decalage | Video |

Nov 3 | Ieke Moerdijk | Utrecht | Homology of infinity-operads | Video |

Nov 10 | Irakli Patchkoria | Aberdeen | On the Balmer spectrum of derived Mackey functors | Video |

Nov 17 | Danica Kosanović | Paris XIII | Knot invariants from homotopy theory | Video |

Nov 24 | Asaf Horev | Stockholm | Genuine equivariant factorization homology | Video |

Dec 1 | Goncalo Tabuada | Warwick | Motivic Atiyah-Segal completion theorem | Video |

Dec 8 | Elden Elmanto | Harvard |
On Bass' NK groups in mixed and positive characteristics |
Video |

##### Abstracts

###### Lennart Meier: Groups and Group Laws Behind Equivariant Cohomology Theories

Formal groups play a central role in non-equivariant chromatic homotopy theory. We explore analogues in the global equivariant world, starting our tour with equivariant K-theory and touching in particular upon equivariant elliptic cohomology and the new concept of spectral global group laws. This is based on joint work with David Gepner and with Markus Hausmann.

###### Dylan Wilson: The multiplication on truncated Brown-Peterson spectra

(Joint with Jeremy Hahn). The truncated Brown-Peterson spectra, BP<n>, are important objects in chromatic homotopy theory. They are known to be associative and, by theorems of Lawson and Senger, not to be commutative, in general. We produce, for each n, a form of BP<n> which is an E_3-algebra over complex cobordism. The construction uses higher centralizers, Koszul duality, and a curious highly structured algebra over complex cobordism. Our result, combined with work of Bruner-Rognes and unpublished work of Krause-Nikolaus, has implications for the topological cyclic homology and K-theory of truncated Brown-Peterson spectra.

###### Stefano Ariotta: Filtered objects and coherent chain complexes in stable ∞-categories

Given any stable ∞-category equipped with a t-structure, a very general construction, whose first incarnation is due to Beilinson, lets one endow its

∞-category of filtered objects with an induced t-structure. In current work in progress, we give a new perspective on such t-structures of Beilinson type by

showing that (complete) filtered objects are equivalent to Joyal's "coherent chain complexes" and by studying the formal properties enjoyed by this equivalence.

###### Alice Hedenlund: Multiplicative spectral sequences via decalage

Décalage was originally introduced by Deligne and one can roughly describe the process as providing us with a way to encode “turning the page of a spectral sequence” on the level of filtrations. Although not originally phrased in this way, décalage can be made sense in terms taking connective covers of a filtration in a certain t-structure on the category of filtered complexes called the Beilinson t-structure. This allows one to generalise the construction also to filtered objects in other stable oo-categories, such as spectra. In this talk, we show that the language of the Beilinson t-structure and décalage provides access to highly structured results on filtered spectra and their associated spectral sequences. In particular, we sketch how it can be used to show that the functor assigning a spectral sequence to a filtered spectrum can be endowed with the structure of a map of oo-operads.

###### Ieke Moerdijk: Homology of Infinity-Operads

We will describe a natural and elementary way of extending the homology of operads to the case of operads-up-to-homotopy, alias oo-operads. We will also discuss various ways to extend the theory: (a) The domain of definition can be extended to obtain a left Quillen functor on dendroidal complete Segal spaces. (b) The values can be enriched to have the structure of an oo-cooperad. The latter construction has an inverse up to homotopy, from oo-cooperads to oo-operads, which extends to bar-cobar duality of Ginzburg-Kapranov and Getzler-Jones.

The talk is based on joint work with Eric Hoffbeck.

###### Irakli Patchkoria: On the Balmer spectrum of derived Mackey functors

A result of Devinatz-Hopkins-Smith describes the spectrum of prime ideals of finite spectra. Under this identification the information encoded by the zeroth and infinite chromatic levels can be identified with the spectrum of the derived category of integers, which by a result of Hopkins-Neeman is just equivalent to Spec(Z). It turns out that in the equivariant context neither the spectrum of the usual derived category of Mackey functors nor the spectrum of the Burnside ring play the role of Spec(Z). Given a finite group G, we show that Kaledin's category of derived G-Mackey functors describes the zeroth and infinite chromatic levels of the Balmer spectrum of finite G-spectra. We compute the Balmer spectrum of derived G-Mackey functors. Along the way we will identify Kaledin's category with the homotopy category of the stable infinity category of HZ-linear spectral Mackey functors in the sense of Barwick. This is all joint with B. Sanders and C. Wimmer.

###### Danica Kosanović: knot invariants from homotopy theory

Embedding calculus of Goodwillie and Weiss is a certain homotopy theoretic technique for studying spaces of embeddings. When applied to the space of knots this method gives a sequence of knot invariants which are conjectured to be universal Vassiliev invariants. This is remarkable since such invariants have been constructed only rationally so far and many questions about possible torsion remain open. In this talk I will present some explicit computations and outline why these knot invariants are surjections. This confirms one half of the universality conjecture, and confirms it rationally, and p-adically in a range. We also prove some missing cases of the Goodwillie--Klein connectivity estimates.

###### Hasaf Horev: Genuine equivariant factorization homology

Factorization homology is a natural invariant of manifolds, a variant of Salvatore’s configuration space with summable labels. In dimension one this geometric construction recovers topological Hochschild homology. I’ll describe an equivariant extension of this theory, where the manifold, the coefficient and the resulting invariant all admit a finite group action. After discussing equivariant nonabelian Poincaré duality I’ll explain how one can use its interaction with equivariant Thom spectra to compute the real topological Hochschild homology of HF_2. Joint work with Inbar Klang and Foling Zou.

###### Goncalo Tabuada: Motivic Atiyah-Segal completion theorem

The famous Atiyah-Segal completion theorem describes Borel’s K-theory as the completion of equivariant K-theory with respect to the augmentation ideal. This topological result, proved in the late sixties, was adapted to the algebraic setting by Thomason in the eighties and by Krishna in the last few years. In this talk I will describe a motivic Atiyah-Segal completion theorem which applies not only to K-theory but also to other invariants such as periodic cyclic homology. Among other applications, it leads to an improvement of the original results of Krishna, Thomason and Atiyah-Segal.

This talk is based on a recent joint work with Michel Van den Bergh (arXiv:2009.08448).

###### On Bass' NK groups in mixed and positive characteristics

In characteristic zero, work of Cotinas-Haesemeyer-Weibel-Walker has elucidated the structure of Bass' NK groups - the obstruction to K-theory being homotopy invariant. I will report some joint work in progress with Martin Speirs on these NK groups in mixed and positive characteristics. Notable results include: a bounded p-torsion result in positive characteristics and a purity result in mixed characteristics.