Improvements to the deformation method for counting points on smooth projective hypersurfaces

DOI10.1007/S10208-014-9242-8zbMATH Open1400.11128arXiv1307.1250OpenAlexW2023046297MaRDI QIDQ895704FDOQ895704

Authors: Sebastian Pancratz, Jan Tuitman 

Publication date: 4 December 2015

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1307.1250

Recommendations

• Deformation theory and the computation of zeta functions
• Computing zeta functions of generic projective hypersurfaces in larger characteristic
• Relative Rigid Cohomology and Deformation of Hypersurfaces
• Point counting in families of hyperelliptic curves
• Relative rigid cohomology and point counting on families of elliptic curves

zbMATH Keywords

finite fieldscomputing zeta functionsdeformation method

Mathematics Subject Classification ID

Zeta and (L)-functions in characteristic (p) (11M38) Number-theoretic algorithms; complexity (11Y16) Computational aspects of algebraic surfaces (14Q10)

Cites Work

• Multiplying matrices faster than coppersmith-winograd
• On the periods of certain rational integrals. I, II
• On Exponential Sums in Finite Fields
• \(p\)-adic differential equations
• Effective convergence bounds for Frobenius structures on connections
• Counting points on elliptic curves over finite fields
• On the zeta function of a hypersurface. II
• Counting solutions to equations in many variables over finite fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deformation theory and the computation of zeta functions
• Frobenius and the Hodge filtration
• On the differential equations satisfied by period matrices
• On the zeta function of a hypersurface. I
• Title not available (Why is that?)
• Fast algorithms for the characteristic polynomial
• A Recursive Method for Computing Zeta Functions of Varieties
• Relative Rigid Cohomology and Deformation of Hypersurfaces
• \(L\)-functions associated to overconvergent \(F\)-isocrystals
• Bounding Picard numbers of surfaces using \(p\)-adic cohomology
• Degenerations and limit Frobenius structures in rigid cohomology
• Title not available (Why is that?)
• Fast arithmetic in unramified \(p\)-adic fields

Cited In (10)

• A numerical transcendental method in algebraic geometry: computation of Picard groups and related invariants
• Computing periods of hypersurfaces
• Counting points on curves using a map to \(\mathbf{P}^1\)
• Computing zeta functions of arithmetic schemes
• Computing zeta functions of generic projective hypersurfaces in larger characteristic
• Counting points with Berglund–Hübsch–Krawitz mirror symmetry
• Zeta functions of monomial deformations of Delsarte hypersurfaces
• Zeta functions of nondegenerate hypersurfaces in toric varieties via controlled reduction in \(p\)-adic cohomology
• Point counting on \(K3\) surfaces and an application concerning real and complex multiplication
• Point Counting on Singular Hypersurfaces

Uses Software

• FLINT

This page was built for publication: Improvements to the deformation method for counting points on smooth projective hypersurfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895704)