Using toric geometry, lattice theory, and elliptic surface techniques, we compute the Picard Lattice of certain K3 surfaces. In particular, we examine the generic member of each of M. Reid's list of 95 families of Gorenstein K3 surfaces which occur as hypersurfaces in weighted projective 3-spaces. The results appear in a multipage table near the end of the paper. As an application, we are able to determine whether the mirror family (in the sense of mirror symmetry for K3 surfaces) for each one is also on Reid's list.
This thesis studies some examples of families of K3 surfaces with Picard lattices of maximal rank. These families occur as invariants of finite automorphism groups. The Picard-Fuchs differential equations describing the variation of Hodge structure in these families are considered. Techniques are developed to find the corresponding monodromy groups as arithmetic Fuchsian groups acting on the families' period spaces.
We describe an algorithm for computing the Picard-Fuchs equation for a family of twists of a fixed elliptic surface. We then apply this algorithm to obtain the equation for several examples, which are coming from families of Kummer surfaces over Shimura curves, as studied in our previous work. We use this to find correspondenced between the parameter spaces of our families and Shimura curves. These correspondences can sometimes be proved rigorously.
The thesis deals with calculating the Picard-Fuchs equation of special one-parameter families of invertible polynomials. In particular, for an invertible polynomial $g(x_1,...,x_n)$ we consider the family $f(x_1,...,x_n)=g(x_1,...,x_n)+s\cdot\prod x_i$, where $s$ denotes the parameter. For the families of hypersurfaces defined by these polynomials, we compute the Picard-Fuchs equation, i.e. the ordinary differential equation which solutions are exactly the period integrals. For the proof of the exact appearance of the Picard-Fuchs equation we use a combinatorial version of the Griffiths-Dwork …
Kuga-Satake construction on families of K3 surfaces of Picard rank 14
National Center for Theoretical Sciences（国家理论科学中心）；Department of Mathematical Sciences, University of Bath（巴斯大学数学科学系）；North Rd, Claverton Down, Bath BA2 7AY, UK（英国巴思克拉弗顿唐北径）
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.
K{ü}chle classified the Fano fourfolds that can be obtained as zero loci of global sections of homogeneous vector bundles on Grassmannians. Surprisingly, his classification exhibits two families of fourfolds with the same discrete invariants. Kuznetsov asked whether these two types of fourfolds are deformation equivalent. We show that the answer is positive in a very strong sense, since the two families are in fact the same! This phenomenon happens in higher dimension as well.
The subject of this paper is the study of various families of quartic K3 surfaces which are invariant under a certain $(\mathbb{Z}/2\mathbb{Z})^{4}$ action. In particular, we describe families whose general member contains $8,16,24$ or $32$ lines as well as the $320$ conics found by Eklund (some of which degenerate into the mentioned lines). The second half of this paper is dedicated to finding the Picard group of a general member of each of these families, and describing it as a lattice. It turns out that for each family the Picard group of a very general surface is generated by the lines and…
We discuss the existence of an absolute Chow-Kuenneth decomposition for complete degenerations of families of Abelian threefolds with complex multiplication over a particular Picard Modular Surface studied by Holzapfel. In addition to the work of Gordon, Hanamura and Murre we use Relatively Complete Models in the sense of Mumford-Faltings-Chai of Picard Modular Surfaces in order to describe complete degenerations of families of abelian varieties. We furthermore prove vanishing results for cohomology groups of irreducible representations of certain arithmetic subgroups in SU(2,1) using the non-…
We present some families of cubic hypersurfaces in $\mathbb P^5 (\mathbb C)$ containing a plane whose associated quadric bundle does not have a rational section.
Using results of our papers [19], [20] and [21] about classification of degenerations of Kahlerian K3 surfaces with finite symplectic automorphism groups, we classify Picard lattices of Kahlerian K3 surfaces. By classification we understand classification depending on their possible finite symplectic automorphism groups and their non-singular rational curves if a Picard lattice is negative definite.
We use the mixed-twist construction of Doran and Malmendier to obtain a multi-parameter family of K3 surfaces of Picard rank $ρ\ge 16$. Upon identifying a particular Jacobian elliptic fibration on its general member, we determine the lattice polarization and the Picard-Fuchs system for the family. We construct a sequence of restrictions that lead to extensions of the polarization by two-elementary lattices. We show that the Picard-Fuchs operators for the restricted families coincide with known resonant hypergeometric systems. Second, for the one-parameter mirror families of deformed Fermat hyp…
Some of the 95 families of weighted K3 hypersurfaces have been known to have the isometric lattice polarizations. It is shown that weighted K3 hypersurfaces in such families are to one-to-one correspond by explicitly constructing the monomial birational morphisms among the weighted projective spaces. All the weight systems having the isometric Picard lattices commonly possess an anticanonical sublinear system, being confirmed that the Picard lattice of the sublinear system we obtained is the same as those of the complete linear systems.
It is a well-known fact that families of minimal rational curves on rational homogeneous manifolds of Picard number one are uniform, in the sense that the tangent bundle to the manifold has the same splitting type on each curve of the family. In this note we prove that certain --stronger-- uniformity conditions on a family of minimal rational curves on a Fano manifold of Picard number one allow to prove that the manifold is homogeneous.
In this paper we are concerned with the monodromy of Picard-Fuch differential equations associated with one-parameter families of Calabi-Yau threefolds. Our results show that in the hypergeometric cases the matrix representations of monodromy relative to the Frobenius bases can be expressed in terms of the geometric invariants of the underlying Calabi-Yau threefolds. This phenomenon is also verified numerically for other families of Calabi-Yau threefolds in the paper. Furthermore, we discover that under a suitable change of bases the monodromy groups are contained in certain congruence subgrou…
We study non-isotrivial families of $K3$ surfaces in positive characteristic $p$ whose geometric generic fibers satisfy $ρ\geq21-2h$ and $h\geq3$, where $ρ$ is the Picard number and $h$ is the height of the formal Brauer group. We show that, under a mild assumption on the characteristic of the base field, they have potential supersingular reduction. Our methods rely on Maulik's results on moduli spaces of $K3$ surfaces and the construction of sections of powers of Hodge bundles due to van der Geer and Katsura. For large $p$ and each $2\leq{h}\leq10$, using deformation theory and Taelman's meth…
In this paper we address Fano manifolds X with a locally unsplit dominating family of rational curves of anticanonical degree equal to the dimension of X. We first observe that their Picard number is at most 3, and then we provide a classification of all cases with maximal Picard number. We also give examples of locally unsplit dominating families of rational curves whose varieties of minimal tangents at a general point is singular.
We study invariant divisors on the total spaces of the homogeneous deformations of rational complexity-one T-varieties constructed by Ilten and Vollmert. In particular, we identify a natural subgroup of the Picard group for any general fiber of such a deformation, which is canonically isomorphic to the Picard group of the special fiber. This isomorphism preserves Euler characteristic, intersection numbers, and the canonical class.
We investigate full strongly exceptional collections on smooth, com- plete toric varieties. We obtain explicit results for a large family of varieties with Picard number three, containing many of the families already known. We also describe the relations between the collections and the split of the push forward of the trivial line bundle by the toric Frobenius morphism.
Let $k$ be either a number a field or a function field over $\mathbb{Q}$ with finitely many variables. We present a practical algorithm to compute the geometric Picard lattice of a K3 surface over $k$ of degree $2$, i.e., a double cover of the projective plane over $k$ ramified above a smooth sextic curve. The algorithm might not terminate, but if it terminates then it returns a proven correct answer.
In this paper we study the geometry of the $14$ families of K3 surfaces of Picard number four with finite automorphism group, whose Néron-Severi lattices have been classified by È.B. Vinberg. We provide projective models, we identify the degrees of a generating set of the Cox ring and in some cases we prove the unirationality of the associated moduli space.
We show that the Picard rank is constant in families of Fano varieties (in arbitrary characteristic) and we moreover investigate the constancy of the index.
In this paper, we study the Picard group of the moduli space of semistable sheaves on a smooth quadric surface. We polarize the surface by an ample divisor close to the anticanonical class. We focus especially on moduli spaces of sheaves of small discriminant, where we observe new and interesting behavior. Our method relies on constructing certain resolutions for semistable sheaves and applying techniques of geometric invariant theory to the resulting families of sheaves.
We report on $25$ families of projective Calabi-Yau threefolds that do not have a point of maximal unipotent monodromy in their moduli space. The construction is based on an analysis of certain pencils of octic arrangements that were found by C. Meyer. There are seven cases where the Picard-Fuchs operator is of order two and $18$ cases where it is of order four. The birational nature of the Picard-Fuchs operator can be used effectively to distinguish between families whose members have the same Hodge numbers.
Recently J.C. Rohde constructed families of Calabi-Yau threefolds parametrised by Shimura varieties. The points corresponding to threefolds with CM are dense in the Shimura variety and, moreover, the families do not have boundary points with maximal unipotent monodromy. Both aspects are of interest for Mirror Symmetry. In this paper we discuss one of Rohde's examples in detail and we explicitly give the Picard-Fuchs equation for this one dimensional family.
In a previous paper, math.AG/0409419, we described six families of K3-surfaces with Picard-number 19, and we identified surfaces with Picard-number 20. In these notes we classify some of the surfaces by computing their transcendental lattices. Moreover we show that the surfaces with Picard-number 19 are birational to a Kummer surface which is the quotient of a non-product type abelian surface by an involution.
Var3: In our papers 2013--2018 we classified degenerations and Picard lattices of Kahlerian K3 surfaces with finite symplectic automorphism groups of high order. For remaining groups of small order: $D_6$, $C_4$, $(C_2)^2$, $C_3$, $C_2$ and $C_1$ it was not completely considered. Cases of $D_6$ and $C_4$ were recently completely considered in [19] and [20]. Here we consider the analogous complete classification for the group $(C_2)^2$ of the order 4.
The largest group which occurs as the rotational symmetries of a three-dimensional reflexive polytope is the symmetric group on four elements. There are three pairs of three-dimensional reflexive polytopes with this symmetry group, up to isomorphism. We identify a natural one-parameter family of K3 surfaces corresponding to each of these pairs, show that the symmetric group on four elements acts symplectically on members of these families, and show that a general K3 surface in each family has Picard rank 19. The properties of two of these families have been analyzed in the literature using oth…
We show the density of the jumping loci of the Picard number of a hyperkähler manifold under small deformation and provide several applications. In particular, we apply this to reveal the structure of hierarchy among all the narrow Mordell-Weil lattices of Jacobian K3 surfaces.
In this expository note, we review the standard formulation of mirror symmetry for Calabi-Yau hypersurfaces in toric varieties, and compare this construction to a description of mirror symmetry for K3 surfaces which relies on a sublattice of the Picard lattice. We then show how to combine information about the Picard group of a toric ambient space with data about automorphisms of the toric variety to identify families of K3 surfaces with high Picard rank.
We study the Picard rank of smooth toric Fano varieties possessing families of minimal rational curves of given degree. We discuss variants of a conjecture of Chen-Fu-Hwang and prove a version of their statement that recovers the original conjecture in sufficiently high dimension. We also prove new cases of the original conjecture for high degrees in all dimensions. Our main tools come from toric Mori theory and the combinatorics of Fano polytopes.
We study families of $K3$ surfaces obtained by double covering of the projective plane branching along curves of $(2,3)$-torus type. In the first part, we study the Picard lattices of the families, and a lattice duality of them. In the second part, we describe a deformation of singularities of Gorenstein $K3$ surfaces in these families.
We suggest an algorithm for derivation of the Picard--Fuchs system of Pfaffian equations for Abelian integrals corresponding to semiquasihomogeneous Hamiltonians. It is based on an effective decomposition of polynomial forms in the Brieskorn lattice. The construction allows for an explicit upper bound on the norms of the polynomial coefficients, an important ingredient in studying zeros of these integrals.
We study Kustin-Miller unprojections between Calabi-Yau threefolds or more precisely the geometric transitions they induce. We use them to connect many families of Calabi-Yau threefolds with Picard number one to the web of Calabi Yau complete intersections. This enables us to find explicit description of a few known families of Calabi-Yau threefolds in terms of equations. Moreover we find two new examples of Calabi-Yau threefolds with Picard group of rank one, described by Pfaffian equations in weighted projective spaces.
Every indefinite binary form occurs as the Picard lattice of some K3-surface. The group of its isometries, or automorphs, coincides with the automorphism group of the K3-surface, but only up to finite groups. The classical theory of automorphs for binary forms can then be applied to study these automorphism groups. The result is a precise description of all possible automorphism groups of ``general'' K3's with Picard number two.
Frequentely it happens that isogenous (in the sense of Mukai) K3 surfaces are partners of each other and sometimes they are even isomorphic. This is due, in some cases, to the (too high, e.g. bigger then or equal to 12) rank of the Picard lattice as showed by Mukai in [Muk3]. In other cases this is due to the structure of the Picard lattice and not only on its rank. This is the case, for example, of K3s with Picard lattice containing a latice of Todorov type (0,9) or (0,10)
Given the same anti-canonical linear system on two distinct toric varieties, we provide a derived equivalence between partial crepant resolutions of the corresponding stacky hypersurfaces. The applications include: a derived unification of toric mirror constructions, calculations of Picard lattices for linear systems of quartic surfaces, and a birational reduction of Reid's list to 81 families.
We give a combinatorial criterion for the tangent bundle on a smooth toric variety to be stable with respect to a given polarisation in terms of the corresponding lattice polytope. Furthermore, we show that for a smooth toric surface and a smooth toric variety of Picard rank 2, there exists an ample line bundle with respect to which the tangent bundle is stable if and only if it is an iterated blow-up of projective space.
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.
We continue the development of methods for enumerating nodal curves on smooth complex surfaces, stressing the range of validity. We illustrate the new methods in three important examples. First, for up to eight nodes, we confirm Göttsche's conjecture about plane curves of low degree. Second, we justify Vainsencher's enumeration of irreducible six-nodal plane curves on a general quintic threefold in four-space. Third, we supplement Bryan and Leung's enumeration of nodal curves in a given homology class on an Abelian surface of Picard number one.
We study the moduli spaces which classify smooth surfaces along with a complex line bundle. There are homological stability and Madsen--Weiss type results for these spaces (mostly due to Cohen and Madsen), and we discuss the cohomological calculations which may be deduced from them. We then relate these spaces to (a generalisation of) Kawazumi's extended mapping class groups, and hence deduce cohomological information about these. Finally, we relate these results to complex algebraic geometry. We construct a holomorphic stack classifying families of Riemann surfaces equipped with a fibrewise h…
We use methods for computing Picard numbers of reductions of K3 surfaces in order to study the decomposability of Jacobians over number fields and the variance of Mordell-Weil ranks of families of Jacobians over different ground fields. For example, we give examples of surfaces whose Picard numbers jump in rank at all primes of good reduction using Mordell-Weil groups of Jacobians and show that the genus of curves over number fields whose Jacobians are isomorphic to a product of elliptic curves satisfying certain reduction conditions is bounded. The isomorphism result addresses the number fiel…
We give an algebraic characterization of Picard-Fuchs operators attached to families of Calabi-Yau manifolds with a point of maximally unipotent monodromy and discuss possibilities for their differential Galois groups.
Motivated by a conjecture of Lian and Yau concerning the mirror map in string theory, we determine when the mirror map q-series of certain elliptic curve and K3 surface families are Hauptmoduln (genus zero modular functions). Our geometric criterion for modularity characterizes orbifold uniformization properties of their Picard-Fuchs equations, effectively demystifying the mirror-moonshine phenomenon. A longer, more comprehensive treatment of these results will appear shortly.
