[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 25 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
672(1): 2018/04/03(火)18:19 ID:wBEV8/0A(4/4) AAS
>>668
うーん、a similar problem ってのが何なのかによるな
ショルツが指摘した疑問のことなのか、それとも似通った別の疑問のことなのか
前者の意味なら、Koshikawa もショルツと同じ疑問を抱いたという意味になるが、果たして・・・
673: 2018/04/03(火)18:23 ID:tQlORbT7(1/7) AAS
>>672
deduction is self-evident だろ
674: 2018/04/03(火)18:24 ID:HHwqAjo1(5/5) AAS
同じ場所で評価の意味がよくわからないって話なら頷ける
フェセンコによると結構指摘があったらしいから同じじゃないか
しかし確かに言い回しがわからないな
675(3): 2018/04/03(火)18:34 ID:3fmgkguE(1) AAS
tanは3.12はIUT1～3の定義全部要ると言っている。
単に理解度の問題だろう。
676: 2018/04/03(火)18:41 ID:vTiIfBMX(1) AAS
>>667
あーあのフェセンコのパワハラね
うんそれもう全然なってないてのは今年の2月には語られてたから
フェセンコ本人は頓珍漢なコメントしたとことはまずいと思ってるしてるし、蒸し返してやるなよw
677(1): 2018/04/03(火)18:49 ID:On5Ggzau(5/5) AAS
ドヤ顔で晒したショルツ宛のメールも改変の挙句削除(藁
678: 2018/04/03(火)18:58 ID:HQMYf1+l(1/2) AAS
>>675
ならばtanに聞けば全て解決ということだな
679: 2018/04/03(火)19:00 ID:tQlORbT7(2/7) AAS
>>675
IUT側から見ると自明も 理解度になるんだ。
個人的には、常温核融合に類似していると
思うよ、
680: 2018/04/03(火)19:04 ID:pZythzOZ(1) AAS
まぁひょっとしたら来月辺りにもっちーが颯爽と明確な説明を述べたノートを
公開して万人が納得するかもしれんし
続報待ちだな
681: 2018/04/03(火)19:08 ID:X620R3Mh(2/2) AAS
過疎ってたのに、この２、3日で何かあったのか？
682: 2018/04/03(火)19:11 ID:DARKsYO+(1) AAS
定義を総動員して自明(笑)
683: 2018/04/03(火)19:40 ID:Aci6fz2x(1) AAS
IUTがぽしゃって一番泣くのはjin
684(1): 2018/04/03(火)19:41 ID:tQlORbT7(3/7) AAS
>>473
>Peter Scholze, who everyone thinks is
the greatest mathematician of this generation,
says he cannot deduce 3.12 (which is the ABC
conjecture, in paper #4) from 3.11 (a summary
of the first 3 ABC papers) in Mochizuki’s papers
>Koshikawa had a similar problem, and when
省5
685: 2018/04/03(火)20:05 ID:mdreE8+l(1/4) AAS
>>675
それは説明できない理由としては変
数学やってる人間ならわかるが、前提知識が多すぎるからある補題や定理の概要を
説明できないとかありえないから
686: 2018/04/03(火)20:07 ID:mdreE8+l(2/4) AAS
そういう意味では、定義より自明って言い回しをコロラリーの説明で
普通安易に使わないよな
何らかの言い方を考えるはずなんだよ
687: 2018/04/03(火)20:12 ID:HQMYf1+l(2/2) AAS
復元の際の補正できない歪や誤差項があるなんて時点で証明には使えんだろ
688(3): 2018/04/03(火)20:13 ID:Rx9EiSXT(1/4) AAS
IUT-ⅢのCor.3.12を見てみたが、これは恐らくIUT理論の要となる定理だな。
大雑把に言うと、Thm.3.11の設定の下、2種類の行進正規化単解析的対数体積 (procession-normalized mono-analytic log- volume) の間に不等式が成り立つという主張。
証明はクソ長くて、自明の一言で済ませてなんかいない。
12つのステップに整理して証明している。
今までやってきたことを総動員してる感じがする。
で、その後にRemarkが3つ続いてて、これもまたクソ長い。
ややこし過ぎてわけわからん。
689: 2018/04/03(火)20:16 ID:Rx9EiSXT(2/4) AAS
>>688
Remarkが3つじゃなくて、Remarkが4つの間違いでした。
690: 2018/04/03(火)20:19 ID:Rx9EiSXT(3/4) AAS
>>688
あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。
連投スマソ。
691: 2018/04/03(火)20:19 ID:Rx9EiSXT(4/4) AAS
>>688
あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。
連投スマソ。
692: 2018/04/03(火)20:19 ID:lX5Qtbtl(2/4) AAS
TanとFesenkoんとこの院生がサーベイ書いてるらしいから、まぁまずはそれを待とうか。
693(1): 2018/04/03(火)20:20 ID:lX5Qtbtl(3/4) AAS
Guides on IUT theory of Shinichi Mochizuki: reports, surveys, workshops, talks
外部ﾘﾝｸ:t.co ◎
Rock54: Caution(BBR-MD5:b73a9cd27f0065c395082e3925dacf01)
694: 2018/04/03(火)20:23 ID:mdreE8+l(3/4) AAS
意味としてはテータにおける歪みの計算に関係する所だな
695: 2018/04/03(火)20:27 ID:tQlORbT7(4/7) AAS
ショルツは >>145
696(1): 2018/04/03(火)20:46 ID:mdreE8+l(4/4) AAS
>>693
一応言っとく。jin発見
697: 2018/04/03(火)20:52 ID:tQlORbT7(5/7) AAS
>>634もjinかw
698: 2018/04/03(火)21:21 ID:lX5Qtbtl(4/4) AAS
jinじゃねーし。フォロワーだけど。
699: 2018/04/03(火)21:26 ID:t2fA5tGP(1) AAS
Note on inter-universal Teichmüller theory, by Fucheng Tan, forthcoming
Survey by Wojciech Porowski, forthcoming
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
リンクは完成してから載っけろよ
フェセンコ早漏過ぎだろ
>>696
俺はjinじゃないに一票
700(1): 2018/04/03(火)21:48 ID:vlUaZqnG(1) AAS
やたら攻撃的なIUT絶対潰すマン
自明という言葉を一人歩きさせ過ぎ
701: 2018/04/03(火)22:01 ID:tQlORbT7(6/7) AAS
>>700
説明して
he asked Mochizuki about it, the latter responded that the deduction is self-evident
702: 2018/04/03(火)22:05 ID:gi1rzKxS(1) AAS
１９７０年代、高度成長期を受けて、田中角栄と児島なんとかさんが責任者になって、
「国土計画書」が作られた。日本全土を迷路とする面白い国家戦略だったけど、
そこには、「技官は頭脳奴隷」と書いてあった。
２００７年に「国土計画書」が破棄されるまで、日本の理系技術者は奴隷待遇だった。
それ以後、理系技術者は超エリートとなっている。
２００３年～２００５年、小泉純一郎も「国土計画書」に「技官は頭脳奴隷である」と見て、
理系の待遇を落としている。
省3
703: 2018/04/03(火)22:11 ID:tQlORbT7(7/7) AAS
>>473
レクチャーノートは面白そうだね、
ネバンリンナ理論もある
704: 2018/04/04(水)00:25 ID:FaDmfyA6(1/3) AAS
モチ「自明で押し通す予定！(笑)」
705(1): 2018/04/04(水)00:38 ID:7Cl/Dprn(1/3) AAS
まーバランス感覚は重要だからな
あんまIUTを馬鹿にしてても、心理的にIUTが結構難しいから安きに流れてるだけかもって
自己批判はできる
大半はショルツが理解したとか言ったらどうせ掌返しだろうしな
俺はフレーム自体は(やり方に違和感はあるが)有意義だと思ってる
706: 2018/04/04(水)00:45 ID:7Cl/Dprn(2/3) AAS
フレームとしては不可能なはずがないからな
ある意味、狙いは絶対遠アーベル幾何学的なテータ関数論でしかない
それは関数体のabcの理論の自然な一般化であるから、できれば証明できる
だが不幸なことに難解・膨大過ぎて大半の人間には精読できない
707: 2018/04/04(水)00:58 ID:FaDmfyA6(2/3) AAS
類似だけで証明できたら数学者いらねーんじゃね？
708: 2018/04/04(水)01:02 ID:0tPWnaDv(1/4) AAS
その理屈だと完全数もやれるな、違うか
709: 2018/04/04(水)01:09 ID:7Cl/Dprn(3/3) AAS
どうやったら整数に一般化できるのかが難しいわけだから、ただの類似ってもんでもない
710(1): 2018/04/04(水)01:22 ID:esg0lk9v(1) AAS
どの辺が有意義だと思ったのか、もう少し詳しく説明してくれますか？
フレームとしては不可能なはずがないという主張も、私には意味不明です。
711: 2018/04/04(水)01:28 ID:0tPWnaDv(2/4) AAS
俺も不明だわ
反例や応用や簡単な回答例がないとわからない
何の数に対して何の不等式なのかも答えられないならそもそも不可
特定数に対しての不等式なら
外部ﾘﾝｸ:en.wikipedia.org
Examples of triples with small radical と同一じゃないか
712: 2018/04/04(水)01:29 ID:0tPWnaDv(3/4) AAS
＞反例
反例も説明できなきゃおかしい、って意味
713: 2018/04/04(水)01:40 ID:FaDmfyA6(3/3) AAS
日本でも「望月さんは天才だから...」では通用しなくなってるようですね
714(1): 2018/04/04(水)01:43 ID:YBubZrpQ(1) AAS
>>677
投稿だけを削除したのではなくて、Facebookアカウント自体を削除した模様。
こんなこともあろうかと魚拓取っといたで。
外部ﾘﾝｸ:web.archive.org
>>ID:0tPWnaDv
バカは黙っとれ。
715: 2018/04/04(水)01:45 ID:0tPWnaDv(4/4) AAS
>>714
また知ったかぶりが出現するし
716: 2018/04/04(水)02:21 ID:VQlTFsUy(1) AAS
自明てまた逃げる擁護派
717: 2018/04/04(水)02:36 ID:u7DsKXUG(1/2) AAS
ちょっくら調べてみたが
Goのサーベイの355～360ページ
Starのサーベイ(続編)の92ページ
Tanのスライドの49～51ページ
Starのサーベイの36ページ
Fesenkoのサーベイの20ページ
に Cor.3.12 の解説があるな
718: 2018/04/04(水)02:39 ID:u7DsKXUG(2/2) AAS
色々と調べてて気づいたことだけど
Goのサーベイって初版から100ページ以上増えてんのな
719: 2018/04/04(水)09:01 ID:WKE8KTNw(1/3) AAS
>>705
昨年12月 ショルツの発言以前に
望月氏本人がself-evident 自明と回答した。
ショルツが 来京しても変わるまい。
720(2): 2018/04/04(水)09:14 ID:WKE8KTNw(2/3) AAS
サーベイのcor.3.12 解説はショルツに
ダメ出しされた。
>in particular, no more details are given
in any survey, including Yamashita’s,
or any lectures given on the subject
(as far as they are publicly documented).
>>145
721: 2018/04/04(水)09:15 ID:WKE8KTNw(3/3) AAS
サーベイは個々人の私見じゃないの？
722(1): 2018/04/04(水)11:03 ID:bz4OVHxH(1/2) AAS
>>720
それはScholzeがIUTについて深く理解しての発言ではなく、
人から聞いたって話を書き込んだだけ。
723: 2018/04/04(水)11:20 ID:PXSRm7b1(1/5) AAS
>>722
ソースは？
724(1): 2018/04/04(水)11:33 ID:PXSRm7b1(2/5) AAS
>それはScholzeがIUTについて深く理解しての
発言ではなく、
ともあれ、
ショルツさえ理解出来ないんでしょ。
>>684
>Peter Scholze, who everyone thinks is
the greatest mathematician of this generation,
725(1): 2018/04/04(水)13:03 ID:4yBO5rTj(1/8) AAS
ショルツは確かに早熟でアイデアもあるが、数論幾何やってる時点でどの数学者も
馬鹿じゃねーからなあ。誰にとっても難しい理論なのは確か
726: 2018/04/04(水)13:10 ID:4yBO5rTj(2/8) AAS
>>710
「絶対遠アーベル幾何を使ったテータ関数論が可能かどうか」という話なら、
少し考えればそれこそ自明に近い話。勿論理論が自明という意味ではないが
有意義というのは絶対遠アーベルをFrobenioidを使って実現すれば、特定の環に
依存しない理論が構築できるからに決まっている。だから名前が宇宙際になったわけだし
727: 2018/04/04(水)13:12 ID:vrwHEsbY(1) AAS
AA省
728: 2018/04/04(水)13:16 ID:PXSRm7b1(3/5) AAS
>>725
>>724は 加藤和也氏のシカゴ大学講義ノート
で ショルツの評価です。
729(1): 2018/04/04(水)13:18 ID:rQqf3Hi7(1) AAS
一流のとされてる人ってね、やっぱきちんと読めるんですよ
どんな難しいことが書かれても
そして直観も同時に素晴らしい場合が多々ある
730(2): 2018/04/04(水)13:32 ID:U+1DtTJf(1/2) AAS
問題は不等式評価がどうして出てくるのかがわからないってことなのかな？
731(1): 2018/04/04(水)13:36 ID:OtZvuRy9(1/2) AAS
>>729 そういう人たちが理論に違和感を感じていることは無視できないことだよね。
そういう理論は残念ながらたいてい根本から破綻している。
732: 2018/04/04(水)13:43 ID:4yBO5rTj(3/8) AAS
FrobenioidはHodge filtrationでの分解対象になっているが(Hodge theater)、
そのはりあわせの装置に絶対遠アーベルを用いているわけだ
本来は図式としてはかなり単純なもんだ
ショルツが指摘した辺りの箇所は難しい部分だが、構造的な目的は明確だな
はりあわせによってずれるモノイド上で環から外れた単解部分を、やはり遠アーベル的な
手法で計算しなければならない
この歪みはテータ関数によってパラメトライズされてるから、テータの計算になる
省1
733(1): 2018/04/04(水)13:45 ID:bz4OVHxH(2/2) AAS
はいソース。
外部ﾘﾝｸ:galoisrepresentations.wordpress.com
734(2): 2018/04/04(水)13:46 ID:4yBO5rTj(4/8) AAS
>>731
いやー>>730なんじゃないのかな。理論自体は批判してないし
それに、ブンゲンや山下もここで言われるほどの雑魚ではないよ
735: 2018/04/04(水)13:50 ID:WGFuCF+F(1/3) AAS
IUT-ⅠとIUT-Ⅱに関しては文句なしって感じだろ
ショルツが違和感を感じているのはIUT-Ⅲの最後の命題Cor.3.12だけ
736: 2018/04/04(水)13:52 ID:4yBO5rTj(5/8) AAS
俺は代数幾何学者じゃないんだけど、相当とんでもないことやってるのは
代数幾何学の人皆感じてるみたいだ。難しすぎるから擁護も非難もできない
737: 2018/04/04(水)13:58 ID:PXSRm7b1(4/5) AAS
>>733
>>720
>それはScholzeがIUTについて深く理解して
の発言ではなく、
>人から聞いたって話を書き込んだだけ。
これのソース？
738(1): 2018/04/04(水)13:59 ID:WGFuCF+F(2/3) AAS
にしてもあのクソ厖大な議論を精密に読み込んで
要となる部分に違和感を見抜いたショルツはやっぱスゲェな
流石一流数学者ですわ
>>730
IUT-ⅢのCor.3.12が問題になっているんだが
これは2種類の行進正規化単解析的対数体積の間に不等式が成り立つという命題
ABC予想型の結果を導くためのIUT-Ⅳに繋がる要となる定理で
省2
739(1): 2018/04/04(水)14:10 ID:U+1DtTJf(2/2) AAS
>>738
モッチーのアナロジーでいくと、環構造を抽象化して
ガウス積分を二つ並べることに相当する理論は作ったけど
座標変換に対する積分の等価性に相当する箇所に疑問符がついてる
ってことになるのかな？
740: 2018/04/04(水)14:19 ID:PXSRm7b1(5/5) AAS
>>734
雑魚じゃなくて
ロマンや我流なのかね。
日本でもショルツの疑問と同類(同じ)問題を
直接聞いた数学者もいたんでしょ。
回答は、自明
741: 2018/04/04(水)14:19 ID:WGFuCF+F(3/3) AAS
>>739
お前の言っているアナロジーが何のことなのかよく知らんが
Hodge theater の一般論とかには問題はないが
ABC予想型の不等式を導く部分にギャップがあるかもしれないということ
742: 2018/04/04(水)14:41 ID:OtZvuRy9(2/2) AAS
>>734 “彼が理解したと言ってるからといって、本当に正しいかどうかは信用できない。”
“お勉強はよくできるみたいなんだけどね。。。”
俺が専門家から聞いた研究者としてのyさんの評価。
文元氏に至ってはそもそも理論を理解、解読したとは一言も言ってないよね。
素人向けに雰囲気をなんとなくフワッと解説しましたというだけ。
743(1): 2018/04/04(水)14:46 ID:kh4TOMIe(1) AAS
(1)「 Cor3.12の証明の12ステップのうちの11ステップ目 」という、
やけに具体的かつピンポイントな部分で違和感を感じている
(2) それ以前の一般論のところは今のところ文句なし
(3) 同種の疑問点を持っている人が他にもいる
(1),(2)により、全てを理解した上で具体的な疑問を持っているように見えるので、
その疑問はきっと説得力がある疑問なのだろうと思う。(3)も重要で、これだけの膨大な理論で
複数人が同種の疑問(漠然とした疑問ではなく、具体的な疑問)を持つというのは、いよいよキナ臭い感じがする。
744: 2018/04/04(水)15:01 ID:3ycl3jyk(1) AAS
ⅠとⅡについては、今のとこ重大な間違いはないというのはおそらく共有されてるよ
ⅢとⅣが問題だと言われてる
Ⅳはどこに問題あるのか、今のとこ自分には分からん
745(1): 2018/04/04(水)15:14 ID:4yBO5rTj(6/8) AAS
あのさ、皆ショルツ凄い言ってるけど、133から140くらいの箇所読んでみ？
理解が深くなくても怪しいのわかるから。qPOの有限性の論拠が書いてなくねってこと
あれだけ太字で注意をする人が、明確に書いてないように見えるわけよ
746(1): 2018/04/04(水)15:20 ID:qYJQGI5j(1) AAS
＞133から140くらいの箇所
IUT3の133ページから144ページ？
747: 2018/04/04(水)17:05 ID:4yBO5rTj(7/8) AAS
>>746
単にここで言われてる部分がその辺だからな
他のサーベイがどんだけ触れてるかはしらんが
ショルツが精読したかどうかは正直指摘だけではよくわからないくらい、明確に怪しい
748(2): 2018/04/04(水)18:12 ID:lKqH+bLE(1/2) AAS
IUT3の141ページ
If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12,
then one concludes that the quantity － |log(Θ)| is finite
ショルツが違和感を感じているのはこの部分だが、
明確に怪しいというよりも、数学書によるある読者に不親切な書き方。
まぁ、複数の数学者から指摘が上がっている以上、少なくともこの部分は explicit に書き直すべきだが、
未だにアクセプトされていないのは、この部分を書き直しているから？
749: 2018/04/04(水)18:19 ID:vFGPGTGS(1/2) AAS
査読終了で書き直しですか。
修正多数の継ぎはぎより
全て書き直したらいいじゃん。
750(1): 2018/04/04(水)18:21 ID:vFGPGTGS(2/2) AAS
>>748
自明？
751(1): 2018/04/04(水)18:32 ID:4yBO5rTj(8/8) AAS
何だかんだ120くらいまで遡るのか3.11への言及を含めて。120-141くらいだな
不親切というか、本当に論拠を示してるのか、というレベルの指摘だと思うが
752(4): 2018/04/04(水)18:55 ID:lKqH+bLE(2/2) AAS
>>750
モッチーにとっては － |log(Θ)| が有限なことは the above discussion における用語を the notation introduced in the statement of Corollary 3.12 に置き換えれば直ちにわかるらしいな。
ここを explicit な形に書き直せば、Scolze の案件に関しては解決すると思われる。
>>751
本当に論拠を示しているのか洗いざらい確認するなら、Cor.3.12のRemarkも忘れてはいけない。
それも含めれば、120ページから154ページ。
上下前次1-新書関写板覧索設栞歴
あと 250 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s