Weil Conjecture I. Yichao Tian. Morningside Center of Mathematics, AMSS, CAS
|
|
- Eugenia Richard
- 6 years ago
- Views:
Transcription
1 Weil Cojecture I Yichao Tia Morigside Ceter of Mathematics, AMSS, CAS [This is the sketch of otes of the lecture Weil Cojecture I give by Yichao Tia at MSC, Tsighua Uiversity, o August 4th, 20. Yuaqig Cai(ycai7@jhu.edu) is resosible for takig ad tyig these otes.] Solvig Diohatie equatio is oe of the mai roblem i umber theory for a log time. It is very difficult but woderful. For examle, it took over 300 years to see that X + Y = Z has o otrivial itegers solutio whe 3. We would like to cosider a easier roblem: solvig the Diohatie equatio modulo, where is a rime umber. We exect that this roblem is easy eough to hadle, but still is ot too trivial. Two examles Let C be the affie curve C : x 2 + y 2 =, ad cosider oits o F 2. We deote the set of solutios o F 2 by C(F ). First ote that we have a trivial solutio (, 0). Draw a lie through (, 0), with sloe t F. This lie will itersect with C(F ) with aother oit ( t2 2t, ) (if it +t 2 +t 2 exists). So we ca defie a ma t : F {t F t mod } C(F ) {(, 0)} This ma is early a bijectio. Note that + t 2 0(mod ) has two solutios if (mod 4); ad it has o solutios if 3(mod 4). Hece, we have ( ) {, whe (mod 4) (.) C(F ) = = +, whe 3(mod 4) The result is ot as beautiful as we exect. Now we cosider the rojective curve C : X 2 + Y 2 = Z 2, X, Y, Z is the homogeeous coordiates. Whe Z 0, we ca get the origial affie curve ( ) X 2 ( ) Y 2 + =, Z Z
2 which we call this the affie art of C. Whe Z = 0, we get X 2 + Y 2 = 0. Because X, Y, Z ca t be all zero, we get ( ) X 2 Y = i F. Whe (mod 4), this equatio has two solutios. Whe 3(mod 4), this equatio has o solutios. Hece we have C(F ) = + regardless of. We get a more beautiful result. This may exlai why we cosider rojective curves istead of affie curves. We have aother way to get the umber of solutios to x 2 + y 2 = i F. We have C(F ) = x F (( x 2 = + (( )) x 2 x F Combiig with (.), we get a iterestig equality ( ) ( ) x 2 =, x F ) ) + which is ot so trivial to be roved directly. We cosider aother examle y 2 + x 3 =, ad its corresodig rojective curve Y 2 Z + X 3 = Z 3. Whe Z = 0, we have X = 0, hece there is oly oe solutio at ifiity. Let s we deote by N(y 2 = a) the umber of solutios of y 2 = a i F for a F, ad similarly for N(x 3 = b) for b F. We have C(F ) = + C(F ) = + N(y a+b= a,b F 2 = a)n(x 3 = b) We have N(y 2 = a) = + ( a ) as i the revious examle. Note that F is a cyclic grou of order. If 3 ( ), we have N(x 3 = b) = for ay b F. If 3 ( ), the we have two cases: if b is a cubic of some elemets i F, we have N(X 3 = b) = 3; otherwise, N(X 3 = b) = 0. I summary, oe obtais {, whe 2(mod 3) N(X 3 = b) = + χ(b) + χ 2 (b), whe (mod 3) 2
3 where χ is a multilicative character of F of order 3. Therefore, C(F ) = + ( ( )) a + ( + χ(b) + χ 2 (b)) where J(λ, χ) = a+b= a,b F = + a+b= a,b F = + + ( + a+b= a,b F + χ(b) + χ 2 (b) + χ(b) + = + + J(λ, χ) + J(λ, χ 2 ) = + + J(λ, χ) + J(λ, χ) a+b= a,b F a+b= a,b F χ 2 (b) χ(b) + ( ) ) a χ 2 (b) ( a ) χ(b) is a Jacobi sum. From the theory of Jacobi sum ad Gauss sums, we have J(λ, χ) =. Therefore, we obtai which is called the Hasse-Weil boud. C(F ) ( + ) = J + J = 2 Re(J) 2, 2 Zeta fuctio of a rojective variety over a fiite field Recall that a fiite field is a field with fiite elemets. The field F = Z/Z is a examle of such fields. Theorem 2. (Galois). For every iteger N, there exists a uique field extesio over F of degree. We deote this field by F. Moreover, every fiite field is of this form, ad F /F is a Galois extesio with Galois grou Gal(F /F ) Z/Z. Let q = f, the Galois grou Gal( F q /F q ) Ẑ is commutative. It has a caoical toological geerator σ q defied by σ q (x) = x q. We call σ q the arithmetic Frobeius of F q. I geometric alicatios, it s more coveiet to use the geometric Frobeius F r q = σq. We cosider a rojective variety X 0 over F q, which ca be roughly viewed as the commo zeros of a set of homogeeous olyomials with coefficiets i F q : f (T 0,, T N ) = 0, f 2 (T 0,, T N ) = 0, (2.) f r (T 0,, T N ) = 0. 3
4 I this talk, all the varieties are uderstood to be reduced ad coected. We defie the dimesio of X 0 as dim(x 0 ) = N rk(jac), where Jac = ( f i T j ) i r,0 j N is the Jacobi matrix ad the T 0,, T N are cosidered as ideedet variables. We say the variety X 0 is smooth, if for every geometric oit x 0 X 0 ( F q ), we have rk(jac(x 0 )) = rk(jac). Note that Gal( F q /F q ) has a atural actio o X 0 ( F q ). A orbit of X 0 ( F q ) uder this actio is called a closed oit of X 0. We deote by X the set of closed oits of X 0. For all x 0 X, we defie deg(x 0 ) to be the cardiality of the orbit x 0. For ay iteger, we defie N to be the umber of solutios i F q of the defiig solutios (2.) of X 0. Defiitio 2.2. Let X 0 be a rojective variety over F q. The zeta fuctio of X 0 is defied as the formal ower series ( N t ) Z(X 0, t) = ex. N= Lemma 2.3. The Zeta fuctio ca be writte as a Euler roduct Proof. Note first that By defiitio, we have log Z(X 0, t) = = Z(X 0, t) = N (X 0 ) = = N t = m= = m= deg(x) = t deg(x). deg(x) tm m deg(x). deg(x) t m deg(x) m = Here, i the last ste we used the well kow equality log x = = x. deg(x)t log t deg(x). 4
5 Theorem 2.4 (Weil cojecture). Let X 0 be a rojective smooth variety of dimesio d. The () the zeta fuctio Z(X 0, t) is ratioal, i.e., we have Z(X 0, t) Q(t); (2) the zeta fuctio satisfies the fuctioal equatio Z(X 0, t) = ±q dχ(x 0 ) 2 t χ(x0) Z(X 0, q d t ), where χ(x 0 ) is the Euler-Poicaré characristic of X 0 ; (3) we ca write more recisely Z(X 0, t) = P P 3 P 2d P 0 P 2 P 2d, where P i = + a t + + a bi t b i = b i ( α j t) is a olyomial with coefficiets i Z, ad α j C = q i 2. j= The last art is called the Riema Hyothesis for fiite fields, ad the umber b i = deg(p i ) is called the i-th Betti umber of X 0. Usig these umbers, the Euler-Poicaré characteristic i (2) is exressed as χ(x 0 ) = 2d ( )i b i. Here are some history of the Weil cojecture. Weil first calculated the zeta fuctios of some curves usig Gauss sums ad Jacobi sums, the raised the cojecture i 949. Later o, he roved this cojecture i the case of curves usig Jacobias. Dwork roved statemet () i 960 usig -adic cohomology. I 965, Grothedieck roved (), (2) ad the art of (3) before where by usig the owerful machie of l-adic cohomology that he develoed. I 974, Delige roved the remaiig art of statemet (3). I 987, Laumo gave a differet roof by usig l-adic Fourier trasform. Fially, Kedlaya develoed i 2006 the theory of -adic Fourier trasform, ad gave a urely -adic roof of Weil cojecture. Examle 2.5. () Let X 0 be the curve over F q defied by the homogeeous equatio X 2 + Y 2 = Z 2. By a similar argumet as i sectio, we see easily that X 0 (F q ) = + q. Therefore, oe obtais Z(X 0, t) = ex( = q + t ) = ( t)( qt). (2) Let X 0 be the ellitic curve X 3 + Y 2 Z = Z 3 over F. I geeral, the zeta fuctio of a ellitic curve over F has the form Z(X 0, t) = a t + t 2 ( t)( t), 5
6 where a = + N (X 0 ). Recall that i sectio, oe saw that N (X 0 ) = X 0 (F ) = + + J + J with J = ( a a F ) χ( a) is a Jacobi sum. Hece, we get a = 2Re(J), ad ( + Jt)( + Jt) Z(X 0, t) = ( t)( t). 3 Sketch of Proof of Theorem 2.4 For a algebraic variety X over a algebraically closed field k, Grothedieck defied two cohomology theory with coefficiets i Q l : H (X et, Q l ) ad Hc (X et, Q l ). Here, l is a rime umber differet from the characteristic of k; H (X et, k) is a aalogue of classical sigular cohomology, ad Hc (X et, Q l ) is aalogous to the comactly suorted cohomology grous. More geerally, we ca cosider a costructible Q l -sheaf E ad defie similarly the cohomology grous H (X et, E) ad H (X et, E). These grous are fiite dimesioal Q l -vector saces, ad H, Hc = 0 whe > 2 dim(x) or < 0. Let X 0 be a variety over F q, E be a costructible sheaf o X 0, ad ut X = X 0 Fq F q. Alyig Grothedieck s costructio to X, we get H (X et, E) ad Hc (X et, E). These grous are moreover equied with atural actios of Gal( F q /F q ). A imortat igrediet i the roof of Weil cojecture is the followig Theorem 3. (Grothedieck-Lefschetz Trace Formula). Uder the assumtios above, we have 2d Tr(F r q, E x ) = ( ) i Tr(F r q, Hc(X i et, E)). x X 0 (F q ) Now we idicate how Theorem 3. imlies 2.4() ad first art of 2.4(3). If E = Q l, the the left had side of the Grothedieck-Lefschetz trace formula is N (X 0 ), ad the right had side is 2d ( ) i Tr(F r q, Hc(X i et, Q l )). Therefore, oe gets log Z(X 0, t) = = = 2d 2d ( ) i ( ) i Tr(F r q, H i c(x et, Q l ))t = Tr(F r q, H i c(x et, Q l ))t Now we have a elemetary lemma i liear algebra, whose roof is left to the reader. Lemma 3.2. Let V be a fiite dimesioal vector sace over a field, ad A : V V be a edomorhism of V. The we have a idetity of formal ower series i t: = Tr(A ) t = log det( At). 6
7 Alyig this lemma, oe obtais Hece, log Z(X 0, t) = 2 dim(x 0 ) ( ) i log det( F r q t, H i c(x et, Q l ). (3.) Z(X 0, t) = det( F r q t, Hc(X i et, Q l )) ( )i+ i det( F r q t, Hc(X i et, Q l )) i odd = det( F r q t, Hc(X i et, Q l )) Q l(t) i eve We ut P i = det( F r q t, H i c(x et, Q l )). Sice the zeta fuctio is ideedet from the choice of l, we actually have Z(X 0, t) Q(t). This roves () ad the first art of (3) excet for P i Z[t]. We ote that this is true for all varieties over F q without assumig that X 0 is smooth ad rojective. To rove statemet 2.4(2), we have to use Poicaré duality. Assume X 0 is smooth. Grothedieck showed that the atural cu roduct H i (X et, Q l ) H 2d i c (X et, Q l ) H 2d (X et, Q l ) Q l ( d). is o-degeerate, where Q l ( d), called the d-th Tate twist of Q l, is a oe-dimesioal Q l -vector sace where F r q acts as multilicatio by q d. This is called the Poicaré duality for X. Moreover, if X 0 is rojective, we have H i = H i c. Therefore, if X 0 is both smooth ad rojective, we have a erfect airig H i (X et, Q l ) H 2d i (X et, Q l ) Q l ( d). It follows that H 2d i (X et, Q l ) H i (X et, Q l ) ( d), where H i (X et, Q l ) meas the dual of H i (X et, Q l ) (equied with the iduced actio of Gal( F q /F q ).) So if α is a eigevalue of F r q o H i, the q d /α is a eigevalue of F r q o H 2d i. The fuctioal equatio i 2.4(2) follows immediately from this fact ad (3.). To ed this take, I d like to say a few words o Delige s roof of the Riema Hyothesis art of 2.4. There are several key ideas i the roof. The first oe is the geeralizatio, due to Delige ad Katz, to l-adic cohomology of classical Lefschetz ecils. The secod idea is the estimatio of eigevalues usig a method i aalytic umber theory iveted by Raki. Fially, a exlicit comutatio of the moodromy grou of certai reresetatios of the algebraic fudametal grou of curves layed also a very crucial role. c 7
1 Elliptic Curves Over Finite Fields
1 Elliptic Curves Over Fiite Fields 1.1 Itroductio Defiitio 1.1. Elliptic curves ca be defied over ay field K; the formal defiitio of a elliptic curve is a osigular (o cusps, self-itersectios, or isolated
More information1 Counting points with Zeta functions
The goal of this lecture is to preset a motivatio ad overview of the étale ad pro-étale topologies ad cohomologies. 1 Coutig poits with Zeta fuctios We begi with the followig questio: Questio 1. Let X
More information[ 47 ] then T ( m ) is true for all n a. 2. The greatest integer function : [ ] is defined by selling [ x]
[ 47 ] Number System 1. Itroductio Pricile : Let { T ( ) : N} be a set of statemets, oe for each atural umber. If (i), T ( a ) is true for some a N ad (ii) T ( k ) is true imlies T ( k 1) is true for all
More informationLecture 1: Weil conjectures and motivation
Lecture 1: Weil cojectures ad motivatio September 15, 014 1 The Zeta fuctio of a curve We begi by motivatig ad itroducig the Weil cojectures, which was bothy historically fudametal for the developmet of
More informationON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS
ON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS KEENAN MONKS Abstract The Legedre Family of ellitic curves has the remarkable roerty that both its eriods ad its suersigular locus have descritios
More informationSketch of Dirichlet s Theorem on Arithmetic Progressions
Itroductio ad Defiitios Sketch of o Arithmetic Progressios Tom Cuchta 24 February 2012 / Aalysis Semiar, Missouri S&T Outlie Itroductio ad Defiitios 1 Itroductio ad Defiitios 2 3 Itroductio ad Defiitios
More informationNotes on the prime number theorem
Notes o the rime umber theorem Keji Kozai May 2, 24 Statemet We begi with a defiitio. Defiitio.. We say that f(x) ad g(x) are asymtotic as x, writte f g, if lim x f(x) g(x) =. The rime umber theorem tells
More informationMATH10212 Linear Algebra B Proof Problems
MATH22 Liear Algebra Proof Problems 5 Jue 26 Each problem requests a proof of a simple statemet Problems placed lower i the list may use the results of previous oes Matrices ermiats If a b R the matrix
More informationAlmost all hyperharmonic numbers are not integers
Joural of Number Theory 7 (207) 495 526 Cotets lists available at ScieceDirect Joural of Number Theory www.elsevier.com/locate/jt Almost all hyerharmoic umbers are ot itegers Haydar Göral a, Doğa Ca Sertbaş
More informationChapter 2. Finite Fields (Chapter 3 in the text)
Chater 2. Fiite Fields (Chater 3 i the tet 1. Grou Structures 2. Costructios of Fiite Fields GF(2 ad GF( 3. Basic Theory of Fiite Fields 4. The Miimal Polyomials 5. Trace Fuctios 6. Subfields 1. Grou Structures
More informationMA 162B LECTURE NOTES: THURSDAY, JANUARY 15
MA 6B LECTURE NOTES: THURSDAY, JANUARY 5 Examples of Galois Represetatios: Complex Represetatios Regular Represetatio Cosider a complex represetatio ρ : Gal ( Q/Q ) GL d (C) with fiite image If we deote
More informationElliptic Curves Spring 2017 Problem Set #1
18.783 Ellitic Curves Srig 017 Problem Set #1 These roblems are related to the material covered i Lectures 1-3. Some of them require the use of Sage; you will eed to create a accout at the SageMathCloud.
More informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationA Note on Bilharz s Example Regarding Nonexistence of Natural Density
Iteratioal Mathematical Forum, Vol. 7, 0, o. 38, 877-884 A Note o Bilharz s Examle Regardig Noexistece of Natural Desity Cherg-tiao Perg Deartmet of Mathematics Norfolk State Uiversity 700 Park Aveue,
More informationPERIODS OF FIBONACCI SEQUENCES MODULO m. 1. Preliminaries Definition 1. A generalized Fibonacci sequence is an infinite complex sequence (g n ) n Z
PERIODS OF FIBONACCI SEQUENCES MODULO m ARUDRA BURRA Abstract. We show that the Fiboacci sequece modulo m eriodic for all m, ad study the eriod i terms of the modulus.. Prelimiaries Defiitio. A geeralized
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty
More informationPutnam Training Exercise Counting, Probability, Pigeonhole Principle (Answers)
Putam Traiig Exercise Coutig, Probability, Pigeohole Pricile (Aswers) November 24th, 2015 1. Fid the umber of iteger o-egative solutios to the followig Diohatie equatio: x 1 + x 2 + x 3 + x 4 + x 5 = 17.
More informationChapter 1. Complex Numbers. Dr. Pulak Sahoo
Chapter 1 Complex Numbers BY Dr. Pulak Sahoo Assistat Professor Departmet of Mathematics Uiversity Of Kalyai West Begal, Idia E-mail : sahoopulak1@gmail.com 1 Module-2: Stereographic Projectio 1 Euler
More informationSolutions to Problem Set 7
8.78 Solutios to Problem Set 7. If the umber is i S, we re doe sice it s relatively rime to everythig. So suose S. Break u the remaiig elemets ito airs {, }, {4, 5},..., {, + }. By the Pigeohole Pricile,
More informationJournal of Ramanujan Mathematical Society, Vol. 24, No. 2 (2009)
Joural of Ramaua Mathematical Society, Vol. 4, No. (009) 199-09. IWASAWA λ-invariants AND Γ-TRANSFORMS Aupam Saikia 1 ad Rupam Barma Abstract. I this paper we study a relatio betwee the λ-ivariats of a
More informationUnit 5. Hypersurfaces
Uit 5. Hyersurfaces ================================================================= -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
More information(for homogeneous primes P ) defining global complex algebraic geometry. Definition: (a) A subset V CP n is algebraic if there is a homogeneous
Math 6130 Notes. Fall 2002. 4. Projective Varieties ad their Sheaves of Regular Fuctios. These are the geometric objects associated to the graded domais: C[x 0,x 1,..., x ]/P (for homogeeous primes P )
More informationFinal Solutions. 1. (25pts) Define the following terms. Be as precise as you can.
Mathematics H104 A. Ogus Fall, 004 Fial Solutios 1. (5ts) Defie the followig terms. Be as recise as you ca. (a) (3ts) A ucoutable set. A ucoutable set is a set which ca ot be ut ito bijectio with a fiite
More informationPUTNAM TRAINING PROBABILITY
PUTNAM TRAINING PROBABILITY (Last udated: December, 207) Remark. This is a list of exercises o robability. Miguel A. Lerma Exercises. Prove that the umber of subsets of {, 2,..., } with odd cardiality
More informationLecture 4: Grassmannians, Finite and Affine Morphisms
18.725 Algebraic Geometry I Lecture 4 Lecture 4: Grassmaias, Fiite ad Affie Morphisms Remarks o last time 1. Last time, we proved the Noether ormalizatio lemma: If A is a fiitely geerated k-algebra, the,
More informationBertrand s Postulate
Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES. ANDREW SALCH 1. The Jacobia criterio for osigularity. You have probably oticed by ow that some poits o varieties are smooth i a sese somethig
More informationSome remarks for codes and lattices over imaginary quadratic
Some remarks for codes ad lattices over imagiary quadratic fields Toy Shaska Oaklad Uiversity, Rochester, MI, USA. Caleb Shor Wester New Eglad Uiversity, Sprigfield, MA, USA. shaska@oaklad.edu Abstract
More informationClassification of DT signals
Comlex exoetial A discrete time sigal may be comlex valued I digital commuicatios comlex sigals arise aturally A comlex sigal may be rereseted i two forms: jarg { z( ) } { } z ( ) = Re { z ( )} + jim {
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationYALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE
YALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE CPSC 467a: Crytograhy ad Comuter Security Notes 16 (rev. 1 Professor M. J. Fischer November 3, 2008 68 Legedre Symbol Lecture Notes 16 ( Let be a odd rime,
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationChimica Inorganica 3
himica Iorgaica Irreducible Represetatios ad haracter Tables Rather tha usig geometrical operatios, it is ofte much more coveiet to employ a ew set of group elemets which are matrices ad to make the rule
More information11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.
11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationPRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION
PRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION DANIEL LITT Abstract. This aer is a exository accout of some (very elemetary) argumets o sums of rime recirocals; though the statemets i Proositios
More informationSOME APPLICATIONS FROM STUDENT S CONTESTS ABOUT THE GROUP OF AUTOMORPHISMS OF Z
Joural o Sciece ad Arts Year 5 No () 57-6 05 ORIGINAL PAPER SOME APPLICATIONS FROM STUDENT S CONTESTS ABOUT THE GROUP OF AUTOMORPHISMS OF GEORGIANA VELICU ELENA CATALINA GRINDEI Mauscrit received: 6005;
More informationProposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say
Chater 2 Euclid s Theorem Theorem 2.. There are a ifiity of rimes. This is sometimes called Euclid s Secod Theorem, what we have called Euclid s Lemma beig kow as Euclid s First Theorem. Proof. Suose to
More informationRelations Among Algebras
Itroductio to leee Algebra Lecture 6 CS786 Sprig 2004 February 9, 2004 Relatios Amog Algebras The otio of free algebra described i the previous lecture is a example of a more geeral pheomeo called adjuctio.
More informationCHAPTER I: Vector Spaces
CHAPTER I: Vector Spaces Sectio 1: Itroductio ad Examples This first chapter is largely a review of topics you probably saw i your liear algebra course. So why cover it? (1) Not everyoe remembers everythig
More informationChapter 4. Fourier Series
Chapter 4. Fourier Series At this poit we are ready to ow cosider the caoical equatios. Cosider, for eample the heat equatio u t = u, < (4.) subject to u(, ) = si, u(, t) = u(, t) =. (4.) Here,
More informationPolynomials with Rational Roots that Differ by a Non-zero Constant. Generalities
Polyomials with Ratioal Roots that Differ by a No-zero Costat Philip Gibbs The problem of fidig two polyomials P(x) ad Q(x) of a give degree i a sigle variable x that have all ratioal roots ad differ by
More informationSolutions to Problem Sheet 1
Solutios to Problem Sheet ) Use Theorem. to rove that loglog for all real 3. This is a versio of Theorem. with the iteger N relaced by the real. Hit Give 3 let N = [], the largest iteger. The, imortatly,
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationTEACHER CERTIFICATION STUDY GUIDE
COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra
More informationFourier Analysis, Stein and Shakarchi Chapter 8 Dirichlet s Theorem
Fourier Aalysis, Stei ad Shakarchi Chapter 8 Dirichlet s Theorem 208.05.05 Abstract Durig the course Aalysis II i NTU 208 Sprig, this solutio file is latexed by the teachig assistat Yug-Hsiag Huag with
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationCALCULATION OF FIBONACCI VECTORS
CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College
More informationScience & Technologies COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING THE POWERS - I
COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING TE POWERS - I Miryaa S. ristova Uiversity of Natioal ad World Ecoomy, Deartmet of Mathematics Studetsi Grad "risto Botev", 17 Sofia, BULGARIA
More informationIterative Techniques for Solving Ax b -(3.8). Assume that the system has a unique solution. Let x be the solution. Then x A 1 b.
Iterative Techiques for Solvig Ax b -(8) Cosider solvig liear systems of them form: Ax b where A a ij, x x i, b b i Assume that the system has a uique solutio Let x be the solutio The x A b Jacobi ad Gauss-Seidel
More informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
More informationInverse Matrix. A meaning that matrix B is an inverse of matrix A.
Iverse Matrix Two square matrices A ad B of dimesios are called iverses to oe aother if the followig holds, AB BA I (11) The otio is dual but we ofte write 1 B A meaig that matrix B is a iverse of matrix
More informationResearch Article A Note on the Generalized q-bernoulli Measures with Weight α
Abstract ad Alied Aalysis Volume 2011, Article ID 867217, 9 ages doi:10.1155/2011/867217 Research Article A Note o the Geeralized -Beroulli Measures with Weight T. Kim, 1 S. H. Lee, 1 D. V. Dolgy, 2 ad
More informationMath 2112 Solutions Assignment 5
Math 2112 Solutios Assigmet 5 5.1.1 Idicate which of the followig relatioships are true ad which are false: a. Z Q b. R Q c. Q Z d. Z Z Z e. Q R Q f. Q Z Q g. Z R Z h. Z Q Z a. True. Every positive iteger
More information(6), (7) and (8) we have easily, if the C's are cancellable elements of S,
VIOL. 23, 1937 MA THEMA TICS: H. S. VANDIVER 555 where the a's belog to S'. The R is said to be a repetitive set i S, with respect to S', ad with multiplier M. If S cotais a idetity E, the if we set a,
More information3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,
3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationNew Definition of Density on Knapsack Cryptosystems
Africacryt008@Casablaca 008.06.1 New Defiitio of Desity o Kasac Crytosystems Noboru Kuihiro The Uiversity of Toyo, Jaa 1/31 Kasac Scheme rough idea Public Key: asac: a={a 1, a,, a } Ecrytio: message m=m
More informationSYMMETRIC POSITIVE SEMI-DEFINITE SOLUTIONS OF AX = B AND XC = D
Joural of Pure ad Alied Mathematics: Advaces ad Alicatios olume, Number, 009, Pages 99-07 SYMMERIC POSIIE SEMI-DEFINIE SOLUIONS OF AX B AND XC D School of Mathematics ad Physics Jiagsu Uiversity of Sciece
More informationSummary: Congruences. j=1. 1 Here we use the Mathematica syntax for the function. In Maple worksheets, the function
Summary: Cogrueces j whe divided by, ad determiig the additive order of a iteger mod. As described i the Prelab sectio, cogrueces ca be thought of i terms of coutig with rows, ad for some questios this
More informationECE534, Spring 2018: Final Exam
ECE534, Srig 2018: Fial Exam Problem 1 Let X N (0, 1) ad Y N (0, 1) be ideedet radom variables. variables V = X + Y ad W = X 2Y. Defie the radom (a) Are V, W joitly Gaussia? Justify your aswer. (b) Comute
More information13.1 Shannon lower bound
ECE598: Iformatio-theoretic methods i high-dimesioal statistics Srig 016 Lecture 13: Shao lower boud, Fao s method Lecturer: Yihog Wu Scribe: Daewo Seo, Mar 8, 016 [Ed Mar 11] I the last class, we leared
More informationProof of Fermat s Last Theorem by Algebra Identities and Linear Algebra
Proof of Fermat s Last Theorem by Algebra Idetities ad Liear Algebra Javad Babaee Ragai Youg Researchers ad Elite Club, Qaemshahr Brach, Islamic Azad Uiversity, Qaemshahr, Ira Departmet of Civil Egieerig,
More informationPhysics 324, Fall Dirac Notation. These notes were produced by David Kaplan for Phys. 324 in Autumn 2001.
Physics 324, Fall 2002 Dirac Notatio These otes were produced by David Kapla for Phys. 324 i Autum 2001. 1 Vectors 1.1 Ier product Recall from liear algebra: we ca represet a vector V as a colum vector;
More informationf(w) w z =R z a 0 a n a nz n Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction.
Theorem 3.6.4. [Liouville s Theorem] Every bouded etire fuctio is costat. Proof. Let f be a etire fuctio. Suppose that there is M R such that M for ay z C. The for ay z C ad R > 0 f (z) f(w) 2πi (w z)
More informationSOLVED EXAMPLES
Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as
More informationarxiv: v1 [math.nt] 5 Jan 2017 IBRAHIM M. ALABDULMOHSIN
FRACTIONAL PARTS AND THEIR RELATIONS TO THE VALUES OF THE RIEMANN ZETA FUNCTION arxiv:70.04883v [math.nt 5 Ja 07 IBRAHIM M. ALABDULMOHSIN Kig Abdullah Uiversity of Sciece ad Techology (KAUST, Computer,
More informationPROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7).
PROBLEM SET 5 SOLUTIONS 1 Fid every iteger solutio to x 17x 5 0 mod 45 Solutio We rove that the give cogruece equatio has o solutios Suose for cotradictio that the equatio x 17x 5 0 mod 45 has a solutio
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationCONGRUENCES CONCERNING LEGENDRE POLYNOMIALS III
rerit: October 1, 01 CONGRUENCES CONCERNING LEGENDRE POLYNOMIALS III Zhi-Hog Su arxiv:101.v [math.nt] 5 Oct 01 School of Mathematical Scieces, Huaiyi Normal Uiversity, Huaia, Jiagsu 001, PR Chia Email:
More informationMA131 - Analysis 1. Workbook 2 Sequences I
MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................
More informationOn Generalized Fibonacci Numbers
Applied Mathematical Scieces, Vol. 9, 215, o. 73, 3611-3622 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ams.215.5299 O Geeralized Fiboacci Numbers Jerico B. Bacai ad Julius Fergy T. Rabago Departmet
More informationDeterminants of order 2 and 3 were defined in Chapter 2 by the formulae (5.1)
5. Determiats 5.. Itroductio 5.2. Motivatio for the Choice of Axioms for a Determiat Fuctios 5.3. A Set of Axioms for a Determiat Fuctio 5.4. The Determiat of a Diagoal Matrix 5.5. The Determiat of a Upper
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,
More informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationThe value of Banach limits on a certain sequence of all rational numbers in the interval (0,1) Bao Qi Feng
The value of Baach limits o a certai sequece of all ratioal umbers i the iterval 0, Bao Qi Feg Departmet of Mathematical Scieces, Ket State Uiversity, Tuscarawas, 330 Uiversity Dr. NE, New Philadelphia,
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More information2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.
CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.
More information4. Partial Sums and the Central Limit Theorem
1 of 10 7/16/2009 6:05 AM Virtual Laboratories > 6. Radom Samples > 1 2 3 4 5 6 7 4. Partial Sums ad the Cetral Limit Theorem The cetral limit theorem ad the law of large umbers are the two fudametal theorems
More informationA GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca
Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity
More informationECE534, Spring 2018: Solutions for Problem Set #2
ECE534, Srig 08: s for roblem Set #. Rademacher Radom Variables ad Symmetrizatio a) Let X be a Rademacher radom variable, i.e., X = ±) = /. Show that E e λx e λ /. E e λx = e λ + e λ = + k= k=0 λ k k k!
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationA Note on the Symmetric Powers of the Standard Representation of S n
A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,
More informationANOTHER GENERALIZED FIBONACCI SEQUENCE 1. INTRODUCTION
ANOTHER GENERALIZED FIBONACCI SEQUENCE MARCELLUS E. WADDILL A N D LOUIS SACKS Wake Forest College, Wisto Salem, N. C., ad Uiversity of ittsburgh, ittsburgh, a. 1. INTRODUCTION Recet issues of umerous periodicals
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Amog the most useful of the various geeralizatios of KolmogorovâĂŹs strog law of large umbers are the ergodic theorems of Birkhoff ad Kigma, which exted the validity of the
More information(I.C) THE DISTRIBUTION OF PRIMES
I.C) THE DISTRIBUTION OF PRIMES I the last sectio we showed via a Euclid-ispired, algebraic argumet that there are ifiitely may primes of the form p = 4 i.e. 4 + 3). I fact, this is true for primes of
More informationIn number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.
Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers
More informationNotes The Incremental Motion Model:
The Icremetal Motio Model: The Jacobia Matrix I the forward kiematics model, we saw that it was possible to relate joit agles θ, to the cofiguratio of the robot ed effector T I this sectio, we will see
More informationThe picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled
1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how
More informationSolutions to home assignments (sketches)
Matematiska Istitutioe Peter Kumli 26th May 2004 TMA401 Fuctioal Aalysis MAN670 Applied Fuctioal Aalysis 4th quarter 2003/2004 All documet cocerig the course ca be foud o the course home page: http://www.math.chalmers.se/math/grudutb/cth/tma401/
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More informationSome p-adic congruences for p q -Catalan numbers
Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet
More informationFermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a.
Departmet of Mathematical Scieces Istructor: Daiva Puciskaite Discrete Mathematics Fermat s Little Theorem 43.. For all a Z 3, calculate a 2 ad a 3. Case a = 0. 0 0 2-times Case a 0. 0 0 3-times a a 2-times
More information5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define
5. Matrix expoetials ad Vo Neuma s theorem 5.1. The matrix expoetial. For a matrix X we defie e X = exp X = I + X + X2 2! +... = 0 X!. We assume that the etries are complex so that exp is well defied o
More informationEquations and Inequalities Involving v p (n!)
Equatios ad Iequalities Ivolvig v (!) Mehdi Hassai Deartmet of Mathematics Istitute for Advaced Studies i Basic Scieces Zaja, Ira mhassai@iasbs.ac.ir Abstract I this aer we study v (!), the greatest ower
More information