I have not been able to post of late as I’ve been quite busy working on several projects.
I wanted to make a post though discussing a new draft with my collaborator A. Bertoloni Meli that I’m quite excited about. In it we discuss a method for characterizing the local Langlands conjecture for certain groups as in Scholze’s paper [Sch]. Namely we show that for certain classes of groups an equation like that in the Scholze–Shin conjecture (see [Conjecture 7.1, SS]) is enough to characterize the local Langlands conjecture (for supercuspidal parameters) at least if one is willing to assume that other expected properties of the local Langlands conjecture hold.
The main original idea of this paper is the realization that while the Langlands–Kottwitz–Scholze method only deals with Hecke operators at integral level (e.g. see the introduction to [Sch]) that one can circumvent the difficult questions this raises (e.g. see [Question 7.5,SS]) if one is willing to not only consider the local Langlands conjecture for in isolation, but also the local Langlands conjecture for certain groups closely related to (so-called elliptic hyperendoscopic groups). Another nice byproduct of this approach is that while the Scholze–Shin conjecture is stated as a set of equations for all endoscopic triples for our paper shows that one needs only consider the trivial endoscopic situation (for elliptic hyperendoscopic groups of ).
This paper is closely related to the paper mentioned in this previous post where me and A. Bertoloni Meli discuss the proof of the Scholze–Shin conjecture for unramified unitary groups in the trivial endoscopic triple setting.
[Sch] Scholze, Peter. The Local Langlands Correspondence for GL_n over -adic fields, Invent. Math. 192 (2013), no. 3, 663–715.
[SS] Scholze, P. and Shin, S., 2013. On the cohomology of compact unitary group Shimura varieties at ramified split places. Journal of the American Mathematical Society, 26(1), pp.261-294.
Attached below are notes that I wrote for a seminar at Berkeley.
The goal of the notes was to understand some of the representation theory surrounding Scholze’s paper on the cohomology of the Lubin–Tate tower. In particular I, Koji Shimizu, DongGyu Lim, and Sander Mack-Crane were/are interested in understanding whether there is a function field analogue of this paper.
In particular, it has an eye towards modular (i.e. mod ) representations of -adic groups. So, it discusses some of the classical theory of representations of -adic groups from a categorical perspective which serves one better in the modular representation setting. It also discusses the fascinating theorem of Kazhdan relating Hecke algebras for and where and are soemthing like the tilts of and .
I have had the pleasure of helping to run a seminar on etale cohomology and, in the process, have been writing up questions for the participants to work on. In case it would be useful to any readers of my blog, I thought I’d include them here.
I will be continuing to edit this post with the most recent version of the exercises.
Please feel free to point out any errors and/or suggest any good problems!
While the explanation of my work was the original goal of the notes, they have since evolved into a motivation for the Langlands program in terms of the cohomology of Shimura varieties, as well as explaining some directions that the relationships between Shimura varieties and Langlands has taken in the last few decades (including my own work).
I hope that it’s useful to any reader out there. Part I was mostly written with me, four years ago, in mind. So, in a perfect world someone out there will be in the same headspace as I was, in which case it will (hopefully) be enlightening.
In case you’re wondering the intended level for the reader is probably: 1-3 year graduate student with interest in number theory and/or arithmetic geometry. In particular, for Part I there is an assumption that the reader has some basic knowledge about: Lie groups, algebraic geometry, number theory (e.g. be comfortable with what a Galois representation is), algebraic group theory, and etale cohomology (although this can be black-boxed in the standard way–e.g. all one needs to know is the contents of Section 3 of this set of notes). Part II is mostly written as an introduction to a research topic, and so requires more background.
PS, feel encouraged to point out any mistakes/improvements that you think are worth mentioning.
This is a rough transcription of a talk I gave to a class of algebraic number theory students at UC Berkeley with the goal of trying to understand how one might bring to bear modern techniques in number theory/geometry on some classical questions. I have essentially kept the format the same, while adding a bit of extra material (and adding in their responses to questions I asked). (more…)
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!
Here are some notes that I wrote for a Galois representations learning seminar. I was tasked with giving the first talk about local fields, global fields, their Galois groups, and their connection.
Since most participants were seasoned veterans (at least insofar as basic definitions/results go) I tried to sail towards slightly more interesting waters. Thus, these notes, while containing (basically) the bare-bones technical information, have a slightly different goal then a standard introductory talk on the subject. Namely, they focus on two things:
Trying to establish, via multiple analogies, a ‘geometric understanding’ of what is measuring with regards to –how it is studying the ‘local arithmetico-geometric data of a (punctured) ) at ‘.
Trying to emphasize the ‘credo’ that the hard part of something like is the wild ramification group . This is done by explaining how is ‘simple’ and explaining how one can understand geometrically (by thinking about the geometry of curves over finite fields) why wild ramification is hard.This, for people that know some Galois representations, should not be a shocking focus since the oomph of big results like Grothendieck’s -adic monodromy theorem is that is ‘almost killed’ when discussing -adic representations and, combining this with our credo, explains why -adic representations are ‘simpler’ than -adic ones.
There should be two warnings though:
I proof read these even less than I usually do for posts. So, please take the contents with an extra large grain of salt. Please let me know if any mistakes are present and I will (attempt to) correct them.
Apparently there is a phrase ‘simple’ in group theory, which is kind of a big deal. I kind of, perhaps, maybe forgot this while writing these notes. So the phrase ‘simple group’ should be translated to ‘not very complicated group’ in these notes.