Related papers: Stable base loci, movable curves, and small modifi…
Inspired by the log Gromov-Witten (or GW) theory of Gross-Siebert/Abramovich-Chen, we introduce a geometric notion of log J-holomorphic curve relative to a simple normal crossings symplectic divisor defined in [FMZ1]. Every such moduli…
Given smooth, projective, geometrically integral algebraic curves $X$ and $Y$ defined over a number field $K$, assuming that there is a non-constant $K$-morphism $\varphi \colon X \to Y$, we give an upper bound on the minimum of the degrees…
We introduce and study the maximal-variation locus in families and moduli spaces of projective curves, defined via conductor-level balancing of meromorphic differentials on the normalization. This notion captures precisely when the space of…
We exhibit examples of pairs $(X,D)$ where $X$ is a smooth projective variety and $D$ is an anticanonical reduced simple normal crossing divisor such that the deformations of $(X,D)$ are obstructed. These examples are constructed via toric…
In the first part of our paper, we show that there exist non-isomorphic derived equivalent genus $1$ curves, and correspondingly there exist non-isomorphic moduli spaces of stable vector bundles on genus $1$ curves in general. Neither…
Let X be an Abelian surface and C a holomorphic curve in X representing a primitive homology class. The space of genus g curves in the class of C is g dimensional. We count the number of such curves that pass through g generic points and we…
In this paper, we show that if $X$ is a smooth variety of general type of dimension $m \geq 2$, for which its canonical map induces a double cover onto $Y$, where $Y$ is a projective bundle over $\mathbf P^1$, or onto a projective space or…
We prove that the degree of the CM line bundle for a normal family over a curve with fixed general fibers is strictly minimized if the special fiber is either a smooth projective manifold with a unique cscK metric or ``specially K-stable",…
We propose an alternative definition for families of stable pairs $(X,D)$ over a possibly non-reduced base when $D$ is reduced, by replacing $(X,D)$ with an appropriate orbifold pair $(\mathcal X,\mathcal D)$. This definition of a stable…
We give an existence result on (H,A)-stable sheaves on a K3 or abelian surface X with primitive triple of invariants (rank,first Chern class,Euler characteristics) in the integral cohomology lattice. Such a result yields the existence of…
We prove that a holomorphic line bundle on a projective manifold is pseudo-effective if and only if its degree on any member of a covering family of curves is non-negative. This is a consequence of a duality statement between the cone of…
Let $X$ be a rationally connected smooth projective variety of dimension $n$. We show that $X$ is a toric variety if and only if $X$ admits an int-amplified endomorphism with totally invariant ramification divisor. We also show that $X\cong…
We develop a moduli theory of algebraic varieties and pairs of non-negative Kodaira dimension. We define stable minimal models and construct their projective coarse moduli spaces under certain natural conditions. This can be applied to a…
We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation…
We establish a new moduli theory for divisors, that interpolates between the Hilbert scheme and the Cayley-Chow variety. This completes the last step in the construction of a good moduli theory for stable pairs $(X,\Delta)$.
Let $k$ be an imperfect field. Let $X$ be a regular variety over $k$ and set $Y$ to be the normalization of $(X \times_k k^{1/p^{\infty}})_{{\rm red}}$. In this paper, we show that $K_Y+C=f^*K_X$ for some effective divisor $C$ on $Y$. We…
Let X be a (possibly nodal) K-trivial threefold moving in a fixed ambient space P. Suppose X contains a continuous family of curves, all of whose members satisfy certain unobstructedness conditions in P. A formula is given for computing the…
Let X be a smooth projective curve of genus at least two over the complex numbers. A pair (E,\phi) over X consists of an algebraic vector bundle E over X and a holomorphic section \phi of E. There is a concept of stability for pairs which…
It is shown that certain transformations on quiver-dimension vector pairs induce isomorphisms on the corresponding moduli spaces of quiver representations and map a stable dimension vector to a stable dimension vector. This result combined…
Let X be a K3 surface with an involution g which has non-empty fixed locus X^g and acts non-trivially on a non-zero holomorphic 2-form. We shall construct all such pairs (X, g) in a canonical way, from some better known double coverings of…