Final year undergraduate at the University of Toronto.
Interested in more or less anything, but if forced to pick (unordered):
Set theory, in particular inner model theory - background here is up to fine structure of the constructible hierarchy, but currently learning more. I also like (what I know about) forcing axioms.
Arithmetic geometry and more generally number theory - most relevant background is a topics course on Shimura curves (preceded by one on modular curves and modular forms, preceded by more general background).
I'd also like to know more about the Langlands programme, but only have familiarity with basic objects yet. Basic things approaching the trace formula is a project for the next year.
- Topos theory - "Sheaves in Geometry and Logic" is extremely beautiful, and I hope I have time to finish it all in thorough detail this year.
