ScalingStacks

Proposition 6.10 [0378]

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 6.10

Let ff be a rational function on XX which is not identically zero. Then log⁡|f|\log|f| is a locally integrable function on Xan{X^{\rm an}} and we have d′​d′′​[log⁡|f|]=δdiv⁡(f)d^{\prime}d^{\prime\prime}[\log|f|]=\delta_{{\rm div}(f)}.

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