>>216
Goのサーベイの356〜361ページ
http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2018May28.pdf
The Θ×µ LGP-link 0,0HT Θ ×µ LGP −→ 1,0HT induces the full poly-isom
0,0F I×µ LGP full poly ∼→ 1,0F I×µ ∆ of F I×µ-prime-strips, which sends
Θ-pilot objects to a q-pilot objects. By the Kummer isomorphisms, the 0,0-labelled
Frobenius-like objects corresponding to the objects in the multiradial representaion
of Theorem 13.12 (1) are isomorphically related to the 0,◦ -labelled vertically coric
´etale-like objects (i.e., monoanalytic containers with actions by theta values,
and number fields) in the multiradial representaion of Theorem 13.12 (1).
After admitting the indeterminacies (Indet xy), (Indet →), and (Indet ↑),
these (0, ◦)-labelled vertically coric ´etale-like objects are isomorphic
(cf. Remark 11.1.1) to the (1, ◦)-labelled vertically coric ´etale-like objects.
Then Corollary follows by comparing the log-volumes (Note that log-volumes
are invariant under (Indet xy), (Indet →), and also compatible with log-Kummer
correspondence of Theorem 13.12 (2)) of (1, 0)-labelled q-pilot objects (by the
compatibility with Θ×µ LGP-link of Theorem 13.12 (3)) and (1, ◦)-labelled
Θ-pilot objects, since, in the mono-analytic containers (i.e., Q-spans of log-shells),
the holomorphic hull of the union of possible images of Θ-pilot objects subject to
indeterminacies (Indet xy), (Indet →), (Indet ↑) contains a region which is
isomorphic (not equal) to the region determined by the q-pilot objects (This
means that “very small region with indeterminacies” contains “almost unit region”).