代数几何

This paper shows that the Hodge bundle over the moduli space of genus $g \geq 2$ curves does not contain any non-trivial sub-bundles. Notably, the mathematical content was generated by Aletheia, a custom AI agent powered by Gemini Deep…

We study Prym varieties of ramified (at precisely two points) double covers of smooth irreducible complex projectives curves that admit an automorphism of prime order $p>2$. Using Galois theory, we give an explicit constructions of Prym…

We show that the double dual EPW sextic associated with a strongly smooth Gushel-Mukai surface can be realized as a moduli space of semistable objects on its bounded derived category. Also, we observe that the double dual EPW surface…

The Wirtinger integral is one of the integral representations of the Gauss hypergeometric function. Its integrand is given by a product of complex powers of theta functions. We study the structure of the twisted homology and cohomology…

Recently, Escobar, Harada, and Manon introduced the theory of polyptych lattices. This theory gives a general framework for constructing projective varieties from polytopes in a polyptych lattice. When all the mutations of the polyptych…

In this article, we revisit the construction of some algebraic cycles due to Chad Schoen on certain Prym Varieties. More precisely, we show that these cycles arise naturally from (unramified) geometric class field theory, and apply it to…

In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the…

In this paper, we study the Severi varieties parametrizing integral curves of geometric genus one on polarized toric surfaces in characteristic zero and describe their irreducible components. We show that the irreducible components are in…

Classical Hodge theory endows the square integrable cohomology of a Shimura variety X with values in a locally homogeneous polarized variation of Hodge structure E with a natural Hodge decomposition. The theory of Morihiko Saito does the…

In 1969, Fulton introduced classical Hurwitz spaces parametrizing simple d-sheeted coverings of the projective line in the algebro-geometric setting. He established the irreducibility of these spaces under the assumption that the…

The article revisits birational and biregular automorphisms of the Hilbert scheme of points on a K3 surface from the perspective of derived categories. Under the assumption that the K3 surface is generic, the birational and biregular…

The space of global sections of the chiral de Rham complex on any closed complex curve with genus $g \ge2$ is calculated.

We introduce logarithmic Enriques varieties as a singular analogue of Enriques manifolds, generalizing the notion of log-Enriques surfaces introduced by Zhang. We focus mainly on the properties of the subfamily of log-Enriques varieties…

We prove that, over a smooth quasi-projective curve, the set of non-isotrivial, smooth and projective families of polarized varieties with a fixed Hilbert polynomial and semi-ample canonical bundle is bounded. This extends the boundedness…

We show that the Frobenius--stable version of the Grauert--Riemenschneider vanishing theorem fails for threefolds in any positive characteristic, and for terminal 3-folds in characteristic $p \in \{2, 3, 5\}$. To prove this, we introduce…

We compute the cohomological Hall algebra of zero-dimensional sheaves on an arbitrary smooth quasi-projective surface $S$ with pure cohomology, deriving an explicit presentation by generators and relations. When $S$ has trivial canonical…

We construct log canonical pairs $(X,B)$ with $B$ a nonzero reduced divisor and $K_X+B$ ample that have the smallest known volume. We conjecture that our examples have the smallest volume in each dimension. The conjecture is true in…

Fixing two positive integers $d$ and $k$, a positive number $v$, and a positive integer $I$, we prove that the K-semistable domain of the log pair $(X, \sum_{j=1}^kD_j)$ is a rational polytope lying in the $k$-dimensional simplex…

The secant variety of the Veronese surface is a singular cubic fourfold. Degenerations to this specific cubic fourfold and the associated limiting Hodge structures are key ingredients for Hassett and Laza in studying the moduli space of…

Given a morphism $f \colon X \to Y$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_\infty \colon X_\infty \to Y_\infty$. Assuming that $f$ is quasi-finite and $X$ is…