A numerical transcendental method in algebraic geometry, with P. Lairez.
Prym varieties of genus four curves, with N. Bruin.
Certifying reality of projections, with J. Hauenstein, A. Kulkarni, S. Sherman, Proceedings of the International Congress on Mathematical Software 2018, pg. 200-208.
Computing periods of hypersurfaces, to appear in Mathematics of Computation, software: period-suite.
Computing images of polynomial maps, with C. Harris and M. Michalek.
On pairs of theta characteristics, in preparation.
Moduli of curves and multiple roots
Twistor connectivity of the cohomological moduli spaces
This is a detailed exposition of Section 4 in Buskin’s paper. The goal is to show that moduli spaces parametrizing pairs of K3s and a rational Hodge isometry between them are connected by “twistor” paths. In these notes we bypass some calculations of Buskin on the variation of complex structures on products of K3s and reduce it to a tautology.
Finiteness of isogeny classes
We give a detailed exposition of the proof that there are only finitely many isogeny classes of abelian varieties (of fixed dimension, and with good reduction outside of a fixed finite set). Lecture notes for my talk in IRTG College Seminar, Summer 2015, with the goal of understanding Falting’s Theorem.
Line bundles and cohomology of complex tori
A summary of Chapter 1 in Mumford’s book “Abelian Varieties” covering complex compact abelian varities, i.e., complex tori. This is a lecture note for my talk on IRTG College Seminar, Winter 2014/15, with title “Abelian Varieties and Derived Categories”.
Elliptic curves and automorphic forms
An introduction to automorphic forms from an algebraic perspective. Hence, you get to see them as sections of line bundles on modular curves. These are my lecture notes for IRTG College Seminar, Summer 2014, with the general theme of understanding Fermat’s Last Theorem.