Let $k$ be a field complete with respect to a non-trivial non-archimedean
absolute value (so that rigid $k$-space makes sense). Denote $K$ a finite field extension of $k$.


Denote $X\rightsquigarrow X^{\mathrm{an}/k}$ the analytification functor from the category of locally of finite type $k$-schemes to the category of rigid $k$-spaces.
Similarly there is an analytification functor $X\rightsquigarrow X^{\mathrm{an}/K}$ over $K$.


There is a well-defind forgetful functor $S:X\rightsquigarrow X$ from $K$-schemes to $k$-schemes ($S$ represents schemes) and a forgetful functor $R:Y\rightsquigarrow Y$ from rigid $K$-spaces to rigid $k$-spaces ($R$ represents rigid).


Let $X$ be a locally of finite type $K$-scheme. I believe that $S(X)^{\mathrm{an}/k}\cong R(X^{\mathrm{an}/K})$ as rigid $k$-spaces. The universal property induces a canonical map $R(X^{\mathrm{an}/K})\to S(X)^{\mathrm{an}/k}$ but I cannot show it is an isomorphism. A proof or reference would be nice.


p.s. the idea comes from proving absolute/relative Frobenius morphism commutes with analytification, but I first need to make sure the maps have the same source.


Also in [ME](https://math.stackexchange.com/questions/3996519/how-to-show-analytification-functor-commutes-with-forgetful-functor), but I just got advised not to post the same problem on both MS and ME. So I deleted the one on ME, and will possibly undelete it after a week or two.



How to show analytification functor commutes with forgetful functor?
I believe I got an answer. Denote $X^{\mathrm{an}/K},X^{\mathrm{an}/k}$ the analytifications of $X$ over $K$ and $k$ respectively. Denote $K$-maps (resp. $k$-maps) the maps of locally $G$-ringed $K$-spaces (resp. $k$-spaces).


**Lemma:** Let $X$ be a locally of finite type $K$-schemes. Then $X^{\mathrm{an}/K}\cong X^{\mathrm{an}/k}$ both as rigid $k$-spaces and rigid $K$-spaces.


**Plan:** Assume $X$ is affine. Find maps $X^{\mathrm{an}/K}\to X^{\mathrm{an}/k}$ and $X^{\mathrm{an}/k}\to X^{\mathrm{an}/K}$ and prove both of them are both $K$-maps and $k$-maps. Then the result follows from universal properties of $X^{\mathrm{an}/k}$ and $X^{\mathrm{an}/K}$. Then show it generalizes to the general case.


**Proof:** Assume $X$ is affine. Clearly the canonical $K$-map $X^{\mathrm{an}/K}\to X$ is also $k$-map, hence uniquely factors through the canonical $k$-map $X^{\mathrm{an}/k}\to X$. So we have a $k$-map $X^{\mathrm{an}/K}\to X^{\mathrm{an}/k}$.


To find a $K$-map from $X^{\mathrm{an}/k}$ to $X^{\mathrm{an}/K}$, it suffices to show that the canonical $k$-map $X^{\mathrm{an}/k}\to X$ is actually a $K$-map.


We know $X$ is affine, say $X\cong\mathop{\mathrm{Spec}}\frac{k[x\_1,...,x\_n]}{I}$. Pick $c\in k$ s.t. $|c|>1$. Denote $T\_n^{(i)}=k\langle c^{-i}x\_1,...,c^{-i}x\_n\rangle$. We know $X^{\mathrm{an}/k}=\bigcup\_{i\geq0}\mathop{\mathrm{Sp}}\frac{T\_n^{(i)}}{(I)}$, and $X^{\mathrm{an}/k}\to X$ is determined by the compatible maps $\frac{k[x\_1,...,x\_n]}{I}\to \frac{T\_n^{(i)}}{(I)}$. Let $\frac{T\_n^{(i)}}{(I)}$ equips with a $K$-algebra structure via $K\to \frac{k[x\_1,...,x\_n]}{I}\to \frac{T\_n^{(i)}}{(I)}$ (note that any ring map from a field to a ring is injective). Then $\frac{k[x\_1,...,x\_n]}{I}\to \frac{T\_n^{(i)}}{(I)}$ is a map of $K$-algebras. So $X^{\mathrm{an}/k}$ is a rigid $K$-space and $X^{\mathrm{an}/k}\to X$ is actually a $K$-map and it induces a $K$-map $X^{\mathrm{an}/k}\to X^{\mathrm{an}/K}$ which is also a $k$-map.


By universal property of $X^{\mathrm{an}/k}$, we have an equality of $k$-maps
$$(X^{\mathrm{an}/k}\to X^{\mathrm{an}/K}\to X^{\mathrm{an}/k})=(X^{\mathrm{an}/k}\stackrel{\mathrm{id}}{\to} X^{\mathrm{an}/k})$$
Next we show that the $k$-map $X^{\mathrm{an}/K}\to X^{\mathrm{an}/k}$ is also a $K$-map so we can prove that the $K$-map $X^{\mathrm{an}/K}\to X^{\mathrm{an}/k}\to X^{\mathrm{an}/K}$ is the identity map hence an identity $k$-map, it follows that $X^{\mathrm{an}/k}\cong X^{\mathrm{an}/K}$ both as rigid $K$-spaces and rigid $k$-spaces.


Just like $X^{\mathrm{an}/k}=\bigcup\_{i\geq0}\mathop{\mathrm{Sp}}\frac{T\_n^{(i)}}{(I)}$, we have $X^{\mathrm{an}/K}=\bigcup\_{j\geq0}\mathop{\mathrm{Sp}}A\_j$ for some $K$-algebras $A\_j$. It suffices to show that $\mathop{\mathrm{Sp}}A\_j\to X^{\mathrm{an}/k}$ is a $K$-map for all $j$. Fix $j\geq 0$, then there exists $\alpha(j)\geq 0$ s.t. $\mathop{\mathrm{Sp}}A\_j\to X^{\mathrm{an}/k}\to X$ induces
$$\frac{k[x\_1,...,x\_n]}{I}\to \frac{T\_n^{(\alpha(j))}}{(I)}\to A\_j$$
where the composition is a map of $K$-algebras, hence all intermediate maps are of $K$-algebras, and $X^{\mathrm{an}/K}\to X^{\mathrm{an}/k}$ is a $K$-map and we finished the affine case.


The patching part can be annoying. For a general scheme $X$, pick an open affine cover $\{X\_i\}\_{i\in I}$. For each pair $X\_{ij}=X\_i \cap X\_j$, we know it can be covered by simultaneous distinguished open affines $\{D\_{ijk}\}\_{k\in S\_{ij}}$. We know that $X^{\mathrm{an}/k}$ is obtained by gluing $\{X\_i^{\mathrm{an}/k}\}\_{i\in I}$ and $X^{\mathrm{an}/K}$ is obtained by gluing $\{X\_i^{\mathrm{an}/K}\}\_{i\in I}$. In particular, the gluing data of $X^{\mathrm{an}/k}$ over $k$ also has a structure of gluing data over $K$ (i.e. the spaces and the maps are over $K$, if we want to be precise, we will need to use $D\_{ijk}$), so $X^{\mathrm{an}/k}$ is a rigid $K$-space. With this we can show
$$(X^{\mathrm{an}/k}\to X^{\mathrm{an}/K}\to X^{\mathrm{an}/k})=(X^{\mathrm{an}/k}\stackrel{\mathrm{id}}{\to} X^{\mathrm{an}/k})$$


Now we need the following pasting lemmas for $K$-maps.



> 
> **Lemma**: Let $X$ and $Y$ be rigid $K$-spaces admitting admissible coverings $\{X\_i\}\_{i\in I}$ and $\{Y\_i\}\_{i\in I}$, respectively. Let
> $\psi\_i :X\_i \to Y\_i,i\in I$ be $K$-maps such that for all $i,j\in I$,
> we have $\psi\_i|\_{X\_i\cap X\_j}=\psi\_j|\_{X\_i\cap X\_j}:X\_i\cap X\_j \to
> Y\_i \cap Y\_j$. Then there exists a unique $K$-map $\psi:X\to Y$
> extending all $\psi\_i,i\in I$. For proof see [Non-Archimedean analysis] by Bosch, 9.3.3
> Prop 1.
> 
> 
> 


The $k$-map $\psi:X^{\mathrm{an}/K}\to X^{\mathrm{an}/k}$ descends to a gluing data of $k$-maps: $$\psi\_i:X\_i^{\mathrm{an}/K}\to X\_i^{\mathrm{an}/k},\psi\_{ij}:X\_{ij}^{\mathrm{an}/K}\to X\_{ij}^{\mathrm{an}/k}$$
In particular, $\psi\_i$ is already a $K$-map by the proof for affine case. Thus $\psi\_{ij}$ is a $K$-map as a restriction map. So we have a gluing data of $K$-maps, then we obtain a $K$-map $\psi\_K:X^{\mathrm{an}/K}\to X^{\mathrm{an}/k}$ s.t. $\psi\_K=\psi$ as $k$-maps.


The rest of the proof is the same as the affine case, the result follows from the universal properties.$\square$


*Bosch, S.; Güntzer, Ulrich; Remmert, Reinhold*, Non-Archimedean analysis. A systematic approach to rigid analytic geometry, Grundlehren der Mathematischen Wissenschaften, 261. Berlin etc.: Springer Verlag. XII, 436 p. DM 168.00 (1984). [ZBL0539.14017](https://zbmath.org/?q=an:0539.14017).


