My research interests lie in algebraic geometry, commutative algebra,
and arithmetic geometry. In particular, I am interested in using
homological methods to study the geometry of zero loci of systems of
polynomials (i.e. algebraic varieties). I am also interested in studying
the arithmetic properties of varieties over finite fields. Further, I am
passionate about promoting inclusivity, diversity, and justice in math.

The Quantitative Behavior of Asymptotic Syzygies for Hirzebruch Surfaces.
Journal of Commutative Algebra, to appear.
The goal of this note is to quantitatively study the behavior of asymptotic
syzygies for certain toric surfaces, including Hirzebruch surfaces. In
particular, we show that the asymptotic linear syzygies of Hirzebruch surfaces
embedded by \(\mathcal{O}(d,2)\) conform to Ein, Erman, and Lazarsfeld's
normality heuristic. We also show that the higher degree asymptotic syzygies
are not asymptotically normally distributed.

The Virtual Resolutions Package for Macaulay2.
Journal of Software for Algebra and Geometry, to appear.
with Ayah Almousa, Michael C. Loper, Mahrud Sayrafi
We introduce the VirtualResolution package for the computer algebra system
Macaulay2. This package has tools to construct, display, and study virtual
resolutions for products of projective spaces. The package also has tools for
generating curves in \(\mathbb{P}^1\times\mathbb{P}^2\), providing sources for
interesting virtual resolutions.

A probabilistic approach to systems of parameters and Noether normalization.
Algebra and Number Theory, 13 (2019), no. 9, 20812102.
with Daniel Erman
We study systems of parameters over finite fields from a probabilistic perspective. Our central technique is an adaptation of Poonen's closed point sieve, where we sieve over higher dimensional subvarieties, and we express the desired probabilities via a zeta functionlike power series that enumerates higher dimensional varieties instead of closed points. Applications include an effective Noether normalization result over a finite field, and a new proof of a recent result of GabberLiuLorenzini and ChinburgMoretBaillyPappasTaylor on uniform Noether normalizations for projective families over the integers. Last updated: 9/21/17, 20 pages.

Effective Bounds on the Dimensions of Jacobians Covering Abelian Varieties.
Proc. Amer. Math. Soc., 148 (2020), no.2, 535551.
with Wanlin Li
We show that any polarized abelian variety over a finite field is covered by a Jacobian whose dimension is bounded by an explicit constant. We do this by first proving an effective version of Poonen's Bertini theorem over finite fields, which allows us to show the existence of smooth curves arising as hypersurface sections of bounded degree and genus. Additionally, we show that for simple abelian varieties a better bound is possible. As an application of these results we show that if \(E\) is an elliptic curve over a finite field then for any \(n\in\mathbb{N}\) there exist smooth curves of bounded genus whose Jacobians have a factor isogenous to \(E^n\)

Conjectures and computations about Veronese syzygies.
Experimental Mathematics, to appear.
with Daniel Erman, Steve Goldstein, Jay Yang
We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by developing a numerical linear algebra and distributed computation technique for computing and synthesizing new cases of Veronese embeddings for \(\mathbb{P}^2\). Last updated: 11/9/17, 25 pages.

The degree of SO(n).
Combinatorial Algebraic Geometry, 207224, Fields Inst. Commun. 80, (2017).
with Madeline Brandt, Taylor Brysiewicz, Robert Krone, Elina Robeva
We provide a closed formula for the degree of \(\text{SO}(n)\) over an algebraically closed field of characteristic zero. In addition, we describe symbolic and numerical techniques which can also be used to compute the degree of \(\text{SO}(n)\) for small values of \(n\). As an application of our results, we give a formula for the number of critical points of a lowrank semidefinite programming optimization problem. Finally, we provide some evidence for a conjecture regarding the real locus of \(\text{SO}(n)\). Last updated: 1/13/17, 21 pages.

Monomial valuations, cusp singularities, and continued fractions.
Journal of Commutative Algebra, 7 (2015), no. 4, 495522.
with Molly Logue, Robert Walker
This paper explores the relationship between real valued monomial valuations on \(k(x,y)\), the resolution of cusp singularities, and continued fractions. It is shown that up to equivalence there is a one to one correspondence between real valued monomial valuations on \(k(x,y)\) and continued fraction expansions of real numbers between zero and one. This relationship with continued fractions is then used to provide a characterization of the valuation rings for real valued monomial valuations on \(k(x,y)\). In the case when the monomial valuation is equivalent to an integral monomial valuation, we exhibit explicit generators of the valuation rings. Finally, we demonstrate that if v is a monomial valuation such that \(\nu(x)=a\) and \(\nu(y)=b\), where \(a\) and \(b\) are relatively prime positive integers larger than one, then \(\nu\) governs a resolution of the singularities of the plane curve \(x^b=y^a\) in a way we make explicit. Further, we provide an exact bound on the number of blow ups needed to resolve singularities in terms of the continued fraction of \(a/b\). Last updated: 1/14/16, 28 pages.

Betti tables of reducible algebraic curves.
Proc. Amer. Math. Soc. 142 (2014), 40394051.
with PinHung Kao, Evan D. Nash, Ben Perez, Pete Vermeire
We study the Betti tables of reducible algebraic curves with a focus on connected line arrangements and provide a general formula for computing the quadratic strand of the Betti table for line arrangements that satisfy certain hypotheses. We also give explicit formulas for the entries of the Betti tables for all curves of genus zero and one. Last, we give formulas for the graded Betti numbers for a class of curves of higher genus. Last updated: 2/23/13, 13 pages.

Characterizing Multigraded Regularity on Products of Projective Spaces
preprint.
with Lauren Cranton Heller, Mahrud Sayrafi
We explore the relationship between multigraded CastelnuovoMumford
regularity, truncations, Betti numbers, and virtual resolutions. We
prove that on a product of projective spaces \(X\), the multigraded
regularity region of a module \(M\) is determined by the minimal graded
free resolutions of the truncations \(M_{\geq\textbf{d}}\)$ for \(\textbf{d}\in\text{Pic} X\).
Further, by relating the minimal graded free resolutions of \(M\) and
\(M_{\geq\textbf{d}}\) we provide a new bound on multigraded regularity of \(M\)
in terms of its Betti numbers. Using this characterization of
regularity and this bound we also compute the multigraded
CastelnuovoMumford regularity for a wide class of complete
intersections.

Syzygies of \(\mathbb{P}^{1}\times\mathbb{P}^{1}\): Data and Conjectures
preprint.
with Daniel Corey, Daniel Erman, Steve Goldstein, Robert P. Laudone, Jay Yang
We provide a number of new conjectures and questions concerning the
syzygies of \(\mathbb{P}^{1}\times\mathbb{P}^{1}\). The conjectures are based on computing the graded
Betti tables and related data for large number of different embeddings
of \(\mathbb{P}^{1}\times\mathbb{P}^{1}\). These computations utilize linear algebra over finite fields
and highperformance computing.

On the topweight rational cohomology of \(\mathcal{A}_g\)
preprint.
with Madeline Brandt, Melody Chan, Margarida Melo, Gwyneth Moreland, Corey Wolfe
We compute the topweight rational cohomology of \(\mathcal{A}_g\) for \(g=5\), \(6\),
and \(7\), and we give some vanishing results for the topweight rational
cohomology of \(\mathcal{A}_{8}, \mathcal{A}_{9}\) and \(\mathcal{A}_{10}\). When \(g=5\) and \(g=7\), we
exhibit nonzero cohomology groups of \(\mathcal{A}_g\) in odd degree, thus
answering a question highlighted by Grushevsky. Our methods develop the
relationship between the topweight cohomology of \(\mathcal{A}_g\) and the
homology of the link of the moduli space of principally polarized
tropical abelian varieties of rank \(g\). To compute the latter we use the
Voronoi complexes used by ElbazVincentGanglSoul\'e. Our computations
give natural candidates for compactly supported cohomology classes of
\(\mathcal{A}_g\) in weight $0$ that produce the stable cohomology classes of the
Satake compactification of \(\mathcal{A}_g\) in weight \(0\), under the Gysin
spectral sequence for the latter space.

The SchurVeronese package in Macaulay2.
submitted.
with Daniel Erman, Steve Goldstein, Jay Yang
This note introduces the Macaulay2 package SchurVeronese, which
gathers together data about Veronese syzygies and makes it
readily accessible in Macaulay2. In addition to standard Betti
tables, the package includes information about the Schur
decompositions of the various spaces of syzygies. The package
also includes a number of functions useful for manipulating and
studying this data.

Asymptotic Syzygies in the Setting of SemiAmple Growth.
submitted.
We study the asymptotic nonvanishing of syzygies for products of
projective spaces. Generalizing the monomial methods of Ein, Erman, and
Lazarsfeld \cite{einErmanLazarsfeld16} we give an explicit range in
which the graded Betti numbers of \(\mathbb{P}^{n_1}\times \mathbb{P}^{n_2}\) embedded by
\(\mathcal{O}_{\mathbb{P}^{n_1}\times\mathbb{P}^{n_2}}(d_1,d_2)\) are nonzero. These bounds
provide the first example of how the asymptotic syzygies of a smooth
projective variety whose embedding line bundle grows in a semiample
fashion behave in nuanced and previously unseen ways.