This is the first in a series of posts whose goal is quite ambitious. Namely, we will attempt to give an intuitive explanation of why the recent push of several prominent mathematicians (Fargues, Scholze, etc.) to ‘geometrize’ the ‘arithmetic’ local Langlands program is intuitively feasible (at least, why it seems intuitive to me!) and, more to the point, to understand some of the major objects/ideas necessary to discuss it.
The goal of this post, in particular, is to try and understand why perfectoid fields (of which perfectoid spaces, their more corporeal counterparts) are natural objects to consider. This is far from a historical account of perfectoid fields and tilting, of which I am far from knowledgable. Instead, this is more in the style of Chow’s excellent You Could Have Invented Spectral Sequences explaining how one might have arrived at the definition of perfectoid fields by ‘elementary considerations’.
This post is somewhat out of order. In some magical world where I actually planned out my posts, this would have been situated less anteriorly but, as we’re constantly reminded, we do not live in a perfect world!
These are some notes that I wrote for a learning course at Berkeley–the goal being to understand the statement of the global Langlands conjecture.
The goal of the talk (that these notes were written for) was, specifically, to motivate -adic Hodge theory with an eye, in particular, towards where it might be useful in understanding the statement of Langlands.
These are even less edited than usual, so I profusely apologize for any mistakes. As always, corrections/comments are very welcome!
I was asked to give a series of talks in an `automorphic representations’ learning seminar at Berkeley. Specifically, I was asked to talk about the local representation theory of and aspects of the global representation theory of .
These are ongoing but I thought I’d post my notes for the first two talks. The first is on the representation theory of and the second is on the representation theory of with a focus on the relationship to modular forms.
These notes are a bit on the ‘basic’ side, leaving most technical details/proofs to the more comprehensive texts. This could be useful for some people who just want to get an overview of the ideas involved.
I get an email every week or so which says something to the effect of “When are you going to make another blog post?” I am continually amazed by this–it’s absolutely shocking to me to see so many people interested in the things I write, and I find the emails and comments that I get heartening to no end.
So, for those who have been asking, I have not been posting that many things for a combination of two reasons. First, I’ve just been super busy. I’ve been running many seminars here at Berkeley and, of course more importantly, been working on my thesis. But, perhaps even more of the issue, I’ve started multiple, multiple very long posts that are approaching completion, but (for semi-perfectionist reasons) I’d rather not post them quite yet.
For those curious, a sampler of these in-preparation posts are:
A post on stacks, with a focus on understanding the statement “ (i.e. -torsors) classify objects on locally isomorphic to ” or, equivalently, with a focus on the “theory of twists”.
A high-level discussion of the Eichler-Shimura construction and how it fits into the larger picture of the Langlands program. I find that using more advanced ideas (such as etale cohomology) not only makes the whole construction incredibly more natural, but leads onequite readily into the general idea of why Shimura varieties are important–why they should realize something like the global Langlands correspondence.
A rambling discussion of motives, the Weight-Monodromy conjecture, and Galois representations.
A semi-thorough discussion of modular curves, modular forms, and their relationship from an algebro-geometric standpoint (something like a ‘what I’ve needed to know from Katz-Mazur’).
Essentially all of these are ‘mostly done’, and I hope to post (some) of them soon–probably in the order they were listed above.
Anyways, thanks again for your continued support! A special thanks to Dr. Woit whose undeservedly kind words brought quite a bit of attention to my small blog.
This is the transcription to blog format of a talk I gave at the UC Berkeley Student Arithmetic Geometry Seminar about several topics related to Fontaine’s famous result that there are no abelian schemes over .