Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Let be a skeleton associated to a strongly nondegenerate strictly polystable formal scheme over . A continuous function is called piecewise affine linear if there exists a -rational polytopal subdivision of such that for any canonical polysimplex of , any formal open subset of whose distinguished stratum is and any with , there exist and such that (see Definition 2.3 for the notation and setting).