The “anonymously” written exercise linked over on E. Kowalski’s blog must easily be the funniest mathematico-literary joke of all time. A short excerpt:

“Menard (perhaps without wanting to) has enriched, by means of a new technique, the halting and rudimentary art of mathematical writing: this new technique is that of the deliberate anachronism and the erroneous attribution. This technique, whose applications are infinite, prompts us to read “The Theory of Functions” by Titchmarsh as if it were posterior to Donaldson’s “Riemann Surfaces” and the book “Locales” of Prof. V.I. Siletzsky as if it were by Prof. V.I. Siletzsky. This technique fills the most placid works with adventure…”

I spent a pleasant hour in a cafe in Oakland reconstructing the elementary proof of the “supplementary law” . This is exactly the kind of tricky elementary argument I have trouble remembering if I’ve only see it once before (which was the case). Anyway, the proof goes as follows: let . We’ll evaluate this mod p in two different ways. On the one hand, we clearly have . On the other hand, mod p we have .

Related puzzle: what is the value mod p of ? The first few values are misleading!

I’m in California for 11 days, for (mostly) math. Here’s something fun I just learned from Dick Gross. Let be a split simple algebraic group over , and let be (a -lattice in) an irreducible algebraic representation of . It’s not hard to check that if is minuscule, the representation is an irreducible -representation for every prime . Are there any other examples of with this property? It turns out there is exactly one more example: the adjoint representation of . When I said it was surprising to me that another such example existed, Dick explained that I shouldn’t be surprised, because after all, “ is the greatest group that God ever created, so it’s not surprising that it has amazing properties like this”.

In classical Hodge theory, variations of Hodge structure give rise to varying periods, and then to period morphisms. In p-adic Hodge theory, there are plenty of periods but (until recently) not so many period morphisms. It turns out these exist in some ridiculous generality, and they have some interesting applications – you can read more here! (The linked thing was originally meant to be a blog post.)

Just back from a week-long workshop at Oberwolfach on “Nonarchimedean geometry and applications”. Some random comments:

During the workshop, Kiran Kedlaya started a nonarchimedean Scottish book, to record open problems in the foundations of nonarchimedean geometry, especially in the theory of adic and perfectoid spaces. (See here if you don’t understand the name.) There’s no short supply of problems!

On a related note, Kiran convinced me (against my will) that given some Huber pair , the question of whether or not the structure presheaf on is a sheaf depends a priori on the choice of ! The issue is that for two different choices with associated , rational subsets match up but coverings by rational subsets might not.Depressing.
On the other hand, every practical criterion for sheafyness (e.g. locally Noetherian, f.g. as an algebra over a Noetherian ring of definition, perfectoid, stably uniform, etc.) is independent of .

Werner Lutkebohmert is very nice.

There’s a natural notion of a “perfectoid Deligne-Mumford stack”. To make this precise, let be a nonarchimedean field. Then (provisionally) a perfectoid DM stack over is a stack in groupoids on whose diagonal is representable in diamonds and which admits a surjective and pro-etale 1-morphism for some . (As is customary, we’ll abbreviate this last thing to “a morphism “.)
One can make examples of these things by analytifying classical Deligne-Mumford stacks over . Not very surprising (although it requires proof). But here’s a much weirder example: Take for some finite , and let be the division algebra over with invariant . Then there’s a natural action of on , and the groupoid is a perfectoid DM stack over . Roughly speaking, the idea is that the infinite-level Lubin-Tate space gives a pro-etale and -equivariant -torsor , so then quotienting we get surjective and pro-etale. But matches up with Drinfeld space at infinite level, and then is the diamond associated with the Drinfeld upper half-space. This gives the required . Anyway, I’ll try to write this up more carefully in the next version of this thing.
Nb. The notion of a perfectoid DM stack (and even of a perfectoid algebraic stack) will play a crucial role in Fargues’s geometrization of the local Langlands correspondence, so there’s ample motivation for considering these objects.

Theorem. Let be an affinoid rigid space, with a closed analytic subset and an admissible open subset containing . Then for some , the “tube” around is contained in .

To quote from Conrad’s notes on nonarchimedean geometry: “This can be proved by the methods of rigid geometry, but the only proof along such lines which I know is long and complicated. A short proof was given by Kisin via Raynaud’s formal models…” Conrad then goes on to give a proof using Berkovich spaces. Here we give a very short adic proof, with spectrality of qcqs adic spaces as the key ingredient.

Proof. WLOG is qc (for any covering of by affinoids, some finite subcover will contain all of ). Passing to adic spaces, it clearly suffices to show that for some . Since , we clearly have . But is a closed subset of the spectral space , so is spectral itself, and hence compact and Hausdorff in the constructible topology. Therefore (putting the constructible topology on everything) is an empty inverse limit of compact Hausdorff spaces, and thus one of the terms in the limit must be empty. (A reference for this last implication is e.g. Proposition 1.1.4 in this book.)

People often say things like “Berkovich spaces are great because they’re locally compact Hausdorff and so you can make nice topological arguments on them”; the moral here is that adic spaces have the same flexibility once one passes to the constructible topology.

(I don’t know Kisin’s proof, but it must be related somehow, since the topological spaces underlying the adic spaces come from the inverse limit of all formal models.)