>>568
>（なお、ショルツェ氏は、ホッジシアターが超難しいと、白状しましたね）

（追加）
"Hodge theater"は、Theorem 3.11にさんざん出てきますよ
「ホッジシアターが超難しい」なら、Theorem 3.11から無理じゃね？

（参考）
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)

P153
Theorem 3.11. (Multiradial Algorithms via LGP-Monoids/Frobenioids)
Fix a collection of initial Θ-data

be a collection of distinct Θ±ellNF-Hodge theaters [relative to the given initial
Θ-data] — which we think of as arising from an LGP-Gaussian log-theta-lattice
[cf. Definition 3.8, (iii)].

for the D-Θ±ellNF-Hodge theater determined, up to isomorphism, by the various
n,mHT Θ±ellNF, where m ∈ Z, via the vertical coricity of Theorem 1.5, (i) [cf.
Remark 3.8.2]

P155
as data which has not yet been subjected
to the indeterminacies (Ind1), (Ind2) discussed in (i)] and the corresponding data
arising from each Θ±ellNF-Hodge theater n,mHT Θ±ellNF, i.e.:

P159
Proof. The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions — cf. also
the various related observations of Remarks 3.11.1, 3.11.2, 3.11.3, 3.11.4 below.