The Stacks project

Remark 87.21.2. The condition as formulated in Definition 87.21.1 is not right even for morphisms of finite type of locally adic* formal algebraic spaces. For example, if $A = (\bigcup _{n \geq 1} k[t^{1/n}])^\wedge $ where the completion is the $t$-adic completion, then there are no adic morphisms $\text{Spf}(R) \to \text{Spf}(A)$ where $R$ is a complete discrete valuation ring. Thus any morphism $X \to \text{Spf}(A)$ would be rig-surjective, but since $A$ is a domain and $t \in A$ is not zero, we want to think of $A$ as having at least one “rig-point”, and we do not want to allow $X = \emptyset $. To cover this particular case, one can consider adic morphisms

\[ \text{Spf}(R) \longrightarrow Y \]

where $R$ is a valuation ring complete with respect to a principal ideal $J$ whose radical is $\mathfrak m_ R = \sqrt{J}$. In this case the value group of $R$ can be embedded into $(\mathbf{R}, +)$ and one obtains the point of view used by Berkovich in defining an analytic space associated to $Y$, see [Berkovich]. Another approach is championed by Huber. In his theory, one drops the hypothesis that $\mathop{\mathrm{Spec}}(R/J)$ is a singleton, see [Huber-continuous-valuations].

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0AQZ. Beware of the difference between the letter 'O' and the digit '0'.