[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
677(1): 2021/02/18(木)14:55 ID:NzeyxT1l(3/7) AAS
>>675
言い方が悪かった、ごめん
確かにショルツが初めてCor 3.12の証明を指摘してからは若干追記されてるが、査読が終わりブログで取り上げられた2020年4月ごろにショルツがまだ証明されたと思っていないと明言してから追記されていない
>ショルツ氏の指摘は、「IUTで、こういうモノドロミーを考えると、矛盾が起きる」という指摘だよね
その前にまずCor 3.12が証明されてないという指摘があって、
その上でCor 3.12は成り立たないだろうと指摘してる
678: 2021/02/18(木)15:06 ID:qnnVeZy1(8/14) AAS
>>676
余談だけど、Promenade in Inter-Universal Teichmuller Theory（含む Lille）（>>3）
が始まった時点で、プロ的には大勢は決したってことじゃね？
Promenade in Inter-Universal Teichmuller Theoryに集う30数名の数学者たち
プロなら、顔見知りも多いだろう
そういう人たちが、実名出して「Inter-Universal Teichmuller Theory」に集う
「IUTって、そういう理論だったんだぁ〜！」と思うだろうよ
プロ的には大勢は決したってことじゃね？
679(3): 2021/02/18(木)15:25 ID:qnnVeZy1(9/14) AAS
>>677
うーん、あなたは誠実だね
＞確かにショルツが初めてCor 3.12の証明を指摘してからは若干追記されてるが、査読が終わりブログで取り上げられた2020年4月ごろにショルツがまだ証明されたと思っていないと明言してから追記されていない
細かくフォローできていないが、それ昨年4月の査読完了のプレス発表を受けて、woitブログにショルツ氏が登場したときだよね
で、彼はIUT論文の改訂など細かい話には、首を突っ込んでいないみたいだよ
>その前にまずCor 3.12が証明されてないという指摘があって、
>その上でCor 3.12は成り立たないだろうと指摘してる
その話は、woitブログでの最後、Dupuy氏に対するコメントで分かるけど
”Cor 3.12が証明されてない”と”Cor 3.12は成り立たないだろう”とは、表裏一体と見ました
省7
680(1): 2021/02/18(木)15:26 ID:qnnVeZy1(10/14) AAS
>>679
つづき
However, these long discussions are all about interpretations. Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above.
Best wishes!
Peter
Peter Scholze says:
May 1, 2020 at 4:42 pm
Dear Taylor,
thanks for your further comments. I think W said it all.
Let me just make the following clarification regarding (1).
省8
681(1): 2021/02/18(木)16:05 ID:NzeyxT1l(4/7) AAS
>>679
ネットですぐ見られるからわざわざ言わないだけ
もし仮に見てなかったとしても、その改訂版証明がクリティカルなものなら、このブログの議論で知らないことを即ツッコまれる
このコメントの議論を読んでも、Cor 3.12が証明できないと明言していたりブラックボックスとして扱っていたりと、別にCor 3.12の証明の要請はショルツだけではないんだよね
にも関わらず理解者の人たちは誰も補強しようとはしないという
682(1): 2021/02/18(木)16:22 ID:qnnVeZy1(11/14) AAS
>>679-680
>Reading the IUT papers, however, you are presented with some extremely difficult notion of a Hodge theater, together with a highly non-obvious notion of isomorphisms of such: Isomorphisms do not preserve nearly as much structure as you would expect them to, and this is by design as Mochizuki points out. So I find it very hard to “guess” what something like a surrounding “theory” might be. For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry 外部ﾘﾝｸ:en.wikipedia.org you linked to, nor the topos-theoretic framework of Caramello. (Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set. I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters.)
>However, these long discussions are all about interpretations. Regarding the mathematics proper: I stand by the claim made in our manuscript, and have indicated the proof above.
これ読むと、 IUTは難しいこと一杯書いてあって、その解釈も難しい
”some extremely difficult notion of a Hodge theate”とか、「あれあれ？？」ってこと書いてあるよね
でも、要するに、「おれ（ショルツ氏）は、主張を変えないよ！」ってことでしょ
で、”The same happens for everything else I’ve seen in IUT or your comments.
I’m happy to continue any further discussions by e-mail.”
だって。ショルツ氏から議論を打ち切ったから、もうショルツ氏は良いんじゃない？
683(1): 2021/02/18(木)16:26 ID:qnnVeZy1(12/14) AAS
>>681
＞このコメントの議論を読んでも、Cor 3.12が証明できないと明言していたりブラックボックスとして扱っていたりと、別にCor 3.12の証明の要請はショルツだけではないんだよね
＞にも関わらず理解者の人たちは誰も補強しようとはしないという
？？
それを補強するのが、>>3の Promenade in Inter-Universal Teichmuller Theory
であり、
今年予定の４回の国際会議でしょ？
そう慌てずに、しばし待て
今年中には、はっきりするんじゃないですか？
IUTに対するプロ数学者たちの意見はどうかが
684(1): 2021/02/18(木)16:30 ID:NzeyxT1l(5/7) AAS
>>682
読めば書いてあるけどホッジ劇場を数学的に解釈するのが困難だという話
デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないっていうことだろう
685(1): 2021/02/18(木)16:32 ID:NzeyxT1l(6/7) AAS
デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないって説明してるということだろう
>>683
つまり現時点ではCor 3.12は証明されておらずCorではなく予想だが、この会議で証明する予定ということ？
686(1): 2021/02/18(木)17:23 ID:0gqsRm7v(1/2) AAS
野次馬から見たIUT騒動
・「お勉強」がめちゃくちゃ得意な人が、IUTは正しいとお墨付きを与えている。
その人の経歴から言って、その人が正しいと言うなら実際に正しそうな気がする。
・「お勉強」がめちゃくちゃ得意な別の人(名前は書かないが、ショルツのことを指してるわけではない)が、
IUTは正しくないと切り捨てている。その人の経歴から言って、
その人が間違いと言うなら実際に間違ってそうな気がする。
・ 基礎論に近い立場の人はだいたいIUTに怪訝な顔をしているように見える。
・ ショルツは否定派。
省2
687(1): 2021/02/18(木)17:44 ID:0gqsRm7v(2/2) AAS
可算選択公理の自明な感じ(実は全く自明ではない)に近い気がする。
外部ﾘﾝｸ:ja.wikipedia.org
＞集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。
＞(中略)
＞しかし、ツェルメロによる整列可能定理の証明に反論する過程で、
＞エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが
＞選択公理の存在に気付き、新たな公理であることが認識されるようになった。
＞カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。
上記の文章によると、選択公理に気づくことができた数学者でも、
可算選択公理は自明に成り立つと勘違いしていたことになる。
省8
688(1): 2021/02/18(木)18:05 ID:qnnVeZy1(13/14) AAS
>>684-685
>読めば書いてあるけどホッジ劇場を数学的に解釈するのが困難だという話
>デュピュイが構造に関連づければ〜とか持ち出して、ショルツがホッジ劇場をどう解釈しても構造のフレームワークにフィットしないっていうことだろう
>つまり現時点ではCor 3.12は証明されておらずCorではなく予想だが、この会議で証明する予定ということ？
論点ずれているよね
つまり
１．最初ショルツ氏は、Cor3.12までは自明だと言った（らしい）
だが、ホッジ劇場は、Cor3.12よりずっと前に出ている概念だよね。確か、IUT論文の Iあたりだったろう
２．Cor3.12までは自明だと言っておきながら、いまさら「ホッジ劇場を数学的に解釈するのが困難」とか
Dupuy氏との議論で言い逃れでしょ
省9
689: 2021/02/18(木)18:17 ID:qnnVeZy1(14/14) AAS
>>686-687
どうもありがとう
>・「お勉強」がめちゃくちゃ得意な人が、IUTは正しいとお墨付きを与えている。
> その人の経歴から言って、その人が正しいと言うなら実際に正しそうな気がする。
イニシャル、G、H、Mですね（全員日本人）
記者会見での、TやKもいる
>・「お勉強」がめちゃくちゃ得意な別の人(名前は書かないが、ショルツのことを指してるわけではない)が、
> IUTは正しくないと切り捨てている。その人の経歴から言って、
>その人が間違いと言うなら実際に間違ってそうな気がする。
浮かばないね
省9
690(1): 2021/02/18(木)18:22 ID:NzeyxT1l(7/7) AAS
>>688
ホッジ劇場の定義を否定してるのではなく、構造やトポス理論的フレームワークとして解釈することが困難だと言ってるだけ
691: 2021/02/18(木)19:07 ID:I11I68xL(14/20) AAS
>>666
Set A君、「獣の数字」を踏む…
IUT狂賛党員 Set A君の主張は、ある一つの「仮定」に基づいている
「「俺に分かるように説明しろ。あるいは書き直すか。さもなくば、査読にOK出せない！」
と絶叫する査読者が少なくとも一人存在した」
しかし、実際にはそのような査読者がいたとは思われない
なぜなら、そのような人が存在するなら、ショルツに説明できた筈だから
したがって、IUT論文は編集長特権で、無理矢理通したとした思えない
省5
692(1): 2021/02/18(木)19:21 ID:I11I68xL(15/20) AAS
>>668
誤解してるね
ゲージ理論で証明されることが「わけわかんねぇ」のではない
ゲージ理論が「わけわかんねぇ」のであるｗ
693(2): 2021/02/18(木)19:34 ID:I11I68xL(16/20) AAS
Σ(p,q,r)を
{(x,y,z)∈C^3|x^p+y^q+z^r=0}∩S^5
として定義された３次元多様体とする
上記はホモロジー3-球面である
1990年、古田とFintushel-Sternは
{Σ(p,q,pqr-1)}(k=1~∞)が
ホモロジー同境群Θ^3_Hの中で
一次独立であることを示した
694(1): 2021/02/18(木)19:38 ID:I11I68xL(17/20) AAS
>>693
上記の証明はFintushel-Sternが用いた、商特異点に対応する
anti-self-dual(ASD)方程式の解の一意存在と
Chern-Simons汎関数の臨海値から定まる
解のモジュライ空間に対する制約を
組み合わせることによって行われる
695: 2021/02/18(木)19:41 ID:I11I68xL(18/20) AAS
>>694
誤 臨海値
正 臨界値
696(1): 2021/02/18(木)20:46 ID:8Q+hZUam(1) AAS
>>643
未だにそんな動画を貼ってからにw
今、23歳だよ。12、3歳の頃を未だに引き合いに出すのは変だよ
あなたが中学2年の自分と社会人になった自分を思い出したらいい
あなたは中元すず香という人物は理解できてないね
彼女はマジモンの天才だし右脳人間です。誤解されやすい属性を素で持ってる
だからファンですら誤解だらけだし未だに理解できてない人が多い
例えば、彼女は色聴なわけです
音が色彩で展開される。色でイメージが立ち上がる
機械無しでリアルVRが展開されるようなもの
省6
上下前次1-新書関写板覧索設栞歴
あと 306 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s