[henrydark]

This definitely fits with Grothendieck's philosophy: he basically ignored all work in this area, implicitly claiming it was trivial, while some of his closest friends and most famous student made huge strides with actual hard work - not quite things falling into place. In fact, the paper most famously proving the Weil conjectures has as an explicit target the coefficients of a modular form, uses an inspiration from automorphic forms theory, and is infamously Grothendieck's greatest disappointment.

There is rich structure in this area of maths that goes well beyond just sections of some sheaf, or at least this is what Serre, Deligne, Langlands, Mazur, Katz, Hida, Taylor, Wiles and many others seem to think.

[xyzzyz]

Oh, I did not meant to imply that the framework necessarily makes it so that the results open like a softened, rubbed nut, as Grothendieck said; I don't quite agree with that. For me, the benefit is rather in building a mental framework, which facilitates understanding, and putting seemingly disparate things into one coherent whole. The actual hard thinking and insights are still necessary, it ain't no royal road.