Exercise 2.9.4

Show that for any pair ( x , y ) of integers with ( x , y ) ( 0 , 0 ) there is a matrix U ( 2 , 2 ) with first column ( x , y ) and determinant gcd ( x , y ) . Also show that the set of all such matrices is the Γ -orbit of any such matrix U .

Answers

Proof. Write d = gcd ( x , y ) . By Bézout’s theorem, dℤ = xℤ + yℤ , there is a pair of integers ( u , v ) such that d = xu + yv , and d 0 , because ( x , y ) ( 0 , 0 ) .

Then the matrix A = ( x v y u ) , whose first column is ( x , y ) , satisfies det ( A ) = xu + yv = d .

If M = ( x s y t ) is any matrix in ( 2 , 2 ) with first column ( x , y ) such that det ( M ) = d , then xt ys = d . Using xu + yv = d , we obtain

x ( t u ) = y ( s + v ) , (1)

that is x d ( t u ) = y d ( s + v ) , where x d y d = 1 . Therefore x d s + v , thus there is some k such that s + v = k x d . If we substitute this value in (1), we obtain x ( t u ) = xk y d .

If x 0 , then

s = v + k x d , t = u + k y d .

Therefore

M = ( x v + k x d y u + k y d ) = ( x v y u ) ( 1 k d 0 1 ) .

But there is no necessity that k d . For instance, if A = ( 3 1 6 1 ) and B = ( 3 1 6 3 ) , with determinant 3 , are not in the same Γ -orbit, since

( 3 1 6 3 ) = ( 3 1 6 1 ) ( 1 2 3 0 1 ) ,

thus

A 1 B = ( 1 2 3 0 1 ) T .

To obtain the result of the sentence, we must assume that d = x y = 1 . This is sufficient to achieve the proof of Proposition 2.6.2.

Then, in the case x 0 ,

s = v + kx , t = u + ky .

and

M = ( x v y u ) ( 1 k 0 1 ) = A T k ,

so that M is in the Γ -orbit of A (where Γ SL 2 ( ) acts on SL 2 ( ) by right multiplication).

If x = 0 , since x y = 1 , y = 𝜀 = ± 1 . Then there is some t such that

M = ( 0 𝜀 𝜀 t ) = ( 0 𝜀 𝜀 0 ) ( 1 𝜀t 0 1 ) = A T 𝜀t ,

thus M is in the Γ -orbit of A = ( 0 𝜀 𝜀 0 ) .

Conversely, if M is in the Γ -orbit of A , that is M = A T k for some k , then the first column of M is ( x , y ) , and det ( M ) = det ( A ) = 1 .

The set of matrixes U ( 2 , 2 ) with determinant 1 , whose first column is ( x , y ) , is the Γ -orbit of any such matrix. □

User profile picture
2024-06-22 20:16
Comments