4.3. Induced maps between hybrid spaces [0166]
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
4.3. Induced maps between hybrid spaces
To any snc model of we associated in §2
a hybrid space . Let us briefly recall
the topology on in the present context.
Extend to a map
|
|
|
by declaring on .
For , define .
The construction in §2 yields, for , a tropicalization map
|
|
|
uniquely defined up to an additive error term of size .
The topology on is the coarsest one such that
is continuous, is continuous, and the inclusion
is an open embedding.
Now suppose and are snc models, with dominating
via .
Define the map to be the
identity on and equal to the map on
defined in §4.2.
Proposition 4.8.
The map is continuous and surjective.
Further, we have
|
|
|
(4.2) |
on for .
Proof.
Surjectivity follows from Proposition 4.3, and continuity
from (4.2) after unwinding the definitions.
It remains to establish (4.2). Consider any point
and set .
We can find adapted coordinate charts at on
and at on such that
and such that the following holds:
in ,
in and
.
Since the map is given by (4.1),
the result now follows from Proposition 2.1.
∎