Related papers: A generic global Torelli theorem for certain Horik…
In the long paper "Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by…
Oort has conjectured that there do not exist Shimura curves contained generically in the Torelli locus of genus-$g$ curves when $g$ is large enough. In this paper we prove the Oort conjecture for Shimura curves of Mumford type and Shimura…
We describe an efficient algorithm which, given a principally polarized (p.p.) abelian surface $A$ over $\mathbb{Q}$ with geometric endomorphism ring equal to $\mathbb{Z}$, computes all the other p.p. abelian surfaces over $\mathbb{Q}$ that…
We survey crystalline cohomology, crystals, and formal group laws with an emphasis on geometry. We apply these concepts to K3 surfaces, and especially to supersingular K3 surfaces. In particular, we discuss stratifications of the moduli…
Given a smooth projective curve $C$ of genus $g$ over the complex numbers, Torelli's thoerem asserts that the pair $(J(C),W^{g-1})$ determines $C$, where $W^{g-1}$ is an image of the $g-1$st symmetric power of $C$ inside the Jacobian under…
We introduce the notion of topological hyperbolicity to characterize the largeness of the topological fundamental group of a complex variety. Inspired by the Shafarevich conjecture, we propose to study the topological hyperbolicity of…
We classify all the irrational pencils over the surfaces of general type with p=q=2. This classification adds a new evidence to a Catanese conjecture which states that if S has p=q=2 but no irrational pencils then it is the double cover of…
We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of…
We study the algebraic hyperbolicity of very general hypersurfaces in $\mathbb{P}^m \times \mathbb{P}^n$ by using three techniques that build on past work by Ein, Voisin, Pacienza, Coskun and Riedl, and others. As a result, we completely…
We extend fundamental inequalities related to the canonical map of surfaces of general type to positive characteristic. Next, we classify surfaces on the Noether lines, i.e., even and odd Horikawa surfaces, in positive characteristic. We…
In this paper we consider the Prym map for double coverings of curves of genus $g$ ramified at $r>0$ points. That is, the map associating to a double ramified covering its Prym variety. The generic Torelli theorem states that the Prym map…
Let $S$ be a {\em Todorov surface}, {\it i.e.}, a minimal smooth surface of general type with $q=0$ and $p_g=1$ having an involution $i$ such that $S/i$ is birational to a $K3$ surface and such that the bicanonical map of $S$ is composed…
A p-adic analogue of the pseudonorm version of the birational Torelli type theorem is obtained via a comparison theorem of image closures. Among other results obtained, we have a criterion for existence of rational points of canonically…
We prove that for any prime number $p\ge 3$, there exists a positive number $\kappa_p$ such that $\chi(\mathcal{O}_X)\ge \kappa_pc_1^2$ holds true for all algebraic surfaces $X$ of general type in characteristic $p$. In particular,…
Let $k$ a field of characteristic zero. Let $X$ be a smooth, projective, geometrically rational $k$-surface. Let $\mathcal{T}$ be a universal torsor over $X$ with a $k$-point et $\mathcal{T}^c$ a smooth compactification of $\mathcal{T}$.…
We study the moduli space of pairs consisting of a smooth cubic surface and a smooth hyperplane section, via a Hodge theoretic period map due to Laza, Pearlstein, and the second named author. The construction associates to such a pair a…
Let $X$ be a K3 surface, and $H$ its primitive polarization of the degree $H^2=8$. The moduli space of sheaves over $X$ with the isotropic Mukai vector $(2,H,2)$ is again a K3 surface, $Y$. In math.AG/0206158 we gave necessary and…
We prove that rational homology of the Torelli group of genus g is infinite dimensional, provided g>6. This means that rational homology of the Torelli space of genus g>6 is infinite dimensional. The Torelli groups with marked points are…
Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. Seidel \cite{Se} has proved a version of this conjecture in the simplest case of the genus two curve. Basing on the…
We study the geometry and arithmetic of the curves $C \colon y^3 = x^4 + ax^2 + b$ and their associated Prym abelian surfaces $P$. We prove a Torelli theorem in this context and give a geometric proof of the fact that $P$ has quaternionic…