Skip to main content

All Questions

17 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 \...
Rogelio Yoyontzin's user avatar
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 ...
user avatar
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 ...
Wilhelm's user avatar
  • 375
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 ...
user avatar
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 ...
FPV's user avatar
  • 541
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)...
ali's user avatar
  • 1,093
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
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
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 ...
user avatar
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 ...
OOOOOO's user avatar
  • 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?
user145752's user avatar
2 votes
0 answers
232 views

Berthelot’s comparison theorem and functoriality

Let $A$ be a noetherian $p$-adically complete ring with an ideal $I$ equipped with a PD structure and such that $p$ is nilpotent on $A/I$. Let $S = \text{Spec}(A)$, $S_0 = \text{Spec}(A/I)$, $Y\to S$ ...
Ari's user avatar
  • 181
2 votes
0 answers
357 views

Does the pro-étale local system defined over a p-adic period domains interpolate crystalline representations?

There is a Grothendieck-Messing period morphism of rigid-analytic spaces $\pi: \mathcal{M}_\eta^{rig}\to \mathcal{Fl}$ going from the generic fiber of an EL-type Rapoport-Zinks to a flag variety. The ...
Ian Gleason's user avatar
2 votes
0 answers
389 views

Are there good properties of the divided power completion map?

Let $Y \to X$ be a closed immersion of smooth schemes over, say, the ${\rm Spec}(\mathbb{Z}_p)$. The completion map $$X_{/Y}\to X$$ is an ind-closed immersion (sometimes called pseudo-closed immersion)...
Harry's user avatar
  • 33
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 $\...
Kostas Kartas's user avatar
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^*_{\...
OOOOOO's user avatar
  • 349
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 ...
quasi-mathematician's user avatar