Report from Oberwolfach

Recently returned from a workshop on “Arithmetic of Shimura varieties.”

• The organizers did a great job choosing the speakers. For one thing, the overlap between speakers this time and speakers at the previous edition of this event was a singleton set, which I think is a reasonable choice. Moreover, the majority of the speakers were junior people, which is also totally reasonable. It was great to hear what everyone is doing.
• Best talks: Ana Caraiani, Teruhisa Koshikawa, Keerthi Madapusi, Sug Woo Shin, Joao Lourenco
• Best chaotic talk with amazingly strong theorems: Ian Gleason
• SWS has advised a very disproportionate number of Alexanders.
• The usual hike wasn’t possible, due to snow in the mountains. Ah well. Instead we hiked along a path parallel to the road. But there was still cake.
• The food was slightly better than usual: they didn’t serve the notorious bread casserole, and one dinner (the polenta thing) was actually really good.
• “I mean, you know Ben. He’s pretty unflappable. But, yeah… [redacted], uh… flaps him.”
• During the workshop, LM and I hit upon a conceptual explanation for Bernstein-Zelevinsky duality, which works both for group representations and for sheaves on , even when ! More on this later.
• “What was the motivation for this conjecture?” “The motivation was that it is true.”
• Some young people have extremely weird expectations for how the postdoc job market should work.
• The notion of “genericity” in various guises, and its relevance for controlling the cohomology of local and global Shimura varieties, was very much in the air. This came up in Caraiani and Koshikawa’s talks, and also in my (prepared but undelivered, see the first bullet above) talk. My handwritten notes are here, and may be of some interest. Conjectures 3 and 5, in particular, seem quite fun.
• Had some interesting conversations with VL about nearby cycles and related topics. Here’s a concrete question: can the results in this paper be adapted to etale cohomology? There are definite obstructions in positive characteristic related to Artin-Schreier sheaves, but in characteristic zero it should be ok.
• During the workshop, Ishimoto posted a beautiful paper completing Arthur’s results for inner forms of odd special orthogonal groups, at least for generic discrete parameters. I was vaguely sure for several years that this was the (only) missing ingredient in proving compatibility of the Fargues-Scholze LLC and the Arthur(-Ishimoto) LLC for and its unique inner form. After reading this paper, and with some key assists from SWS and WTG, I now see how to prove this compatibility (at least over unramified extensions with ). It shouldn’t even take many pages to write down!
• On a related note, shortly before the workshop, Li-Huerta posted his amazing results comparing Genestier-Lafforgue and Fargues-Scholze in all generality!

As always, Oberwolfach remains one of my favorite places to do mathematics. Thank you to the organizers for putting together a wonderful workshop!

Advertisement

Fall roundup

Apologies for the lack of blogging. This has been an unusually busy fall.

• My student Linus Hamann has a website! Please go there and check out his beautiful preprints, especially his paper on comparing local Langlands correspondences for GSp4.
• There have been a lot of great papers this year, but I was especially struck by these gorgeous ideas from Teruhisa Koshikawa. Readers might recall that the seminal Caraiani-Scholze papers contain a fun part (p-adic geometry of Shimura varieties and their Hodge-Tate fibers, semiperversity of Hodge-Tate pushforwards) and a not fun part (arguments with the twisted stable trace formula and Shin’s stable trace formula for Igusa varieties). Koshikawa completely eliminates the not fun part, replacing it with an extremely clever use of the Fargues-Scholze machinery. Even in the setting of the CS papers, Koshikawa’s main theorem is stronger; moreover, his technique opens the door to a wide generalization of the CS vanishing results beyond the specific unitary Shimura varieties they treated. (Note for ambitious readers: The problem of working out these generalizations has already been “taken” by specific people.)
• Eagle-eyed readers of H.-Kaletha-Weinstein might’ve noticed that the entire paper depends crucially on a non-existent preprint cited as [GHW]. As discussed in a previous post, the point of GHW is to construct the functor in etale cohomology for certain stacky maps of Artin v-stacks, by adapting some machinery of Liu-Zheng which they built to solve the analogous problem in the setting of Artin stacks. Since the above-mentioned papers of Hamann and Koshikawa both depend directly on HKW, and thus indirectly on GHW, I’ve felt some increased pressure recently* to actually produce this paper!
  However, I think this pressure helped push me past the final points of confusion in this project, and I’m pleased to report that after nearly 4 years of struggle, the details of GHW have finally come together. I’m cautiously optimistic that the paper will be publicly available within a few months. The arguments are an infernal mixture of delicate p-adic geometry and general -categorical constructions. Actually, this is the most intense and frustrating project I’ve ever worked on. It will be good to finish it.
• As always, David Roberts offers a voice of clarity against the nonsense burbling out from the IUT cultists.
  
  *Both from myself and from the referee for HKW.