Greenberg's functional equation conjecture for ordinary Selmer groups

Let VV be a finite-dimensional \d835\dd34p\d835\dd34_p-vector space with a continuous \d835\dd34\d835\dd34\d835\dd34\d835\dd34\d835\dd34(\d835\dd34\dd34\d835\dd34\d835\dd34\d835\dd34/\d835\dd34p)\d835\dd34\d835\dd34\d835\dd34\d835\dd34\d835\dd34(\d835\dd34\dd34\d835\dd34\d835\dd34\d835\dd34/\d835\dd34_p)-action, and let TT be a stable \d835\dd34p\d835\dd34_p-lattice in VV, with A=V/TA=V/T. Let \d835\dd34\d835\dd34\d835\dd34\d835\dd34_\d835\dd34_\d835\dd34 be the cyclotomic \d835\dd34p\d835\dd34_p-extension of \d835\dd34\d835\dd34, with Galois group \d835\dd34\d835\dd34, and let SA(\d835\dd34\d835\dd34\d835\dd34)S_A(\d835\dd34_\d835\dd34_\d835\dd34) denote the Greenberg Selmer group. Write \d835\dd34=\d835\dd34p\d835\dd34\d835\dd34=\d835\dd34_p\llbracket \d835\dd34\rrbracket, let \d835\dd34\d835\dd34 be the involution sending \d835\dd34\d835\dd34 to \d835\dd341\d835\dd34^{-1}, and let MιM^{\iota} denote the resulting twist of a \d835\dd34\d835\dd34-module. Set A=Hom(V,\d835\dd34p(1))/Hom(T,\d835\dd34p(1))A^*=\operatorname{Hom}(V,\d835\dd34_p(1))/\operatorname{Hom}(T,\d835\dd34_p(1)). A module is pp-critical when VV has the pp-critical property used in Greenberg's conjecture. Greenberg's functional equation conjecture. One should expect that

SA(\d835\dd34\d835\dd34\d835\dd34)SA(\d835\dd34\d835\dd34\d835\dd34),ιS_A(\d835\dd34_\d835\dd34_\d835\dd34)^{\vee}\sim S_{A^*}(\d835\dd34_\d835\dd34_\d835\dd34)^{\vee,\iota}

when VV is pp-critical. This refines the equality of characteristic ideals predicted by the algebraic functional equation and concerns the Selmer modules themselves; the supplied text does not state whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Cédric Dion, “Functional equations for supersingular abelian varieties over Z_p^2-extensions”, arXiv:2208.01474 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.