The universal Kolyvagin recursion implies the Kolyvagin recursion (Q2644345): Difference between revisions

Let \(F\) be a totally real abelian field and \(M\) an odd positive integer. For every squarefree positive integer \(r\) whose prime factors are congruent to 1 modulo \(M\) and split completely in \(F,\) the corresponding Kolyvagin class \(\kappa_r \in F^\ast/F^{\ast M}\) satisfies a remarkable recursion, which for each prime \(\ell \mid r\) determines the order of vanishing of \(K_r\) at each place of \(F\) above \(\ell\) in terms of \(\kappa_{r/\ell}.\) In their paper [Can. J. Math. 55, No. 4, 673--692 (2003; Zbl 1055.11061)], \textit{G. W. Anderson} and \textit{Y. Ouyang} gave this recursion a new and universal interpretation in terms in their so-called ``double complex method''. More precisely, for any formal product \(z\) of elements of a totally ordered set (e.g. the set of prime ideals in a number field), for any algebra \(A\) over the ring of integers \({\mathcal O}\) of a number field or a local field with characteristic zero, the authors construct a group \(G_z = \prod_{x\mid z} G_{x^n}\) and an \(A[G_z]\)-module \({\mathcal U}_z\) satisfying certain distribution relations. This module \({\mathcal U}_z,\) called the universal norm distribution of level \(z,\) can be viewed as a generalization of Kubert's universal ordinary distribution or Rubin's universal Euler system. The double complex method produces a canonical basis for \(H^\ast (G_z, {\mathcal U}_z/M {\mathcal U}_z)\) as a free \(A/MA\)-module. A basis of \(H^0 (G_z, {\mathcal U}_z/M {\mathcal U}_z)\) then yields, after repeated action of a ``diagonal shift operator'', a sequence of elements in this \(H^0\) which satisfies the so-called universal Kolyvagin recursion. In particular, the family of original Kolyvagin classes [as defined in \textit{K. Rubin}'s book ``Euler systems.'' (Hermann Weyl lectures), Ann. Math. Stud. 147, Princeton University Press (2000; Zbl 0977.11001)] satisfies this recursion. Now, given a number field \(K\) and a \(p\)-adic representation of \(G_K\) with coefficients in \({\mathcal O},\) the universal norm distribution \({\mathcal U}_z\) gives rise to a universal Euler system, as introduced and studied in chapter 4 of Rubin, op. cit. A celebrated theorem of Rubin asserts that the family of the Kolyvagin classes satisfies an important recursive relation, which is essential to the effectiveness of the Euler system. In the present paper, the author shows that this recursion is also implied by the universal Kolyvagin recursion above. He expresses the hope that his more abstract approach could lead to a new way to find new Euler systems.