ScalingStacks

A.5 Clemens cones and valuations [03XS]

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

A.5 Clemens cones and valuations

Let ๐’ณ{\cal X} be a snc model of XX. We define a map

i๐’ณ:C๐’ณโ€‹(๐‘)โ†’CXaโ€‹nโ€‹(๐‘)i_{\cal X}:C_{\cal X}({\bf R})\to C_{X^{an}}({\bf R})

such as follows. For J={j1,โ€ฆ,jk}โŠ‚I๐’ณJ=\{j_{1},\dots,j_{k}\}\subset I_{\cal X} such that DJโ‰ โˆ…D_{J}\neq\emptyset let us consider a point xโˆˆC๐’ณโ€‹(๐‘)x\in C_{\cal X}({\bf R})

x=โˆ‘i=1kaiโ€‹โŸจDjiโŸฉ,aiโˆˆ๐‘>0โ€‹โˆ€iโˆˆ{1,โ€ฆ,k}x=\sum_{i=1}^{k}a_{i}\langle D_{j_{i}}\rangle,\,\,\,a_{i}\in{{\bf R}}_{>0}\,\,\forall i\in\{1,\dots,k\}

and an affine Zariski open subset UโŠ‚๐’ณU\subset{\cal X} containing the generic point of DJD_{J}. One can embed ๐’ชโก(U){\cal O}(U) into the algebra of formal series KJโ€‹[[z1,โ€ฆ,zk]]K_{J}[[z_{1},\dots,z_{k}]] where KJK_{J} is the field of rational functions on DJD_{J} and zi=0z_{i}=0 are equations of divisors Dji,i=1,โ€ฆ,kD_{j_{i}},\,\,i=1,\dots,k\,. We define a valuation vxv_{x} of ๐’ชโก(U){\cal O}(U) by the formula

vxโ€‹(โˆ‘n1,โ€ฆ,nkโ‰ฅ0cn1,โ€ฆ,nkโ€‹โˆi=1kzini)=inf{โˆ‘aiโ€‹ni|cn1,โ€ฆ,nkโ‰ 0}.v_{x}\left(\sum_{n_{1},\dots,n_{k}\geq 0}c_{n_{1},\dots,n_{k}}\prod_{i=1}^{k}z_{i}^{n_{i}}\right)=\inf\left\{\sum a_{i}n_{i}\,|\,c_{n_{1},\dots,n_{k}}\neq 0\right\}\,\,.

We define i๐’ณโ€‹(x)i_{\cal X}(x) to be the image of the point vxโˆˆSโ€‹pโ€‹eโ€‹caโ€‹nโ€‹(๐’ชโก(U)/K)v_{x}\in Spec^{an}({\cal O}(U)/K) in Xaโ€‹nX^{an}. It is easy to check that the element i๐’ณโ€‹(x)i_{\cal X}(x) does not depend on the choice of the open subset UU.

The following proposition is obvious:

Proposition 9

The map i๐’ณ๐‘i_{\cal X}^{\bf R} is an embedding.

We will denote also by i๐’ณi_{\cal X} the induced embedding S๐’ณโ†ชXaโ€‹nS_{\cal X}\hookrightarrow X^{an}.

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