4
$\begingroup$

It is conjecture that under certain conditions a L-function satisfies RH. Among these conditions there is the necessity for the L-function to have an Euler product. (Some L-functions with a functional equation but without Euler product are known to have non trivial zeros with real part between 1/2 and 1).

So the Euler product seems to be an essential ingredient to RH but what are the main properties involved by an Euler product for a L-function ? (For exemple specific bound known linked to Euler product ? or new relation for the L-function?) To my knowledge the results are very poor.

Note: The equality between L-Function and Euler product holds out of the critical strip but the Euler products directly constraints the non critical zeros to be on the critical line... so I wonder what could be the firts steps of a bridge linking Euler product and RH.

$\endgroup$
  • 3
    $\begingroup$ You write "The equality between L-Function and Euler product holds only out of the critical strip," but it would be more accurate to say the equality is proved only to the right of the critical strip (including the right edge of the critical strip in some cases, e.g., $L$-functions of nontrivial Dirichlet characters). Nobody claims the Euler product should be invalid everywhere in the critical strip, and actually in some cases it should be valid to the right of the critical line, but it is hopeless to prove anything like that at present. $\endgroup$ – KConrad Apr 17 '17 at 17:04
  • $\begingroup$ Yes you are right, I should remove the "only" $\endgroup$ – Bertrand Apr 17 '17 at 17:09
  • 1
    $\begingroup$ It is unclear to me what you are asking, so I voted to close this question. In particular, I don't understand what you mean by "what are the main properties involved by an Euler product for a L-function?" $\endgroup$ – GH from MO Apr 17 '17 at 17:26
3
$\begingroup$

The conditions to impose to the Euler product of an L-function in order for a generalized Riemann hypothesis to hold are well understood after Selberg's 1992 paper.

In particular, given $L(s)=\prod_p L_p(s)$, it should be,

$$\log L_p(s)=\sum_{n=1}^\infty \frac{b_{p^r}}{p^{rs}}$$

and

$$b_{p^r}=O(p^{n\theta})$$

with $\theta<1/2$.

These conditions are neccesary (Dirichlet $\eta$ function is the standard counterexample), but together with three other assumptions (analyticity, a Ramanujan-Petterson type bound on the coefficients, and an appropiate functional equation) are also expected to be sufficient.

$\endgroup$
  • $\begingroup$ Thanks for the details, but my question was more on what are the properties that are involved by this condition (this Euler product), or this type of decomposition does not involves any important property ? $\endgroup$ – Bertrand Apr 17 '17 at 15:26
  • 3
    $\begingroup$ @Bertrand I guess I misunderstood the question. An arbitrary multiplicative function has Euler product as long as the sum has absolute convergence (this is a theorem of Euler). But in order for something as strong as the RH to hold, you need the conditions of Selberg. $\endgroup$ – Myshkin Apr 17 '17 at 15:46
  • $\begingroup$ To be more clear: a demo of RH should use this property of Euler Product so I am wondering the way this condition of Euler product can be used: may be directly or not directly, then using a property which is a consequence of Euler product, but what are the main properties which follows from this Euler product ? $\endgroup$ – Bertrand Apr 17 '17 at 17:13
  • $\begingroup$ Certainly not all Euler products absolutely convergent in $\Re(s)>1$ and with functional equation under $s\to 1-s$ satisfy an analogue of RH. Landau already observed $Z(s)=\zeta(s-1)\zeta(s)$, and, subsequently zeta functions of quaternion division algebras are essentially the same. $\endgroup$ – paul garrett Apr 17 '17 at 20:13
  • $\begingroup$ @paul garrett you meant $Z(s) = \zeta(2s-1)\zeta(2s)$. Without the $2$ the Euler product converges only for $\text{Re}(s) > 2$ and the functional equation relates $s$ and $2-s$. By the way, where did Landau make his observation about this function? $\endgroup$ – KConrad Apr 16 at 8:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.