Corollary 5.5 . [05B8] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context Β· Original author HTML
Corollary 5.5 .
We have
c 1 β ( πͺ Β― h β p π β² ) n = deg β‘ ( S ) β
n ! β
MA β‘ ( h ) c_{1}\left(\overline{\mathcal{O}}^{h\circ p_{\mathfrak{X}^{\prime}}}\right)^{n}=\Deg(S)\cdot n!\cdot\MA(h)
on p π β² β 1 β ( Ο ) p_{\mathfrak{X}^{\prime}}^{-1}(\tau) , where MA β‘ ( h ) \MA(h) is understood to be a measure on π β² an \mathfrak{X}^{\prime\textup{an}} by pushforward with the inclusion Ο βͺ π β² an \tau\hookrightarrow\mathfrak{X}^{\prime\textup{an}} .