Remark 85.15.12 (Warning). Lemma 85.15.10 is sharp in the following two senses:

1. If $A$ and $B$ are weakly admissible rings and $\varphi : A \to B$ is a continuous map, then $\text{Spf}(\varphi ) : \text{Spf}(B) \to \text{Spf}(A)$ is in general not representable.

2. If $f : Y \to X$ is a representable morphism of affine formal algebraic spaces and $X = \text{Spf}(A)$ is McQuillan, then it does not follow that $Y$ is McQuillan.

An example for (1) is to take $A = k$ a field (with discrete topology) and $B = k[[t]]$ with the $t$-adic topology. An example for (2) is given in Examples, Section 108.73.

Comment #1950 by Brian Conrad on

This warning is written in a manner that is too cryptic. It is better to tell the reader straight up what the issue is: the open ideals $J(I) \subset B$ build in the proof of Lemma 14.10 might fail to be a cofinal system of open neighborhoods of 0 in $B$.

Comment #2004 by on

OK, I split the warning into two parts and I explain how to get an example for each (but the second is awful). See here or wait till the website is updated later this week.

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).