Topology Seminar
Past Talks
Winter 2019

 Jan 082019
XiaoLin (Danny) Shi (Harvard)
The slice spectral sequence of a C_{4}equivariant height 4 LubinTate theory
We will talk about the slice spectral sequence of a C_{4}equivariant spectrum. This spectrum is a variant of the detection spectrum that HillHopkinsRavenel used in their proof of the Kervaire invariant problem. After periodization and K(4)localization, this spectrum is equivalent to a height4 LubinTate theory E_{4} with C_{4}action induced from the GoerssHopkinsMiller theorem. In particular, our computation shows that E_{4}^{hC12} is 384periodic. This is joint work with Mike Hill, Guozhen Wang, and Zhouli Xu.
Fall 2018

 Dec 042018
Nick Gurski (Case Western Reserve University)
Recognizing presheaf categories, homotopically
A beautiful theorem of Kelly classifies when a functor F:A → X identifies X as presheaves on A, up to equivalence: when F is full, faithful, and its essential image is a strong generator of small projectives. I will discuss a version of this theorem for Venriched model categories which produces Quillen equivalences between a Vmodel category X and the projective model structure on Venriched presheaves on A using homotopical analogues of the notions of strong generator and small projective. This gives a proof of the Reversed StraighteningUnstraightening Theorem of Stevenson avoiding any use of localization. This is joint work with Kim Nguyen and Daniel Schaeppi.

 Nov 272018
Guchuan Li (Northwestern)
The GrossHopkins duals of higher real Ktheory at prime 2
The HopkinsMahowald higher real Ktheory spectra E_{n}^{G} are generalizations of real Ktheory; they are ring spectra which give some insight into higher chromatic levels while also being computable. This will be a talk based on joint work with Drew Heard and XiaoLin Danny Shi, in which we compute that higher real Ktheory spectra with group G=C_{2} at prime 2 and height n are GrossHopkins self duals with a shift 4+n. This will allow us to detect exotic invertible K(n)local spectra.

 Nov 202018
Tom Bachmann (MIT)
Power operations in normed motivic spectra
In joint work with M. Hoyois, we established (the beginnings of) a theory of "normed motivic spectra." These are motivic spectra with some extra structure, enhancing the standard notion of a motivic E_ooring spectrum (this is similar to the notion of Gcommutative ring spectra in equivariant stable homotopy theory). It was clear from the beginning that the homotopy groups of such normed spectra afford interesting *power operations*. In ongoing joint work with E. Elmanto and J. Heller, we attempt to establish a theory of these operations and exploit them calculationally. I will report on this, and more specifically on our proof of a weak motivic analog of the following classical result of Würgler: any (homotopy) ring spectrum with 2=0 is generalized EilenbergMacLane.

 Nov 132018
Irving Dai (Princeton University)
Involutive Floer Homology and Applications to the Homology Cobordism Group
In this talk, we discuss some recent applications of involutive Heegaard Floer homology (defined by Hendricks and Manolescu) to the homology cobordism group. We establish some nontorsion results and show that the homology cobordism group admits an infiniterank summand. This is joint work with Jennifer Hom, Matthew Stoffregen, and Linh Truong.

 Nov 062018
James Quigley (Notre Dame)
The parametrized Tate construction
The Tate construction is a powerful tool in classical homotopy theory. I will begin by reviewing the Tate construction and surveying some of its applications. I will then describe an enhancement of the Tate construction to genuine equivariant homotopy theory called the parametrized Tate construction and discuss some of its applications, including C_2equivariant versions of Lin's Theorem and the Mahowald invariant, blueshift for Real JohnsonWilson spectra (joint work with Guchuan Li and Vitaly Lorman), and trace methods for Real algebraic Ktheory (workinprogress with Jay Shah).

 Oct 302018
Ayelet Lindenstrauss (Indiana University)
On the Ktheory of division algebras over local fields
We calculate K_*(D; Z_p) where D is a central division algebra over a complete discrete valuation field K whose residue field has characteristic p. Suslin and Yufryakov have shown that if l is a prime other than p, K_*(D, Z_l) is isomorphic to K_*(K, Z_l) for all *>0 via a reduced trace map. We use a reduced trace map approach as well, comparing to K_*(K, Z_p) which has been calculated by Hesselholt and Madsen. The analogy to matrix algebras shows what a reduced trace map should be like, but it is not a natural construction nor indeed something that can always be done. Our calculation uses trace methods and Hochschildtype invariants for a maximal order A in D. Any central division algebra of degree d (that is, dimension d^2) over a field K as above contains a maximal unramified field extension L of K, which will be of dimension d. If we call K's ring of integers S and L's ring of integers T, then A tensored over S with T is close enough to being a matrix algebra that it has a reduced trace from its invariants to those of T. Comparison to that easier ring along with the action of the Galois group of L over K lets us define a reduced trace from the Hochschildtype invariants of A to those of S. (Joint with Lars Hesselholt and Michael Larsen.)

 Oct 232018
Allen Yuan (MIT)
The Frobenius in higher algebra
In classical algebra, the Frobenius provides a natural endomorphism of every ring in which p=0; this determines an action of the circle on the category of F_p algebras. In higher algebra, one can do away with the characteristic p assumption and define a Frobenius map for every Einfinity ring spectrum. In this talk, I will explain the analog of the circle action. The construction of the action features equivariant homotopy theory and a calculation of a nongroupcomplete variant of the K theory of F_p.

 Oct 232018
Tony Feng (Stanford University)
The ArtinTate pairing on the Brauer group of a surface
Joint NT seminar: 23:20pm in Ryerson 358
There is a canonical pairing on the Brauer group of a surface over a ﬁnite ﬁeld, and an old conjecture of Tate predicts that this pairing is alternating. I will present a resolution to Tate’s conjecture, whose key ingredient is a surprising connection to Steenrod operations.

 Oct 162018
Inna Zakharevich (Cornell University)
Deriving motivic measures
A motivic measure with values in an abelian group A is a function μ: {varieties}→ A which is additive, in the sense that for any closed embedding Y\hookrightarrow X we have μ(X) = μ(Y)+μ(X\Y). Many such measures, such as point counting, Euler characteristics, or the local zeta function actually take values in a K_{0}group. In this talk we will give a description of how to lift such measures to maps between spectra and show how to use these to find nontrivi elements in higher Kgroups of varieties.
Pretalk abstract: I will give a short introduction to algebraic Ktheory, focusing mostly on exact categories and the Qconstruction.

 Oct 092018
Dan BerwickEvans (UIUC)
A geometric model for complex analytic equivariant elliptic cohomology
Elliptic cohomology is a natural big brother to ordinary cohomology and Ktheory. In contrast to the geometric objects that provide representatives for cohomology and Ktheory classes (which lead to many applications), as yet there is no such geometric description of elliptic cohomology. This talk will explain a step forward, in joint work with Arnav Tripathy, for the case of equivariant elliptic cohomology over the complex numbers. The geometric objects of interest are inspired by supersymmetric gauge theory. No prior knowledge of either elliptic cohomology or gauge theories will be assumed.