Pome

Corollary 19.4.56C08CC234CAB9

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}

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$

Cite this page

Comments

Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.