ScalingStacks

Proof. [03V6]

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. It is easy to see that for each point x∈Bs​i​n​gx\in B^{sing} one has il​o​c​(x)=112i_{loc}(x)={\frac{1}{12}}. Then from Gauss-Bonnet theorem one deduces that χ⁡(B)=2−2​g\chi(B)=2-2g, where gg is the genus of the Riemann surface BB. Then we have

|Bs​i​n​g|12=2−2​g.{\frac{|B^{sing}|}{12}}=2-2g\,\,.

Since LHS is non-negative we conclude that either g=1g=1 or g=0g=0. In the first case |Bs​i​n​g|=0|B^{sing}|=0 and we have a 𝐙{\bf Z}-affine structure on a torus. In the second case we have |Bs​i​n​g|=24|B^{sing}|=24 and g=0g=0. ■\blacksquare

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