top of page

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.

bottom of page