ScalingStacks

The canonical measure [01JM]

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

The canonical measure

The measure c1​(L¯)nc_{1}(\overline{L})^{n} on X\mathrm{X} defined by the metrized line bundle L¯\overline{L} is a very important invariant of the dynamical system. It satisfies the functional equations

f∗​c1​(L¯)n=dn​c1​(L¯)nandf∗​c1​(L¯)n=c1​(L¯)n.f^{*}c_{1}(\overline{L})^{n}=d^{n}c_{1}(\overline{L})^{n}\quad\text{and}\quad f_{*}c_{1}(\overline{L})^{n}=c_{1}(\overline{L})^{n}.

The first follows by a general functorial property proved in [18] ; it implies the second. The support of the canonical measure is therefore totally invariant under ff.

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