We compute a basis for the p-adic Dwork cohomology of a smooth complete intersection in projective space over a finite field and use it to give p-adic estimates for the action of Frobenius on this cohomology. In particular, we prove that the Newton polygon of the characteristic polynomial of Frobenius lies on or above the associated Hodge polygon. This result was first proved by B. Mazur using crystalline cohomology.
We give improvements of the deformation method for computing the zeta function of a generic projective hypersurface in characteristic~$p$ that either reduce the dependence on~$p$ of the time complexity to $\tilde{O}(p^{1/2})$ or that of the space complexity to $\tilde{O}(\log(p))$ while remaining polynomial in the other input parameters.
Given a hypersurface, $X$, prime $p$, the zeta function is a generating function for the number of $\mathbb{F}_{p}$ rational points of $X$. Until now, there is no algorithm for computing hypersurfaces with ADE singularities. Scott Stetson and Vladimir Baranovsky provided an algorithm with Mathematica for the ordinary double point case. In this paper, I go over a Sage algorithm for computing the zeta function of a hypersurface with ADE singularities over 3-dimensional projective space. To make the algorithm more efficient, I established an equivalence between a polynomial belonging to the Jacob…
In this paper we prove that there exists a Zariski dense open subset U defined over the rationals Q in the space of all one-variable rational functions with arbitrary k poles of prescribed orders, such that for every geometric point f in U(Qbar)$, the L-function of the exponential sum of f at a prime p has Newton polygon approaching the Hodge polygon as p approaches infinity. As an application to algebraic geometry, we prove that the p-adic Newton polygon of the zeta function of a p-cover of the projective line totally ramified at arbitrary k points of prescribed orders has an asymptotic gener…
Given a projective variety X defined over a finite field, the zeta function of divisors attempts to count all irreducible, codimension one subvarieties of X, each measured by their projective degree. When the dimension of X is greater than one, this is a purely p-adic function, convergent on the open unit disk. Four conjectures are expected to hold, the first of which is p-adic meromorphic continuation to all of C_p. When the divisor class group (divisors modulo linear equivalence) of X has rank one, then all four conjectures are known to be true. In this paper, we discuss the higher rank case…
In this brief note, we will investigate the number of points of bounded (twisted) height in a projective variety defined over a function field, where the function field comes from a projective variety of dimension greater than or equal to 2. A first step in this investigation is to understand the $p$-adic analytic properties of the height zeta function. In particular, we will show that for a large class of projective varieties this function is $p$-adic meromorphic.
For a generic (polynomial) one-parameter deformation of a complete intersection, there is defined its monodromy zeta-function. We provide explicit formulae for this zeta-function in terms of the corresponding Newton polyhedra in the case the deformation is non-degenerate with respect to its Newton polyhedra. Using this result we obtain the formula for the monodromy zeta-function at the origin of a polynomial on a complete intersection, which is an analog of the Libgober--Sperber theorem.
Given two elliptic curves, each of which is associated with a projection map that identifies opposite elements with respect to the natural group structure, we investigate how their corresponding projective images of torsion points intersect.
We extend the approach Abbott, Kedlaya and Roe to computation of the zeta function of a projective hypersurface with $τ$ isolated ordinary double points over a finite field $\mathbb{F}_q$ given by the reduction of a homogeneous polynomial $f \in \mathbb{Z}[x_0, \ldots, x_n]$, under the assumption of equisingularity over $\mathbb{Z}_q$. The algorithm is based on the results of Dimca and Saito (over the field $\mathbb{C}$ of complex numbers) on the pole order spectral sequence in the case of ordinary double points. We give some examples of explicit computations for surfaces in $\mathbb{P}^3$.
Inspired by Manin's approach towards a geometric interpretation of Arakelov theory at infinity, we interpret in this paper non-Archimedean local intersection numbers of linear cycles in $P^{n-1}$ with the combinatorial geometry of the Bruhat-Tits building associated to PGL(n).
The choice of a homogeneous ideal in a polynomial ring defines a closed subscheme $Z$ in a projective space as well as an infinite sequence of cones over $Z$ in progressively higher dimension projective spaces. Recent work of Aluffi introduces the Segre zeta function, a rational power series with integer coefficients which captures the relationship between the Segre class of $Z$ and those of its cones. The goal of this note is to define a relative version of this construction for closed subschemes of projective bundles over a smooth variety. If $Z$ is a closed subscheme of such a projective bu…
We define a power series associated with a homogeneous ideal in a polynomial ring, encoding information on the Segre classes defined by extensions of the ideal in projective spaces of arbitrarily high dimension. We prove that this power series is rational, with poles corresponding to generators of the ideal, and with numerator of bounded degree and with nonnegative coefficients. We also prove that this `Segre zeta function' only depends on the integral closure of the ideal. The results follow from good functoriality properties of the `shadows' of rational equivalence classes of projective bund…
We show that the motivic zeta functions of smooth, geometrically connected curves with no rational points are rational functions. This was previously known only for curves whose smooth projective models have a rational point on each connected component. In the course of the proof we study the class of a Severi-Brauer scheme over a general base in the Grothendieck ring of varieties.
We present a method for computing the zeta function of a smooth projective variety over a finite field which proceeds by induction on the dimension. We have implemented our approach for some surfaces using the Magma programming language, and present some explicit examples which we have computed.
We show that any derived equivalent smooth, projective varieties of dimension 3 over a finite field $\mathbb{F}_q$ have equal zeta functions. This result is an application of the extension to smooth, projective varieties over any field of Popa and Schnell's proof that derived equivalent smooth, projective varieties over $\mathbb{C}$ have isogenous Albanese torsors; this result is proven in an appendix by Achter, Casalaina-Martin, Honigs and Vial.
Over the moduli space of rank $n$ semi-stable lattices is a universal family of tori. Along the fibers, there are natural differential operators and differential equations, particularly, the heat equations and the Fokker-Planck equations in statistical mechanics. In this paper, we explain why, by taking averages over the moduli spaces, all these are connected with the zeros of rank $n$ non-abelian zeta functions of the field of rationals, which are known lie on the central line except a finitely many if $n\geq 2$. Certainly, when $n=1$, our current work recovers that of Armitage, which from th…
Given a smooth subscheme of a projective space over a finite field, we compute the probability that its intersection with a fixed number of hypersurface sections of large degree is smooth of the expected dimension. This generalizes the case of a single hypersurface, due to Poonen. We use this result to give a probabilistic model for the number of rational points of such a complete intersection. A somewhat surprising corollary is that the number of rational points on a random smooth intersection of two surfaces in projective 3-space is strictly less than the number of points on the projective l…
We consider certain $K3$-fibered Calabi--Yau threefolds. One class of such Calabi--Yau threefolds are constructed by Hunt and Schimmrigk using twist maps. They are realized in weighted projective spaces as orbifolds of hypersurfaces. Our main goal of this paper is to investigate arithmetic properties of these Calabi--Yau threefolds. We also consider deformations of our Calabi--Yau threefolds, and we study the variation of the zeta-functions using $p$-adic rigid cohomology theory.
Let $X_λ$ and $X_λ'$ 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].
We bound the genus of a projective curve lying on a complete intersection surface in terms of its degree and the degrees of the defining equations of the surface on which it lies.
We establish a tannakian formalism of $p$-adic multiple polylogarithms and $p$-adic multiple zeta values introduced in our previous paper via a comparison isomorphism between a de Rham fundamental torsor and a rigid fundamental torsor of the projective line minus three points and also discuss its Hodge and etale analogues. As an application we give a way to erase log poles of $p$-adic multiple polylogarithms and introduce overconvergent $p$-adic multiple polylogarithms which might be $p$-adic multiple analogue of Zagier's single-valued complex polylogarithms.
The local zeta functions (also called Igusa's zeta functions) over p-adic fields are connected with the number of solutions of congruences and exponential sums mod p^{m}. These zeta functions are defined as integrals over open and compact subsets with respect to the Haar measure. In this paper, we introduce new integrals defined over submanifolds, or more generally, over non-degenerate complete intersection varieties, and study their connections with some arithmetical problems such as estimation of exponential sums mod p^{m}. In particular we extend Igusa's method for estimating exponential su…
We prove that Hori--Vafa mirror models for smooth Fano complete intersections in weighted projective spaces admit an interpretation as Laurent polynomials.
For a scheme $X$ whose $\mathbb F_q$-rational points are counted by a polynomial $N(q)=\sum a_iq^i$, the $\mathbb{F}_1$-zeta function is defined as $ζ(s)=\prod(s-i)^{-a_i}$. Define $χ=N(1)$. In this paper we show that if $X$ is a smooth projective scheme, then its $\mathbb{F}_1$-zeta function satisfies the functional equation $ζ(n-s) = (-1)^χζ(s)$. We further show that the $\mathbb{F}_1$-zeta function $ζ(s)$ of a split reductive group scheme $G$ of rank $r$ with $N$ positive roots satisfies the functional equation $ζ(r+N-s) = (-1)^χ( ζ(s) )^{(-1)^r}$.
In this paper, we introduce a geometrically stylized arithmetic cohomology for number fields. Based on such a cohomology, we define and study new yet genuine non-abelian zeta functions for number fields, using an intersection stability.
We construct an explicit homotopy formula for the d-bar complex on a complete intersection subvariety V in CP^n. This formula can be interpreted as a Hodge-type decomposition for residual currents on V.
We address the problem of bounding from below the self-intersection of integral curves on the projective plane blown-up at general points. In particular, by applying classical deformation theory we obtain the expected bound in the case of either high ramification or low multiplicity.
We define one-point disk invariants of a smooth projective Calabi-Yau (CY) complete intersection (CI) in the presence of an anti-holomorphic involution via localization. We show that these invariants are rational numbers and obtain a formula for them which confirms, in particular, a conjecture by Jinzenji-Shimizu.
We describe an algorithm to compute the zeta function of a cyclic cover of the projective line over a finite field of characteristic $p$ that runs in time $p^{1/2 + o(1)}$. We confirm its practicality and effectiveness by reporting on the performance of our SageMath implementation on a range of examples. The algorithm relies on Gonçalves's generalization of Kedlaya's algorithm for cyclic covers, and Harvey's work on Kedlaya's algorithm for large characteristic.
In this paper, it is demonstrated that derived equivalence between smooth, projective, connected schemes that are either surfaces or abelian implies equality of zeta functions.
By using the infinitesimally marking point to break the loop in the localization calculation as Kim and Lho, and Zinger's explicit formulas for double $J$-functions, we obtain a formula for genus one stable quasimaps invariants when the target is a complete intersection Calabi-Yau in projective space, which gives a new proof of Kim and Lho's mirror theorem for elliptic quasimap invariants.
We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective schemes. In particular, if Tate's conjecture holds and rational and numerical equivalence agree up to torsion, then the groups H^i_c(X_ar,Z(n)) are finitely generated, form an integral version of l-adic cohomology with compact support, and admit a formula for the special values of the zeta-function of X.
We generalize Givental's Theorem for complete intersections in smooth toric varieties in the Fano case. In particular, we find Gromov--Witten invariants of Fano varieties of dimension $\geq 3$, which are complete intersections in weighted projective spaces and singular toric varieties. We generalize the Riemann-Roch equations to weighted projective spaces. We compute counting matrices of smooth Fano threefolds with Picard group Z and anticanonical degrees 2, 8, and 16.
One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on étale fundamental groups $π_1(H \cap U) \rightarrow π_1(U)$ is surjective. We prove a generalization, replacing the hyperplane by a general $\operatorname{PGL}_{n+1}$-translate of an arbitrary projective variety: If $U \subset \mathbb P^n$ is a normal quasi-projective variety, $X$ is a geometrically irreducible projective variety of dimension at least $n + 1 - \dim U$, and…
The Poincare series of an irreducible plane curve singularity equals the zeta function of its monodromy, by a result of Campillo, Delgado and Gusein-Zade. We derive this fact from a formula of Ebeling and Gusein-Zade relating the Poincare series of a quasi-homogeneous complete intersection singularity to the Saito dual of a product of zeta functions.
In this paper, the author constructs a family of algebraic cycles in Bloch's cubical cycle complex over the projective line minus three points which are expected to correspond to multiple polylogarithms in one variable. Elements in this family are in particular equidimensional over the projective line minus three points. In weight greater or equal to $2$, they are naturaly extended as equidimensional cycle over the affine line. This allows to consider their fibers at the point 1 and this is one of the main differences with Gangl, Goncharov and Levin work where generic arguments are imposed for…
Given a smooth projective variety V of dimension n, one may say that V has motivic dimension less than d+1 if the cohomology of V comes from varieties of dimensions less than d+1 in some geometric way. In this paper, we show that a smooth complete interesection of k quadrics has a motivic dimension less than k.
We consider a class of Calabi-Yau compactifications which are constructed as a complete intersection in weighted projective space. For manifolds with one Kähler modulus we construct the mirror manifolds and calculate the instanton sum.
We give an interim report on some improvements and generalizations of the Abbott-Kedlaya-Roe method to compute the zeta function of a nondegenerate ample hypersurface in a projectively normal toric variety over $\mathbb{F}_p$ in linear time in $p$. These are illustrated with a number of examples including K3 surfaces, Calabi-Yau threefolds, and a cubic fourfold. The latter example is a non-special cubic fourfold appearing in the Ranestad-Voisin coplanar divisor on moduli space; this verifies that the coplanar divisor is not a Noether-Lefschetz divisor in the sense of Hassett.
We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of rational homogeneous varieties are complete intersections.
In our previous work, we provided an algebraic proof of the Zinger's comparison formula between genus one Gromov-Witten invariants and reduced invariants when the target space is a complete intersection of dimension two or three in a projective space. In this paper, we extend the result in any dimensions and for descendant invariants.
Using the cohomology theory of Dwork, as developed by Adolphson and Sperber, we exhibit a deterministic algorithm to compute the zeta function of a nondegenerate hypersurface defined over a finite field. This algorithm is particularly well-suited to work with polynomials in small characteristic that have few monomials (relative to their dimension). Our method covers toric, affine, and projective hypersurfaces and also can be used to compute the L-function of an exponential sum.
Let Y be a Calabi-Yau complete intersection in a weighted projective space. We show that the space of quadratic invariants of the hypergeometric group associated with the twisted I-function is one-dimensional, and spanned by the Gram matrix of a split-generator of the derived category of coherent sheaves on Y with respect to the Euler form.
We obtain mirror formulas for the genus 1 Gromov-Witten invariants of projective Calabi-Yau complete intersections. We follow the approach previously used for projective hypersurfaces by extending the scope of its algebraic results; there is little change in the geometric aspects. As an application, we check the genus 1 BPS integrality predictions in low degrees for all projective complete intersections of dimensions 3, 4, and 5.
We study Calabi-Yau manifolds which are complete intersections of hypersurfaces of multidegree $1$ in an $m$-fold product of $n$-dimensional projective spaces. Using the theory of Coxeter groups, we show that the birational automorphism group of such a Calabi-Yau manifold $X$ is infinite and a free product of copies of $\mathbb{Z}$ . Moreover, we give an explicit description of the boundary of the movable cone $\overline{\operatorname{Mov}}(X)$. In the end, we consider examples for the general and non-general case and picture the movable cone and the fundamental domain for the action of $\oper…
We present various improvements to the deformation method for computing the zeta function of smooth projective hypersurfaces over finite fields using $p$-adic cohomology. This includes new bounds for the $p$-adic and $t$-adic precisions required to obtain provably correct results and gains in the efficiency of the individual steps of the method. The algorithm that we thus obtain has lower time and space complexities than existing methods. Moreover, our implementation is more practical and can be applied more generally, which we illustrate with examples of quintic curves and quartic surfaces.
We describe the structure of mirror formulas for genus 0 Gromov-Witten invariants of projective complete intersections with any number of marked points and provide an explicit algorithm for obtaining the relevant structure coefficients. The structural description alone suffices for some qualitative applications, such as vanishing results and the bounds on the growth of these invariants predicted by R. Pandharipande.
