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

Consider the Dirichlet series counting discriminants of real quadratic fields. Quadratic field discriminants are "basically" squarefree integers, so the associated Dirichlet series $\sum D^{-s}$ is "basically" $\zeta(s)/\zeta(2s)$. However, there is the funny business at 2, and one derives the formula

$\sum D^{-s} = \frac{1}{2} \big( 4^{-s} - 1 \big) \frac{\zeta(s)}{\zeta(2s)} + \frac{1}{2} \big(1 - 4^{-s} \big) \frac{L(s, \chi_4)}{L(2s, \chi_4)},$

which is a wee bit messy. (This formula, and all the subsequent ones, include 1 as a "quadratic field discriminant" for convenience.)

However, I was reading a fantastic paper by David Wright, where he considers positive and negative discriminants together, in which case you have the much nicer formula

$\sum |D|^{-s} = \big(1 - 2^{-s} + 2 \cdot 4^{-s} \big) \frac{\zeta(s)}{\zeta(2s)}.$

This formula is easy to derive from scratch, but he derives it as a consequence of the beautiful formula

$\sum |D|^{-s} = \prod_p \Big( \frac{1}{2} \sum_{[K_v : \mathbb{Q}_p] \leq 2} |\text{Disc}(K_v)|^s_p \Big).$

He uses the parameterization of quadratic fields by $\mathbb{Q}^{\times} / (\mathbb{Q}^{\times})^2$, which may be thought of as $\text{GL}_1$-orbits on a one-dimensional prehomogeneous vector space, where $\text{GL}_1$ acts by $t(x) = t^2 x$ rather than the usual $t(x) = tx$. He then analyzes these orbits by means of an adelic zeta function; note that with the usual action you recover Tate's thesis.

These formulas generalize quite a bit, with some complications, to $n$th-root extensions of any global field (with some restrictions on the characteristic). They also allow for twisting by characters, allowing (for example) a nice formula for $\sum \text{sgn}(D) |D|^{-s}.$ Note that the first formula considered looks nicer when viewed as a linear combination of $\sum |D|^{-s}$ and $\sum \text{sgn}(D) |D|^{-s}$.

The MathSciNet review says that "similar results, however, can be obtained by class field theory", and this is also hinted at in Wright's paper, but the details aren't worked out. My first question is the following.

Is there an elegant algebraic proof of the above identity for $\sum |D|^{-s}$ and its generalizations?

And my second question, which is essentially a vaguer version of the first one, is:

What is the best way to think of these formulas?

I quite like the prehomogeneous vector space approach, but I imagine there might be a nice algebraic proof as well, and in particular some kind of ``local-to-global'' principle for quadratic discriminants. I am no expert in class field theory, and I am curious if any of these identities look simple and natural when viewed in the correct light.

Thank you!

share|improve this question
    
Is the question about the "much nicer formula" or the "beautiful formula"? –  Qiaochu Yuan May 10 '11 at 5:15
    
@Qiaochu: Mainly the "beautiful formula". The "much nicer formula" is then immediate, if you take for granted the classification of quadratic extensions of $\mathbb{Q}_p$. –  Frank Thorne May 10 '11 at 5:48
    
Are you writing O_v as notation for a field (containing Q_p)? If so then it looks weird, since O_v would normally be used to mean a ring (order), sort of like saying "Let R be a field..." –  KConrad May 10 '11 at 14:53
    
@KConrad: I agree, thank you, edited. –  Frank Thorne May 10 '11 at 15:57
2  
Including 1 as a quadratic field discriminant "for convenience" indicates that what you are really dealing with, if you want to be summing over algebraic objects, is degree 2 separable algebras over Q. They are the quadratic fields along with the product ring Q x Q, whose ring of integers (the integral closure of Z) is Z x Z with discriminant 1. –  KConrad May 11 '11 at 17:08
add comment

1 Answer

up vote 10 down vote accepted

The discriminant $D$ of a quadratic number field can be written uniquely as a product of prime discriminants, namely $-4$, $\pm 8$, and $p^* = (-1)^{(p-1)/2}p$ for odd primes $p$. The Dirichlet series for odd discriminants therefore simply is $$ \sum_{D \text{ odd}} |D|^{-s} = \prod_{p \text{ odd}} (1 + p^{-s}), $$ and the contribution of the even prime discriminants is taken care of by the factor $$ 1 + 4^{-s} + 2 \cdot 8^{-s}. $$ Both the beautiful as well as the much nicer formula now follow immediately.

Factorization of quadratic discriminants into prime discriminants holds over totally real algebraic number fields with class number $1$ in the strict sense (see e.g. L. Goldstein, On prime discriminants, Nagoya Math. J. 45, 119-127 (1972); J. Sunley, Remarks concerning generalized prime discriminants, Boulder 1972; J. Sunley, Prime discriminants in real quadratic fields of narrow class number one, Carbondale 1979); a weaker version good enough for the purpose of counting discriminants works if the class number in the strict sense is odd.

share|improve this answer
    
Hello Franz, thanks for your response. I understand how an elementary calculation gives the same result as the "beautiful formula", but could you explain why? Especially, why does the factor at 2 match the list of quadratic extensions of $\mathbb{Q}_2$? I feel like it must not be a coincidence, but I don't have a good explanation for it. --- In addition, could you please elaborate a little bit on the second part of your answer? –  Frank Thorne May 11 '11 at 17:49
    
Thanks again for the references. I checked them out and they seem to stop short of deriving the "beautiful formula", although I get the impression this could be done. Also, I am pretty sure the Wright results generalize to the case where the base field is not of class number 1. I am still curious if there is a nice algebraic proof which works in this generality! –  Frank Thorne May 19 '11 at 16:47
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.