>>11503769Allow me to answer my own question. Yes, the answer is yes. One may object that, while his diamond-theoretic approach to shtukas via the moduli stack of bundles on the Fargues-Fontaine curve has been fruitful, his approach has so far been intrinsically local in nature. But really, this is merely due to the non-Archimedean nature of adic spaces. As of a few months, this has been reconciled: building on the methods of condensed mathematics, a new framework of analytic geometry has been proposed, bringing together Archimedean complex-analytic and non-Archimedean p-adic geometry under a single umbrella, and ultimately, allowing for the local-to-global principle we've all been longing for.
