Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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-...
Wojowu's user avatar
  • 28.2k
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-...
Sam's user avatar
  • 41
5 votes
1 answer
179 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| = ...
dejavu's user avatar
  • 153
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$-...
Dcoles's user avatar
  • 63
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 ...
user avatar
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 $\...
Jakob Werner's user avatar
  • 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)...
quasi-mathematician's user avatar
4 votes
1 answer
483 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$...
Hang's user avatar
  • 2,789
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 ...
shang's user avatar
  • 129
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-...
Hang's user avatar
  • 2,789
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 ...
Adel BETINA's user avatar
  • 1,066
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$....
Hang's user avatar
  • 2,789
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 ...
Hang's user avatar
  • 2,789