[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
443: 2019/11/25(月)20:54 ID:whF6Ar4A(1) AAS
forgetting the histories of Bungen
444(2): 2019/11/25(月)21:55 ID:dVVEtfcZ(1) AAS
等分点云々の話についてはこけおどしですよ
というのも、展開が間違ってる理論で条件を緩める技術が見つかったからって正しい事にはならない
高々例の進展レポートがあったから正しかったんだってのはおかしい
KedlayaとかStixが共著に参加したら大分イメージ変わってくるけどね
445: 2019/11/25(月)23:07 ID:n083A2LH(1) AAS
>>444
展開がまちがってるってなんで断言できんの？
ってBがまた切れて絡んでくるぞ！
446: 2019/11/26(火)00:08 ID:97Mzud8p(1) AAS
しっかしここまでIUTにノメり込んで大丈夫かねえ
まあ教授になってる人は今後何がどうなっても安泰ですが
447: 2019/11/26(火)00:19 ID:dwPsBunt(1/2) AAS
Gって今何やってんの？
448: 2019/11/26(火)01:07 ID:2jU0Y+Fp(1) AAS
Gってゴキブリの略か？
449(4): 2019/11/26(火)06:18 ID:LyHP70fx(1/3) AAS
いややっぱり数学じゃないんだよw 但し、理論の8割は数学。一番大事な部分がよくわからない
十分に圏論的な抽象化を図っておいて、その上で抽象と具象を結びつけるために「ラベルの管理」とかいう
一種の心理学？または形而上学？を持ち出しちゃった
ただ、コア的記述による入れ子構造、アルゴリズムの取り換え、非可換な一方向性を両立させる遠アーベル
幾何学的な組合せ格子構造が何か上手く行きそうとか、画期的かもと言いたい立場は理解できなくはない
正しければある意味で離散的な近似による非線形微分計算になってるはずなんだけど
しかし立場は理解できなくはないと言っても、あんな一般書書いてる場合ではないよねw
省7
450: 2019/11/26(火)06:24 ID:LyHP70fx(2/3) AAS
別に間違っていてほしいとかは思ってないんだよ、個人的には。いまのところ厳しいとは思うけど
少なくとも来年度までは目が離せないね
451: 2019/11/26(火)07:00 ID:LyHP70fx(3/3) AAS
どうでもいい注意だけど、実際には「積分」なんだけど「微分」の一般化が理論上重要だからそう書いただけね
452(1): 2019/11/26(火)08:16 ID:4jzyzEzD(1) AAS
>>423
一晩待ったが、、
>>430氏の質問に早く答えてくださいね。
関連質問ですが
B本 P51
「IUT理論は、一般的な数学のパラダイム
の枠内では語れない、まったく新しい
省3
453: 2019/11/26(火)12:21 ID:BLColLHz(1) AAS
>>452
ゴミ溜めで虚勢張ってないで、そんなに知りたかったら望月本人に聞けよ
454(1): 2019/11/26(火)12:27 ID:54Ism7ru(1) AAS
怖くて聞けないんでしょ笑
455(2): 2019/11/26(火)12:35 ID:+pBV0dHm(1) AAS
進展あったか見に来たけどないのね
あと知ったかで用語だけ並べて解説した気になってる>>449もまだいるんだな
456: 2019/11/26(火)12:39 ID:5vPha5UQ(1) AAS
数論幾何における最重要問題ってABC予想なの？
457: 2019/11/26(火)14:12 ID:dwPsBunt(2/2) AAS
10年に一本いい論文書けばいいとか威張ってて、結局なんの進展もなかったオワコン分野w
458(1): 2019/11/26(火)16:16 ID:vTMi/8ic(1) AAS
5chでゴタゴタ言うんじゃなくて
望月本人にメールで聞けば？
459: 2019/11/26(火)17:48 ID:83fCCg2e(1/3) AAS
>>455
知ったかかどうか判断できない人に知ったかとは言われたくないわ
そういう言い方するなら自分が中身のある話してみなよ
教科書にあるガロア群の問題出して悦に入ってた人かな
460: 2019/11/26(火)17:56 ID:83fCCg2e(2/3) AAS
ていうか、絶対久しぶりに来たとか嘘だよなあ
サーベイに書いてない角度で話してるのに何が知ったかなんだか
461: 2019/11/26(火)18:10 ID:83fCCg2e(3/3) AAS
的外れだなーと思うのは、>>449は、むしろ用語はほとんど使ってないこと
微分の具体的な意味にも触れてないし、アルゴリズムの入れ替えというのも
かなり濁してるし、離散的な近似とか意味不明。全体的に曖昧にしか書いてない
解説するつもりだったらもっと厳密に書く
こういう書き方をしてるのは、通じてる人がいたら察知して好き放題反論解説して
ほしいからなんだよ。>>455みたいな素人は呼んでない
462: 2019/11/26(火)19:52 ID:DeNFPXNQ(1) AAS
言いたいことだけ言ってBは去ったか？
463: 2019/11/26(火)20:15 ID:013orM69(1) AAS
サーベイも書けんし応用も出せないのに中途半端に情と私欲に流されたミーハー
464: 2019/11/26(火)20:36 ID:C+e1JA6H(1/4) AAS
>>444氏や>>449氏は明らかに誘っているよね。蟻地獄のような感じでｗ
私（>>430）でもIUT理解者や支持者を偽装して答えられそうな内容だよ
こういう疑問や批判に対しては、IUTの概要を知っていれば簡単に答えられる
しかし、IUT用語でその論理をつなげるだけにしかならないので、それが正しいのかということは断言できない
>>430についても主論文、望月反論レポ、エイリアン論文を読んでいれば簡単に答えられるはずだよ
だが、私自身納得できないし、当然相手を納得させることはできない。
>>423氏がB本人だとは思わないけど（でもあんな本書いて宣伝に躍起になっているくらいだからありえるかもしれんｗ）、
省1
465(2): 2019/11/26(火)21:04 ID:C+e1JA6H(2/4) AAS
まあ散々このスレで書いてきたことばかりで面倒くさいのだけど、slimアナベリオイドとslimカテゴリーについては軽く触れただけだったな
これがIUTの宇宙際幾何学の根幹、大前提だと思う
この幾何学、望月独自の圏論があって初めてクンマー理論＋単遠アーベル的復元/構成による（充満）多重同型が成り立つ
そして、ラベルの使用と管理というのは、充満多重同型が成り立ち、スウィッチング・プロパティによって
非常に似ているが異質な環構造を操作し、ループ式入れ子宇宙によって単解構造から所望の不等式を導くために必要とされるものだ
このループ式入れ子宇宙というのは、slimアナベリオイド、slimカテゴリーが前提となっている。これは二次圏ではない
・・・・・・と、まあこんな感じで大雑把には書けるｗ
省3
466: 2019/11/26(火)21:20 ID:9HI9DL6F(1) AAS
>>465
だから望月本人に聞けよ
こんなとこでマウント取りごっこしてねーでよ
467: 2019/11/26(火)21:23 ID:K4hDJL4f(1) AAS
>>465
仰ってるように何度も同じ事を書くくらいなら、望月氏に直接メールなりで聞いた方が疑問も解消するのでは
468(1): 2019/11/26(火)21:27 ID:C+e1JA6H(3/4) AAS
例えば、>>449氏への反論の一つの例としては、
＞十分に圏論的な抽象化を図っておいて、その上で抽象と具象を結びつけるために「ラベルの管理」とかいう
＞一種の心理学？または形而上学？を持ち出しちゃった
「それはSSが充満多重同型を納得できず不必要・無意味として切り捨て、単遠アーベル的復元/構成を無視し、
クンマー理論による自然同型のみを認めIUTをブチ壊し、それに同調したロバーツPDFの補遺と同じだよね。
なんで充満多重同型が納得でないことをもっと詳しくSSは説明しなかったの？自明だから？ｗ」
・・・・・・みたいなことを言うこともできる。私の本音ではないがｗ
469(1): 2019/11/26(火)22:09 ID:lf3yKjHB(1) AAS
前にも書いたけど、入れ子構造とはそもそも何なんだっていう話は
実は結構絶妙な具体的アナロジーで理解できる
何故集合では成り立たないような話が宇宙では成り立つのか？
こういう話をするのに次数とか円分指標の厳密な定義や計算の話は全く必要ない
むしろ素人談義のように話をしたほうが迫りやすいくらい
470: 2019/11/26(火)22:38 ID:7eO+XgSh(1) AAS
>>458
望月新一はself-evident だろ
471(1): 2019/11/26(火)22:54 ID:C+e1JA6H(4/4) AAS
理解可能で、理解できたものは忘れることはほとんどないけど、理解不能なものはすぐに忘れちゃうんだよね
IUTスレに書き込むのは数か月ぶりだけど、結構忘れていることも多いと思う
それを踏まえて、
>>469
simulate a∈aだが、種の言語とloops of mutationsであり、基礎の公理には反せずZFCから外れてないという望月の主張の話ですかね？
これは望月のIUT初期構想からあり、IUT・?最終節はTaoなどは今後のIUTの展開のためではないかと述べていましたが、
私はIUTの着想、基本構想そのものだと思っています
省6
472: 2019/11/27(水)00:23 ID:kYGTXXuh(1) AAS
取り巻き以外の理解者が増えない以上せいぜい
「数学っぽい言葉で書かれたSF」以上の価値はないんだよなぁ。
473: 2019/11/27(水)07:41 ID:jEUF6DtO(1) AAS
>>454
self evident 笑い
474: 2019/11/27(水)20:50 ID:DJh7uZqY(1) AAS
羊頭狗肉B
475: 2019/11/27(水)23:09 ID:OcfpDQgB(1) AAS
豚頭鼠肉ﾌﾞﾝｹﾞﾝ
476(2): 2019/11/27(水)23:26 ID:eoZjQGQZ(1/2) AAS
>>471
お久しぶりです
ちょっと色々考えると恐縮ながらそのまま書くのはまだ控えたいんですが、基本的に「望月宇宙」というのは
第一に水平方向の「アルゴリズム対称性」ありきの話というのが重要ですね。水平系列は誰かが乗法的対称性と
書いてたものだけど、見方を変えたらアルゴリズム対称と幾何対称性で分かれると言える
レポートで強調しているのはほとんどその話ばかりですね
IUTを大枠で理解したと言えるには、
省15
477: 2019/11/27(水)23:46 ID:3yLMjnE/(1) AAS
＞個人的に志甫先生が正しいと言ったら信じてもいいですねw
正しいとは言ってないけどIUTに対して楽観的に考えてはいるよね
寺杣先生もそう
478: 2019/11/27(水)23:53 ID:eoZjQGQZ(2/2) AAS
ちょっと書き忘れたけども、同じく細かい事は全然覚えてないんですよね
どっかに色々書いてあるんだけどそれも何処にあるかわからないし
とにかく志甫ーケドラヤの意見次第で空気は変わるかもしれないけど、まだBさんじゃちょっとという感じですね
479(1): 2019/11/28(木)01:48 ID:QE53xsMT(1/5) AAS
>>476
IUTに関しては論点が多すぎるんですよね。本人が書いているように“general nonsense techniques”を駆使したものですから。
自然同型だけでIUTを書き換えて良いのかというと絶対そんなことはありませんｗ それは学派の言っている通りIUTではありません
あれはSS、特にショルツだと思いますが手酷い皮肉、ほとんどブラック・ジョークだと思うんですよ
2015オックスフォード・セミナー前後からあった疑問点が望月・星−ショルツ・スティックス討論でも全く解消されなかった
望月・星が納得できるような説明ができなかったわけです
私が思うに、たぶんSSは3頁ぐらいでIUTを切り捨てることもできたと思いますよ。それではあんまりだから納得できる部分で再構成してみたら
省4
480(1): 2019/11/28(木)02:09 ID:xZpsru1N(1) AAS
蛇足ですが
あれだけ膨大な論文の意味を短いレスで処理できるわけがないんだけど、第三論文でそれこそ気違いみたいに
「分裂モノイド」の話をしてる理由は、大体12ページに書いてありましたね
勿論ある程度理解していないと読んでも全くわからない書き方だけど、要するにスキーム構造を
忘れて計算する（できる）理由ですね
勿論、「そもそも何故入れ子構造を使うんだっけ？」というのも一つの問題です。あまり複雑な理論だから
別の事をやってると忘れますねw
省3
481(1): 2019/11/28(木)02:15 ID:QE53xsMT(2/5) AAS
志甫氏についてだけど、以前に何度か書いたことがあるけど90年代後半から00年代初頭にかけて数論的基本群を研究していた人たちが
IUTに関して何も言ってないのが気になるんだよね。彼らの内、3人ほどに聞いたが口をそろえて「IUTはよく分からない」としか言わなかった
Kimの検証はどうなったのかとか、「微妙な何か」とか言っていたケドラヤとかどうなってんのと思う
そういう意味では来年のセミナーでボゴモロフがどんな話をするのかが気になるね
望月がIUTとボゴモロフの証明の類似と相違について論文を書いているが、ボゴモロフが第1回だけでなく第3回目にも出てきたら面白いことになると思う
私はデ・ヨングとかが気が変わってIUTを読んで肯定的評価を下したり、ヴェンカテッシュが認めるとかない限り、海外では難しいのではないかなと思う
482(1): 2019/11/28(木)02:44 ID:QE53xsMT(3/5) AAS
>>480
ああ、それなんですけどね、以前IUTは数論版遺伝的アルゴリズムではないかと冗談半分（本気半分）で書いたことがあります
まあ、そもそも「学派からすればSSはアナベリオイドの幾何学を全く知らないということになるんでしょうね」みたいなことは
先にあなたが書いたような気がします（別人だったらすみません）ｗ
私もここ数ヵ月IUTのことはきれいサッパリスッキリと忘れていたし、専ブラが壊れて再インストールしたせいで自分やあなたが書いたことを探すのは
面倒くさいことになりそうです
483: 2019/11/28(木)07:35 ID:mIAhfTGd(1) AAS
>>482
気持ち悪い馴れ合い
484: 2019/11/28(木)09:20 ID:+LiyS29D(1) AAS
>>481
＞「IUTはよく分からない」
こんなの「トンデモには付き合いたくない」を政治的事情で言わないだけやん。
485(1): 2019/11/28(木)10:19 ID:TM05w5l3(1) AAS
RIMSの関係者以外のアカポス持ってる数学者でホントにマジメに読んだ事ある人いるのかな？
こんなのホントに取り組もうと思ったら本職の研究に差し障るから怖いと思うんだけど。
486(1): 2019/11/28(木)12:05 ID:AZJFuoKr(1) AAS
>>485
ショルツ、フェセンコ、ケドラヤ
487: 2019/11/28(木)12:20 ID:pafgnMi0(1) AAS
志浦、中島、ケドラヤ、ショルツとか、iutに興味持ってるのがp進コホモロジー周辺なのには理由があるのかな？
488: 2019/11/28(木)12:40 ID:vSevY0pT(1) AAS
>>486
そう言う名前はよく出てくるね。
でもなんかこのスレ見てると
自分はアカポス持っててちゃんと読んだ感
出してる人まぁまぁ見かけるけどホントにそんなにいるのかなと。
489: 2019/11/28(木)12:54 ID:J8vsyaOB(1) AAS
>>476
>志甫淳先生
講究録別冊 51 「代数的整数論と関連
トピックス2012」には望月新一
A panoramic overview of inter-universal Teichmuller theory (Algebraic Number Theory and Related Topics 2012)
がある。
編集者edsのA.ShihoはRIMSカンファレンス
省20
490(1): 2019/11/28(木)19:31 ID:8saQG6wN(1) AAS
志甫淳先生は灘高出身なんだ。
Go Yamashitaと同じ。
491: 2019/11/28(木)19:36 ID:nlB6R9By(1) AAS
>>490
Goが灘？
492(1): 2019/11/28(木)20:44 ID:LfkZjghc(1/2) AAS
昨日レスをしてから、もしかしたら間違ったことを書いたかもなと思ったけど、分裂の重要性については
軽く追って思った通りでした。フロベニウス的なアルゴリズム対称に由来する分裂が理論の根幹と整理できる
ただ、懐刀のアナロジーを使わないと入れ子構造の整合性については全然説明できないなと思う
ただ、問題はSSの批判はその上での話だということだね
エッシャー的な意味で、局所的に見たら整合していても
全体で見たらあれっと思う事がある
要するに充満多重同型の問題だが、巧妙に巧妙を重ねた結果であっても、シンプルに見たら基本的な
省2
493(1): 2019/11/28(木)20:51 ID:p5jwqP0B(1) AAS
SSのペーパーに望月が45頁も反論したっていうけど、、その反論が真に新たな情報を持ち、有意味なら、
「その反論の説得力によって」望月支持に回ったって人がたくさん出そうなのに、
実際には誰一人支持者は増えなかったからねｗ
望月を支持する人って、もとから望月支持を表明していた人に限られ、
彼らの沽券にかかわるから今更間違ってましたとは言えないだけでしょ。
とにかく支持者がまったっく増えないという事は、実質SSの指摘が正しかったことを意味する。
ブンゲンの書き込みは負け惜しみ。
494: 2019/11/28(木)21:05 ID:LfkZjghc(2/2) AAS
第四論文の後半がある意味哲学だから一番とっつきやすいんだけど、
入れ子構造の話は例えば（アルゴリズムの語感通り）プログラミングのように考えたほうが理解しやすい
しかし、そもそも入れ子構造の実現が何を意味するのかを忘れてはならない
ポストモダンの方はわかってらっしゃるだろうが、これはホモロジー代数の遠アーベル的一般化ですね
宇宙際フーリエ変換もそれの流れですね
495: 2019/11/28(木)21:38 ID:QE53xsMT(4/5) AAS
>>493
望月反論レポはB自身がアマゾンレビューやTwitterで書いているように2018年初夏に初版があったんだよね
で、Bは9月以降にSSがコメントをすることを約束したとしているが、SSレポは8月23日付で書かれ、「望月レポ参照」と明記している
つまり、9月どころか前倒しでSSレポ8月版として答えている
望月はさらにSSレポ8月版を読んで望月反論レポ初版を改定して9月版41ページとして出した
SSが9月以降に一切応答していないのは、9月版や最新版も本質的に初版と変わらないからということだろうね
これ以上やっても水掛け論で時間と労力の無駄と判断したと思う
省3
496(1): 2019/11/28(木)22:04 ID:QE53xsMT(5/5) AAS
>>492
充満多重同型とは「副有限群としては同型、体としては非同型」であり「位相構造はリセットされる」というものですね
問題は公けではロバーツが書いていますが、忘却関手を放置してなんで同型と言えるのというｗ
まあ考え方としては“forgetting the histories of operations”としてクンマー理論＋単遠アーベル的復元/構成で
水平射で双遠アーベル的でない一方通行の復元（不可逆性）をやりたいわけですよ
非常に似ているが異質な環構造にして対数テータ格子、多輻的アルゴリズムで近似解を求めたいわけです
以前のデータをリセットしつつ次の系列につなげてスウィッチング・プロパティによって組合せ論的に処理していく
省2
497: 2019/11/28(木)22:39 ID:lvt0VL8R(1) AAS
4000
しろ@hu_corocoro 11月27日
苦節6ヶ月、初満点&一等賞です！
Twitterﾘﾝｸ:hu_corocoro
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
498: 2019/11/28(木)22:49 ID:89tknAmx(1/2) AAS
>>479
そうです。基点に依存しない一次元だからアルゴリズム的対称性だし、ヒストリーを可逆にしてしまうと
「対称性が壊れる」と言ってる
この対称性が壊れる、というのは幾何学的な文脈の話だと思いますが、そういう事を丁寧に書いてくれないから
難しいんですよw
499(1): 2019/11/28(木)23:08 ID:89tknAmx(2/2) AAS
>>496
それについては、いわゆる不定性は単なる単遠アーベル化の副作用で、計算上の技術的な問題だと
考えても良いでしょうね。実際、ガロア共役同期みたいなものはそう見なされてると思います
そして、こういう事はスキームの自己同型では起こらない話ではある
また、クンマー理論だけで話が成立しない典型部分はモノイドの分裂です
色々新しい側面があり、正しいかどうかはともかく、あんまり矮小化してしまうのもまずい
500(2): 2019/11/29(金)01:15 ID:JZikqz01(1/4) AAS
>いわゆる不定性は単なる単遠アーベル化
の副作用で、計算上の技術的な問題だと
考えても良いでしょうね。
IUTTは ディオファントス幾何の不等式が
目的でしょ。
IUTは分裂も含め モノイド 群 HT、単遠アーベル
幾何などの色々な部品を類推から組み立て
省5
501: 2019/11/29(金)02:33 ID:m/FG2Nbz(1) AAS
丸山善宏氏のコメントがあった。
Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science
Y Maruyama - WITTGENSTEINIAN (adj.), 2020
… the highly controversial case of Shinichi Mochizuki's alleged proof of the ABC conjecture). The historicity of proof is almost a brute fact in the history of mathematics. The historicity of proof may be observed from different angles …
502: 2019/11/29(金)03:18 ID:JZikqz01(2/4) AAS
Anabelian geometry with étale homotopy types
ALEXANDER SCHMIDT AND JAKOB STIX
Anabelian geometry with etale homotopy types
generalizes in a natural way classical anabelian geometry with etalefundamental groups.
We show that, both in the classical and
the generalized sense, any point of a smooth
variety over a field k which is finitely generated
省5
503: 2019/11/29(金)03:31 ID:JZikqz01(3/4) AAS
>>500
訂正
群論的アルゴリズム
→単遠アーベル的アルゴリズム
504(1): 2019/11/29(金)08:48 ID:xY0vzUa0(1/6) AAS
なんかこういう事件があって擁護されるのみると、
過去の日本人数学者の日本語論文には、
証明されてないのに身内でされたとしてるものがあるのでは、
という感じを受ける
505(1): 2019/11/29(金)09:21 ID:2hoCwwdx(1) AAS
100年単位で考えれば昔あるところにくだらない奴がいた、で終わる話だから無害
506: 2019/11/29(金)12:06 ID:xY0vzUa0(2/6) AAS
>>505
いや、100年単位で考えるなら名前が残ってないだろうと思うので、それはちと違うかと。
507: 2019/11/29(金)12:24 ID:Z+77lphm(1) AAS
昔あるところにくだらない嘘つきがいたということにはならないように
508(1): 2019/11/29(金)12:52 ID:DS+c1M4z(1) AAS
オマエラよくいうよ
ジブンは１０年以上忘れられないとおもうやつ手をあげてみな
509: 2019/11/29(金)14:45 ID:xY0vzUa0(3/6) AAS
>>508
論点ずらしはいらないのでやはり研究倫理の観点から問題視したほうがいいと思うね。
510(1): ID:1lEWVa2s 2019/11/29(金)16:16 ID:jomLJsUY(1) AAS
>>500
不等式の名前だすなよ。晒し。
511(1): 2019/11/29(金)16:22 ID:pe2ka8WL(1/3) AAS
>>504
>なんかこういう事件があって擁護されるのみると、
>過去の日本人数学者の日本語論文には、
>証明されてないのに身内でされたとしてるものがあるのでは、
>という感じを受ける
おまえみたいなド素人のどアホ部外者がしゃしゃり出てクソレスするから
このスレッドおまえの頭並みのバカ以外寄り付かなくなって
省4
512(1): 2019/11/29(金)16:26 ID:pe2ka8WL(2/3) AAS
ID:xY0vzUa0
数学に1mmも興味を持ってないおまえみたいなクソカスはこのスレから消えろ
大当たりだろ？おまえは数学を1mmも勉強したことがないだけでなく
数学をこれっぽっちも愛してすらいない
513(1): 2019/11/29(金)16:46 ID:xY0vzUa0(4/6) AAS
>>511>>512
そもそもこのネタ、エディタをやってる雑誌に投稿するのはマズいのではないか、
という研究倫理的な指摘から始まってるんだよね。
ところがこれをごまかして正しいかどうかという流れにしようとしたのは何か動機があると思っている。
514: 2019/11/29(金)16:47 ID:xY0vzUa0(5/6) AAS
研究倫理で指摘されると困るから数学の話っぽいフリをしてるのではないか、ってことね。
515(1): 2019/11/29(金)18:57 ID:pe2ka8WL(3/3) AAS
>>513
おまえは俺の指摘に何も触れていない
おまえは既に言った文言をそっくり繰り返してるだけ
バカかおんどれは
516: 2019/11/29(金)19:09 ID:xY0vzUa0(6/6) AAS
>>515
いや、俺が言ってることとあさってのことを言われても返答する義務はなにもないよ。
517: 2019/11/29(金)20:53 ID:JZikqz01(4/4) AAS
>>510
望月新一氏は「predicted by Grothendieck in his
letter to Faltings. 」について触れ
「遠アーベル哲学を提唱した重要な動機の一つは正に diophantus 幾何への応用の可能性に
あったらしい。
つまり、遠アーベル幾何が(ABC 予想 への
応用が期待される)IUTeich で中心的な役割
省18
518(1): 2019/11/29(金)20:56 ID:SJwiXU4F(1/5) AAS
>>499
充満多重同型について自分なりの理解と覚えている範囲で書くと、HT1→HT2との間だけの関係ではなく、
HT1→HT2→……HTnというΘリンク総体として“充満”多重同型という考え方ですね
さらに復元/構成ごとに前のHTの位相構造はリセットされて引き継がれていくから、空になります
そこで必要なのがラベルの使用と管理ということになる。これはたんなる識別だけでなく、
j^2のようなテータ関数の特殊値の代入点を示すラベルもあるわけです
このように、充満多重同型とラベルは独立したものではなく、セットになっているわけです
省9
519(1): 2019/11/29(金)21:14 ID:SJwiXU4F(2/5) AAS
アンカーは付けないけど、数学的に正しいかどうかというのが一番大事なのは当たり前です
さらに言えば、成否にかかわらず、アイデアが重要かどうかを見極めることが大切で、この辺は個人の嗜好もある
望月がPRIMSの編集長であることそれ自体に問題があると思っている人はそんなに多くない
コンラッドもそうだし、ショルツ、スティックスだってそれについては何も言っていない
コンラッドに至っては、ヴォイトのブログでロバーツが「査読者の実名を公表すべき」といったことに対して
そんなことは必要ない、本質的な問題ではないとすら言っている。大体、IUTを査読できる人なんて限られているし、
おそらく周辺人物たちだろうとすら書いているｗ だが、それについても問題にしていない
省1
520: 2019/11/29(金)21:30 ID:SJwiXU4F(3/5) AAS
PRIMSとIUT論文について不可解なことがあるとすれば、2014年度になぜ掲載しなかったのかということだね
望月の進捗報告2014を読めば、なぜあの状況で掲載されなかったのかと思う
数学界の状況を鑑みて編集者が著者に相談or忖度したか、著者（＝編集長）の介入があったとしか思えないね
2017年12月の朝日報道より、2014年度に掲載されなかったことのほうがよっぽど問題だと思うよ
深谷-小野という例があったので慎重に進めて理解者が増えたところで掲載したかったのだろうけどね
521: 2019/11/29(金)21:47 ID:7cxIzNVO(1/4) AAS
>>518
その辺の構造と量のイメージを具体的に描くのは本当に難しいですよ
ホッジーアラケロフ理論と言ってじゃあ何がホッジーアラケロフ理論なのかをIUTと突き合わせて
理解しないといけないし、初期化すると言っても全く無関係だと言ってるわけではない
むしろStixの言ってることのほうがよくわからない部分もある。入れ子構造と非可換性の意味が本当に
わかっているのか？望月宇宙の意味がわかっているのか？
望月サイドとしては、神＝IUTの記述レベルでは宇宙を統合しつつ区別しているんです
省3
522: 2019/11/29(金)21:51 ID:7cxIzNVO(2/4) AAS
一応ちゃんと書いておくと、望月宇宙とは明示的アルゴリズム付きの絶対ガロア群＝代数体の双曲スキーム
のことですね
523: 2019/11/29(金)21:58 ID:7cxIzNVO(3/4) AAS
一応捕捉すると厳密には単解化＝ソフトウェア化された、ですね
普通のスキームそのものではありません
上下前次1-新書関写板覧索設栞歴
あと 479 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s