代数几何

We give a cycle-theoretic proof of the Gross-Zagier conjecture in weight four for several modular curves of genus zero.

Let $E$ be a vector bundle on a curve $C$ of compact type and $V \subseteq \mathrm{H}^0(C, E)$ be a linear subspace that generates $E$. In this note, we study the stability of the syzygy bundle $M_{E,V}$ associated to $(E, V )$ over certain…

We prove that the $d$-dependence of $c(\mathrm{Pol}^d(\mathbb{C}^n))$, the Chern class of the $\mathrm{GL}(n)$-representation of degree $d$ homogeneous polynomials in $n$ complex variables is polynomial. We also study the asymptotics of the…

We prove that the natural map from the derived Brauer group of a qcqs scheme $X$ to the Picard group of $X$-linear motives is injective, extending results of Tabuada and Tabuada-Van den Bergh.

We prove the effective termination of general type MMPs in dimension at most $5$, and give explicit bounds (in terms of topological invariants and volume of divisors) on the number of steps in the MMP when the dimension is at most $4$.

This manuscript is about abelian varieties that are Jacobians of curves. I started writing it for a lecture series at the Arizona Winter School in 2024 on abelian varieties. A longer more descriptive title might be: The Torelli locus in the…

Remarks on the Hodge-Grothendieck class of the nearby cycles functor and a generalized local invariant cycles result.

We show the geometric syzygy conjecture in positive characteristic. Specifically, if C is a general smooth curve of genus g defined over an algebraically closed field of characteristic p, then all linear syzygy spaces are spanned by…

In this article, we prove that the 2-isotropy of any projective variety is controlled by a pure symbol in the Milnor's K-theory (mod 2) of the flexible closure of the base field. We also show that such pure symbols control the 2-equivalence…

In this article we introduce invariants of points of the Balmer spectrum of the Voevodsky motivic category whose values are "light Rost cycle submodules" of the module of pure symbols in Milnor's K-theory (mod 2). As an application, we show…

We prove that there exists a holomorphic symplectic isomorphism between the rank 2 and 3 representations of the Painleve systems in the Dolbeault complex structure, and give explicit descriptions of the corresponding elliptic fibrations.…

We study the Lotka--Volterra system from the perspective of computational algebraic geometry, focusing on equilibria that are both feasible and stable. These conditions stratifies the parameter space in $\mathbb{R}\times\mathbb{R}^{n\times…

We prove a recent conjecture of the fourth named author with P. Norbury that states a system of universal polynomial relations among the kappa classes on the moduli spaces of algebraic curves. The proof involves localization and…

We show that for flat morphisms between varieties with rational singularities, the higher direct images of the structure sheaf are locally free. As a consequence, the identity component of the relative Picard scheme is a smooth algebraic…

We show that in any sequence of a general type MMP, the minimal log discrepancy of singularities takes at most finitely many values, and the fibers of all the extremal contractions and flips belong to a bounded family. A key ingredient in…

We calculate the genus 1 Gromov-Witten theory of the Hilbert scheme $\mathsf{Hilb}^n(\mathbb{C}^2)$ of points in the plane. The fundamental 1-point invariant (with a divisor insertion) is calculated using a correspondence with the families…

We define and study Jacobians of Hodge structures with weight greater than 1. Jacobians of weight 2 naturally come up in the context of the Brauer group and the Tate conjecture. They were previously studied in a special case by Beauville in…

There is a proposition due to Koll\'ar 1997 on computing log canonical thresholds of certain hypersurface germs using weighted blowups, which we extend to weighted blowups with non-negative weights. Using this, we show that the log…

Rietsch constructed a candidate $T$-equivariant mirror LG model for any flag variety $G/P$. In this paper, we prove the following mirror symmetry prediction: the small $T\times\mathbb{G}_m$-equivariant quantum cohomology of $G/P$ equipped…

In arXiv:1911.08213 it was conjectured that the compactly supported cohomology of the $m$-th restricted contact locus of an isolated hypersurface singularity coincides, up to a shift, with the Floer cohomology of the $m$-th iterate of the…