Showing 1–20 of 20 results for author: Skinner, C

Zeta elements for elliptic curves and applications

Authors: Ashay Burungale, Christopher Skinner, Ye Tian, Xin Wan

Abstract: Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with conductor $N$ and $p\nmid 2N$ a prime. Let $L$ be an imaginary quadratic field with $p$ split. We prove the existence of $p$-adic zeta element for $E$ over $L$, encoding two different $p$-adic $L$-functions associated to $E$ over $L$ via explicit reciprocity laws at the primes above $p$. We formulate a main conjecture for $E$ over $L$ in… ▽ More Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with conductor $N$ and $p\nmid 2N$ a prime. Let $L$ be an imaginary quadratic field with $p$ split. We prove the existence of $p$-adic zeta element for $E$ over $L$, encoding two different $p$-adic $L$-functions associated to $E$ over $L$ via explicit reciprocity laws at the primes above $p$. We formulate a main conjecture for $E$ over $L$ in terms of the zeta element, mediating different main conjectures in which the $p$-adic $L$-functions appear, and prove some results toward them. The zeta element has various applications to the arithmetic of elliptic curves. This includes a proof of main conjecture for semistable elliptic curves $E$ over $\mathbb{Q}$ at supersingular primes $p$, as conjectured by Kobayashi in 2002. It leads to the $p$-part of the conjectural Birch and Swinnerton-Dyer (BSD) formula for such curves of analytic rank zero or one, and enables us to present the first infinite families of non-CM elliptic curves for which the BSD conjecture is true. We provide further evidence towards the BSD conjecture: new cases of $p$-converse to the Gross--Zagier and Kolyvagin theorem, and $p$-part of the BSD formula for ordinary primes $p$. Along the way, we give a proof of a conjecture of Perrin-Riou connecting Beilinson--Kato elements with rational points. △ Less

Submitted 11 September, 2024; v1 submitted 2 September, 2024; originally announced September 2024.

Comments: A main result supersedes the preprint arXiv:1411.6352

Anti-cyclotomic Euler system of diagonal cycles

Authors: Shilin Lai, Christopher Skinner

Abstract: We construct split anti-cyclotomic Euler systems for Galois representations attached to certain RACSDC automorphic representations on the group $\mathrm{GL}_n\times\mathrm{GL}_{n+1}$. As a result, we make progress towards certain rank 1 cases of the Beilinson--Bloch--Kato conjecture for those representations. We construct split anti-cyclotomic Euler systems for Galois representations attached to certain RACSDC automorphic representations on the group $\mathrm{GL}_n\times\mathrm{GL}_{n+1}$. As a result, we make progress towards certain rank 1 cases of the Beilinson--Bloch--Kato conjecture for those representations. △ Less

Submitted 2 August, 2024; originally announced August 2024.

Comments: 25 pages

Base change and Iwasawa Main Conjectures for ${\rm GL}_2$

Authors: Ashay Burungale, Francesc Castella, Christopher Skinner

Abstract: Let $E$ be an elliptic curve defined over $\mathbb{Q}$ of conductor $N$, $p$ an odd prime of good ordinary reduction such that $E[p]$ is an irreducible Galois module, and $K$ an imaginary quadratic field with all primes dividing $Np$ split. We prove Iwasawa Main Conjectures for the $\mathbb{Z}_p$-cyclotomic and $\mathbb{Z}_p$-anticyclotomic deformations of $E$ over $\mathbb{Q}$ and $K$ respectivel… ▽ More Let $E$ be an elliptic curve defined over $\mathbb{Q}$ of conductor $N$, $p$ an odd prime of good ordinary reduction such that $E[p]$ is an irreducible Galois module, and $K$ an imaginary quadratic field with all primes dividing $Np$ split. We prove Iwasawa Main Conjectures for the $\mathbb{Z}_p$-cyclotomic and $\mathbb{Z}_p$-anticyclotomic deformations of $E$ over $\mathbb{Q}$ and $K$ respectively, dispensing with any of the ramification hypotheses on $E[p]$ in previous works. The strategy employs base change and the two-variable zeta element associated to $E$ over $K$, via which the sought after main conjectures are deduced from Wan's divisibility towards a three-variable main conjecture for $E$ over a quartic CM field containing $K$ and certain Euler system divisibilities. As an application, we prove cases of the two-variable main conjecture for $E$ over $K$. The aforementioned one-variable main conjectures imply the $p$-part of the conjectural Birch and Swinnerton-Dyer formula for $E$ if ${\rm ord}_{s=1}L(E,s)\leq 1$. They are also an ingredient in the proof of Kolyvagin's conjecture and its cyclotomic variant in our joint work with Grossi. △ Less

Submitted 17 March, 2025; v1 submitted 30 April, 2024; originally announced May 2024.

Comments: Accepted version, to appear in IMRN

Non-vanishing of Kolyvagin systems and Iwasawa theory

Authors: Ashay Burungale, Francesc Castella, Giada Grossi, Christopher Skinner

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve and $p$ an odd prime. In 1991 Kolyvagin conjectured that the system of cohomology classes for the $p$-adic Tate module of $E$ derived from Heegner points on $E$ over ring class fields of an imaginary quadratic field $K$ is non-trivial. In this paper we prove Kolyvagin's conjecture in the cases where $p$ is a prime of good ordinary reduction for $E$ that spli… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve and $p$ an odd prime. In 1991 Kolyvagin conjectured that the system of cohomology classes for the $p$-adic Tate module of $E$ derived from Heegner points on $E$ over ring class fields of an imaginary quadratic field $K$ is non-trivial. In this paper we prove Kolyvagin's conjecture in the cases where $p$ is a prime of good ordinary reduction for $E$ that splits in $K$ and a $p$-adic anticyclotomic Iwasawa Main Conjecture for $E/K$ holds. In particular, our results cover many cases where $p$ is an Eisenstein prime, complementing W. Zhang's progress towards the conjecture. Our methods also yield a proof of a refinement of Kolyvagin's conjecture expressing the divisibility index of the $p$-adic Heegner point Kolyvagin system in terms of the Tamagawa numbers of $E$, as conjectured by W. Zhang in 2014, as well as proofs of analogous results for the Kolyvagin systems obtained from the cyclotomic Euler system of Beilinson--Kato elements. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 30 pages, comments are welcome!

Mazur's main conjecture at Eisenstein primes

Authors: Francesc Castella, Giada Grossi, Christopher Skinner

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve, let $p>2$ be a prime of good reduction for $E$, and assume that $E$ admits a rational $p$-isogeny with kernel $\mathbb{F}_p(φ)$. In this paper we prove the cyclotomic Iwasawa main conjecture for $E$, as formulated by Mazur in 1972, when $φ\vert_{G_p}\neq 1,ω$, where $G_p$ is a decomposition group at $p$ and $ω$ is the Teichmüller character. Our proof is bas… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve, let $p>2$ be a prime of good reduction for $E$, and assume that $E$ admits a rational $p$-isogeny with kernel $\mathbb{F}_p(φ)$. In this paper we prove the cyclotomic Iwasawa main conjecture for $E$, as formulated by Mazur in 1972, when $φ\vert_{G_p}\neq 1,ω$, where $G_p$ is a decomposition group at $p$ and $ω$ is the Teichmüller character. Our proof is based on a study of the anticyclotomic Iwasawa theory of $E$ over an imaginary quadratic field $K$ in which $p$ splits, and a congruence argument exploiting the cyclotomic Euler system of Beilinson--Flach classes. △ Less

Submitted 7 March, 2023; originally announced March 2023.

An Euler system for GU(2, 1)

Authors: David Loeffler, Christopher Skinner, Sarah Livia Zerbes

Abstract: We construct an Euler system associated to regular algebraic, essentially conjugate self-dual cuspidal automorphic representations of GL(3) over imaginary quadratic fields, using the cohomology of Shimura varieties for GU(2, 1). We construct an Euler system associated to regular algebraic, essentially conjugate self-dual cuspidal automorphic representations of GL(3) over imaginary quadratic fields, using the cohomology of Shimura varieties for GU(2, 1). △ Less

Submitted 15 June, 2021; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 33 pages. Accepted to appear in "Mathematische Annalen"

MSC Class: 11F67; 11F80; 11R23

Journal ref: Math. Annalen 382 (2022), 1091-1141

On the anticyclotomic Iwasawa theory of rational elliptic curves at Eisenstein primes

Authors: Francesc Castella, Giada Grossi, Jaehoon Lee, Christopher Skinner

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve, and $p$ a prime where $E$ has good reduction, and assume that $E$ admits a rational $p$-isogeny. In this paper, we study the anticyclotomic Iwasawa theory of $E$ over an imaginary quadratic field in which $p$ splits, which we relate to the anticyclotomic Iwasawa theory of characters following the method of Greenberg--Vatsal. As a result of our study, we obt… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve, and $p$ a prime where $E$ has good reduction, and assume that $E$ admits a rational $p$-isogeny. In this paper, we study the anticyclotomic Iwasawa theory of $E$ over an imaginary quadratic field in which $p$ splits, which we relate to the anticyclotomic Iwasawa theory of characters following the method of Greenberg--Vatsal. As a result of our study, we obtain a proof, under mild hypotheses, of Perrin-Riou's Heegner point main conjecture, as well as a $p$-converse to the theorem of Gross--Zagier and Kolyvagin and the $p$-part of the Birch--Swinnerton-Dyer formula in analytic rank $1$ for Eisenstein primes $p$. △ Less

Submitted 14 September, 2021; v1 submitted 6 August, 2020; originally announced August 2020.

Comments: Final version, to appear in Invent. Math

Higher Hida theory and p-adic L-functions for GSp(4)

Authors: David Loeffler, Vincent Pilloni, Christopher Skinner, Sarah Livia Zerbes

Abstract: We use the "higher Hida theory" recently introduced by the second author to p-adically interpolate periods of non-holomorphic automorphic forms for GSp(4), contributing to coherent cohomology of Siegel threefolds in positive degrees. We apply this new method to construct p-adic L-functions associated to the degree 4 (spin) L-function of automorphic representations of GSp(4), and the degree 8 L-fun… ▽ More We use the "higher Hida theory" recently introduced by the second author to p-adically interpolate periods of non-holomorphic automorphic forms for GSp(4), contributing to coherent cohomology of Siegel threefolds in positive degrees. We apply this new method to construct p-adic L-functions associated to the degree 4 (spin) L-function of automorphic representations of GSp(4), and the degree 8 L-function of GSp(4) x GL(2). △ Less

Submitted 28 January, 2022; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: Final version, now published in "Duke Math Journal"

MSC Class: 11F46; 11F67; 11R23

Journal ref: Duke Math. J. 170 (2021), no. 18, 4033-4121

On the Iwasawa main conjectures for modular forms at non-ordinary primes

Authors: Francesc Castella, Mirela Çiperiani, Christopher Skinner, Florian Sprung

Abstract: In this paper, we prove under mild hypotheses the Iwasawa main conjectures of Lei--Loeffler--Zerbes for modular forms of weight $2$ at non-ordinary primes. Our proof is based on the study of the two-variable analogues of these conjectures formulated by Büyükboduk--Lei for imaginary quadratic fields in which $p$ splits, and on anticyclotomic Iwasawa theory. As application of our results, we deduce… ▽ More In this paper, we prove under mild hypotheses the Iwasawa main conjectures of Lei--Loeffler--Zerbes for modular forms of weight $2$ at non-ordinary primes. Our proof is based on the study of the two-variable analogues of these conjectures formulated by Büyükboduk--Lei for imaginary quadratic fields in which $p$ splits, and on anticyclotomic Iwasawa theory. As application of our results, we deduce the $p$-part of the Birch and Swinnerton-Dyer formula in analytic ranks $0$ or $1$ for abelian varieties over $\mathbb{Q}$ of ${\rm GL}_2$-type for non-ordinary primes $p>2$. △ Less

Submitted 23 August, 2018; v1 submitted 29 April, 2018; originally announced April 2018.

Euler systems for GSp(4)

Authors: David Loeffler, Chris Skinner, Sarah Livia Zerbes

Abstract: We construct an Euler system for Galois representations associated to cohomological cuspidal automorphic representations of the group GSp(4), using the pushforwards of Eisenstein classes for GL(2) x GL(2). We construct an Euler system for Galois representations associated to cohomological cuspidal automorphic representations of the group GSp(4), using the pushforwards of Eisenstein classes for GL(2) x GL(2). △ Less

Submitted 26 January, 2021; v1 submitted 1 June, 2017; originally announced June 2017.

Comments: 41 pages. To appear in "Journal of the European Mathematical Society" (see https://www.ems-ph.org/journals/forthcoming.php?jrn=jems )

MSC Class: 11F46; 11F67; 11F80; 11R23

Journal ref: J. Eur. Math. Soc. 24 (2022), no. 2, 669-733

Statistics of $K$-groups modulo $p$ for the ring of integers of a varying quadratic number field

Authors: Bruce W. Jordan, Zev Klagsbrun, Bjorn Poonen, Christopher Skinner, Yevgeny Zaytman

Abstract: For each odd prime $p$, we conjecture the distribution of the $p$-torsion subgroup of $K_{2n}(\mathcal{O}_F)$ as $F$ ranges over real quadratic fields, or over imaginary quadratic fields. We then prove that the average size of the $3$-torsion subgroup of $K_{2n}(\mathcal{O}_F)$ is as predicted by this conjecture. For each odd prime $p$, we conjecture the distribution of the $p$-torsion subgroup of $K_{2n}(\mathcal{O}_F)$ as $F$ ranges over real quadratic fields, or over imaginary quadratic fields. We then prove that the average size of the $3$-torsion subgroup of $K_{2n}(\mathcal{O}_F)$ is as predicted by this conjecture. △ Less

Submitted 28 January, 2019; v1 submitted 28 February, 2017; originally announced March 2017.

Comments: 17 pages; improvements in exposition

MSC Class: 11R70 (Primary) 11R29; 19D50; 19F99 (Secondary)

Journal ref: Tunisian J. Math. 2 (2020) 287-307

Syntomic regulators of Asai--Flach classes

Authors: David Loeffler, Christopher Skinner, Sarah Livia Zerbes

Abstract: In this paper, we derive a formula for the p-adic syntomic regulators of Asai--Flach classes. These are cohomology classes forming an Euler system associated to a Hilbert modular form over a quadratic field, introduced in an earlier paper (arXiv:1607.07813) by Antonio Lei and the first and third authors. The formula we develop here is expressed in terms of differential operators acting on overconv… ▽ More In this paper, we derive a formula for the p-adic syntomic regulators of Asai--Flach classes. These are cohomology classes forming an Euler system associated to a Hilbert modular form over a quadratic field, introduced in an earlier paper (arXiv:1607.07813) by Antonio Lei and the first and third authors. The formula we develop here is expressed in terms of differential operators acting on overconvergent Hilbert modular forms; it is analogous to existing formulae for the regulators of Beilinson--Flach classes, but a novel feature is the appearance of a projection operator associated to a critical-slope Eisenstein series. We conclude the paper with numerical calculations giving strong evidence for the non-vanishing of these regulators in an explicit example. △ Less

Submitted 16 October, 2017; v1 submitted 22 August, 2016; originally announced August 2016.

Comments: Revised version: strengthened main theorem to avoid unnecessary assumptions, and added a formula for normalisation of Eisenstein functional

MSC Class: 11F41; 11F67; 11F80; 19F27

Journal ref: In: Development of Iwasawa Theory -- the Centennial of K. Iwasawa's Birth, vol. 86 of Adv. Stud. Pure Math., Math. Soc. Japan, 2020, 595--638

p-adic L-functions for unitary groups

Authors: Ellen Eischen, Michael Harris, Jianshu Li, Christopher Skinner

Abstract: This paper completes the construction of $p$-adic $L$-functions for unitary groups. More precisely, in 2006, the last three named authors proposed an approach to constructing such $p$-adic $L$-functions (Part I). Building on more recent results, including the first named author's construction of Eisenstein measures and $p$-adic differential operators, Part II of the present paper provides the calc… ▽ More This paper completes the construction of $p$-adic $L$-functions for unitary groups. More precisely, in 2006, the last three named authors proposed an approach to constructing such $p$-adic $L$-functions (Part I). Building on more recent results, including the first named author's construction of Eisenstein measures and $p$-adic differential operators, Part II of the present paper provides the calculations of local $ζ$-integrals occurring in the Euler product (including at $p$). Part III of the present paper develops the formalism needed to pair Eisenstein measures with Hida families in the setting of the doubling method. △ Less

Submitted 6 March, 2020; v1 submitted 4 February, 2016; originally announced February 2016.

Comments: 152 pages. Accepted for publication in Forum of Mathematics, Pi

Journal ref: Forum of Mathematics, Pi (2020) Volume 8, 160 pages

The Birch and Swinnerton-Dyer Formula for Elliptic Curves of Analytic Rank One

Authors: Dimitar Jetchev, Christopher Skinner, Xin Wan

Abstract: Let $E/\mathbb{Q}$ be a semistable elliptic curve such that $\mathrm{ord}_{s=1}L(E,s) = 1$. We prove the $p$-part of the Birch and Swinnerton-Dyer formula for $E/\mathbb{Q}$ for each prime $p \geq 5$ of good reduction such that $E[p]$ is irreducible:… ▽ More Let $E/\mathbb{Q}$ be a semistable elliptic curve such that $\mathrm{ord}_{s=1}L(E,s) = 1$. We prove the $p$-part of the Birch and Swinnerton-Dyer formula for $E/\mathbb{Q}$ for each prime $p \geq 5$ of good reduction such that $E[p]$ is irreducible: $$ \mathrm{ord}_p \left (\frac{L'(E,1)}{Ω_E\cdot\mathrm{Reg}(E/\mathbb{Q})} \right ) = \mathrm{ord}_p \left (\#\mathrm{Sha}(E/\mathbb{Q})\prod_{\ell\leq \infty} c_\ell(E/\mathbb{Q}) \right ). $$ This formula also holds for $p=3$ provided $a_p(E)=0$ if $E$ has supersingular reduction at $p$. △ Less

Submitted 21 December, 2015; originally announced December 2015.

Comments: 51 pages

MSC Class: 11G40; 11G05; 11G07; 11R23; 11G15; 14H52; 14H25

A majority of elliptic curves over $\mathbb Q$ satisfy the Birch and Swinnerton-Dyer conjecture

Authors: Manjul Bhargava, Christopher Skinner, Wei Zhang

Abstract: We prove that a majority (in fact, $>66\%$) of all elliptic curves over $\mathbb Q$, when ordered by height, satisfy the Birch and Swinnerton-Dyer rank conjecture. We prove that a majority (in fact, $>66\%$) of all elliptic curves over $\mathbb Q$, when ordered by height, satisfy the Birch and Swinnerton-Dyer rank conjecture. △ Less

Submitted 17 July, 2014; v1 submitted 7 July, 2014; originally announced July 2014.

Comments: Some further details, clarifications, and references added; 17 pages

MSC Class: 11G05; 11G40; 11R45

Indivisibility of Heegner points in the multiplicative case

Authors: Christopher Skinner, Wei Zhang

Abstract: For certain elliptic curves $E$ over $\mathbb{Q}$ with multiplicative reduction at a prime $p\geq 5$, we prove the $p$-indivisibility of the derived Heegner classes defined with respect to an imaginary quadratic field $K$, as conjectured by Kolyvagin. The conditions on $E$ include that $E[p]$ be irreducible and not finite at $p$ and that $p$ split in the imaginary quadratic field $K$, along with c… ▽ More For certain elliptic curves $E$ over $\mathbb{Q}$ with multiplicative reduction at a prime $p\geq 5$, we prove the $p$-indivisibility of the derived Heegner classes defined with respect to an imaginary quadratic field $K$, as conjectured by Kolyvagin. The conditions on $E$ include that $E[p]$ be irreducible and not finite at $p$ and that $p$ split in the imaginary quadratic field $K$, along with certain $p$-indivisibility conditions on various Tamagawa factors. The proof extends the arguments of the second author for the case where $E$ has good ordinary reduction at~$p$. △ Less

Submitted 3 July, 2014; originally announced July 2014.

MSC Class: 11G40; 11G05; 11F67

Multiplicative reduction and the cyclotomic main conjecture for $\mathrm{GL}_2$

Authors: Christopher Skinner

Abstract: We show that the cyclotomic Iwasawa--Greenberg Main Conjecture holds for a large class of modular forms with multiplicative reduction at $p$, extending previous results for the good ordinary case. In fact, the multiplicative case is deduced from the good case through the use of Hida families and a simple Fitting ideal argument. We show that the cyclotomic Iwasawa--Greenberg Main Conjecture holds for a large class of modular forms with multiplicative reduction at $p$, extending previous results for the good ordinary case. In fact, the multiplicative case is deduced from the good case through the use of Hida families and a simple Fitting ideal argument. △ Less

Submitted 3 July, 2014; originally announced July 2014.

MSC Class: 11R23; 11F67; 11G05; 11G40

Journal ref: Pacific J. Math. 283 (2016) 171-200

A converse to a theorem of Gross, Zagier, and Kolyvagin

Authors: Christopher Skinner

Abstract: Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove that if $E$ has non-split multiplicative reduction at at least one odd prime or split multiplicative reduction at at least two odd primes and if the rank of $E(\mathbb{Q})$ is one and the Tate-Shafarevich group of $E$ has finite order, then $\mathrm{ord}_{s=1}L(E,s)=1$. We also prove the corresponding result for the abelian variety… ▽ More Let $E$ be a semistable elliptic curve over $\mathbb{Q}$. We prove that if $E$ has non-split multiplicative reduction at at least one odd prime or split multiplicative reduction at at least two odd primes and if the rank of $E(\mathbb{Q})$ is one and the Tate-Shafarevich group of $E$ has finite order, then $\mathrm{ord}_{s=1}L(E,s)=1$. We also prove the corresponding result for the abelian variety associated with a weight two newform $f$ of trivial character. These, and other related results, are consequences of our main theorem, which establishes criteria for $f$ and $H^1_f(\mathbb{Q},V)$, where $V$ is the $p$-adic Galois representation associated with $f$, that ensure that $\mathrm{ord}_{s=1}L(f,s)=1$. The main theorem is proved using the Iwasawa theory of $V$ over an imaginary quadratic field to show that the $p$-adic logarithm of a suitable Heegner point is non-zero. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Comments: 23 pages

MSC Class: 11G40; 11R23; 11G05; 11G07

A positive proportion of elliptic curves over $\mathbb{Q}$ have rank one

Authors: Manjul Bhargava, Christopher Skinner

Abstract: We prove that, when all elliptic curves over $\mathbb{Q}$ are ordered by naive height, a positive proportion have both algebraic and analytic rank one. It follows that the average rank and the average analytic rank of elliptic curves are both strictly positive. We prove that, when all elliptic curves over $\mathbb{Q}$ are ordered by naive height, a positive proportion have both algebraic and analytic rank one. It follows that the average rank and the average analytic rank of elliptic curves are both strictly positive. △ Less

Submitted 31 December, 2013; originally announced January 2014.

Comments: 19 pages

MSC Class: 11G05; 11R45

Fourier coefficients of half-integral weight modular forms modulo ell

Authors: Ken Ono, Christopher Skinner

Abstract: For each prime $\ell$, let $|\cdot|_\ell$ be an extension to $\bar \Q$ of the usual $\ell$-adic absolute value on $\Q$. Suppose $g(z) = \sum_{n=0}^\infty c(n)q^n \in M_{k+\half}(N)$ is an eigenform whose Fourier coefficients are algebraic integers. Under a mild condition, for all but finitely many primes $\ell$ there are infinitely many square-free integers $m$ for which $|c(m)|_\ell = 1$. Conse… ▽ More For each prime $\ell$, let $|\cdot|_\ell$ be an extension to $\bar \Q$ of the usual $\ell$-adic absolute value on $\Q$. Suppose $g(z) = \sum_{n=0}^\infty c(n)q^n \in M_{k+\half}(N)$ is an eigenform whose Fourier coefficients are algebraic integers. Under a mild condition, for all but finitely many primes $\ell$ there are infinitely many square-free integers $m$ for which $|c(m)|_\ell = 1$. Consequently we obtain indivisibility results for ``algebraic parts'' of central critical values of modular $L$-functions and class numbers of imaginary quadratic fields. These results partially answer a conjecture of Kolyvagin regarding Tate-Shafarevich groups of modular elliptic curves. Similar results were obtained earlier by Jochnowitz by a completely different method. Our method uses standard facts about Galois representations attached to modular forms, and pleasantly uncovers surprising Kronecker-style congruences for $L$-function values. For example if $Δ(z)$ is Ramanujan's cusp form and $g(z)=\sum_{n=1}^{\infty}c(n)q^n$ is the cusp form for which $$L(Δ_D,6)=\fracwithdelims()π{D}^6\frac{\sqrt{D}}{5!}\frac{< Δ(z),Δ(z)>} {< g(z),g(z)>}\cdot c(D)^2,$$ for fundamental discriminants $D>0,$ then for $N\geq 1$ $$\sum_{k=-\infty}^\infty c(N-k^2) \equiv \half \sum_{d|N}(χ_{-1}(d)+χ_{-1}(N/d))d^6 \pmod {61}. \tag{0}$$ △ Less

Submitted 31 October, 1996; originally announced November 1996.

Report number: ANT-0048