Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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_{\...
David Corwin's user avatar
  • 15.4k
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 ...
David Corwin's user avatar
  • 15.4k
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 $...
Kush Singhal's user avatar
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 ...
Anton Hilado's user avatar
  • 3,309
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 ...
Oli Gregory's user avatar
  • 1,404
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 ...
kindasorta's user avatar
  • 2,907
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}) \...
Ashutosh RC's user avatar
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 ...
user141099's user avatar
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 ...
dhy's user avatar
  • 5,958
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 ...
Krill's user avatar
  • 544
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 ...
babu_babu's user avatar
  • 241
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 ...
user avatar
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 ...
Dmitry Vaintrob's user avatar
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}}_{\...
Aoi Koshigaya's user avatar
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 ...
user84144's user avatar
  • 2,809
7 votes
0 answers
432 views

Failure of integral comparison between crystalline and de Rham cohomology over a highly ramified base

Let $K$ be a finite extension of $\mathbb{Q}_p$ with the ring of integers $\mathcal{O}_K$ and the residue field $k$. By a theorem of Berthelot and Ogus(https://link.springer.com/article/10.1007%...
SashaP's user avatar
  • 7,377
2 votes
0 answers
127 views

Generalizing characterizing crystalline representations of dimension 2 to certain special classes of crystalline representations of higher dimension

Let $A$ be an abelian variety defined over a number field $K$, and let $v$ be a prime of $K$ such that $A$ has good reduction modulo $v$. Let $\rho$ be the representation of $G_K = \text{Gal}(\...
Stanley Yao Xiao's user avatar
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 ...
SashaP's user avatar
  • 7,377
5 votes
0 answers
677 views

Basic question on p-adic Hodge theory

I am starting to study the rudiments of p-adic Hodge theory and I have the following basic question. Let $\chi$ be the unramified quadratic character of $G_p = \mathrm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{...
Michael's user avatar
  • 111
4 votes
1 answer
282 views

Serre tensor construction on finite flat group schemes

Let $K/\mathbb{Q}_p$ be a finite field extension and $\mathcal{O}_K\subseteq K$ be its ring of integral elements. Let also $G/\mathcal{O}_K$ be a finite flat $p$-group scheme that is also an $\mathcal{...
Vincent's user avatar
  • 443
5 votes
0 answers
585 views

Bloch Kato Exponential as formal lie group exponential

Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism $$DR(V) \...
LMN's user avatar
  • 3,555
5 votes
0 answers
278 views

Tate's conjecture and symmetry of Hodge-Tate weights

I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf At page 10 he claims that an indirect ...
Bear's user avatar
  • 231