ScalingStacks

Proposition 8 [03XF]

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 8

The space Xaโ€‹nX^{an}

a) is a locally compact Hausdorff space as long as XX is separated;

b) has the homotopy type of a finite Cโ€‹WCW-complex;

c) is contractible if XX has good reduction with irreducible special fiber.

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