Corollary 19.4.56.C08CC234CAB9 Let $E$ be a prime divisor over $X$. Then
3C67C9063373
19.4.57
\begin{equation} \nu (V_{\theta },E)=\lim _{k\to \infty }\frac{1}{k}\operatorname{ord}_ E \mathrm{H}^0(X,L^ k). \end{equation}
C08CC234CAB9Corollary 19.4.56.C08CC234CAB9 Let $E$ be a prime divisor over $X$. Then
3C67C9063373
19.4.57
Proof. After replacing $X$ by a modification, we may assume that $E$ is a prime divisor on $X$. Note that since $X$ is projective, we can always find an admissible flag with $E$ being the first component.
Then (19.4.57) follows from theorem 19.4.51 and the fact that $\Delta _{Y_{\bullet }}(\theta ,V_{\theta })=\Delta _{Y_{\bullet }}(L)$ for any admissible flag $Y_{\bullet }$ on $X$. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.