I just posted a new version of my preprint on local shtukas and Harris’s conjecture. To be clear, the goal of this paper is to make good on the optimism I expressed in this previous post. This project has been one of the most intense mathematical experiences of my life, and I hope to write a proper blog post about it soon.
Anyway, the paper should basically be stable at this point, with the exception that will probably be rewritten to some degree once Peter’s six-functors book is done. The only real difference from the the first version is that the material around the “pointwise criterion” in has been streamlined and clarified a bit. All comments, questions or corrections are very welcome!