Example 27.8.12. Let \mathbf{C}[X_1, X_2, X_3, \ldots ] be the graded \mathbf{C}-algebra with each X_ i in degree 1. Consider the ring map
which maps X_ i to t^{1/i}. The right hand side becomes a valuation ring A upon localization at the ideal \mathfrak m = (t^\alpha ; \alpha > 0). Let K be the fraction field of A. The above gives a morphism \mathop{\mathrm{Spec}}(K) \to \text{Proj}(\mathbf{C}[X_1, X_2, X_3, \ldots ]) which does not extend to a morphism defined on all of \mathop{\mathrm{Spec}}(A). The reason is that the image of \mathop{\mathrm{Spec}}(A) would be contained in one of the D_{+}(X_ i) but then X_{i + 1}/X_ i would map to an element of A which it doesn't since it maps to t^{1/(i + 1) - 1/i}.
Comments (2)
Comment #5004 by Laurent Moret-Bailly on
Comment #5240 by Johan on
There are also: