ScalingStacks

Proof. [05BV]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

Let (Yi)i∈I(Y_{i})_{i\in I} be an open affine cover of VV and set Vi:=red−1⁡(Yi)V^{i}:=\red^{-1}(Y_{i}). Then ViV^{i} is strictly KK-affinoid by [Bos77, Theorem 3.1] and hence VxiV^{i}_{x} is a good germ. Note that (Vxi)i∈I(V^{i}_{x})_{i\in I} is a cover of XxX_{x}. Hence Xx~\tilde{X_{x}} is obtained by glueing the Vxi~\tilde{V^{i}_{x}} along the canonical maps Vxi∩Vxj~→Vxi~\widetilde{V^{i}_{x}\cap V^{j}_{x}}\rightarrow\tilde{V^{i}_{x}}. Let Vi=ℳ⁡(Ai)V^{i}=\mathscr{M}(A_{i}) for a strictly KK-affinoid algebra AiA_{i}. Then Yi=Spec⁡Ai~Y_{i}=\Spec{\tilde{A_{i}}} and the character χx:Ai→ℋ⁡(x)\chi_{x}:A_{i}\rightarrow\mathscr{H}(x) induces a morphism χx~:Ai~→ℋ⁡(x)~\tilde{\chi_{x}}:\tilde{A_{i}}\rightarrow\widetilde{\mathscr{H}(x)}. Let 𝔭⊆Ai~\mathfrak{p}\subseteq\tilde{A_{i}} be the prime ideal corresponding to red⁡(x)\red(x) i.e. 𝔭\mathfrak{p} is the kernel of χx~\tilde{\chi_{x}}. The induced morphism Ai~/𝔭→ℋ⁡(x)~\tilde{A_{i}}/\mathfrak{p}\rightarrow\widetilde{\mathscr{H}(x)} is injective and hence it extends to a morphism K~​(V)→ℋ⁡(x)~\tilde{K}(V)\rightarrow\widetilde{\mathscr{H}(x)} where K~​(V)=Quot⁡(Ai~/𝔭)\tilde{K}(V)=\Quot(\tilde{A_{i}}/\mathfrak{p}) denotes the function field of VV. This induces a morphism π:𝑷ℋ⁡(x)~/K~→𝑷K~​(V)/K~\pi:\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}}\rightarrow\boldsymbol{P}_{\tilde{K}(V)/\tilde{K}}.
First step: We have that Vxi~=𝑷ℋ⁡(x)~/K~​{χx~​(Ai~)}\tilde{V^{i}_{x}}=\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}}\{\tilde{\chi_{x}}(\tilde{A_{i}})\} is the preimage under π\pi of the set of valuation rings in K~​(V)\tilde{K}(V) which admit a center on Yi∩VY_{i}\cap V.
Indeed if R∈𝑷ℋ⁡(x)~/K~R\in\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} is a valuation ring with χx~​(Ai~)⊆R\tilde{\chi_{x}}(\tilde{A_{i}})\subseteq R then Ai~/𝔭⊆R∩K~​(V)\tilde{A_{i}}/\mathfrak{p}\subseteq R\cap\tilde{K}(V). Let 𝔪R\mathfrak{m}_{R} be the maximal ideal of RR then 𝔭′:=𝔪R∩Ai~/𝔭\mathfrak{p}^{\prime}:=\mathfrak{m}_{R}\cap\tilde{A_{i}}/\mathfrak{p} defines a point in Spec⁡(Ai~/𝔭)\Spec(\tilde{A_{i}}/\mathfrak{p}) whose local ring is (Ai~/𝔭)𝔭′(\tilde{A_{i}}/\mathfrak{p})_{\mathfrak{p}^{\prime}} and we have (Ai~/𝔭)𝔭′⊆R(\tilde{A_{i}}/\mathfrak{p})_{\mathfrak{p}^{\prime}}\subseteq R. Then R∩K~​(V)R\cap\tilde{K}(V) admits the center 𝔭′\mathfrak{p}^{\prime} on Yi∩VY_{i}\cap V as claimed. Conversely if R∩K~​(V)R\cap\tilde{K}(V) admits a center on Yi∩VY_{i}\cap V then there exists 𝔭′∈Spec⁡(Ai~/𝔭)\mathfrak{p}^{\prime}\in\Spec(\tilde{A_{i}}/\mathfrak{p}) such that (Ai~/𝔭)𝔭′⊆R∩K~​(V)(\tilde{A_{i}}/\mathfrak{p})_{\mathfrak{p}^{\prime}}\subseteq R\cap\tilde{K}(V) and hence obviously χx~​(Ai~)⊆R\tilde{\chi_{x}}(\tilde{A_{i}})\subseteq R.
Second step: The map Xx~→𝑷ℋ⁡(x)~/K~\tilde{X_{x}}\rightarrow\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} is surjective if and only if any valuation on K~​(V)/K~\tilde{K}(V)/\tilde{K} admits at least one center on VV.
Let Xx~→𝑷ℋ⁡(x)~/K~\tilde{X_{x}}\rightarrow\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} be surjective and vv a valuation on K~​(V)/K~\tilde{K}(V)/\tilde{K}. Then vv extends to a valuation v~\tilde{v} on ℋ⁡(x)~\widetilde{\mathscr{H}(x)}. Let RR be the valuation ring of v~\tilde{v}. Then R∈𝑷ℋ⁡(x)~/K~R\in\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} and hence RR has a preimage R′∈Xx~R^{\prime}\in\tilde{X_{x}}. Then there exists i∈Ii\in I such that R′∈Vxi~R^{\prime}\in\tilde{V^{i}_{x}} hence the image of R′R^{\prime} in 𝑷K~​(V)/K~\boldsymbol{P}_{\tilde{K}(V)/\tilde{K}} admits a center on Yi∩VY_{i}\cap V by the first step. But this image is R∩K~​(V)R\cap\tilde{K}(V) by construction which is the valuation ring of vv. Hence vv admits a center on VV. Conversely suppose that any valuation on K~​(V)/K~\tilde{K}(V)/\tilde{K} admits a center on VV and let R∈𝑷ℋ⁡(x)~/K~R\in\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} then the image of RR in 𝑷K~​(V)/K~\boldsymbol{P}_{\tilde{K}(V)/\tilde{K}} induces a valuation on K~​(V)/K~\tilde{K}(V)/\tilde{K} which admits a center zz on VV. Let i∈Ii\in I such that z∈Yiz\in Y_{i} then R∈Vxi~R\in\tilde{V^{i}_{x}} and the induced element in Xx~\tilde{X_{x}} is a preimage of RR.
Third step: The map Xx~→𝑷ℋ⁡(x)~/K~\tilde{X_{x}}\rightarrow\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} is injective if and only if every valuation on K~​(V)/K~\tilde{K}(V)/\tilde{K} admits at most one center on VV.
To see this we describe Vxi∩Vxj~\widetilde{V^{i}_{x}\cap V^{j}_{x}}. In order to do so we cover Yi∩YjY_{i}\cap Y_{j} by open affine subsets Yi,jkY_{i,j}^{k}. Their preimages under red\red yield a cover of Vxi∩VxjV^{i}_{x}\cap V^{j}_{x} by good germs. As above their reductions can be described as the preimage of the set of valuation rings in K~​(V)\tilde{K}(V) which admit a center on Yi,jk∩VY_{i,j}^{k}\cap V. The reduction of Vxi∩VxjV^{i}_{x}\cap V^{j}_{x} is then obtained by glueing these spaces. Now suppose that any valuation on K~​(V)/K~\tilde{K}(V)/\tilde{K} admits at most one center and let R1,R2∈Xx~R_{1},R_{2}\in\tilde{X_{x}} which map to the same valuation ring R∈𝑷ℋ⁡(x)~/K~R\in\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}}. There exists i,ji,j such that R1∈Vxi~,R2∈Vxj~R_{1}\in\tilde{V^{i}_{x}},R_{2}\in\tilde{V^{j}_{x}}. As we have seen in the first step, R1∩K~​(V)R_{1}\cap\tilde{K}(V) and R2∩K~​(V)R_{2}\cap\tilde{K}(V) admit centers y1∈Spec⁡(Ai~)∩Vy_{1}\in\Spec(\tilde{A_{i}})\cap V respectively y2∈Spec⁡(Aj~)∩Vy_{2}\in\Spec(\tilde{A_{j}})\cap V. Then both are a center of R∩K~​(V)R\cap\tilde{K}(V). Hence y1=y2∈Yi∩Yjy_{1}=y_{2}\in Y_{i}\cap Y_{j} by our assumption. Therefore by the first step R1=R2=RR_{1}=R_{2}=R in Vxi∩Vxj~\widetilde{V^{i}_{x}\cap V^{j}_{x}}. Hence in the glueing process, R1R_{1} and R2R_{2} are identified with each other. Conversely suppose that there is a valuation on K~​(V)/K~\tilde{K}(V)/\tilde{K} which admits two centers y1,y2∈Vy_{1},y_{2}\in V. Let y1∈Yiy_{1}\in Y_{i} and y2∈Yjy_{2}\in Y_{j}. Choose an extension of the valuation to ℋ⁡(x)~\widetilde{\mathscr{H}(x)} and let RR denote its valuation ring. Then RR induces an element R1∈Vxi~R_{1}\in\tilde{V^{i}_{x}} as well as an element R2∈Vxj~R_{2}\in\tilde{V^{j}_{x}}. Then R1R_{1} and R2R_{2} map to the same element RR in 𝑷ℋ⁡(x)~/K~\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} but they are not identified in the glueing process as Yi∩VY_{i}\cap V and Yj∩VY_{j}\cap V are separated and hence R1R_{1} and R2R_{2} admit at most one center in Spec⁡(Ai~)∩V\Spec(\tilde{A_{i}})\cap V respectively Spec⁡(Aj~)∩V\Spec(\tilde{A_{j}})\cap V which means in particular that they do not admit a center in Yi∩Yj∩VY_{i}\cap Y_{j}\cap V. Hence Xx~→𝑷ℋ⁡(x)~/K~\tilde{X_{x}}\rightarrow\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} is not injective. This proves the third step.
Recall that VV is proper if and only if every valuation on K~​(V)/K~\tilde{K}(V)/\tilde{K} admits a unique center on VV ([Har77, Ch. II, Ex. 4.5]). Hence the claim follows from the second and third step. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.