Juvitop Seminar
Spring 2020
This semester Juvitop will be about Pretalbot: Chromatic Homotopy Theory.
We meet at 3:15 on Wednesday in Harvard Science Center, Room 221 unless otherwise noted.

$\begingroup$
Introduction
Dylan Wilson
Note special time 3pm and place, MIT Room 2151
$\endgroup$ 
$\begingroup$
Dexter Chua
I will introduce the notion of complex oriented cohomology theories from the point of view of orientation theory. I will then discuss the relation between complex oriented cohomology theories and formal group laws.
$\endgroup$ 
$\begingroup$
Knut Haus
I will talk about the ingredients of Quillen's geometric proof of his theorem that MU^*(pt) carries a universal formal group law. Going through the entire proof in detail is of course not feasible, but I will present some of the geometric ideas that go into it.
$\endgroup$ 
$\begingroup$
Morgan Opie
Last week, we saw that pi_*MU is the Lazard ring L, which classifies formal group laws. This facilitates a translation from homotopy theory to algebraic geometry: MUhomology can be understood in terms of quasicoherent sheaves on Spec L, and equivalences of group laws can be encoded in terms of an action of an algebraic group. In order to obtain an algebrogeometric object classifying formal groups, we want to quotient by this action. However, this is not a legal move in the category of schemes, which leads us to consider stacks. Our goal in this talk will be to give basic definitions and concrete examples of stacks, with a focus on the moduli stack of formal groups.
$\endgroup$ 
$\begingroup$
Tim Large
We will recall the moduli stack of formal groups, and explain how the MUhomology of a spectrum defines a quasicoherent sheaf on this stack. We will then relate its sheaf cohomology to the E_2 term of the AdamsNovikov spectral sequence.
$\endgroup$ 
$\begingroup$
Ishan Levy
We will discuss Lazard's ring, and its consequences for formal group laws of characteristic zero. This will be made explicit using the logarithm and then we will move on to characteristic p, and discuss the notion of height and its geometric meaning. If people are interested and there is time, I can also explain how to compute Lazard's ring.
$\endgroup$ 
$\begingroup$
Nir Gadish
We are on a path towards understanding the moduli stack of formal groups via its height filtration. Our main goal for the next lecture is the statement that height is the only invariant over an algebraically closed field. We will also see that there exist formal group laws of every height.
$\endgroup$ 
$\begingroup$
Kevin Chang
We will discuss the Landweber exact functor theorem and sketch a proof. We will also talk about some applications and connect the theorem to what we've learned about the moduli stack of formal groups.
$\endgroup$ 
$\begingroup$
Lucy Yang
This talk will discuss the structure of the endomorphism ring of the unique (up to isomorphism) formal group of height n over F_p and the Morava stabilizer group.
$\endgroup$ 
$\begingroup$
Jun Hou Fung
In this talk, we'll set up GoerssHopkins obstruction theory and use it to show that Morava Etheory has a unique E_∞ring structure.
$\endgroup$ 
$\begingroup$
Open Questions in Chromatic Homotopy Theory
Jeremy Hahn
$\endgroup$
This seminar is organized by Araminta Gwynne, Morgan Opie, and Lucy Yang.