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.

82 CHAPTER 4. APPLICATIONS TO ARITHMETIC GROUPS<br />

Pro<strong>of</strong>. <strong>The</strong> first part comes from Proposition 1.4. If x ∈ G × belongs to the<br />

commensurator <strong>of</strong> ϕ(O 1 ), it induces an inner automorphism ˜x fixing ϕ(H).<br />

Every automorphism <strong>of</strong> ϕ(H) fixing ϕ(K) pointwise is inner. <strong>The</strong>refore x ∈<br />

Zϕ(H × ). Inversely it is clear that Zϕ(H × ) is contained in the commensurator<br />

<strong>of</strong> ϕ(O 1 ) in G × .<br />

Definition 4.3. Let I be a two-sided integer <strong>of</strong> an order O ∈ Ω. <strong>The</strong> kernel<br />

O 1 (I) in O 1 <strong>of</strong> the canonical homomorphism : O → O/I is called the<br />

principal congruent group <strong>of</strong> O 1 modulo I. A congruent group <strong>of</strong> O 1 modulo I<br />

is a subgroup <strong>of</strong> O 1 containing O 1 (I).<br />

<strong>The</strong> congruent group are <strong>of</strong> the commensurable groups among them. We<br />

have<br />

[O 1 : O 1 (I)] ≤ [O : I].<br />

If O ′ is an Eichler order <strong>of</strong> level N contained in a maximal order O, then the<br />

group O ′ 1 is a congruent group <strong>of</strong> O 1 modulo the two-sided ideal NO. <strong>The</strong><br />

groups so constructed with the Eichler orders and the principal groups are the<br />

groups for which we have certain arithmetic information:<br />

– the value <strong>of</strong> covolume, indices (<strong>The</strong>orem 1.7),<br />

– the value <strong>of</strong> the number <strong>of</strong> conjugate classes <strong>of</strong> a given characteristic polynomial(III.<br />

5.14,and 5.17).<br />

Partially for this reason we <strong>of</strong>ten encounter them. Another collection <strong>of</strong> groups<br />

we encounter sometimes( for the same reason). <strong>The</strong>y are the normalizers N(ϕ(O 1 ))<br />

in G 1 <strong>of</strong> groups ϕ(O 1 ), where O is an Eichler order. <strong>The</strong> quotient groups<br />

N(ϕ(O 1 ))/ϕ(O 1 are <strong>of</strong> type (2, 2, ...).<br />

We deduce from IV.5.14,5.16,5.17, and exercise 5.12 the next proposition:<br />

Proposition 4.1.6. Every group O 1 for O ∈ Ω contains a subgroup <strong>of</strong> finite<br />

index which contains only the the elements different from unit and <strong>of</strong> finite<br />

orders.<br />

<strong>The</strong> relation τ(H 1 ) = 1 , in the form vol(G 1 ·C/O 1 ) = 1, allow us to compute<br />

the covolume <strong>of</strong> ϕ(O 1 ) in G 1 :<br />

vol(G 1 /ϕ(O 1 )) = vol(C) −1<br />

for Tamagawa measures. By using the definition <strong>of</strong><br />

C =<br />

�<br />

�<br />

H<br />

v∈S, and v ∈ Ram(H)<br />

1 v O<br />

p/∈S<br />

1 p<br />

we can then compute the the global commensurable degree from the local commensurable<br />

degrees.<br />

<strong>The</strong>orem 4.1.7. <strong>The</strong> commensurable degree <strong>of</strong> two groups O 1 , O ′ 1 for O, O ′ ∈<br />

Ω is equal to the product <strong>of</strong> the local commensurable degrees:<br />

For Tamagawa measure,<br />

[O 1 : O ′ �<br />

1<br />

] = [O 1 p : O ′ 1<br />

p ] = �<br />

p/∈S<br />

vol(G 1 /ϕ(O 1 )) −1 =<br />

�<br />

p/∈S<br />

v∈Ram(H)and v ∈ S<br />

vol(O 1 p)vol(O ′ 1<br />

p ) −1 .<br />

vol(H 1 v ) �<br />

vol(O 1 p).<br />

p/∈S

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

Saved successfully!

Ooh no, something went wrong!