# 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:
  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  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  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  Coates, J., Wiles, A.: On the conjecture of Birch and Swinnerton-Dyer. Invent. Math.39, 223-251 (1977) · Zbl 0359.14009  Coates, J., Wiles, A.: Onp-adicL-functions and elliptic units. J. Austr. Math. Soc.26, 1-25 (1978) · Zbl 0442.12007  Coleman, R.: Division values in local fields. Invent. Math.53, 91-116 (1979) · Zbl 0429.12010  Greenberg, R.: On the Birch and Swinnerton-Dyer conjecture. Invent. Math.72, 241-265 (1983) · Zbl 0546.14015  Greenberg, R.: On the structure of certain Galois groups. Invent. Math.47, 85-99 (1978) · Zbl 0403.12004  Gross, B.: Arithmetic on elliptic curves with complex multiplication Lect. Notes Math. vol.776. Berlin-Heidelberg-New York: Springer 1980 · Zbl 0433.14032  Gross, B.: Heegner points onX o(N). In: Modular forms. Rankin, R.A. (ed.), pp. 87-105. Chichester: Ellis Horwood Ltd (1984)  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  Hazewinkel, M.: On norm maps for one-dimensional formal groups III. Duke Math. J.44, 305-314 (1977) · Zbl 0371.14024  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  Rohrlich, D.: OnL-functions of elliptic curves and anticyclotomic towers. Invent. Math.75, 383-408 (1984) · Zbl 0565.14008  Rubin, K.: Elliptic curves with complex multiplication and the conjecture of Birch and Swinnerton-Dyer. Invent. Math.64, 455-470 (1981) · Zbl 0506.14039  Rubin, K.: Elliptic curves andZ p -extensions. Compos. Math.56, 237-250 (1985) · Zbl 0599.14028  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  Shimura, G.: Introduction to the arithmetic theory of automorphic forms. Princeton: Princeton Univ. Press 1971 · Zbl 0221.10029  Tate, J.: WC-groups overp-adic fields. Séminaire Bourbaki (1957/1958) exposé 156  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  Wiles, A.: Higher explicit reciprocity laws. Ann. Math.107, 235-254 (1978) · Zbl 0378.12006  Wintenberger, J-P.: Structure galoisienne de limites projectives d’unités locales. Compos. Math.42, 89-103 (1981) · Zbl 0414.12008  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.