# Questions tagged [berkovich-geometry]

The tag has no usage guidance.

48 questions
Filter by
Sorted by
Tagged with
55 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 ...
158 views

### What is the definable functor associated to an algebraic scheme (model theory of valued fields)

I have a very basic question regarding algebraic model theory. I am trying to read Espaces de Berkovich, polytopes, squelettes et théorie des modèles (MSN) by Antoine Ducros. The relevant section is ...
99 views

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 ...
128 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)...
376 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 ...
195 views

### Are maps corresponding to affinoid subdomains flat in the Banach sense?

$\newcommand{\Sp}{\mathrm{Sp}}\newcommand{\abs}{\lvert #1\rvert}\newcommand{\comptensor}{\mathbin{\hat{\otimes}}}$ Let $k$ be a complete non-archimedian field and let $X = \Sp(B)$ be a $k$-affinoid ...
318 views

### An example of a morphism of rigid analytic spaces with affinoid base which is proper but does not satisfy $(\dagger)$

Let $k$ be a complete non-archimedean field and let $\varphi \colon X \to Y$ be a morphism of rigid analytic spaces over $k$, where $\newcommand{\Sp}{\operatorname{Sp}}Y = \Sp(B)$ is affinoid. ...
47 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 ...
176 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 ...
93 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 ...
103 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$....
120 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-...
319 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$...
117 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....
172 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/...
226 views

### The weight filtration on etale cohomology and Berkovich analytic geometry

If $X$ is a smooth projective curve over $\mathbb C_p$, then its first etale cohomology $\mathrm H^1_{et}(X,\mathbb Q_\ell)$ (with $\ell\neq p$) carries a certain weight filtration $W_\bullet$ -- also ...
285 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 ...
634 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 ...
123 views

207 views

### Kodaira embedding theorem for rigid analytic varieties

Kodaira embedding theorem can be regarded as a vast generalizaton of the projectivity criterion for complex tori: indeed, the Riemann conditions essentially say that the line bundle defined by the ...
164 views

### generic points of Berkovich spaces and generic properties

Let $k$ be a field equipped with non-Archimedean absolute value, let $S=\mathcal{M}(A)$ be an affinoid domain over $k$, and let $\pi_S: S^{an} \to \tilde{S}$ be the reduction map from the Berkovich ...
129 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)$ ...
247 views

### Abel-Jacobi map for Mumford curves analytically

Let $K$ be a field equipped with a non-Archimedean absolute value, let $\Gamma$ be a Schottky group in $PGL_2(K)$, and let $X_\Gamma$ be the associated Mumford curve, which is a proper smooth rigid ...
127 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 ...
436 views

### Strange formula in arithmetic dynamic

Added: another function like that is $S_p f(z) = f(z)+\frac{f(\sqrt{zp})^2}{f(p)}$ in a field of characteristic two. We discovered the following operator which acts on the space of polynomials (or ...
1k views

420 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 ...
442 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 ...
322 views

1k views

### applications of Berkovich spaces

What are applications of the theory of Berkovich analytic spaces? The analytification $X \mapsto X^{\mathrm{an}}$
2k views

### Open problems in Berkovich geometry

I would like to know if there is a state of the art recent reference on non-archimedean analytic spaces mentioning/listing open problems, conjectures, unresolved questions in the theory (*). I have ...
296 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 ...
375 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 ...
156 views

3k views

### Rigid analytic spaces vs Berkovich spaces vs Formal schemes

I wonder if someone could explain briefly what is the relation between these 3 formal models, of a Berkovich space, a rigid analytic space and a formal scheme? I have been working with formal schemes ...
647 views

### Cohesive ∞-toposes for analytic geometry

There is a class of big ∞-toposes that come with a good supply of intrinsic notions of differential geometry and differential cohomology: called cohesive ∞-toposes (after Lawvere's cohesive toposes). ...