Questions tagged [berkovich-geometry]
The berkovich-geometry tag has no usage guidance.
71 questions
3
votes
0
answers
91
views
Quillen-Suslin theorem for non-strict polydiscs in the sense of Berkovich
Let $K$ be a complete non-archimedean field of mixed characteristic $(0,p)$. Choose $\rho_1,\dots,\rho_n\in \mathbb{R}_{>0}$ and let $P$ be a finite projective module over $K\langle\rho_1^{-1}t_1,\...
- 63
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
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
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
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
2
votes
1
answer
397
views
The tensor product of admissible morphisms of semi-normed modules over a normed ring is an admissible morphism (V. G. Berkovich)
Disclaimer : I found here https://mathoverflow.net/editing-help in the spoilers paragraph that putting >! would hide following things, which was a way for me to alleviate my question's presentation by ...
- 255
2
votes
0
answers
269
views
Is there any relation between Berkovich spaces over $\Bbb Z$ and Arakelov theory?
As I understand it, both Arakelov geometry and Berkovich geometry over $\Bbb Z$ (or $\mathcal O_K$) consider geometric objects that contain in some sense information about both archimdean and ...
- 804
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
2
votes
0
answers
125
views
A structure sheaf for real analytification of semialgebraic sets in the context of signed tropicalization
Let $X=Spec(A)$ be an affine scheme, where $A$ be a commutative algebra over a non-archimedean valued field $K$. Assume that $K$ is a real closed field with the unique ordering $<$, which should be ...
- 21
1
vote
2
answers
766
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
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
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
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
177
views
L-function in p-adic spaces
I've been learning more about different $p$-adic geometries, namely Berkovich spaces, Huber's Adic spaces and ridgid analytic spaces. In arithmetic geometry, it is often very interesting to assoicate ...
- 4,408
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
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
0
votes
0
answers
128
views
Notion of Kahler differentials for Berkovic spaces
What is, in abstract analytic geometry (I mean, for example, in Berkovic spaces), the approach used for differential forms?
Ordinary Kahler differentials from commutative algebra/algebraic geometry ...
- 101