Periods of quadratic twists of elliptic curves
|
|
- Cuthbert Patrick
- 5 years ago
- Views:
Transcription
1 Perios of quaratic twists of elliptic curves Vivek Pal with an appenix by Amo Agashe Abstract In this paper we prove a relation between the perio of an elliptic curve an the perio of its real an imaginary quaratic twists. This relation is often misstate in the literature. 1 Introuction One of the central conjectures in Number Theory is the Birch an Swinnerton- Dyer Conjecture, which preicts how one can obtain arithmetic information from the L-function. A simpler question, is to ask: (*) If an elliptic curve satisfies the Birch an Swinnerton-Dyer Conjecture then will its (quaratic) twist also satisfy the Birch an Swinnerton-Dyer Conjecture? Part two of the Birch an Swinnerton-Dyer Conjecture involves many elliptic curve invariants, namely the orer of the Tate-Shafarevich group, the perio an the orer of the torsion subgroup among other important invariants. In this paper we relate the perio of an elliptic curve with the perio of its quaratic twists. A relation between the orers of the torsion subgroups has alreay been proven in [Kwo97]. If a similar result can be rawn for all of the other elliptic curve invariants involve in Part II of the Birch an Swinnerton-Dyer Conjecture then one can prove iea (*). Furthermore, a relation between the arithmetic component group an the regulator, of an elliptic curve an its twist woul provie a conjecture for the relation between the orer of the Shafarevich-Tate group for an elliptic curve an its twist. One avantage of iea (*) comes from the fact that quaratic twists of elliptic curves have very ifferent ranks from the original curve. Currently Part two of the Birch an Swinnerton-Dyer Conjecture is only known to be true for families of elliptic curves, usually of low rank; using twists one coul possibly exten these results to many ifferent ranks. Floria State University, the author was fune by the FSU Office of National Fellowships Amo Agashe was supporte by the National Security Agency Grant number Hg
2 In general if F is an elliptic curve, then we enote the invariant ifferential on F by ω(f ). We will call a global minimal Weierstrass equation of an elliptic curve simply a minimal equation or minimal moel, an enote a minimal moel of an elliptic curve F by F min. Let E be an elliptic curve. We use the Birch an Swinnerton-Dyer efinition of the perio. Recall that this perio, enote by Ω(E), is efine as: Ω(E) := ω(e min ). E min(r) Also, recall that the imaginary perio, efine up to a sign, is Ω (E) := ω(e min ), γ where γ is a generator of H 1 (E min, Z), which is the subgroup of elements in H 1 (E min, Z) which are negate by complex conjugation. Furthermore, recall that the quaratic twist of an elliptic curve E by a nonzero integer, enote by E, is efine as an elliptic curve which is isomorphic to E over Q( ) but not over Q. Hence we can assume that is square-free. We also know that E is unique up to isomorphism. The main result of this paper is then Main Result 1.1. Let E be an elliptic curve an let E enote its quaratic twist by a square-free integer. Then the perios of E an E are relate as follows: If > 0, then Ω(E ) = ũ Ω(E), an if < 0, then up to a sign, Ω(E ) = ũ c (E )Ω (E), where c (E ) is the number of connecte components of E (R) an ũ is a rational number such that ũ Z; it epens on E an, an is efine explicitly in Proposition.5 (the elliptic curve E in Proposition.5 shoul be taken as a minimal moel of the E in this theorem). The main result above is prove as Theorem 3. below. Remark 1.. ũ is not always 1 an ũ can be ivisible by an o prime number. In Section 4, we give an example where ũ is 5 an an example where ũ is 7. Also, in the last paragraph of the appenix (Section 5), there is an example of an optimal elliptic curve for which ũ has positive 3-aic valuation. A result similar to the secon case of the theorem above was erive in [Aga10, Lemma.1] for elliptic curves in short Weierstrass form using an assumption on which primes one can twist by. The result here is prove without restrictions.
3 The main result of this paper allows for a weaker hypothesis for several results in [Aga10]; the etails are iscusse in the appenix. We woul like to remark that the formulas in the Main Result have been state incorrectly in the literature. For example, Amo Agashe informe the author that they are quote without ũ as formula (1) on p. 463 in the proof of Corollary 3 in [OS98]; he also mentione that the proof of Corollary 3 in [OS98] still works even after the formula is correcte to inclue ũ. The author woul like to thank Amo Agashe for suggesting this problem an for his help in revising several rafts of this paper. Furthermore the reference to Connell s book [Con08] was mentione to the author by Amo Agashe, who in turn hear about it from Rany Heaton. Quaratic Twists an Minimal Moels First we recall some useful facts. An elliptic curve over Q can be escribe in the following general Weierstrass form: y + a 1 xy + a 3 y = x 3 + a x + a 4 x + a 6, with a 1, a, a 3, a 4, a 6 Q. In this paper, by an elliptic curve, we mean a curve given by a Weierstrass equation. An elliptic curve will be calle minimal if its Weierstrass equation is minimal. Let E be an elliptic curve, an let (E), j(e), c 4 (E) an c 6 (E) be the usual Weierstrass invariants of the elliptic curve E. Then the signature of the elliptic curve E is the triple c 4 (E), c 6 (E), (E). If p is a prime, then letting v p enote the stanar p-aic valuation, the p-aic signature of E is the triple v p (c 4 (E)), v p (c 6 (E)), v p ( (E)). Remark.1. A transformation E E of elliptic curves over Q preserving the Weierstrass equation an the point at infinity is given by: x = u x + r an y = u 3 y + u sx + t, for some u, r, s, t Q. We will often abbreviate this transformation as the orere tuple [u, r, s, t]. Such a transformation has the following useful properties: 1. u 4 c 4 (E ) = c 4 (E). u 6 c 6 (E ) = c 6 (E) 3. u 1 (E ) = (E) 4. j(e ) = j(e) 5. ω(e ) = uω(e) 3
4 The above facts can be foun in any stanar book on elliptic curves, for example see Silverman [Sil9]. Since the perio of an elliptic curve epens only on the isomorphism class, for the purpose of proving Main Result 1.1 or for computing Ω(E), we can assume that E is a minimal moel, i.e. E = E min. So henceforth, let E be an elliptic curve given by the minimal equation: y + a 1 xy + a 3 y = x 3 + a x + a 4 x + a 6. (E) Lemma. (Connell). Let be a square-free integer. equation for E is: Then a Weierstrass y + a 1 xy + a 3 y = (E ) ( ) ( = x 3 + a + a 1 1 x + a 4 ) ( 1 + a 1 a 3 x + a a 3 ) Proof. See [Con08, Proposition 4.3.] an the paragraph preceing it. Remark.3. The signature for elliptic curve (E ) is: c 4 (E ) = c 4 (E), c 6 (E ) = c 6 (E) 3 an (E ) = (E) 6. Let α = 1/. Then the transformation from E to E is: x = α x y = α 3 y + a 1α (α 1) x + a 3(α 3 1). Next we recall a proposition from Connell which is isplaye below for convenience. It escribes v p ( ) for a minimal moel of the twist for each prime p. Proposition.4 (Connell). Recall that E is a minimal elliptic curve over Q an E is its quaratic twist by a square-free integer. Let be the iscriminant of E, let be the iscriminant of Emin, an for every valuation v on Z let λ v = min{3v(c 4 (E)), v(c 6 (E)), v( )}. If p is a prime number, then let v p enote the stanar p-aic valuation. Then 1. If p is an o prime ivisor of then: (a) If λ vp < 6 or if p = 3 an v p (c 6 (E)) = 5, then v p ( ) = v p ( ) + 6. (b) Otherwise v p ( ) = v p ( ) 6. If p is an o prime not iviing, then v p ( ) = v p ( ).. If p = then: (a) If 1 mo 4, then v ( ) = v ( ). (b) If 3 mo 4, then 4
5 i. If the -aic signature of E is 0, 0, c (c 0) or a, 3, 0 (4 a ), then v ( ) = v ( ) + 1. ii. If the -aic signature of E is 4, 6, c (c 1 an 6 c 6 (E) 1 mo 4) or a, 9, 1 (a 8 an 9 c 6 (E) 1 mo 4), then v ( ) = v ( ) 1. iii. Otherwise v ( ) = v ( ). (c) If mo 4, let w = / then i. If the -aic signature of E is 0, 0, c (c 0), then v ( ) = v ( ) ii. If the -aic signature of E is 6, 9, c with (c 18) an 9 c 6 (E)w 1 mo 4, then v ( ) = v ( ) 18. iii. If v (c 4 (E)) = 4, 5 or v (c 6 (E)) = 3, 5, 7 or the -aic signature of E is a, 6, 6 with (a 6) an 6 c 6 (E)w 1 mo 4, then v ( ) = v ( ) + 6. iv. Otherwise v ( ) = v ( ) 6. Proof. This proposition is the correcte form of [Con08, 5.7.3], which is misstate in Connell s book. The proof given by Connell in [Con08, 5.7.1] is however correct. This was pointe out to the author by the referee. Proposition.5. Recall that E is a minimal elliptic curve over Q an E is its quaratic twist by a square-free integer. Let be the iscriminant of E, let be the iscriminant of Emin, an for every valuation v on Z, let λ v = min{3v(c 4 (E)), v(c 6 (E)), v( )}. If p is a prime number, then let v p enote the stanar p-aic valuation. Define u p for all primes p, as follows (the cases correspon exactly to the cases of Proposition.4): 1. If p is an o prime ivisor of, then: (a) If λ vp < 6 or if p = 3 an v p (c 6 (E)) = 5, then u p = 1. (b) Otherwise u p = p. If p is an o prime not iviing, then u p = 1.. If p = then: (a) If 1 mo 4, then u = 1. (b) If 3 mo 4, then i. If the -aic signature of E is 0, 0, c (c 0) or a, 3, 0 (4 a ), then u = 1/. ii. If the -aic signature of E is 4, 6, c (c 1 an 6 c 6 (E) 1 mo 4) or a, 9, 1 (a 8 an 9 c 6 (E) 1 mo 4), then u =. iii. Otherwise u = 1. (c) If mo 4, let w = /, then 5
6 i. If the -aic signature of E is 0, 0, c (c 0), then u = 1/. ii. If the -aic signature of E is 6, 9, c with (c 18) an 9 c 6 (E)w 1 mo 4, then u = 4. iii. If v (c 4 (E)) = 4, 5 or v (c 6 (E)) = 3, 5, 7 or the -aic signature of E is a, 6, 6 with (a 6) an 6 c 6 (E)w 1 mo 4, then u = 1. iv. Otherwise u =. Let ũ = p u p. Then there exist r, s, t Q such that the transformation [ũ, r, s, t] will transform equation E to a minimal moel. Proof. The iea of the proof is to apply Proposition.4 to the elliptic curve E an then to fin a transformation sening E to a minimal moel. We claim that [ũ, 0, 0, 0] transforms E to a curve with the correct minimal iscriminant. This follows on a case by case basis using Proposition.4, Remark.3, an Remark.1. Take for example the case 1(b): this is the case where, by Proposition.4, v p ( (Emin )) = v p( (E)) 6. By Remark.3, we know that v p ( (E )) = v p ( 6 (E)) = v p ( (E)) + 6, since in this case, p ivies (an is square-free). Therefore v p ( (Emin )) = v p( (E )) 1. The transformation which will ecrease the valuation of the iscriminant by 1 is [p, 0, 0, 0] by Remark.1; hence proving the Proposition in this case. Applying a similar process to the other cases will erive the respective u p. Since the u p s are coprime to each other, composing the transformations [u p, 0, 0, 0] will give the transformation [ũ, 0, 0, 0]. Thus the transformation, [ũ, 0, 0, 0], will sen E to an elliptic curve E with the correct minimal iscriminant, but which may not have integer coefficients. We will now show that we can fin r, s, t R so that the transformation [ũ, r, s, t] applie to E also gives an integral moel for E, an therefore a minimal moel. Since Emin = E, we know that there is a transformation [u, r, s, t] that sens E to Emin [Sil9, Cor ]. By comparing iscriminants we see that u = ±1; we can assume u = 1 since we can compose this morphism with [ 1, 0, 0, 0] to change the sign of u. Composing the morphism [ũ, 0, 0, 0] with [1, r, s, t] gives the esire morphism, [ũ, r, s, t], sening E to Emin. For the benefit of the reaer we remark that often the transformation [ũ, 0, 0, 0] will in fact transform E to an equation with integral coefficients, hence a minimal moel, but for our purposes only the u coefficient of the transformation will play a role later. Corollary.6. We use the notation of Proposition.5. Suppose is coprime to. Then ũ is a power of. Moreover if 1 mo 4, then ũ = 1. Proof. Let p be an o prime. If p oes not ivie, then by Proposition.5, u p = 1. If p ivies, then v p ( ) = 0 since is coprime to, an so λ vp < 6, an thus by Proposition.5, u p = 1. In both cases, u p = 1 for o primes, which proves the first claim of the corollary.. If 1 mo 4, then by Case (a) Proposition.5 u = 1. The secon claim of the corollary follows, since ũ = p u p = 1 6
7 Definition.7. We efine Emin to be the specific minimal moel of elliptic curve E obtaine via Proposition.5. 3 Perios We first prove a relation between the invariant ifferentials of E an E min an then use this relation to prove the esire relation between the perios in our main result. Lemma 3.1. We have: an ω(e ) = ω(e) ω(e min) = ũ ω(e). Proof. Using the properties liste in Remarks.1 an.3 regaring transformations, the transformation taking E to E has u = α = 1/. Then by Remark.1, ω(e ) = ω(e). By Proposition.5, the transformation taking E to E min has u = ũ. Then ω(e min ) = ũ ω(e ) = ũ ω(e). We now prove the main result relating the perios. Theorem 3.. Recall that E is a minimal elliptic curve an E is its quaratic twist by. Then the perios of E an E are relate as follows If > 0, then Ω(E ) = ũ Ω(E). If < 0, then up to a sign, Ω(E ) = ũ c (E )Ω (E), where c (E ) is the number of connecte components of E (R). Proof. We first prove the formula for > 0: As remarke in the proof of Lemma 3.1, the transformation that takes E to E takes ω(e) to ω(e ). This transformation sens E(R) bijectively to E (R) because the transformation an its inverse are efine over R (since > 0). Then: ω(e) = ω(e ). (3.1) E (R) E(R) Using a similar argument we see that: 7
8 E (R) ω(e ) = 1 ũ E min (R) ω(e min). (3.) Then from equation (3.1) an equation (3.) we see that: Ω(E) = ω(e) = ũ Ω(E ). E(R) Next we prove the formula for < 0: We follow the technique use in the proof of [Aga10, Lemma.1]. Let P = (x, y) E(R) an let σ be the complex conjugation map; then σ(p ) = P. The inverse of the map escribe in Remark.3 is given by: x = 1 α x y = 1 α 3 y a 1 ( 1 α 1 ) α 3 x a 3 (1 1α ) 3 where α = 1/. Let T be this map, T : E E. Claim: σ(t (P )) = T (P ). Proof. (( 1 σ(t (P )) = σ α x, 1 α 3 y a ( 1 1 α 1 ) α 3 x a 3 (1 1α ))) 3 = ( 1 1 = x, α α 3 y a ( 1 1 α + 1 ) α 3 x a 3 (1 + 1α )) 3. Using the efinition of the negative of a point on an elliptic curve, given in [Sil9, III..3]: ( 1 T (P ) = α x, 1 α 3 y a ( 1 1 α 1 ) α 3 x a 3 (1 1α )) 3 = ( ( 1 1 = α x, α 3 y a ( 1 1 α 1 ) α 3 x a 3 (1 1α )) ( ) ) 1α 3 a 1 x a 3 ( 1 1 = x, α α 3 y a ( 1 1 α + 1 ) α 3 x a 3 (1 + 1α )) 3. Then we see that σ(t (P )) = T (P ). Thus T gives a homeomorphism from E (R) to E(C), where E(C) is the subgroup of points not fixe uner complex conjugation. If G is a Lie group, then let G 0 enote the connecte component of G containing the ientity. Then T also inuces a homeomorphism from E (R) 0 to E(C) 0. 8
9 In particular, T gives an isomorphism from H 1 (E (R) 0, Z) to H 1 (E(C) 0, Z). By Lemma 4.4 in [AS05], the natural map from H 1 (E (R) 0, Z) to H 1 (E (C), Z) + is an isomorphism, an by Lemma 5. from the appenix (Section 5), the natural map from H 1 (E (C) 0, Z) to H 1(E (C), Z) is an isomorphism. Let γ be a generator of H 1 (E (C), Z) +. Then from the statements above, one sees that T (γ) is in H 1 (E(C), Z) an generates it. Then it follows that γ ω(e ) = T (γ) T (ω(e )) = 1 where the last equality is up to a sign. Similar to equation (3.) we have, E (R) ω(e ) = 1 ũ T (γ) ω(e) = 1 Ω (E), (3.3) E min (R) ω(e min), (3.4) since the transformation in this integral involves only real numbers it takes E (R) to Emin (R). Using equation (5.1) from the appenix an equation (3.4), we see that up to a sign, Ω(E ) = ω(emin) = ũ ω(e ). (3.5) Emin (R) E (R) The proof of Lemma 5.1 from the appenix shows that ω(e ) = c (E ) ω(e ). (3.6) E (R) Putting equation (3.6) in equation (3.5), we see that up to a sign: Ω(E ) = ũ c (E ) ω(e ) = ũ c (E ) Ω (E), γ where the last equality follows from equation (3.3). This finishes the proof for the case < 0 an proves the theorem. 4 Examples 4.1 Real quaratic twist Using Sage an GP/Pari we were able to fin the following example in which the ũ in Theorem 3. is 5. Let E be the following elliptic curve which is minimal. E : y = x 3 x 6883x + 137, γ 9
10 By Proposition.5, twisting E by = 5 falls in cases 1(b) an (a), an so ũ = 5. Then by Theorem 3., Ω(E )/Ω(E) = 5 5 = 5. We now try to verify this in GP/Pari. Using Lemma., we compute the twist by = 5 to be E : y = x 3 5x 17075x Using the comman ellminimalmoel in GP/Pari we see that one of the minimal moels for E is then y = x 3 + x 75x For an elliptic curve E we can compute the perios in GP/Pari using the comman E.omega[1]. Remark 4.1. The perio compute this way is similar to the perio we use, but instea of using a minimal moel it is efine as ω(e), where γ is a generator γ of H 1 (E(C), Z) +. Therefore we have to first compute a minimal moel for E, use that to compute the perio in GP/Pari, an then multiply the result by c (E), the number of connecte components, to get the perio we esire. We can see that both E an E have only one connecte component, by either plotting them or noticing that they both have negative iscriminants, thus c (E) = c (E ) = 1. Then one fins that Ω(E ) = Ω(E min) So Ω(E )/Ω(E) 5, as expecte. Ω(E) How the complex perio of GP/Pari relates to the imaginary perio efine above. Recall that the imaginary perio is efine up to a sign as Ω (E) = ω(e), where γ is a generator of H 1 (E min, Z). It will be a pure imaginary number since, if σ enotes complex conjugation σ(ω (E)) = σ(ω(e)) = ω(e) = Ω (E). σ(γ) The secon equality hols since ω(e) is efine over R (in fact over Q) an because σ(γ) = γ. The complex perio compute by GP/Pari (using the comman E.omega) is in general not a pure imaginary number. Using the perios given by GP/Pari γ γ 10
11 we can however approximately recover the imaginary perio. This is because the two perios compute by GP/Pari (calle the real an complex perios) are generators for a lattice, which is also generate by the two perios use in this paper (calle the perio an the imaginary perio). For an elliptic curve E, let Ω 1 an Ω 1 be the perio an imaginary perio, respectively, efine in this paper. Let Ω an Ω be the real an complex perios, respectively, that are compute in GP/Pari for E using the function E.omega. Since the pairs are generators for the same lattice we have, Ω 1 = k 1Ω k Ω for some k 1, k Z. We also know that Ω 1 is a pure imaginary number an that Ω is a real number, therefore k /k 1 = Re(Ω )/Ω where Re(z) enotes the real part of the complex number z. Then k 1 an k can be chosen such that gc(k 1, k ) = 1. Fining such a k 1 an k gives a way to compute the imaginary perio using GP/Pari; however, we can only compute Re(Ω )/Ω approximately an hence we can only make a goo guess of what k 1 an k are. 4.3 Imaginary quaratic twist Using Sage an GP/Pari we were able to fin the following example in which the ũ in Theorem 3. is 7. Let E be the following elliptic curve E : y + xy + y = x 3 173x + 879, which is minimal. By Proposition.5, twisting E by = 7 falls in cases 1(b) an (a); hence ũ = 7. Then by Theorem 3., Ω(E )/Ω (E) = 7 7 = 7, up to a sign. We now try to verify this in GP/Pari. Using Lemma. we compute the twist by = 7 to be E : y + xy + y = x 3 x 8453x Using the comman ellminimalmoel in GP/Pari we see that one of the minimal moels for E is then y + xy = x 3 + x 3x 4. We can see that both E an E have only one connecte component, by either plotting them or noticing that they both have negative iscriminants, thus c (E) = c (E ) = 1. Using Remark 4.1 one fins that Ω(E ) = Ω(E min) Following the proceure to compute the imaginary perio from Section 4. we fin that k /k Assuming that this is actually 1/, we get Ω (E) ( ) 1 an Ω(E )/Ω (E) 7, as expecte. 11
12 5 Appenix on perios by Amo Agashe In Section 5.1, we state an prove some facts about perios that are well known, but whose proofs o not seem to be ocumente in the literature; some of these results are use in Section 3. In Section 5., we give a lemma that is use in Section 3. In Section 5.3, we point out the implications of the results of this article to [Aga10], an in particular, we make a conjecture that strengthens a conjecture mae in [Aga10]. 5.1 Some facts about perios Let E be an elliptic curve over Q, an let E min enote an elliptic curve given by a global minimal Weierstrass equation for E. Let ω(e min ) enote the invariant ifferential on E min. Then recall that the perio of E is efine as Ω(E) = ω(e min ). E min(r) Note that if we take a ifferent global minimal Weierstrass equation for E, call it E min, then E min an E min are isomorphic to each other over Q by a transformation of the type [u, r, s, t] (notation as in Remark.1) with u = ±1 (since they have the same iscriminant, an the transformation changes the iscriminant by a factor of u 1, by Remark.1). Then the invariant ifferential of E min iffers from that of E min by a factor of u (again, see Remark.1), i.e., by ±1, an so the efinition of Ω(E) given above is inepenent of the choice of a global minimal Weierstrass equation for E. If two elliptic curves are isomorphic over Q, then they have a common minimal moel, an hence they have the same perio. The Néron moel of E is the open subscheme of E min consisting of the regular points (see III.6 of [Lan91]), an so the perio efine above agrees with the perio use in the more general version of the Birch an Swinnerton- Dyer conjecture for abelian varieties (as escribe for example in III.5 of loc. cit.), which uses Néron ifferentials. Now as a Lie group, E min (R) is isomorphic to one or two copies of R/Z (see, e.g., [Sil94, Cor. V..3.1]). Since the invariant ifferential has no zeros or poles (see Prop. III.1.5 in [Sil9]), it oes not change its sign on any copy of R/Z, an so on any copy, we have ω(e min ) = ±ω(e min ). If E min (R) consists of one copy, then we see that up to a sign, Ω(E) = E ω(e min(r) min). Now suppose E min (R) consists of two copies; call them C 1 an C. Without loss of generality, assume that C 1 contains the ientity, an choose a point P on C. Then the translation by P map inuces a map from C 1 to C (by continuity arguments) an similarly, translation by P maps C to C 1. These two maps are inverses to each other, an moreover, ω(e min ) is invariant uner translation. Thus we see that the integral of ω(e min ) over C 1 is the same as that over C an up to a sign is the integral of ω(e min ) over either component. Thus in this case, up to 1
13 a sign, Ω(E) = C 1 ω(e min ). In either case, we see that up to a sign, Ω(E) = E min(r) ω(e min ). (5.1) If φ : E E min is an isomorphism (such an isomorphism exists, of course), then φ maps E(R) bijectively to E min (R) an one sees (by integration by substitution) that ω(e min ) = φ ω(e min ), E min(r) E(R) where ω(e) as usual is the invariant ifferential on E an φ enotes the pullback by φ map on ifferentials. Thus up to a sign, Ω(E) = φ ω(e min ). E(R) This efinition was use in [ARS06], for example. Consiering that C 1 is homeomorphic to the circle, an the natural map from the first homology group of C 1 to H 1 (E min (C), Z) + is an isomorphism (e.g., see Lemma 4.4 in [AS05]), from the iscussion two paragraphs above, we get the following lemma: Lemma 5.1. Let γ be a generator of the cyclic free abelian group H 1 (E min (C), Z) + an let c (E min ) enote the number of connecte components in E min (R). Then up to a sign, Ω(E) = c (E min ) ω(e min ). γ Note that since E an E min are isomorphic over Q, an hence over R, we have c (E min ) = c (E), an so we also have that up to a sign, Ω(E) = c (E) ω(e min ). Lemma 5.1 above is well known, an in fact a more general result for abelian varieties is given as Lemma 8.8 in [Man71]. However, in loc. cit., the author only gives a sketch of the proof of the quote lemma, an uses the result of Lemma 5.1 above as an input without proof. 5. A lemma In this section, let E be an elliptic curve over R. Recall that E(C) enotes the subgroup of E(C) on which complex conjugation acts as multiplication by 1 an E(C) 0 is the component of E(C) containing the ientity. The following lemma is an aaptation of Lemma 4.4 in [AS05], an is use in Section 3. Lemma 5.. The natural map from H 1 (E(C) 0, Z) to H 1(E(C), Z) is an isomorphism. γ 13
14 Proof. Let ψ enote the natural map from H 1 (E(C) 0, Z) to H 1(E(C), Z). We have the commutative iagram 0 H 1 (E(C) 0, Z) H 1 (E(C) 0, R) ψ E(C) 0 0 H 1 (E(C), Z) H 1 (E(C), R) E(C) 0, where the two vertical arrows on the right are the obvious natural maps, the upper horizontal sequence the exact sequence obtaine by viewing the real torus E(C) 0 as the quotient of the tangent space at the ientity by the first integral homology, an the lower horizontal sequence is the exact sequence obtaine from the exact sequence 0 H 1 (E(C), Z) H 1 (E(C), R) E(C) 0 of complex analytic parametrization of E by taking anti-invariants uner complex conjugation. The mile vertical map is an isomorphism of real vector spaces because if it were not, then its kernel woul be an uncountable set that maps to 0 in E(C) 0 (using the rightmost square in the commutative iagram above), an hence woul be containe in H 1 (E(C) 0, Z), which is countable. The snake lemma then yiels an exact sequence 0 ker(ψ) 0 0 coker(ψ) 0, which implies that ψ is an isomorphism, as was to be shown. 5.3 Some implications In this section, we point out the implications of the results of this article to [Aga10]. By Corollary.6, if is coprime to the conuctor E (or the iscriminant of E), then the ũ in Theorem 3. is a power of. Note that the D in [Aga10] is, with < 0. Thus if one replaces the hypothesis (**) in of loc. cit., with the hypothesis that D is coprime to the conuctor N of E, then the conclusions of Lemma.1, Proposition., an Corollary.4 are vali up to a power of. As a consequence (see the iscussion after Corollary.4 in loc. cit.), we woul like to weaken the hypothesis (**) in Conjecture.5 of loc. cit. to the hypothesis that D is coprime to N, an thus make the following conjecture: Conjecture 5.3. Let E be an optimal elliptic curve over Q of conuctor N an let D be a negative funamental iscriminant such that D is coprime to N. Recall that E D enotes the twist of E by D. Suppose L(E D, 1) 0, so that E D (Q) is finite. Then E D (Q) ivies X(E D ) p N c p(e D ), up to a power of, where X(E D ) enotes the Shafarevich-Tate group of E D an c p (E D ) enotes the orer of the arithmetic component group of E D at p. 14
15 As mentione in loc. cit., using the mathematical software sage, with its inbuilt Cremona s atabase for all elliptic curves of conuctor up to , we verifie the conjecture above for all triples (N, E, D) such that N an D are positive integers with ND < , an E is an optimal elliptic curve of conuctor N. Finally, we remark that Proposition.5 explains why the concluing statement of Conjecture.5 of [Aga10] oes not hol in the example of (E, D) = (7a1, 3) in Table 1 of loc. cit. (this example oes not satisfy the hypotheses of the conjecture): using SAGE, we fin that (E min ) = 3 9 an c 6 (E min ) = 3 3 6, an so by part 1(b) of Proposition.5, v 3 (ũ) > 0. In particular, this is an example of an optimal elliptic curve for which ũ is not a power of. Anyhow, the concluing statement of Corollary.4 in loc. cit. oes not hol, an so for this pair (E, D), assuming the secon part of the Birch an Swinnerton-Dyer conjecture, one oes not expect that E D (Q) ivies X(E D ) p N c p(e D ), even up to a power of (see the iscussion just before Corollary.5 in loc. cit.); rather one expects that E D (Q) ivies ũ X(E D ) p N c p(e D ), an so it is not surprising that E D (Q) ivies 3 X(E D ) p N c p(e D ), up to a power of. References [Aga10] Amo Agashe, Squareness in the special L-value an special L-values of twists, Int. J. Number Theory 6 (010), no. 5, [ARS06] Amo Agashe, Kenneth Ribet, an William A. Stein, The Manin constant, Pure Appl. Math. Q. (006), no., part, [AS05] [Con08] A. Agashe an W. A. Stein, Visible evience for the Birch an Swinnerton-Dyer conjecture for moular abelian varieties of analytic rank zero, Math. Comp. 74 (005), no. 49, Ian Connell, Elliptic curve hanbook, preprint, available at [Kwo97] Soonhak Kwon, Torsion subgroups of elliptic curves over quaratic extensions, J. Number Theory 6 (1997), no. 1, MR (98e:11068) [Lan91] S. Lang, Number theory. III, Springer-Verlag, Berlin, 1991, Diophantine geometry. [Man71] J. I. Manin, Cyclotomic fiels an moular curves, Russian Math. Surveys 6 (1971), no. 6, [OS98] Ken Ono an Christopher Skinner, Fourier coefficients of half-integral weight moular forms moulo l, Ann. of Math. () 147 (1998), no.,
16 [Sil9] [Sil94] J. H. Silverman, The arithmetic of elliptic curves, Springer-Verlag, New York, 199. J. H. Silverman, Avance topics in the arithmetic of elliptic curves, Springer-Verlag, New York,
On the notion of visibility of torsors
On the notion of visibility of torsors Amod Agashe Abstract Let J be an abelian variety and A be an abelian subvariety of J, both defined over Q. Let x be an element of H 1 (Q, A). Then there are at least
More informationAlgebra IV. Contents. Alexei Skorobogatov. December 12, 2017
Algebra IV Alexei Skorobogatov December 12, 2017 Abstract This course is an introuction to homological algebra an group cohomology. Contents 1 Moules over a ring 2 1.1 Definitions an examples.........................
More informationMath 1B, lecture 8: Integration by parts
Math B, lecture 8: Integration by parts Nathan Pflueger 23 September 2 Introuction Integration by parts, similarly to integration by substitution, reverses a well-known technique of ifferentiation an explores
More informationTwo formulas for the Euler ϕ-function
Two formulas for the Euler ϕ-function Robert Frieman A multiplication formula for ϕ(n) The first formula we want to prove is the following: Theorem 1. If n 1 an n 2 are relatively prime positive integers,
More informationUNDERSTANDING INTEGRATION
UNDERSTANDING INTEGRATION Dear Reaer The concept of Integration, mathematically speaking, is the "Inverse" of the concept of result, the integration of, woul give us back the function f(). This, in a way,
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationImplicit Differentiation
Implicit Differentiation Thus far, the functions we have been concerne with have been efine explicitly. A function is efine explicitly if the output is given irectly in terms of the input. For instance,
More informationInternational Journal of Pure and Applied Mathematics Volume 35 No , ON PYTHAGOREAN QUADRUPLES Edray Goins 1, Alain Togbé 2
International Journal of Pure an Applie Mathematics Volume 35 No. 3 007, 365-374 ON PYTHAGOREAN QUADRUPLES Eray Goins 1, Alain Togbé 1 Department of Mathematics Purue University 150 North University Street,
More information2Algebraic ONLINE PAGE PROOFS. foundations
Algebraic founations. Kick off with CAS. Algebraic skills.3 Pascal s triangle an binomial expansions.4 The binomial theorem.5 Sets of real numbers.6 Surs.7 Review . Kick off with CAS Playing lotto Using
More informationDiophantine Approximations: Examining the Farey Process and its Method on Producing Best Approximations
Diophantine Approximations: Examining the Farey Process an its Metho on Proucing Best Approximations Kelly Bowen Introuction When a person hears the phrase irrational number, one oes not think of anything
More information3.7 Implicit Differentiation -- A Brief Introduction -- Student Notes
Fin these erivatives of these functions: y.7 Implicit Differentiation -- A Brief Introuction -- Stuent Notes tan y sin tan = sin y e = e = Write the inverses of these functions: y tan y sin How woul we
More informationLinear First-Order Equations
5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)
More informationDIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10
DIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10 5. Levi-Civita connection From now on we are intereste in connections on the tangent bunle T X of a Riemanninam manifol (X, g). Out main result will be a construction
More informationA Look at the ABC Conjecture via Elliptic Curves
A Look at the ABC Conjecture via Elliptic Curves Nicole Cleary Brittany DiPietro Alexaner Hill Gerar D.Koffi Beihua Yan Abstract We stuy the connection between elliptic curves an ABC triples. Two important
More informationThe special L-value of the winding quotient of level a product of two distinct primes
The special L-value of the winding quotient of level a product of two distinct primes Amod Agashe Abstract Let p and q be two distinct primes and let J e denote the winding quotient at level pq. We give
More informationPDE Notes, Lecture #11
PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =
More informationWitt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread]
Witt vectors. Part 1 Michiel Hazewinkel Sienotes by Darij Grinberg Witt#5: Aroun the integrality criterion 9.93 [version 1.1 21 April 2013, not complete, not proofrea In [1, section 9.93, Hazewinkel states
More informationZachary Scherr Math 503 HW 3 Due Friday, Feb 12
Zachary Scherr Math 503 HW 3 Due Friay, Feb 1 1 Reaing 1. Rea sections 7.5, 7.6, 8.1 of Dummit an Foote Problems 1. DF 7.5. Solution: This problem is trivial knowing how to work with universal properties.
More informationTORSION AND TAMAGAWA NUMBERS
TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationThe Exact Form and General Integrating Factors
7 The Exact Form an General Integrating Factors In the previous chapters, we ve seen how separable an linear ifferential equations can be solve using methos for converting them to forms that can be easily
More informationChapter 5. Factorization of Integers
Chapter 5 Factorization of Integers 51 Definition: For a, b Z we say that a ivies b (or that a is a factor of b, or that b is a multiple of a, an we write a b, when b = ak for some k Z 52 Theorem: (Basic
More informationPure Further Mathematics 1. Revision Notes
Pure Further Mathematics Revision Notes June 20 2 FP JUNE 20 SDB Further Pure Complex Numbers... 3 Definitions an arithmetical operations... 3 Complex conjugate... 3 Properties... 3 Complex number plane,
More informationHomotopy colimits in model categories. Marc Stephan
Homotopy colimits in moel categories Marc Stephan July 13, 2009 1 Introuction In [1], Dwyer an Spalinski construct the so-calle homotopy pushout functor, motivate by the following observation. In the category
More informationFinal Exam Study Guide and Practice Problems Solutions
Final Exam Stuy Guie an Practice Problems Solutions Note: These problems are just some of the types of problems that might appear on the exam. However, to fully prepare for the exam, in aition to making
More informationLectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs
Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent
More informationIntegration Review. May 11, 2013
Integration Review May 11, 2013 Goals: Review the funamental theorem of calculus. Review u-substitution. Review integration by parts. Do lots of integration eamples. 1 Funamental Theorem of Calculus In
More informationLinear and quadratic approximation
Linear an quaratic approximation November 11, 2013 Definition: Suppose f is a function that is ifferentiable on an interval I containing the point a. The linear approximation to f at a is the linear function
More information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationMA 2232 Lecture 08 - Review of Log and Exponential Functions and Exponential Growth
MA 2232 Lecture 08 - Review of Log an Exponential Functions an Exponential Growth Friay, February 2, 2018. Objectives: Review log an exponential functions, their erivative an integration formulas. Exponential
More informationThe Principle of Least Action
Chapter 7. The Principle of Least Action 7.1 Force Methos vs. Energy Methos We have so far stuie two istinct ways of analyzing physics problems: force methos, basically consisting of the application of
More informationJUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson
JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises
More informationVisibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one
Visibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one Amod Agashe February 20, 2009 Abstract Let E be an optimal elliptic curve over Q of conductor N having analytic rank one, i.e.,
More informationMath Notes on differentials, the Chain Rule, gradients, directional derivative, and normal vectors
Math 18.02 Notes on ifferentials, the Chain Rule, graients, irectional erivative, an normal vectors Tangent plane an linear approximation We efine the partial erivatives of f( xy, ) as follows: f f( x+
More informationThe canonical controllers and regular interconnection
Systems & Control Letters ( www.elsevier.com/locate/sysconle The canonical controllers an regular interconnection A.A. Julius a,, J.C. Willems b, M.N. Belur c, H.L. Trentelman a Department of Applie Mathematics,
More informationSYMPLECTIC GEOMETRY: LECTURE 3
SYMPLECTIC GEOMETRY: LECTURE 3 LIAT KESSLER 1. Local forms Vector fiels an the Lie erivative. A vector fiel on a manifol M is a smooth assignment of a vector tangent to M at each point. We think of M as
More informationTHE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP
THE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP ALESSANDRA PANTANO, ANNEGRET PAUL, AND SUSANA A. SALAMANCA-RIBA Abstract. We classify all genuine unitary representations of the metaplectic
More informationThe derivative of a function f(x) is another function, defined in terms of a limiting expression: f(x + δx) f(x)
Y. D. Chong (2016) MH2801: Complex Methos for the Sciences 1. Derivatives The erivative of a function f(x) is another function, efine in terms of a limiting expression: f (x) f (x) lim x δx 0 f(x + δx)
More informationZachary Scherr Math 503 HW 5 Due Friday, Feb 26
Zachary Scherr Math 503 HW 5 Due Friay, Feb 26 1 Reaing 1. Rea Chapter 9 of Dummit an Foote 2 Problems 1. 9.1.13 Solution: We alreay know that if R is any commutative ring, then R[x]/(x r = R for any r
More information19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control
19 Eigenvalues, Eigenvectors, Orinary Differential Equations, an Control This section introuces eigenvalues an eigenvectors of a matrix, an iscusses the role of the eigenvalues in etermining the behavior
More informationA. Incorrect! The letter t does not appear in the expression of the given integral
AP Physics C - Problem Drill 1: The Funamental Theorem of Calculus Question No. 1 of 1 Instruction: (1) Rea the problem statement an answer choices carefully () Work the problems on paper as neee (3) Question
More informationM ath. Res. Lett. 14 (2007), no. 3, c International Press 2007
M ath. Res. Lett. 14 (2007), no. 3, 453 467 c International Press 2007 JACOBI SUMS, FERMAT JACOBIANS, AND RANKS OF ABELIAN VARIETIES OVER TOWERS OF FUNCTION FIELDS Douglas Ulmer 1. Introuction Given an
More informationFIRST YEAR PHD REPORT
FIRST YEAR PHD REPORT VANDITA PATEL Abstract. We look at some potential links between totally real number fiels an some theta expansions (these being moular forms). The literature relate to moular forms
More informationTable of Common Derivatives By David Abraham
Prouct an Quotient Rules: Table of Common Derivatives By Davi Abraham [ f ( g( ] = [ f ( ] g( + f ( [ g( ] f ( = g( [ f ( ] g( g( f ( [ g( ] Trigonometric Functions: sin( = cos( cos( = sin( tan( = sec
More informationd dx But have you ever seen a derivation of these results? We ll prove the first result below. cos h 1
Lecture 5 Some ifferentiation rules Trigonometric functions (Relevant section from Stewart, Seventh Eition: Section 3.3) You all know that sin = cos cos = sin. () But have you ever seen a erivation of
More informationSystems & Control Letters
Systems & ontrol Letters ( ) ontents lists available at ScienceDirect Systems & ontrol Letters journal homepage: www.elsevier.com/locate/sysconle A converse to the eterministic separation principle Jochen
More informationComputing Exact Confidence Coefficients of Simultaneous Confidence Intervals for Multinomial Proportions and their Functions
Working Paper 2013:5 Department of Statistics Computing Exact Confience Coefficients of Simultaneous Confience Intervals for Multinomial Proportions an their Functions Shaobo Jin Working Paper 2013:5
More informationSturm-Liouville Theory
LECTURE 5 Sturm-Liouville Theory In the three preceing lectures I emonstrate the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series are just the tip of the iceberg of the theory
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationA new proof of the sharpness of the phase transition for Bernoulli percolation on Z d
A new proof of the sharpness of the phase transition for Bernoulli percolation on Z Hugo Duminil-Copin an Vincent Tassion October 8, 205 Abstract We provie a new proof of the sharpness of the phase transition
More informationSummary: Differentiation
Techniques of Differentiation. Inverse Trigonometric functions The basic formulas (available in MF5 are: Summary: Differentiation ( sin ( cos The basic formula can be generalize as follows: Note: ( sin
More information1 Lecture 20: Implicit differentiation
Lecture 20: Implicit ifferentiation. Outline The technique of implicit ifferentiation Tangent lines to a circle Derivatives of inverse functions by implicit ifferentiation Examples.2 Implicit ifferentiation
More informationIMPLICIT DIFFERENTIATION
IMPLICIT DIFFERENTIATION CALCULUS 3 INU0115/515 (MATHS 2) Dr Arian Jannetta MIMA CMath FRAS Implicit Differentiation 1/ 11 Arian Jannetta Explicit an implicit functions Explicit functions An explicit function
More informationLEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS
Ann. Sci. Math. Québec 33 (2009), no 2, 115 123 LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS TAKASHI AGOH Deicate to Paulo Ribenboim on the occasion of his 80th birthay. RÉSUMÉ.
More informationarxiv: v1 [math.co] 15 Sep 2015
Circular coloring of signe graphs Yingli Kang, Eckhar Steffen arxiv:1509.04488v1 [math.co] 15 Sep 015 Abstract Let k, ( k) be two positive integers. We generalize the well stuie notions of (k, )-colorings
More informationFLUCTUATIONS IN THE NUMBER OF POINTS ON SMOOTH PLANE CURVES OVER FINITE FIELDS. 1. Introduction
FLUCTUATIONS IN THE NUMBER OF POINTS ON SMOOTH PLANE CURVES OVER FINITE FIELDS ALINA BUCUR, CHANTAL DAVID, BROOKE FEIGON, MATILDE LALÍN 1 Introuction In this note, we stuy the fluctuations in the number
More informationArithmetic progressions on Pell equations
Journal of Number Theory 18 (008) 1389 1409 www.elsevier.com/locate/jnt Arithmetic progressions on Pell equations A. Pethő a,1,v.ziegler b,, a Department of Computer Science, Number Theory Research Group,
More informationSection 2.7 Derivatives of powers of functions
Section 2.7 Derivatives of powers of functions (3/19/08) Overview: In this section we iscuss the Chain Rule formula for the erivatives of composite functions that are forme by taking powers of other functions.
More informationTATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple
TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive
More informationLenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania Daniel White
#A10 INTEGERS 1A (01): John Selfrige Memorial Issue SIERPIŃSKI NUMBERS IN IMAGINARY QUADRATIC FIELDS Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.eu
More informationCAUCHY INTEGRAL THEOREM
CAUCHY INTEGRAL THEOREM XI CHEN 1. Differential Forms, Integration an Stokes Theorem Let X be an open set in R n an C (X) be the set of complex value C functions on X. A ifferential 1-form is (1.1) ω =
More informationQuantum Mechanics in Three Dimensions
Physics 342 Lecture 20 Quantum Mechanics in Three Dimensions Lecture 20 Physics 342 Quantum Mechanics I Monay, March 24th, 2008 We begin our spherical solutions with the simplest possible case zero potential.
More informationTHE MONIC INTEGER TRANSFINITE DIAMETER
MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000 000 S 005-578(XX)0000-0 THE MONIC INTEGER TRANSFINITE DIAMETER K. G. HARE AND C. J. SMYTH ABSTRACT. We stuy the problem of fining nonconstant monic
More informationSimilar Operators and a Functional Calculus for the First-Order Linear Differential Operator
Avances in Applie Mathematics, 9 47 999 Article ID aama.998.067, available online at http: www.iealibrary.com on Similar Operators an a Functional Calculus for the First-Orer Linear Differential Operator
More informationLATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION
The Annals of Statistics 1997, Vol. 25, No. 6, 2313 2327 LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION By Eva Riccomagno, 1 Rainer Schwabe 2 an Henry P. Wynn 1 University of Warwick, Technische
More informationSolutions to Practice Problems Tuesday, October 28, 2008
Solutions to Practice Problems Tuesay, October 28, 2008 1. The graph of the function f is shown below. Figure 1: The graph of f(x) What is x 1 + f(x)? What is x 1 f(x)? An oes x 1 f(x) exist? If so, what
More informationSchrödinger s equation.
Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of
More informationA simple model for the small-strain behaviour of soils
A simple moel for the small-strain behaviour of soils José Jorge Naer Department of Structural an Geotechnical ngineering, Polytechnic School, University of São Paulo 05508-900, São Paulo, Brazil, e-mail:
More information3.2 Differentiability
Section 3 Differentiability 09 3 Differentiability What you will learn about How f (a) Might Fail to Eist Differentiability Implies Local Linearity Numerical Derivatives on a Calculator Differentiability
More informationOn the enumeration of partitions with summands in arithmetic progression
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 8 (003), Pages 149 159 On the enumeration of partitions with summans in arithmetic progression M. A. Nyblom C. Evans Department of Mathematics an Statistics
More informationA Note on Exact Solutions to Linear Differential Equations by the Matrix Exponential
Avances in Applie Mathematics an Mechanics Av. Appl. Math. Mech. Vol. 1 No. 4 pp. 573-580 DOI: 10.4208/aamm.09-m0946 August 2009 A Note on Exact Solutions to Linear Differential Equations by the Matrix
More informationProof by Mathematical Induction.
Proof by Mathematical Inuction. Mathematicians have very peculiar characteristics. They like proving things or mathematical statements. Two of the most important techniques of mathematical proof are proof
More informationRelatively Prime Uniform Partitions
Gen. Math. Notes, Vol. 13, No., December, 01, pp.1-1 ISSN 19-7184; Copyright c ICSRS Publication, 01 www.i-csrs.org Available free online at http://www.geman.in Relatively Prime Uniform Partitions A. Davi
More information7. Localization. (d 1, m 1 ) (d 2, m 2 ) d 3 D : d 3 d 1 m 2 = d 3 d 2 m 1. (ii) If (d 1, m 1 ) (d 1, m 1 ) and (d 2, m 2 ) (d 2, m 2 ) then
7. Localization To prove Theorem 6.1 it becomes necessary to be able to a enominators to rings (an to moules), even when the rings have zero-ivisors. It is a tool use all the time in commutative algebra,
More informationVISIBILITY FOR ANALYTIC RANK ONE or A VISIBLE FACTOR OF THE HEEGNER INDEX
VISIBILITY FOR ANALYTIC RANK ONE or A VISIBLE FACTOR OF THE HEEGNER INDEX Amod Agashe April 17, 2009 Abstract Let E be an optimal elliptic curve over Q of conductor N, such that the L-function of E vanishes
More informationDifferentiability, Computing Derivatives, Trig Review. Goals:
Secants vs. Derivatives - Unit #3 : Goals: Differentiability, Computing Derivatives, Trig Review Determine when a function is ifferentiable at a point Relate the erivative graph to the the graph of an
More informationIntroduction to the Vlasov-Poisson system
Introuction to the Vlasov-Poisson system Simone Calogero 1 The Vlasov equation Consier a particle with mass m > 0. Let x(t) R 3 enote the position of the particle at time t R an v(t) = ẋ(t) = x(t)/t its
More informationON BEAUVILLE STRUCTURES FOR PSL(2, q)
ON BEAUVILLE STRUCTURES FOR PSL(, q) SHELLY GARION Abstract. We characterize Beauville surfaces of unmixe type with group either PSL(, p e ) or PGL(, p e ), thus extening previous results of Bauer, Catanese
More informationMath 115 Section 018 Course Note
Course Note 1 General Functions Definition 1.1. A function is a rule that takes certain numbers as inputs an assigns to each a efinite output number. The set of all input numbers is calle the omain of
More informationLecture notes on Witt vectors
Lecture notes on Witt vectors Lars Hesselholt The purpose of these notes is to give a self-containe introuction to Witt vectors. We cover both the classical p-typical Witt vectors of Teichmüller an Witt
More informationChapter 2 Derivatives
Chapter Derivatives Section. An Intuitive Introuction to Derivatives Consier a function: Slope function: Derivative, f ' For each, the slope of f is the height of f ' Where f has a horizontal tangent line,
More information4.2 First Differentiation Rules; Leibniz Notation
.. FIRST DIFFERENTIATION RULES; LEIBNIZ NOTATION 307. First Differentiation Rules; Leibniz Notation In this section we erive rules which let us quickly compute the erivative function f (x) for any polynomial
More informationBLOW-UP FORMULAS FOR ( 2)-SPHERES
BLOW-UP FORMULAS FOR 2)-SPHERES ROGIER BRUSSEE In this note we give a universal formula for the evaluation of the Donalson polynomials on 2)-spheres, i.e. smooth spheres of selfintersection 2. Note that
More informationRegular tree languages definable in FO and in FO mod
Regular tree languages efinable in FO an in FO mo Michael Beneikt Luc Segoufin Abstract We consier regular languages of labele trees. We give an effective characterization of the regular languages over
More informationG4003 Advanced Mechanics 1. We already saw that if q is a cyclic variable, the associated conjugate momentum is conserved, L = const.
G4003 Avance Mechanics 1 The Noether theorem We alreay saw that if q is a cyclic variable, the associate conjugate momentum is conserve, q = 0 p q = const. (1) This is the simplest incarnation of Noether
More informationTIME-DELAY ESTIMATION USING FARROW-BASED FRACTIONAL-DELAY FIR FILTERS: FILTER APPROXIMATION VS. ESTIMATION ERRORS
TIME-DEAY ESTIMATION USING FARROW-BASED FRACTIONA-DEAY FIR FITERS: FITER APPROXIMATION VS. ESTIMATION ERRORS Mattias Olsson, Håkan Johansson, an Per öwenborg Div. of Electronic Systems, Dept. of Electrical
More informationDifferentiability, Computing Derivatives, Trig Review
Unit #3 : Differentiability, Computing Derivatives, Trig Review Goals: Determine when a function is ifferentiable at a point Relate the erivative graph to the the graph of an original function Compute
More informationMath Implicit Differentiation. We have discovered (and proved) formulas for finding derivatives of functions like
Math 400 3.5 Implicit Differentiation Name We have iscovere (an prove) formulas for fining erivatives of functions like f x x 3x 4x. 3 This amounts to fining y for 3 y x 3x 4x. Notice that in this case,
More informationChapter 2. Exponential and Log functions. Contents
Chapter. Exponential an Log functions This material is in Chapter 6 of Anton Calculus. The basic iea here is mainly to a to the list of functions we know about (for calculus) an the ones we will stu all
More informationIterated Point-Line Configurations Grow Doubly-Exponentially
Iterate Point-Line Configurations Grow Doubly-Exponentially Joshua Cooper an Mark Walters July 9, 008 Abstract Begin with a set of four points in the real plane in general position. A to this collection
More informationCalculus in the AP Physics C Course The Derivative
Limits an Derivatives Calculus in the AP Physics C Course The Derivative In physics, the ieas of the rate change of a quantity (along with the slope of a tangent line) an the area uner a curve are essential.
More informationNotes on Lie Groups, Lie algebras, and the Exponentiation Map Mitchell Faulk
Notes on Lie Groups, Lie algebras, an the Exponentiation Map Mitchell Faulk 1. Preliminaries. In these notes, we concern ourselves with special objects calle matrix Lie groups an their corresponing Lie
More informationRamsey numbers of some bipartite graphs versus complete graphs
Ramsey numbers of some bipartite graphs versus complete graphs Tao Jiang, Michael Salerno Miami University, Oxfor, OH 45056, USA Abstract. The Ramsey number r(h, K n ) is the smallest positive integer
More information1 Heisenberg Representation
1 Heisenberg Representation What we have been ealing with so far is calle the Schröinger representation. In this representation, operators are constants an all the time epenence is carrie by the states.
More informationLower bounds on Locality Sensitive Hashing
Lower bouns on Locality Sensitive Hashing Rajeev Motwani Assaf Naor Rina Panigrahy Abstract Given a metric space (X, X ), c 1, r > 0, an p, q [0, 1], a istribution over mappings H : X N is calle a (r,
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationMark J. Machina CARDINAL PROPERTIES OF "LOCAL UTILITY FUNCTIONS"
Mark J. Machina CARDINAL PROPERTIES OF "LOCAL UTILITY FUNCTIONS" This paper outlines the carinal properties of "local utility functions" of the type use by Allen [1985], Chew [1983], Chew an MacCrimmon
More informationDiagonalization of Matrices Dr. E. Jacobs
Diagonalization of Matrices Dr. E. Jacobs One of the very interesting lessons in this course is how certain algebraic techniques can be use to solve ifferential equations. The purpose of these notes is
More informationTOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH
English NUMERICAL MATHEMATICS Vol14, No1 Series A Journal of Chinese Universities Feb 2005 TOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH He Ming( Λ) Michael K Ng(Ξ ) Abstract We
More informationOn the number of isolated eigenvalues of a pair of particles in a quantum wire
On the number of isolate eigenvalues of a pair of particles in a quantum wire arxiv:1812.11804v1 [math-ph] 31 Dec 2018 Joachim Kerner 1 Department of Mathematics an Computer Science FernUniversität in
More information