Non-cuspidal Hida theory for Siegel modular forms and trivial zeros of \(p\)-adic \(L\)-functions (Q2200762)

Using a method due to \textit{R. Greenberg} and \textit{G. Stevens} [Invent. Math. 111, No. 2, 407--447 (1993; Zbl 0778.11034)], the authors prove part of Greenberg's conjecture on the order and leading coefficient at a semi-stable trivial zero of the standard \(p\)-adic \(L\)-function associated with a \(P\)-ordinary Siegel modular form. Let \(F\) be the coefficient field, a (sufficiently large) \(p\)-adic field. Let \(P\) be a parabolic of \(\mathrm{GL}(n)\), associated with a partition with \(d\) parts. Using the doubling method, the author construct a \(d+1\)-variables \(p\)-adic \(L\)-function for \(P\)-ordinary Hida families that interpolates critical values to the left of the center of the standard \(L\)-function. Using the Greenberg-Stevens method, they compute the derivative of this \(p\)-adic \(L\)-function at a semi-stable trivial zero. The results implies the conjecture of Greenberg up to \begin{itemize} \item the non-vanishing of the \(\ell\)-invariant of Greenberg, which is a very hard problem \item the non-vanishing of an imprimitive \(L\)-function that may vanish because of the vanishing of Euler factors at prime divisors of the tame level of the cuspidal Siegel modular forms in the Hida families. \end{itemize}