Lemma 5.4 (Step 1 of Lemma 5.12 of [ BFJ16 ] ) . [03CK]

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

Lemma 5.4 (Step 1 of Lemma 5.12 of [BFJ16]).

Under the same hypothesis as in Proposition 5.2, the model functions $\frac{1}{m}{\log|\mathfrak{a}_{m}|}$ converge pointwise to $0$ on $X^{\rm div}$ .