Topology Seminar
Past Talks
Spring 2019

 May 212019
Teena Gerhardt (Michigan State University)
(Topological) 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 Ktheory. For a C_nequivariant ring spectrum, one can define C_nrelative THH. This leads to the question: What is the algebraic analogue of C_nrelative 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 TRtheory. This is joint work with Andrew Blumberg, Mike Hill, and Tyler Lawson.

 May 142019
Angélica Osorno (Reed)
The combinatorics of the categorical equivariant BarrattEccles operad
The BarrattEccles operad is an E_{∞} operad given simply by taking the sequence of spaces EΣ_{n}. It can be constructed by first taking an operad P in categories and then taking its classifying space. Since algebras over P are precisely permutative categories, this operad is a key ingredient in the operadic infinite loop space machine that takes permutative categories to spectra. The categorical equivariant BarrattEccles operad P_G defined by GuillouMayMerling plays a similar role in equivariant infinite loop space theory. In this talk I will give some results about the combinatorics of P_G. I will show that it is not finitely generated when G > 1, but that there is a finitely generated suboperad Q_G that is appropriately equivalent to P_G. In the cases of G=C_2 and C_3, I will moreover give an explicit finite presentation of Q_G. This finite presentation allows us to describe algebras over Q_G in a compact way. This is joint work with K. Bangs, S. Binegar, Y. Kim, K. Ormsby, D. TamasParris and L. Xu.

 May 072019
Kate Ponto (University of Kentucky)
Fixed point invariants as additive invariants
The additivity of the Euler characteristic is one of its essential properties. Additivity holds and plays a similar role for the generalizations to the Lefschetz number and Reidemeister trace. For the Euler characteristic, additivity is captured by the observation that the Euler characteristic descends to a map out of algebraic Ktheory. The corresponding statement for the Lefschetz number and Reidemister trace would realize a vision of Klein, McCarthy, and Williams and could provide a new approach to invariants for periodic points. I’ll describe some first steps toward this goal that connect the cyclotomic trace with the bicategorical trace. This is joint work with Jonathan Campbell.

 Apr 162019
TBA
TBA
Namboodiri: 12th, 15th, and 16th
TBA

 Apr 092019
Jeremy Miller (Purdue)
High dimensional cohomology of congruence subgroups
The level p congruence subgroup of SL_n(Z) is defined to be the subgroup of matrices congruent to the identity matrix mod p. These groups have finite cohomological dimension. In the 1970s, Lee and Szczarba gave a conjectural description of the top dimensional cohomology groups of these congruence subgroups. In joint work in progress with Patzt and Putman, we show that this conjecture is false for p>5. In particular, these congruence subgroups have extra cohomology classes in their top degree cohomology coming from the first homology group of the associated compactified modular curve. I will also discuss joint work with Patzt and Nagpal on a stability pattern in the high dimensional cohomology of congruence subgroups.
Winter 2019

 Mar 122019
Nicolle Gonzales (USC)
Categorical Bernstein Operators and the BosonFermion correspondence.

 Feb 262019
Paul Goerss (Northwestern)
Dualizing modules in stable homotopy theory
Let G be a very nice padic analytic group; I have in mind examples such as Gl_n(Z_p) or the Morava stabilizer group. The category of continuous Gmodules has a very elegant theory of duality reflecting Poincaré duality for G. We would very much like to extend this to stable homotopy theory where, in various contexts, it would help explain some deep structure we have seen so far only through computations. It is easy enough to define the dualizing objects, but then we are left with understanding them. It turns out that if we are only interested in finite subgroups of G (which would be a serious start) we can get away with classical computations with characteristic classes. This is an ongoing project with Agnès Beaudry, Mike Hopkins, and Vesna Stojanoska.

 Feb 122019
Jens Jakob Kjaer (Notre Dame)
Unstable v_{1}periodic Homotopy Groups through Goodwillie Calculus
It is a classical result that the rational homotopy groups, π_{*}(X)⊗\mathbbQ, as a Liealgebra can be computed in terms of indecomposable elements of the rational cochains on X. The closest we can get to a similar statement for general homotopy groups is the Goodwillie spectral sequence, which computes the homotopy group of a space from its spectral Lie algebra". Unfortunately both input and differentials are hard to get at. We therefore simplify the homotopy groups by taking the unstable v_{h}periodic homotopy groups, v_{h}^{−1}π_{*}( ) (note h=0 recovers rational homotopy groups). For h=1 we are able to compute the Ktheory based v_{1}periodic Goodwillie spectral sequence in terms of derived indecomposables. This allows us to compute v_{1}^{−1}π_{*}SU(d) in a very different way from the original computation by Davis.

 Feb 052019
Yuri Sulyma (UT)
Signgraded Topological Restriction Homology
Topological Hochschild homology (THH) is a genuine S^{1} spectrum introduced in order to approximate algebraic Ktheory. Its fixed points, known as topological Restriction homology (TR), are given by (a periodicization of) the de RhamWitt complex of arithmetic geometry; the equivariant structure is reflected in the F, V, R, and d operators on the de RhamWitt complex. However, equivariant stable homotopy theory provides yet further structure, which has hitherto been little exploited and remains arithmetically mysterious: we can consider homotopy groups graded by real representations of G, rather than just by \mathbbZ. These have been calculated for G=S^{1} by Gerhardt and Angeltveit. This subsumes the case where G is cyclic of odd order; however, 2primary cyclic groups have representations which are not restricted from an S^{1}representation, namely the sign representations. We will present computations of these signgraded TR groups, and briefly discuss applications to the slice filtration.

 Jan 222019
Ian Coley (UCLA)
The Ktheory of derivators

 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.