My research lies in (stable) homotopy theory, as well as the spectral algebraic geometry and chromatic homotopy theory. I am particularly interested in ``height two'' phenomena, so elliptic cohomology and topological modular forms. These days, I find myself thinking a lot about equivariant elliptic cohomology, detection statements using synthetic methods, and Iguza towers too.
More specifically, I am exploring how isogenies of elliptic curves give rise to stable operations on these cohomology theories (Adams operations, Hecke operators, Atkin--Lehner involutions etc.). As these operations are based on those from number theory, they provide strong connections between the geometry of stable homotopy theory and the arithmetic of modular forms.
My PhD thesis is also available online here---although the statements contained within are improved upon (and sometimes corrected) in other articles, so use at your own risk.
Below my articles is a summary of some of the objects I have constructed, and at what stage they are at now.
Articles (in reverse chronological order)
5. Hecke operators on topological modular forms  (in revision | arXiv) Inspired by operators and endomorphisms on the classical groups of modular forms over the complex numbers, we build machinery to construct stable operations on the cohomology theory TMF of periodic topological modular forms which lift these classical morphisms. In particular, we construct Adams operations, Hecke operators, and Atkin--Lehner involutions on TMF. Our setup allows for simple proofs of all the basic properties of these operations, for example, showing that these families mutually commute up to higher homotopies. We also provide some applications in number theory of these operations on the torsion classes in TMF such as rederiving some congruences of Ramanujan and providing some extra evidence for Maeda's conjecture.
4. Elliptic cohomology is unique up to homotopy  (Journal of the Australian Mathematical Society | arXiv ) Folklore tells us that the sheaf defining Tmf is unique up to homotopy, and in this article we provide a proof of this result. This a posteriori reconciles all previous (and future) constructions of Tmf. (Note: the K(1)-local argument in the arXiv version has an inaccuracy which is fixed in the published version.)
3. Constructing and calculating Adams operations on dualisable topological modular forms  (submitted | arXiv) - In this article, the cohomology theory Tmf of dualisable topological modular forms is endowed with stable Adams operations. This is done using Hill--Lawson's description of Tmf using TMF and Tate K-theory, the fact that these latter two theories have natural Adams operations by ``On Lurie's theorem and applications'' below, and gluing these operations together on Tmf using Goerss--Hopkins obstruction theory.---this construction is rather delicate. We also calculate the effect these Adams operations have on homotopy groups. A conjecture on the effect of dual endomorphisms of Anderson self-dual spectra is also formulated, motivated by our calculations. As an application, we construct connective height 2 analogues of Adams summands and image of J spectra, denoted by u and j^2, respectively, and show that the p-completion of tmf splits into sums of shifts of u if and only if p-1 divides 12, and that j^2 detects all of the height 1 image of J as well as the Hurewicz image of tmf.
2. On Lurie's theorem and applications  (submitted | arXiv) Lurie's theorem states that upon a suitable site over the moduli stacks of p-divisible groups of height n, there is a sheaf of E∞-rings which when evaluated on affines looks like the associated Landweber exact theory. In this article, we provide the first publicly available proof of Lurie's theorem, relying heavily upon Lurie's work on spectral algebraic geometry and elliptic cohomology. The titular theorem is then applied to constructions of topological K-theory, Lubin--Tate theory, and topological modular and automorphic forms, as well as a general study of stable Adams operations on such theories.
1. Realising $\pi_\ast^e R$-algebras by global ring spectra  (Algebraic & Geometric Topology | arXiv) In this article, we study realisation problems in global homotopy theory. In particular, given an ultra-commutative ring spectra R, we show that projective modules (and in general projective dimension 2 modules with a flatness assumption) over its non-equivariant graded homotopy groups can be realised by global R-modules and that various algebras over these graded rings can also be realised by homotopy commutative, E∞-, and even G∞-objects in global R-modules. The key concept in maintaining control over these realisations is that of global flatness which allows for computation. As applications, we see study localisations of E∞-global ring spectra and lifts of stable homotopy types from chromatic homotopy theory to globally flat global homotopy types over MU.
Status of constructions
Adams operations on TMF: Constructed and act exactly as one would like up to all higher homotopies; see (5) above. Calculations follow from (3) above.
Adams operations on Tmf and tmf: Constructed but their structural properties are difficult to pin down. They do however commute with those on TMF, KO[[q]], and KO by construction. In (3) they are constructed, and in (6) it is shown that away from the prime 2, they multiply and commute up to 2-homotopy.
Hecke operators on TMF: Constructed and act exactly as one would like up to all higher homotopies, up to the caveat that the general Hecke decomposition formula only holds up to noncanonical homotopy and some other integers must be inverted (if the two Hecke operators are coprime, then they commute up to all higher homotopies); see (5) above. For computations one can use (3) above, but there are limitations as Hecke operators are not additive. Some specific computations are performed in (5).
Hecke operators on Tmf and tmf: Constructed but their structural properties are difficult to pin down. They do however commute with those on TMF, KO[[q]], and KO by construction. This is typed up, but not yet uploaded to the arXiv.
Hecke operators on height 2 image of J spectra: Constructed, but again we have to separate the periodic from the dualisable/connective case. In the former case, everything works up to higher homotopy (at least, as well as Hecke operators behave on TMF); see (2). In the latter case, we only obtain such Hecke operators working away from the prime 2; this is not available, but it should be a simplification of the connective Q(N) work below.
Connective/dualisable models of Behrens' Q(N) spectra: Constructed but only away from the prime 2, meaning each q(N) has been constructed and admits an E∞-map to tmf[1/2N]; this is typed up, but is waiting for further calculations and applications.
Stable operations on Behren' Q(N) spectra: For the periodic Q(N) over TMF[1/N], all operations exist with the level of coherence dictated by those on TMF; this is implicit in (2). For the connective/dualisable q(N) over tmf[1/2N] all operation exist but there is a priori no coherence or structural properties between them; this is typed up, but is waiting for further calculations and applications.
Research seminar notes
Barsotti--Tate theory and reality (from mid-2021)
Illusie-style deformation theory for spectrally ringed ∞-topoi, (from mid-2019)
A quick note on a graded Lazard's theorem, (from early-2019)
Globally coherent RO(G)-gradings, (from around 2018-19) [super rough, needs fixing]
Multiplicative localisations in global homotopy theory, (from around 2018-19)
Notes and reports from lectures and workshops
I do like writing notes for various seminars I have given or courses I have taken. Find my email on my homepage and send me any typos, grammar mistakes, mathematical errors, or general feedback. I also removed a bunch of older notes from my masters/PhD studies, but let me know if you want something you once saw but has now disappeared.
Handwritten notes from the Oberwolfach Arbeitsgemeinschaft on Lurie's elliptic cohomology (2019)
I helped edit the notes from the European Talbot Workshop on algebraic K-theory (2019)
I helped edit notes for Danny Shi's talk at the Viva Talbot (2021)
I contributed an article to the Homotopy Theory Oberwolfach report (2023)
I typed my notes for a minicourse on stable homotopy theory given at the Galois theoretic aspects of stable homotopy theory workshop (2024)