On the smallest point on a diagonal quartic threefold
|
|
- Harold Warner
- 6 years ago
- Views:
Transcription
1 On the smallest oint on a diagonal quartic threefold Andreas-Stehan Elsenhans and Jörg Jahnel Abstract For the family x = a y +a 2 z +a 3 v + w,,, > 0, of diagonal quartic threefolds, we study the behaviour of the height of the smallest rational oint versus the Tamagawa tye number introduced by E Peyre Introduction A comuter exeriment Let V P n É be a Fano variety defined over É If V É ν for every ν ValÉ then it is natural to ask whether V É Hasse s rincile Further, it would be desirable to have an a-riori uer bound for the height of the smallest É-rational oint on V as this would allow to effectively decide whether V É or not When V is a conic, Legendre s theorem on zeroes of ternary quadratic forms roves the Hasse rincile and, moreover, yields an effective bound for the smallest oint For quadrics of arbitrary dimension, the same is true by an observation due to J W S Cassels [Ca] Further, there is a theorem of C L Siegel [Si, Satz ] which rovides a generalization to hyersurfaces defined by norm equations For more general Fano varieties, no theoretical uer bound is known for the height of the smallest É-rational oint Some of these varieties fail the Hasse rincile In this note, we resent some theoretical and exerimental results concerning the height of the smallest É-rational oint on quartic hyersurfaces in P É 2 There is a conjecture, due to Yu I Manin, that the number of É-rational oints of anticanonical height < B on a Fano variety V is asymtotically equal to τb log rkpicv B, for B Key words and hrases Diagonal quartic threefold, Diohantine equation, smallest solution, naive height, E Peyre s Tamagawa-tye number The comuter art of this work was executed on the Sun Fire V20z Servers of the Gauß Laboratory for Scientific Comuting at the Göttingen Mathematical Institute Both authors are grateful to Prof Y Tschinkel for the ermission to use these machines as well as to the system administrators for their suort
2 In the articular case of a quartic threefold, the anticanonical height is the same as the naive height Further, rk PicV = and, finally, the coefficient τ Ê equals the Tamagawa-tye number τv introduced by E Peyre in [Pe] Thus, one exects τv B oints of height <B Assuming equidistribution, the height of the smallest oint should be Being a bit otimistic, this might lead to the exectation τv that mv, the height of the smallest É-rational oint on V, is always less than C τv for a certain absolute constant C 3 To test this exectation, we comuted the Tamagawa number and ascertained the smallest É-rational oint for each of the quartic threefolds V a,b P É given by ax = by + z + v + w for a, b =,, 000 On of these varieties, there are no É-rational oints as the equation is unsolvable in É for = 2, 5, or 29 Note that, for each rime different from 2, 5, or 29, there are -adic oints already on the Fermat quartic given by z +v +w = 0 On each of the remaining varieties, É-rational oints were found In other words, there are no counterexamles to the Hasse rincile in this family The methods to systematically search for solutions of Diohantine equations and to comute Tamagawa numbers we alied here are described in our earlier aers [EJ, EJ2] The results are summarized by the diagrams below a, b = 00 a, b = 000 Figure : Height of smallest oint versus Tamagawa number It is aarent from the diagrams that the exeriment agrees with the exectation above The sloe of a line tangent to the to right of each of the scatter lots is indeed near However, we show in Section 2 that, in general, the inequality mv < C does not hold The following remains a logical ossibility τv 2
3 Question For every ε > 0, does there exist a constant Cε such that, for each quartic threefold, mv < Cε τv? +ε 5 Peyre s constant In our situation, rk PicV É = In articular, there is no Brauer-Manin obstruction on V Recall that, in this case, E Peyre s Tamagawa-tye number is defined [PT, Definition 2] as an infinite roduct τv := ν ValÉ τ νv For a rime number, the definition of the local factor may be simlified to τ V := #V / n lim n 3n τ V is described in [Pe, Lemme 57] In the case of the diagonal quartic threefold V,, given by x x = 0 < 0, a,, > 0 in P É, this yields τ V,, = dy dz dv dw a y + a 2 z + a 3 v + w 3/ where the domain of integration is R R := {y, z, v, w [, ] a y + a 2 z + a 3 v + w } 6 In the case of diagonal quartic threefolds, there is an estimate for mv in terms of τv Namely, admits a fundamental finiteness roerty More recisely, in Section 3, we will show the following τv results Theorem Let a =,, be a vector such that,,, < 0, and a,, > 0 Denote by V a the quartic in P given by a É 0x x = 0 Then, for each ε > 0 there exists a constant Cε > 0 such that τv a Cε H naive ε Corollary Fundamental Finiteness For each B > 0, there are only finitely many quartics V a : x x = 0 in P É such that < 0, a,, > 0, and τv a > B Corollary An inefficient search bound There exists a monotonically decreasing function S : 0, [0,, the search bound, satisfying the following condition Every quartic V a : x x = 0 such that < 0 and a,, > 0 admits, if V a É, already a É-rational oint of height SτV a Proof One may simly ut St := max τv a t V a É min P V a É hp In other words, we have mv a SτV a as soon as V a É 3
4 2 A negative result For a Æ, let V a P É be given by ax = y + z + v + w and let mv a := min { H naive x : y : z : v : w x : y : z : v : w V a É} be the smallest height of a É-rational oint on V a We comare mv a with the Tamagawa tye number τ a := τv a 2 Notation For a rime number and integers y, z,, not all of which are equal to zero, we write gcd y, z, for the largest ower of dividing all of the y, z, 22 Theorem There is no constant C such that mv a < for all a Æ Proof The roof consists of several stes C τ a First ste For a, one has τ a = a I where I is an integral indeendent of a This follows immediately from formula above Second ste For the height of the smallest oint, we have mv a a x yields y + z + v + w a and max{ y, z, v, w } a Third ste There are two ositive constants C and C 2 such that, for all a Æ, C < τ a < C 2 >3, a For a rime of good reduction, Hensel s lemma shows τ V a = #V a 3 Further, for the number of oints on a non-singular variety over a finite field, there are excellent estimates rovided by the Weil conjectures, roven by P Deligne In our situation, [De, Théorème 8] may be directly alied It shows #V a = E a with an error-term E a 60 3/2 Note that dim H 3 V, Ê = 60 for every smooth quartic threefold V in P Consequently, 60 / + 60 / 3/2 side is ositive for > 3 resectively + 60 / is convergent 3/2 τ a Here, the left hand 3/2 The infinite roduct over all 60 / 3/2 Fourth ste There is a sequence {a i } i Æ of natural numbers such that { } τ 3 or a i a i i Æ
5 is unbounded Let C Ê be given We will show that 3 or a τ a > C when a := r is a roduct of sufficiently many different rimes i 3 mod fulfilling a mod M for M := Let be a rime such that a We made sure that a Then, for any oint x : y : z : v : w V a / n, the assumtion y, z, v, w would imly ax and x Therefore, gcd y, z, v, w = Further, y + z + v + w 0 mod As 3 mod, the number of solutions of that congruence is the same as that of y 2 +z 2 +v 2 +w 2 0 mod Since remains rime in [i], this quadratic form is a direct sum of two norm forms Its number of zeroes in is therefore equal to gcd y, z, v, w = imlies that Hensel s lemma is alicable It shows #V a / n = n + 2 3n n = 3n Hence, τ a = = + We may consequently write r τ a = + τ i 2 i 3 a i 3 or a i= 3 The second roduct is over = 2 and a finite number of rimes of good reduction The value of the roduct deends only on the residue of a modulo M = by virtue of [EJ2, Lemma 3a and bii] In articular, our assumtion a mod M imlies T := 3 τ a is a constant It is clear that T > 0 as the equation x = y + z + v + w admits a non-zero solution in /m for any m > It remains to show that there exists a set {,, r } of rimes i 3 mod such that i > 3, + r i= and r mod M + i 2 i 5 C 3 i T,
6 Condition + is easily satisfied as the series 3 mod diverges We find a set {,, s } of rime numbers i > 3 of the form i 3 mod such that s i= + i 2 i 3 i C T Enlarging {,, s } makes that roduct even bigger We may therefore assume s 3 mod The numbers M and s are relatively rime By Dirichlet s rime number theorem, there exists a rime s+, larger than each of the,, s, such that s+ mod M This shows, in articular, s+ 3 mod The assertion follows Conclusion The four stes together show that mv a τ a is unbounded 3 The fundamental finiteness roerty 3 An estimate for the factors at the finite laces 3 Notation i For a rime number and an integer x 0, we ut x := νx Note x = / x for the normalized -adic valuation ii By utting νx := min νξ, we carry the -adic valuation from over ξ to / r x=ξ mod r Note that any 0 x / r has the form x = ε νx where ε / r is a unit Clearly, ε is unique only in the case νx = 0 32 Definition For,, 5, r Æ, and ν 0,,ν r, ut S r ν 0,,ν ;,, := {x 0,,x / r 5 νx 0 = ν 0,,νx = ν ; x x = 0 / r } For the articular case ν 0 = = ν = 0, we will write Z r,, := S r 0,,0;,, Ie, Z r,, = {x 0,,x [ / r ] 5 x x = 0 /r } We will use the notation z r,, := #Z r,, 33 Sublemma If k,, and r > k then we have z r,, = 5k z r k / k,, / k Proof Since x x = k / k x / k x, there is a surjection ι: Z r,, Z r k / k,, / k, given by x 0,,x x 0 mod r k,,x mod r k The kernel of the homomorhism of modules underlying ι is r k / r 5 6
7 3 Lemma Assume gcd,, = k Then, there is an estimate z r,, 8 r+k Proof Suose first that k = 0 This means, one of the coefficients is rime to Without restriction, assume For any x,,x / r, there aears an equation of the form x 0 = c For odd, it cannot have more than four solutions in / r as this grou is cyclic On the other hand, in the case = 2, we have /2 r = /2 r 2 /2 and u to eight solutions are ossible The general case follows directly from Sublemma 33 Indeed, if k < r then z r,, = 5k z r k / k,, / k 5k 8 r k = 8 r+k On the other hand, if k r then the assertion is comletely trivial since z r,, = #Z r,, < 5r r+k < 8 r+k 35 Remark The roof shows that in the case 2 the same inequality is true with coefficient instead of 8 If 3 mod then one could even reduce the coefficient to 2 Unfortunately, these observations do not lead to a substantial imrovement of our final result 36 Lemma Let r Æ and ν 0,,ν r Then, #S ν r 0,,ν ;,, = zr ν 0,, ν ϕ r ν 0 ϕ r ν ϕ r 5 Proof As ν 0 x ν x = ν 0 x ν x, we have a surjection π: Z r ν 0,, ν S ν r 0,,ν ;,,, given by x 0,,x ν 0 x 0,, ν x For i = 0,,, consider the maing ι: / r / r, x 0 ν i x 0 If ν i = r then ι is the zero ma All ϕ r = r units are maed to zero Otherwise, observe that ι is ν i : on its image Further, νιx = ν i if and only if x is a unit By consequence, π is K ν 0 K ν : when we ut K ν := ν for ν r and K r := r Summarizing, we could have written K ν := ϕ r /ϕ r ν The assertion follows 37 Corollary Let,, \{0} 5 Then, for the local factor := τ V,,, one has τ,, τ,, = lim r r ν 0,,ν =0 z r ν 0,, ν ϕ r ν 0 ϕ r ν r ϕ r 5 7
8 Proof [PT, Corollary 35] imlies that τ,, = lim r r ν 0,,ν =0 #S r ν 0,,ν ;,, r Lemma 36 yields the assertion 38 Proosition Let,, \ {0} 5 Then, for each ε such that 0 < ε <, one has τ,, 8 Proof By Lemma 3, Writing k i := a i, we see ε a 0 a ε 3 ε z r ν 0,, ν / r 8 gcd ν 0,, ν = 8 gcd ν 0 a 0,, ν a z r ν 0,, ν / r 8 gcd ν 0+k 0,, ν +k = 8 min{ν 0+k 0,,ν +k } a We estimate the minimum by a weighted arithmetic mean with weights ε ε, and ε,, ε min{ν 0 + k 0,, ν + k } ε ν 0 + k ε ε ν 3 + k 3, ε, + εν + k This shows = εν ν 3 + εν + ε k k 3 + εk z r ν 0,, ν / r 8 εν 0++ν 3 +εν + ε k 0++k 3 +εk = 8 εν 0++ν 3 a +εν 0 a ε 3 a ε We may therefore write τ,, 8 a 0 a 3 r lim r ν 0,,ν =0 ε a ε εν 0++ν 3 +εν ϕ r ν 0 ϕ r ν ϕ r 5 8
9 Here, the term under the limit is recisely the roduct of four coies of the finite sum r ν=0 and one coy of the finite sum εν ϕ r ν ϕ r = r ν=0 ε + ν ε r r ν=0 εν ϕ r ν ϕ r = r ν=0 ε + ν ε r For r, geometric series do aear while the additional summands tend to zero 39 Remark Unfortunately, the constants C ε := 8 ε ε have the roerty that the roduct Cε diverges On the other hand, we have at least that C ε is bounded for, say C ε C ε 30 Lemma Let C > be any constant Then, for each ε > 0, one has C c x ε x for a suitable constant c deending on ε Proof This follows directly from [Na, Theorem 72] together with [Na, Section 7, Exercise 7] 3 Proosition For each ε > 0, there exists a constant c such that τ,, c min a i ε i=0,, rime for all,, \{0} 5 Proof As already noticed in the third ste of the roof of Theorem 22, the roduct over all rimes of good reduction is bounded by consequence of the Weil conjectures It, therefore, remains to show that,, c min a i ε i=0,, τ rime 2 For this, we may assume that ε is small, say ε < 9
10 Then, by Proosition 38, we have at first τ,, C ε = C ε a 0 a ε5 3 a 5 ε a 0 a 3 a ε5 a +ε Here, the indices 0,, are interchangeable Hence, it is even allowed to write τ,, a C ε 0 a ε5 max a +ε i = C ε a 0 a i ε5 min i a i ε Now, we multily over all rime divisors of 2 Thereby, on the right hand side, we may twice write the roduct over all rimes since the two rightmost factors are equal to one for, anyway,, ε a ε5 min a i ε i=0,, τ rime 2 C rime 2 ε C rime 2 = ε 5 min a i ε i=0,, when we observe that a = a Lemma 30, Further, we have C ε C ε c 2 2 We finally estimate 2 ε 5 by a constant The assertion follows ε 5 C ε and, by 32 A bound for the factor at the infinite lace := τ V,, described in Para- We want to estimate the integral τ,, grah 5 32 Lemma There exist two constants C and C 2 such that C min, 2 /, if, τ,, a0 a C min, 2 / + C 2 a / a0 a log min,3a, otherwise, for all,, Ê 5 satisfying a a 2 a 3 and Proof A linear substitution shows τ,, = dy dz dv dw a0 a y + z + v + w 3/ R 0 0
11 where R 0 := {y, z, v, w [ a /, a / ] [ a /, a / ] y + z + v + w } The integrand is non-negative We cover R 0 R R 2 by two sets as follows, R := {y, z, v, w Ê y + z + v + w min, 2 }, R 2 := {y, z, v, w Ê y + z + v min, 3a and w [ a /, a / ]}, and estimate In the case, the domain of integration is covered by R alone and we may omit R 2, comletely By homogeneity, we have R y + z + v + w 3/ dy dz dv dw = ω min,2 / 0 r 3 r3 dr = ω min, 2 / where ω is the three-dimensional hyersurface measure of the l -unit hyershere Further, R 2 where S := {y, z, v, w Ê y + z + v + w = } dy dz dv dw y + z + v + w 2a/ 3/ R 3 dy dz dv y + z + v 3/ R 3 := {y, z, v Ê 3 y + z + v min, 3a } The latter integral may be treated in much the same way as the one above We see R 3 y + z + v 3/ dy dz dv = ω 2 min,3a / a / r 3 r2 dr where ω 2 is the usual two-dimensional hyersurface measure of the l -unit shere Finally, min,3a / a / S 2 := {y, z, v Ê 3 y + z + v = } r 3 r2 dr = log min, 3a / a / = log min, 3a
12 322 Proosition For every ε > 0, there exists a constant C such that τ,, C +ε min i=0,, a i for each,, 5 satisfying < 0 and a,, > 0 Proof We assume without restriction that a There are two cases to be distinguished First case Then, by Lemma 32, we have τ,, C min{, 2 } = C a0 = C min i=0,, a i Second case > Here, Lemma 32 shows τ,, = a C min{, 2 } + C2 a / C 2 + C2 a / log C 2 + C2 log log min{, 3a } = min a i C 2 + C2 log a 0 i=0,, min i=0,, a i C 2 + C2 log min i=0,, a i C 3 ε 33 The Tamagawa number 33 Proosition For every ε > 0, there exists a constant C > 0 such that τ C Hnaive,, ε for each,, 5 satisfying < 0 and a,, > 0 Proof By Proosition 322, we have τ,, C + ε 2 min i=0,, a i 2
13 On the other hand, by Theorem 3, It follows that rime τ,, τ,, C 3 ε 2 and C 2 τ,, C 3 It is obvious that max This shows ε 2 min a i i=0,, min a i min a i i=0,, i=0,, [ rime [ ] [ ] min i min a i rime i=0,, i=0,, [ ε 2 min a ] ε 2 i i=0,, = max rime i=0,, a i max i=0,, a i C 3 [ ] ε ε 2 2 = H naive a 0 C 3 [ ε 2 i=0,, a i τ,, C 3 a 0 a and max i=0,, a i max i=0,, a i a ] ε 2 H naive ε 2 ε 2 ] min a i i=0,, ε 2 0 a = = Hnaive C 3 ε 332 Lemma Let P É be any oint such that 0,, 0 Then, H naive H naive Proof First, observe that is a welldefined ma Hence, we may assume without restriction that,, and gcd,, = This yields H naive = max a i i=0,, 3
14 On the other hand, = a a 2 a 3 a a 2 a 3 Consequently, H naive [ max i=0,, a i ] = H naive are inter- From this, the asserted inequality emerges when the roles of a i and a i changed 333 Corollary Let,, such that gcd,, = Then, H naive 20 Proof Observe that max a i 5 = H naive 5 and aly i=0,, Lemma Theorem For each ε > 0, there exists a constant Cε > 0 such that, for all,, 5 satisfying < 0 and a,, > 0, τ Cε H,, naive ε Proof We may assume that gcd,, = Then, by Proosition 33, τ C Hnaive,, ε 20 Corollary 333 yields ε 20 H naive ε 335 Corollary Fundamental finiteness For each B > 0, there are only finitely many quartics V,, : x x = 0 in P É such that < 0, a,, > 0, and τ,, > B Proof This is an immediate consequence of the comarison to the naive height established in Theorem 33 References [Ca] Cassels, J W S: Bounds for the least solutions of homogeneous quadratic equations, Proc Cambridge Philos Soc 5 955, [De] Deligne, P: La conjecture de Weil I, Publ Math IHES 3 97, [EJ] Elsenhans, A-S and Jahnel, J: The Diohantine equation x + 2y = z + w, Math Com ,
15 [EJ2] [Na] [Si] [Pe] [PT] Elsenhans, A-S and Jahnel, J: The Asymtotics of Points of Bounded Height on Diagonal Cubic and Quartic Threefolds, Algorithmic number theory, Lecture Notes in Comuter Science 076, Sringer, Berlin 2006, Nathanson, M B: Elementary methods in number theory, Graduate Texts in Mathematics 95, Sringer, New York 2000 Siegel, C L: Normen algebraischer Zahlen, Nachr Akad Wiss Göttingen, Math- Phys Kl II , Peyre, E: Hauteurs et mesures de Tamagawa sur les variétés de Fano, Duke Math J , 0 28 Peyre, E and Tschinkel, Y: Tamagawa numbers of diagonal cubic surfaces, numerical evidence, Math Com ,
Experiments with general cubic surfaces
Experiments with general cubic surfaces Andreas-Stephan Elsenhans and Jörg Jahnel Dedicated to Yuri Ivanovich Manin on the occasion of his 70th birthday Abstract For general cubic surfaces, we test numerically
More informationOn 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 informationGOOD 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 informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
More informationRational points on diagonal quartic surfaces
Rational points on diagonal quartic surfaces Andreas-Stephan Elsenhans Abstract We searched up to height 10 7 for rational points on diagonal quartic surfaces. The computations fill several gaps in earlier
More informationMATH 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 informationThe 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 informationARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER
#A43 INTEGERS 17 (2017) ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.edu
More informationCERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationON 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 informationOn 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 informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More informationIntroduction 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 informationRepresenting 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 informationMA3H1 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 informationElementary 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 informationx 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 informationMath 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 informationRECIPROCITY 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#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationAlmost 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 informationDIVISIBILITY 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 informationAn 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 informationMath 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 informationA FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE
International Journal of Mathematics & Alications Vol 4, No 1, (June 2011), 77-86 A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE ARPAN SAHA AND KARTHIK C S ABSTRACT: In this aer, we rove a few lemmas
More informationAnalysis of some entrance probabilities for killed birth-death processes
Analysis of some entrance robabilities for killed birth-death rocesses Master s Thesis O.J.G. van der Velde Suervisor: Dr. F.M. Sieksma July 5, 207 Mathematical Institute, Leiden University Contents Introduction
More information#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 informationAn 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 informationJonathan Sondow 209 West 97th Street, New York, New York
#A34 INTEGERS 11 (2011) REDUCING THE ERDŐS-MOSER EQUATION 1 n + 2 n + + k n = (k + 1) n MODULO k AND k 2 Jonathan Sondow 209 West 97th Street, New York, New York jsondow@alumni.rinceton.edu Kieren MacMillan
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationQUADRATIC 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 informationarxiv: v1 [math.nt] 4 Nov 2015
Wall s Conjecture and the ABC Conjecture George Grell, Wayne Peng August 0, 018 arxiv:1511.0110v1 [math.nt] 4 Nov 015 Abstract We show that the abc conjecture of Masser-Oesterlé-Sziro for number fields
More informationRAMANUJAN-NAGELL CUBICS
RAMANUJAN-NAGELL CUBICS MARK BAUER AND MICHAEL A. BENNETT ABSTRACT. A well-nown result of Beuers [3] on the generalized Ramanujan-Nagell equation has, at its heart, a lower bound on the quantity x 2 2
More informationA 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 informationON 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 informationWeil 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 informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationAlgebraic 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 informationCONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION
CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer, we rove arithmetic roerties modulo 5 7 satisfied by the function odn which denotes the
More informationQUADRATIC 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 informationANALYTIC 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 informationAN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES. 1. Introduction
J. Al. Math. & Comuting Vol. 20(2006), No. 1-2,. 485-489 AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES BYEONG-KWEON OH, KIL-CHAN HA AND JANGHEON OH Abstract. In this aer, we slightly
More informationVerifying Two Conjectures on Generalized Elite Primes
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 12 (2009), Article 09.4.7 Verifying Two Conjectures on Generalized Elite Primes Xiaoqin Li 1 Mathematics Deartment Anhui Normal University Wuhu 241000,
More informationPOINTS 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 informationMATH 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 informationMATH 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#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.
#A6 INTEGERS 15A (015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I Katalin Gyarmati 1 Deartment of Algebra and Number Theory, Eötvös Loránd University and MTA-ELTE Geometric and Algebraic Combinatorics
More informationSums 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 informationPETER J. GRABNER AND ARNOLD KNOPFMACHER
ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More informationSQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015
SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015 1. Squarefree values of olynomials: History In this section we study the roblem of reresenting square-free integers by integer olynomials.
More informationOn Erdős and Sárközy s sequences with Property P
Monatsh Math 017 18:565 575 DOI 10.1007/s00605-016-0995-9 On Erdős and Sárközy s sequences with Proerty P Christian Elsholtz 1 Stefan Planitzer 1 Received: 7 November 015 / Acceted: 7 October 016 / Published
More informationSUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS
SUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS YOTAM SMILANSKY Abstract. In this work we show that based on a conjecture for the air correlation of integers reresentable as sums
More informationMAS 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 informationSmall 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 informationMarch 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011
International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,
More informationHENSEL 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 informationMATH342 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 informationDIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS. 1. Introduction
DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS INNA ZAKHAREVICH. Introduction It is a well-known fact that there are infinitely many rimes. However, it is less clear how the rimes are distributed
More informationIMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES
IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists
More informationSolvability 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 informationMobius 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 informationTHE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT
THE 2D CASE OF THE BOURGAIN-DEMETER-GUTH ARGUMENT ZANE LI Let e(z) := e 2πiz and for g : [0, ] C and J [0, ], define the extension oerator E J g(x) := g(t)e(tx + t 2 x 2 ) dt. J For a ositive weight ν
More informationAsymptotically exact heuristics for prime divisors of the sequence {a k +b k } k=1
arxiv:math/03483v [math.nt] 26 Nov 2003 Asymtotically exact heuristics for rime divisors of the sequence {a k +b k } k= Pieter Moree Abstract Let N (x count the number of rimes x with dividing a k + b
More informationA supersingular congruence for modular forms
ACTA ARITHMETICA LXXXVI.1 (1998) A suersingular congruence for modular forms by Andrew Baker (Glasgow) Introduction. In [6], Gross and Landweber roved the following suersingular congruence in the ring
More informationOn p-adic elliptic logarithms and p-adic approximation lattices
On -adic ellitic logarithms and -adic aroximation lattices Christian Wuthrich Aril 6, 006 Abstract Let E be an ellitic curve over Q and let be a rime number. Based on numerical evidence, we formulate a
More informationDISCRIMINANTS 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 informationQUADRATIC 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 informationarxiv: v4 [math.nt] 11 Oct 2017
POPULAR DIFFERENCES AND GENERALIZED SIDON SETS WENQIANG XU arxiv:1706.05969v4 [math.nt] 11 Oct 2017 Abstract. For a subset A [N], we define the reresentation function r A A(d := #{(a,a A A : d = a a }
More informationThe Fekete Szegő theorem with splitting conditions: Part I
ACTA ARITHMETICA XCIII.2 (2000) The Fekete Szegő theorem with slitting conditions: Part I by Robert Rumely (Athens, GA) A classical theorem of Fekete and Szegő [4] says that if E is a comact set in the
More informationApplicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS
Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi
More informationAlmost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)
Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths
More informationDIRICHLET 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 informationHASSE 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 information1 Integers and the Euclidean algorithm
1 1 Integers and the Euclidean algorithm Exercise 1.1 Prove, n N : induction on n) 1 3 + 2 3 + + n 3 = (1 + 2 + + n) 2 (use Exercise 1.2 Prove, 2 n 1 is rime n is rime. (The converse is not true, as shown
More informationLARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS
LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS HELMUT MAIER AND MICHAEL TH. RASSIAS Abstract. We rove a modification as well as an imrovement
More informationInfinitely Many Insolvable Diophantine Equations
ACKNOWLEDGMENT. After this aer was submitted, the author received messages from G. D. Anderson and M. Vuorinen that concerned [10] and informed him about references [1] [7]. He is leased to thank them
More information3 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 informationSets of Real Numbers
Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact
More informationTHE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4
THE LEAST PRIME QUADRATIC NONRESIDUE IN A PRESCRIBED RESIDUE CLASS MOD 4 PAUL POLLACK Abstract For all rimes 5, there is a rime quadratic nonresidue q < with q 3 (mod 4 For all rimes 3, there is a rime
More information#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS
#A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom
More information1. Introduction. Mathematisches Institut, Seminars, (Y. Tschinkel, ed.), p Universität Göttingen,
Mathematisches Institut, Seminars, (Y. Tschinkel, ed.), p. 203 209 Universität Göttingen, 2004-05 THE DIOPHANTINE EQUATION x 4 + 2y 4 = z 4 + 4w 4 A.-S. Elsenhans J. Jahnel Mathematisches Institut, Bunsenstr.
More informationarxiv: v2 [math.nt] 9 Oct 2018
ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev
More informationDiophantine 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 informationAlgebraic 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 informationWhen do Fibonacci invertible classes modulo M form a subgroup?
Calhoun: The NPS Institutional Archive DSace Reository Faculty and Researchers Faculty and Researchers Collection 2013 When do Fibonacci invertible classes modulo M form a subgrou? Luca, Florian Annales
More informationPiotr Blass. Jerey Lang
Ulam Quarterly Volume 2, Number 1, 1993 Piotr Blass Deartment of Mathematics Palm Beach Atlantic College West Palm Beach, FL 33402 Joseh Blass Deartment of Mathematics Bowling Green State University Bowling
More informationFrobenius 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 informationChapter 2 Arithmetic Functions and Dirichlet Series.
Chater 2 Arithmetic Functions and Dirichlet Series. [4 lectures] Definition 2.1 An arithmetic function is any function f : N C. Examles 1) The divisor function d (n) (often denoted τ (n)) is the number
More informationA 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 informationA SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS
A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS ANDREW BAKER Abstract. Let > 3 be a rime. In the ring of modular forms with q-exansions defined over Z (), the Eisenstein function E +1 is shown to satisfy
More informationCOMMUNICATION BETWEEN SHAREHOLDERS 1
COMMUNICATION BTWN SHARHOLDRS 1 A B. O A : A D Lemma B.1. U to µ Z r 2 σ2 Z + σ2 X 2r ω 2 an additive constant that does not deend on a or θ, the agents ayoffs can be written as: 2r rθa ω2 + θ µ Y rcov
More informationPractice Final Solutions
Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence
More informationMAZUR 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 information2 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 informationarxiv: v2 [math.nt] 11 Jun 2016
Congruent Ellitic Curves with Non-trivial Shafarevich-Tate Grous Zhangjie Wang Setember 18, 018 arxiv:1511.03810v [math.nt 11 Jun 016 Abstract We study a subclass of congruent ellitic curves E n : y x
More information2 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 informationMAT 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