Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
3 votes
1 answer
369 views

Why is Fontaine's infinitesimal period ring $A_{\text{inf}}$ complete?

Fix a perfectoid field $K$ in mixed characteristic with ring of integers $\mathcal{O}$ and pseudo-uniformizer $\varpi$. Its tilt is the fraction field of $\mathcal{O}^{\flat}=\varprojlim_{x\mapsto x^{...
user141099's user avatar
6 votes
0 answers
516 views

Quasi-syntomic descent and prismatic F-crystals

I am reading Bhatt and Scholze's paper on F-crystals, and they seem to be using the following result in the proof of Theorem 5.6: let $X \to Y$ be a quasisyntomic cover of formal schemes over $\...
Martin Ortiz's user avatar
3 votes
1 answer
390 views

The kernel from $A_\mathrm{inf}$ to $\mathcal{O}_{\mathbb{C}_K}$

I tried to understand this paper on page 31. Let $K$ be an finite extension of $\mathbb Q_p$ and $\overline{K}$ be its algebraic closure; $\mathcal{O}_{\overline{K}}$ is the ring of integers of $\...
CO2's user avatar
  • 275
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{\...
curious math guy's user avatar
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$-...
Asvin's user avatar
  • 7,746
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}...
user89236's user avatar
  • 101
3 votes
3 answers
1k views

Topology on $p$-adic period ring in an article by Fontaine

Fix a $p$-adic field $K$ with perfect residue field $k.$ Let $\mathcal{C}$ be the completion of the algebraic closure of $K,$ and let $$R = \varprojlim \mathcal{C}/p,$$ where the transition maps in ...
Periodiccrystal's user avatar
5 votes
1 answer
380 views

Jacobson radical of a derived $I$-complete ring

Let $A$ be a commutative ring and $I \subseteq A$ a finitely generated ideal (I am not assuming that $A$ is Noetherian). Assume that $A$ is derived $I$-complete, meaning, let's say, that $\mathrm{...
Pavel Čoupek's user avatar
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 ...
gdb's user avatar
  • 2,923
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
6 votes
0 answers
267 views

Universal property of $A_{\mathrm{cris}}/p^n$

It is well known that the ring $A_{\mathrm{cris}}$ of Fontaine is the universal $p$-adically complete divided power thickening of $\mathcal{O}_{\mathbb{C}_p}$ over $\mathbb{Z}_p$; in fact, this is one ...
O-Ren Ishii'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