ScalingStacks

Proposition 3.9 . [01EV]

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

Proposition 3.9.

Let ๐’ณ\mathcal{X} be an SNC model of XX and let ๐”ž\mathfrak{a} be a vertical fractional ideal sheaf on ๐’ณ\mathcal{X}. Then ฯ†:=logโก|๐”ž|โˆˆ๐’Ÿโก(X)\varphi:=\log|\mathfrak{a}|\in\mathcal{D}(X) satisfies:

  • (i)

    ฯ†โˆ˜emb๐’ณ\varphi\circ\emb_{\mathcal{X}} is piecewise affine and convex on each face of ฮ”๐’ณ\Delta_{\mathcal{X}};

  • (ii)

    ฯ†โ‰คฯ†โˆ˜p๐’ณ\varphi\leq\varphi\circ p_{\mathcal{X}}.

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