ScalingStacks

Lemma 8.22 . [02YK]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

Lemma 8.22.

With the above notation, we have

(8.23) degπ’ͺℙ⁑(E)​(1)⁑(ℙ⁑(E))=(n+r)!n!β€‹βˆ«Ξ”rL​(y)n​d​y\displaystyle\deg_{{\mathcal{O}}_{\mathbb{P}(E)}(1)}(\mathbb{P}(E))=\frac{(n+r)!}{n!}\int_{\Delta^{r}}L(y)^{n}\,\text{\rm d}y
(8.24) hπ’ͺℙ⁑(E)​(1)¯⁑(ℙ⁑(E))=(n+r+1)!(n+1)!​hπ’ͺ⁑(1)¯⁑(β„™n)β€‹βˆ«Ξ”rL​(y)n+1​d​y\displaystyle\operatorname{h}_{\overline{{\mathcal{O}}_{\mathbb{P}(E)}(1)}}(\mathbb{P}(E))=\frac{(n+r+1)!}{(n+1)!}\operatorname{h}_{{\overline{{\mathcal{O}}(1)}}}(\mathbb{P}^{n})\int_{\Delta^{r}}L(y)^{n+1}\,\text{\rm d}y
βˆ’(n+r+1)!2​n!βˆ«Ξ”rL(y)nΞ΅r(y)dy,\displaystyle\hskip 160.0pt-\frac{(n+r+1)!}{2\,n!}\int_{\Delta^{r}}L(y)^{n}\varepsilon_{r}(y)\,\text{\rm d}y,

where hπ’ͺ⁑(1)¯⁑(β„™n)=βˆ‘h=1nβˆ‘j=1h12​j\operatorname{h}_{{\overline{{\mathcal{O}}(1)}}}(\mathbb{P}^{n})=\sum_{h=1}^{n}\sum_{j=1}^{h}\frac{1}{2j} is the height of the projective space relative to the Fubini-Study metric.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.