Theorem 4.9 . [02PK]
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
Theorem 4.9.
Let , , and , , be as above. Then the correspondence is a bijection between
- (1)
the set of pairs , where is a linear map such that for every cone there exists a cone with , and is a rational point of ,
- (2)
the set of equivariant morphisms whose image intersects the principal open subset of .