David Bowman
I am currently a Master's student in my second year at the University of Bonn. Broadly, I enjoy Stable Homotopy Theory and Algebraic Geometry as well as their interactions. At the moment, I am trying to learn about Chromatic Homotopy Theory.
I work part-time at an agent AI startup omvi.ai, focusing on automation and AI agents. I am interested in building user-focused tools for mathematics and general automations using modern AI technology.
Writing
Publications
Co-authored with Dora Puljiฤ and Agata Smoktunowicz. DOI | Related talk
Notes
Informal notes with the purpose of defining a scheme and showing that the category of Affine schemes equivalent to the opposite of the category of commutative rings
Notes about Stable infinity โ-Categories and t-structures for a talk given in a seminar organised by Jack Davies and Stefan Schwede based on Lurie's Higher Algebra for credit towards a Masters degree at Bonn.
Organization
Sommersemester 2025: Shimura Varieties and their Canonical Models
2025Together with Fabian Schnelle I am organising an introductory seminar about Shimura varieties and their canonical models. Here is the syllabus.
We meet on Mondays from 10:15-12:00 in the seminar room in the Max Planck Institute for Mathematics.
Notes
Talk 2Talk 3
I would also like to advertise a seminar run by Alejandro Ovalle and Samir Geiger: Seminar on Derived equivalences, Derived Torelli and Moduli.
Kleine AG March 2025 - Canonical models of Shimura Varieties
2025Together with Abhijit Aryampilly Jayanthan I organised a meeting of Kleine AG on the 29th of March 2025. For more details please click here. The report is available here.
Wintersemester 2024/2025: K(n)-local and T(n)-local Ambidexterity
2024-2025Together with Itamar Mor I organised a seminar on Ambidexterity in Chromatic Homotopy Theory. The aim was to prove K(n)- and T(n)-local ambidexterity following Carmeli-Schlank-Yanovski, and then go through some applications in the new year. Here is the syllabus until the Christmas break.
Workshops Attended
Upcoming Workshops
Past Workshops
- Workshop: Lurie's Elliptic Cohomology ๐ Wuppertal ยท April 2025
- Equivariant homotopy theory in context ๐ Cambridge ยท January 2025
- Arithmetic, Geometry, Space and Time ๐ Edinburgh ยท November 2024
- Unstable Homotopy Theory ๐ Bonn ยท November 2024
- Betti numbers in commutative algebra and equivariant homotopy theory ๐ Bielefeld ยท September 2024
- Real algebraic K-theory and trace methods ๐ Paris ยท May 2024
Projects Under Development
LecToNotes
Alpha TestingLecToNotes is a software package for extracting text resources from technical research mathematics lecture videos. It processes both the spoken audio and blackboard content, converting them into structured JSON data that can be viewed through a web-based dashboard. The Github repo is available here. More coming soon!