ScalingStacks

\propname 6.7.3 . [01WS]

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

\propname 6.7.3.

Soit XX un espace kk-analytique purement de dimension nn. Supposons que pour tout x∈Xx\in X, l’application 𝒪X,x→ℋ⁡(x)\mathscr{O}_{X,x}\to{\mathscr{H}}(x) est d’image dense. Soit (E¯i)(\bar{E}_{i}) une famille finie de fibrés vectoriels métrisés PL sur XX, localement triviaux sur XX. L’ensemble des points xx de XX en lesquels la dimension de définition simultanée des E¯i\bar{E}_{i} soit égale à nn est fermé et discret.

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