# zbMATH — the first resource for mathematics

Local units, elliptic units, Heegner points and elliptic curves. (English) Zbl 0623.14006
Let E be an elliptic curve over $${\mathbb{Q}}$$ with complex multiplication by the ring of integers of an imaginary quadratic field K. This paper gives a possible starting point to extend a result of Yager [R. Y. Yager, Ann. Math., II. Ser. 115, 411-449 (1982; Zbl 0496.12010)] giving the structure of a certain module over the Iwasawa algebra $${\mathbb{Z}}_ p[| Gal(K(E_{p^{\infty}})/K(E_ p)|]$$, where p is a prime of $${\mathbb{Q}}$$ which splits in K, to the case where this prime does not split. Instead of working over the Iwasawa algebra as above, the author uses a quotient denoted $$V_{\infty}$$ of the inverse limit of local units at p, which is a free module of rank 2 over the Iwasawa algebra attached to the anticyclotomic $${\mathbb{Z}}_ p$$-extension of $$K_ p$$. The module $$V_{\infty}$$ has two natural submodules; conditions on the prime p are given which ensure that the direct sum of these is isomorphic to $$V_{\infty}$$. The author conjectures that this direct sum decomposition always holds. The proof that under the conditions on the prime p given in the paper this conjecture is true is far from trivial; it uses global techniques as Heegner points and elliptic units.
As an application, it is shown how some of the results of the paper can be used to prove the following theorem: Let E be an elliptic curve over $${\mathbb{Q}}$$ with complex multiplication and suppose that the sign in the functional equation of $$L(E,s)$$ is -1. Then either E($${\mathbb{Q}})$$ is infinite or the p-part of the Tate-Shafarevich group of E over $${\mathbb{Q}}$$ is infinite for every prime $$p\geq 5$$ where E has good, supersingular reduction. With “supersingular” replaced by “ordinary” this was proved by R. Greenberg [Invent. Math. 72, 241-265 (1983; Zbl 0546.14015)].
Reviewer: J.Top

##### MSC:
 14G10 Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) 14H25 Arithmetic ground fields for curves 11R18 Cyclotomic extensions 14K22 Complex multiplication and abelian varieties
Full Text:
##### References:
 [1] Atiyah, M., Wall, C.: Cohomology of groups. In: Algebraic number theory. Cassels J.W.S., Fröhlich, A. (eds.), pp. 94-115, London: Academic Press 1967 [2] Birch, B., Stephens, N.: Computation of Heegner points. In: Modular forms. Rankin, R.A. (ed.), pp. 13-41, Chichester: Ellis Horwood Ltd (1984) · Zbl 0559.14010 [3] Coates, J.: Elliptic curves and Iwasawa theory. In: Modular forms. Rankin, R.A. (ed.), pp. 51-73. Chichester: Ellis Horwood Ltd (1984) · Zbl 0561.14012 [4] Coates, J., Wiles, A.: On the conjecture of Birch and Swinnerton-Dyer. Invent. Math.39, 223-251 (1977) · Zbl 0359.14009 [5] Coates, J., Wiles, A.: Onp-adicL-functions and elliptic units. J. Austr. Math. Soc.26, 1-25 (1978) · Zbl 0442.12007 [6] Coleman, R.: Division values in local fields. Invent. Math.53, 91-116 (1979) · Zbl 0429.12010 [7] Greenberg, R.: On the Birch and Swinnerton-Dyer conjecture. Invent. Math.72, 241-265 (1983) · Zbl 0546.14015 [8] Greenberg, R.: On the structure of certain Galois groups. Invent. Math.47, 85-99 (1978) · Zbl 0403.12004 [9] Gross, B.: Arithmetic on elliptic curves with complex multiplication Lect. Notes Math. vol.776. Berlin-Heidelberg-New York: Springer 1980 · Zbl 0433.14032 [10] Gross, B.: Heegner points onX o(N). In: Modular forms. Rankin, R.A. (ed.), pp. 87-105. Chichester: Ellis Horwood Ltd (1984) [11] Gross, B., Zagier, D.: Points de Heegner et dérivées de fonctions L. C.R. Acad. Sci. Paris297, 85-87 (1983) · Zbl 0538.14023 [12] Hazewinkel, M.: On norm maps for one-dimensional formal groups III. Duke Math. J.44, 305-314 (1977) · Zbl 0371.14024 [13] Montgomery, H., Rohrlich, D.: On theL-functions of canonical Hecke characters of imaginary quadratic fields II. Duke Math. J.49, 937-942 (1982) · Zbl 0523.12010 [14] Rohrlich, D.: OnL-functions of elliptic curves and anticyclotomic towers. Invent. Math.75, 383-408 (1984) · Zbl 0565.14008 [15] Rubin, K.: Elliptic curves with complex multiplication and the conjecture of Birch and Swinnerton-Dyer. Invent. Math.64, 455-470 (1981) · Zbl 0506.14039 [16] Rubin, K.: Elliptic curves andZ p -extensions. Compos. Math.56, 237-250 (1985) · Zbl 0599.14028 [17] Shimura, G.: On elliptic curves with complex multiplication as factors of the jacobians of modular function fields. Nagoya Math. J.43, 199-208 (1971) · Zbl 0225.14015 [18] Shimura, G.: Introduction to the arithmetic theory of automorphic forms. Princeton: Princeton Univ. Press 1971 · Zbl 0221.10029 [19] Tate, J.: WC-groups overp-adic fields. Séminaire Bourbaki (1957/1958) exposé 156 [20] Waldspurger, J-L.: Sur les valeurs de certaines fonctionsL automorphes en leur centre de symétrie. Compos. Math.54, 173-242 (1985) · Zbl 0567.10021 [21] Wiles, A.: Higher explicit reciprocity laws. Ann. Math.107, 235-254 (1978) · Zbl 0378.12006 [22] Wintenberger, J-P.: Structure galoisienne de limites projectives d’unités locales. Compos. Math.42, 89-103 (1981) · Zbl 0414.12008 [23] Yager, R.: On two variablep-adicL-functions. Ann. Math.115, 411-449 (1982) · Zbl 0496.12010
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.