Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $K/{\mathbb Q}$ be an extension of degree $d$. Let $S$ be the set of primes $p$ which split completely in $K$. What can one say about the analytic properties of $$ \zeta_{K, S}(s) : = \prod_{p \in S} \frac{1}{1-p^{-s}}. $$ More generally, one can define a similar partial Euler product for any splitting type, and ask the same question about the analytic properties of the resulting function. Any advice would be greatly appreciated.

share|improve this question
2  
Perhaps information at mathoverflow.net/questions/70318/… would be useful. –  KConrad Apr 25 '12 at 23:11
    
Thanks! The quadratic case is Galois and Abelian. I need this sort of information for a quintic extension K/Q. –  Ramin Apr 25 '12 at 23:20
1  
Aren't these sort of like Artin L-functions? –  Igor Rivin Apr 26 '12 at 1:27
    
Another relevant question: mathoverflow.net/questions/28000/… –  Peter Humphries Apr 26 '12 at 4:22
add comment

3 Answers

I hope this could be relevant to your nice question. There is a paper by K. Williams where a Mertens' type theorem for arithmetic progressions was proved,

K. Williams, Mertens' Theorem for Arithmetic Progressions, J. Number Theory 6 (1974) 353--359.

In this paper, the relation

$$ \sum_{\chi \bmod q}\chi(p)\bar{\chi}(a) = \begin{cases} \varphi(q), & p \equiv a \bmod q, \\ & \\ 0, & \mbox{otherwise.} \end{cases} $$

for Dirichlet characters is used to derive an expression for

$$ \prod_{\substack{p \leq x\\p \equiv a \bmod q}}\left(1-\frac{1}{p}\right). $$

Letting $G$ be the Galois group of $K/\mathbb{Q}$, $C_G(g)$ be the centralizer of $g$ in $G$, $\mathcal{C}(g)$ the set of conjugates of $g$ in $G$, $\sigma_p$ the Frobenius element of $p$, the Schur orthogonality relations

$$ \sum_{\chi}\chi(\sigma_p)\overline{\chi(g)} = \begin{cases} \left| C_G(\sigma_p)\right| = \frac{|G|}{|\mathcal{C}(\sigma_p)|}, & \sigma_p, g \mbox{ are conjugate}, \\ & \\ 0, & \mbox{otherwise} \end{cases} $$

where the sum is over all irreducible characters $\chi$ of $G$, can be used in a similar way to derive a formula for the partial Euler product in your nice question by writing, for some fixed $g\in G$,

$$ \prod_{\substack{p\\\sigma_p \in \mathcal{C}(g)}}(1-p^{-s})^{-C_G(g)} = \prod_{\chi}\left(\prod_{p}\left(1-p^{-s}\right)^{-\chi(p)}\right)^{\overline{\chi(g)}} $$

where the $\chi$ are irreducible characters of $G$. In the mentioned paper, where the $\chi$ are Dirichlet characters, Williams wrote

$$ \prod_{p \leq x}\left(1-\frac{1}{p}\right)^{\chi(p)} = \left(\frac{1}{L(1,\chi)}+O(1/\log x)\right)\left(K(1,\chi)+O(1/x)\right) $$

where $K(1,\chi)$ had some properties that could be stated in the paper. Hence in the case of the product in your nice question, maybe something can be worked out along such lines too. I guess it's more complicated as there are now Artin L-functions.

share|improve this answer
add comment

I do not know if you are willing to restrict to abelian $K/\mathbb{Q}$: if not, please throw away my whole answer. But let me assume that your base field is any number field $F$, as it does not change anything: and, accordingly, that $K/F$ is abelian.

Suppose first that $K/F$ is a ray class field for some conductor $\mathfrak{f}$ (for $F=\mathbb{Q}$ it means $K$ is either $\mathbb{Q}(\zeta_f)$ or $\mathbb{Q}(\zeta_f)^+$ for some $f$). Then you are simply considering the partial zeta function $\zeta({\bf{1}},s)$ where $\bf{1}$ is the trivial class in the ray class group modulo $\mathfrak{f}$. Those are well-studied and can be interpreted as suitable Mellin transform, pretty much as the usual Dedekind zeta function and admits the usual analytic continuation (see J. Neukirch Algebraic Number Theory, Chapter VII, Section 5, theorem 5.5 for the Mellin transform statement, Theorem 5.9 for analytic continuation caveat: I only have the German version and I ignore if numbering has been changed in the translation). This settles also the case in which you consider some different splitting behaviour which would be controlled by class field theory pretty much the same way – i. e. your Euler product would be that of $\zeta({\bf{c}},s)$ for the class $\bf{c}$ in the ray class field containing precisely the integral ideals whose splitting time is your favorite one.

If now your abelian extension is only contained in a ray class field, you need to follow more closely Tate's thesis (see the last chapter of Cassels and Fröhlich's Algebraic Number Theory) and chose the right measure to put on the unit ball inside $\mathbb{Q}_p$ for the primes you want to throw away – I imagine that you should chose the measure giving volume $1$ to some suitable subgroup depending on your local extension, but I am not checking. I guess that this would not affect anything at all, because Tate's strategy is somehow ''formal'' in the sense that it just depends on some very nice property of adelic Fourier transform. As for a reference, I suggest D. Ramakrishan and R. Valenza Fourier Analysis on Number Fields.

Let me also observe that what you are asking for is ''natural'' in the sense that when looking at zeta functions as being suitable measures on Galois group, your Euler product at negative integers $k$ gives the special values of the measure agains the function $\chi_S|\cdot|^k$ where $\chi_S$ is the characteristic function of the set of primes $S$ seen as elements of the Galois group via class field theory – this is discussed very well in the introduction to Deligne and Ribet's paper about special values of $L$-functions at negative integers.

If your extension is not abelian, I think the situation is much more involved because it is not enough to play the same game simply on adeles group: and, as said before, you'd rather forget everything I have written...

share|improve this answer
add comment
up vote 2 down vote accepted

This question turned out to be not too difficult. Please see http://www.math.uic.edu/~rtakloo/euler-product.pdf for a (casual) writeup of an answer. Thanks for your comments and hints.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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