Alan G. B. Lauder
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We discuss the following two problems: 1) The properties of the multiple zeta-values and their generalizations, multiple polylogarithms at N-th roots of unity; 2) The action of the absolute Galois group on the pro-l-completion of the fundamental group of the projective line without zero, infinity, and all N-th roots of unity; and a surprising connection of these problems with the geometry and topology of modular varieties for GL_m.
The p-cohomology of an algebraic variety in characteristic p lies naturally in the category $D_{c}^{b}(R)$ of coherent complexes of graded modules over the Raynaud ring (Ekedahl-Illusie-Raynaud). We study homological algebra in this category. When the base field is finite, our results provide relations between the the absolute cohomology groups of algebraic varieties, log varieties, algebraic stacks, etc. and the special values of their zeta functions. These results provide compelling evidence that $D_{c}^{b}(R)$ is the correct target for p-cohomology in characteristic p.
Euler discovered a formula for expressing the value of the Riemann zeta function for all even positive integer arguments. A closed-form expression for the Riemann zeta function for all odd integer arguments, based on the values of the Dirichlet beta function, euler numbers and pi, reveals a new evidence about the self-recursive nature of Riemann zeta function at odd integers. We demonstrate for the first time that the Riemann zeta function at odd integers always produces a recurrence relation that is self-recursive.
We study special values of zeta functions of singular varieties over finite fields. We give a new formula of special values by constructing a morphism of homology theories, which we call regulator, from higher Chow group to weight homology. Our regulator is defined by using the notion of weight complex for varieties over a perfect field, which was introduced by Gillet and Soule. The main idea of the proof of our formula of special values is to use weight spectral sequence of homology theories, whose E1 terms are homology groups for smooth projective schemes. Also, to calculate special values, …
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…
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.
By restricting the variables running over various (possibly different) subfields, we introduce the notion of a partial zeta function. We prove that the partial zeta function is rational in an interesting case, generalizing Dwork's well known rationality theorem. In general, the partial zeta function is probably not rational. But a theorem of Faltings says that the partial zeta function is always nearly rational.
We study motivic zeta functions for $\mathds{Q}$-divisors in a $\mathds{Q}$-Gorenstein variety. By using a toric partial resolution of singularities we reduce this study to the local case of two normal crossing divisors where the ambient space is an abelian quotient singularity. For the latter we provide a closed formula which is worked out directly on the quotient singular variety. As a first application we provide a family of surface singularities where the use of weighted blow-ups reduces the set of candidate poles drastically. We also present an example of a quotient singularity under the …
Hasse-Weil zeta functions of SL_2-character varieties of arithmetic two bridge link groups are determined. Special values of the zeta functions at s=0,1,2 are also investigated.
An automorphic description of the zeta function of the basic stratum of certain Kottwitz varieties
本研究利用迹公式、基变换等工具，推导了某些Kottwitz簇基本层点数的自守表示与显式多项式表达，并给出高效计算方法，为相关zeta函数研究提供了新路径。
Counting rational points on Hirzebruch-Kleinschmidt varieties over global function fields
受Bourqui工作启发，本文研究了全局函数域上Picard秩为2的分裂环面簇的高度zeta函数，将其分解为子簇并给出精确解析性质，进而得到各子簇上大高度有理点计数的渐近公式。
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…
Motivic correlators, cluster varieties and Zagier's conjecture on zeta(F,4)
研究证明数域F的戴德金ζ函数在s = 4处取值的扎吉尔猜想，通过定义特定映射等工具，还给出椭圆曲线E的L函数在s = 4处值的公式，为自由性猜想中F的动机李余代数权重4部分提供证据。
Point counts of abelian varieties over finite fields determining their zeta function
本文证明当q相对于g足够大时，前g个点计数决定阿贝尔簇的zeta函数，从而决定其等元类，并给出最佳计数个数。
It is proved that the Hasse-Weil zeta functions of the canonical components of the ${\rm SL}_2$ (${\rm PSL}_2$)-character varieties of closed orientable complete hyperbolic $3$-manifolds of finite volume are equal to the Dedekind zeta functions of their trace fields (invariant trace fields). When the closed $3$-manifold is arithmetic, the special value at $s=2$ of the Hasse-Weil zeta function of the canonical component of the ${\rm PSL}_2$-character variety is expressed in terms of the hyperbolic volume of the manifold up to rational numbers.
Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other invariants of the variety. In this article, we present the ultimate such conjecture, and provide evidence for it. In particular, we enhance Voevodsky's Z[1/p]-category of etale motivic complexes with a p-integral structure, and show that, for this category, our conjecture follows from the Tate and Beilinson conjectures. As the conjecture is stated in terms of mot…
We survey some recent applications of p-adic cohomology to machine computation of zeta functions of algebraic varieties over finite fields of small characteristic, and suggest some new avenues for further exploration.
We lift the classical Hasse--Weil zeta function of varieties over a finite field to a map of spectra with domain the Grothendieck spectrum of varieties constructed by Campbell and Zakharevich. We use this map to prove that the Grothendieck spectrum of varieties contains nontrivial geometric information in its higher homotopy groups by showing that the map $\mathbb{S} \to K(Var_k)$ induced by the inclusion of $0$-dimensional varieties is not surjective on $π_1$ for a wide range of fields $k$. The methods used in this paper should generalize to lifting other motivic measures to maps of $K$-theor…
We show how the Langlands-Kottwitz method can be used to determine the semisimple local factors of the Hasse-Weil zeta-function of certain Shimura varieties. On the way, we prove a conjecture of Haines and Kottwitz in this special case.
We present a novel axiomatic framework for establishing horizontal norm relations in Euler systems that are built from pushforwards of classes in the motivic cohomology of Shimura varieties. This framework is uniformly applicable to the Euler systems of both algebraic cycles and Eisenstein classes. It also applies to non-spherical pairs of groups that fail to satisfy a local multiplicity one hypothesis, and thus lie beyond the reach of existing methods. A key application of this work is the construction of an Euler system for the spinor Galois representations arising in the cohomology of Siege…
In 2005, Kayal suggested that Schoof's algorithm for counting points on elliptic curves over finite fields might yield an approach to factor polynomials over finite fields in deterministic polynomial time. We present an exposition of his idea and then explain details of a generalization involving Pila's algorithm for abelian varieties.
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.
A motivic Poisson formula for split algebraic tori with an application to motivic height zeta functions
本文证明了分裂代数群adelic点的motivic版本的Poisson公式，并应用于研究分裂射影toric品种的motivic高度zeta函数，基于motivic Manin-Peyre原理。
We study the behaviour near s=1/2 of zeta functions of varieties over finite fields F_q with q a square. The main result is an Euler-characteristic formula for the square of the special value at s=1/2. The Euler-characteristic is constructed from the Weil-etale cohomology of a certain supersingular elliptic curve.
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 zeta function. We present an algorithm that computes zeta_{X_p}(s) for a single prime p in time p^(1/2+o(1)), and another algorithm that computes zeta_{X_p}(s) for all primes p < N in time N (log N)^(3+o(1)). These generalise previous results of the author from hyperelliptic curves to completely arbitrary varieties.
We introduce the Hadamard topology on the Witt ring of rational functions, giving a simultaneous refinement of the weight and point-counting topologies. Zeta functions of algebraic varieties over finite fields are elements of the rational Witt ring, and the Hadamard topology allows for a conjectural unification of results in arithmetic and motivic statistics: The completion of the Witt ring for the Hadamard topology can be identified with a space of meromorphic functions which we call Hadamard functions, and we make the meta-conjecture that any "natural" sequence of zeta functions which conver…
This paper intends to give a mathematical explanation for results on the zeta-function of some families of varieties recently obtained in the context of Mirror Symmetry. In doing so, we obtain concrete and explicit examples for some results recently used in algorithms to count points on smooth hypersurfaces in P^n. In particular, we extend the monomial-motive correspondence of Kadir and Yui and we give explicit solutions to the p-adic Picard-Fuchs equation associated with monomial deformations of Fermat hypersurfaces. As a by-product we obtain Poincare Duality for the Rigid cohomology of certa…
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.
We obtain recursive formulas for the stuffle product of multiple zeta values and of multiple zeta-star values. Then we apply the formulas to prove several stuffle product formulas with one or two strings of $z_p$'s. We also describe how to use our formulas in general cases.
We discuss several conjectures about derived equivalent varieties, defined over fields of arbitrary characteristics, and implications among them. In particular we show that the (conjectural) derived invariance of the Hasse-Weil Zeta functions of smooth projective varieties over finite fields, implies the derived invariance of the Hodge diamond of complex algebraic varieties.
We prove some results connecting the zeta functions of varieties over finite fields with the big Witt ring over $\mathbb Z$. We explore relations with motivic measures and a classical formula of Macdonald on invariants of symmetric products of a variety.
We determine the {\em real} counting function $N(q)$ ($q\in [1,\infty)$) for the hypothetical "curve" $C=\overline {\Sp \Z}$ over $\F_1$, whose corresponding zeta function is the complete Riemann zeta function. Then, we develop a theory of functorial $\F_1$-schemes which reconciles the previous attempts by C. Soulé and A. Deitmar. Our construction fits with the geometry of monoids of K. Kato, is no longer limited to toric varieties and it covers the case of schemes associated to Chevalley groups. Finally we show, using the monoid of adèle classes over an arbitrary global field, how to apply ou…
Notes on congruence zeta functions via a Berkovich approach
本文在Scholze的Berkovich动机框架下，利用范畴迹构造了一种新的zeta函数，并证明其与经典同余zeta函数一致。
We propose a definition of varieties over the field with one element. These have extensions of scalars to the ring of integers which are varieties in the usual sense. We show that toric varieties can be defined over the field with one element. We also discuss zeta functions for such objects. We give a motivic interpretation of the image of the J-homomorphism defined by Adams. ~ ~ ~ ~
We show that the cyclotomic trace map for smooth varieties over number rings can be interpreted as a regulator map and hence are related to special values of $ζ$-functions.
Generalized Euler decomposition formula for interpolated multiple zeta values
本文提出了一种通用的t-shuffle乘积公式，用于推导插值多重ζ值的广义欧拉分解公式，并通过两种方法验证了高度为一的情况。
In this article, we introduce a systematic new method to investigate the conjectural p-adic meromorphic continuation of Professor Bernard Dwork's unit root zeta function attached to an ordinary family of algebraic varieties defined over a finite field of characteristic p.
Let $\mathbb{F}_q$ be a finite field with $q$ elements, $ψ$ a non-zero element of $\mathbb{F}_q$, and $n$ an integer $\geq 3$ prime to $q$. The aim of this article is to show that the zeta function of the projective variety over $\mathbb{F}_q$ defined by $X_ψ\colon x_1^n+...+x_n^n - n ψx_1... x_n=0$ has, when $n$ is prime and $X_ψ$ is non singular (i.e. when $ψ^n \neq 1$), an explicit decomposition in factors coming from affine varieties of odd dimension $\leq n-4$ which are of hypergeometric type. The method we use consists in counting separately the number of points of $X_ψ$ and of some vari…
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 the order of the group of rational points on the Jacobian of a smooth geometrically connected projective curve over a finite field of small characteristic.
Betti number bounds for varieties and exponential sums
本文利用周层性质给出仿射簇紧支撑Betti数的上界，并应用于有限域上zeta函数与指数和L函数，改进经典结果，完全交情形渐近最优。
The main result of this paper is a characterization of the abelian varieties $B/K$ defined over Galois number fields with the property that the zeta function $L(B/K;s)$ is equivalent to the product of zeta functions of non-CM newforms for congruence subgroups $Γ_1(N)$. The characterization involves the structure of End(B), isogenies between the Galois conjugates of $B$, and a Galois cohomology class attached to $B/K$. We call the varieties having this property strongly modular. The last section is devoted to the study of a family of abelian surfaces with quaternionic multiplication. As an illu…
In this paper we propose different notions of F_zeta-geometry, for zeta a root of unity, generalizing notions of F_1-geometry (geometry over the "field with one element") based on the behavior of the counting functions of points over finite fields, the Grothendieck class, and the notion of torification. We relate F_zeta-geometry to formal roots of Tate motives, and to functions in the Habiro ring, seen as counting functions of certain ind-varieties. We investigate the existence of F_zeta-structures in examples arising from general linear groups, matrix equations over finite fields, and some qu…
Zeta Functions of Certain Quadratic Orders
本文通过递归方法计算了特定二次序族zeta函数的显式公式，为后续论文证明Arthur关于轨道积分乘积公式的预测奠定了基础。
Partial zeta functions of algebraic varieties over finite fields generalize the classical zeta function by allowing each variable to be defined over a possibly different extension field of a fixed finite field. Due to this extra variation their rationality is surprising, and even simple examples are delicate to compute. For instance, we give a detailed description of the partial zeta function of an affine curve where the number of unit poles varies, a property different from classical zeta functions. On the other hand, they do retain some properties similar to the classical case. To this end, …
We study periodic points for endomorphisms $σ$ of abelian varieties $A$ over algebraically closed fields of positive characteristic $p$. We show that the dynamical zeta function $ζ_σ$ of $σ$ is either rational or transcendental, the first case happening precisely when $σ^n-1$ is a separable isogeny for all $n$. We call this condition very inseparability and show it is equivalent to the action of $σ$ on the local $p$-torsion group scheme being nilpotent. The "false" zeta function $D_σ$, in which the number of fixed points of $σ^n$ is replaced by the degree of $σ^n-1$, is always a rational funct…
Zeta function of F-gauges and special values
本文针对有限域上可对偶$F$-gauges，提出并证明Artin–Tate型Zeta函数特殊值猜想的无条件形式，并借助稳定Bockstein特征及栈式$F$-gauge理论使其无条件适用于光滑真簇。
Motivic Coh and Quot zeta functions of singular curves
本文建立代数框架研究奇异曲线上Quot与Coh zeta函数，证明其motivic有理性和反射原理，并揭示与Rogers--Ramanujan型q-级数的新联系。
We study the local factor at p of the semi-simple zeta function of a Shimura variety of Drinfeld type for a level structure given at p by the pro-unipotent radical of an Iwahori subgroup. Our method is an adaptation to this case of the Langlands-Kottwitz counting method. We use Hecke algebra isomorphisms to determine the test functions at p.
In this paper we study asymptotic properties of families of zeta and $L$-functions over finite fields. We do it in the context of three main problems: the basic inequality, the Brauer--Siegel type results and the results on distribution of zeroes. We generalize to this abstract setting the results of Tsfasman, Vlăduţ and Lachaud, who studied similar problems for curves and (in some cases) for varieties over finite fields. In the classical case of zeta functions of curves we extend a result of Ihara on the limit behaviour of the Euler--Kronecker constant. Our results also apply to $L$-functions…
Given a finite abelian $p$-group $F$, we prove an efficient recursive formula for $σ_a(F)=\sum_{\substack{H\leq F}}|H|^a$ where $H$ ranges over the subgroups of $F$. We infer from this formula that the $p$-component of the corresponding zeta-function on groups of $p$-rank bounded by some constant $r$ is rational with a simple denominator. We also provide two explicit examples in rank $r=3$ and $r=4$ as well as a closed formula for $σ_a(F)$.
We interpret the "explicit formula" in the sense of analytic number theory for the zeta function of an ordinary abelian variety of dimension g over a finite field as a transversal index theorem on a (2g+1)-dimensional Riemannian foliated space. This generalizes a work of Deninger for elliptic curves.
Let $F_n$ and $L_n$ be the Fibonacci and Lucas numbers, respectively. Four corresponding zeta functions in $s$ are defined by \[ζ_F(s) \,:=\, \sum_{n=1}^{\infty} \frac{1}{F_n^s}\,,\quad ζ_F^*(s) \,:=\,\sum_{n=1}^{\infty} \frac{{(-1)}^{n+1}}{F_n^s}\,,\quad ζ_L(s) \,:=\, \sum_{n=1}^{\infty} \frac{1}{L_n^s}\,,\quad ζ_L^*(s) \,:=\, \sum_{n=1}^{\infty} \frac{{(-1)}^{n+1}}{L_n^s} \,.\] For positive integers $s$ the transcendence of these values is known as well as algebraic independence or dependence results for sets of these numbers. In this paper, we investigate linear forms in the above zeta func…
In this paper, we investigate the derivatives of L-functions, in particular, the Riemann zeta function, the Hasse-Weil L-function, the Rankin L-function and the Artin L-function, and survey the relations between the derivatives of L-functions and the geometry and arithmetic of the associated Shimura varieties.
We study fixed points of iterates of dynamically affine maps (a generalisation of Lattès maps) over algebraically closed fields of positive characteristic $p$. We present and study certain hypotheses that imply a dichotomy for the Artin-Mazur zeta function of the dynamical system: it is either rational or non-holonomic, depending on specific characteristics of the map. We also study the algebraicity of the so-called tame zeta function, the generating function for periodic points of order coprime to $p$. We then verify these hypotheses for dynamically affine maps on the projective line, general…
In this paper, we construct four different theories of integration, two that are for Voevodsky motives, one for mixed $\ell$-adic sheaves, and a fourth theory of integration for rational mixed Hodge structures. We then show that they circumvent some of the complications of classical motivic integration, leading to new arithmetic and geometric results concerning K-equivalent $k$-varieties. For example, in addition to recovering known results regarding K-equivalent smooth projective complex varieties, we show that K-equivalent smooth projective $\mathbb{F}_q$-varieties have isomorphic rational $…
Quadratic enrichment of the logarithmic derivative of the zeta function
本文将有限域上代数簇的 zeta 函数对数导数富集到 Grothendieck–Witt 群系数的幂级数，证明其与实点拓扑的联系，并对胞腔概形建立有理性结果，验证其为母题测度。
It is known from work of du Sautoy and Grunewald in \cite{duSG1} that the zeta functions counting subgroups of finite index in infinite nilpotent groups depend upon the behaviour of some associated system of algebraic varieties on reduction $\modp.$ Further to this, in \cite{duS3, duS4} du Sautoy constructed a group whose local zeta function was determined by the number of points on the elliptic curve $E:Y^2=X^3-X.$ In this work we generalise du Sautoy\rq s construction to define a class of groups whose local zeta functions are dependent upon the number of points on the reduction of a given el…
Integral points on singular toric varieties and cyclic normal polynomials
本文利用 Batyrev–Tschinkel 的调和分析方法，建立含循环商奇点的射影环面簇整点高度 zeta 函数公式，并据此确定具有给定循环 Galois 群的首一整系数多项式计数渐近首项。
Totally odd depth-graded multiple zeta values and period polynomials
本文研究完全奇动机深度分级多重zeta值的关系，确定Brown矩阵的秩，给出$C_{N,3}$和$C_{N,4}$秩上界的新证明，并提出递归方法将一般问题归结为同构猜想。
In this article, we develop a formula for an inverse Riemann zeta function such that for $w=ζ(s)$ we have $s=ζ^{-1}(w)$ for real and complex domains $s$ and $w$. The presented work is based on extending the analytical recurrence formulas for trivial and non-trivial zeros as to solve an equation $ζ(s)-w=0$ for a given $w$-domain using logarithmic differentiation and zeta recursive root extraction methods. We further explore formulas for trivial and non-trivial zeros of the Riemann zeta function in greater detail, and next, we also explore an expansion of the inverse zeta function by an attracto…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。