Inter-universal geometry と ABC予想 25

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 25 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

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ページ。

753: 2018/04/04(水)19:05 ID:2fOd/CvI(1) AAS
>>752
分かりやすいまとめだわ

ただ本当に形式的に当てはめれば埋まるような内容なら
とっくに誰かがやってる気もする

754: 2018/04/04(水)19:39 ID:7D5k10r2(1) AAS
>>752
核心部とも言うかも

755(1): 2018/04/04(水)20:11 ID:K2M91kDj(1) AAS
マジでキリスト教スレ、眠い。
素粒子よりも小さな物質の構成単位は見つかってて、それの名前を「闇（やみ）」というんだよ。
そんなことも知らないで、「無」とか語ってほしくないよ。

756(1): 2018/04/04(水)21:40 ID:A9NUmmYS(1) AAS
動画ﾘﾝｸ[YouTube]

757: 2018/04/04(水)21:47 ID:EmPoqxOk(1) AAS
>>755

宇宙の質量構成
・見える物体　5%
・ダークマター（闇）　25-30%
・ダークエネルギー　65-70%

758: 2018/04/04(水)23:31 ID:33xeeOPe(1) AAS
観測できるようになったからそう言えるのであって

760(1): 2018/04/05(木)00:18 ID:ooVyhosw(1/3) AAS
>>759
両辺が同時に発散する可能性が排除できないのでは？

761: 2018/04/05(木)00:28 ID:16KXCt94(1/2) AAS
少なくともショルツはそれ読んだんじゃなかったか？

762: 2018/04/05(木)00:53 ID:NxmPmjU6(1) AAS
物理は標準モデルより直感的に計算した
数値と測定値を比較し誤差が新しい
物理を生み出す。
(ダークエネルギーは誤差)

数学はwell defindedの定義と
厳密な論理体系より数値等号不等式
を導く。
省3

上下前次 1-新書関写板覧索設栞歴

あと 240 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.022s