QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE)

Size: px
Start display at page:

Download "QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE)"

Transcription

1 QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE) HEE OH 1. Lecture 1:Introduction and Finite fields Let f be a olynomial with integer coefficients. One of the basic roblem is to understand if f = m has an integral solution for any given m, or more secially, if f = 0 has an integral solution. Suose f = 0 has an integral solution. Then the equation f 0 (modr) should be solvable for all integer r = k 1 1 k s s. Hence f 0 mod k i i should be solvable for each rime i and ositive integer k i. These last two are in fact equivalent, which can be seen using the Chinese Remainder Theorem. The last equation can be always decided, since this is a finite tye roblem. However it is not a sufficient condition. Now consider an integral quadratic form, that is, f(x 1,, x n ) = a ij x i x j where a ij Z and a ij = a ji. Note that f(sx) = s 2 f(x), that is f is homogeneous of degree 2 and f(0) = 0. Hence the existence of a non-trivial integral solution to f = 0 is equivalent to that of a non-trivial rational solution to f = 0. Then the Hasse-Minkowski theorem says: Theorem 1.1. The following are equivalent: f = 0 has a non-trivial rational solution. f = 0 has a non-trivial real solution and f = 0(mod k ) has a non-trivial solution (that is, a solution that is not divisible by k ) for all rime and k. f = 0 has a non-trivial real solution and f = 0 has a non-trivial -adic solution. One of the main goal of this course is to understand the above Hasse-Minkowski theorem for quadratic forms. We remark that such a theorem is not already true for cubic forms (examle??). We will first talk about the solutions of f = 0(mod ), that is the solvability of an equation over a finite field F. Then in trying to understand when a solution to f = 0(mod ) can be lifted to a solution f = 0 mod 2, and to f = 0 mod 3 etc, we will see how the notion of -adic integers Z aears, as well the -adic field Q. 1

2 2 HEE OH 1.1. Finite fields. If K is any field, let i be the homomorhism from Z to K defined by i(1) = 1. Then i(z) is either Z or Z/mZ for some m, since any subgrou of Z is of the form e or mz. Moreover since k is a field and has no zero divisor, m has to be a rime. The characteristic of K is defined to be 0 if i(z) = Z and if i(z) = Z/Z. In other words, char(k) is the smallest ositive integer such that 1 = 0, unless it is 0. We denote by F the field given by Z/Z. Fix an algebraically closed field Ω F. The following is the classification of all fields F K Ω, and hence the classification of all finite fields u to isomorhism. Theorem 1.2. Set F r := {x Ω : x r x = 0}. Then F r is the unique subfield of Ω of order r. Proof. Let q = r. Note that σ : Ω Ω given by x x is an automorhism. It is a homomorhism since (x + y) = x + y. It is surjective since Ω is algebraically closed, and injective since x y = (x y). Hence σ r is also an automorhism. Therefore its fixed field F q := {x Ω : x q = x} is a field. Since the olynomial f(x) = x q x has the formal derivative f (x) = qx q , it follows that #F q = q (Lang, P. 179). Now, to show the uniqueness, let K be a field extension of F. If x K, then x q 1 = 1, since the order of K = q 1. It follows that K F q. By comaring the order, we have K = F q. Theorem 1.3. The multilicative grou F q is cyclic. Proof. Since F q is a finite abelian grou of order q 1, using the classification of finite abelian grous (the elementary divisor theorem) we have F q = Z/m i Z Z/m s Z. Here q 1 = m s and m i m i+1. It follows that every element in F q has an order at most m s, i.e., x m s = 1. This imlies that F q {x Ω : x ms = 1}. Since x ms has at most m s roots and hence q 1 m s, we have s = 1 and q 1 = m 1. Hence F q is cyclic. Remark In the textbook, there is a roof using the Euler φ-function, instead of using the classification of finite abelian grous.

3 LECTURE NOTES Equations over a finite field. Let K be a finite field, say F r. Consider a olynomial f K[x 1,, x n ] and the equation f = 0. Suose that f(x 1,, x n ) = a i x i, a i 0 i.e., a linear form. If n = 1, and f(x) = ax, then the number of solutions is 1 = q 0. If n 2, then the number of solution is q n 1. More generally, when the number of variables is bigger than the degree of f, we have the following Chevalley-Warning theorem concerning the number of solutions in K n of f = 0: Theorem 1.4 (Chevalley-Warning). Suose n > deg(f). Set V K := {X K n : f(x) = 0}. Then #V K 0(mod ). Corollary 1.5. If f K[x 1,, x n ] is a form of degree d in n variables and n > d, then f 0 has a non-trivial solution. In articular, any quadratic form over a finite field of at least 3 variables has a non-trivial zero. Remark If f is a quadratic form over K of 2 variables, is it true or not that f = 0 has a non-trivial solution? Proof. Since #V K 1 (0 V K ), it is at least by the above theorem. In order to give a roof for the Chevalley-Warning theorem, we need the following simle observation about the average of monomials: Lemma 1.6. Let 0 s < q 1. Then x s = 0(mod ). x K Here we agree 0 0 = 1. Hence if 0 s i < q 1 for some i, then x s1 1 x s n n = 0(mod ). (x 1,,x n) K n Proof. If s = 0, then the above sum is equal to #K = q, hence ok. If s 0, and s < q 1, there exists y K such that y s 1, for otherwise K {x Ω : x s = 1}, contradiction. Now x s y s = y s ( x s ). x s = x K x K Since y s 1, this roves the claim. Proof of Chevalley-Warning theorem Note that #V K = X K n χ VK (X)

4 4 HEE OH where χ VK denotes the characteristic function of V K in K n. So we need to understand the average of χ VK over K n. Observe that χ VK (X) = 1 f q 1 (X). This is clear, if X V K. If X / V K and hence f(x) K, then f(x) q 1 = 1. Hence It suffices to show that X K f q 1 (X) 0(mod ) to rove the theorem. n Note that f q 1 (X) is a linear combination of monomials x s 1 1 x sn n. Since d < n, we have s i (q 1)d < (q 1)n. Hence there exists s i < q. It remains to aly the above lemma.

5 LECTURE NOTES 5 2. Lecture 2: Quadratic residues modulo Last time, as a consequence of Chevalley-Warning theorem, we obtained that any quadratic form over finite field with at least 3 variables has a non-trivial solution. To comlete the icture, we state the following theorem. (note that x 2 + xy + y 2 is not considered as an integral binary quadratic form, since the coefficient of xy and yx must be symmetric integers: Let f(x, y) = ax 2 + 2bxy + cy ( 2. The ) discriminant d is defined to be ac b 2. That a b is, if we write f(x, y) = (x, y) (x, y) b c t, then the discriminant is recisely the determinant of the symmetric matrix corresonding to f. Theorem 2.1. The congruence f(x, y) 0(mod ) has a non-trivial solution if and only if d is a square (including 0) modulo. Proof. If a = c = 0(mod ), then d = b 2 and hence a square modulo, then it is easy to see the claim. Suose a 0(mod ). Hence there exists the inverse, say a 1, mod. In the same way we do in order to find a solution for a usual quadratic equation, we try to comlete the square above by or ax 2 + 2bxy + cy 2 = a(x + a 1 by) 2 + (c a 1 b 2 )y 2. Hence solving the above quadratic congruence amounts to solving a 2 (x + a 1 by) 2 ( ac + b 2 )y 2, dy 2 (ax + by) 2. Easy to see that if (x 0, y 0 ) is a non-trivial solution, then y 0. Hence y 0 has the inverse mod. Hence d y0 2 (ax 0 + by 0 ) 2 F 2. If d F 2, then clearly we have a non-trivial solution. (Do we need to use that 2 in the above roof?) Therefore the solvability of the quadratic congruences is reduced to the solvability of y 2 r(mod ) for any y. Definition 2.2. Any integer y such that y is called a quadratic residue modulo if x 2 y(mod ) has a solution, in other words, y is a square modulo (assuming that y is not divisible by ). So we meet the secific question about which elements a of F is a square of an element of F, or when is a (F ) 2?. Remark If = 2, clearly every element in F 2 is a square. Hence we assume that 2 below.

6 6 HEE OH Definition 2.3 (Legendre symbol). Let 2. Let x F. The Legendre symbol ( ) x is defined to be 1 if x (F ) 2 and 1 otherwise. ( ) ( ) For an integer x not divisible by, the symbol is understood as x(mod ). Proosition 2.4 (Euler s criterion). Let x F. Then ( ) x x ( 1)/2 (mod ). Proof. Let x F. Then x 1 = 1 and hence x ( 1)/2 = ±1. Let y Ω such that y 2 = x. If y F that is if x (F ) 2, then y 1 = 1 and hence x ( 1)/2 = 1. If y / F, then y 1 1, otherwise, it imlies that y F = {z Ω : z 1 = 1}. Hence x ( 1)/2 1 and hence 1. This roves the claim. The above can be formulated to saying that (F ) 2 is recisely the kernel of the homomorhism F F given by x x ( 1)/2. Since F is cyclic of order 1 and the image of this ma has to be recisely {±1(mod )} which has 2 elements since is odd, it follows that [F : (F ) 2 ] = 2. As a corollary of the Euler s criterion, we see that the Legendre symbol defines a homomorhism from F C, in fact from F onto {±1}. Corollary 2.5. ( a ) ( ) b = x ( ) ab Proof. By the Euler criterion, we have ( ) ab (ab) ( 1)/2 (mod ). ( ) ( ) a b Hence it is congruent to mod. Since it is ±1 and is odd rime, the congruence imlies equality as desired. Corollary 2.6. Let a = r 1 1 r k k Z. We have ( ) a = ( ) ri i. By the above corollary, to understand the solvability of the ( equation ) x 2 a(mod ) in general, it suffices to understand the Legendre symbol for for rimes and q. Theorem 2.7 (Quadratic recirocity law). Let, q be rimes not equal to 2. Then ( ) ( ) q = ( 1) ( 1)/2 (q 1)/2. q q

7 LECTURE NOTES 7 Indeed, the quadratic recirocity law rovides an algorithm which ( ) reduces the calculation of Legendre symbol for any integer to the calculations of for q = ±1, 2 (is there a systematic roof for this statement?). We remark that in addition to its role in determining the solvability of the quadratic congruence, it roves to be the key tool, often unexectedly, for solving many basic number theoretic roblems (for instance,??). Exercise 2.8. ( ( 7 13) = 13 ) ( 7, which is same as 6 ) ( 7 which is same as 2 ) ( 7 3 ) 7. However ( ) ( ) ( ) = = ( ) x 2.1. Comutation for. Let 2. Since is an odd rime, we have mod 4, ( ) ±1. Clearly we have = 1. 1 Theorem ( 2.9. ) TFAE: 1 = 1 ( 1) mod 4. a = 1 for any a Z. ( ) 1 Proof. (1) is clear. Using the Euler criterion = ( 1) 1/2, since 1 is even iff 2 ( ) ( ) a 1 mod 4 (instead of 3 mod 4), it follows. Lastly 1 = in view of the last corollary. Exercise Consider the equation x 2 19 mod 23. Observe that ( ) ( ) ( ) ( ) = = = since mod 4 we have Hence the above equation cannot be solved. Here is a much less trivial theorem in deciding 2 is a square mod : recall that mod 8, ±1, ±5. ( ) 2 Theorem We have = 1 iff ±1 mod 8. ( ) Proof. We have = 2 ( 1)/2 = y 1 if y satisfies y 2 = 2(mod ). We claim that 2 y = α + α 1 where α denotes a rimitive 8-th root of unity in Ω. It is so, since α 4 = 1 and y 2 = α α 2 = 2 + α 2 (α 4 + 1) = 2. Now we need to understand y 1. Note that y = (α + α 1 ) = α + α since characteristic of Ω is. Then if ±1 mod 8, then y = y, and if ±5 mod 8, then since α 4 = 1, y = y. q

8 8 HEE OH Therefore y 1 = ±1, and it is 1 exactly when ±1 mod 8. We can now finish the revious exercise 2.8: Exercise ( ( 7 13) = 2 ) ( 7 1 ) 7. Since 7 3 mod 4, and 7 1 mod 8, ( ) ( 1 7 = 1 and 2 ) ( 7 = 1. Hence 7 13) = 1. Therefore x 2 = 7 mod 13 is solvable. We note that the above methods tells only when the congruence x 2 a mod is solvable or not, but when there is a solution, it doesn t give any information on how to find one. Theorem 2.13 (Quadratic recirocity law). Let, q be rimes not equal to 2. Then ( ) ( ) q = ( 1) ( 1)/2 (q 1)/2. q Let w be a rimitive q-th root of unity in Ω, which is the algebraic closure of F. Then the following so-called Gauss sum is well defined: y = ( ) x w x Ω q x F q Lemma ( y 1 = q ). ( Note that by Lemma (1), (2) finishes the roof. Proof. y 2 ( 1) (q 1)/2 q(mod ). q ) q ( 1)/2 = ( 1) ( 1)/2 (q 1)/2 y ( 1). Hence Lemma y 2 = ( ) xz w x+z q x,z = ( ( ) ) t(u t) w u q u t = u w u = ( 1) (q 1)/2 u ( 1 ut ( 1) (q 1)/2 1 q t F q C u w u since t(u t) = t 2 (1 ut 1 ) and we have ut C u = t ) ( ) 1 ut 1. q

9 LECTURE NOTES 9 Note that if u = 0 then C u = q 1, and u F q, then 1 ut 1 runs over F q 1. Hence C u = ( ) t. q t F q 1 Since [F q : (F q) 2 ] = 2, we have ( ) ( ) t 1 = 0 = + C u. q q t F q ( ) Hence C u = = 1. Hence ( 1) q 1/2 y 2 = u F q C u w u = q 1 ( u F wu ) = q 1 q q. since r = ( u F q w u ) = 1 + w w q 1 = 0 (because wr = r). (If y C, then what is the meaning of y mod??) For the second claim, ) w x y = x F q ( x q = ( ) z 1 w z q z F q ( ) 1 = y q ( ) = y q We remark that the methods using the quadratic recirocity comletely determines whether x 2 = a(mod ) is solvable or not. However when it is solvable, it does not yield any information on the solution. Another roof of the quadratic recirocity law given by Einsenstein makes use of transcendental functions such as sin.

10 10 HEE OH 3. Lecture 3:On the number oints of an algebraic variety in a finite rime field 3.1. Main Theorem. A olynomial F (x 1,, x n ) is called absolutely irreducible if F cannot be written as gh where g, h C[x 1,, x n ]. Theorem 3.1. Let F (x 1,, x n ) be an absolutely irreducible olynomial with integral coefficients. Let N(F, ) be the number of solutions of the congruence f 0(mod ). Then N(F, ) n 1 < C(F ) n 1 1/2 where C(F ) deends only on F, but not. Corollary 3.2. There exists 0 such that N(F, ) 0 for all > 0. We remark that all known roofs of the above corollary go by way of the above theorem. The first roof of Corollary was given by Weil 1948 by roving a weaker version of the above theorem. For n = 1, Corollary is trivial since then F has to be linear. But already for n = 2, the roof is quite involved and requires some dee results in algebraic geometry. The theorem 3.1 was given by Lang and Weil. Note that N(F, ) = X F n χ V (X) where V is the set of solutions to F 0(mod ). We use the following notation: e(x) = ex(2πix). Note that e( 1 ) is a rimitive -th root of unity. Lemma 3.3. We have Proof. We first claim that N(F, ) = n χ V (X) = 1 x F X F n x F e( e( xf (X) ). xf (X) ). Note that x F e( xu ) = if u 0(mod ) and 0 otherwise. If X V and hence F (X) = 0, then the right hand side is 1. Otherwise it is 0. Since N(F, ) = X F χ n V (X), we have N(F, ) = 1 e(0) + xf (X) e( ) = n xf (X) e( ). X F n x F X F n x F X F n

11 LECTURE NOTES 11 Therefore we must show that as increases the remaining term increases in absolute value slower than the main term n 1, which is where all the difficulties lie Sums of owers. We will now rove a secial case of Theorem 3.1 when F (x,, x n ) = a 1 x a n x 2, a i 0(mod ). Indeed, we will rove: Theorem 3.4. N(F, ) n 1 C( 1) n/2 1. Examle 3.5. F is absolutely irreducible if and only if n 1, 2. Note that though the statement of Theorem is true for n = 1, 2, it has no content in those cases. We will see that in this case, everything boils down to obtaining an uer bound for the Gaussian sum (or the exonential sum) for the character given by the Legendre symbol. Note that the above is not meaningful for n = 1, 2. Remark For the case when F (x,, x n ) = a 1 x r a n x rn, the roof is almost identical, since we will be roving uer bound for a general Gaussian sum. Proosition 3.6. Set Then τ a (χ LS ) := t F ( t N(F, ) = n x F i=1 ) e( at ). n τ ai x(χ LS ). We have seen that N(F, ) = n = n x(a1x2 e( x F x 1,,x n x F i=1 n e( x i xaix2i ) a n x 2 n) ) Hence it suffices to have the following lemma in order to rove the roosition. Lemma 3.7. e( by2 ) = ( ) t e( bt ) =: τ bt(χ LS ). y F t F

12 12 HEE OH Proof. Note that by2 y e( ) = x m(x)e( bx ) where m(x) is the number of solutions of y 2 x(mod ). We have m(0) = 1. For x F, we can easily check that ( ) x m(x) = 2 = 1 + Hence the above is equal to (1 + e(bx )) + ( ) x e( bx ). x F x F Note that the sum of ( first ) two terms is 0, since b and hence we rove the claim, 0 since we agree that = 0. Theorem 3.8. For any a such that a, we have τ a (χ LS ) = The above theorem finishes the roof of Theorem 3.4, since we have N(F, ) n 1 C( 1) n/2 1. Examle 3.9. The same roof works for the case when we consider F c = F c. Note that ( N(F c, ) = n n ) xaix2i e( ) e( cx ) = n and that the modulus of e( cx x F x F ) is 1. ( ) i=1 x i τai x(χ LS )e( cx ) 3.3. Gaussian sum. For a, t t e( at ) is an examle of Gaussian sum. More generally it is defined as follows: Let χ : F S 1 be a multilicative character. We set χ(0) = 0. Then the sum τ a (χ) := t F χ(t)ζ at is well defined, and is called a Gaussian sum. We have: Theorem Let 1 d. Let a and χ 1, i.e., the unit of the trivial character. Then τ a (χ) 2 =. Let F be the vector sace of all comlex functions defined on F. F is clearly a comlex vector sace of dimension, since the ma f (f(0),, f( 1)) is a bijection between F and C.

13 Consider the inner roduct on F given by (f, g) = 1 f(x)g(x). LECTURE NOTES 13 x The functions f a (x) = e( ax) on F for a F form an orthonormal basis, since (f a, f b ) = 1 x F e( (a b)(x) ) is 1 if a = b and otherwise 0. Lemma χ = 1 τa (χ)f a and τ a (χ) is constant for all a F and τ 0 (χ) = 0. Note that (χ, χ) = 1 χ 2 = 1. Hence assuming the above lemma, we have and hence τ a (χ) =. 1 1 = 1 2 τ a (χ) 2 We now rove the above lemma: Write χ = a (χ, f a)f a. Then α a := (χ, f a ) = x χ(x)ζax = 1τ a(χ), and hence the first claim is roved. Hence we need to understand the coefficient α a. We claim that the modulus α a are all constants for a F. We will do this by comaring α ac with α a for any c such that c. Note that χ(cx) = χ(c)χ(x) = χ(c) a α a f a (x) = a χ(c)α ac f ac (x) = a χ(c)α ac f a (cx). On the other hand, χ cx = α a f a (cx). Hence α a = χ(c)α ac. Since χ(c) = 1, α 0 = 0 and α c = α 1. That is the modulus of α a is constant for any a F. Remark Note that in understanding N(F, ), the crucial thing was to understand the size of the exonential sum or the Gaussian sum. Having a meaningful estimate on the exonential sum means that there is some hidden cancelation in the sum. In a sense, what we exloited here is that the Gaussian sum aears as a Fourier coefficient of a character in a finite dimensional comlex vector sace. And hence, it has to satisfy certain relations among themselves {τ a (χ)}. Indeed, for understanding N(F ), the number of integral solutions for F = 0, we come u with a roblem of understanding Fourier coefficient of modular forms in an infinite dimensional sace. In dealing with F (X) = a i x r i i, we use the characters defined below, beyond the Legendre symbol:

14 14 HEE OH Examle Let d be such that 1 d, and let ɛ C be a rimitive d-th root of unity. For 0 s d 1, let χ s (x) = ɛ ks if x g k (mod ) for some generator of F (i.e., a rimitive root modulo ). Note that k is unique modulo 1. Hence χ s is a multilicative character of F. Note that χ 0 is the unit character, and for d = 2, χ 1 (x) = symbol. For a general χ 1, is k determined by the condition x (F ) k??? By doing some similar stes as before, we will have: Lemma Let N(F, ) be the number of congruence F (X) = a i x r i i where a i 0(mod ). Then where d i = (r i, 1). N(F, ) = n n d i 1 x F i=1 s=1 τ ai x(χ i,s ) ( x ) is the Legendre 0(mod ), In the above, χ i,s is defined as in the above examle with resect to d i. Hence the modulus of the Gaussian sum yields the main theorem for the above F, since N n 1 is then bounded above by 1 ( 1) (d i 1) = ( 1) n/2 1 n (d i 1). i=1

15 LECTURE NOTES Lecture 4: On -adic numbers Consider the congruence x 2 2 mod 7 n. For n = 1, we have x = ±3 mod 7. If x 2 2 mod 7 2, then x 2 2 mod 7, and hence x has to be the form x = ±3 + 7t. Let x = 3 + 7t. Plugging this, we have (3 + 7t) 2 = t 2 mod 7 2 and hence 6t 1 mod 7 and hence t = 1. So x = is a solution for x 2 2 mod 7 2. Again, a solution of x 2 2 mod 7 3 must satisfy the congruence mod 7 2. Hence a solution must be of the form x = t... By continuing this rocess, we obtain a sequence {x 1,, x n } of the form x n = a 0 + a a a a n 1 7 n 1, 0 a i 6, a solution of x 2 2 mod 7 n. And x n x n 1 mod 7 n 1. Definition 4.1. The -adic integer is a sequence of the form {x 1 = a 0, x 2 = a 0 + a 1, x 3 = a 0 + a 1 + a } where 0 a i 1}. More formally, this can be defined as the inverse limit (or rojective limit) of finite rings A k = Z/ k Z. Let φ n : A n A n 1 be the surjective ring homomorhism. The sequence A 1 φ2 A 2 forms a rojective system. Definition 4.2. The rojective (or inverse) limit of (A n, φ n ), denoted by lim A n is defined to be the subset {(x 1, x 2,, ) : φ n (x n ) = x n 1 } of the roduct ring X = n=1 A n. Note that X is a ring where the addition and the multilication is defined coordinate by coordinate. We can easily check that lim A n is also a subring. Set Z := lim A n, and call it the ring of -adic integers. Moreover, if we ut a discrete toology on each A n, then the roduct sace is comact by Tychonoff. Lemma 4.3. Z is comact as well. Proof. It suffices to show that it is closed. Let z / Z. Then for some n, φ n (z n+1 ) z n. Let O be the subset of X defined by the condition {(Y ) X : φ(y n+1 ) y n }. Clearly this is a oen neighborhood of Z disjoint from Z. Note that an element of Z is uniquely determined by the formal series i=0 a i i, 0 a i 1. The subring n Z consists of elements corresonding to i=n a i i, or the sequence (x 1, x 2,...) where x i 0 for all 1 i n and x n+1 = a n n, x n+2 = a n+1 n+1,... Lemma 4.4. The subring n Z is oen and closed in Z. They in fact form a basis around 0.

16 16 HEE OH The sequence 0 Z n Z ɛn A n 0 defined by ɛ n (X) = x n is an exact sequence. Hence Z / n Z is isomorhic to Z/ n Z. Proof. We only rove the second art. Let X = (x 1, x 2, ) = 0. Then if x i = i 1 j=0 a j j, then x i = 0 mod i imlies that a j = 0 for all j < i. Hence x j = 0 for all j < i. Hence the multilication by n is an injection. Note that x n 0 mod n means that all x i = 0 mod i for i n Hence X corresonds to i=n a i i. Hence X = n (a n, a n + a n+1, ) n Z. In view of the above lemma, X Z is divisible by n iff its n-th comonent x n is congruent to 0 mod n. In order to define a metric on Z as well as its field of fractions Q, we need the following theorem: An invertible element in Z is called a unit. We denote by U the subring of units of Z. Theorem 4.5. Any non-zero element x in Z is uniquely written as n u where u U. To rove this, Lemma 4.6. Let x = (x 1, x 2, ) Z Then x U if and only if x 1 0(mod ). Proof. If x U, there is y such that yx = (1, 1,...). Hence y 1 x 1 1(mod ), roving x 0(mod ). Suose x 1 0 (mod ). Then there is y 1 Z/Z such that x 1 y 1 1(mod ). Let s find y 2 = y 1 + a such that x 2 y 2 1 mod 2. Since x 2 = x 1 + b, we need to solve x 1 y 1 + (ax 1 + by 1 ) 1 mod 2. Since x 1 y 1 = 1 + c, we only need to solve ax 1 + by 1 + c 0(mod ). Since x 1 y 1 1(mod ), we have a y 1 (by 1 + c). This rocess can be continued.. Since Z/ m Z/Z/ m Z is isomorhic to Z/Z, if x 1 0 and hence x m / (Z/ m Z), then there is an element y m in Z/ m Z (which is an inverse mod ). Hence x m y m = 1 z m for some z Z/ m Z. Since 1 z m has the inverse 1 + z + (z) m 1, x m is invertible. This roves the claim. We now rove the theorem: Let x = (x 1, x 2,...) Z. If x is a unit, then n = 0. And this is a necessary and sufficient by the above lemma. Let k be the smallest index such that x k+1 0. Then by the lemma 4.4, x k Z and x / k+1 Z. Hence u := k x Z is a unit since does not divide u. It follows that Z is an integral domain from the theorem and hence we can talk about a field of fraction: Definition 4.7. Now the field of fraction of the ring Z is given by Z [ 1 ] = { m Z : m Z}. We denote this field by Q and call it the -adic field.

17 LECTURE NOTES 17 Before introducing the -adic valuation and the -adic absolute value, let s recall those notions for an arbitrary field: Definition 4.8. An absolute value on K is a function : K R + such that x = 0 iff x = 0 and xy = x y and x + y x + y. If it additionally satisfies x + y max{ x, y }, then it is called non-archimedean and otherwise archimedean. If we have an absolute value, then it defines a metric on K by d(x, y) = x y. A non-archimedean absolute value defines an ultra metric, that is, d(x,, y) max{d(x, z), d(z, y)}. Definition 4.9. A valuation of a field K is a surjective ma v : K Z which satisfies v(xy) = v(x) + v(y). If it also satisfies v(x + y) min(v(x), v(y), then it is called non-archimedean. If we have a valuation v on K, then we can define an absolute value x on K by x = e v(x) for a non-zero x and 0 = 0. Note that a non-archimedean valuation gives a non-archimedean absolute value, and hence a ultra metric. Note that any non-zero element in Q is of the form m u where m Z and u U are uniquely determined. Definition 4.10 (-adic valuation). For x = n u Q, the -adic valuation v (x) is defined as n. Lemma The above is indeed a valuation, i.e., the ma v : Q Z satisfies v (xy) = v (x) + v (y) and v (x + y) min(v (x), v (y)). Proof. Note that if x = m u and y = k v where u and v are units, and m k, then x+y = m (u+ k m v) and u+ k m v Z. Hence v (x+y) m = min{v (x), v (y)}. Definition 4.12 (-adic absolute value). For x Q, x := v (x) or x = e v (x). This defines an ultra metric by d(x, y) = x y. (Indeed, for any x y, x + y = max{ x, y }. Examle Hence n 0 as n and n 0 as n. Theorem Any non-archimedean valuation on Q is given by v for some. Any non-trivial absolute value on Q is either the usual absolute value or, u to equivalence (Ostrowski). Here two absolute values are called equivalent if they define the same toology, or if they define the same notion of convergence.

18 18 HEE OH Note that Z = {x Q : x 1} and U = {x Q : x = 1}. Using this metric, the ideals m Z = {x Q : x m } = {x Q : x < y} (where y is any element between m and m+1 ), m = 0, 1, 2, are closed and oen subsets in Q. Observe that the toology on Z induced by this metric coincides with the rofinite toology on Z, and hence Z is comact, and hence Z is a comlete metric sace. Hence Q is locally comact, and is comlete as well, since if {X n } is cauchy, we have X n is bounded, and hence for some k, k X n Z. Since k X n is cauchy and Z is comlete, it converges and so does {X n }. Examle Show that Q Q. Lemma Z and Q are dense in Z and Q resectively. We have a notion of continuous function from Q n Q. For instance, clearly olynomials in Q [x 1,, x n ] are continuous. Theorem A sequence X n Q converges if and only if X n X n+1 0. Proof. One direction is clear. Suose X n X n+1 0. It follows from the ultrametric inequality that {X n } is a cauchy and hence it converges. Corollary Any series i= k a i i, 0 a i 1 converges to an element in Q. Indeed, Q is the comletion of Q with resect to the -adic absolute value.

19 LECTURE NOTES Lecture 5: Solutions over Z Theorem 5.1. Let F Z [x 1,, x n ]. Let F k be the olynomial with coefficients in A k = Z/ k Z. Then F k 0 mod k is solvable for all k 1 iff F = 0 is solvable over Z. This is again equivalent to saying F 0 mod k i is solvable for an infinite sequene=ce k i. Proof. Suose F (X) = 0 for X Z n. This imlies that mod k, we have a congruence solution. Now suose that we have F k (x k 1,, x k n) 0 mod k. First choose a convergent subsequence x k1 i 1 for x k 1 in Z. Among x k1 i 2, choose a convergent subsequence x k2 i 2, etc. Then we have a subsequence X l i = (x l i 1,, x l i n ) which is a solution mod l i and x l i j α j Z as i. Since F (X l i ) = l i u i u i Z, we have F (X l i ) 0 and since F is continuous, we have F (α 1,, α n ) = 0. Note that the above is again equivalent to F li 0 mod l i is solvable for some infinite sequence l i. Theorem 5.2. Let F Z[x 1,, x n ] be a form. Then F 0 mod k has solutions not divisible by for all k 1 iff F = 0 has a rimitive solution over Z. Proof. Suose X = (x 1,, x n ) Z n be a rimitive solution. Then min(v (x 1 ),, v (x n )) = 0. Hence for some i, v (x i ) = 0. Then ɛ k (x i ) = k j=1 αj j with α 0 0. And F (ɛ k (x 1 ),, ɛ k (x n )) = 0 mod k. Now, conversely, suose (x k 1,, x k n) are rimitive solutions mod k. Then for some i, there is an infinite subsequence x k j i not divided by, and converge to α a unit in Z. By taking a suitable subsequence among (x k j 1,, x k j n ), we have a limit in Z n which is not divisible by. Theorem 5.3. Let F Z [X 1,, X n ], and (Z 1,, Z n ) Z n. F (Z) = 0 mod m and 2 min 1 i n {v ( F X i (Z))} < m v (F (Z)). Or equivalently, min v { F X i (Z))} = k < m/2. Then there is a Y Z n such that F (Y ) = 0 and Z Y mod m k. Suose that Examle 5.4. Can we do better, that is, can the condition k < m/2 be weakened?? Lemma 5.5. Let F Z [X]. Let X Z be such that F (X) = 0 mod m and v (F (X)) = k < m/2. Or equivalently 2v (F (x)) < v (F (X)) or F (X) 2 < F (X). Then there is a Y Z such that F (Y ) = 0 mod m+1 and v (F (Y )) = k and X Y mod m k.

20 20 HEE OH Proof. Write Y = X + t m k. By the taylor formula (for olynomials, easy to check), we have f(y ) = f(x) + m k tf (X) + 2m 2k a with a Z. We want to solve f(y ) 0 mod m+1. Write f(x) = m c and f (X) = k d. Then m (c + td + m 2k a) 0 mod m+1 is same as c + td = m 2k a mod. Since d is a unit, we can find t. Only need to check that v (f (Y )) = k. Note that f (Y ) = k d + m k r where r Z. Since d is a unit, and m k > k, v (f (Y )) = k. Proof of the theorem For some i, v ( F X i (Z))) = k. Without loss of generality, let i = n. Then, set f(x n ) := F (Z 1,, Z n 1, X n ). Let W 0 = Z n. By alying the above lemma to f, we have W 1 Z such that f(w 1 ) 0 mod m+1 and v (f (W 1 )) = k and W 1 W 0 modulo m k. Alying the same to W 1 recursively, we obtain a sequence W q Z such that f(w q ) 0 mod m+q and W q = W q 1 modulo m+q k. Note that v (W q+l W q ) m + q + 1 k and hence W q+l W q (m+q+1 k) for all l > 1. Hence W q is a Cauchy sequence and hence converges to α Z. Then f(α) = 0, and hence F (Z 1,, Z n 1, α) = 0. Note that since α W 0 mod m k, we have (Z 1,, Z n 1, α) (Z 1,, Z n ) mod m k. Corollary 5.6. Let F Z [X 1,, X n ]. Let F (Z 1,, Z n ) 0(mod ). If F X i (Z)) is not divisible by for some i, then F = 0 is solvable over Z. Corollary 5.7. Let 2. Let f(x 1,, X n ) = a ij X i X j be a quadratic form (a ij = a ji ) with coefficients in Z. Suose that determinant of (a ij ), i.e, the discriminant of f is not divisible by. Then any rimitive solution to f 0(mod ) lifts to a Z solution. Proof. Suose that Z is a zero of f mod and all artial derivatives f X i (Z)) are divisible by. Since f (5.8) (Z)) = 2 a ij Z j X i and (a ij ) is invertible mod, it follows that (Z 1,, Z n ) cannot be rimitive. Corollary 5.9. = 2. Let f be as above and let det(a ij ) 1 mod 2. Then a rimitive solution Z of f(x) 0 mod 2 3 = 8 can be lifted to a Z 2 zero. That is, if f(x) 0 mod 8 has a solution whose coordinates are not all even, then it lifts to a solution over Z 2. Proof. The det condition imlies that the artial derivatives of f at Z are not divided by 4 by 5.8. Hence min i {v ( f X i (Z))} 1. Hence take m = 3 and k = 1, to aly the revious theorem.

21 LECTURE NOTES 21 Corollary Let f(x) = a ij X ij be a quadratic form (a ij = a ji ) with coefficients in Z and at least 3 variables Then f = 0 is solvable over Z for all but finitely many. Proof. By Chevalley-Warning, f has a rimitive solution for all. Let be any odd rime not dividing the determinant of a ij. Then aly the above theorem. For instance, if f(x) = n i=1 x2 i and n 3, then f(x) = 0 is solvable for all Z for all odd rime. For = 2, x x x 2 3 = 0 or x x x x 2 4 = 0 has no solution over Z 2 (since mod 8 has no solutions such that at least one of which is odd). Remark We will see later that for any quadratic form f over Z of at least 5 variables, f 0 has a non-zero solution for all Z. This imlies that for any quadratic form f over Q, SO n (f, Q ) cannot be comact,i.e., isotroic, if n 5.

22 22 HEE OH 6. Lecture 6 More generally, we have the following fact: Theorem 6.1 (BS, P. 44). Let F Z[X 1,, X n ] be an absolutely irreducible olynomial. Then F 0 can be solvable over Z for all excet for finitely many. The above follows from the fact that for all sufficiently large, the number of solutions F 0(mod ) is greater than the number of solutions of the system F (X 1,, X n ) 0(mod ) and F Xn (X 1, X n ) 0(mod ). Indeed, the number of the solutions to the former behave bigger than n 1 C F n 1 1/2, and the latter is bounded above by D n 2 where D deends only on F. Hence there has to be some zero of F 0 mod whose artial derivatives are not divided by. Examle 6.2. Fill out the details!! At least check the case for f = a i x r i i Squares in Q. Let x Q. When is x a square in Q? If x = y 2 Q 2, v (x) has to be even. Hence x = 2m u where u is a unit in Z. Hence this roblem reduces to when a unit u is a square. Lemma 6.3. Let 2. A unit u is a square in Z iff u is a square mod. Proof. If f(x) = x 2 u has a solution y mod, does not divide y. f (y) = 2y 0(mod ), hence y can be lifted to a solution over Z. If u = y 2 for y Z, clearly mod u is a square. Corollary 6.4. Let 2. Let x = k u Q. Then x is a square if and only if k is even and u((mod )) is a quadratic residue mod. Hence Q /(Q ) 2 is isomorhic to Z/2Z Z/2Z. Proof. The ma x = k u (k mod 2, umod /(F ) 2 ) is an isomorhism onto Z/2Z F /(F ) 2. The latter is isomorhic to Z/2Z. Now let = 2. Lemma 6.5. A unit u in Z 2 is a square iff u 1 mod 2 3 = 8. Proof. Suose u = y 2. So that u = y 2 mod 8. Note that y mod 8 is an odd integer, since otherwise u = 0 mod 2, contradiction to the unit. However, the square of any odd integer is 1 mod 8: (2k + 1) 2 = 4k 2 + 4k + 1. If k is even, clear. If k is odd, Check. Suose u = 1 mod 8. If F (x) = x 2 u, F (1) = 0 mod 8 and F (1) = 2. Hence 2v 2 (F (1)) = 2 < 3 v 2 (F (1)). Hence there is a Z -lift y such that F (y) = 0. Hence [Q 2 : (Q 2) 2 ] = 8, and since Q 2/(Q 2) 2 is an abelian grou with every element having an order 2, it is isomorhic to Z/2Z Z/2Z Z/2Z.

23 LECTURE NOTES Quadratic forms. Let A be a commutative ring (e.g., A = Z, A = Z, a field) and V a module over A. Definition 6.6. A function Q : V A is a quadratic form if Q(ax) = a 2 Q(x) and if we set (x, y) := (Q(x + y) Q(x) Q(y)), then (, ) is a bilinear form. In the following let k be a field of characteristic not 2 and V be an n-dimensional vector sace over k. We will relate quadratic forms to symmetric bilinear forms on V V and to symmetric matrices in M n (k). Let Q be the sace of quadratic forms on V and S be the sace of symmetric bilinear forms on V. Let M be the symmetric matrices in M n (k). Theorem 6.7. For a quadratic form Q on V, consider the symmetric bilinear form (x, y) Q = 1 (Q(x + y) Q(x) Q(y)) (also called as a scalar roduct). 2 This is a bijection between Q and S. Fix a basis (e i ) of A. Then for Q Q, set A to be the matrix defined by (e i, e j ) Q. This gives a bijection and the inverse is given by And Q( x i e i ) = ij a ij x i x j. ( x i e i, y i e i ) = (x 1,, x n )A(y 1,, y n ) t. Consider the equivalence classes as [Q 1 ] = [Q 2 ] if and only if there is a vector sace isomorhism f : V V such that Q 1 (x) = Q 2 (f(x)) for all x V. Let A, B M be equivalent if and only if A = XBX t for some X GL n (k). Then the above ma induces a bijection. Proof. The first two claims are clear. If [Q 1 ] = [Q 2 ] then (x, y) Q1 = (f(x), f(y)) Q2. Hence if f i = x ij e j, (e i, e j ) Q1 = (f(e i ), f(e j )) Q2 = X(e i, e j ) Q2 X t. Hence the ma is well defined. If A i are symmetric matrices such that Q i (v) = va i v t, and A 1 = XA 2 X t, then define f : V V by f(e i ) = x ij e j. Then Q 1 (v = v i e i ) = va 1 v t = vxa 2 X t v t = Q 2 (f(v)). We would like to understand the classification of quadratic forms u to equivalence. For instance, note that understanding Q(V ), i.e, what numbers are reresented by Q does not deend on the equivalence class, since f : V V is an automorhism. One of the imortant invariants is this: Definition 6.8. The discriminant of Q is an element of k/(k ) 2 reresented by the determinant of the symmetric matrix corresonding to Q with resect to some basis. If d(q) 0, then Q is called non-degenerate.

24 24 HEE OH Lemma 6.9. TFAE Q is non-degenerate. its radical rad(v ) := {w V : (w, v) Q = 0 for all v V } = 0. the ma Q V : V V given by l v (w) = (v, w) Q is an isomorhism. Proof. If Q is degenerate, for some v = v i e i V, Av = 0. Hence (w, v) Q = 0 for any w V, and vice versa. Note that Q V is a linear ma and the kernel of Q V is radv. Hence Q is non-degenerate if and only if Q V is injective. Since we have dim(v ) = dim(v ), the claim is roved. We would like to rove that any quadratic form has an orthogonal basis, or equivalently, the corresonding symmetric matrix is equivalent to a diagonal matrix. Definition Let U V be a subsace. The orthogonal comlement U 0 is defined as {v V : (u, v) Q = 0 for all u U}. V = U i if V = U i and U i are airwise orthogonal to each other, i.e., (u i, u j ) Q = 0 for i j. Note that Q = Q Ui The last one follows since (x, y) = 0 = 1/2(Q(x + y) Q(x) Q(y)) imlies Q(x + y) = Q(x) + Q(y).

25 LECTURE NOTES Lecture 7 Lemma 7.1. Let (V, Q) be a quadratic module and U be any subsace such that V = U radv. Then Q U is non-degenerate and V = U radv. Lemma 7.2. Let (V, Q) be a non-degenerate quadratic module. Then for a subsace U V, we have U 00 = U, radu = U U 0 = radu 0 and dimv = dimu + dimu 0. Proof. Clearly U U OO. Since V is nondegenerate, the ma V V U is a surjection and the kernel is U 0. Hence dim(v ) = dimu + dimu 0. Since dimu = dimu, we have dimv = dimu + dimu 0. Now alying the same argument to U 0 gives dimv = dimu 0 + dimu 00. Hence U = U 00 by comaring the dimension. Corollary 7.3. Let (V, Q) be as above and U < V. TFAE U is non-degenerate. U 0 is non-degenerate. U U 0 = 0. V = U U 0. That is, any non-degenerate subsace U of V has an orthogonal comlement. Theorem 7.4. Any quadratic module has an orthogonal basis. That is, there exists a basis e 1,, e n for V such that (e i, e j ) Q = 0 whenever i j. It follows that Q( x i e i ) = n i=1 a ix 2 i where a i = Q(e i ). In other words, the symmetric matrix ((e i, e i ) Q )) corresonding to Q wrt {e i } is a diagonal matrix. Proof. First we have V = radv U for some non-degenerate subsace U. Note that any basis for radv is orthogonal to each other, and orthogonal to any choice of basis for U. Hence it suffices to rove the claim for Q U, and hence non-degenerate. Hence there exists e 1 V be such that Q(e 1 ) 0. Then U = ke 1 is a non-degenerate subsace, we have V = ke 1 U 0 and Q U 0 is non-degenerate. Hence we roceed by induction. Examle 7.5. Give an examle of degenerate subsace of non-degenerate (V, Q). Let V = R 2 and Q((x, y)) = x 2 y 2. Then on U = R(1, 1), Q U = 0 and hence U is degenerate. Another useful decomosition for quadratic form is obtained via hyerbolic lanes. Definition 7.6. An element x (V, Q) is isotroic if Q(x) = 0. That is, Q contains a non-zero isotroic vector if and only if Q reresents 0. A two dimensional subsace U is called hyerbolic lane if it has ( a basis ) u 1 and u which are isotroic and (u 1, u 2 ) = 1. Hence Q U has the matrix with resect 1 0 to u 1 and u 2. Lemma 7.7. Let (V, Q) be non-degenerate and x 0 an isotroic element. Then there is a subsace U of V which is hyerbolic lane and contains x.

26 26 HEE OH Proof. Since V is nd, for some z V, (x, z) 0 and hence we may assume (x, z) = 1. Note that z is not a multile of x since (x, z) = 0. Let y = dz+cx. To have (x, y) = 1, we have d = 1 Then(y, y) = (z, z) + 2c(z, x) = 0 imlies that y = z 1 (z, z)x. 2 Corollary 7.8. Let (V, Q) be as above. Then V = H W where H is the orthogonal sum of hyerbolic lanes and H 0 = W is a subsace with no non-zero isotroic element. Corollary 7.9. If (V, Q) is non-degenerate, and contains a non-zero isotroic vector, then Q(V ) = k. Proof. Let x and y be a basis consisting of isotroic elements for the hyerbolic lane. Then for any a k, Q(x+a/2y) = a, since a/2 = (x, a/2y) = 1(Q(x+a/2y) Q(x) 2 Q(a/2y)). Hence a/2 = 1/2Q(x + a/2y) Reresentation of 0 by -adic quadratic form. Theorem Any quadratic form over Q in at least 5 variables always reresents 0 (by a non-zero element). Why not for n = 3, 4? For instance,if f(x) = n i=1 x2 i and n 3, then f(x) = 0 is solvable for all Z for all odd rime (since we have congruence solutions mod and the discriminant is 1 and hence invertible mod ). For = 2, x x x 2 3 = 0 has no solution over Z 2 : if so, there is congruence solution mod 4 one of which is odd, say, x 1. Then x 2 1 = 1 mod 4. But the sum any two squares cannot be 3 mod 4 (it is either 0 when both are even, 2 when both are odd, and 1 if one is even and the other is odd). Similarly x x x x 2 4 = 0 has no solution over Z 2 : if so, let x 1 be odd and (x 1,, x 4 ) be a congruence solution mod 8. Then x 2 1 = 1 mod 8. But the sum of three squares cannot be 7 mod 8 (as it was in the hw). Hence 5 variables is the best we can hoe for. Corollary If Q is a quadratic form over Q with at least 4 variables, Q(V ) = Q. Proof. Let a Q and f(x, x n+1 ) = Q(x) ax 2 n+1. Then by the above theorem, f has a non-zero isotroic vector. If x n+1 0, Q(Xx 1 n+1) = a. If x n+1 = 0, then Q has a non-zero isotroic vector. Hence Q(V ) = Q by Corollary 7.9. In the following, we may assume that Q(X) = n i=1 α ix 2 i with α i 0 and n 5. Let k = Q. Then we can furthermore have r n F (X) = ɛ i x 2 i + ( ɛ i x 2 i ) = F 0 (X 1,, X r ) + F 1 (X r+1,, X n ) i= where ɛ i are -adic units. i=r+1

27 LECTURE NOTES 27 We would like to understand when Q(X) = 0 has a non-zero solution over Q, or equivalently over Z. Without loss of generality, we assume r n r, by relacing Q by Q if necessary. Corollary Any quadratic form with at least 5 variables reresents 0 for all Q for any odd rime. Proof. We have F (X) = F 0 + F 1 as before. We may assume r n r, and hence r 3. Hence F 0 (x 1,, x r ) = ɛ i x 2 i always reresents 0 over Z for all odd rime, since mod it has a solution and determinant is invertible mod. Hence it lifts to a zero over Q. Though we do not need this, we will rove the following: Theorem F reresents 0 if and only if F 0 or F 1 reresents 0. Proof. Suose F (X) = 0. We may assume X Z n and X. If (X 1,, X r ) is not divisible by, i.e., X i for some 1 i r, then F 0 (X) 0 mod, and F 0 X i (X) = 2ɛ i X i 0(mod ). Hence F 0 has a zero over Z. If X i for all 1 i r, then 2 F 0 (X 1,, X r ) and hence mod 2, (F 1 (X r+1,, X n )) = 0. Hence F 1 (X r+1,, X n ) = 0(mod ) and (X r+1,, X n ). Hence F 1 = 0 reresents 0 over Z. To see the other direction, if F 0 reresents 0, then consider (X 1,, X r, 0,, 0) etc. Examle Counterexamle to the above for = 2?

28 28 HEE OH 8. Lecture 8 We begin by clarifying differences between two notions quadratic module and quadratic form: A quadratic module (over k) is a air (V, Q) where V is a k vector sace and Q is a quadratic form on V. A quadratic form over k in n variables is a function on k n given as f(x 1,, x n ) = a ij x i x j 1 i,j n where a ij = a ji. These two are related as follows: For a given quadratic form f over k in n variables, the air (k n, f) is a quadratic module. Conversely, if dim(v ) = n. and we fix any basis {e i }, then for a given quadratic module ( V, Q), we can associate a quadratic form over k in n variables as f(x 1,, x n ) := Q( x i e i ). Then f(x 1,, x n ) = a ij x i x j where a ij = (e i, e i ) Q. 1 i,j n Definition 8.1. f is non-degenerate if the quadratic module (k n, f) is nondegenerate. We say f 1 and f 2 are equivalent if (k n, f 1 ) and (k n, f 2 ) are isometric, that is, for some linear isomorhism A : k n k n, f 1 (X) = f 2 (AX). f reresents a k over k if there is a non-zero x k n such that f(x) = a. Hence f reresents 0 over k if (k n, f) has a non-zero isotroic vector. Lemma 8.2. If two quadratic forms f 1, f 2 are equivalent, then f 1 reresents a k if and only if f 2 reresents a. Now the theorem saying that any quadratic module admits an orthogonal basis can be translated as follows: Theorem 8.3. Let f be a quadratic form in n variables. Then f is equivalent to g where g(x 1,, x n ) = r i=1 a ix 2 i where all a i 0 and r n. Here, r is called the rank of f. Hence f is non-degenerate if and only if r = n. Any quadratic form f is equivalent to g where g(x 1,, x n ) = h(x 1,, x r ) where h is a non-degenerate quadratic form of r variables. The only thing to check is that the rank of f deends only on the equivalence class of f. It is because that r is recisely the rank of the symmetric matrix corresonding to (k n, f) (i.e., the maximum number of linearly indeendent columns of the matrix). Equivalent symmetric matrices have the same rank. Remark We note that studying the quadratic form via the quadratic module is a very owerful tool. Many of the imortant theorems on quadratic forms are roven using the theory of quadratic module, for instance, the diagonalization.

29 LECTURE NOTES 29 Theorem 8.4. Any quadratic form Q over Q with rank n 5, or equivalently any non-degenerate quadratic form in at least 5 variables, always reresents 0. Proof. First, any such Q is equivalent to s i=1 ɛ ix 2 i + ( n s+1 ɛ ix 2 i ) where ɛ i are units in Z and s n s. Hence we may assume Q is given as above. Then since s 3 and hence s i=1 ɛ ix 2 i reresents 0 over Q for any odd, so does Q. we only need to consider the case = 2. We consider the case when s = n and s < n. Let r = n, and may assume that 5 f = ɛ i x 2 i. i=1 We only need to show that f 0 mod 8 has a solution x 1,, x 5 which are not all even. Note that ɛ 1 +ɛ 2 and ɛ 3 +ɛ 4 are 0 or 2 mod 4. If both are 2 mod 4, then the sum 4 i=1 ɛ i = 4c for some c Z 2. Hence f(1, 1, 1, 1, 2c) = 4c(1 + ɛ 5 c) 0 mod 8. Now suose that ɛ 1 +ɛ 2 = 0 mod 4. Then ɛ 1 +ɛ 2 = 4c for c Z. Then f(1, 1, 0, 0, 2c) 0 mod 8. Let s < n. Then take 3 f = ɛ i x 2 i + 2ɛ n x 2 n. i=1 We only need to show that f 0 mod 8 has a solution (x 1, x 2, x 3, x n ) such that one of x 1, x 2, x 3 is odd. Note that ɛ 1 +ɛ 2 = 2c for c Z. Then ɛ 1 +ɛ 2 +2ɛ n c 2 = 2c(1+cɛ 2 n) = 0 mod 4. Hence ɛ 1 + ɛ 2 + 2ɛ n c 2 = 4β with β Z 2. Then f(1, 1, 2β, c) = 4β + 4β 2 ɛ 3 = 4β(1 + βe 3 ) 0 mod 8. Corollary 8.5. Any quadratic form Q over Q with rank n 4 reresents all nonzero elements in Q. Or Q(Q n ) = Q Witt s theorem. Let (V, Q) be a non-degenerate quadratic module. An isometry from V to V is called autometry. The set Aut(V, Q) becomes a grou with resect to the comosition oeration, and denoted by O(V ). Theorem 8.6 (Witt). Let U 1, U 2 be subsaces of V and let s : U 1 U 2 be an isometry. Then s extends to an autometry V V. Definition 8.7 (symmetry). Let v V be such that Q(v) 0. Then the symmetry τ v id defined as follows: Since kv is non-degenerate, we have V = kv U 0. Set τ v (kv + w) = kv + w where w U 0. Hence τ v is identity on U 0. Clearly τv 2 = id. In fact, 2(w, v) τ v (w) = w (v, v) v. Lemma 8.8. Let u, v V and Q(u) = Q(v). If Q(u v) 0, then τ u v (u) = v. Proof. Comutation!

30 30 HEE OH Corollary 8.9. If Q(u) = Q(v) 0, then there is an autometry S : V V such that S(u) = v. Moreover S is either a symmetry or the roduct of two symmetries. In articular, it follows that O(V ) acts transitively on {v V : Q(v) = c} for any c k. Proof. Note that Q(u + v) + Q(u v) = 2(Q(u) + Q(v)) = 4Q(u) 0. Hence one of Q(u + v) or Q(u v) is non-zero. Suose Q(u v) 0, then set S = τ u v. If Q(u + v) 0, then τ u+v (u) = v. Hence set S = τ v τ u+v. Proof of Witt s theorem for U 1 non-degenerate We use induction: Let dim(u 1 ) = 1. Then for some u U 1, Q(u) 0. Set v = s(u) and aly the above corollary. Since U 1 is non-degenerate, we have for some u U 1, Q(u) 0. By alying S as above, we may assume that s(u) = u. Let W be the orthogonal comlement of ku in V. Set W i = U i W. The restricted isometry s : W 1 W 2 extends to S W : W W by induction. Now on V = ku W, we have id S W which extends s. Proof of Witt s theorem for a general case It suffices to show that for the case when U 1 is degenerate, we can extend s to a subsace V 1 which contains U 1 as a hyerlane. The idea is to look for an isotroic element z / U 1. Let u radu 1 and l U 1 be such that l(u) = 1. Using the isomorhism V V given by v l v, there is v V such that (v, u) = l(u) for all u U 1. Set z = v 1 2 (v, v)x. Check that z is isotroic. Since (v, x) = 1, v / U 1 and hence z / U 1. Similarly, let v be such that (v, u) = l (u) where l U 2 such that l (s(x)) = 1. Then we find an isotroic element z / U 2 as above. Now define S : U 1 kz U 2 kz by s and sending z z. We can check that this is indeed an isometry.

31 LECTURE NOTES Lecture 9 We now resent some corollaries of Witt theorem. Recall: Theorem 9.1 (Witt). Let (V, Q) be a non-degenerate quadratic module. Let U 1, U 2 be subsaces of V and let s : U 1 U 2 be an isometry. Then s extends to an autometry V V. Theorem 9.2. Let (V i, Q i ) be nondegenerate quadratic modules which are isometric to each other. Let U i be a subsace of V i and let s : U 1 U 2 be an isometry. Then s extends to an isometry V 1 V 2. Proof. If Φ : V 2 V 1 such that Q 1 Φ = Q 2, then Φ s : U 1 φ(u 2 ) is an isometry such that Q 1 (Φ s) = Q 1. Hence it extends to S : V 1 V 1. Set S = Φ 1 S. Definition 9.3. A quadratic form f(x, y) is called hyerbolic if the quadratic module (k 2, f) is hyerbolic. Note that a hyerbolic quadratic form is equivalent to xy, or x 2 y 2 or 2xy. ( ) ( ) ( ) /2 It is so, since the matrices S 1 = S = S = 1/2 0 are all equivalent. ( We have) S 2 = A t S 3 A where A = diga(1, 1/2) and S 1 = A t S 2 A for A = 1/2 1/ If g and h are quadratic forms in r and s variables, f = g + h is defined as the quadratic form in r + s variables such that f(x 1,, x r+s ) = g(x 1,, x r ) + h(x r+1,, x r+s ). Theorem 9.4 (Cancellation theorem). Let f i be non-degenerate quadratic forms in n variables and f i = g i + h i. If f 1 f 2 and g 1 g 2 then h 1 h 2. Proof. Set V i = (k n, f i ) = U i W i and U i = (k r i, g i ) where r i is the number of variables and W i = (k n r i, h i ). Then aly the above theorem. Theorem 9.5. Let f be a non-degenerate quadratic form over k in n variables. If f reresents 0, then f g + h where g is hyerbolic and f reresents all elements in k. Theorem 9.6. Let f be a non-degenerate quadratic form in n variables. Then f g g m + h where g i s are hyerbolic and h does not reresent 0. Moreover this decomosition is unique u to equivalence. That is, m i=1 g i + h m i=1 g i + h imlies m = m and h h. Proof. The module (k n, f) has a decomosition as the orthogonal sum of hyerbolic lanes and an anisotroic subsace. Hence by a change of basis, f can be written as above. Now the uniqueness follows from the above.

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2, MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write

More information

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing

More information

DISCRIMINANTS IN TOWERS

DISCRIMINANTS IN TOWERS DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will

More information

MA3H1 TOPICS IN NUMBER THEORY PART III

MA3H1 TOPICS IN NUMBER THEORY PART III MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced

More information

HENSEL S LEMMA KEITH CONRAD

HENSEL S LEMMA KEITH CONRAD HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar

More information

Jacobi symbols and application to primality

Jacobi symbols and application to primality Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime

More information

RECIPROCITY LAWS JEREMY BOOHER

RECIPROCITY LAWS JEREMY BOOHER RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre

More information

Weil s Conjecture on Tamagawa Numbers (Lecture 1)

Weil s Conjecture on Tamagawa Numbers (Lecture 1) Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The

More information

3 Properties of Dedekind domains

3 Properties of Dedekind domains 18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following

More information

t s (p). An Introduction

t s (p). An Introduction Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

MATH 361: NUMBER THEORY EIGHTH LECTURE MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

Mobius Functions, Legendre Symbols, and Discriminants

Mobius Functions, Legendre Symbols, and Discriminants Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,

More information

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss

More information

Quaternionic Projective Space (Lecture 34)

Quaternionic Projective Space (Lecture 34) Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question

More information

δ(xy) = φ(x)δ(y) + y p δ(x). (1)

δ(xy) = φ(x)δ(y) + y p δ(x). (1) LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material

More information

p-adic Measures and Bernoulli Numbers

p-adic Measures and Bernoulli Numbers -Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,

More information

POINTS ON CONICS MODULO p

POINTS ON CONICS MODULO p POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics

More information

MATH 371 Class notes/outline October 15, 2013

MATH 371 Class notes/outline October 15, 2013 MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have

More information

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.

More information

Math 104B: Number Theory II (Winter 2012)

Math 104B: Number Theory II (Winter 2012) Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums

More information

SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS

SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS In this section we will introduce two imortant classes of mas of saces, namely the Hurewicz fibrations and the more general Serre fibrations, which are both obtained

More information

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave

More information

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL

More information

MATH 361: NUMBER THEORY ELEVENTH LECTURE

MATH 361: NUMBER THEORY ELEVENTH LECTURE MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties

More information

CLASSIFICATION OF QUADRATIC FORMS WITH CLIFFORD ALGEBRAS

CLASSIFICATION OF QUADRATIC FORMS WITH CLIFFORD ALGEBRAS CLASSIFICATION OF QUADRATIC FORMS WITH CLIFFORD ALGEBRAS Dorothy Cheung Suervisor: Associate Professor Daniel Chan School of Mathematics and Statistics The University of New South Wales October 2015 Submitted

More information

MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.

MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1. MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a

More information

We collect some results that might be covered in a first course in algebraic number theory.

We collect some results that might be covered in a first course in algebraic number theory. 1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise

More information

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in

More information

MATH 6210: SOLUTIONS TO PROBLEM SET #3

MATH 6210: SOLUTIONS TO PROBLEM SET #3 MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form

More information

MATH 2710: NOTES FOR ANALYSIS

MATH 2710: NOTES FOR ANALYSIS MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite

More information

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS #A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,

More information

MATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE

MATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE MATH 20A, FALL 207 HW 5 SOLUTIONS WRITTEN BY DAN DORE (If you find any errors, lease email ddore@stanford.edu) Question. Let R = Z[t]/(t 2 ). Regard Z as an R-module by letting t act by the identity. Comute

More information

An Overview of Witt Vectors

An Overview of Witt Vectors An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that

More information

Group Theory Problems

Group Theory Problems Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index

More information

MAT 311 Solutions to Final Exam Practice

MAT 311 Solutions to Final Exam Practice MAT 311 Solutions to Final Exam Practice Remark. If you are comfortable with all of the following roblems, you will be very well reared for the midterm. Some of the roblems below are more difficult than

More information

6 Binary Quadratic forms

6 Binary Quadratic forms 6 Binary Quadratic forms 6.1 Fermat-Euler Theorem A binary quadratic form is an exression of the form f(x,y) = ax 2 +bxy +cy 2 where a,b,c Z. Reresentation of an integer by a binary quadratic form has

More information

MATH 371 Class notes/outline September 24, 2013

MATH 371 Class notes/outline September 24, 2013 MATH 371 Class notes/outline Setember 24, 2013 Rings Armed with what we have looked at for the integers and olynomials over a field, we re in a good osition to take u the general theory of rings. Definitions:

More information

Introduction to Group Theory Note 1

Introduction to Group Theory Note 1 Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................

More information

Algebraic Number Theory

Algebraic Number Theory Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................

More information

MATH342 Practice Exam

MATH342 Practice Exam MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice

More information

Representing Integers as the Sum of Two Squares in the Ring Z n

Representing Integers as the Sum of Two Squares in the Ring Z n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment

More information

ON FREIMAN S 2.4-THEOREM

ON FREIMAN S 2.4-THEOREM ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained

More information

Primes - Problem Sheet 5 - Solutions

Primes - Problem Sheet 5 - Solutions Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices

More information

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2)

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2) On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure

More information

A review of the foundations of perfectoid spaces

A review of the foundations of perfectoid spaces A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview

More information

Math 751 Lecture Notes Week 3

Math 751 Lecture Notes Week 3 Math 751 Lecture Notes Week 3 Setember 25, 2014 1 Fundamental grou of a circle Theorem 1. Let φ : Z π 1 (S 1 ) be given by n [ω n ], where ω n : I S 1 R 2 is the loo ω n (s) = (cos(2πns), sin(2πns)). Then

More information

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015 18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

By Evan Chen OTIS, Internal Use

By Evan Chen OTIS, Internal Use Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there

More information

Almost All Palindromes Are Composite

Almost All Palindromes Are Composite Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely

More information

RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS

RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS THOMAS POGUNTKE Abstract. Artin s recirocity law is a vast generalization of quadratic recirocity and contains a lot of information about

More information

MAS 4203 Number Theory. M. Yotov

MAS 4203 Number Theory. M. Yotov MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment

More information

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed.

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed. Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4

More information

QUADRATIC RESIDUES AND DIFFERENCE SETS

QUADRATIC RESIDUES AND DIFFERENCE SETS QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be

More information

SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY

SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY In the revious section, we exloited the interlay between (relative) CW comlexes and fibrations to construct the Postnikov and Whitehead towers aroximating

More information

Algebraic number theory LTCC Solutions to Problem Sheet 2

Algebraic number theory LTCC Solutions to Problem Sheet 2 Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then

More information

A construction of bent functions from plateaued functions

A construction of bent functions from plateaued functions A construction of bent functions from lateaued functions Ayça Çeşmelioğlu, Wilfried Meidl Sabancı University, MDBF, Orhanlı, 34956 Tuzla, İstanbul, Turkey. Abstract In this resentation, a technique for

More information

Numbers and functions. Introduction to Vojta s analogy

Numbers and functions. Introduction to Vojta s analogy Numbers and functions. Introduction to Vojta s analogy Seminar talk by A. Eremenko, November 23, 1999, Purdue University. Absolute values. Let k be a field. An absolute value v is a function k R, x x v

More information

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p, 13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b

More information

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon

More information

Classication of Quadratic Forms

Classication of Quadratic Forms Classication of Quadratic Forms Manuel Araújo September 14, 2011 Abstract We present the classication of quadratic forms over the rationals and then describe a partial classication of quadratic forms over

More information

Introduction to Banach Spaces

Introduction to Banach Spaces CHAPTER 8 Introduction to Banach Saces 1. Uniform and Absolute Convergence As a rearation we begin by reviewing some familiar roerties of Cauchy sequences and uniform limits in the setting of metric saces.

More information

Small Zeros of Quadratic Forms Mod P m

Small Zeros of Quadratic Forms Mod P m International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal

More information

DIFFERENTIAL GEOMETRY. LECTURES 9-10,

DIFFERENTIAL GEOMETRY. LECTURES 9-10, DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator

More information

DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions

DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS ANG LI Abstract. Dirichlet s theorem states that if q and l are two relatively rime ositive integers, there are infinitely many rimes of the

More information

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.

More information

A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN

A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn

More information

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS #A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt

More information

THE CHARACTER GROUP OF Q

THE CHARACTER GROUP OF Q THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied ointwise

More information

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this

More information

ε i (E j )=δj i = 0, if i j, form a basis for V, called the dual basis to (E i ). Therefore, dim V =dim V.

ε i (E j )=δj i = 0, if i j, form a basis for V, called the dual basis to (E i ). Therefore, dim V =dim V. Covectors Definition. Let V be a finite-dimensional vector sace. A covector on V is real-valued linear functional on V, that is, a linear ma ω : V R. The sace of all covectors on V is itself a real vector

More information

Factor Rings and their decompositions in the Eisenstein integers Ring Z [ω]

Factor Rings and their decompositions in the Eisenstein integers Ring Z [ω] Armenian Journal of Mathematics Volume 5, Number 1, 013, 58 68 Factor Rings and their decomositions in the Eisenstein integers Ring Z [ω] Manouchehr Misaghian Deartment of Mathematics, Prairie View A&M

More information

Lecture 6. 2 Recurrence/transience, harmonic functions and martingales

Lecture 6. 2 Recurrence/transience, harmonic functions and martingales Lecture 6 Classification of states We have shown that all states of an irreducible countable state Markov chain must of the same tye. This gives rise to the following classification. Definition. [Classification

More information

f(r) = a d n) d + + a0 = 0

f(r) = a d n) d + + a0 = 0 Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.

More information

MA3H1 Topics in Number Theory. Samir Siksek

MA3H1 Topics in Number Theory. Samir Siksek MA3H1 Toics in Number Theory Samir Siksek Samir Siksek, Mathematics Institute, University of Warwick, Coventry, CV4 7AL, United Kingdom E-mail address: samir.siksek@gmail.com Contents Chater 0. Prologue

More information

MATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction

MATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied

More information

An Estimate For Heilbronn s Exponential Sum

An Estimate For Heilbronn s Exponential Sum An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined

More information

SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP OF THE NORMALIZER OF. 2p, p is a prime and p 1 mod4

SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP OF THE NORMALIZER OF. 2p, p is a prime and p 1 mod4 Iranian Journal of Science & Technology, Transaction A, Vol. 34, No. A4 Printed in the Islamic Reublic of Iran, Shiraz University SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP * m OF THE NORMALIZER OF S. KADER,

More information

Commutators on l. D. Dosev and W. B. Johnson

Commutators on l. D. Dosev and W. B. Johnson Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Commutators on l D. Dosev and W. B. Johnson Abstract The oerators on l which are commutators are those not of the form λi

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

MATH 3240Q Introduction to Number Theory Homework 7

MATH 3240Q Introduction to Number Theory Homework 7 As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched

More information

LECTURE 6: FIBER BUNDLES

LECTURE 6: FIBER BUNDLES LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class o ibrations given by iber bundles. Fiber bundles lay an imortant role in many geometric contexts. For examle, the Grassmaniann

More information

On the Multiplicative Order of a n Modulo n

On the Multiplicative Order of a n Modulo n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

Frank Moore Algebra 901 Notes Professor: Tom Marley

Frank Moore Algebra 901 Notes Professor: Tom Marley Frank Moore Algebra 901 Notes Professor: Tom Marley Examle/Remark: Let f(x) K[x] be an irreducible olynomial. We know that f has multile roots (f, f ) = 1 f f, as f is irreducible f = 0. So, if Char K

More information

Sums of independent random variables

Sums of independent random variables 3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where

More information

Bent Functions of maximal degree

Bent Functions of maximal degree IEEE TRANSACTIONS ON INFORMATION THEORY 1 Bent Functions of maximal degree Ayça Çeşmelioğlu and Wilfried Meidl Abstract In this article a technique for constructing -ary bent functions from lateaued functions

More information

HOMEWORK # 4 MARIA SIMBIRSKY SANDY ROGERS MATTHEW WELSH

HOMEWORK # 4 MARIA SIMBIRSKY SANDY ROGERS MATTHEW WELSH HOMEWORK # 4 MARIA SIMBIRSKY SANDY ROGERS MATTHEW WELSH 1. Section 2.1, Problems 5, 8, 28, and 48 Problem. 2.1.5 Write a single congruence that is equivalent to the air of congruences x 1 mod 4 and x 2

More information

Diophantine Equations and Congruences

Diophantine Equations and Congruences International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,

More information

THUE-VINOGRADOV AND INTEGERS OF THE FORM x 2 + Dy 2. Contents. Introduction Study of an Elementary Proof

THUE-VINOGRADOV AND INTEGERS OF THE FORM x 2 + Dy 2. Contents. Introduction Study of an Elementary Proof THUE-VINOGRADOV AND INTEGERS OF THE FORM x 2 + Dy 2 PETE L. CLARK Contents Introduction Study of an Elementary Proof 1 1. The Lemmas of Thue and Vinogradov 4 2. Preliminaries on Quadratic Recirocity and

More information