Questions tagged [perfectoid-spaces]
The perfectoid-spaces tag has no usage guidance.
29 questions
2
votes
0
answers
152
views
Uniqueness and existence of maps
I am currently reading the Berkeley lectures on Perfectoid Spaces by Scholze and Weinstein. In the section "The adic open unit disk over $\mathbb{Z}_p$" we encounter from Proposition 4.2.6 ...
9
votes
0
answers
963
views
Geometrization of the global Langlands correspondence?
Fargues-Scholze famously describe arithmetic local Langlands via global geometric Langlands on the Fargues-Fontaine (FF) curve.
The FF curve acts like an algebraic curve over $\mathbb{C}_p$ (its ...
- 15.4k
2
votes
0
answers
123
views
Vector bundles on pro-etale topology over a field
Suppose $K$ is a finite extension of $\mathbb Q_p$. Consider the one-point adic space $X=\operatorname{Spa}K$, and let $C=\hat {\bar K}$, $G=\operatorname{Gal}(\bar K/K)$. I heard that the category of ...
- 775
3
votes
0
answers
182
views
Algebraic properties of Witt vectors $W(K^{\flat\circ})$, $K$ a characteristic 0 perfectoid field
Let $K$ be as in the title with tilt $K^\flat$. $W = W(K^{\circ\flat})$ satisfies a universal property: it is the unique $p$-adically complete $p$-torsion free $\mathbb{Z}_p$-algebra $A$ with $A / pA \...
- 658
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
24
votes
1
answer
2k
views
Why are there three kinds of non-archimedean geometry?
It may seem silly to ask "Why are there three types of non-Archimedean geometry?", that would be like asking why there are three (and even more) different Weil cohomologies. So I have to ...
- 28.2k
3
votes
0
answers
264
views
The points of $\operatorname{Spa}\mathbb{Z}_p$
$\DeclareMathOperator\Spa{Spa}$What are the points of $\Spa\mathbb{Z}_p$? I read in Scholze-Weinstein that this adic spectrum consists of 2 points, a special point, which corresponds to the pullback ...
- 63.9k
3
votes
0
answers
280
views
The closed unit adic disk
I am reading the Scholze-Weinstein Berkeley lecture notes on "Perfectoid Spaces", and in particular I am stuck trying to understand the closed adic unit disk, which is the second example of ...
- 2,907
3
votes
1
answer
393
views
Completion of infinite degree extension of perfectoid fields is perfectoid?
Is completion of infinite degree extension of perfectoid fields perfectoid ?
It is known that finite extension of perfectoid fields is also perftoid from tilting correspondence, but what about ...
- 28.2k
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
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
2
votes
0
answers
504
views
Relative homology in Fargues-Scholze paper
if $f:X\to Y$ is a map of small v-stacks, Scholze and Fargues define relative homology as the left adjoint to the $f^{\star}$. They say the left adjoint exist because $f$ is a slice in $v$-site (they ...
- 1,083
6
votes
0
answers
449
views
Proof of Lemma 6.5 in Scholze's Perfectoid Spaces
In the proof of Lemma 6.5(approximation lemma) in Scholze's Perfectoid Spaces,
I have the following three questions about $h = f - g^\sharp_c$ and $g^\sharp_{c'}$.
(Maybe it's something you'll find ...
- 61
3
votes
0
answers
287
views
Chevalley’s affineness criterion for perfectoid space
Chevalley’s affineness criterion says that if $f: X\to Y$ is surjective and finite, $Y$ is Noetherian and $X$ is affine then $Y$ is also affine. The usual proof uses Serre's criterion and Noetherian ...
- 431
2
votes
0
answers
187
views
Does the map $\theta[1/p]: A_{\mathrm{inf}} \otimes \mathbb Q_p \to \mathbb C_p$ split?
This question might be very elementary to someone who knows p-adic hodge theory/perfectoid stuff etc.
Recall that $\mathbb C_p = \hat{\overline{\mathbb Q_p}}$ and $\mathbb C_p^\flat$ is it's tilt. We ...
- 7,736
2
votes
0
answers
165
views
flat resolutions of almost modules?
Recall the set-up in 2.4.10 of Almost Ring Theory by Ofer Gabber and Lorenzo Ramero:
$V$ is a commutative unital ring.
$\newcommand{\gm}{{\mathfrak m}}\gm$ is an ideal in $V$ such that $\gm^2 = \gm$.
...
- 435
12
votes
1
answer
768
views
An explicit isomorphism $K^\times/K^{\times p} \cong K^\flat/\wp K^\flat$ where $K \supset \mu_p$ is perfectoid field of mixed characteristic $(0, p)$
Let $K$ be a perfectoid field of mixed characteristic $(0, p)$, i.e. $K$ has characteristic $0$ but its residue field has characteristic $p$. Further suppose that $K$ contains all the $p$th roots of ...
- 21.3k
19
votes
1
answer
2k
views
Perfectoid approach to resolution of singularities in char $p$
Since perfectoid techniques have built a bridge between char $0$ and char $p$ worlds, it is conceivable that they can be applied to resolution of singularities in char $p$ using their successful ...
- 21.3k
6
votes
1
answer
1k
views
Proposition 5.13 (ii) in Scholze's Perfectoid Spaces
In Proposition 5.13 (ii) in Scholze's Perfectoid Spaces, we have $R \to S$ a morphism of $\Bbb F_p$-algebras and the assumption that the relative Frobenius $\Phi_{S/R}$ induces an isomorphism $R_{(\...
- 21.3k
9
votes
1
answer
1k
views
On the definition of the etale site of an adic space
I have a question related to the definition of the etale site of an adic space. As a reference, I am using Huber's book "Etale Cohomology of Rigid Analytic Varieties and Adic Spaces".
First ...
- 21.3k
15
votes
0
answers
439
views
Applications of the Weight Monodromy conjecture
I think of the Weight Monodromy conjecture as an analogue of the Weil conjectures in the case of bad reduction. The Weil conjectures of course have lots of applications, from point counting to ...
- 7,736
10
votes
0
answers
873
views
Why diamonds are only defined in characteristic $p$?
I'm trying to read Scholze's article "Etale cohomology of diamonds" (arXiv link) and both in this article and in Berkeley notes, the diamonds are defined as sheaves on the category of ...
- 63.9k
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
3
votes
1
answer
208
views
Faithful flatness of left adjoint to almostification of algebras
I have been reading Bhatt's notes on perfectoid spaces and I have stumbled upon a fact whose proof I am unable to understand. Specifically, in Remark 4.2.8 Bhatt describes the functor $A\mapsto A_{!!}$...
- 28.2k
3
votes
1
answer
305
views
perfectoid field of characteristic $p$
Let $L$ be perfectoid field of characteristic $p$ and $L'$ be a finite extension of $L$. Then I want to prove the trace map $\text{Tr}_{L'/L}: m_{L'}\rightarrow m_L$ is surjective. I find a proof in ...
- 28.7k
10
votes
1
answer
1k
views
Iwasawa theory and perfectoid spaces
Have there been any applications of perfectoid theory to Iwasawa theory? At a first glance, this seems like a natural choice. For instance, the field $\mathbb Q_p(\mu_p^{1/p^\infty})$ is studied in ...
- 37k
6
votes
0
answers
290
views
Is being perfectoid a local property?
In his 2012 CDM proceedings, Peter Scholze mentions the following open question:
Let $K$ be a perfectoid field and $(A,A^+)$ a complete affinoid $K$-algebra. Suppose there exists a cover of $X = \...
- 4,164
8
votes
0
answers
230
views
Looking for basic example in the theory of adic spaces
I have heard that there exist examples of Huber pairs $(A,A^{\circ})$ and $(B,B^+)$ such that $\operatorname{Spa}(B,B^+)$ is a rational open of $\operatorname{Spa}(A,A^{\circ})$ and such that $B^+ \...
- 691
3
votes
0
answers
279
views
A complete Tate Huber ring is Banachizable (maybe not)?
I have questions of technical nature.
A complete Tate Huber ring is a complete topological (commutative) ring $A$ admitting an open subring $A_0$ whose topology is the $\varpi A_0$-adic topology, for ...
- 5,562