Lemma 5.13 . [0178]
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
Lemma 5.13.
We have .
Further, for each face of , there exist positive
integers , and satisfying
|
|
|
and such that the following properties hold:
is a union of faces of ,
and these are permuted by . For each :
- (a)
induces a -affine isomorphism ;
- (b)
induces a generically finite map ,
of degree ;
- (c)
, and
.
Furthermore, we have:
- (i)
;
- (ii)
;
- (iii)
.