Here's an idea that I've found appealing but have never been able to get anywhere with.

One way to frame the Gouvea-Mazur question (for lack of a better term, since the original conjecture by the same name has been disproven) is as follows: Let $\pi:\mathcal{E}\to \mathcal{W}$ be the eigencurve (of some tame level) with its natural projection to weight space. Given a classical point $x\in \mathcal{E}$, what is the radius of the largest disk around $\pi(x)\in \mathcal{W}$ over which $\pi$ admits a section sending $\pi(x)$ to $x$?

Ramification points of the map $\pi$ provide natural obstructions to the existence of such a section. On the other hand, these ramification points arise naturally as the zeros of a symmetric square $L$-function on $\mathcal{E}$. This is the the main result of Walter Kim's 2006 thesis written under Robert Coleman (which, as far as I know, never appeared anywhere).

I once had a chat with Barry Mazur in which he (very roughly - these are my words from my recollection several years on) said that this symmetric square $L$ function should be thought of as a section of $\Omega^1_{\mathcal{E}}$, namely the pullback of the differential $dt/t$ on $\mathcal{W}$ via $\pi$. (Here $t$ is the coordinate on the disk of radius $1$ about $1 \in \mathbb{C}_p$ and we're using the usual identification of $\mathcal{W}$ with a stack of such disks.)

Clearly $\omega=\pi^*(dt/t)$ has zeros precisely at the ramification points. More generally:

1) Is the "size" of $\omega$ related to the maximal radius of a section to $\pi$?

2) Is this radius then related to the algebraic part of the symmetric square $L$-function?

The first question isn't so well-posed, and may rely on an integral model (formal scheme) giving rise to $\mathcal{E}$.

upper half plane,nota function on a modular curve. The sheaf of differentials on the upper half plane is canonically trivial; the sheaf of differentials on a modular curve is not. So from that optic it's not surprising at all that a weight 2 modular form is a function---it's just not a function on the right space :-) $\endgroup$ – Kevin Buzzard Feb 15 '11 at 7:261more comment