Questions tagged [p-adic-hodge-theory]
The p-adic-hodge-theory tag has no usage guidance.
218 questions
59
votes
0
answers
4k
views
Grothendieck's Period Conjecture and the missing p-adic Hodge Theories
Singular cohomology and algebraic de Rham cohomology are both functors from the category of smooth projective algebraic varieties over $\mathbb Q$ to $\mathbb Q$-vectors spaces. They come with the ...
- 149k
56
votes
2
answers
10k
views
What is prismatic cohomology?
Prismatic cohomology is a new theory developed by Bhatt and Scholze; see, for instance, these course notes. For the sake of the community, it would be great if the following question is discussed in ...
- 2,751
32
votes
1
answer
8k
views
$p$-adic Hodge Theory for rigid spaces, after P. Scholze
I was going over P. Scholze's paper on $p$-adic Hodge Theory for rigid analytic varieties.
This question is around the "Poincaré Lemma" in the paper.
Throughout, let $X$ be a proper smooth rigid ...
user113453
25
votes
2
answers
5k
views
Status of Fontaine-Mazur conjecture
In the language of Richard Taylor's 2004 (extended) ICM article (''Galois Representations'', Annales de la faculté des sciences de Toulouse (2004) Tome XIII, no. 1, 73-119), the conjecture is the ...
- 910
24
votes
1
answer
3k
views
Condensed criterion for sheafiness of adic spaces
Multiple times in talks about condensed mathematics (e.g. the Masterclass talks, Clausen's RAMpAGe talk), it is stated that the derived structure sheaf given by the condensed formalism "fixes&...
- 362
22
votes
2
answers
1k
views
Describing the crystalline extension of $\mathbb{Q}_p$ by $\mathbb{Q}_p$
Let $K$ be a finite extension of $\mathbb{Q_p}$. The group $\ker H^1(G_K, \mathbb{Q}_p) \rightarrow H^1(G_K, B_{crys})$ is one-dimensional, which tells us that among all extensions of Galois modules
...
- 2,809
19
votes
1
answer
2k
views
Analogue of Tate or Hodge conjecture for varieties over $\mathbb Q_p$
I've been learning about p-adic Hodge theory recently (I'm a beginner), and I've been wondering about the following question the past couple of weeks. Sorry for the long setup, it's mainly background;...
- 317
18
votes
1
answer
1k
views
Why does $H^i(X_{ét},\mathbb{Q}_p)$ have a Hodge-Tate structure?
Let $X$ be a variety over a $p$-adic field $K$.
Is there a simple or intuitive explanation of why the $G_K$ representation $H^i(X_{ét},\mathbb{Q}_p)$ is Hodge-Tate? More precisely, why do the powers ...
- 527
16
votes
3
answers
2k
views
Tower of moduli spaces in Scholze's theory
My question is related to another one I read here in Overflow. I am reading Scholze's papers about moduli spaces of $p$-divisible groups and elliptic curves, and I am very interested in the formal ...
- 161
16
votes
1
answer
2k
views
Applications of $p$-adic Hodge theory
I am trying to learn $p$-adic Hodge theory. I found some materials explaining main theorems (or aspects) of the theory. However, I could not find references which explaining how to use the theory. ...
15
votes
1
answer
1k
views
What is the classification of characters in $p$-adic Hodge theory?
Let $K$ be a $p$-adic field and $\chi : Gal_K \rightarrow \mathbb{Q}_p^\times$ be a character. I know that $\chi$ is Hodge-Tate of weight $0$ iff $\chi(I_K)$ is finite (by Sen's theory), and that it ...
- 527
15
votes
1
answer
796
views
P-adic Volume Conjecture
Let $M$ be a closed hyperbolic 3-manifold. One can use hyperbolic structure on $M$ to define hyperbolic volume $Vol(M)$. Thanks to Mostow's rigidity theorem the volume depends only on the topology of ...
- 4,316
15
votes
0
answers
592
views
Failure of local Fontaine Mazur
This question unfortunately has a very similar name to this one, but I what want to ask here is different.
Let $K$ be a finite extension of $\mathbb{Q}_p$. It seems to be well known that the local ...
- 643
14
votes
2
answers
2k
views
Is there a version of algebraic de Rham cohomology that can be used to calculate torsion classes?
Much work has gone into the construction of cohomology theories which are defined on algebraic varieties (étale, crystalline, etc.) and comparison isomorphisms between them.
Say $X$ is an algebraic ...
- 1,347
14
votes
0
answers
884
views
On mixed $p$-adic Hodge theory
Does mixed $p$-adic Hodge theory exist? Can we extend the scope of comparison theorems using simplicial resolutions a la Deligne? Do we get 3 opposite filtrations as in classical mixed Hodge theory, ...
- 141
13
votes
1
answer
3k
views
p-adic Hodge theory for varieties defined over \C _p ?
I have a question on p-adic Hodge theory:
When e.g. $X$ is a smooth proper scheme over a finite extension $K$ of $\mathbf{Q}_{p}$ then e.g. one variant of $p$-adic Hodge theory says that there is a ...
- 131
13
votes
1
answer
1k
views
Is Faltings' $p$-adic Eichler-Shimura isomorphism the $p$-adic comparison isomorphism?
This is a question about Faltings' $p$-adic Eichler-Shimura isomorphism from his 1987 article "Hodge-Tate structures and Modular Forms".
Let $N\ge5$, $k\ge2$ be integers. Denote by $X(N)$ the proper ...
- 734
12
votes
2
answers
2k
views
What is the Perrin-Riou logarithm (or regulator)?
Recently I've been rewatching some recordings of old talks on L-functions and explicit reciprocity laws (in particular, the series of talks by Loeffler and Zerbes given at this workshop at the CRM in ...
- 3,309
12
votes
3
answers
3k
views
Witt vectors, the cotangent complex, and a solid construction of $B_{dR}^+$
In a remarkable lecture delivered on October 29th: New Foundations for functional analysis, Dustin Clausen suggests at the 40 minute mark a remarkable new construction interpretation of Fontaine's ...
- 858
12
votes
1
answer
510
views
Can a covering space of the $p$-adic disc split over the circle?
Let $D = {\rm Sp}\, \mathbb{C}_p\langle x\rangle$ be the affinoid unit disc over $\mathbb{C}_p$.
Is there an example of a connected finite etale cover of $D$ whose restriction to the "unit circle" ${\...
- 16.2k
11
votes
1
answer
648
views
Are D_dR and D_st "potentially comparable"?
Suppose we have a de Rham Galois representation $G_K\rightarrow GL(V)$ for some $p$-adic field $K$ and some finite dimensional vector space $V$ over $\mathbf{Q}_p$. Then it is a theorem that there is ...
- 1,988
11
votes
1
answer
1k
views
Relationship between the syntomic cohomology of Kato and of Fontaine-Messing
Fix a prime $p$ and let $X$ be a $\mathbb{Z}_{p}$-scheme. Write $X_{n}:=X\otimes\mathbb{Z}/p^{n}$ and $\phi:X_{1}\rightarrow X_{1}$ for the absolute Frobenius. Let $X\hookrightarrow Z$ be a (suitable) ...
- 1,404
11
votes
3
answers
2k
views
p-adic Poincaré Lemma
suppose $X$ is a proper and smooth rigid analytic variety over $\text{Spa}(k)$, with $k$ a non-archimedean field of characteristic zero.
One has the de Rham complex of analytic differential forms on $...
user113393
11
votes
1
answer
1k
views
Reference request: Newton above Hodge
Let $K$ be a p-adic field, and let $\mathcal{O}$ be the ring of integers inside $K$ with residue field $k$. Let $\mathcal{X}$ be a smooth proper formal scheme over $\mathcal{O}$ (with topology given ...
- 619
11
votes
1
answer
1k
views
Hodge–Tate structures of modular forms
The title refers to the paper of Faltings:
Hodge-Tate structures and modular forms.
Math. Ann. 278 (1987), no. 1-4, 133–149.
The main theorem in the paper says that the associated Galois rep to a ...
- 111
11
votes
0
answers
390
views
Is there a period ring B_dif?
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $V$ be a p-adic representation of $\mathrm{Gal}(\overline{\mathbb{Q}}_p/K)$. Write $K_\infty=K(\mu_{p^{\infty}})$ for the cyclotomic extension ...
- 643
11
votes
0
answers
749
views
What is known at $\ell = p$ about realizing Jacquet-Langlands & local Langlands as the cohomology of Lubin-Tate space with level structure?
Background:
(Mostly my paraphrased interpretation of the introduction of Strauch's Deformation spaces of one-dimensional formal
modules and their cohomology, with additional details from Carayol's ...
- 3,539
11
votes
0
answers
807
views
Torelli-like theorem for K3 surfaces on terms of its étale cohomology
Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology?
For example: If $K\ne \mathbb{C} $ and $X\rightarrow \...
10
votes
1
answer
1k
views
How many untilts?
I read the following passage in Endomorphisms of power series fields and residue fields of Fargues-Fontaine curves by Kedlaya-Temkin:
"One can construct many algebraic extensions of $\mathbb{Q}_p$...
- 282
10
votes
2
answers
1k
views
periodic cyclic homology and tilting in the sense of Scholze
Suppose $R$ is a perfectoid ring in mixed characteristic, and $R'$ its characteristic-$p$ tilt. Scholze's results on tilting say that the étale theories over $R$ and $R'$ are equivalent in an almost ...
- 7,972
10
votes
1
answer
774
views
Is the de Rham complex in characteristic $p$ a CDGA?
In the paper by Bhatt and Scholze on prismatic cohomology (https://arxiv.org/pdf/1905.08229.pdf), it is stated that the de Rham comparison theorem for prismatic cohomology can be lifted to an ...
- 4,189
10
votes
1
answer
564
views
Fargues's Theorem for $Spa(C,C^+)$ (rather than $Spa(C,O_C)$
$\DeclareMathOperator\Spa{Spa}$Fargues's Theorem for $\Spa(C,O_C)$ states that the category of (mixed characteristic) shtukas with one paw at $x_C$ is equivalent to the category of Breuil-Kisin-...
- 435
10
votes
0
answers
2k
views
Roadmap for p-adic Hodge theory
I'd like to be able to start studying p-adic Hodge theory and hope that by posing this question, I can be better prepared to work towards it. I ask for a roadmap because I understand that I have a lot ...
- 544
10
votes
0
answers
834
views
Elementary aspects of The Fargues-Fontaine curve
To any pair $(E,F)$, where $E$ is a local field and $F$ is a perfectoid field, one can associate a curve $X^{\text{FF}}_{E,F}$, the so-called Fargues-Fontaine curve, which is unique up to Frobenius ...
- 989
9
votes
1
answer
731
views
Tamagawa numbers
Let $K$ be a finite extension of $\mathbb{Q}_p$ with absolute Galois group $G_K$. Let $A$ be an abelian variety defined over $K$. The (geometric) Tamagawa number is defined as the order of the ...
- 323
9
votes
1
answer
471
views
Hodge numbers rule out good reduction
A theorem of Fontaine says that if a geometrically connected smooth proper variety $X$ over $\mathbb{Q}$ has good reduction everywhere then $h^{i, j}(X)=0$ for $i\neq j$, $i+j\leq 3$.
This means that ...
user158636
9
votes
1
answer
546
views
Morphisms for good reduction are maps respecting filtration
Please see edits below!
So, let $A,A'/K$ be abelian varieties where $K$ is a $p$-adic local field with residue field $k$. Suppose further that they have good reduction with models $\mathscr{A},\...
- 787
9
votes
0
answers
1k
views
Moduli interpretation of Fargues-Fontaine curve
The Fargues-Fontaine curve is, in his schematic version, a noetherian regular scheme $X$ of dimension 1 associated to a pair $(E,F)$, where $E$ is a local field (i.e. complete w.r.t. a discrete ...
- 1,386
9
votes
0
answers
910
views
Grothendieck's motivation of crystalline cohomology
Here Illusie mentions Grothendieck's observation that using Gauss-Manin connection one can give a non-canonical isomorphism between de Rham cohomology of smooth schemes over $W(k)$ with isomorphic ...
- 7,377
8
votes
2
answers
3k
views
congruent number problem [closed]
I am studying the congruent number problem
and I heard that there is a paper by Kazuma Morita
which claims to solve this problem from my colleague.
I saw the paper on his homepage but it is very ...
- 115
8
votes
2
answers
631
views
Motivation of the construction of $p$-adic period rings
Let $B$ be either $B_{\text{dR}}$ or $B_{\text{crys}}$. For a $\mathbb{Q}_p$-representation $V$ of the absolute Galois group $\mathrm{Gal}(\overline{K}/K)$ of a $p$-adic field $K$ (a finite extension ...
- 1,428
8
votes
1
answer
2k
views
Some questions from the paper by Scholze-Weinstein
The following is from the paper by Scholze-Weinstein on moduli of $p$ divisible groups.
My question is from a part of Lemma 4.1.7: If $R$ is a semiperfect ring, then the canonical map $W(R^{\flat}) \...
- 81
8
votes
1
answer
333
views
Describing the ratio of uniformizers in B_dR
In Conrad and Brinon's notes http://math.stanford.edu/~conrad/papers/notes.pdf, two uniformizers of $B_{dR}$ are produced: one is $\xi := [\tilde{p}]-p$ (bottom of p.58), where $\tilde{p} = (p, p^{1/p}...
- 287
8
votes
1
answer
1k
views
Reference Request: Specialization map in Huber's Context
The specialization map $sp:\mathfrak{X}_\eta\to \mathfrak{X}_{red}$ has an important role in rigid analytic geometry. I tried looking in Huber's papers ("Continuous Valuations", "A generalization of ...
- 435
8
votes
1
answer
720
views
$p$-adic comparison of cohomology with coefficients in $\mathbb{Z}_{p}$ and $\mathbb{B}_{\textrm{dR}}$ on general smooth algebraic varieties
This is something which I'm sure is well known to experts which I would appreciate some information about. In his paper [1], Scholze proves (e.g. Theorem 8.4, Theorem 8.8) that on a proper adic space $...
- 437
8
votes
1
answer
479
views
What is $TP(\mathbb{Z}_p)$?
Let $TP$ be periodic topological cyclic homology. What is $\pi_* TP(\mathbb{Z}_p)$?
(i) I know that $\pi_* TP(\mathbb{F}_p) \cong \mathbb{Z}_p[v^{\pm 1}]$ with $v$ in degree $-2$ by IV.4.8 of Nikolaus-...
- 81
8
votes
0
answers
333
views
Triple comparison of cohomology in algebraic geometry
Let $X$ be a smooth proper variety over $\mathbb{Q}$ and $p$ a prime number. For an integer $k$, we have:
a finitely-generated abelian group $H^k(X^{\mathrm{an}}(\mathbb{C});\mathbb{Z})$
a finitely-...
- 15.4k
8
votes
0
answers
433
views
Intuition for de Rham comparison theorem in $p$-adic Hodge theory
The de Rham comparison theorem from $p$-adic Hodge theory compares the etale cohomology of a variety with the de Rham cohomology of that variety. It says the following:
Let $K/\mathbf{Q}_p$ be a ...
- 1,949
8
votes
0
answers
550
views
Foundational Questions on Adic Spaces
There are some foundational questions on adic spaces that I can't find in the literature. It seems that these questions are pretty natural, so I guess that an answer should be known to the experts in ...
- 2,923
8
votes
0
answers
581
views
On Topological Hochschild Homology
Nowdays, I hear talking about Topological Hochschild Homology more and more often, and I was wondering if someone could point out references to explain why it's important and interesting, and what ...
user125208