A K3-surface is a (smooth) surface which is simply connected and has trivial canonical bundle. In these notes we investigate three particular pencils of K3-surfaces with maximal Picard number. More precisely the general member in each pencil has Picard number 19 and each pencil contains four surfaces with Picard number 20. These surfaces are obtained as the minimal resolution of quotients X/G, where $G\subset SO(4,\R)$ is some finite subgroup and $X\subset ¶_3(\C)$ denotes a G-invariant surface. The singularities of X/G come from fix points of G on X or from singularities of X. In any case the singularities on X/G are A-D-E surface singularities. The rational curves which resolve them and some extra 2-divisible sets, resp. 3-divisible sets of rational curves generate the Neron-Severi group of the minimal resolution.
Let S be a smooth, projective surface of Picard rank 1 and very ample generator embedding S into P^n. Let C be a smooth curve in O(m) for m \geq 5. We prove that any base-point free, complete g^r_d on C for r\in\{1,2\} and d small enough is cut out by a hyperplane section restricted to a multisecant (n-r-1)-plane.
A new class of examples of surfaces with maximal Picard number is constructed. These carry pencils of genus two or three curves such their Jacobian fibrations are isogenous to fibre products of elliptic modular surfaces.
We consider relatively minimal fibrations of curves of genus two on rational surfaces whose Picard numbers are not maximal. By birational morphisms, such fibred surfaces are interpreted as pencils of plane curves. We show that only four are canonical, among a variety of possible models. For each canonical pencil, we give an example with trivial Mordell-Weil group.
We study a pencil of K3 surfaces that appeared in the $2$-loop diagrams in Bhabha scattering. By analysing in detail the Picard lattice of the general and special members of the pencil, we identify the pencil with the celebrated Apéry--Fermi pencil, that was related to Apéry's proof of the irrationality of $ζ(3)$ through the work of F. Beukers, C. Peters and J. Stienstra. The same pencil appears miraculously in different and seemingly unrelated physical contexts.
We study the moduli space of smooth complete intersections of two quadrics in $\mathbb{P}^n$ by relating it to the geometry of the singular members of the corresponding pencils. Giving an alternative presentation for the moduli space of complete intersections, we compute the Picard group for all $n\geq 3$.
We prove that if two Calabi-Yau invertible pencils have the same dual weights, then they share a common factor in their zeta functions. By using Dwork cohomology, we demonstrate that this common factor is related to a hypergeometric Picard--Fuchs differential equation. The factor in the zeta function is defined over the rationals and has degree at least the order of the Picard--Fuchs equation. As an application, we relate several pencils of K3 surfaces to the Dwork pencil, obtaining new cases of arithmetic mirror symmetry.
In this paper we describe six pencils of K3-surfaces which have large Picard-Number and contain precisely five singular fibers: four have A-D-E singularities and one is non-reduced. In particular we describe these surfaces as cyclic coverings of the K3-surfaces which Barth and the author described in a previous manuscript (Asian. J. of Math. Vol. 7, No. 4, 519-538, Dec. 2003). In many cases using this description and lattice-Theory we are able to compute the exact Picard-number and to describe explicitly the Picard-lattices.
The quotient singularities of dimensions two and three obtained from polyhedral groups and the corresponding binary polyhedral groups admit natural resolutions of singularities as Hilbert schemes of regular orbits whose exceptional fibres over the origin reveal similar properties. We construct a morphism between these two resolutions, contracting exactly the excess part of the exceptional fibre. This construction is motivated by the study of some pencils of K3-surfaces arising as minimal resolutions of quotients of nodal surfaces with high symmetries.
Let $g$ and $c$ be any integers satisfying $g\geq3$ and $0\leq c\leq \lfloor\frac{g-1}{2}\rfloor$. It is known that there exists a polarized K3 surface $(X,H)$ such that $X$ is a K3 surface of Picard number 2, and $H$ is a very ample line bundle on $X$ of sectional genus $g$ and Clifford index $c$, by Johnsen and Knutsen([J-K] and [Kn]). In this paper, we give a necessary and sufficient condition for a Lazarsfeld-Mukai bundles of rank 2 associated with a smooth curve $C$ belonging to the linear system $|H|$ and a base point free pencil on $C$ not to be $H$-slope stable.
We study Cox rings of K3-surfaces. A first result is that a K3-surface has a finitely generated Cox ring if and only if its effective cone is polyhedral. Moreover, we investigate degrees of generators and relations for Cox rings of K3-surfaces of Picard number two, and explicitly compute the Cox rings of generic K3-surfaces with a non-symplectic involution that have Picard number 2 to 5 or occur as double covers of del Pezzo surfaces.
We construct geometric isogenies between three types of two-parameter families of K3 surfaces of Picard rank 18. One is the family of Kummer surfaces associated with Jacobians of genus-two curves admitting an elliptic involution, another is the family of Kummer surfaces associated with the product of two non-isogeneous elliptic curves, and the third is the twisted Legendre pencil. The isogenies imply the existence of algebraic correspondences between these K3 surfaces and prove that the associated four-dimensional Galois representations are isomorphic. We also apply our result to several subfa…
We study the groups of automorphisms of rational algebraic surfaces that admit a relatively minimal pencil of curves of arithmetic genus one over an algebraically closed field of arbitrary characteristic. In particular, we classify such surfaces that admit non-trivial automorphisms that act trivially on the Picard group. As an application, we classify classical Enriques surfaces in characteristic $2$ that admit non-trivial numerically trivial automorphisms.
An elliptic pair $(X, C)$ is a projective rational surface $X$ with log terminal singularities, and an irreducible curve $C$ contained in the smooth locus of $X$, with arithmetic genus one and self-intersection zero. They are a useful tool for determining whether the pseudo-effective cone of $X$ is polyhedral, and interesting algebraic and geometric objects in their own right. Especially of interest are toric elliptic pairs, where $X$ is the blow-up of a projective toric surface at the identity element of the torus. In this paper, we classify all toric elliptic pairs of Picard number two. Stri…
We prove the general diagram method theorem valid for the quite large class of 3-folds with Q-factorial singularities (see Basic Theorem 1.3.2 and also Theorem 2.2.6). This gives the generalization of our results about Fano 3-folds with Q-factorial terminal singularities (Preprint alg-geom/9311007). As an application, we get the following result about 3-dimensional Calabi-Yau manifolds X: Assume that the Picard number ρ(X) > 93. Then one of two cases (i) or (ii) holds: (i) there exists a small extremal ray on X; (ii) There exists a nef element h such that h^3=0 (thus, the nef cone NEF(X) and t…
We investigate similarities between the category of vector spaces and that of polytopal algebras, containing the former as a full subcategory. In Section 2 we introduce the notion of a polytopal Picard group and show that it is trivial for fields. The coincidence of this group with the ordinary Picard group for general rings remains an open question. In Section 3 we survey some of the previous results on the automorphism groups and retractions. These results support a general conjecture proposed in Section 4 about the nature of arbitrary homomorphisms of polytopal algebras. Thereafter a furthe…
