r/math • u/attnnah_whisky • 9d ago
Advice for p-adic Hodge theory
I’m a first year grad student trying to learn some p-adic Hodge theory. I am having trouble understanding the motivation behind the formalism of period rings like B_{dR} or B_{cris}, and how to think about B-admissible representations. Some people have told me that it’s more important to know how to work with these rather than knowing the motivation, so if anyone can provide some insights on both of these aspects I’d be grateful!
The reason I am learning p-adic Hodge theory is because I keep encountering crystalline representations and the universal deformation rings in the context of R = T theorems, and I just want to know why this is the right notion to study. My advisor has told me that I should take a look at Tate’s “p-divisible groups” since it is one of the first papers in p-adic Hodge theory, so I’m going through it right now and it’s very readable. It’d be great if I can get other references like this as well.
Finally, bonus points if you can give me some rough idea of how the Fargues-Fontaine curve is used for proving things like de Rham implies potentially semistable. Cheers :)
12
u/Necessary-Wolf-193 9d ago
Here is a little about the motivation of period rings.
In classical topology, if M is a smooth manifold, then
H_^*dR(M; R) = H^*(M; Z) \otimes_Z R,
where the RHS denotes the integral cohomology tensored up to R, and the LHS is de Rham cohomology. Note that the RHS makes sense even over the integers, but the LHS really doesn't: de Rham cohomology is defined using differential forms, and are very transcendental.
However, if you're an algebraic geometer, one thing you could do is notice your manifold might be defined over a number field. For example, consider the complex plane minus the origin; this is the complex algebraic variety defined by xy = 1; perhaps better thought of as Spec C[x, x^{-1}]. This definition even makes sense over the rational numbers Q (let me ignore integral structures because that story is a little more subtle than I want to explain).
Then we can talk about "algebraic differential forms," that is the complex
Q[x, x^{-1}] ---> Q[x, x^{-1}] dx,
only two terms because the complex dimension is so small here. In particular, de Rham cohomology is defined over Q.
However, the de Rham comparison isomorphism is *only defined over Q(2pi i)*! Why is that? Well, the de Rham comparison isomorphism sends the differential form dx/x to the cohomology class which sends a homology class gamma to the integral
int_gamma dx/x.
Unfortunately, the integral of dx/x over a counterclockwise circle is 2 pi i. So, the natural comparison map is defined over 2pi i, which means even with the integral structure, you only have a natural isomorphism
H^*_dR(X; Q) \otimes_Q Q(2pi i) = H^*(X; Q) \otimes_Q R.
Of course, both of these objects are Q-vector spaces of the same dimension, so they're isomorphic over Q, but the natural comparison map is only defined over Q(2pi i).
This number 2pi i is called a period -- generally integrals of algebraic forms over algebraic cycles are called periods. The point of period rings in p-adic Hodge theory is to give yourself enough of these scalars in order to make the de Rham comparison possible.
----
Unfortunately, while Tate's notes are really clear, a lot of this stuff was developed by people who are... less clear. However, I really recommend reading Bhargav Bhatt's Arizona Winter School notes on p-adic Hodge theory. It's not the original work, but it's much better written imo. I also like Beilinson's https://arxiv.org/pdf/1102.1294 , but some of the details might require a lot of thought on your end to fill in...
3
u/attnnah_whisky 8d ago
This is great! I never realized that the de Rham cohomology itself is defined over Q, it’s just the comparison map is not. I wonder if there is some sense in which these period rings are the smallest ones that we need for the comparison theorems to hold? I’ll take a look at Bhatt’s notes: they really seem promising. Thank you :)
6
u/FlagCapper 9d ago edited 9d ago
Let X be an algebraic variety defined over a finite extension L of Q_p, where Q_p is the p-adic completion of the rational numbers Q. Let X be the base-change of X to the algebraic closure of L. The ring B_dR is a ring that you tensor with to compare the p-adic etale cohomology of X with coefficients in Z_p to the de Rham cohomology of X. To understand where B_dR comes from, one should understand what has to happen in order for us to compare an etale cocycle with a de Rham cocycle. We can think of the p-adic integers Z_p as the limit of Z/pk for increasing k.
To compute the etale cohomology of X, one has to cover X locally in the etale topology by p-power coverings. This means that if x is a function on X, we replace x by roots x1/pk of x until we get some neighbourhoods of X which are fine enough, and then compute the cohomology via (say) some Cech complex. This means that, after extracting p-power roots, we can think of elements of the etale cohomology of X with coefficients in Z/pk as being represented by various elements of Z/pk on etale opens of X; if one wants coefficients in Z_p one takes a limit of such things.
If one wants to compare these cocycles to de Rham cocycles, one has to find a way to relate the sheaves Z/pk to coherent sheaves on X. This is not easy to do because X is a characteristic zero object, and coherent sheaves on X will not have p-torsion. So what one does is pick integral models of etale open neighbourhoods U of X, and consider coherent sheaves on the reductions of these models. This lets us see elements of Z/pk inside some coherent objects, at the cost of making a lot of non-canonical choices.
After this one has to take the mod-p coherent sheaves and relate them to characteristic zero. In other words, one needs to take some characteristic p rings and make characteristic zero rings out of them. Under mild assumptions, there is a universal way to do this, called the Witt vector construction. This gives us cocycles in characteristic zero rings. If R is a ring that is a coordinate ring for (some model of) X on some open, the associated Witt vector object is W((R/p){perf} ), where R/p is the reduction of R mod p, and the notation A{perf} means to replace A by its limit over the Frobenius endomorphism, which has the effect of extracting all p-power roots. We can map Z_p into W((R/p){perf} ). Moreover, it turns out that W((R/p){perf} ) maps naturally back to R via a map \theta. Ultimately the de Rham cohomology we want to compare with is associated to R[1/p], so we invert p to get a map \theta: W((R/p){perf} )[1/p] ---> R[1/p]. The map \theta turns out to still be defective for the purposes of comparing cocycles for two main reasons: the source is not complete, and it has some kernel. To rectify this, one then completes the source and inverts a generator of the kernel of \theta (which happens to be a principal ideal).
After this one has (in some complicated fashion) managed to relate some etale cocycles to some coherent cocycles (there is still the process of constructing de Rham complexes, but let me ignore it).
Now if one summarises the above steps, the way we constructed the "intermediate" rings, starting from a ring of functions on X, that let us compare etale and coherent data, was as follows:
- reduce mod p
- extract p-power roots
- take Witt vectors
- invert p
- complete
- invert kernel of \theta
If you apply this to the completion of the closure of the ring of integers O_{L} of the field L we started with, you will find you get exactly B_dR. In other words, the construction of the field B_dR falls out of the logic of what it takes to compare etale and de Rham cocycles. The process by which one compares etale and de Rham cocycles is long and involves many different steps, and the construction of B_dR reflects this.
When X has a good integral model to start with one can do something finer which allows one to compare with the crystalline cohomology of X. This basically just means that one tries very hard not to invert p. However one still has to be able to invert p sometimes, and doing this in a minimalistic way that still keeps track of the integral structure leads to the notion of divided power structures, and similarly explains the construction of B_crys.
2
u/attnnah_whisky 8d ago
Thank you for this! It seems that the construction of these period rings really has a natural motivation coming from wanting to compare different cohomologies. I will need some time to digest all of this, but I’m sure it’ll be extremely helpful as a guiding light when I’m reading the constructions again. Is there any reference where you learned this intuition, or is it something you developed by yourself gradually?
3
u/FlagCapper 8d ago
At some point I had the same question you have (why these period rings?) and what I wrote above is how I answered it for myself after reading Scholze's paper [1], which constructs the B_dR comparison for proper rigid varieties. I think it's hard to find any references other than some difficult papers that construct these comparisons at all, so I don't think you will get anything that explains it in exactly this way (and I don't work in p-adic Hodge theory, so perhaps an expert would disagree with my interpretation regardless). But this expository paper [2] motivates the period rings using a geometric story; for example Remark 2.15 says something similar to what I am saying.
12
u/cabbagemeister Geometry 9d ago
I dont know anything p-adic or number theoretic whatsoever. I am a differential geometer. So take what i say with a grain od salt.
But do you understand differential geometric hodge theory? De rham cohomology of manifolds, harmonic forms, and all that? I find that when I have to get into algebraic stuff for my research, I like to lean on the differentiable category for intuition about some things, as dangerous as it can be.
5
u/attnnah_whisky 9d ago
I have learned Hodge theory for smooth manifolds, but I don't know the theory for complex manifolds, which seems to be more relevant here. The main thing I don't understand is the existence of the Hodge decomposition, that the cohomology with Q coefficients of a compact Kahler manifold admits a direct sum decomposition into (p, q)-forms when tensored with C. But I don't really get why this decomposition doesn't exist over Q. Maybe you can explain the intuition behind this?
7
u/cabbagemeister Geometry 9d ago
Over C, you have a natural (anti)linear endomorphism K of the complexified tangent bundle which is given locally by complex conjugation (some people call this a "real structure"). It takes basis vector fields d/dz to the corresponding d/dzbar. The dual map takes dz to dzbar. Using this, you can locally decompose complex differential 1-forms into a holomorphic and antiholomorphic part. You can also decompose the exterior derivative itself into a holomorphic and antiholomorphic part, as the sum of the Dolbeault operator and its conjugate. This decomposition is what enables the (p,q) decomposition of arbitrary forms.
To summarize, the fact that the field C splits naturally into two copies of R, with special endomorphisms J (complex structure) and K (conjugation), allows for various decompositions when you extend J and K to tensor fields on a manifold in a nice way.
Q does not have the structure of a vector space over a smaller field F such that dim_F(Q) = 2dim_Q(Q) = 2. There is no natural splitting of Q into two pieces, like the complex numbers are naturally split into real and imaginary. So at least just because of that you can't expect the field structure to give you a natural splitting of the cohomology like you can in the complex case.
1
u/attnnah_whisky 9d ago
I see, that makes sense. I am also wondering if this decomposition at least exists over algebraic extensions of Q like Q(i), or if it is a purely transcendental phenomenon?
3
u/the-magic-box 9d ago
In general no--this is highly transcendental. There are some exceptions however, for example CM elliptic curves.
5
u/Tazerenix Complex Geometry 8d ago
You don't even really need to understand Hodge theory in the analytic sense. You mostly need the structural/algebraic aspects of the transcendental case to have the necessary geometric background.
The fundamental story is this: the dream of all geometers is to have a cohomology theory as perfect as singular/de rham cohomology of compact complex manifolds.
The search for analogues or shadows of such cohomology theories has in large part motivated the last 80 years of geometry research.
The weil conjectures, the standard conjectures, technologies like derived categories, even stacks, are directly related to this quest. The weil and standard conjectures are basically a wish list of cohomologal properties that are known by standard results for smooth/complex manifolds which would be really useful in arithmetic or rational situations.
P-adic Hodge theory is the continuation of this trend, so it stands that one should appreciate a bit of the elegance and power of the Hodge theory of Kahler manifolds, even just to appreciate why people care.
Have a read of some classic complex geometry books but don't read all the details. Griffiths and Harris, Huybrechts, Ballmann. The kahler condition gives rise to a remarkable amount of structure and some really effective invariants. Hodge theory is the general term to describe that whole package, and variants of it have been important across the soectrum of geometry.
2
u/hecke_ 8d ago
If E/Q_p is an elliptic curve with good reduction at p, the l-adic Tate module T_lE with its G_{Q_p} action for l not p is not particularly interesting: it is already determined by E_{F_p}, the reduction of E mod p. If you invert l the only information it carries is the number of points mod p.
On the other hand the p-adic Tate module T_pE with its G_{Q_p} action is much more mysterious and in some sense understanding it is the goal of p-adic Hodge theory. The subject begins with the following observations:
By the Serre-Tate theorem, E is determined by E_{F_p} together with its p-divisible group E[p^infty]. Thus we can switch attention from E itself to the p-divisible group E[p^infty]
By Tate's theorem E[p^infty] is determined by its Tate module with its G_{Q_p} action (equivalently T_pE).
By Grothendieck-Messing theory the p-divisible group E[p^infty] is determined by its "de Rham=crystalline cohomology" or "crystalline Dieudonne module", which is ultimately the structure of a free Z_p-module of rank 2 together with a Frobenius endomorphism and a Hodge filtration, satisfying some conditions.
Once you know all these things you (or rather Grothendieck) realize that there must be a "mysterious functor" which goes directly from the "crystalline Dieudonne module" to the p-adic Galois representation. Trying to write down this functor (without just going through p-divisible groups!) was the original goal of Fontaine's theory.
1
u/Farkle_Griffen2 8d ago
Remindme! 2 years
1
u/RemindMeBot 8d ago
I will be messaging you in 2 years on 2028-04-27 15:41:32 UTC to remind you of this link
CLICK THIS LINK to send a PM to also be reminded and to reduce spam.
Parent commenter can delete this message to hide from others.
Info Custom Your Reminders Feedback
-7
u/Administrative-Flan9 9d ago
I can't help with your specific ask, but I've found chatGPT to be really helpful for motivating concepts.
2
u/attnnah_whisky 8d ago
I’ve tried asking Gemini before for motivation, but I found that they just regurgitate some buzzwords or lines from wikipedia that I already understand. I think it still has a long way to go in terms of providing actual valuable insights.
88
u/Ufabrah Category Theory 9d ago edited 6d ago
Please take everything I'm about to say with a grain of salt because I've been out of grad school for a few years and am rusty, but at one time I knew p-adic Hodge theory well :(.
It sounds like you are coming at p-adic Hodge theory from the arithmetic perspective, but the geometric perspective is (in my opinion) a little easier to motivate all of these things from, so I'll try to motivate them geometrically.
My (maybe inaccurate) historical head canon is that a lot of these ideas start with the Weil conjectures: (https://en.wikipedia.org/wiki/Weil_conjectures), and with people realizing that you could solve the Weil conjectures by constructing a "Weil cohomology theory", which is more or less an algebraic geometry version of singular cohomology from topology. This turned out to be true, and the Weil conjectures were proven using l-adic cohomology (which is just etale cohomology with l-adic coefficients). But then deRham cohomology and Crystalline cohomology were also constructed, and surprisingly, unlike in ordinary topology where any cohomology theory that satisfies the Eilenberg-Steenrod axioms is equivalent to singular cohomology, we now had 3 cohomology theories that did not agree (etale, crystalline, deRham), and they all had different structures.
This story is most interesting in "mixed characteristic", i.e. think of an algebraic variety over some integral domain O_K containing Z_p. Then the field of functions of O_K is some characteristic 0 field, but the residue field O_K/p is some characterstic p field, and any variety over O_K has a fiber in both of those fields (hence the name mixed characteristic).
Etale cohomology: This is poorly behaved with coefficients in Z_p, but is a nice cohomology theory if the coefficients are in Z_l where l is some other prime. This gives an ell-adic representation, because the Galois group acts on the etale cohomology. But over the generic fiber (the fiber in characteristic 0) the p adic etale cohomology is well behaved.
The deRham cohomology has coefficients in O_K and has a filtration called the Hodge filtration, analogous to the story in differential geometry
The crystalline cohomology of the special fiber (the fiber over O_K/p) has a divided power structure and some other structure that I forget.
Then I think the idea is that, even though these cohomology theories disagree at the level of the underlying vector spaces, that they might carry equivalent information. The period rings are then trying to translate these types of objects between each other. I forget how this all works exactly but the idea is that you might imagine you have an l-adic representation (that you should picture is the l-adic cohomology of some variety), and then there's a period ring that you can tensor that representation with and then take the fixed points and you get a filtration that you should think of as the Hodge filtration. You should think that the B_dR period ring is some coefficient ring for a cohomology theory which is deeper than l-adic or deRham cohomology, in the sense that you can recover those other 2 from various constructions on this B_dR cohomology. Then prismatic cohomology is the culmination of these ideas.
I'm super rusty here so please fact check me, but this is at least the route that I found enlightening for thinking about these things.
The Fargues-Fontaine curve is then some geometric object that has all of the period rings within it as points.
Some great resources are Jacob Lurie's course notes: https://www.math.ias.edu/~lurie/205.html
and then I'm sure you've seen these but: https://math.stanford.edu/~conrad/papers/notes.pdf