Theorem 11.4 . [030J] 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 5 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context ยท Original author HTML
Theorem 11.4 .
We have
log โก f ๐ก = โ ฮฒ โ ๐ k โก ( ฮฒ ) โ N ๐ โ t โ i | ๐ i | โ z โ k โก ( ฮฒ ) โ m out , \log f_{\mathfrak{d}}=\sum_{\beta}\sum_{\bf P}k(\beta)N_{\bf P}t^{\sum_{i}|{\bf P}_{i}|}z^{-k(\beta)m_{\mathrm{out}}},
where the sum is over all ฮฒ โ H 2 โ ( X , โค ) \beta\in H^{2}(X,\mathbb{Z}) with ฮฒ โ
D i โฅ 0 \beta\cdot D_{i}\geq 0 ,
k โก ( ฮฒ ) := ฮฒ โ
D out > 0 k(\beta):=\beta\cdot D_{\mathrm{out}}>0 , and partitions ๐ {\bf P} with
| ๐ i | = ฮฒ โ
D i |{\bf P}_{i}|=\beta\cdot D_{i} .