All Questions
Tagged with p-adic-hodge-theory ag.algebraic-geometry
79 questions
1
vote
0
answers
138
views
Syntomic f-cohomology for open varieties
Syntomic cohomology $H^{i+j}_{\mathrm{syn}}(X,n)$ of a proper variety $X$ with good reduction over a $p$-adic field $K$ is computed via a spectral sequence in terms of $H^i_{\mathrm{f}}(G_K;H^j_{\...
- 15.4k
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-...
- 63.9k
3
votes
0
answers
347
views
Modern integral $p$-adic Hodge theory and modularity lifting and Fontaine-Mazur
As a follow-up to a comment on this answer, I'm wondering if there are expected to be applications of the new point of view on integral $p$-adic Hodge theory, à la Bhatt-Morrow-Scholze and others, to ...
- 15.4k
7
votes
1
answer
422
views
Integral refinements of rigid cohomology
Disclaimer: I know absolutely nothing about p-adic cohomology, so it is possible that even the premises of this question are incorrect. But it turns out that I need to apply the theory of rigid ...
- 1,404
6
votes
1
answer
487
views
Reference request: good reduction equivalent to crystalline étale cohomology
Suppose $X$ is an abelian variety over a $p$-adic field $K$, and it's well known that $X$ has good reduction is equivalent to the étale cohomology of $X$ is crystalline, and $X$ has semistable ...
- 3,065
0
votes
0
answers
111
views
Prime to $p$ monodromy of local system on rigid variety
Suppose $F$ is a finite extension of $\mathbb Q_p$, and $X$ is a rigid variety over $F$. I saw in proposition 3.7 of Oswal, Shankar, Zhu, and Patel - A $p$-adic analogue of Borel's theorem: "Let $...
- 12.9k
1
vote
0
answers
80
views
The bound for zeros of the composition of polynomials and analytic functions
Suppose $K$ is a number field, and $A\in M_n(K)$. $v$ is a place of $K$, and $f_1,\cdots,f_n$ are analytic functions (one variable) on $m_v\mathcal O_{K,v}$, satisfying: $\frac{\mathrm d \bf {f}}{\...
- 785
5
votes
0
answers
556
views
Theorem 7.11 in Scholze's $p$-adic Hodge Theory
I was trying to understand the statement and proof of Theorem 7.11 in Scholze's paper "$p$-adic Hodge Theory for Rigid-Analytic Varieties". I'll reproduce part of the statement below:
Let $...
- 51
1
vote
0
answers
227
views
Deformations over $A_{\inf}$
Setup:
Let $K$ be a perfectoid field of characteristic $0$ with tilt $K^{\flat}$.
Let $A_{\inf}=W(\mathcal{O}_{K^{\flat}})$ be the infinitesimal period ring.
Let $\mathcal{X}$ be a flat, projective $\...
- 63.9k
6
votes
0
answers
312
views
Geometry of syntomic cohomology
Deligne cohomology has a geometric interpretation. For example, $H^{2}_{\mathcal{D}}(X,\mathbb{Z}(1))$ is identified with the group $H^{1}(X,\mathcal{O}_{X}^{\ast})$ of isomorphism classes of line ...
- 1,404
1
vote
0
answers
184
views
Calculation of de Rham cohomology of abelian varieties/ jacobian varieties
It's known that for a elliptic curve like $E:y^2=x(x-1)(x-t)$ we have a basis $\frac{dx}{y}, \frac{xdx}{y}$ for $H_{dR}^1(E)$. But find such a basis is not an easy thing. I wonder for a general ...
- 785
3
votes
1
answer
469
views
Adic generic fiber of a small formal scheme in the sense of Faltings
$\DeclareMathOperator{\Spf}{Spf}\DeclareMathOperator{\Spa}{Spa}$In the Definition 8.5 of the paper "integral $p$ adic Hodge theory" by Bhatt-Morrow-Scholze, they define the adic generic ...
- 16.2k
1
vote
0
answers
125
views
Is the Frobenius semisimple on the de-Rham cohomology?
Suppose $K$ is a unramified finite extension of $\mathbb Q_p$, and $X$ is a projective smooth curve defined over $K$. By $p$-adic Hodge theory we know $D_{cris}(H_{et}^i(X,\mathbb Q_p))=H_{dR}^i(X)$. ...
- 785
1
vote
0
answers
215
views
$p$-adic étale cohomology group of open smooth varieties
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $X$ be a smooth variety over $K$.
Dr. Yamashita announced that he had proved the Galois representation of $p$-adic étale cohomology group $H^*_{\...
- 4,713
5
votes
0
answers
387
views
Calculating étale fundamental groups from the usual fundamental group
$\newcommand{Spec}{\operatorname{Spec}}$Let $X$ be a connected affine smooth variety over $\mathbb{Q}$, with a point $x\in X(\Spec(\mathbb{Q})$.
For any algebraically closed field $K$ of ...
3
votes
1
answer
513
views
p-adic period map in Lawrence and Venkatesh
In Lawrence and Venkatesh's paper on the Mordell conjecture, they prove that there are finitely many $K$-rational points on a hyperbolic curve $X$, where $K$ is a number field, by showing that there ...
- 28.2k
6
votes
0
answers
630
views
On the Erratum to P. Scholze's "$p$-adic Hodge theory for rigid-analytic varieties"
I am trying to understand section (3) of the Erratum to P. Scholze's "$p$-adic Hodge theory for rigid-analytic varieties" in detail. In particular, there is the following sentence on page ...
- 507
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 ...
- 37k
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
2
votes
1
answer
324
views
Rank of $\mathbb{Z}_{p}$-module $H_{et}^{i}(X,\mathbb{Z}_{p}(r))$
I want to ask the following question.
Let $X$ be a smooth projective variety of dimension $d$ over $p$-adic field $k$ ( i.e. finite extension of $\mathbb{Q}_{p}$). Is it true that etale cohomology $H_{...
- 2,923
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 ...
- 63.9k
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
6
votes
0
answers
651
views
Are crystalline cohomology obsolete?
I'm interested in $p$-adic cohomology theories now. I have learned that since de Rham cohomology behaves badly in char $p$, people invented crystalline cohomology in smooth cases and later rigid ...
- 375
4
votes
1
answer
394
views
Reductive subgroups of $\mathrm{GL}_2$ over an algebraically closed field of characteristic zero
I am reading a very nice paper of Newton and Thorne, Symmetric power functoriality for holomorphic modular forms, and there is an argument concerning the (Zariski-closure of) image of certain $p$-adic ...
- 12.9k
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
4
votes
0
answers
205
views
Grothendieck group of admissible $p$-adic representations
Let $K$ be a $p$-adic local field; $G = \mathop{\mathrm{Gal}}(\overline K | K)$; $\tau \in \{\text{HT}, \text{dR}, \text{crys}\}$, $B_\tau$ the corresponding period ring; $\mathop{\mathrm{Rep}}_{\...
- 988
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 ...
- 63.9k
2
votes
0
answers
131
views
Base change of Hodge-Witt cohomology
Let $k$ be a perfect field of characteristic $p$, and $L$ be a finite extension of $k$.
For a smooth projective variety $X$ defined over $k$, we denote the base change $X \times_k L$ by $X_L$. In this ...
- 349
2
votes
0
answers
209
views
Is there a smooth proper family whose fibers are not Mazur-Ogus?
Set $K$ to be a number field, denote by $\mathcal{O}_K$ the integer ring of $K$. My question is the following:
Is there a smooth proper family $X \to \mathcal{O}_K$ whose fibers are not Mazur-Ogus?
- 519
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
6
votes
2
answers
1k
views
Vector bundles on adic spaces
Let $X = \mathrm{Spa}(A,A^+)$ be an analytic sheafy adic space. Let $\mathcal{E}$ be a locally finite free $\mathcal{O}_X$ sheaf. Does $\mathcal{E}$ correspond to a geometric vector bundle over $X$? ...
- 21.3k
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 ...
- 9,283
1
vote
0
answers
270
views
Almost ring theory and derivations
I don't understand the definition of $\boldsymbol{\Omega}_A$ in the context of almost rings. In Gabber and Ramero https://arxiv.org/pdf/math/0409584.pdf it is covered in 9.6.12. How is $\boldsymbol{\...
- 16.2k
3
votes
0
answers
232
views
$l$-adic Galois representations factor through a common finite quotient
Let $X$ be a smooth projective geometrically connected variety over $\mathbb{Q}$. Assume that for some $m>0$ we have $h^{i, 2m-i}(X)=0$ unless $i=m$.
Does there exist a number field $E$ such that ...
CommunityBot
- 1
6
votes
0
answers
231
views
Variety over $\mathbb{F}_p$ that does not embed into flat scheme over $\mathbb{Z}/p^2\mathbb{Z}$
Let $X\to\mathrm{Spec}\:\mathbb{F}_p$ be a smooth proper morphism. Is there a closed immersion $X\to Y$ where $Y$ is flat of finite type over $\mathbb{Z}/p^2\mathbb{Z}$?
As mentioned in the comments ...
CommunityBot
- 1
1
vote
0
answers
272
views
$p$-adic Galois representation and Étale homology
Let $X$ be a smooth proper scheme over some $p$-adic field $K$. The "usual" way to get a Galois representation out of this is to consider the étale cohomology (either $p$ or $\ell$-adic). ...
- 4,418
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 ...
- 28.8k
4
votes
0
answers
244
views
Uniqueness of $\delta$-structure on a $p$-torsion ring
I was working through Bhargav's notes on $\delta$-rings and prismatic cohomology, specifically lecture 2, page 2, point 5 where he claims that the ring $\mathbb Z[x]/(px,x^p)$ has a unique $\delta$-...
- 63.9k
4
votes
1
answer
405
views
Can Hodge symmetry fail if there is a lift to $W_2$ and the crystalline cohomology is torsion-free?
Let $f:X\to \mathrm{Spec}\:\mathbb{F}_p$ be a smooth proper morphism with $p>\mathrm{dim}\:X$. Assume that $H^i_{\mathrm{crys}}(X/\mathbb{Z}_p)$ is torsion-free for all $i\geq 0$ and that there is ...
- 7,377
0
votes
1
answer
204
views
Can $h^{1, 0}$ and $h^{1, 1}$ jump for smooth projective surfaces over $\mathbb{Z}[1/N]$?
Let $N$ be a positive integer. Let $f:X\to S=\mathrm{Spec}\:\mathbb{Z}[1/N]$ be a smooth projective morphism of relative dimension 2 such that $R^1f_*\mathcal{O}_X$ and $R^2f_*\mathcal{O}_X$ are both ...
- 16.2k
3
votes
0
answers
272
views
Explanation for devissage argument
Let $K$ be a local field of characteristic $0$ with the ring of integers $\mathcal{O}_K$ and uniformizer $\pi$. Let $k$ be the residue field of $K$ with $\text{card}(k)=q$. Let $\mathcal{O}_\mathcal{E}...
- 101
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" ${\...
- 7,377
1
vote
0
answers
125
views
galois deformation ring with type is union of irreducible components
Notation:
$K$ finite extension of $\mathbb{Q}_p$, $G_K$ absolute Galois group of $K$,
$E$ is finite extension of $\mathbb{Q}_p$ (coefficient field), $O_E$ is ring of integer in $E$.
In this paper of ...
- 63.9k
5
votes
0
answers
361
views
Equivalent definitions of the ring $B_{\mathrm{cris}}$
I'm reading Laurie's note about Fargues-Fontaine Curve and I think he uses a different definition of $B_{\mathrm{cris}}$. Usually when $R$ is a perfect ring of characteristic $p$, $A_{\mathrm{cris}}(R)...
- 1,093
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 ...
- 3,058
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 ...
- 63.9k
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
7
votes
1
answer
978
views
Applications of $h$-topology and $h$-descent
This is a technical problem about applications of Grothendieck topologies. In some recent works, the technique of $h$-topology and $h$-descent is very useful, for an introduction see https://stacks....
- 17.4k
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, ...
CommunityBot
- 1
4
votes
0
answers
244
views
Variations of $p$-adic Hodge structures
What is the analogue of variations of Hodge structures in $p$-adic Hodge theory? What does Griffiths transversality correspond to? Is there any reference explaining it in detail and containing ...
CommunityBot
- 1