My work in algebraic geometry revolves around birational equivalence. Roughly, two algebraic varieties (i.e. solution sets to systems of polynomial equations) are birationally equivalent if they become indistinguishable after cutting out finitely many lower-dimensional pieces.
The types of varieties I am most interested in include special cubic fourfolds (hypersurfaces of dimension 4 and degree 3), other families of Fano varieties (e.g. Gushel-Mukai varieties and Peskine varieties), and hyperkähler manifolds.
We develop the notion of Peskine sixfolds with associated K3 surfaces and cubic fourfolds and work out numerical conditions for when these associations occur. In discriminant 24, the first family for which there is an associated cubic fourfold, we identify the cubic explicitly. Moreover, we prove that in this case the Fano variety of lines of the cubic fourfold is isomorphic to the associated Debarre-Voisin hyperkähler fourfold.
We give several examples of pairs of non-isomorphic cubic fourfolds whose Fano varieties of lines are birationally equivalent (and in one example isomorphic). Two of our examples, which are special families of conjecturally irrational cubics in C_12, provide new evidence for the conjecture that Fourier-Mukai partners are birationally equivalent. We explore how various notions of equivalence for cubic fourfolds are related, and we conjecture that cubic fourfolds with birationally equivalent Fano varieties of lines are themselves birationally equivalent.
We characterize the birational geometry of some hyperkähler fourfolds of Picard rank 3 obtained as the Fano varieties of lines on cubic fourfolds containing pairs of cubic scrolls. In each of the two cases considered, we identify all of the birational models, relating each model to familiar geometric constructions, and give explicit birational maps between them. We also provide structural results about the birational automorphism groups, giving generators in both cases and a full set of relations in one case. Finally, as a byproduct of our analysis, we obtain non-isomorphic cubic fourfolds whose Fano varieties of lines are birationally equivalent.
We describe the Fano scheme of lines on a general cubic threefold containing a plane over a field k of characteristic different from 2. Then, we use the Fano scheme to characterize rationality for such cubic threefolds over nonclosed fields and to construct a Lagrangian fibration from the Fano variety of lines on a cubic fourfold containing a plane explicitly.
There are three "propagation" matrices A, B, and C that you can use to create all primitive Pythagorean triples from (3,4,5). This lets you arrange triples in a tree, where edges connect a triple to A, B, and C times that triple. Can you find A, B, and C by looking at the tree?
Birational geometry for a special family of varieties called hyperkähler varieties usually boils down to organizing solutions to Diophantine equations. For example, the census of hyperkähler fourfolds in a birational equivalence class that my collaborators and I carried out in this paper required organizing integer solutions to the equation
6x^2 - 4y^2 - 4z^2 +4zy = -10.
How can we propagate solutions to these types of equations efficiently and systematically for use in algebraic geometry? Students, please reach out if you are interested in investigating this question!
In the summer of 2024, I worked with two Carleton sophomores to generalize some of the results from this related paper, but there is still much for undergraduate researchers to sink their teeth into!