Local zeta function: Difference between revisions

Revision as of 02:01, 9 December 2020

Latest revision as of 00:25, 10 February 2025

(31 intermediate revisions by 14 users not shown)

Line 1:

In [[number theorymathematics]], the '''local zeta function''' {{math|''Z''(''V'', ''s'')}} (sometimes called the '''congruent zeta function''' or the [[Hasse–Weil zeta function]]) is defined as

:<math>Z(V, s) = \exp\left(\sum_{mk = 1}^\infty \frac{N_mN_k}{mk} (q^{-s})^mk\right)</math>

where {{mathmvar|''N''_''m''V}} is thea number[[Singular point of pointsan ofalgebraic variety|non-singular]] {{mvar|''V''n}}-dimensional defined[[projective algebraic variety]] over the finite field extension {{math|'''F'''_''q''^''m''}} ofwith {{mvar|q}} elements and {{math|'''F'N''_''qk'',}} andis {{mvar|V}}the isnumber aof [[non-singular]]points of {{mvar|n''V''}}-dimensional [[projective algebraic variety]]defined over the finite field extension {{math|'''F'''_''q''^''k''}} with {{mvar|q}} elements. Making the variable transformationof {{math|''u'F'&nbsp;{{=}}&nbsp;''q''<supsub>−''sq''</supsub>,}}.<ref>Section givesV.2 of {{Citation

| last=Silverman

| first=Joseph H.

| author-link=Joseph H. Silverman

| title=The arithmetic of elliptic curves

| publisher=[[Springer-Verlag]]

| ___location=New York

| series=[[Graduate Texts in Mathematics]]

| isbn=978-0-387-96203-0

| mr=1329092

| year=1992

| volume=106

}}</ref>

Making the variable transformation {{math|''t''&nbsp;{{=}}&nbsp;''q''^−''s'',}} gives

:<math>

\mathit{Z} (V,ut) = \exp

\left( \sum_{mk=1}^{\infty} N_mN_k \frac{ut^mk}{mk} \right)

</math>

as the [[formal power series]] in the variable <math>ut</math>.

Equivalently, the local zeta function is sometimes defined as follows:

Line 15 ⟶ 29:

</math>

:<math>

(2)\ \ \frac{d}{dudt} \log \mathit{Z} (V,ut) = \sum_{mk=1}^{\infty} N_mN_k ut^{mk-1}\ .</math>

In other words, the local zeta function {{math|''Z''(''V'',&nbsp;''ut'')}} with coefficients in the [[finite field]] {{math|'''F'''_''q''}} is defined as a function whose [[logarithmic derivative]] generates the number {{math|''N''_''mk''}} of solutions of the equation defining {{mvar|V}} in the degree {{mvar|mk}} extension {{math|'''F'''_''q''^''mk''.}}

<!--In [[number theory]], a '''local zeta- function'''

:<math>Z(-t)</math>

Line 28 ⟶ 42:

==Formulation==

Given a finite field ''F'', there is, up to [[isomorphism]], justonly one field ''F_k'' with

:<math>[ F_k : F ] = k \,</math>,

for ''k'' = 1, 2, ... . When ''F'' is the unique field with ''q'' elements, ''F_k'' is the unique field with <math>q^k</math> elements. Given a set of polynomial equations &mdash; or an [[algebraic variety]] ''V'' &mdash; defined over ''F'', we can count the number

:<math>N_k \,</math>

Line 40 ⟶ 54:

:<math>G(t) = N_1t +N_2t^2/2 + N_3t^3/3 +\cdots \,</math>.

The correct definition for ''Z''(''t'') is to makeset log ''Z'' equal to ''G'', and so

:<math>Z= \exp (G(t)) \, </math>

we will haveand ''Z''(0) = 1, since ''G''(0) = 0, and ''Z''(''t'') is ''a priori'' a [[formal power series]].

Note that theThe [[logarithmic derivative]]

:<math>Z'(t)/Z(t) \,</math>

Line 56 ⟶ 70:

==Examples==

For example, assume all the ''N_k'' are 1; this happens for example if we start with an equation like ''X'' = 0, so that geometrically we are taking ''V'' to be a point. Then

:<math>G(t) = -\log(1 - t)</math>

Line 64 ⟶ 78:

:<math>Z(t) = \frac{1}{(1 - t)}\ .</math>

To take something more interesting, let ''V'' be the [[projective line]] over ''F''. If ''F'' has ''q'' elements, then this has ''q'' + 1 points, including as we must the one [[point at infinity]]. Therefore, we shall have

:<math>N_k = q^k + 1</math>

Line 72 ⟶ 86:

:<math>G(t) = -\log(1 - t) -\log(1 - qt)</math>

for |''t''| small enough., and therefore

In this case we have

:<math>Z(t) = \frac{1}{(1 - t)(1 - qt)}\ .</math>

The first study of these functions was in the 1923 dissertation of [[Emil Artin]]. He obtained results for the case of a [[hyperelliptic curve]], and conjectured the further main points of the theory as applied to curves. The theory was then developed by [[F. K. Schmidt]] and [[Helmut Hasse]].<ref>[[Daniel Bump]], ''Algebraic Geometry'' (1998), p. 195.</ref> The earliest known non-trivialnontrivial cases of local zeta- functions were implicit in [[Carl Friedrich Gauss]]'s ''[[Disquisitiones Arithmeticae]]'', article 358;. thereThere, certain particular examples of [[elliptic curve]]s over finite fields having [[complex multiplication]] have their points counted by means of [[cyclotomy]].<ref>[[Barry Mazur]], ''Eigenvalues of Frobenius'', p. 244 in ''Algebraic Geometry, Arcata 1974: Proceedings American Mathematical Society'' (1974).</ref>

For the definition and some examples, see also.<ref>[[Robin Hartshorne]], ''Algebraic Geometry'', p. 449 Springer 1977 APPENDIX C "The Weil Conjectures"</ref>

Line 84 ⟶ 96:

==Motivations==

The relationship between the definitions of ''G'' and ''Z'' can be explained in a number of ways. (See for example the infinite product formula for ''Z'' below.) In practice it makes ''Z'' a [[rational function]] of ''t'', something that is interesting even in the case of ''V'' an [[elliptic curve]] over a finite field.

The local ''Z'' zeta functions are multiplied to get global ''<math>\zeta</math>'' zeta functions,

<math>\zeta = \prod Z</math>

These generally involve different finite fields (for example the whole family of fields '''Z'''/''p'''''Z''' as ''p'' runs over all [[prime number]]s).

ItIn isthese the functions ''Z'' that are designed to multiplyfields, to get '''global zeta functions'''. Those involve different finite fields (for example the whole family of fields '''Z'''/''p'''''Z''' as ''p'' runs over all [[prime number]]s). In that connection, the variable ''t'' undergoesis substitutionsubstituted by ''p^−s'', where ''s'' is the complex variable traditionally used in [[Dirichlet series]]. (For details see [[Hasse-WeilHasse–Weil zeta function|Hasse-Weil zeta-function]].)

WithThe that understanding, theglobal products of the ''Z'' in the two cases used as examples in the previous section therefore come out as <math>\zeta(s)</math> and <math>\zeta(s)\zeta(s-1)</math> after letting <math>q=p</math>.

==Riemann hypothesis for curves over finite fields==

For projective curves ''C'' over ''F'' that are [[Algebraic curve#Singularities|non-singular]], it can be shown that

:<math>Z(t) = \frac{P(t)}{(1 - t)(1 - qt)}\ ,</math>

with ''P''(''t'') a polynomial, of degree 2''g'', where ''g'' is the [[genus (mathematics)|genus]] of ''C''. Rewriting

:<math>P(t)=\prod^{2g}_{i=1}(1-\omega_i t)\ ,</math>

Line 106 ⟶ 124:

For example, for the elliptic curve case there are two roots, and it is easy to show the absolute values of the roots are ''q''^1/2. [[Hasse's theorem on elliptic curves|Hasse's theorem]] is that they have the same absolute value; and this has immediate consequences for the number of points.

[[André Weil]] proved this for the general case, around 1940 (''Comptes Rendus'' note, April 1940): he spent much time in the years after that [[Foundations of Algebraic Geometry|writing]] up the [[algebraic geometry]] involved. This led him to the general [[Weil conjectures]],. [[Alexander Grothendieck]] developed the [[scheme (mathematics)|scheme]] theory for the sakepurpose of resolving itthese.
A andgeneration finally,later [[Pierre Deligne]] hadcompleted proved a generationthe laterproof.
(See [[étale cohomology]] for the basic formulae of the general theory.)

==General formulas for the zeta function==

Line 137 ⟶ 157:

==References==

{{reflist}}

{{Bernhard Riemann}}

[[Category:Algebraic varieties]]