On the anticyclotomic Iwasawa theory of CM forms at supersingular primes (Q2340462): Difference between revisions

The goal of this paper is to study the anticyclotomic Iwasawa theory of an elliptic CM newform \(f\) of even weight \(w\geq2\), generalizing the results in weight 2 due to \textit{A. Agboola} and \textit{B. Howard} [Math. Res. Lett. 12, No. 5--6, 611--621 (2005; Zbl 1130.11058)]. This should also be considered as the first step towards an anticyclotomic main conjecture for CM forms in the supersingular setting , in analogy with the results of \textit{T. Arnold} when \(p\) is an ordinary prime for \(f\) [J. Reine Angew. Math. 606, 41--78 (2007; Zbl 1138.11047)]. The results obtained here rely on two main ingredients, which are unfortunately partly conjectural: Step 1. The construction and analysis of \(\pm\)-Selmer groups, in the spirit of \textit{S.-i. Kobayashi} [Invent. Math. 152, No. 1, 1--36 (2003; Zbl 1047.11105)]. Step 2. The proof of the non vanishing of a central critical twist of the Euler system of elliptic units along the anticyclotomic Iwasawa tower, which controls the \(\pm\)-Selmer groups previously constructed. The difficulty in step 1: In weight 2, Agboola and Howard [loc. cit.] used the formal group of the associated elliptic curve to analyze the local cohomological groups. This is no longer available in higher weight, so the author must appeal to \(p\)-adic Hodge theory and conjecture suitable generalizations of two technical fundamental results on universal norms along the anticyclotomic tower. The difficulty in step 2: The non vanishing results of \textit{D. E. Rohrlich} [Invent. Math. 75, 383--408 (1984; Zbl 0565.14008)] are lacking in higher weight, so the author, adapting the method of Arnold [loc. cit.], shows first the non triviality of the twisted elliptic unit Euler system, then he relates it to Kato's Euler system of Beilinson elements and makes use of Kato's explicit reciprocity laws to calculate the image of these elements under the dual exponential map in terms of relevant \(L\)-values. Once these difficulties are overcome, the author can use the standard Euler system machinery to obtain two main results: the first is a ``control theorem'' for the ranks of Selmer groups attached to \(f\) along the anticyclotomic tower; the second is an equality between the characteristic series of two Iwasawa modules, on the one hand a dual (\(-\varepsilon\))-Selmer group attached to \(f\) (\(\varepsilon\) denoting \(\pm1\)), on the other hand a certain \(\varepsilon\)-cohomological module which is expected to relate to an appropriately defined anticyclotomic \(p\)-adic \(L\)-function.