14.01.2013 Views

The Arithmetic of Quaternion Algebra

The Arithmetic of Quaternion Algebra

The Arithmetic of Quaternion Algebra

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

56 CHAPTER 3. QUATERNION ALGEBRA OVER A GLOBAL FIELD<br />

<strong>The</strong> difference (2) - (3) is<br />

�<br />

[f(x) − f ∗ �<br />

(x)] =<br />

A 2<br />

SL(2,A)/SL(2,K)<br />

[f ∗ (0) − f(0)τ(u).<br />

It follows that the volume <strong>of</strong> SL(2, A)/SL(2, K) for the measure τ equals 1.<br />

Historic note<br />

<strong>The</strong> zeta function <strong>of</strong> a central simple algebra over a number field was introduced<br />

by K. Hey in 1929, who showed his functional equation in the case where the<br />

algebra is a field. M. Zorn noticed in 1933 the application <strong>of</strong> the functional<br />

equation to the classification <strong>of</strong> quaternion algebra(§3). <strong>The</strong> results <strong>of</strong> K.Hey<br />

were generalized by H.Laptin [1], M.Eichler [4], and H.Maass [2] to the notion<br />

<strong>of</strong> L-functions with characters. Applying the adele technique to their study is<br />

made by Fusijaki 1, and the formulation <strong>of</strong> the most generality <strong>of</strong> zeta functions<br />

is due to R. Godement [1], [2]. One can find the development <strong>of</strong> their theories<br />

in T.Tamagawa [3], H. shimizu [3]. <strong>The</strong> application <strong>of</strong> the functional equation<br />

to the computation<strong>of</strong> Tamagawa numbers can be found in A.Weil [2].<br />

Exercise<br />

Riemann zeta function. Deduce from the functional equation (<strong>The</strong>orem 2.2)<br />

that <strong>of</strong> the Riemann zeta function ζ(s) = �<br />

n≥n n−s , Res > 1, with the<br />

known formula<br />

ζ(s) = π −s/2 Γ(s/2)ζ(s)<br />

is invariant by s ↦→ 1 − s, or again :<br />

ζ(1 − s) = 2<br />

cos(πs/2)Γ(s)ζ(s).<br />

(2π) s<br />

Prove then for every integer k ≥ 1, the numbers ζ(−2k) are zero, the numbers<br />

ζ(1 − 2k) are nonzero and given by<br />

ζ(1 − 2k) = 2(−1)k (2k − 1))!<br />

(2π) 2k ζ(2k)<br />

and<br />

ζ(0) = − 1<br />

2 .<br />

We know Bernoulli numbers B2k are defined by the expansion<br />

Demonstrate<br />

x<br />

e x − 1<br />

= 1 − x/2 + �<br />

k≥1<br />

(−1) k+1 B2k<br />

ζ(2k) = 22k−1<br />

(2k)! B2kπ 2k .<br />

x2k (2k)! .<br />

Deduce the number ζ(1 − 2k) are rational and are given by the formula<br />

ζ(1 − 2k) = (−1) k B2k<br />

2k .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!