Section 26
Refinement by the exceptional divisor of the original blow-up
The refinement along has asymptotically complete summands of classes Indeed is ample for . The normalizing identity is , so the surface-volume factor is again .
Lemma 26.1 (First-kind lines). If , the refined series on has stability threshold exactly one. Every prime divisor over with satisfies
Proof. On , one has . Each summand is complete on rational interior rays. For either of the two coordinate fibres of class , the expected coefficient is for either coordinate fibre of class , it is A common monomial degeneration of the complete bidegree series, as in Lemma 5.3, proves that its threshold is at least one. The divisor of class proves equality. There is no different since both and are smooth. The strict adjunction inequality of Lemma 21.2, with , gives the stated beta inequality. ◻
Lemma 26.2 (Second-kind lines). If , then
Proof. Write and . For subtraction of , the divisor is nef for , which is its threshold. Thus For subtraction of , the divisor is nef up to . Thereafter its positive part is , and the negative part is . The threshold is . Hence The other torus-invariant section has expected coefficient , and the other invariant fibre has coefficient . For example these numbers follow by summing distances to the four edges of the section polygon; the coefficients of the two section divisors sum to . The toric degeneration lemma therefore gives the lower bound , and a ruling fibre gives equality. This is the threshold of the actual asymptotically complete refined series, not an overestimate obtained by enlarging it. ◻