20/04/09 23:28:35 peDzLyq8.net
>>528
>P6
>Note 5
>Technically, Mochizuki does not choose any such isomorphism,
(参考："full poly-isomorphism")
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
REPORT ON DISCUSSIONS, HELD DURING THE
PERIOD MARCH 15 ? 20, 2018, CONCERNING
INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH) ¨
Shinichi Mochizuki
February 2019
§1. The present document is a report on discussions held during the period March
15 ? 20, 2018, concerning inter-universal Teichm¨uller theory (IUTch). These
discussions were held in a seminar room on the fifth floor of Maskawa Hall, Kyoto
University, according to the following schedule:
・ March 15 (Thurs.): 2PM ? between 5PM and 6PM,
・ March 16 (Fri.): 10AM ? between 5PM and 6PM,
・ March 17 (Sat.): 10AM ? between 5PM and 6PM,
・ March 19 (Mon.): 10AM ? between 5PM and 6PM,
・ March 20 (Tues.): 10AM ? between 5PM and 6PM.
(On the days when the discussions began at 10AM, there was a lunch break for
one and a half to two hours.) Participation in these discussions was restricted
to the following mathematicians (listed in order of age): Peter Scholze, Yuichiro
Hoshi, Jakob Stix, and Shinichi Mochizuki.
P8
In particular, the Θ-link is constructed by considering the full poly-isomorphism between distinct copies of the
data “G O×μ” (where O×μ is always regarded as being equipped with a certain
collection of submodules). This full poly-isomorphism gives rise to the indeterminacies (Ind1, 2),
which play a central role in IUTch. By contrast, in the case of the
log-link, the gluing between Frobenius-like data in the codomain and domain
(of the log-link) involves a specific bijection between topological sets
(arising, respectively, from multiplicative and additive structures in the domain and codomain of the log-link).
つづく