All Questions
Tagged with rigid-analytic-geometry ag.algebraic-geometry
128 questions
2
votes
0
answers
153
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 ...
4
votes
1
answer
510
views
Help with understanding a rigid geometry proof
I am trying to read Coleman's paper "$p$-adic Banach Spaces and Families of Modular Forms". In Proposition A5.5, he considers a quasi-finite morphism $f:Z\to Y=\mathbb{B}^1_K$ where $Z$ is a ...
- 141
7
votes
0
answers
203
views
Finite generation and finite presentation over a truncated valuation ring: is there an easier proof?
Let $K^+$ be a valuation ring which is $\pi$-adically complete for some pseudouniformizer $\pi$.
Nagata 053E proved that every finitely generated and flat (equivalently, torsion-free) $K^+$-algebra is ...
- 16.2k
3
votes
1
answer
187
views
Reference Request: Preservation of étale maps under rigid analytic GAGA
Let $K$ be a finite extension of $\mathbb{Q}_p$. As the title says, I am looking for a reference in which it is shown that given an étale map $f:X\rightarrow Y$ between smooth algebraic $K$-varieties, ...
- 541
11
votes
1
answer
406
views
Closed image of curves under $p$-adic logarithm, Coleman integrals and Bogomolov
Disclaimer: my knowledge of $p$-adic analysis/geometry is minimal.
Consider a smooth, complete curve $C$ of genus $g$ over $\mathbb{C}_{p}$, denote by $J$ its Jacobian and consider the embedding $C\...
- 1,000
1
vote
0
answers
98
views
Points on a rigid analytic variety and "points" on a formal model
Let $k$ be a finite extension of $\mathbb{Q}_p$. Let $X$ be a quasi-compact, quasi-separated rigid analytic variety over $k$. We choose a formal model $\mathcal{X}$ of $X$ over $\mathcal{O}_k$.
If I ...
- 519
3
votes
1
answer
316
views
Chevalley's theorem on valuation spectra
In the paper On Valuation Spectra (Section 2, Page 176), Huber and Knebusch asserted that: if the ring map $A\to B$ is finitely presented then the associated map of valuation spectra $\mathrm{Spv}(B)\...
- 255
5
votes
0
answers
438
views
Stalks of nonarchimedean spaces as analytic rings
Let $(A,A^+)$ be an affinoid Tate ring, and let $x \in X=\operatorname{Spa}(A,A^+)$. When defining the stalks of the structure sheafs ${\mathcal O}_{X,x} = \varinjlim_{x \in U} {\mathcal O}_{X}(U) $ ...
- 151
2
votes
0
answers
678
views
Roadmap for p-adic geometry
I think some questions asked in similar fashion with this one. I am a master student in mathematics. I have knowledge in algebraic geometry(both in Shafarevich's and Vakil's books), algebraic topology ...
- 21
4
votes
1
answer
302
views
Compactification of rigid-analytic varieties
Is it true that any separated quasi-compact rigid-analytic variety embeds into a proper one?
For my purpose, the base field is a $p$-adic number field.
I have seen Huber's universal compactification ...
- 101
5
votes
1
answer
318
views
Closed complement of an open immersion of rigid analytic spaces
I am new to rigid analytic spaces (over non-archimedean fields) and I am confused about the notions of closed and open immersions. My question is are these two notions are "complement" of ...
- 893
4
votes
1
answer
218
views
Irreducible components of rigid varieties
I'm reading IRREDUCIBLE COMPONENTS OF RIGID SPACES (by Conrad). In this paper he defines the irreducible component of a rigid variety $X$ to be reduced image of a connected component of $\tilde X$ (...
- 785
3
votes
1
answer
180
views
Approximating $p$-adic power series by polynomials
Let $p$ be a prime, and let $f \in \mathbb{Z}_p[[x_1,\dots,x_d]]$ be a power series convergent on all of $\mathbb{Z}_p^d$. We make the following definition concerning the approximation of $f$ by ...
2
votes
1
answer
226
views
Restrictions of affinoid functions from wide open neighbourhoods
Let $X=\operatorname{Sp}(A)$ be an affinoid $K$-space, where $K$ is a p-adic field. Suppose that $X$ lies in the interior of another affinoid $K$-space $X'=\operatorname{Sp}(B)$. Recall that this ...
- 117
5
votes
0
answers
197
views
Bezout-type theorem for $p$-adic analytic plane curves
Let $p$ be a prime, and let $f,g \in \mathbb{Z}_p[[x,y]]$ be power series convergent on all of $\mathbb{Z}_p$. Suppose that the intersection of the analytic plane curves cut out by $f$ and $g$ is ...
4
votes
0
answers
117
views
Projective reduction of image of power series is algebraic?
Let $K$ be a non-archimedean field with closed unit disk $\mathcal{O}\subset K$, open unit disk $\mathfrak{m}\subset \mathcal{O}$ and residue field $k = \mathcal{O}/\mathfrak{m}$.
Examples to keep in ...
- 984
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
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 $...
- 785
3
votes
0
answers
183
views
Wondering if Monsky-Washnitzer ever published a result claimed to be forthcoming in a later paper
At the very end of the paper Formal Cohomology I by Monsky and Washnitzer, they write the following:
"In some sense, the operator $\psi$ applied to a power series gives it "better
growth ...
- 658
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 ...
- 31
45
votes
2
answers
4k
views
Are rigid-analytic spaces obsolete, since adic spaces exist?
Recently in a seminar the following question was raised and, despite my familiarity with theory, I couldn't come up with a good answer:
Are there any good reasons to use Tate's theory of rigid-...
- 28.2k
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
4
votes
0
answers
205
views
Notion of connected components for $\mathbb{Q}_p$-points of algebraic variety
Is there an interesting notion of connected components for the $\mathbb{Q}_p$-points of an algebraic variety over $\mathbb{Q}_p$? By "interesting" I mean a notion satisfying the following. ...
- 563
9
votes
0
answers
577
views
What lies between algebraic geometry and analytic geometry?
Algebraic geometry and analytic geometry are closely related (witness GAGA). But the latter still seems much "bigger" than the former. I'd like to be able to get from algebraic geometry to ...
- 64k
3
votes
1
answer
504
views
"Non-algebraic" Berkovich spaces
Usually, Berkovich analytic spaces are derived from some Banach rings (or chains of Banach rings) over a completely normed field $k$ through Berkovich spectrum. But when the base field is the complex ...
- 1,543
8
votes
1
answer
339
views
On actions of finite groups on adic spaces
Let $K$ be an algebraically closed complete non-archimedean field and consider the unit ball $\mathbb{B}^{1}_{K}=Sp(K\langle t\rangle)$. We have an action of $\mathbb{Z}/2\mathbb{Z}$ on $\mathbb{B}^{1}...
- 541
5
votes
1
answer
297
views
What's the relation between pseudo-compact and admissible rings?
We recall two definitions. Let $A$ be a linearly topologized ring which is complete and Hausdorff.
We say that $A$ is pseudo-compact if, for every open ideal $I\subset A$, the ring $A/I$ is artinian. ...
- 773
1
vote
0
answers
84
views
Algebraizable image of a morphism of Galois cohomology stacks
Assume I have a surjective morphism of algebraic group schemes over $\mathbb{Q}_p$, $\mathcal{G}\longrightarrow S$, equipped with a section, and assume both of these group schemes are equipped with an ...
- 2,907
1
vote
0
answers
86
views
Increasing coverings of rigid analytic varieties
Let $K/\mathbb{Q}_p$ be complete and let $X/K$ be a rigid analytic variety. When does $X$ admit an "increasing" admissible covering by quasi-compact admissible (in the strong G-topology) ...
- 36
5
votes
1
answer
362
views
On the noetherianess of some subalgebras of an affinoid algebra
$\DeclareMathOperator\Sp{Sp}$Let $X=\Sp(A)$ be a connected smooth affinoid rigid space over a discretely valued non-archimedean field $K$. Let $\mathcal{R}$ be a valuation ring of $K$, and fix a ...
- 541
1
vote
0
answers
183
views
Contractibility of the quotient of an analytification of a smooth variety by a finite group (if the field is trivially valued)
Let $k$ be a field and $X$ be a smooth irreducible $k$-variety with an action of a finite group $G$. I consider $k$ as a trivially valued field.
It is known from results of Berkovich ("Smooth p-...
- 41
3
votes
0
answers
281
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
4
votes
1
answer
545
views
On the local properties of rigid analytic varieties
Let $K$ be a non-archimedean field complete with respect to a discrete valuation with ring of integers $\mathcal{R}$, uniformizer $\pi$ and residue field $k$. Consider an affinoid analytic $K$-variety ...
- 541
4
votes
0
answers
321
views
Can we see the completion of a scheme along a subscheme as an adic space?
Classically, formal schemes were invented to study completions of schemes along closed subschemes. Eventually, people started using them for more arithmetical reasons. (I.e., to study non-archimedean ...
- 773
3
votes
1
answer
171
views
On the stability of having a normal formal model under finite extensions of the base field
Let $K$ be a finite extension of the $p$-adic numbers with valuation ring $\mathcal{R}$ and uniformizer $\pi$. Consider a smooth and connected rigid $K$-variety $X=Sp(A)$ and assume that the affine ...
- 541
2
votes
0
answers
122
views
Norm of sections on $T$-invariant subspace of a homogenous space over $\mathbb{Q}_p$
Let $K=\mathbb{Q}_p$ and $G$ a split reductive group over $K$ with split maximal torus $T$. Furthermore, $X$ is a smooth projective variety over $K$ with a free $G$-action. Let $U \subset X$ be a $T$-...
- 473
1
vote
0
answers
137
views
The stack $\operatorname{GL}_2/B$
Let $F$ be the functor from the category of affinoid Tate algebras over $\mathbb{Q}_p$ to the category $\mathrm{Sets}$, which maps an affinoid $\operatorname{Spm} R$ to the set of orbits $\...
- 2,907
3
votes
1
answer
385
views
Overconvergent modular forms and the level at $p$
I am a little bit confused about the basic theory of overconvergent modular forms, so here is a question that I think will be straightforward for those who know the theory but would help me a lot.
The ...
- 241
4
votes
1
answer
369
views
On a consequence of the Gerritzen-Grauert Theorem
Let $K$ be a local field of characteristic zero and $X$ an affinoid rigid space over $K$. Let $U\subset X$ be an affinoid subdomain, and consider a finite family of points $\{p_{1},\cdots, p_{n}\}\...
- 541
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$? ...
- 643
3
votes
1
answer
147
views
Bounded torsion of quotients of affine formal models
$\DeclareMathOperator\Sp{Sp}$Let $X=\Sp(A)$ be a connected smooth affinoid rigid space over a discretely valued non-archimedean field $K$. Let $\mathcal{R}$ be a valuation ring of $K$, and fix a ...
- 541
4
votes
0
answers
149
views
Coherence of the I-adic completion of a local ring of a formal scheme
Let $K$ be a valued field of rank one and $K^+$ its valuation ring such that $K^+$ is $\varpi$-adically complete with respect to a pseudo-uniformizer $\varpi\in K^+$. Let $X$ be a smooth finite type $...
- 119
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 ...
- 228
4
votes
1
answer
214
views
Higher direct image of coherent sheaf and rigid analytification
Let $k$ be a non-archimedean field of characteristic zero. Then let $$f:X \rightarrow Y$$
be a (proper) morphism of smooth projective varieties over $k$. The GAGA functor (for rigid analytic spaces) ...
- 473
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 ...
user113453
41
votes
2
answers
3k
views
Perfectoid universal covers
It is often said, with varying degrees of rigor or enthusiasm, that every rigid space (say over $\mathbb{C}_p$) has a pro-etale cover which is 'topologically trivial' in some sense. For example, this ...
- 843
1
vote
1
answer
209
views
Reference request: Gruson's theorem on the tensor product of Banach spaces over a non-Archimedean field
I am looking for a reference for theorem 3.21 of these notes: https://web.math.princeton.edu/~takumim/Berkovich.pdf
The theorem states that if $k$ is a non-Archimedean field and $X$ and $Y$ are $k$-...
- 63
3
votes
1
answer
275
views
complement of "good reduction" points in p-adic shimura varieties
assume that $X$ is Siegel Shimura variety defined over $\mathbb{Z}_p$, you can take its p-adic formal completion $\mathfrak{X}$,and than take it's adic generic fiber $\mathcal{X}$ and get an adic ...
- 1,093
27
votes
1
answer
1k
views
Motivation for relative schemes: why should one work with schemes over a ringed topos?
Recently I've been trying to learn more about relative schemes. These were developed in M. Hakim's thesis Topos annelés et schémas relatifs under Grothendieck's guidance and appear in many of later ...
- 11.8k
2
votes
0
answers
166
views
Theorem on formal functions when the initial data is a proper map of formal schemes
Let $\pi: X \to S:=\mathrm{Spf}\text{ } A$ be a proper morphism of $\mathbb{Z}_p$-admissible formal schemes and $\mathcal{F}$ be a coherent sheaf on $X$.
Set $S_0=\{x\}$ be a closed point of $S$ and $...
- 1,066