math_jinさん

https://twitter.com/math_jin/status/1414067488069853191
math_jin
望月の新論文で§１は飛ばして、基礎ﾚﾍﾞﾙの§2から読むと、微分を積分する、幾何の説明から入っているから、読みやすい。
エッシャーの階段は、「微分Δｘの階段のイメージを、積分すると和がゼロ」。
だから、後付けでなく、彼の理論の積分の操作から、説明する工夫をしたのでは。
午後0:42 ・ 2021年7月11日・Twitter for Android

＜PRIMS出版記念論文＞
http://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf

https://twitter.com/math_jin/status/1414069598404575234
math_jin
さん
ここでIUTのlog-θ格子をみると、縦軸Δyがlogで、横軸Δｘがθ関数であり、
https://kurims.kyoto-u.ac.jp/~motizuki/2020-01%20Computation%20of%20q-pilot%20(animation).mp4
のように、コアの数体に対して、被覆関数が縦Δyがlogで、横Δｘがθ関数として、被覆する関数のΔｙとΔｘを局所体で微分して、このΔｘとΔyをガウス積分する。
午後0:50 ・ 2021年7月11日・Twitter for Android
https://twitter.com/5chan_nel (5ch newer account)