For notational simplicity, we do the proof for , the case being even simpler. By -symmetry, it is enough to check this on the open .
On the -affine structure induced by matches the one associated with a minimal model , such the strict transform of inside is isomorphic to and the hypotheses of TheoremΒ B hold for the stratum .
For the affine structure induced by an affinoid torus fibration, -affine functions on are given by , where is a non-vanishing analytic function on (see SectionΒ 1.6), and is the generic fiber (in the sense of Berkovich) of (see SectionΒ 1.5).
Using the results of SectionΒ 2, we may assume that we are working on the generic fiber of , which we denote by ; this is an open subset of the analytification of the torus of , where .
Thus we replace with .
The torus of is the direct product of the torus of with , i.e. in coordinates
|
|
|
The normal bundle is endowed with a morphism , whose restriction corresponds to the morphism of rings
|
|
|
We obtain that
|
|
|
so that -affine functions on are integral linear combinations of the , for . But those functions are precisely , , , i.e. satisfying and generating the -linear functions on in [Li19].
β