ScalingStacks

Proof of the Theorem [03V4]

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

Proof of the Theorem. Let us pick up a small circle [γx0]∈H1​(B1,𝐙)[\gamma_{x_{0}}]\in H_{1}(B_{1},{\bf Z}) around x0x_{0}. Then ∑x∈Bs​i​n​g[γx]+[γx0]=0\sum_{x\in B^{sing}}[\gamma_{x}]+[\gamma_{x_{0}}]=0. The monodromy around x0x_{0} can be easily computed via the winding number of the induced vector field (section of E|γx0E_{|\gamma_{x_{0}}}) and is equal to −χ⁡(B)​u-\chi(B)u. Applying homomorphism ii we obtain the result. ■\blacksquare

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