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
Proof.
To ease notation, set and .
Let be the smallest simplex of containing .
Write , and for the strata of , and
corresponding to , and , respectively.
The restrictions
and are given by -linear maps,
and we have induced morphisms and .
First suppose that is active for and
is active for . Then and are given
by -linear isomorphisms; hence so is the composition
.
Similarly, the maps and are bimeromorphic morphisms;
hence so is the composition .
It follows that is active for .
Conversely, suppose is active for .
Since the map is a bimeromorphic morphism,
the map (resp. ) must be injective (resp. surjective).
In particular, and .
Similarly, since the -linear map defining
is an isomorphism,
the -linear map defining (resp. ) must be
injective (resp. surjective).
In particular, and .
Now
|
|
|
so we infer that
and .
This further implies that the maps and are
bimeromorphic morphisms, and that the -linear maps
defining and are isomorphisms.
Hence and are active for and , respectively.
β