ScalingStacks

Proposition 4.7 . [02BX]

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

Proposition 4.7.

Given a compact set K⊂X∞regK\subset X_{\infty}^{{\rm reg}} we can find an integer m⁡(K)m(K) such that for k≥m⁡(K)k\geq m(K), any point x∈Kx\in K and any tangent vector vv at xx there is a holomorphic section s∈H0​(X∞,Lk)s\in H^{0}(X_{\infty},L^{k}) with s⁡(x)=0s(x)=0 and the derivative of ss along vv not zero.

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