Questions tagged [rigid-analytic-geometry]
rigid analytic varieties, affinoid varieties, strictly convergent power series over non-archimedean fields
243 questions
3
votes
0
answers
155
views
Colimits in commutative Banach algebras?
Let $K$ be a complete non-Archimedean field. It is known that the category $\mathrm{Ban}_K$ of $K$-Banach spaces with bounded linear maps does not have infinite colimits. The usual argument for $\...
- 426
1
vote
0
answers
73
views
Krull dimension of affinoid algebra
Let $K$ be a complete field w.r.t. a valuation, with residue field $k$. Let $A$ be an affinoid algebra over $K$ with respect to a valuation $V$ (in the sense of Tate; in the terminology of Berkovich, $...
- 237
1
vote
1
answer
242
views
Can a p-adic ball cover a p-adic ball?
Are there a polynomials $f_1,...f_n \in \mathbb{Z}_p[x_1,...x_n]$ with there coeficients $p$-adic integers s.t.
A map $F:\mathbb{Z}_p^n\rightarrow \mathbb{Z}_p^n$ defined by $f_1,...f_n$
satisfy the ...
- 328
3
votes
1
answer
254
views
The simply connectedness of $\mathbb{A}^n_{\mathbb{Q}_p}$
My question is how to prove the affine $n$-space over $p$-adic number $\mathbb{Q}_p$ is simply connected.
To be precise,
Let $X$ be $p$-adically analytic manifold, $f:X\rightarrow \mathbb{A}^n_{\...
- 328
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 ...
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
2
votes
0
answers
110
views
Galois action on the cohomology of a curve over a local field with bad reduction
Let $C/\mathbb Q_p$ (or a p-adic local field more generally) be a smooth projective curve with split semistable reduction over $\mathbb Z_p$. What can we say about the action of the Galois group $\...
- 7,746
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
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
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
2
votes
0
answers
87
views
Quasi-Stein spaces that are not Stein or affinoid
I'm looking for an example of a rigid analytic space, over a field containing the $p$-adic numbers which is complete with respect to a non-archimedean norm, that is quasi-Stein, in the sense of Kiehl, ...
- 117
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
6
votes
0
answers
155
views
Resolution property in rigid analytic geometry
I am not a rigid analytic geometrer, so I apologise if the question is trivial, but I can't find an answer anywhere myself. I'm trying to understand in what ways (rigid) analytic geometry compares to ...
- 1,131
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
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
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
7
votes
1
answer
1k
views
What's the relation between analytic stacks and higher complex/non-archimedean analytic stacks?
Recently Clausen and Scholze have developed a theory of analytic stack to unify different analytic geometries. Actually I do not know many details about it. It says an analytic stack is a sheaf $\...
- 83
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
3
votes
0
answers
146
views
Looking for a source on Conrad-Gabber's results about spreading out of rigid-analytic families
Brian Conrad and Ofer Gabber have some results that were announced 9 years ago here:
https://www.ihes.fr/~abbes/Gabber/OferGabber.pdf
and there's a talk by Gabber about them here:
https://www.youtube....
- 4,164
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
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
0
answers
82
views
When is a coherent sheaf on an algebraizable space algebraizable?
Let $\mathcal{X}$ denote an algebraizable rigid analytic space over $\text{Spm}(\mathbb{Q}_p)$,
i.e. there exists a finite type $\mathbb{Q}_p$-scheme $X$ such that $\mathcal{X}$ is its rigid ...
- 2,907
1
vote
1
answer
131
views
Reduction of elliptic curves over local fields
Let $E$ be an elliptic curve defined over a p-adic local field $K$, with $j$-invarient $j(E)\in K$. Let $\mathscr{O}_K$ be the ring of integer of $K$. If $j(E)$ does not belong to $\mathscr{O}_K$, ...
- 95
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
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
3
votes
1
answer
200
views
Kernel of a map of Tate algebras
Let $A$ and $B$ be a pair of noetherian Tate algebras over $\mathbb{Q}_p$, and assume $\text{dim}_{\text{Krull}}(B) > \text{dim}_{\text{Krull}}(A)$. Is it true that any morphism $B \longrightarrow ...
- 2,907
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 ...
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 ...
1
vote
0
answers
85
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
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
5
votes
0
answers
132
views
Is $\mathbf{C}_p(X)$ self-dual?
Let $X$ be a set. Consider $\mathbf{Q}_p$ and $\mathbf{Z}_p$ as the $p$-adic numbers and $p$-adic integers, respectively. For any finite subset $F \subseteq X$, one can construct the topological ...
- 1,485
4
votes
1
answer
184
views
Meaning of dagger cohomology $H^{1 \dagger}(G^\dagger)$ in "Frobenius and Monodromy Operators" by Coleman and Iovita
Let $G$ be an abelian variety with good reduction over a finite extension $K$ of $\mathbb{Q}_p$. In equation (2.4) on page 179 of my edition of "The Frobenius and monodromy operators for curves ...
- 658
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
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
1
vote
1
answer
98
views
Geometrically connected affinoid cover of geometrically connected smooth rigid space
I am interested in the following question:
Given a geometrically connected smooth rigid analytic space $X$ over a non-archimedean field $k$, is it always possible to find an affinoid open covering, ...
- 208
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
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
2
votes
1
answer
225
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
9
votes
1
answer
370
views
G-topological spaces and locales
Consider the following generalization of topological spaces:
Definition: Let $X$ be a set. A G-topology on $X$ is given by certain distinguished subsets $U \subset X$, called admissible open subsets, ...
user513306
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
1
answer
133
views
Injectivity of sheaf restriction maps for wide open neighbourhoods of rational subdomains
Let $X=\text{Sp}(A)$ be an affinoid $K$ space, where $K$ is a $p$-adic field. If $f_0, f_1,..., f_s \in A$ generate the unit ideal then we can define the rational subdomain $U= X(f_0, f_1..., f_s) = \{...
- 117
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
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
1
vote
1
answer
111
views
Complete residue field of a point of type 5
Let $(F,|.|)$ be a complete algebraically closed field. Let $x$ be the point of type 5 corresponding to the unit open disc of the adic affine line over $F$. Can we obtain a concrete description of the ...
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
0
votes
1
answer
287
views
When is the power-bounded subring top. of finite type?
Very naive question here. Let $K$ be a complete nonarchimedean field, $A$ a reduced affinoid $K$-algebra. When is the power-bounded subring $A^\circ$ topologically of finite type, in the sense that we ...
- 783
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
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
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
0
votes
0
answers
64
views
Weierstrass subdomain of $\DeclareMathOperator\Spm{Spm}\Spm \mathbb{Q}_p$
I am trying to understand Weierstrass subdomains of $\Spm\DeclareMathOperator\QP{\mathbb{Q}_p}\QP$.
Recall that a Weierstrass algebra of an affinoid space $\Spm A$, where $A$ is a Banach algebra with ...
- 2,907