research papers and products

My research is at the interface of homotopy theory (squishy shapes) and algebraic geometry (polynomial shapes). I have parallel interests in operads (families of compatible operations), mathematics visualization (pretty pictures), and geometric and topological data analysis in neuroimaging (brain shapes). Below, you will find my research papers, my students’ papers, my expository writing, seminars and conferences I have co-organized, and recent talks. Here is my CV, updated November 2023.

research papers

  • $N_\infty$ operads, transfer systems, and the combinatorics of bi-incomplete Tambara functors. Oberwolfach report. PDF.
    Abstract. I summarize the main result of Transfer systems for rank two elementary Abelian groups: Characteristic functions and matchstick game enumerating transfer systems for rank 2 elementary Abelian $p$-groups, and use this to enumerate compatible pairs of transfer systems (in the sense of bi-incomplete Tambara functors) for the same group of equivariance. Based on joint work with Linus Bao, Christy Hazel, Tia Karkos, Alice Kessler, Austin Nicolas, Jeremie Park, Cait Schleff, and Scotty Tilton via the eCHT REU.
  • Transfer systems for rank two elementary Abelian groups: Characteristic functions and matchstick games. Submitted. arXiv:2310.13835.
    Abstract and coauthors. We prove that Hill's characteristic function $\chi$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $\chi$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately producing a ``matchstick game'' that puts saturated transfer systems in bijection with certain structured subsets of covering relations. After an interlude developing a recursion for transfer systems on certain combinations of bounded posets, we apply these results to determine the full lattice of transfer systems for rank two elementary Abelian groups. (With Linus Bao, Christy Hazel, Tia Karkos, Alice Kessler, Austin Nicolas, Jeremie Park, Cait Schleff, and Scotty Tilton via the eCHT REU.)
  • A motivic analogue of the $K(1)$-local sphere spectrum. Accepted in JEMS. arXiv:2307.13512.
    Abstract and coauthors. We identify the motivic $KGL/2$-local sphere as the fiber of $\psi^3-1$ on $(2,\eta)$-completed Hermitian $K$-theory, over any base scheme containing $1/2$. This is a motivic analogue of the classical resolution of the $K(1)$-local sphere, and extends to a description of the $KGL/2$-localization of any cellular motivic spectrum. Our proof relies on a novel conservativity argument that should be of broad utility in stable motivic homotopy theory. (With William Balderrama and J.D. Quigley.)
  • The combinatorics of $N_\infty$ operads for $C_{qp^n}$ and $D_{p^n}$. Submitted. arXiv:2209.06992.
    Abstract and coauthors. We provide a general recursive method for constructing transfer systems on finite lattices. Using this we calculate the number of homotopically distinct $N_\infty$ operads for dihedral groups $D_{p^n}$, $p>2$ prime, and cyclic groups $C_{qp^n}$, $p\ne q$ prime. We then further display some of the beautiful combinatorics obtained by restricting to certain homotopically meaningful $N_\infty$ operads for these groups. (With Scott Balchin and Ethan MacBrough.)
  • Lifting $N_\infty$ operads from conjugacy data. Tunisian Journal of Mathematics. arXiv:2209.06798.
    Abstract and coauthors. We isolate a class of groups — called lossless groups — for which homotopy classes of $G$-$N_\infty$ operads are in bijection with certain restricted transfer systems on the poset of conjugacy classes $\operatorname{Sub}(G)/G$. (With Scott Balchin and Ethan MacBrough.)
  • Composition closed premodel structures and the Kreweras lattice. European Journal of Combinatorics. arXiv:2209.03454.
    Abstract and coauthors. We investigate the rich combinatorial structure of premodel structures on finite lattices whose weak equivalences are closed under composition. We prove that there is a natural refinement of the inclusion order of weak factorization systems so that the intervals detect these composition closed premodel structures. In the case that the lattice in question is a finite total order, this natural order retrieves the Kreweras lattice of noncrossing partitions as a refinement of the Tamari lattice, and model structures can be identified with stacked triangulations of a particular shape. (With Scott Balchin and Ethan MacBrough.)
  • Hochschild homology of mod-$p$ motivic cohomology over algebraically closed fields. Submitted. arXiv:2204.00441.
    Abstract and coauthors. We perform Hochschild homology calculations in the algebro-geometric setting of motives. The motivic Hochschild homology coefficient ring contains torsion classes which arise from the mod-$p$ motivic Steenrod algebra and from generating functions on the natural numbers with finite non-empty support. Under the Betti realization, we recover Bökstedt's calculation of the topological Hochschild homology of finite prime fields. (With Bjørn Dundas, Mike Hill, and Paul Arne Østvær.)
  • Saturated and linear isometric transfer systems for cyclic groups of order $p^mq^n$.
    Topology and its Applications. arXiv:2109.08210.
    Abstract and coauthors. Transfer systems are combinatorial objects which classify $N_\infty$ operads up to homotopy. By results of A. Blumberg and M. Hill, every transfer system associated to a linear isometries operad is also saturated (closed under a particular two-out-of-three property). We investigate saturated and linear isometric transfer systems with equivariance group $C_{p^mq^n}$, the cyclic group of order $p^mq^n$ for $p,q$ distinct primes and $m,n\ge 0$. We give a complete enumeration of saturated transfer systems for $C_{p^mq^n}$. We also prove J. Rubin's saturation conjecture for $C_{pq^n}$; this says that every saturated transfer system is realized by a linear isometries operad for $p,q$ sufficiently large (greater than $3$ in this case). (With Usman Hafeez, Peter Marcus, and Angélica Osorno.)
  • Model structures on finite total orders.
    Mathematische Zeitschrift. arXiv:2109.07803.
    Abstract and coauthors. We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial structure encoded by Shapiro's Catalan triangle. This is an application of previous work of the authors on the theory of $N_\infty$-operads for cyclic groups of prime power order, along with new structural insights concerning extending choices of certain model structures on subcategories of $[n]$. (With Scott Balchin, Angélica Osorno, and Constanze Roitzheim.)
  • Self-duality of the lattice of transfer systems via weak factorization systems.
    Homology, Homotopy and Applications. arXiv:2102.04415.
    Abstract and coauthors. For a finite group $G$, $G$-transfer systems are combinatorial objects which encode the homotopy category of $G$-$N_\infty$ operads, whose algebras in $G$-spectra are $E_\infty$ $G$-spectra with a specified collection of multiplicative norms. For $G$ finite Abelian, we demonstrate a correspondence between $G$-transfer systems and weak factorization systems on the poset category of subgroups of $G$. This induces a self-duality on the lattice of $G$-transfer systems. (With Evan E. Franchere, Angélica M Osorno, Weihang Qin, and Riley Waugh.)
  • Biased permutative equivariant categories.
    Homology, Homotopy and Applications. arXiv:1907.00933.
    Abstract and coauthors. For a finite group $G$, we introduce the complete suboperad $\mathcal QG$ of the categorical $G$-Barratt-Eccles operad $\mathcal PG$. We prove that $\mathcal PG$ is not finitely generated, but $\mathcal QG$ is finitely generated and is a genuine $E_\infty$ $G$-operad (i.e., it is $N_\infty$ and includes all norms). For $G$ cyclic of order 2 or 3, we determine presentations of the object operad of $\mathcal QG$ and conclude with a discussion of algebras over $\mathcal QG$, which we call biased permutative equivariant categories. (With Kayleigh Bangs, Skye Binegar, Young Kim, Angélica M. Osorno, David Tamas-Parris, and Livia Xu.)
  • The homotopy groups of the $\eta$-periodic motivic sphere spectrum.
    Pacific Journal of Mathematics. arXiv:1906.11670.
    Abstract and coauthors. We compute the homotopy groups of the $\eta$-periodic motivic sphere spectrum over a finite-dimensional field $k$ with characteristic not 2 and in which $-1$ a sum of four squares. We also study the general characteristic 0 case and show that the $\eta$-periodic slice spectral sequence over $\mathbb{Q}$ determines the $\eta$-periodic slice spectral sequence over all extensions of $\mathbb{Q}$. This leads to a speculation on the role of a "connective Witt-theoretic $J$-spectrum" in $\eta$-periodic motivic homotopy theory. (With Oliver Röndigs.)
  • Vanishing in stable motivic homotopy sheaves.
    Forum of Mathematics, Sigma. arXiv:1704.04744.
    Abstract and coauthors. We determine systematic regions in which the bigraded homotopy sheaves of the motivic sphere spectrum vanish. (With Oliver Röndigs and Paul Arne Østvær.)
  • The stable Galois correspondence for real closed fields.
    Contemporary Mathematics. arXiv:1701.09099.
    Abstract and coauthors. In previous work, the authors constructed and studied a lift of the Galois correspondence to stable homotopy categories. In particular, if $L/k$ is a finite Galois extension of fields with Galois group $G$, there is a functor $c^∗_{L/k}$ from the $G$-equivariant stable homotopy category to the stable motivic homotopy category over $k$ such that $c^∗_{L/k}(G/H_+)=\mathrm{Spec}(L^H)_+$. We proved that when $k$ is a real closed field and $L=k[i]$, the restriction of $c^∗_{L/k}$ to the $\eta$-complete subcategory is full and faithful. Here we "uncomplete" this theorem so that it applies to $c^∗_{L/k}$ itself. Our main tools are Bachmann's theorem on the $(2,\eta)$-periodic stable motivic homotopy category and an isomorphism range for the map on bigraded stable stems induced by $C_2$-equivariant Betti realization. (With Jeremiah Heller.)
  • Primes and fields in stable motivic homotopy theory.
    Geometry & Topology. arXiv:1608.02876.
    Abstract and coauthors. Let $F$ be a field of characteristic different than 2. We establish surjectivity of Balmer's comparison map $\rho^*$ from the tensor triangular spectrum of the homotopy category of compact motivic spectra to the homogeneous Zariski spectrum of Milnor-Witt $K$-theory. We also comment on the tensor triangular geometry of compact cellular motivic spectra, producing in particular novel field spectra in this category. We conclude with a list of questions about the structure of the tensor triangular spectrum of the stable motivic homotopy category. (With Jeremiah Heller.)
  • On the ring of cooperations for 2-primary connective topological modular forms.
    Journal of Topology. arXiv:1501.01050.
    Abstract and coauthors. We analyze the ring $\mathrm{tmf}_*\mathrm{tmf}$ of cooperations for the connective spectrum of topological modular forms (at the prime 2) through a variety of perspectives: (1) the $E_2$-term of the Adams spectral sequence for $\mathrm{tmf} \wedge \mathrm{tmf}$ admits a decomposition in terms of Ext groups for $\mathrm{bo}$-Brown-Gitler modules, (2) the image of $\mathrm{tmf}_*\mathrm{tmf}$ in the rationalization of $\mathrm{TMF}_*\mathrm{TMF}$ admits a description in terms of 2-variable modular forms, and (3) modulo $v_2$-torsion, $\mathrm{tmf}_*\mathrm{tmf}$ injects into a certain product of copies of $\mathrm{TMF}_0(N)_*$, for various values of $N$. We explain how these different perspectives are related, and leverage these relationships to give complete information on $\mathrm{tmf}_*\mathrm{tmf}$ in low degrees. We reprove a result of Davis-Mahowald-Rezk, that a piece of $\mathrm{tmf} \wedge \mathrm{tmf}$ gives a connective cover of $\mathrm{TMF}_0(3)$, and show that another piece gives a connective cover of $\mathrm{TMF}_0(5)$. To help motivate our methods, we also review the existing work on $\mathrm{bo}_*\mathrm{bo}$, the ring of cooperations for (2-primary) connective $K$-theory, and in the process give some new perspectives on this classical subject matter. (With Mark Behrens, Nathaniel Stapleton, and Vesna Stojanoska.)
  • Galois equivariance and stable motivic homotopy theory.
    Transactions of the American Mathematical Society. arXiv:1401.4728.
    Abstract and coauthors. For a finite Galois extension of fields $L/k$ with Galois group $G$, we study a functor from the $G$-equivariant stable homotopy category to the stable motivic homotopy category over $k$ induced by the classical Galois correspondence. We show that after completing at a prime and $\eta$ (the motivic Hopf map) this results in a full and faithful embedding whenever $k$ is real closed and $L = k[i]$. It is a full and faithful embedding after $\eta$-completion if a motivic version of Serre's finiteness theorem is valid. We produce strong necessary conditions on the field extension $L/k$ for this functor to be full and faithful. Along the way, we produce several results on the stable $C_2$-equivariant Betti realization functor and prove convergence theorems for the $p$-primary $C_2$-equivariant Adams spectral sequence. (With Jeremiah Heller.)
  • Stable motivic $\pi_1$ of low-dimensional fields.
    Advances in Mathematics. arXiv:1310.2970.
    Abstract and coauthors. Let $k$ be a field with cohomological dimension less than 3; we call such fields low-dimensional. Examples include algebraically closed fields, finite fields and function fields thereof, local fields, and number fields with no real embeddings. We determine the 1-column of the motivic Adams-Novikov spectral sequence over $k$. Combined with rational information we use this to compute the first stable motivic homotopy group of the sphere spectrum over $k$. Our main result affirms Morel's $\pi_1$-conjecture in the case of low-dimensional fields. We also determine stable motivic $\pi_1$ in integer weights other than $-2$, $-3$, and $-4$. (With Paul Arne Østvær.)
  • On the homotopy of $Q(3)$ and $Q(5)$ at the prime 2.
    Algebraic & Geometric Topology. arXiv:1211.0076.
    Abstract and coauthors. We study modular approximations $Q(\ell)$, $\ell = 3,5$, of the $K(2)$-local sphere at the prime 2 that arise from $\ell$-power degree isogenies of elliptic curves. We develop Hopf algebroid level tools for working with $Q(\ell)$ and record Hill, Hopkins, and Ravenel's computation of the homotopy groups of $\mathrm{TMF}_0(5)$. Using these tools and formulas of Mahowald and Rezk for $Q(3)$ we determine the image of Shimomura's 2-primary divided $\beta$-family in the Adams-Novikov spectral sequences for $Q(3)$ and $Q(5)$. Finally, we use low-dimensional computations of the homotopy of $Q(3)$ and $Q(5)$ to explore the role of these spectra as approximations to the $K(2)$-local sphere. (With Mark Behrens.)
  • Motivic Brown-Peterson invariants of the rationals.
    Geometry & Topology. arXiv:1208.5007.
    Abstract and coauthors. Fix the base field $\mathbb{Q}$ of rational numbers and let $\mathrm{BP}\langle n\rangle$ denote the family of motivic truncated Brown-Peterson spectra over $\mathbb{Q}$. We employ a "local-to-global" philosophy in order to compute the motivic Adams spectral sequence converging to the bi-graded homotopy groups of $\mathrm{BP}\langle n\rangle$. Along the way, we provide a new computation of the homotopy groups of $\mathrm{BP}\langle n\rangle$ over the 2-adic rationals, prove a motivic Hasse principle for the spectra $\mathrm{BP}\langle n\rangle$, and deduce several classical and recent theorems about the $K$-theory of particular fields. (With Paul Arne Østvær.)
  • The homotopy limit problem for Hermitian K-theory, equivariant motivic homotopy theory and motivic real cobordism.
    Advances in Mathematics. PDF.
    Abstract and coauthors. The homotopy limit problem for Karoubi’s Hermitian $K$-theory was posed by Thomason. There is a canonical map from algebraic Hermitian $K$-theory to the $\mathbb{Z}/2$-homotopy fixed points of algebraic $K$-theory. The problem asks, roughly, how close this map is to being an isomorphism, specifically after completion at 2. In this paper, we solve this problem completely for fields of characteristic 0 (Theorems 16, 20). We show that the 2-completed map is an isomorphism for fields $F$ of characteristic 0 which satisfy $\mathrm{cd}_2(F[i]) < \infty$, but not in general. (With Po Hu and Igor Kriz.)
  • Motivic invariants of $p$-adic fields.
    Journal of $K$-theory. arXiv:1002.5007.
    Abstract. We provide a complete analysis of the motivic Adams spectral sequences converging to the bigraded coefficients of the 2-complete algebraic Johnson-Wilson spectra $\mathrm{BPGL}\langle n\rangle$ over $p$-adic fields. These spectra interpolate between integral motivic cohomology ($n=0$), a connective version of algebraic $K$-theory ($n=1$), and the algebraic Brown-Peterson spectrum. We deduce that, over $p$-adic fields, the 2-complete $\mathrm{BPGL}\langle n\rangle$ split over 2-complete $\mathrm{BPGL}\langle 0\rangle$, implying that the slice spectral sequence for $\mathrm{BPGL}$ collapses. This is the first in a series of two papers investigating motivic invariants of $p$-adic fields, and it lays the groundwork for an understanding of the motivic Adams-Novikov spectral sequence over such base fields.
  • Convergence of the motivic Adams spectral sequence.
    Journal of $K$-theory. PDF.
    Abstract and coauthors. We prove convergence of the motivic Adams spectral sequence to completions at $p$ and $\eta$ under suitable conditions. We also discuss further conditions under which $\eta$ can be removed from the statement. (With Po Hu and Igor Kriz.)
  • Remarks on motivic homotopy theory over algebraically closed fields.
    Journal of $K$-theory. PDF.
    Abstract and coauthors. We study the motivic Adams and Adams-Novikov spectral sequences and the motivic $J$-homomorphism over algebraically closed characteristic 0 fields.
  • Computations in stable motivic homotopy theory.
    Ph.D. thesis.
    Abstract. This thesis is concerned with the application of certain computational methods from stable algebraic topology in motivic homotopy theory over $p$-adic fields. My main tools are motivic analogues of the Adams and Adams-Novikov spectral sequences. I determine the coefficients of $2$-complete algebraic cobordism and a type of connective algebraic $K$-theory in the motivic setting. I describe the $E_2$-term of the motivic Adams-Novikov spectral sequence in terms of the $E_2$-term of the topological Adams-Novikov spectral sequence and basic arithmetic information. Within this algebra, I discover a motivic analogue of the $\alpha$-family and determine its behavior within the motivic Adams-Novikov spectral sequence. This is an "infinite result" in the stable motivic homotopy groups of the 2-complete sphere spectrum over a $p$-adic field.

student papers

I have the pleasure of mentoring student research projects at Reed, both through senior theses and summer research. Some of these result in independent publications, listed here.

  • Equivariant linear isometries operads over Abelian groups by Ethan MacBrough. Submitted. arXiv:2311.08797.
    Abstract. $N_\infty$-operads are an equivariant generalization of $E_\infty$-operads introduced by Blumberg and Hill to study structural problems in equivariant stable homotopy theory. In the original paper introducing these objects, Blumberg and Hill raised the question of classifying $N_\infty$-operads that are weakly equivalent to a particularly nice kind of $N_\infty$-operad called a linear isometries operad. For some groups there is a known classification of linear isometries operads up to weak equivalence in terms of certain combinatorially defined objects called saturated transfer systems, but this classification is known to be invalid in general. Various authors have made incremental progress on understanding the domain of validity for this classification, but even among cyclic groups the validity is unknown in general. We determine essentially all the finite Abelian groups for which the classification is valid using techniques from algebra and extremal combinatorics.
  • The spectrum of the Burnside Tambara functor of a cyclic group by Maxine Calle and Sam Ginnett.
    Journal of Pure and Applied Algebra. arXiv:2011.04729.
    Abstract. We derive a family of prime ideals of the Burnside Tambara functor for a finite group $G$. In the case of cyclic groups, this family comprises the entire prime spectrum. We include some partial results towards the same result for a larger class of groups.
  • The Tambara structure of the trace ideal for cyclic extensions by Maxine Calle and Sam Ginnett with an appendix by Harry Chen and Xinling Chen.
    Journal of Algebra. arXiv:1910.03029.
    Abstract. This paper explores the Tambara functor structure of the trace ideal of a Galois extension. In the case of a (pro-)cyclic extension, we are able to explicitly determine the generators of the ideal. Furthermore, we show that the absolute trace ideal of a cyclic group is strongly principal when viewed as an ideal of the Burnside Tambara Functor. Applying our results, we calculate the trace ideal for extensions of finite fields. The appendix determines a formula for the norm of a quadratic form over an arbitrary finite extension of a finite field.
  • Injectivity and surjectivity of the Dress map by Ricardo G. Rojas-Echenique.
    Journal of Pure and Applied Algebra. arXiv:1602.01010.
    Abstract. For a nontrivial finite Galois extension $L/k$ (where the characteristic of $k$ is different from 2) with Galois group $G$, we prove that the Dress map $h_{L/k}:A(G)\to GW(k)$ is injective if and only if $L=k(\sqrt{\alpha})$ where $\alpha$ is not a sum of squares in $k^\times$. Furthermore, we prove that $h_{L/k}$ is surjective if and only if $k$ is quadratically closed in $L$. As a consequence, we give strong necessary conditions for faithfulness of the Heller-Ormsby functor $c^∗_{L/k}:\mathrm{SH_G}\to \mathrm{SH_k}$, as well as strong necessary conditions for fullness of $c^*+{L/k}$.
  • The homogeneous spectrum of Milnor–Witt $K$-theory by Riley Thornton.
    Journal of Algebra. arXiv:1501.08499.
    Abstract. For any field $F$ (of characteristic not equal to 2), we determine the Zariski spectrum of homogeneous prime ideals in $K^{MW}_*(F)$, the Milnor-Witt $K$-theory ring of $F$. As a corollary, we recover Lorenz and Leicht's classical result on prime ideals in the Witt ring of $F$. Our computation can be seen as a first step in Balmer's program for studying the tensor triangular geometry of the stable motivic homotopy category.

expository writing

  • Discrete structures.
    PDF.
    Abstract and coauthors. Draft course notes for Reed's Math 113: Discrete Structures course. Topics include enumerative combinatorics (including graph theory, Joyal's proof of Cayley's formula, and Catalan structures), discrete probability, and elementary number theory. This text is the primary reference for a flipped class focused on collaborative problem-solving. (With David Perkinson.)
  • Milnor forms of algebraic singularities.
    PDF.
    Abstract. Notes for the 2021 PCMI [Undergraduate Faculty Program](/ufp/). Informal introduction to hypersurface singularities and their Milnor forms, _i.e._, $\mathbb{A}^1$-Milnor numbers, including some recollections on classical Milnor numbers, a quick development of the algebraic theory of quadratic forms, and the construction of (local) motivic degree and its relation with the Eisenbud–Levine/Khimshiashvili form. Everything is motivated by the second derivative test from multivariable calculus, and we conclude with some open research problems regarding resolution of singularities over non-algebraically closed fields.
  • Quadratic forms, the Grothendieck-Witt ring, transfers, norms, and restrictions.
    PDF.
    Abstract. These notes outline the algebraic theory of quadratic forms and define the Tambara functor structure (restriction, Scharlau transfer, and Rost norm) on the Grothendieck-Witt ring of quadratic forms. They were produced for the summer school portion of the 2019 Collaborative Mathematics Research Group.
  • Project project.
    Blog.
    Abstract. This is a Reed College summer research Project dedicated to Projecting mathematical ideas into the visual realm. The team consists of Henry Blanchette, Cameron Fish, Chris Henn, Kyle Ormsby, Lana Tollas, and Jalan Ziyad. The blog contains details about what we make, how we make it, and the math underlying all of it.

seminars and conferences organized

recent talks

  • $N_\infty$ operads and the combinatorics of model structures, Oberwolfach Research Institute for Mathematics, 8 August 2023. Report.
  • Math and shapes, B.F. Day Elementary School, 1 June 2023. Slides.
  • Counting in Catalan: handshakes, trees, & paths, UW Math Hour, 21 May 2023. Slides, video.
  • Homotopical Combinatorics, Cascade Topology Seminar, UBC, 29 April 2023.
  • Some homotopy groups of $S$, eCHT tmf Seminar, virtual, 18 April 2023. Slides.
  • Transfer Systems and Model Structures for Combinatorialists, UW Combinatorics and Geometry Seminar 18 January 2023. Slides.
  • Homotopical Combinatorics, UW Topology Seminar 25 October 2022. Slides, video.