ScalingStacks

Products, measures [01IJ]

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

Products, measures

Taking the product of nn factors equal to this differential form, we get a differential form of type (n,n)(n,n) on the nn-dimensional complex space X\mathrm{X}. Such a form can be integrated on X\mathrm{X} and the Wirtinger formula asserts that

∫Xc1​(L¯)n=deg⁡(L)\int_{\mathrm{X}}c_{1}(\overline{L})^{n}=\deg(L)

is the degree of LL as computed by intersection theory. As an example, if X=𝐏1​(𝐂)\mathrm{X}={\mathbf{P}}^{1}({\mathbf{C}}), we have seen that

c1​(𝒪⁡(1)¯FS)=i2​π​(1+|z|2)2​d​z∧d​z¯,c_{1}(\overline{\mathscr{O}(1)}_{\mathrm{FS}})=\frac{i}{2\pi(1+\left|{z}\right|^{2})^{2}}\mathrm{d}z\wedge d\overline{z},

where z=x1/x0z=x_{1}/x_{0} is the affine coordinate of X∖{∞}X\setminus\{\infty\}. Passing in polar coordinates z=r​ei​θz=re^{i\theta}, we get

c1​(𝒪⁡(1)¯FS)=12​π​(1+r2)2​d​r∧d​θc_{1}(\overline{\mathscr{O}(1)}_{\mathrm{FS}})=\frac{1}{2\pi(1+r^{2})^{2}}\mathrm{d}r\wedge\mathrm{d}\theta

whose integral over 𝐂{\mathbf{C}} equals

∫𝐏1​(𝐂)c1​(𝒪⁡(1)¯FS)=∫0∞12​π​(1+r2)2​2​r​𝑑r​∫02​π𝑑θ=∫0∞1(1+u)2​𝑑u=1.\int_{{\mathbf{P}}^{1}({\mathbf{C}})}c_{1}(\overline{\mathscr{O}(1)}_{\mathrm{FS}})=\int_{0}^{\infty}\frac{1}{2\pi(1+r^{2})^{2}}2r\mathrm{d}r\int_{0}^{2\pi}\mathrm{d}\theta=\int_{0}^{\infty}\frac{1}{(1+u)^{2}}\mathrm{d}u=1.

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