Related papers: Integral Hodge classes on fourfolds fiberd by quad…
We take another approach to Hitchin's strategy of computing the cohomology of moduli spaces of Higgs bundles by localization with respect to the circle-action. Our computation is done in the dimensional completion of the Grothendieck ring…
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
It is well known that the Hodge conjecture with rational coefficients holds for degree 2n-2 classes on complex projective n-folds. In this paper we study the more precise question if on a rationally connected complex projective n-fold the…
The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space…
We apply the specialization technique based on the decomposition of the diagonal to find an explicit example over $\mathbb{Q}$ of a quadric and cubic hypersurface in $\mathbb{P}^6$ such that their intersection is a smooth stably irrational…
We show that a standard conic bundle over a minimal rational surface is rational and its Jacobian splits as the direct sum of Jacobians of curves if and only if its derived category admits a semiorthogonal decomposition by exceptional…
The Hodge conjecture is shown to hold for rationally connected fivefolds, or more generally for fivefolds for which the base of the maximal rationally connected fibration is at most 3 dimensional.
In this paper, we apply Borcea-Voisin's construction and give new examples of fourfolds containing a del Pezzo surface of degree six, which admit an elliptic fibration on a smooth threefold. Some of these fourfolds are Calabi-Yau varieties,…
In this note we initiate a program to obtain global descriptions of Calabi-Yau moduli spaces, to calculate their Picard group, and to identify within that group the Hodge line bundle, and the closely-related Bagger-Witten line bundle. We do…
An orthogonal bundle over a curve has an isotropic Segre invariant determined by the maximal degree of a Lagrangian subbundle. This invariant, and the induced stratifications on moduli spaces of orthogonal bundles, were studied for bundles…
Using the $\infty$-categorical enhancement of mixed Hodge modules constructed by the author in a previous paper, we explain how mixed Hodge modules canonically extend to algebraic stacks, together with all the $6$ operations and weights. We…
We construct vector-valued modular forms on moduli spaces of curves and abelian varieties using effective divisors in projectivized Hodge bundles over moduli of curves. Cycle relations tell us the weight of these modular forms. In…
Given a smooth genus three curve $C$, the moduli space of rank two stable vector bundles on C with trivial determinant embeds in $\mathbb{P}^8$ as a hypersurface whose singular locus is the Kummer threefold of $C$; this hypersurface is the…
The moduli space of cubic surfaces in complex projective space is known to be isomorphic to the quotient of the complex 4-ball by a certain arithmetic group. We apply Borcherds' techniques to construct automorphic forms for this group and…
We study the locus of smooth hypersurfaces inside the Hilbert scheme of a smooth projective complex variety. In the spirit of scanning, we construct a map to a continuous section space of a projective bundle, and show that it induces an…
We consider elliptic curves whose coefficients are degree 2 polynomials in a variable t. We prove that for infinitely many values of t the resulting elliptic curve has rank at least 1. All such curves together form an algebraic surface…
The Hodge numerical invariants of a variation of Hodge structure over a smooth quas--projective variety are a measure of complexity for the global twisting of the limit mixed Hodge structure when it degenerates. These invariants appear in…
The algebraic Hodge theorem was proved in a beautiful 1987 paper by Deligne and Illusie, using positive characteristic methods. We argue that the central algebraic object of their proof can be understood geometrically as a line bundle on a…
In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is…
For a curve of genus at least four which is either very general or very general hyperelliptic, we classify all ways in which a power of its Jacobian can be isogenous to a product of Jacobians of curves. As an application, we show that, for…