Publications/Preprints
5. Gros Topoi as Partially Lax Limits of Petit Topoi (joint with Fabio Neugebauer)
preprint (submitted), 15 pages, arXiv:2609.35119
4. Structured Quotients in Real Homotopy Theory (joint with Ryan Quinn)
preprint, 25 pages, arXiv:2606.25898
3. Structured Real Snaith Equivalences (joint with Ryan Quinn)
preprint (submitted), 23 pages, arXiv:2606.23309
2. Fractured Structures in Condensed Mathematics (joint with Nima Rasekh)
preprint (submitted), 17 pages, arXiv:2603.09618
talk by myself
1. Multiplicative Equivariant Thom Spectra & Structured Real Orientations (joint with Ryan Quinn)
preprint (submitted), 92 pages, arXiv:2512.15573
talk by Ryan
Current Projects
1. Norms of Real Algebraic K-Theory (joint with Kaif Hilman and Ryan Quinn)
The project is to endow Poincaré categories with a C_2-symmetric monoidal structure and realize Real algebraic K-theory as a normed algebra. This in particular yields a natural map K ---> L as well as parts of red- and whiteshift results.
2. Hermitian K-Theory through Real Homotopy Theory (joint with Christian Carrick and Ryan Quinn)
We start from Real analogs of Lee-Levy's THH computations leading to THR computations of Real chromatic spectra. The goal is to use this to make computations in Hermitian K-theory.
3. Equivariant Commutative Orientations (joint with Ryan Quinn) [poster]
Hopkins-Lawson describe an obstruction theory for lifting complex orientations MU ---> E to coherently multiplicative maps. I'm hoping to generalize this to a genuine equivariant setting. Likewise, I'm hoping to obtain a Real version together with Ryan Quinn.
4. Monoidal Parametrized Unstraightening (joint with Siddharth Gurumurthy and Ryan Quinn)
Straightening-Unstraightening compares a slice construction to a functor category construction. Both of these acquire a natural monoidal structure through the slice monoidal structure and Day convolution. Classically, these are known to be equivalent as (symmetric) monoidal ∞-categories due to Ramzi. We wish to spell out a generalization to parametrized higher category theory.
