Definition 5.8 . [05BE]
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
Definition 5.8.
Let be a strongly nondegenerate polystable formal scheme with associated skeleton and an open face of . A function is called convex if there exists a surjective étale morphism with a strongly nondegenerate strictly polystable formal scheme and an open face of the skeleton associated to with such that is convex. For such a convex function on we define . It will follow from Corollary 5.10 that this is independent of the choices.