Zeta Functions of Monomial Deformations of Delsarte Hypersurfaces

Let $X_\lambda$ and $X_\lambda'$ be monomial deformations of two Delsarte hypersurfaces in weighted projective spaces. In this paper we give a sufficient condition so that their zeta functions have a common factor. This generalises results by Doran, Kelly, Salerno, Sperber, Voight and Whitcher [arXiv:1612.09249], where they showed this for a particular monomial deformation of a Calabi-Yau invertible polynomial. It turns out that our factor can be of higher degree than the factor found in [arXiv:1612.09249].


Introduction
Fix a finite field F q and a positive integer n. In this paper we study a particular class of deformations of Delsarte hypersurfaces in P n Fq . There has been an extensive study of the behaviour of the zeta function in families of varieties. First results were obtained by Dwork (e.g., [9]) and Katz [12]. In the latter paper the author studies a pencil of hypersurface in P n and describe a differential equation, whose solution is the Frobenius matrix on the middle cohomology for a general member of this pencil.
More recently, the behaviour of the zeta function acquired renewed interest because of two interesting (and very different) applications. Candelas, de la Ossa and Rodriguez-Villegas [6] studied the behaviour of the zeta family in a particular family of quintic threefolds in P 4 , with a particular interest in phenomena, analogous to phenomena occurring in characteristic zero related with mirror symmetry and let to many subsequent papers by various authors. Another application of Katz' differential equation can be found in algorithms to determine the zeta function of a hypersurface efficiently (see [17,18]).
The main aim of this paper is to generalize and to comment on a recent result of Doran, Kelly, Salerno, Sperber, Voight and Whitcher [8] on the zeta function of certain pencils of Calabi-Yau hypersurfaces. For a more extensive discussion on the history of this particular result we refer to the introduction of [8].
To describe the main results from [8], fix a matrix A := (a i,j ) 0≤i,j≤n with nonnegative integral coefficients and nonzero determinant. Then with A we can associate the polynomial Assume that the entries of A −1 (1, . . . , 1) T are all positive, say 1 e (w 0 , . . . , w n ) with e, w i ∈ Z >0 . Then F A defines a hypersurface of degree e in P Fq (w 0 , . . . , w n ). Assume that we choose A such that gcd(q, e) = 1. (Equivalently, we may assume that gcd(det(A), q) = 1.) If the hypersurface is geometrically irreducible then we call it a Delsarte hypersurface. A subvariety X ⊂ P(w 0 , . . . , w n ) is called quasismooth if the affine quasicone of X is smooth away from the vertex. If F A defines a quasismooth hypersurface then F A is called an invertible polynomial. If F A = 0 defines a Calabi-Yau manifold, i.e., e = n + 1, then we can consider the one-parameter family X A,ψ given by the vanishing of The factor −(n+1) is included for historic reasons. In the sequel we will work with the parameter λ = −(n + 1)ψ for simplicity.
In a recent preprint Doran, Kelly, Salerno, Sperber, Voight and Whitcher [8] showed the following result (using Dwork cohomology and some results on the Picard-Fuchs equation): Theorem 1.1 ([8]). Let A and A be (n + 1) × (n + 1)-matrices with nonnegative entries such that F A and F A are invertible Calabi-Yau polynomials of degree n + 1. Assume that (1, . . . , 1) T is an eigenvector of both A and A and that gcd(q, (n + 1) det(A) det(A )) = 1.
Moreover, assume that (1, . . . , 1)A −1 and (1, . . . , 1)A −1 are proportional. Then for any ψ ∈ F q such that X A,ψ and X A ,ψ are smooth and nondegenerate we have that the polynomials Z(X A,ψ , T ) For a precise definition of nondegenerate we refer to the paper [8]. The condition (1, 1, . . . , 1) T is an eigenvector of A implies that X A,ψ ⊂ P n . The condition (1, . . . , 1)A −1 is proportional to (1, . . . , 1)A −1 is the same as the condition dual weights being equal from the paper [8], whenever the latter condition is defined.
In this paper we prove a generalisation of this result. We aim to allow more matrices A, more vectors a, to drop the Calabi-Yau assumption, to have a simpler nondegenerate assumption and to find a common factor of higher degree. Moreover, as a by-prodcut of our approach we obtain additional information on the degree of the factor found in [8].
To be more precise, we start again with an invertible (n+1)×(n+1)-matrix A such that X A,0 is quasismooth, but we drop the Calabi-Yau condition. Let d be an integer such that B := dA −1 has integral entries. Let w = (w 0 , . . . , w n ) := B(1, . . . , 1) T . If all the w i are positive then F A defines a hypersurface in the weighted projective space P(w).
Fix now a vector a := (a 0 , . . . , a n ) such that a i ∈ Z >0 , the entries of b := aB are nonnegative and n i=0 a i w i = d. Then F A,ψ := F A − (n + 1)ψ n i=0 x a i i defines a family of hypersurfaces X ψ in P(w) each birational to a quotient of Y ψ ⊂ P n given by This is a one-dimensional monomial deformation of a Fermat hypersurface. It is easy to determine for which values of ψ the hypersurface is smooth [15,Lemma 3.7]. The idea to study Delsarte hypersurface by using their Fermat cover dates back to Shioda [20] and has then been used by many authors for to discuss solve problems concerning Delsarte hypersurfaces by considering a similar problem on Fermat surfaces. Recent applications of this idea, in contexts similar to our setup, can be found in [4,5,13]. Take now a further (n + 1) × (n + 1) matrix A and a vector a yielding a second family X ψ in a possibly different weighted projective space.
It is straightforward to show that if aA −1 and a (A ) −1 are proportional then the families X ψ , X ψ have a common cover of the type Y ψ , i.e., there exist subgroup schemes G and G of the scheme of automorphisms Aut(Y ψ ) such that G and G are defined over F q , Y ψ /G is birational to X ψ and Y ψ /G is birational to X ψ . The automorphisms in G and G are so-called torus or diagonal automorphisms, i.e., each automorphism multiplies a coordinate with a root of unity. In particular, G and G are finite abelian groups. We will use this observation to show that: Theorem 1.2. Let A and A be (n + 1) × (n + 1)-matrices with nonnegative entries, such that the entries of (w 0 , . . . , w n ) T := A −1 (1, . . . , 1) T and of (w 0 , . . . , w n ) T := A −1 (1, . . . , 1) T are all positive and gcd(q, det(A) det(A )) = 1. Fix two vectors a := (a 0 , . . . , a n ) and a := (a 0 , . . . , a n ) consisting of nonnegative integers such that the equalities n i=0 a i w i = 1 and n i=0 a i w i = 1 hold and such that aA and a A are proportional. Let X ψ , X ψ , Y ψ , G and G as above. Denote with G.G the subgroup of Aut(Y ψ ) generated by G and G .
1. If Y ψ is smooth then the characteristic polynomial of Frobenius acting on H n−1 (Y ψ ) G.G divides both the characteristic polynomial of Frobenius acting on H n−1 (X ψ ) and the characteristic polynomial of Frobenius on H n−1 (X ψ ).
2. If, moreover, (1, . . . , 1) is an eigenvector of both A and A and both X ψ and X ψ are smooth then we have that the polynomials have a common factor of positive degree.
In the second section we will prove this result under slightly weaker, but more technical hypothesis, see Theorem 2.18 and Corollary 2.21. Moreover, in Proposition 2.24 we will show that the factor constructed in the proof of Theorem 1.1 divides the characteristic polynomial of Frobenius acting on H n−1 (Y ψ ) G.G . We will give examples where our factor has higher degree.
Note that the quotient map Y ψ X ψ is a rational map. If it were a morphism then it is straightforward to show that the characteristic polynomial of H n−1 (Y ψ ) G.G divides the characteristic polynomial of Frobenius on H n−1 (X ψ ). Hence, large part of the proof is dedicated to show that passing to the open where the rational map is a morphism does not kill any part In the course of the proof of Theorem 1.2 we show that we can decompose H n−1 (X ψ ) as a direct sum of two Frobenius stable subspaces, namely Similarly, we show that can decompose H n−1 (Y ψ ) G = H n−1 (Y ψ ) Gmax ⊕ W ψ , where W ψ is Frobenius stable, and G max is the maximal group of torus automorphisms acting on the family Y ψ .
The appearance of C is related with the fact that the quotient map is only a rational map rather than a morphism. For most choices of (a 0 , . . . , a n ) we have that C is independent of ψ and in that case we can express C in terms of the cohomology of cones over Fermat hypersurfaces. Hence the Frobenius action on C is easy to determine. To calculate the Frobenius action on the complementary subspace H n−1 (Y ψ ) G we can use the methods from [15] to express the zeta function in terms of generalised p-adic hypergeometric functions.
This brings us to another observation from [8]: In [8, Section 5] the authors consider five families of quartic K3 surfaces which have a single common factor of the zeta function of degree 3. They show that every other zero of the characteristic polynomial of Frobenius on H 2 is of the form q times a root of unity. Assuming the Tate conjecture for K3 surfaces (which is proven for most K3 surfaces anyway) we deduce that the (geometric) Picard number is at least 19.
This result is a special case of the following phenomena: if for a lift to characteristic zero h n−1,0 H n (Y ψ ) Gmax = h n−1,0 H n−1 (X ψ ) holds then it turns out that both W ψ and C are Tate twists of Hodge structures of lower weight. In the K3 case, W ψ and C are Hodge structures of pure (1, 1)-type. By the Lefschetz' theorem on (1, 1)-classes, they are generated by classes of divisors. In particular, for each of the five families the lifts to characteristic zero have Picard number at least 19, and since they form a one-dimensional family the generic Picard group has rank 19.
In the second half of the paper we discuss how one can find a basis for a subgroup of finite index of the generic Picard group for the five families from [8] and for five further monomial deformations of Delsarte quartic surfaces. For all ten families we determine H 2 (Y ψ ) G , H 2 (Y ψ ) Gmax and C as vector spaces with Frobenius action Moreover, we find curves generating C in each of the ten cases. For two families we have that W ψ is zero-dimensional. For six of the remaining eight families we manage to find curves, whose classes in cohomology generate W ψ .
In the next section we prove our generalisation of the result from [8]. In the third section we discuss the quartic surface case. In Appendix A we give explicit equations for bitangents to certain particular quartic plane curves. These equations can be used to find explicit curves, generating W ψ .

Delsarte hypersurface
Fix an integer n ≥ 2 and fix a finite field F q . Definition 2.1. An invertible matrix A := (a i,j ) 0≤i,j≤n , such that all entries are nonnegative integers is called a coefficient matrix if all entries of A −1 (1, . . . , 1) T are positive and each column of A contains a zero.
In that case let d be an integer such that B := dA −1 has integral coefficients. We call B the map matrix. We call B(1, . . . , 1) T the weight vector, which we denote by w := (w 0 , . . . , w n ).
A vector a := (a 0 , . . . , a n ) consisting of nonnegative integers such that   x a i i   be the corresponding one-parameter family of hypersurfaces of weighted degree d in the weighted projective space P(w 0 , . . . , w n ).
Denote with (b 0 , . . . , b n ) the entries of aB. Let Y λ be Remark 2.3. Our definition of w may lead to choices of the w i such that the gcd of (w 0 , . . . , w n ) is larger than one. The choice of the w i is such that the weighted degree of the polynomial defining X λ equals the degree of Y λ .
We have a (Z/dZ) n -action on P n induced by (g 1 , . . . , g n )(x 0 : x 1 : · · · : x n ) := x 0 : ζ g 1 x 1 : ζ g 2 x 2 : · · · : ζ gn x n , with ζ a fixed primitive d-th root of unity. The subgroup G defined by The rational map P n P(w) given by This rational map is Galois (i.e., the corresponding extension of function fields is Galois) and the Galois group is a subgroup of G.
In particular, if all the b i,j are nonnegative then this rational map is a morphism. (This map was used by Shioda [20] to give an algorithm to calculate the Picard number of a Delsarte surface in P 3 .) x a i,j j for any k. Hence for every irreducible component of X 0 the points such that all coordinates are nonzero are dense, and these latter points are in the image of Y 0 . This implies that every irreducible component of X 0 is the closure of an irreducible component of the image of Y 0 . Since n > 1 it follows that Y 0 is irreducible and hence X 0 is irreducible. Definition 2.5. We call X 0 the Delsarte hypersurface associated with A and X λ the one-dimensional monomial deformation associated with (A, a). If, moreover, X 0 is quasismooth then we call X 0 invertible hypersurface. Example 2.6. Consider In particular, we have that this family is birational a quotient of The group G is generated by the automorphisms and with ζ a primitive 8-th root of unity.
Proof . Suppose we intersect Y λ with x i 1 = · · · = x ic = 0. If some b i j is nonzero then the intersection is a Fermat hypersurface in P n−c and is smooth. If all b i j are zero then we can do the following: After a change of coordinates we may assume that {i 1 , . . . , i c } = {0, 1, . . . , c − 1}. We now have that Y λ is the zero set of for some h ∈ F q [x c , . . . , x n ]. From gcd(q, d) = 1 it follows that the singular points of the intersection V (x 0 , . . . , x c−1 , h) are in one-to-one correspondence with the singular points of Y λ . Hence V (x 0 , . . . , x c−1 , h) is smooth.
Recall that we started with a hypersurface X λ ⊂ P(w) and constructed a hypersurface Y λ ⊂ P n , such that X λ is birational to a quotient of Y λ . Denote with U λ := P(w) \ X λ and V λ := P n \ Y λ be the respective complements.
Denote now with (P(w)) * , U * λ , V * λ , X * λ , Y * λ , etc. the original variety minus the intersection with Z(x 0 . . . x n ) or Z(y 0 . . . y n ), the union of the coordinate hyperplanes. We have that the quotient map P n P(w) defines surjective morphisms There is a second quotient map P n → P(w) given by (z 0 : · · · : z n ) → (z w 0 0 : · · · : z wn n ). This map is a morphism and is a ramified Galois covering. Denote with H the corresponding Galois group. LetX λ be the pull back of X λ and letŨ λ be the pull back of U λ .
Fix now a lift µ ∈ Q q of λ. Then we can define F µ ,Ũ µ , V µ ,X µ , Y µ similarly as above. If y 0 , . . . , y n are projective coordinates on P n then let Ω be We recall now some standard notation used to study the cohomology of a hypersurface complement in P n .
is an n-form on the complementŨ µ ofX µ . If we allow the m i and t to be arbitrary integers such that the equality n i=0 m i = td holds thenω m is a form onŨ * µ .
Let m = (m 0 , . . . , m n ) be (n + 1)-tuple of positive integers, such that n i=0 m i = td holds for some positive integer t. Let D be the diagonal matrix dI n+1 . Then If we allow the m i and t to be arbitrary integers such that the equality The following result seems to be known to the experts, but we include it for the reader's convenience: Lemma 2.10. There exists a finite set S ⊂ Q q such that 0 ∈ S and for all µ ∈ Q q \ S we have that Similarly, there exists a finite set S * such that 0 ∈ S * and for all µ ∈ Q q \ S * we have that Proof . The forms ω m , such that m i ≥ 1 for i = 0, . . . , n generate the de Rham cohomology group H n dR (V µ ). By differentiating certain particular (n − 1)-forms on V µ we have that the for any form G ∈ Q q [y 0 , . . . , y n ] td−n . (This is the so-called Griffiths-Dwork method to reduce forms in cohomology.) For µ = 0 we have that F y i = dy d−1 i . Using (2.1) we find the relation and similar relations for the other y i . In this way we can reduce forms such that all exponents are at least 0 and at most d − 1. However, if an exponent equals d − 1 then this relation yields that the class is zero in cohomology. In particular, the ω m with 0 < m i < d for i = 0, . . . , n and n i=0 m i ≡ 0 mod d generate H n dR (V 0 ). Griffiths [11] showed that the relations of type (2.1) generate all relations and hence B is a basis for H n dR (V 0 ). If X µ is smooth then the dimension of H n dR (V µ ) is independent of µ and it is then straightforward to check that there are at most finitely many choices of µ for which X µ is smooth and B is not a basis for H n dR (V µ ). We now prove the statement on H n dR (V * µ ). Note that if X µ is smooth then by Lemma 2.8 it is in general position. Therefore the dimension of H n dR (V * µ ) is independent of µ. Hence it suffices to show that B * is a basis for H n dR (V * 0 ). Again we have relations of type (2.1), but now we may take G ∈ Q q y 0 , y −1 0 , . . . , y n , y −1 n td−n . If the exponent of a variable is at most −2 then we can use the relations of the shape (2.2) to increase the exponent of this variable. However, if the exponent equals −1 we cannot do this, because then we would have to divide by zero in (2.2). In this way we obtain that B * generates H n dR (V * 0 ). Moreover, as in the above case there are no further relations and B * is a basis.
Remark 2.11. The µ for which B is not a basis can be determined by the methods of [18, Section 3].
Remark 2.12. Denote with H n MW (V λ ) the n-th Monsky-Washnitzer cohomology of V λ . The Monsky-Washnitzer cohomology is essentially the cohomology of the tensor product of de Rham complex of a lift of V λ to characteristic zero with a weakly complete finitely generated algebra A † . The Frobenius action on the cohomology is induced by a lift of Frobenius to A † . For more details see [21,Theorem 2.4.5]. In that paper it is shown that two different lifts of V λ yield isomorphic complexes and two choices of lifts of Frobenius yield homotopic maps on the complexes. In particular, H n MW (V λ ) is independent of the choices made. Let µ ∈ Q q be a lift of λ. One choice of a lift of V λ to characteristic zero is V µ , and the construction of the Monsky-Washnitzer cohomology yields a natural map H n dR (V µ ) → H n MW (V λ ) of Q q -vector spaces. If Y λ is smooth then the is an isomorphism by [1]. Since V λ ⊂ P n is affine and smooth we have an isomorphism H n MW (V λ ) ∼ = H n rig (V λ ) by [2], where the latter group is rigid cohomology. Since there are infinitely many lifts µ of λ we can always choose a lift µ such that B is a basis for H n dR (V µ ) and thereby yielding a basis for H n MW (V λ ). If Y λ is smooth then using Lemma 2.8 we find that V * λ is the complement of a normal crossing divisor. In particular, we can apply [1] and find a natural isomorphism H n Remark 2.13. The action of G lifts to characteristic zero. The forms ω m are eigenvectors for g * each element g ∈ G. Hence the G-invariant ones span H n MW (V λ ) G . If Y λ is singular then by the definition of Monsky-Washnitzer cohomology we have that subspaces are generated by similar sums, but in which only the G-invariant ω m occur.
Remark 2.14. If one wants to study the Frobenius matrix by using the differential equations, like in [12] or in [8] then one needs to be more careful in lifting V λ to characteristic zero. In [12] one has to take µ to be the Teichmüller lift of λ. The reason for this, is that a priori Frobenius To have an operator on H n (U µ ) we need that µ q = µ. If one works directly with Frobenius on Monsky-Washnitzer chomology then this constraint on µ does not exist.
From now on we use H i and H i c to indicate rigid cohomology respectively rigid cohomology with compact support.
By [ We want to compare the cohomology of H n c (V λ ) G with the cohomology of H n c (U λ ). However, U λ may be singular, hence we work with H n c Ũ λ H instead. Using Poincaré duality it suffices Since both varieties are smooth and affine we can identify their rigid cohomology groups with their Monsky-Washnitzer cohomology groups. We will do this in order to prove: and divides the characteristic polynomial of Frobenius acting on H n c (U λ ).
Proof . Since H n (V λ ) → H n (V * λ ) is injective we have by [3] that the Poincaré dual of this map is surjective, and therefore that H n Hence it suffices to show that the kernel of natural The entries of m are integers, which may be nonpositive. If all entries of m are positive then ω m is in the image of H n Ũ λ H . Recall that B = dA −1 and therefore m 0 = k 1 d A. Since k has positive entries, A has positive entries and no zero column it follows that also the entries of m 0 are positive and therefore all entries of m are also positive. This yields the first statement.
To prove the second statement. By [16,Lemma 4.3] it follows that H n c (V λ ) G is Frobenius invariant and the characteristic polynomial is in Q[T ]. Using Poincaré duality we find that H n c (V λ ) G is a subspace of H n c (Ũ λ ) H . As explained above, the latter space is isomorphic with H n c (U λ ).
In each case we take (1, 1, 1, 1) T as the deformation vector then the (A i , a i ) have a common cover.
Suppose now that (A 1 , a 1 ), . . . , (A t , a t ) have a common cover. Let d be the smallest positive integer such that dA −1 i has integral coefficients for all i. The sum of the entries of b i = a i dA −1 i equals d. By assumption we have that for each i and j the vectors b i and b j are proportional, hence these vectors coincide and we denote this common vector with b. Denote with b j the entries of b. Denote with X i,λ the family associated with (A i , a i ). Then X i,λ is birational to a quotient of At the beginning of this section we gave an explicit description of this map. From that description it follows that Y λ → X i,λ is defined whenever all the y i are nonzero.
We can now apply Proposition 2.15 to the above setup and we find directly that: a 1 ), . . . , (A t , a t ) be Delsarte deformation data of length n with a common cover. Denote with X i,λ be the corresponding families of Delsarte hypersurfaces and with Y λ the common cover. Let G i be the Galois group of the function field extension corresponding to the rational map Y λ X i,λ . Then the automorphisms in G i extend to automorphisms of Y λ .
In particular, the characteristic polynomial of Frobenius and is a common factor of the characteristic polynomials of Frobenius acting on H n−1 (X i,λ ).

Remark 2.19.
Recall that in order to be Delsarte deformation data we need that gcd(q, (n + 1) det(A i )) = 1 for all i.
Remark 2.20. If Y λ is smooth then it is in general position by Lemma 2.8.
The map H n−1 (Y λ ) → H n−1 (Y * λ ) is injective if n − 1 is even, and has a kernel if n − 1 is odd, and this kernel is generated by the hyperplane class, see [12,Theorem 1.19]. The residue map identifies H n (V λ ) with the primitive part of the cohomology of H n−1 (Y λ ). In particular, the composition H n (V λ ) → H n−1 (Y * λ ) is injective independent of the parity of n. From the diagram on [12, p. 79] it follows that the latter map factors through H n (V * λ ). In particular, Hence we can apply the above proposition if Y λ is smooth. The values of λ for which Y λ is singular can be determined from the formula [15,Lemma 3.7].
To conclude that there is a common factor of the zeta function is more complicated in general. The zeta function is a quotient of products of characteristic polynomials of Frobenius and there may be some cancellation in this quotient. However, if we make the extra assumptions that each X i,λ is a hypersurface in P n (i.e., for each i we have that w = (k, . . . , k) for some k ∈ Z >0 ) and we consider only values of λ for which X λ is smooth then we have that From the smoothness of X i,λ it follows that the eigenvalues of Frobenius on H n c (U i,λ ) have absolute value q n−1/2 , hence there is no cancellation in this formula and we obtain: Let (A 1 , a 1 ), . . . , (A t , a t ) be Delsarte deformation data of length n with a common cover. Denote with X i,λ be the corresponding families of Delsarte hypersurfaces and with Y λ the common cover. Let G i be the Galois group of the function field extension corresponding to Suppose that for each i we have P(w) = P n . Moreover, suppose that Y λ and each X i,λ is smooth. Then the characteristic polynomial of Frobenius on H n−1 (Y λ ) G prim is in Q[T ] and divides the polynomial Remark 2.22. A complex hypersurface with quotient singularities is a Q-homology manifold and satisfies Poincaré duality. The existence of Poincaré duality is sufficient to obtain both the vanishing statement H i c (P(w) \ X i,λ ) = 0 for i = n, 2n as well as for the purity statement on H n c (P(w) \ X i,λ ). Hence if Poincaré duality would hold for the rigid cohomology of varieties with (tame) quotient singularities over finite fields then we could extend the above corollary to the case where X i,λ is a quasi-smooth hypersurface.
We would like to compare our factor with the factor found in [8]. The groups G and G consists of torus automorphisms of Y λ . Let G max be the group of torus automorphism of Y λ . Then G max is an abelian group. A torus automorphism g ∈ G max sends Y * λ to itself, and descents to an automorphism of X * λ ∼ = Y * λ /G. Hence the quotient group G max /G acts on X * λ . Since the quotient map is given by n + 1 monomials we have that a torus automorphism descends to a torus automorphism of X * λ and U * λ . Any torus automorphism can be extended to P(w), leaving X λ invariant. Hence we have an action of G max /G on H n (U λ ) and on H n c (U λ ). It is straightforward to check that G max /G ∼ = SL(F A ), where SL(F A ) is the group introduced in [8], and that both groups act the same.
The factor from [8] is constructed as follows: The authors identify a subspace of the Dwork cohomology group H n Dwork (U λ ) SL(F A ) , whose dimension equals the order of the Picard-Fuchs equation of X λ and which is invariant under Frobenius. They show that the characteristic polynomial R λ of Frobenius on this subspace is in K[T ] for some number field K, which can be taken Galois over Q and then take R λ the be the least common multiple of the Galois conjugates of R λ .
To compare this polynomial with the factor constructed above, we will start by reconsidering R λ , i.e., we will show that it is just the characteristic polynomial of Frobenius acting on Then [16,Lemma 4.3] implies that R λ ∈ Q[T ] and that R λ = R λ . We start by calculating the dimension of H n c (V λ ) Gmax . Lemma 2.23. Suppose that X λ is Calabi-Yau, i.e., w i = d and suppose that Y λ is smooth. Then the dimension of H n c (V λ ) Gmax equals the order of the Picard-Fuchs equation for X λ . Proof . Since V λ is smooth we have by Poincaré duality [3] that We now calculate the latter dimension. The group G max consists of the (g 1 , . . . , g n ) in (Z/dZ) n such that From [16,Lemma 4.2] it follows that G max fixes the differential form ω k if and only if k ≡ tb mod d for some t ∈ Z/dZ. Hence H n (V λ ) Gmax is spanned by ω tb where t ∈ {0, 1, . . . , d − 1} such tb mod d has no zero entry. The number of t ∈ Z/dZ such that tb mod d has a zero entry equals the number of t ∈ {0, . . . , d − 1} for which there exists an i and an integer k such that tb i = kd, or, equivalently, Since 0 ≤ t < d we may assume that 0 ≤ k < b i . Using the notation from [8, Section 2] we have that the elements on the left hand side are in the set they call α and the elements on the right hand side are in the set β. In particular, the number of t such that tb has no zero entry equals d − #α ∩ β. Gährs [10,Theorem 2.8] showed that this number equals the order of the Picard-Fuchs equation.
Proof . Since P(w) = P n we have U λ =Ũ λ . Hence we can discuss differential forms on the complement of X λ . The factor R λ (T ) obtained in [8] using the p-adic Picard-Fuchs equation in Dwork cohomology. The main result from [12] yields a differential equation satisfied by the Frobenius operator on H n MW (U λ , Q q ) and that this differential equation can also be found using Dwork cohomology. In particular, R λ (T ) is the characteristic polynomial of Frobenius acting on the subspace P containing ω a and invariant under the Picard-Fuchs operator. This subspace P is contained in the span of {ω sa : s = 1, 2, . . . }.
Pick a formω ta restrict this form to U * λ and then pull it back to a form on V * λ . Then this pull back is ω tb . This form is defined on all of V λ . Hence the pullback of P to H n (V λ ) is well-defined and is contained in H n (V λ ) Gmax . Hence P is a subspace of H n (V λ ) Gmax . Since both spaces have the same dimension by Lemma 2.23 they coincide, i.e., P ∼ = H n (V λ ) Gmax as vector spaces with Frobenius action. Now R λ is the characteristic polynomial of q n Frob −1 acting on P . Using Poincaré duality this equals the characteristic polynomial of Frobenius acting on H n c (V λ ) Gmax . This yields the first claim. The obtained polynomial is in Q[T ] by [16,Lemma 4.3] and hence R λ (T ) = R λ (T ).

Case of quartic surfaces
In this section we consider the case of invertible quartic polynomials. Up to permutation of the coordinates there are 10 invertible quartic polynomials in four variables. For each of these quartics we take a = (1, 1, 1, 1) as the deformation vector.

12
(4, 2, 4, 2) 4 12 5 9 x 4 0 + x 3 1 x 2 + x 3 2 x 3 + x 4 3 36 (9, 12, 8, 7) 18 0 3 10 column P F we list the dimension of H 3 (V λ ) Gmax . We calculated this entry as follows: from the results from [16, Section 4] it follows that a basis for this vector space consists of those ω k such that all entries of k are between 1 and d − 1 and there is a t ∈ Z such that k ≡ tb mod d. It is straight forward to determine the number of these k. As discussed in the previous section, this number equals the order of the Picard-Fuchs equation of X i λ . The next column concerns the subspace W For the families 1, 2, 3, 6, 7 we listed all these k in Fig. 2 (they are enlisted in the corresponding column in Fig. 2 λ . For the families i = 1, 2, 3, 6, 7, 9, 10 we give a recipe to find linear combinations of curves on X (i) λ , which generate C and W (i) λ . In fact, for all i we have that C is generated by curves, each of which is contained in one of the coordinate hyperplanes. These curves are easy to find for each i. For i = 9, 10 we have that W (i) λ = 0. For i = 1, 2, 3, 6, 7 we can find various del Pezzo surfaces of degree 2 together with morphisms of degree 2, such that linear combinations of pull backs of curves from these del Pezzo surfaces generated W (i) λ . For i = 5 we have a similar procedure using del Pezzo surfaces of degree 5.
The first five families have a single common cover, also the sixth and seventh family have a common cover. The common factor of the first five examples has degree 3. However, the first three examples have a common factor of degree 5 and the first and the second example have a common factor of degree 7.
The following proposition now shows that claim about W   Proof . Note that W (i) λ is spanned byω m where m are precisely these entries from the first column of Fig. 2 such that in the column corresponding to i there the entry is different from "−" and is without the mark "(P F )". Note also that in the notation of the previous section we havẽ U λ . Hence we denote differential forms on the complement of X A straightforward calculation shows that the quotients of X (i) λ by σ and by τ are both surfaces of degree 4 in P (1, 1, 1, 2), and that for general λ they are smooth (explicit equations for these surfaces can be found in the appendix). Hence the quotient surfaces are del Pezzo surfaces of degree 2. Denote the corresponding surfaces with S  = (a, b, c, d) with a, b, c, d ∈ {1, 2, 3, 4} be such that a + b + c + d ≡ 0 mod 4. Theñ ω m + σ * ω m is invariant under σ * and therefore contained in π * 1 H 2 S In the case i = 7 we have that W (i) λ is generated by formsω m with a + b odd and we finished this case. In the case i = 3 we have that W (i) λ is generated by forms with a + b odd and the two formsω 1133 andω 3311 . Hence we finishes also this case.
In the remaining cases i = 1, 2, 6 we have a further automorphism where I 2 = −1. Denote S 3,i λ the quotient by τ 1 . If q ≡ 1 mod 4 then S 3,i λ is defined over F q , but if q ≡ 3 mod 4 then it is only defined over F q 2 .
Note that Hence if b is odd and a + b ≡ 0 mod 4 thenω abcd +ω bacd is fixed under τ * 1 and, as above, we find thatω abcd is in π * 1 (H 2 (S i,1 λ )) + π * 3 (H 2 (S i,3 λ )). Using Fig. 2 we can conclude that we recovered anyω m such that the first two entries are distinct. This finishes the proof for the case i = 6. In the case i = 2, we only miss the formsω 1133 andω 3311 , hence we are also done in this case. In the case i = 1 there is a S 4 symmetry we can use. We recover allω k with at least two distinct entries in k and this finishes also this case.
Remark 3.2. In the cases i = 2, 3 we do not recoverω 1133 andω 3311 . However, the families i = 1, 2, 3 have as a common cover. For each of three families the formω 1133 is pulled back to the form ω 6,6,18,18 on V λ . Hence we can use X (1) λ to express this form in terms of divisors pulled back form S 1,3 λ .
In the following examples we discuss how to find generators for the subspace C.  in terms of curves pulled back from del Pezzo surfaces S (i,j) . In the appendix we will explain how to find these curves.
For each of these cases we can find generators for C in each of these cases, but the approach depends on i: i = 1 C = 0 in this case. i = 2 The curves given by x 3 = 0, x 0 = −I k x 1 and the ones given by x 4 = 0, x 0 = −I k x 1 are in C, with I 2 = −1. One easily checks that they generate C. These curves can also be obtained by pulling back curves from the del Pezzo quotients: For example, consider the quotient by the automorphism σ : a 1 eigenvector if (a, b) = (b, a). However, there are only 5 such eigenvectors. The Picard group of the del Pezzo surface has rank 8. The additional three divisors are the hyperplane class and the two curves pulled back from the curves x 3 = x 2 1 + x 2 2 = 0 and x 4 = x 2 1 + x 2 2 = 0. i = 3 We have that for j < 2 and k > 1 the line x j = x k = 0 is contained in X (3) λ as are x m = 0, x 2 = ±Ix 3 , m ≤ 2 and x m = 0, x 1 = ±Ix 0 , m ∈ {2, 3}. These are 12 curves, but generate a rank 9 sublattice of the Picard lattice, and this lattice contains the hyperplane class. Linear combinations of these curves span C. i = 6 As in the case i = 2 in this case we have that the automorphism σ fixes only six eigenvectors of the formω k −ω σ(k) . The seventh eigenvector is the class of the curve x 3 = 0, x 2 0 + x 2 1 , which is an element of C. The other coordinate hyperplanes yields three further curves, contributing another two to the Picard number. i = 7 In this case we take x 0 = 0 or x 1 = 0 then we find x 3 (x 3 2 + x 3 3 ) = 0. In this way we find 8 lines, contributing six to cohomology.
As mentioned in the introduction of this paper, we did not find a complete set of generators for generic Picard group for two of the ten families. This family is one of these two families.
Example 3.5. The degree of the Fermat cover of the fifth example is 80. The monomial type (20,20,20,20) and its two multiplies in H 3 V To find the curves contributing to the rank 16 part, we can use permutations, similarly as in the above examples. The cyclic permutation of 1, 2, 3, 4 is odd. Denote this permutation by σ 0 . The quotient by this permutation is a del Pezzo surface of degree 5.
Fix now a primitive fifth root of unity ζ. Let For i = 1, 2, 3, 4 we set σ i = σ 0 ρ i . Then each σ i has order 4. Let m be a monomial types such thatω m is pulled back to one of the 16 forms H 3 V (5) λ G not a multiple of (20,20,20,20).
Consider now 3 j=0 σ j iω m : i = 0, . . . , 3 . A direct calculation using a Vandermonde determinant shows that these four forms are linearly independent and that their span containsω k .
Henceω k is contained in the subspace spanned by  The complementary five-dimensional subspace comes from coordinate plane sections, i.e., x 1 = 0 yields x 3 x 3 2 + x 3 3 , and also x 3 = 0 contributes. The total contribution is 5. We do not have any odd permutation to work with. However, this surface has many elliptic fibrations and one may be able to work with them.
As mentioned in the introduction of this paper, we did not find a complete set of generators for generic Picard group for two of the ten families. This family is one of these two families.
Example 3.7. In the ninth example we have that the common cover has degree 36. The deformation monomial has exponents 9, 12, 8, 7. There are 18 multiples of this vector without a zero in Z/36Z. Hence the Picard-Fuchs equation has degree 18. Moreover, the curves x 2 = 0, x 0 = i k x 4 together with the hyperplane class generate the generic Picard group. Remark 3.9. In two cases we did not find generators. In these two cases different there is no permutation σ of the coordinates which is automorphism of the family and such that the quotient surface is a rational surface. In the other examples with nontrivially W λ , this space was generated by pull backs of curves coming from rational surfaces.
It is the author's experience that in characteristic zero, establishing explicit curves generating the Picard group of a surface, is an easier problem when working with surfaces with h 2,0 = 0 then when working with surfaces with h 2,0 > 0. This can be partly explained by the fact that degrees and intersection numbers of generators of the Picard group are determined by the topology of the surface in the case h 2,0 = 0, but not in the case h 2,0 > 0.
A similar problem is determining a basis of the Mordell-Weil group of an elliptic K3 surfaces (which is equivalent to determining generators for the Nèron-Severi group of that surface). This turned out to be much simplified if the K3 surface is in various ways the pull back of a rational elliptic surface. (E.g., see [7,14,19].)

A Bitangents to special plane quartics
In Section 3 we considered ten pencils of quartic surfaces. In Proposition 3.1 we showed that five of these pencils are (each in multiple ways) double covers of pencils of del Pezzo surfaces of degree two and we showed how the knowledge of the Picard group of these del Pezzo surfaces is sufficient to determine the generic Picard group of each pencil. In this section we explain how one can find explicit generators for the Picard group of these del Pezzo surfaces. It is well-known that such a surface is a double cover of P 2 ramified along a quartic curve.
If the quartic curve is smooth then its has 28 bitangents. These bitangents are pulled back to two lines on the del Pezzo surface, and these lines generate the Picard group.
In order to find explicit equations for the del Pezzo surfaces of degree 2 and the quartic curves we are going to make the steps from the proof of Proposition 3.1 explicit. This proposition applies only to X (i) λ with i ∈ {1, 2, 3, 6, 7}, hence we concentrate on these cases. To ease the calculations we start by decomposing the defining polynomials for X (i) λ in sums of two polynomials. Therefore define the following polynomials The five pencils of quartic surfaces under consideration are defined by the vanishing of As we noted in the proof of Proposition 3.1 each of these families is invariant under the automorphism σ : (x 0 , x 1 , x 2 , x 3 ) → (x 1 , x 0 , x 2 , x 3 ).
In particular, each of the defining polynomials is also a polynomial in Therefore the quotient S (i,1) λ of X (i) λ by σ is the zeroset of h 1 + g 1 , h 1 + g 2 , h 2 + g 2 , h 1 + g 3 , h 2 + g 3 in P(1, 2, 1, 1). These polynomials define five families of surfaces in P(1, 2, 1, 1). The general member is a del Pezzo surface of degree 2. The rational map P(1, 2, 1, 1) P 2 defined by (u : v : . It establishes this surfaces as a double cover of P 2 ramified along the zeroset of q i , the discriminant q i of the defining polynomial of S (i,1) λ considered as polynomial in v. These discriminant are straightforward to compute. We list them here: Our aim is to find the bitangents to these curves and then pull them back to X (i) λ . If λ is chosen such that the quartic curve is smooth then there are 28 bitangents. We start by looking for bitangents of the shape u = a 2 x 2 + a 3 x 3 . Such a line is a bitangent to the curve q i = 0 if we can find further b, c such that the following polynomial vanishes The factors 8 a 4 2 − 1 , 8a 4 2 and a 4 2 are chosen in order to kill the coefficient of x 4 3 in each of the polynomials. Hence each of the five above polynomials is a polynomial of degree 3 in x 3 . These polynomials can be computed with the help of some computeralgebra package. Unfortunately, the obtained expressions are too long to include them here. From these calculations one deduces that both the coefficient of x 3 3 and of x 2 3 are linear in b and c. We can solve for b and c and substitute the result. However, in order to solve for b and c we have to divide by a 4 2 − 1 if i = 1 and by a 2 in the other cases, hence for the moment we have to assume that they are nonzero.
We are then left with two nonzero coefficients. The coefficient of x 0 3 is a cubic in a 3 . Eliminating a 3 leaves a polynomial of degree either 20 (if i = 1) or 24 (if i = 1) in a 2 , which we list below.
Each of the zeroes yields a possible value for a 2 . One easily checks that each value for a 2 determines a unique value for a 3 . In this way we find 20 or 24 bitangents. Note that each of the five families admits the automorphism (u, v, x 2 , x 3 ) → (u, v, −x 2 , −x 3 ). This implies that if (a 2 , a 3 ) defines a bitangent then so does (−a 2 , −a 3 ). Hence the final polynomial in a 2 is actually a polynomial in a 2 2 . Depending on the case there are further automorphisms, which could give further simplifications.
We now list for each case the degree 24 polynomial in a 2 . The case i = 1 is slightly more involved then the other ones, so we start with the case i ≥ 2.
To finish the cases i = 2, 3, 6, 7 we need to find 4 further bitangents. The above approach gives all bitangents of the form u = a 2 x 2 + a 3 x 3 with a 2 = 0. It turns out that there are no bitangents with a 2 = 0, however there are bitangents of the form a 2 x 2 + a 3 x 2 = 0. One easily sees that the line x 3 = 0 is a hyperflex line (and therefore a bitangent) and that the remaining three bitangents are of the form x 2 = ax 3 , with a a zero of a 8a 2 + λ 2 a + 8 if i = 2, a a 2 + 1 if i = 3, 8a 3 + λ 2 a 2 + 2 if i = 6, (a + 1) a 2 − a + 1 if i = 7.
In the cases i = 2, 3, 6, 7 we find that 24 of the bitangents can be described in terms of a polynomial in a 2 of degree 24. Since a 1 is the unique root of a polynomial with coefficients in F q (λ, a 2 ) we find that a 1 ∈ F q (λ, a 2 ). The equations defining c and d are linear, hence they are also in F q (λ, a 2 ). Hence the bitangent is defined over F q (λ, a 2 ). However, the lines on the del Pezzo surface may be defined over a degree 2 extension. If = V (−u + ax 2 + bx 3 ) then the equation for the del Pezzo surface is a quadratic equation in v. It restriction to u = a 1 x 2 + a 2 x 3 is a quadratic equation with discriminant q i | . This discriminant is of the form C i x 2 2 + b i x 2 x 3 + c i x 2 3 2 . Hence to define each of the two corresponding lines on S (1,i) λ we need to take a square root of C. An explicit calculation now show that C depends only on i and a 2 . More precisely, we have that C i equals 8a 4 2 , a 4 2 , 8a 4 2 , a 4 2 for i = 2, 3, 6, 7. Hence for i = 3, 7 both lines are defined over F q (λ, a 2 ) but for i = 2, 6 they are defined over F q λ, a 2 , √ 2 .
Using symmetry we find that further bitangents are given by a 3 = t 4a 2 and a 4 2 = 1. There are four further bitangents of the form x 2 = ax 3 with 8a 4 + λ 2 a 2 + 8 = 0.