_{p}. ξ has a very simple representation completely analogous to that for polynomials (see this):

ξ(s)=(1/2)∏_{k} (1-s/s_{k} )(1-s/(s_{k}^{*}) .

Only the non-trivial zeros appear in the product.

- For s=O(p), this product is finite but need not converge to a well-defined p-adic number in the infinite extension of p-adic numbers. Also the values of ξ (s) at integer points are known to be transcendental so that the interpretation as a generalization of a rational polynomial fails. Note that the presence of an infinite number terms in the product can cause transcendentality of the coefficients of ξ(s). Algebraic numbers are required. ξ(2n) is proportional to π
^{2}and ξ(2n+1) to ζ(2n+1)/π^{2}. The presence of an infinite number of terms in the expansion of ξ(s) can however cause this. - If ξ is indeed analogous to a rational polynomial, the analog of discriminant
D=∏

_{k≠ l}(s_{k}-s_{l})(s_{k}-s_{l}^{*})should be proportional to a product of powers of ramified primes for ξ. The simplest option would be that there is complete number theoretic democracy and the ramification is minimal. If so, D would be proportional to the product Y= ∏

_{k}p_{k}of all primes, appearing in the definition of infinite primes (see this). This number is infinite in real sense but would have p-adic norms 1/p_{k}. - The Hadamard product can be written in the form
ξ(s)=(1/2)∏

_{k}(1+ s(s-1)/X_{k}) , X_{k}= s_{k}s^{*}_{k},in which the s↔ 1-s symmetry is manifest. The power series of ξ(s)== ξ

_{1}(u)=∑ a_{n}u^{n}, u=s(s-1), should converge for all primes p.If regard s(s-1) as p-adic number and apply the inverse of I s(s-1) to get real number.

If the coefficients a

_{n}of the powers series ∑_{n}a_{n}u^{n}are algebraic numbers of the assumed extension or ordinary rationals, the power series in s converges for s=O(p) under rather mild conditioons. For instance, the coefficient of the zeroth order term is 1/2. The coefficient of first order term in u is -(1/2)∑_{k}(s_{k}s^{*}_{k})^{-1}= -2∑_{k}(1+4y_{k}^{2})^{-1}.If this sum converges to a well-defined rational if ξ is analogous to a rational polynomial. Same should happen also for the higher coefficients c

_{n}. For large values of n the coefficients c_{n}should become integers to guarantee the convergence of the sum for all primes p. A more general condition would be that the sums defining the coefficients give algebraic integers or even transcendentals defining a finite-D extension of rationals with p-adic norm not larger than 1 for the extension defined by zeta. - Algebraic integers are roots of monic polynomials with integer coefficients such that the coefficient of the leading order term is equal to 1. By multiplying ξ by the product Y=∏ s
_{k}s^{*}_{k}one obtains an expression, which is formally a monic polynomial if one can regard Y as a p-adic integer, which is p-adically finite for every p. Formally this operation does not affect the values of the roots.

- Taking u=s(s-1) to be the variable, the coefficients of u
^{n}in ξ(s)= ξ_{1}(u) are given by∑

_{Un}∏_{k∈ Un}X_{k}^{-1}, X_{k}=s_{k}s^{*}_{k}. - The calculation of the coefficients c
_{n}is simple. In particular, c_{1}and c_{2}can written asc

_{1}= (1/2)∑_{i}X_{i}^{-1},c

_{2}= (1/2)∑_{i≠ j}X_{i}^{-1}X_{j}=(1/2)∑

_{i,j}X_{i}^{-1}X_{j}-(1/2) ∑_{i}X_{i}^{-2}= (1/2)c

_{1}^{2}- ∑_{i}X_{i}^{-2}.The calculation reduces to the calculation of sums ∑

_{i}X_{i}^{-k}, k=1,2. - Also the higher coefficients c
_{n}can be calculated in a similar way recursively by subtracting from the sum ∑_{i1...in}∏_{ik}X_{i1}^{-1}= c_{1}^{n}without the constraint p_{i}≠ p_{j}≠ ... the sums for which 2,3,...,n primes are identical. One obtains a sum over all partitions of U_{n}. A given partition {i_{1}, ..., i_{k}} contributes to the sum the termd

_{i1, ... , ik}∏_{l=1}^{k}c_{il},∑

_{i=1}^{k}n_{i}=n .The coefficient d

_{i1, ..., ik}tells the number of different partitions with same numbers i_{1}, ..., i_{k}of elements, such that the n_{i}elements of the subset correspond to the same prime so that this subset gives c_{ni}. Note that the same value of i can appear several times in {i_{1}, ..., i_{k}}.The outcome is that the expressions of c

_{n}reduce to the calculation of the numbers A_{k}=∑_{i}X_{i}^{-k}.

**Could one deduce conditions on the coefficients of ξ from number theoretical democracy?**

Can one pose additional conditions in the case of ζ or ξ? I have difficulties in avoiding a tendency to bring in some number theoretic mysticism in hope say something interesting of the values of the coefficient X_{n} in the power series ξ= c_{n}u_{n}, u=s(s-1), which can calculated from the Hadamard product representation. Number theoretical democracy between p-adic number fields defines one form of mysticism.

There is however also a real problem involved. There is a highly non-trivial problem involved. One can estimate the real coefficients X_{k} only as a rational approximation since infinite sums of powers of 1/X_{k} are involved. The p-adic norm of the approximation is very sensitive to the approximation.

Therefore it seems that one * must* pose additional conditions and the conditions should be such that the coefficients are mapped to numbers in extension of p-adic numbers by the inverse of I as such so that they should be algebraic numbers or even transcendentals in a finite-D transcendental extension of rationals, if such exists.

- One could argue that the coefficients c
_{n}must obey a number theoretical democracy, which would mean that they can distinguish p-adically only between the set of primes p_{k}appearing as divisors of n and the remaining primes. One could require that c_{n}is a number in a finite-D extension of rationals involving only rational primes dividing n. - One could pose an even stronger condition: the coefficients c
_{n}must belong to an n-D algebraic extension of rationals and thus be determined by a polynomial of degree n. Polynomials P of rational coefficients p_{n}bring in failure of the number theoretic democracy unless one has p_{n}∈ {0,+/- 1}. For p=2 one does not obtain algebraic numbers. For p=3 this would bring in 5^{1/2}. - These conditions would guarantee that for a given prime p the coefficients of the expansion would be unaffected by the canonical identification I and at the limit p→ &infty; the Taylor coefficients of p-adic ξ
_{p}would be identical with those of ξ. - One could allow finite-D transcendental extensions of p-adic numbers. These exist. Since e
^{p}is an ordinary p-adic number, there is an infinite number of extensions with a basis given by the powers roots e^{k/n}, k=1,..., np-1 define a finite-D transcendental extension of p-adics for every prime p.The strongest hypothesis is that the coefficients c

_{k}are expressible solely as polynomials of this kind of extensions with coefficients, which are algebraic numbers of integers in an extension of rationals by a k:th order polynomial P_{k}, whose coefficients belong to {0,+/- 1}.

^{2}of the upper half-plane, which is associated with ζ and ξ via Langlands correspondence.

- The simplest option is that the roots of P
_{k}correspond to the k:th roots x_{i}of unity satisfying x_{i}^{k}=1 so that cos(n2π/k) and sin(n2π/k) would appear as coefficients in the expression of c_{k}. The numbers e^{k/n}would be hyperbolic counterparts for the roots of unity. - The coefficients c
_{k}would be of formc

_{k}= ∑_{i,j}c_{k,ij}e^{i/k}e^{(-1) 1/2 2π (j/n)},c

_{k,rs}∈ {0,+/- 1} .The coefficients could be seen as Mellin-Fourier transforms of functions defined in a discretized hyperbolic space H

^{2}defined by 2-D mass shell with coordinates (cosh(η), sinh(η)cos(phi), sinh(η)sin(φ)), η = i/k, φ= 2π j/n. η is the hyperbolic angle defining the Lorentz boost to get the momentum from rest momentum and φ defines the direction of space-like part of the momentum. Upper complex plane defines another representation of H^{2}. The values of functions are in the set {0,+/- 1}. - The points of H
^{2}associated with a particular c_{k}would correspond to the orbit of a discrete subgroup of the Lorentz group SO(1,1)× SO(2)⊂ SO(1,2) ⊂ SL(2,R) ( SL(2,R) is the covering of SO(1,2)).A good guess is that this discretization could be regarded as a tessellation of H

^{2}and whether other tessellations (there exists an infinite number of them corresponding to discrete subgroups of SL(2,R) could be associated with other L-functions. Riemann zeta is related by Mellin transform to Jacobi theta function (see this) so that SL(2,C), having SL(2,R) as subgroup acting as isometries of H^{2}, is the appropriate group. - The points of H
^{2}associated with a particular c_{k}would correspond to the orbit of a discrete subgroup of SO(1,1)× SO(2)⊂ SO(1,2) ⊂ SL(2,R) (SL(2,R) is the covering of SO(1,2)).A good guess is that this discretization could be regarded as a tessellation of H

^{2}and whether other tessellations (there exists an infinite number of them corresponding to discrete subgroups of SL(2,R) could be associated with other L-functions. Mellin transform relates Jacobi theta function (see this), which is a modular form, to 2ξ/s(s-1). Therefore SL(2,C), having SL(2,R) as subgroup acting as isometries of H^{2}, is the appropriate group.Note that the modular forms associated with the representations of algebraic subgroups of SL(2,C) defined by finite algebraic extensions of rationals correspond to L-functions analogous to ζ. Now one would have a hyperbolic extension of rationals inducing a finite-D extension of p-adic numbers.

_{1}in ξ(s)= ξ

_{1}(s(s-1))= ∑ c

_{n}s

^{n}.

- c
_{1}would be exceptional since it cannot depend on any prime. c_{2}could involve only p=2, and so on. - The only way out of the problem is to allow finite-D transcendental extensions of p-adic numbers. These exist. Since e
^{p}is an ordinary p-adic number, there is an infinite number of extensions with a basis given by the powers roots e^{k/n}, k=1,..., np-1 define a finite-D transcendental extension of p-adics for every prime p. For ξ the extension by roots of unity could be infinite-dimensional.The roots e

^{k/n}, k∈ {1, ..., n} belong to this extension for all primes p and are in this sense universal. One can construct from the powers of e^{k/n}expressions for c_{1}as c_{1}=∑_{k}a_{k}e^{-k/n}, a_{k}∈{ +/- =0,+/- 1}. - This would allow to get estimates for n using x
_{1}=dξ/ds(0)∼ .011547854 =2c_{1}as an input:c

_{1}=∑ a_{k}e^{-k/n}=x_{1}/2 .For instance, the approximation c

_{n}= e^{1}- e^{(n-1)/n}would give a rough starting point approximation n ∼ 117. It is of course far from clear whether a reasonably finite value of n can reproduce the approximate value of c_{1}.

*viz.*TGD or the chapter with the same title.

For a summary of earlier postings see Latest progress in TGD.

## No comments:

Post a Comment