William Balderrama
Email: balderr2 (at) illinois.edu
Office: B3 Coble Hall
I am a sixth year PhD student; my advisor is Charles Rezk. I'm on the job market this year.
My work is broadly in stable homotopy. I am interested in chromatic homotopy, and in the tools that enable computations in related settings.
Here's my CV.
Papers.
 Title. Approximating higher algebra by derived algebra (pdf, draft, 2020).
Abstract. We develop a form of the theory of productpreserving presheaves of ∞groupoids as a natural setting for the construction of obstruction theories and spectral sequences approximating higher, or spectral, algebra by mere derived algebra. We account for infinitary phenomena, allow for the inclusion of completed settings into the general theory.
 Title. Algebraic theories of power operations (pdf, draft, 2020).
Abstract. We develop some aspects of algebraic theories that are useful for working with some of the algebraic structures that arise in stable homotopy theory, with an emphasis on their role in certain obstruction theories. We give a general treatment of Koszul complexes which may be of independent interest. We describe in detail the tools one obtains for computing with E_{∞} algebras over F_{p} and over LubinTate spectra. As an application, we demonstrate the existence of E_{∞} periodic complex orientations at heights h ≤ 2.
More. Slides for a talk I gave on the above two items. Slides for a variant. Slides for an older talk. Finally slides for a 10 minute video (YouTube link; file here, 16MiB) recorded for the eATEN.
 Title. Definability and decidability in expansions by generalized Cantor sets, with Philipp Hieronymi (arXiv, 2017).
More fun stuff.
 A Curtis table for the mod 2 lambda algebra, complete through degree 72. The file also contains an exposition of the topic. Data generated from a little program I wrote in Common Lisp, which you can find here. It computes full cycles and full tags; if you want these, see here (70.3 MiB / 5.2 GiB uncompressed).
 Notes covering the classification of formal groups over a perfect field from the viewpoint of their Dieudonné modules. The main point was to better understand the following fact: Isomorphism classes of finite height h formal groups over a finite field F_{pr} are in natural correspondence with a quotient of the h'th Morava stabilizer group S_{h}, and by taking top exterior powers this gives you a map S_{h} → S_{1} = Z_{p}^{×}. The observation is that this differs from the standard determinant homomorphism by a twist of (1)^{r(h1)}.
 Notes on a short proof of straightening / unstraightening for left fibrations over an ordinary category assuming a characterization of the covariant model structure.
 Notes that describe some ordinary category theory using discrete (op)fibrations.
Seminars.
Teaching.
 Fall 2016: Teaching Assistant for Math 221 Section ADD.
 Fall 2017: Teaching Assistant for Math 221 sections ADL and ADM.
 Fall 2018: Teaching Assistant for Math 221 sections CDE and CDF, as well as Head TA for the course.
 Spring 2019: Teaching Assistant for Math 231 sections ADE and ADT.
 Fall 2019: Teaching Assistant for Math 221 sections CDD and CDE.
 Spring 2020: Teaching assistant for Math 231 Sections CDF and CDP.
