Matthew R. Ballard
Professor in the Department of Mathematics at USC.
Member of the SC AG NT group. Maintainer of Mathlib.
Fellow of the American Mathematical Society.
I study categorical structures and am particularly interested in questions arising from mirror symmetry. Much of my current work focuses on derived categories and their relation to more classical questions in geometry and arithmetic. I am also interested in formal verification, particularly of modern mathematics.
For more information about me, see my CV. For a list of my papers, please view the publications page.
I am a member of the maintainer group for Mathlib, the expansive library of mathematics formalized in the Lean programming language. I always welcome a chat about how formalization, particularly Lean, can make your life better in the age of AI.
For a little of my pedagogical philosophy and experience, see my teaching page. As an extension of teaching, I take pride in mentoring researchers at all stages and I regularly organize mathematical events, even virtual ones. If you are interested in participating in such an event, please contact me.
news
Nov 1, 2024 | Fellow of the American Mathematical Society |
---|---|
Nov 30, 2023 | Research Professor at SLMath (formerly MSRI) |
Sep 24, 2023 | Mathlib maintainer |
Sep 1, 2023 | NSF award |
Mar 31, 2023 | New Arxiv preprint |
funding
Currently, my research is partially supported by the National Science Foundation DMS-2302263 and the Simons Foundation Award 708132. The work has also benefited from a membership at the Institute for Advanced Study, a Research Professsorship at the Simons-Laufer Mathematical Sciences Institute (formerly MSRI), and past funding from the NSF, the Simons Foundation, USC, and the Southeastern Conference.
selected publications
- arXivHigh Frobenius pushforwards generate the bounded derived category2023
- J. NC Geo.Kernels for noncommutative projective schemesJ. Noncommut. Geom. 2021
- Ann. K-TheoryOn derived categories of arithmetic toric varietiesAnn. K-Theory 2019
- CrelleVariation of geometric invariant theory quotients and derived categoriesJ. Reine Angew. Math. 2019
- Pub. IHESA category of kernels for equivariant factorizations and its implications for Hodge theoryPubl. Math. Inst. Hautes Études Sci. 2014
- Invent. Math.Orlov spectra: bounds and gapsInvent. Math. 2012