All Questions
Tagged with berkovich-geometry non-archimedean-fields
28 questions
3
votes
0
answers
169
views
What are non-archimedean norms on $\mathbb{R}$, whose restriction to $\mathbb{Q}$ is trivial?
I wonder if there is any classification result on non-archimedean norms on $\mathbb{R}$, with trivial restriction to $\mathbb{Q}$? Any references or examples would be welcomed!
Some examples of such ...
- 241
1
vote
1
answer
268
views
Formal series which are always zero
Let $(k, |\cdot|)$ be a complete field with a non-Archimedean norm, not necessarily algebraically closed. Define the Tate algebra as follows:
\begin{align*}
k \langle T_1, \dots, T_n \rangle = \{ \...
- 1,485
4
votes
0
answers
251
views
What information does the topology of nonarchimedean Berkovich analytic spaces encode?
Given a finite type scheme $X$ over $\Bbb{C}$ we can associate to it an analytic space $X^\text{an}$. There are then comparison theorems comparing invariants of the topological space $X^\text{an}$ ...
- 193
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
5
votes
1
answer
178
views
An example where the non-Archimedean tensor product of normed modules is only seminormed?
Let $R$ be a commutative unital ring and let $M$ be a unital $R$-module. A non-Archimedean ring seminorm on $R$ is a map $|\cdot| \colon R \rightarrow \mathbb{R}_{\geq 0}$ which satisfies
$$ | 0_R| = ...
- 153
2
votes
0
answers
248
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
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
7
votes
0
answers
334
views
Berkovich spaces — why use atlases?
Note: this question only concerns Berkovich spaces ("analytic spaces") as defined in Berkovich's first book "Spectral Theory and Analytic Geometry over Non-Archimedean Fields", not ...
- 28.2k
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
2
votes
1
answer
300
views
Is $\mathbb{A}_k^n(k)$ dense in the Berkovich analytification of $\mathbb{A}_k^n$?
Let $k$ be a non-archimedean field and denote by $\mathbb{A}_k^n$ the analytic affine space of $n$ dimensions over $k$ (analytic in the sense of Berkovich). There is a natural injective map of sets $\...
- 1,153
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)...
9
votes
1
answer
976
views
Completed tensor product is exact
In the beginning of the 7th chapter of the book "Spectral theory and analytic geometry over non-Archimedean fields" by Vladimir Berkovich one can find the phrase "...tensor product functor is exact on ...
- 332
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
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
255
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
4
votes
1
answer
480
views
Tate algebras and fundamental theorem of algebra
Let $\mathbb K$ be an algebraically-closed complete non-archimedean field whose absolute value is non-trivial. Consider the Tate algebra $T_n=\mathbb K\langle X_1,\dots, X_n \rangle$ and fix $f\in T_n$...
- 2,789
2
votes
1
answer
139
views
Definition of model functions and their density in $C^0(X^\text{an})$
I am (still) working through the paper Singular semipositive metrics in non-Archimedean geometry by Sebastien Boucksom, Charles Favre and Mattias Jonsson (J. Algebraic Geom. 25 (2016), 77-139, doi:10....
- 155
3
votes
1
answer
308
views
Definition of a vertical ideal sheaf and a vertical fractional ideal sheaf
I'm working through the paper Singular semipositive metrics in non-Archimedean geometry by Sebastien Boucksom, Charles Favre and Mattias Jonsson (J. Algebraic Geom. 25 (2016), 77-139, doi:10.1090/jag/...
- 155
7
votes
1
answer
367
views
Formal power series in Berkovich geometry
In this Berkovich's paper, the following kind of algebra is studied:
$$
A=A_{m,n}=k^\circ \langle T_1,\dots,T_m \rangle [[S_1,\dots,S_n]]
$$
where $k$ is some non-archimedean field with non-trivial ...
- 2,789
13
votes
2
answers
1k
views
Berkovich space including both archimedean and non-archimedean worlds
From this Temkin's paper (at the end of section 1.1.3), I know that one may define Berkovich spaces that include both archimedean and non-archimedean worlds. This looks very interesting.
Temkin ...
- 2,789
4
votes
1
answer
109
views
finite number of vertices of the polyhedron of variation of an invertible function on a Berkovich curve
The paper of Ducros "Cohomologie non-ramifiée sur une courbe p-adique lisse" mentions a theorem (1.21) about the existence of a "polyhedron of variation" of an invertible function on a Berkovich curve....
- 4,070
4
votes
0
answers
150
views
The image of annuli of the non-Archimedean projective line by rational functions
I'm reading the book "potential theory and dynamics over the Berkovich projective line" by Baker and Rumely. The proposition 2.18 in this claims that if you choose suitable finite $\{a_i\} \in D(a,r)$ ...
- 61
1
vote
0
answers
146
views
characterization of the subspace of the moduli space of curves with maximally degenerate Jacobian
Let $K$ be a field equipped with a non-Archimedean absolute value, for example $K=\mathbb{C}((t))$. An Abelian variety $A$ over $K$ is called maximally degenerate if it admits an analytic ...
- 4,070
6
votes
1
answer
411
views
Relations between two definitions of non-archimedean analytic spaces
I begin to learn some non-archimedean geometry recently, and find that there are two different definitions of analytic spaces in the literature.
Let us fix a non-archimedean complete valuation field $...
- 404
4
votes
2
answers
622
views
Is there a notion of pure dimension for Berkovich analytic space?
For affinoid spaces the definition is similar to algebraic geometry, what about general analytic spaces? I can't find a reference about it. If yes then is the analytification of a variety of pure ...
- 129
1
vote
2
answers
765
views
Berthelot functor, rigid analytic space
If $X=\operatorname{Spec} A$, where $A$ is a noetherien, complete local ring, with a finite residual field $\mathbb{F}_p$. We can associate to $A$ a rigid analytic space with two different ways, we ...
- 1,066
3
votes
1
answer
560
views
is every point of a Berkovich space a Shilov point?
Let $k$ be an algebraically closed non-Archimedean valued field with the value group $\mathbb R$, and let $X$ be a variety over $k$. Is it true that for any point $x \in X^{an}$ of the Berkovich ...
- 4,070
2
votes
1
answer
185
views
The target of a regular function in Non-archimedean analytic geometry
Let $(k,|\cdot|)$ be an algebraically closed field, complete wrt a (multiplicative) norm as in the framework of the Berkovich's analytic geometry. Given a commutative Banach $k$-algebra $\mathcal{A}\...
- 375