27.11.2014 Views

Number theory, geometry and algebra - Dynamics-approx.jku.at

Number theory, geometry and algebra - Dynamics-approx.jku.at

Number theory, geometry and algebra - Dynamics-approx.jku.at

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.

Such forms s<strong>at</strong>isfy the rel<strong>at</strong>ion<br />

<strong>and</strong> as a result<br />

−d = 4ac−b 2 ≥ 3ac<br />

a ≤ 1 3 |d|, c ≤ 1 3 |d|, |b| ≤ 1 3 |d|.<br />

This implies th<strong>at</strong> there are <strong>at</strong> most finitely many reduced forms with a<br />

given diskriminant d. We write h(d) (the class number of d) for the number<br />

of reduced forms with diskriminant d.<br />

Example For d = −4 we have 3ac ≤ 4 <strong>and</strong> so a = c = 1 <strong>and</strong> b = 0. Hence<br />

h(−4) = 1.<br />

Theimportanceofthefunctionhliesinthefactth<strong>at</strong>ircountsthenumber<br />

of equivalent forms. Indeed we have<br />

Proposition 23 If f,g are reduced <strong>and</strong> d(f) = d(g), then f ∼ g.<br />

Proof. Weshallshowth<strong>at</strong>twodistinct reducedformf,g arenotequivalent.<br />

We begin with the remark th<strong>at</strong> |x| ≥ |y| implies:<br />

resp.<br />

f(x,y) ≥ |x|(a|x|−|by|)+c|y| 2 ≥ |x| 2 (a−|b|)+c|y| 2 ≥ a−|b|+c.<br />

f(x,y) ≥ a−|b|+c,<br />

if |y| ≥ |x|. Hence the three smallest values of f are a (for (1,0)), c (for<br />

(0,1)) <strong>and</strong> a−|b|+c (for (1,1) or (1,−1)). Hence a = a ′ , c = c ′ <strong>and</strong> b = ±b ′ ,<br />

where a ′ ,b ′ ,c ′ are the coefficients of g.<br />

We now show th<strong>at</strong> b = −b ′ implies b = 0. We can assume th<strong>at</strong> −a < b <<br />

a < c. (For −a < −b <strong>and</strong> a = c implies th<strong>at</strong> b ≥ 0 <strong>and</strong> −b ≥ 0, i.e. b = 0).<br />

In this case we have<br />

f(x,y) ≥ a−|b|+c > c > a.<br />

If we transform f into g by means of the m<strong>at</strong>rix P above, then a = f(p,r).<br />

Hence p = ±1 <strong>and</strong> r = 0. The condition ps − qr = 1 then implies th<strong>at</strong><br />

s = ±1. Further c = f(q,s) <strong>and</strong> so q = 0. This easily implies th<strong>at</strong> b = 0.<br />

Definition n is represented by f if x,y ∈ Z exists so th<strong>at</strong><br />

gcd (x,y) = 1, f(x,y) = n.<br />

Proposition 24 n is representable by a form f with discrimant d ⇔ the<br />

equ<strong>at</strong>ion x 2 = d(mod 4n) has a solution.<br />

34

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

Saved successfully!

Ooh no, something went wrong!