Related papers: Improvements to the deformation method for countin…
We give an algorithm to compute the periods of smooth projective hypersurfaces of any dimension. This is an improvement over existing algorithms which could only compute the periods of plane curves. Our algorithm reduces the evaluation of…
We report on our project to find explicit examples of $K3$ surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for…
We describe an algorithm to compute the zeta function of any non-hyperelliptic genus 3 plane curve $C$ over a finite field with automorphism group $G = \mathbb{Z} / 2 \mathbb{Z}$. This algorithm computes in the Monsky-Washnitzer cohomology…
The enumeration of points on (or off) the union of some linear or affine subspaces over a finite field is dealt with in combinatorics via the characteristic polynomial and in algebraic geometry via the zeta function. We discuss the basic…
We present a numerical algorithm for the computation of invariant Ruelle distributions on convex co-compact hyperbolic surfaces. This is achieved by exploiting the connection between invariant Ruelle distributions and residues of…
We present a deterministic polynomial time algorithm for computing the zeta function of an arbitrary variety of fixed dimension over a finite field of small characteristic. One consequence of this result is an efficient method for computing…
We fully generalize a previously-developed computational geometry tool [1] to perform large-scale simulations of arbitrary two-dimensional faceted surfaces $z = h(x,y)$. Our method uses a three-component facet/edge/junction storage model,…
We present new algorithms for computing zeta functions of algebraic varieties over finite fields. In particular, let X be an arithmetic scheme (scheme of finite type over Z), and for a prime p let zeta_{X_p}(s) be the local factor of its…
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…
Based on high precision computation of periods and lattice reduction techniques, we compute the Picard group of smooth surfaces. We also study the lattice reduction technique that is employed in order to quantify the possibility of…
We derive formulas for the number of points on the basic stratum of certain Kottwitz varieties in terms of automorphic representations and certain explicit polynomials, for which we present efficient algorithms for computation. We obtain…
We compute Hochschild cohomology of projective hypersurfaces starting from the Gerstenhaber-Schack complex of the (restricted) structure sheaf. We are particularly interested in the second cohomology group and its relation with…
In this paper, we present a patch-based representation of surfaces, PolyFit, which is obtained by fitting jet functions locally on surface patches. Such a representation can be learned efficiently in a supervised fashion from both analytic…
We describe a general methodology for enhancing the efficiency of adiabatic quantum computations (AQC). It consists of homotopically deforming the original "Hamiltonian surface" in a way that the redistribution of the Gaussian curvature…
The paper reviews Dwork's p-adic analytic methods used in the Weil Conjectures. The first two chapters review a version of his proof of the rationality conjecture. The rest of the paper is devoted to Dwork's original cohomological methods,…
A new method is devised for calculating the Igusa local zeta function $Z_f$ of a polynomial $f(x_1,\dots,x_n)$ over a $p$-adic field. This involves a new kind of generating function $G_f$ that is the projective limit of a family of…
A projective hypersurface is nodal if it does not have singularities worse than simple nodes. We calculate the rational cohomology of the spaces of equations of nodal cubic and quartic plane curves and also nodal cubic surfaces in the…
In this paper, we give an approach to the zeta values of a (proper regular) arithmetic scheme X at the integers r>=d:=dim(X), using \'etale cohomology of X with Q_p(r) and Z_p(r)-coefficients.
We give a new formula for the special value at s=2 of the Hasse-Weil zeta function for smooth projective fourfolds under some assumptions (the Tate and Beilinson conjecture, finiteness of some cohomology groups, etc.). Our formula may be…
Let X be a an affine smooth symplectic variety over $\mathbb{Z}/p\mathbb{Z},$ and A be its deformation quantization over the p-adic integers. We prove that for all $n\geq 1,$ the Hochschild cohomogy of $A/p^nA$ is isomorphic to the de…