Babytop Seminar
Spring 2025
This semester, Babytop will focus on chromatic homotopy theory.
We meet at 4:15pm on Tuesdays in Harvard SC 309 (unless otherwise noted). Click here to add the seminar to your Google calendar.
-
Keita Allen (MIT)
The theory of (faithfully flat) descent provides a way of understanding a ring in terms of an algebra over it, which can be very useful when the base ring is complicated. An analogue of these ideas in the stable homotopy category, where we consider ring spectra and algebras over them, leads to the Adams spectral sequence; we obtain a systematic way of studying the sphere spectrum by “resolving” it in terms of another, easier to understand, ring spectrum. A surprising discovery of Quillen tells us that when we use the complex cobordism spectrum MU to resolve the sphere, we obtain a spectral sequence with input coming from the purely algebraic theory of formal groups.
This provides another plan of attack for understanding the homotopy groups of spheres, and stable homotopy theory more broadly; understanding how formal groups are organized can in turn help us understand how homotopy theory is organized. This turns out to be very effective, and is the basis for what has become known as chromatic homotopy theory. In my talk, I will give an overview of how some of these ideas are developed, emphasizing the analogy with algebra, and highlight some important characters who we will be seeing later.
-
Oakley Edens (Harvard)
In the previous talk, we saw that the behaviour of the complex cobordism spectrum MU controls homotopy groups of spheres via the Adams-Novikov spectral sequence. In this talk, I will further discuss how MU can be used to relate topology and algebra via formal group laws. This will lead to defining the moduli stack of formal groups, which will be a central focus of the remaining talks. Finally, via the theory of Hopf algebroids, we will show how one can associate, to any spectrum, certain quasi-coherent sheaves on the moduli stack of formal groups.
-
Tyler Lane (Harvard)
As the title suggests, this talk is all about the moduli stack of formal groups. I’ll begin by presenting the moduli stack of formal groups as a quotient stack. Then I’ll discuss the height filtration and some of its basic properties. One of my main goals is to present some theorems about quasi-coherent sheaves on the stack of formal group which will serve as inspiration for some corresponding results in chromatic homotopy theory. Finally I will discuss the Landweber exact functor theorem.
-
Natalie Stewart (Harvard)
It's a classical result due to Nishida that HF_p detects nilpotence of simple p-torsion elements in the homotopy groups of a ring spectrum--as a corollary, one finds that all elements of pi_*S are nilpotent. In this talk, we'll sketch Devanitz-Hopkins-Smith's more advanced proof of this fact: MU detects arbitrary nilpotence. We'll also discuss various corollaries in stable homotopy theory.
-
Daishi Kiyohara (Harvard)
TBD
-
Kush Singhal (Harvard)
We will compute the homotopy groups of the Bousfield localisation of the sphere at K(1) and (time permitting) E(1). On the way, we will encounter Adams operations on complex K theory. If time permits, we will also discuss how the J-homomorphism appears in this picture.
-
Thomas Brazelton (Harvard)
We'll provide a leisurely introduction to the theory of descent for maps of ring spectra, and Rognes' theory of Galois extensions of ring spectra. We will also present a profinite Galois correspondence in this setting due to Mathew, and time pending discuss applications to the K(n)-local setting.
-
Andy Senger (Harvard)
The nilpotence theorem may be interpreted in the following way: for any connective R, there is a sublinear vanishing curve on the E_oo-page of its Adams--Novikov spectral sequence. This is very false on the level of the E_2-page! Indeed, by an algebraic version of chromatic homotopy theory, there is an infinite sequence of non-nilpotent operators theta_n which act on the E_2-page along lines of decreasing slope. They are much like the v_i's in that each one begins to exist after the previous one is killed. Nilpotence is then the statement that each theta_n becomes nilpotent at some E_N-page of the ANSS. I will explain all this, and how to use it to prove the nilpotence theorem using the Nishida nilpotence theorem. This proof of nilpotence is due to Robert Burklund.
Sanath Devalapurkar (Harvard)
I’ll explain a generalization of the q-logarithm (and time permitting, the q-hypergeometric function) which is motivated by calculations in chromatic homotopy theory. I’ll also prove a seemingly miraculous formula about these functions, which comes naturally from a result of myself and Raksit about the topological Hochschild homology of ℤₚ.
This seminar is organized by Matthew Niemiro.