Related papers: Green's Conjecture for curves on arbitrary K3 surf…
As an application of our previous work on CM liftings of K3 surfaces and the Tate conjecture, we prove the Hodge standard conjecture for squares of K3 surfaces. We also deduce the Hodge standard conjecture for all the powers of certain K3…
We consider threefolds that admit a fibration by K3 surfaces over a nonsingular curve, equipped with a divisorial sheaf that defines a polarisation of degree two on the general fibre. Under certain assumptions on the threefold we show that…
Let X be a smooth genus g curve equipped with a simple morphism f: X -> C, where C is either the projective line or more generally any smooth curve whose gonality is computed by finitely many pencils. Here we apply a method developed by…
The Green-Lazarsfeld Secant Conjecture is a generalization of Green's Conjecture on syzygies of canonical curves to the cases of arbitrary line bundles. We establish the Green-Lazarsfeld Secant Conjecture for curves of genus g in all the…
The goal is to verify the Hodge conjecture (and some related conjectures) for certain moduli spaces. It is shown that the (generalized) Hodge conjecture holds for the projective moduli spaces of vector bundles over an abelian or K3 surface…
We prove that two weakened forms of Green's conjectures for canonical curves are equivalent when the genus $g$ is odd.
Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over…
We show that every possible value for the Clifford index and gonality of a curve of a given genus on a $K3$ surface occurs.
We prove the existence of canonical scrolls; that is, scrolls playing the role of canonical curves. First of all, they provide the geometrical version of Riemann Roch Teorem: any special scroll is the projection of a canonical scroll and…
A new, simple method to approach enumerative questions about rational curves on rational surfaces is described. Applications include a short proof of Kontsevich's formula for plane curves and a the solution of the analogous problem for the…
The goal of this study is to provide a method for computing the following: Given a network of curves in 3d (satisfying a condition at the intersection points), compute efficiently a smooth surface such that the curves are geodesics on it.…
We consider the variant of Mirror Symmetry Conjecture for K3 surfaces which relates "geometry" of curves of a general member of a family of K3 with "algebraic functions" on the moduli of the mirror family. Lorentzian Kac--Moody algebras are…
Self-rational maps of generic algebraic K3 surfaces are conjectured to be trivial. We relate this conjecture to a conjecture concerning the irreducibility of the universal Severi varieties parametrizing nodal curves of given genus and…
We prove the Hodge-D-conjecture for general K3 and Abelian surfaces. Some consequences of this result, e.g., on the levels of higher Chow groups of products of elliptic curves, are discussed.
We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…
We exhibit approximately fifty Betti diagrams of free resolutions of rings of smooth, connected canonical curves of genera $9$-$14$ in prime characteristics between $2$ and $11$. Generic Green's conjecture is verified for genera $9$ and…
We prove a conjecture of Maulik, Pandharipande, and Thomas expressing the Gromov--Witten invariants of K3 surfaces for divisibility two curve classes in all genus in terms of weakly holomorphic quasimodular forms of level two. Then, we…
It is known that in the case of hyperelliptic curves the Shafarevich conjecture can be made effective, i.e., for any number field k and any finite set of places S of k, one can effectively compute the set of isomorphism classes of…
In this paper, we prove three related results; (1) Extension of our result in [10] to all generic hypersurfaces. More precisely, the normal sheaf of a generic rational map $c_0$ to a generic hypersurface $X_0$ of $\mathbf P^n, n\geq 4$ has…
Let $k$ be a number field. We give an explicit bound, depending only on $[k:\mathbf{Q}]$ and the discriminant of the N\'{e}ron--Severi lattice, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the…