Questions tagged [rigid-analytic-geometry]
rigid analytic varieties, affinoid varieties, strictly convergent power series over non-archimedean fields
106 questions with no upvoted or accepted answers
4
votes
0
answers
307
views
Etale cohomology of projective spaces in the rigid analytic setting
Take $K$ a complete non-archimedean field (maybe algebraically closed, to simplify the question), and $\mathbb{P}_K^d$ the rigid projective space over $K$. Can we compute the étale cohomology with ...
4
votes
0
answers
422
views
Cyclotomic Extension of a Perfectoid Space
Maybe, I am being stupid, but when I consider ramified extension of a perfectoid field with the characteristic $0$, I cannot find the correspondent field with characteristic $p$. Let me put it more ...
- 41
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
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
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
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
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
3
votes
0
answers
138
views
Reference for a p-adic analytic Douady space
I am almost sure that some paper was published in German probably in the 60's or in the 70's proving the existence of a "p-adic analytic Hilbert scheme" (or Douady space) related to a given ...
- 1,584
3
votes
0
answers
269
views
Differential forms on rigid analytic/adic spaces
What the correct notion of "Kähler differentials" on a sufficiently nice adic spaces (rigid space, perhaps) ? Given, a smooth variety $X$ over a perfect field $k$ of some positive ...
- 1,516
3
votes
0
answers
183
views
gluing Berkovich spaces
In his paper Etale cohomology for non-Archimedean analytic space (IHES), Berkovich explained how to glue $k$-analytic spaces (Prop. 1.3.3) and show its uniqueness using the Prop 1.3.2 (gluing morphism)...
3
votes
0
answers
228
views
Is the Čech complex of a coherent sheaf on a compact separated rigid analytic space admissible?
$\newcommand{\F}{\mathcal{F}}\newcommand{\O}{\mathcal{O}}$Let $X$ be a compact, separated rigid $k$-analytic space over some complete non-archimedean field $k$. Then $X$ has a finite affinoid covering ...
- 1,153
3
votes
0
answers
105
views
A proper analytic surface into which every smooth proper analytic curve embeds
Let $k$ be a finite extension of $\mathbb{Q}_p$. Does there exist a proper $k$-analytic surface such that there is a closed immersion into it from any connected smooth proper $k$-analytic curve? The ...
user140765
3
votes
0
answers
279
views
Analytic Space with No Regular Points
Define an analytic space to be a topological space $X$ equipped with a sheaf of rings $\mathcal{O}_X$ such that for every point $x \in X$ there is a neighbourhood $U \subseteq X$ such that $(U, \...
- 39
3
votes
0
answers
275
views
Seminorms on tensor products of affinoid algebras
Let $A \leftarrow C \rightarrow B$ be affinoid $K$-algebras, where $K$ is a non-archimedean field with non-trivial absolute value. Equipping $A$, $B$, $C$ with the supremum seminorms, there is a ...
- 31
3
votes
0
answers
331
views
Etale cohomology of rigidification
Let $K/\mathbb Q_p$ be a discretely valued non-archemedean field, let $X$ be a smooth scheme over $\mathcal O_K$. To $X$ one can associate two rigid-analytic spaces over $K$:
1) the analytification $...
- 790
3
votes
0
answers
209
views
Compact subgroups of general linear groups over affinoid algebras
Let $k$ be a finite extension of $\mathbb{Q}_p$ and let $(A,A^0)$ be a $k$-affinoid algebra, where $A^0$ is the subring of power bounded elements. Suppose given a compact subgroup, L, of $GL_n(A)$, is ...
- 31
3
votes
0
answers
484
views
Sheaf of power-bounded elements in rigid analytic geometry
Let $k$ be a field with a non-archimedean complete valuation $|\ |$, $X$ a reduced rigid analytic space over $k$. The presheaf $\mathcal{O}^0$ which to an affinoid $U$ of $X$ attaches the ring $\...
- 26.1k
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 ...
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
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
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
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
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
2
votes
0
answers
250
views
Enlightening examples of tropical skeletons of Berkovich spaces
Let $K$ be a complete non-archimedean field and let $X$ be a $K$-analytic space in the sense of Berkovich of pure dimension $d$. Let $\varphi \colon X \to \mathbf{G}_m^r$ be a moment map to an ...
user478030
2
votes
0
answers
144
views
Computing the ring of power-bounded elements in an affinoid algebra
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $A$ be an affinoid $K$-algebra, i.e. $A$ is isomorphic to a quotient of the Tate algebra $K\left<T_1,\dotsc,T_n\right>$ for some $n$. ...
- 913
2
votes
0
answers
156
views
Rigid \'etale cohohomology of flag variety minus its rational points e.g $p$-adic Drinfeld half plane
Let $Fl=G/B$ over $\mathbb Q_p$ be the flag variety of a quasi-split reductive group $G$ over $\mathbb Q_p$, then $X=Fl-Fl(Q_p)$ shall exist as a rigid analytic variety over $\mathbb Q_p$, how to ...
- 6,622
2
votes
0
answers
257
views
Rigid analytic geometry and Tate curve
I am stuck in the proof of theorem 5.1.4 in the book rigid analytic geometry and its applications on page 126. The authurs define $\Gamma:=G^{an}_{m,k}/<q\gt$ where $k$ is a complete non-...
user141691
2
votes
0
answers
208
views
What is meant by a "closed point" of a rigid analytic space?
This is perhaps a naive question, but I have seen some authors (such as Mazur, Kisin) use the term of a "closed point" for (classical) rigid analytic spaces. I am slightly confused as to what this ...
- 643
2
votes
0
answers
127
views
Status of locality of perfectoidness for uniform rings
Let $k$ be a perfectoid field of zero characteristic. Recall that a Tate $k$-algebra is called uniform if the set of power-bounded elements is bounded. Let $(A, A^+)$ be a uniform complete affinoid $k$...
- 257
2
votes
0
answers
115
views
Converging sequence of base change
Here is a natural question that I hope will be of interest to some.
Let $\mathbf{F}_p(\!(T)\!)$ be the field of formal Laurent series over $\mathbf{F}_p$. An automorphism of $\mathbf{F}_p(\!(T)\!)$ ...
- 1,017
2
votes
0
answers
244
views
The composition of proper morphisms in rigid geometry
many books and lecture notes say that it is difficult to prove that the composite of two proper morphisms of rigid analytic varieties are also proper. That is, if two morphisms of rigid analytic ...
- 61
2
votes
0
answers
148
views
Support of Tor over affinoid algebras
Suppose $k$ is a complete nonarchimedian field, $A$ is a $k$-affinoid algebra, and $M$ is a finitely presented $A$-module. Is the set
$\tau(M)= \left\{ x \in \mathrm{Sp}(A)\,\mathrm{with}\,\mathrm{...
- 13.1k
2
votes
0
answers
455
views
reference for p-adic Stein spaces
Hi,
I'm looking for a reference in english for p-adic Stein spaces. The usual referneces I come across are all in german.
Thanks
- 2,842
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
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
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
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
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
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
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
1
vote
0
answers
190
views
Moduli interpretation of normalization of moduli space
The question is about formal and rigid geometry, but I would be interested in an answer from an algebraic geometry point of view as well.
Let $\mathfrak{X}$ be a formal moduli space (e.g., the formal ...
- 949
1
vote
0
answers
81
views
Completion of $K$-algebra of finite type with respect to the residue norm
Let $K$ be a non-archimedean field. For $n \in \mathbb{N}$ let
\begin{equation*}
T_n=\{ \sum_{\nu_1, \ldots, \nu_n \geq 0 } a_{\nu_1, \ldots, \nu_n }X_1^{\nu_1}\cdots X_n^{\nu_n} \in K[\
- 4,418
1
vote
0
answers
87
views
Morphism into K-analytic projective space $\mathbb{P}_K^{n,rig}$
Let $K$ be a local field, with a completed algebraic closure $\hat{\bar{K}}$ and $A$ be an affinoid $K$-algebra. Is it then true, that for $f_0, \ldots ,f_n \in A$, the map $\phi:$ Sp$A \rightarrow$ $\...
- 473
1
vote
0
answers
80
views
Polytopal domains in non-archimedean torus
Given a non-archimedean field $\mathbb K$, there is a natural map
$$
\mathrm{val}: (\mathbb K^*)^n\to\mathbb R^n$$
(See Section 4 of Gubler's paper).
Gubler mentions there $\mathrm{val}$ is a ...
- 2,789
1
vote
0
answers
209
views
Quasi-coherent sheaves in Tate's theorem
A theorem of Tate states that for any affinoid space $X=\mathrm{Sp}\:A$ and a coherent sheaf $F$ we have $H^i(X,F)=0$ for all $i>0$.
Is this theorem true for merely quasi-coherent sheaves? The ...
user143954
1
vote
0
answers
131
views
Affinoid algebra and fundamental theorem of algebra
This post is closely related to the previous one here.
But more generally, we want to study an affinoid algebra $A:=T_n/\mathfrak a$. Let's assume $\mathfrak a= (f_1,\dots,f_r)$ for some $f_i\in T_n$....
- 2,789
1
vote
0
answers
256
views
Explicit description of rigid analytification of torus
It is known that in non-archimedean world there is also a GAGA-functor from the category of $K$-schemes of locally finite type to the category of rigid $K$-spaces. Here $K$ is a field with a non-...
- 2,789
1
vote
0
answers
165
views
Rigid analytic reductions of the projective line
I'm reading the book "Rigid Analytic Geometry and its Applications" by Fresnel-van der Put, and I'm confused by their example 4.8.5. In the first two parts of the example, they define the analytic ...
- 164
1
vote
0
answers
348
views
rigid analytic geometry positive characteristic
I am a beginning graduate student. I have the following basic question I am very confused about:
Suppose $C$ is a smooth geometrically irreducible curve over a finite field $\mathbb{F}_q$, $q=p^m$, $...
- 147