Even Sets of Eight Rational Curves on a K3-surface

2002 ◽  
pp. 1-25 ◽  
Author(s):  
Wolf Barth
Keyword(s):  
1981 ◽  
Vol 82 ◽  
pp. 1-26
Author(s):  
Daniel Comenetz

Let X be a nonsingular algebraic K3 surface carrying a nonsingular hyperelliptic curve of genus 3 and no rational curves. Our purpose is to study two algebraic deformations of X, viz. one specialization and one generalization. We assume the characteristic ≠ 2. The generalization of X is a nonsingular quartic surface Q in P3 : we wish to show in § 1 that there is an irreducible algebraic family of surfaces over the affine line, in which X is a member and in which Q is a general member. The specialization of X is a surface Y having a birational model which is a ramified double cover of a quadric cone in P3.


1996 ◽  
Vol 120 (2) ◽  
pp. 247-253 ◽  
Author(s):  
Daniel Ruberman

A current theme in the theory of 4-manifolds is the study of which properties of complex surface are determined the underlying smooth 4-manifold. For instance, the genus of a complex curve in a complex surface is determined by its homology class, via the adjunction formula. Recent work in gauge theory [10–12] has shown that, to a great degree, a similar principal holds for an arbitrary (i.e. not necessarily complex) smooth representative of a 2-dimensional homology class. Another question, still unsolved even in the context of algebraic geometry, is to find the number of disjoint rational curves on a complex surface. The classical case, namely that of hypersurfaces in CP3, has only been settled for degrees d ≤ 6. The papers [1, 2, 4, 8, 14, 15] contain bounds on the number of such curves and constructions of surfaces with many ( — 2)-curves; the last two together establish that 65 is the correct bound in degree 6.


2017 ◽  
Vol 69 (02) ◽  
pp. 338-372
Author(s):  
Alice Garbagnati

Abstract The aim of this paper is to prove that a K3 surface is the minimal model of the quotient of an Abelian surface by a group G (respectively of a K3 surface by an Abelian group G) if and only if a certain lattice is primitively embedded in its Néron-Severi group. This allows one to describe the coarse moduli space of the K3 surfaces that are (rationally) G-covered by Abelian or K3 surfaces (in the latter case G is an Abelian group). When G has order 2 or G is cyclic and acts on an Abelian surface, this result is already known; we extend it to the other cases. Moreover, we prove that a K3 surface XG is the minimal model of the quotient of an Abelian surface by a group G if and only if a certain configuration of rational curves is present on XG . Again, this result was known only in some special cases, in particular, if G has order 2 or 3.


2013 ◽  
Vol 57 (1) ◽  
pp. 253-267 ◽  
Author(s):  
Viacheslav V. Nikulin

AbstractThis paper consists mainly of a review and applications of our old results relating to the title. We discuss how many elliptic fibrations and elliptic fibrations with infinite automorphism groups (or Mordell–Weil groups) an algebraic K3 surface over an algebraically closed field can have. As examples of applications of the same ideas, we also consider K3 surfaces with exotic structures: with a finite number of non-singular rational curves, with a finite number of Enriques involutions, and with naturally arithmetic automorphism groups.


Author(s):  
Sailun Zhan

Abstract Göttsche gave a formula for the dimension of the cohomology of Hilbert schemes of points on a smooth projective surface $S$. When $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge structure. In the case that $S$ is a K3 surface, each element of $G$ gives a trace on $\sum _{n=0}^{\infty }\sum _{i=0}^{\infty }(-1)^{i}H^{i}(S^{[n]},\mathbb{C})q^{n}$. When $G$ acts faithfully and symplectically on $S$, the resulting generating function is of the form $q/f(q)$, where $f(q)$ is a cusp form. We relate the Hodge structure of Hilbert schemes of points to the Hodge structure of the compactified Jacobian of the tautological family of curves over an integral linear system on a K3 surface as $G$-representations. Finally, we give a sufficient condition for a $G$-orbit of curves with nodal singularities not to contribute to the representation.


2021 ◽  
Vol 27 (3) ◽  
Author(s):  
Soheyla Feyzbakhsh ◽  
Chunyi Li

AbstractLet (X, H) be a polarized K3 surface with $$\mathrm {Pic}(X) = \mathbb {Z}H$$ Pic ( X ) = Z H , and let $$C\in |H|$$ C ∈ | H | be a smooth curve of genus g. We give an upper bound on the dimension of global sections of a semistable vector bundle on C. This allows us to compute the higher rank Clifford indices of C with high genus. In particular, when $$g\ge r^2\ge 4$$ g ≥ r 2 ≥ 4 , the rank r Clifford index of C can be computed by the restriction of Lazarsfeld–Mukai bundles on X corresponding to line bundles on the curve C. This is a generalization of the result by Green and Lazarsfeld for curves on K3 surfaces to higher rank vector bundles. We also apply the same method to the projective plane and show that the rank r Clifford index of a degree $$d(\ge 5)$$ d ( ≥ 5 ) smooth plane curve is $$d-4$$ d - 4 , which is the same as the Clifford index of the curve.


2021 ◽  
Vol 8 (1) ◽  
pp. 208-222
Author(s):  
Georges Dloussky

Abstract Let S be a compact complex surface in class VII0 + containing a cycle of rational curves C = ∑Dj . Let D = C + A be the maximal connected divisor containing C. If there is another connected component of curves C ′ then C ′ is a cycle of rational curves, A = 0 and S is a Inoue-Hirzebruch surface. If there is only one connected component D then each connected component Ai of A is a chain of rational curves which intersects a curve Dj of the cycle and for each curve Dj of the cycle there at most one chain which meets Dj . In other words, we do not prove the existence of curves other those of the cycle C, but if some other curves exist the maximal divisor looks like the maximal divisor of a Kato surface with perhaps missing curves. The proof of this topological result is an application of Donaldson theorem on trivialization of the intersection form and of deformation theory. We apply this result to show that a twisted logarithmic 1-form has a trivial vanishing divisor.


Sign in / Sign up

Export Citation Format

Share Document