22/04/18 06:42:08 9Sqq12HI.net
>>386-387
蕎麦屋さんか？
>絶対に正しい事を確認済みなら全財産から全負債を除いた全資産を担保に
>全て寄付する事を担保に入れる事を法的正式な公正証書による誓約の元に改めて主張できる｡
逆もまた真
圏論的には、双対
蕎麦屋さんが、「IUT理論不成立」を主張するならば
あなたが先に、全財産を供託しなさいよ
「もし、IUT理論が正しければ、全財産を没収されても かまいません」と
なに？ 全財産が10円だと？ 賭けは成立しないなｗ
413:１３２人目の素数さん
22/04/18 06:52:10.72 .net
>差別用語を使うな
>繰り返すと、荒しとして、通報するぞ
下げマスはマジで●タなの？ｗ
それはさておき、中卒の分際で
「ボクちゃん、直感で数学の全てがわかるもん」
みたいな感覚でコピペしまくるから馬鹿にされる
「ボクは数学のスの字もわかりません」
と自覚して、下から下から謙虚にお尋ねすれば
誰も何もいわない
知らないのに知ってると嘘つくのがダメ
下げマスは根本的に嘘つきの畜生なんだよ
嘘つくな これ人間の基本 守れないヤツはサル
414:１３２人目の素数さん
22/04/18 06:54:22.42 .net
>・・・さんか
誰でもいいだろ 下げマスはプーチンか？ｗ
>圏論的には・・・
正則行列も知らんド素人が圏論語るなよｗ
415:１３２人目の素数さん
22/04/18 06:56:54.84 .net
>>388
>”等号原理”というのは、”等号で式を変形して証明しろ”と、ご主張されているのですか？
違う気がするが、当人が等号原理を説明しないから、真相は藪の中
416:１３２人目の素数さん
22/04/18 06:57:20.89 N9uDBBSz.net
極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、
現実舞台での累乗数が、かけ算伸縮舞台での累乗数よりも小さいとの評価に納得していない。
のところは、掛け算だけならば、Nスぺのように累乗数でも遺伝子が残るから簡単だけど、
現実舞台が掛け算と足し算からなるから、かけ算伸縮舞台での累乗数よりも小さい、
との評価のところで、結局のところ、かけ算しか成立しない世界で、たし算は成立してないのだから、
その「成立してないたし算による歪みの評価」をするのか？が、認識論でないけど、ラベルと言われても何でもありの世界に感じる。
何か、フロペノイドなどの数学世界に手がかりがあって、たし算からの歪みを評価できる工夫があるのかな。
上記は私見で、いずれにせよ等号原理が何を意味するのか、気になっただけ。
417:１３２人目の素数さん
22/04/18 07:01:02.11 .net
>・望月氏は相手を納得させる説明が出来なかった
>この状態のまま、IUTは査読完了し出版され、
>さらに、明示公式による5人共著の論文も査読完了し、
>東京工大から出版予定です
正常な精神を有する人間なら
「IUT論文の査読も5人共著の論文の査読も
査読者が理解しないままアクセプトした
”不正行為”じゃね？」
と思う
そして査読者が論文について説明できないので
”不正行為”が立証されてしまっている
これは日本の恥 世界の恥といっていい
418:１３２人目の素数さん
22/04/18 07:04:06.08 .net
>>395
おそらく「違う」ものを無理矢理「等しい」とする恣意的操作が
論理的に正当化できないのだろう
ヘヴィサイドの演算子法みたいに
「考案者が理屈を分かってなかっただけで実は理屈はちゃんとある」
というならともかく
「単に結論ありきで無理矢理こじつけた屁理屈」
ならアウト
419:１３２人目の素数さん
22/04/18 07:27:30.02 9Sqq12HI.net
>>388-390
レスありがとうございます。
>等号原理は何を指しているのか？で、
"等号原理"は、正規の数学用語ではないので、スルーとします
>結局のところ、
>＞極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、歪みによる誤差が小さいとの評価の過程
>で、ショルツェ氏は”「ぼやけ」はが大きいが、望月は特定の不確定性によって与えられる「ぼやけ」は小さいという事ですかね。
これは私的な感想ですが
ショルツェ氏は”「ぼやけ」という言葉を使ったのは、IUTに対するネガティブな印象を表現するためと思います
ショルツェ氏の>>382における文書P10の ダイアグラムは、明らかに ”不確定性”は全く考慮されていません
それに対して、望月氏は、不確定性を考慮していないので、IUTではそのダイアグラムそのままではないと主張したのでしょう
だが、ショルツェ氏が書いて居るとおり、それは5日目となる最終日で、時間切れになった
ショルツェ氏は、「ぼやけ」というネガティブな言葉と、”「ぼやけ」が少なくともO（l^2）の係数である必要があり”（ the blurring must be by a factor of at least O(ｌ^2) ）
と一言で済ませて、噛み合った議論になっていません
2022年4月現在でも、ショルツェ氏 vs 望月氏は、このままで
NHKスペシャルによれば、「ショルツェ氏は、もう関わり合いたくない」と、インタビューもコメントも拒否しています
なので、繰り返しますが
IUT側がやるべき事は、ファルティングス師匠のいうように、「一般の数学者が分かる説明、少なくともおれが分かるように説明しろや」ってことですね
私見ですが、ポロウスキ、南出新、星裕一郎他 東京工大とRIMSの若手で手分けして、”ファルティングスが分かるIUT説明書”を手分けして、半年くらいで書いて
それは、昨年の国際会議を踏まえてですが
ファルティングス師匠も参加する公開の討論会を、やれば良いと思いますけど
（それは、若手でIUTや関連の遠アーベルの研究をしている人にとって、自分たちの研究を理解してもらう一助です）
420:１３２人目の素数さん
22/04/18 09:46:46.72 SMnonojU.net
>>397
それはコップとドーナッツが、１つ穴と見做なす抽象化で、
２つ穴なのに１つ穴と見做したらNGとは思うよ。、
それとは違って、抽象化で同じと見做した後に、違うと見做すことでは？
遺伝子的に整理しやすい「かけ算」で、数学世界で抽象化させるとして、、
ABCが、足し算と掛け算からなる対象なのに、かけ算しか成立しない世界で抽象化しても、足し算の差が無くなるから、現実の足し算と掛け算からなる現実が消えてしまうよね。
でも足し算と掛け算からなる現実の姿だとしても、遺伝子的に整理できる「かけ算」の数学世界によると、かけ算的部分だけ抽出して。かけ算と足し算からなる部分は抽象化により消えてしまう。ところがABC予想が、かけ算と足し算の絡み合いでそこに何らかの遺伝子(規則性）が存在するなら、足し算の部分を抽象化で消えてしまったら研究で証明には至らないよね。
私見ですが、また変な見方だけど、足し算で遺伝した部分は、かけ算しか成立しない世界からは「虚」になる筈なので、そのかけ算の数学世界での「虚」を、虚数とにて、扱うことが出来るのかという感がしてきた、、、、。
421:１３２人目の素数さん
22/04/18 10:15:23.77 16TothxP.net
「という感がしてきた」とか言われてもねぇ。
客観的に見て、貴方はトンデモの一歩手前で
統失の疑いもあるように見えるよ。
422:１３２人目の素数さん
22/04/18 10:22:50.03 16TothxP.net
素人さんは自分の下らない考え・思いつきを開陳する前に
素人でも読める星さんによる解説 >>342にある
「乗法的情報による加法構造の復元」
を読んで理解してから発言しましょう。
423:１３２人目の素数さん
22/04/18 10:28:25.64 eaxs7s6m.net
424:コップとドーナッツの例えはいかにも通俗書で数学を知った気になってるやつっぽい 遺伝子的に整理できるというのも意味不明
425:１３２人目の素数さん
22/04/18 10:56:51 ApqeW83k.net
それは大衆向けに作ってる以上仕方がない
TV番組は算数しかできない馬鹿でもわかった気になれるというのが重要
426:１３２人目の素数さん
22/04/18 10:57:36 xtvhZssM.net
自分の事天才やと思ってるんやろ
なーんも勉強せんでもなーんでも分かると思ってる
427:１３２人目の素数さん
22/04/18 11:10:07 /cG9KE3B.net
>>402
通俗書でなくＮスぺだろ。番組は見た？
かけ算とたし算の遺伝子、かけ算しか成立しない世界、同じで同じでない、も。
a、a+i、a+5iは、実数はaで「同じ」だけど、虚を認めると虚部で「違い」は確かにあるね。
428:１３２人目の素数さん
22/04/18 11:42:48.64 16TothxP.net
星さんの解説はペダンチックで難しいと思うひとのために
思いっきり簡単なケースを説明してみる。
高木貞治の『代数学講義』という古い本に
g(z)=Π(z-a_i)のとき
(1) g'(z)/g(z)=Σ1/(z-a_i)
が成立すると書いてある。これはg(z)が重根を持っていてもいい。
（たとえばaがk重根の場合は1/(z-a)をk回数えるから
(1)の右辺の和はk/(z-a) とまとめてあらわせる。）
(1)式は明確に加法性を持っている。つまり
(g_1(z))'/g_1(z)+(g_2(z))'/g_2(z)
はg_1(z)*g_2(z)の根たちaに対して
1/(z-a)を重複度も込めた足し合わせたものに等しい。
つまりこの場合は「乗法的情報→加法的構造」
の導出は非常に単純なわけ。
これを出発点として、このような性質は
どこまで拡張できるか？ と考えれば分かり易いかも。
429:１３２人目の素数さん
22/04/18 11:52:37.50 16TothxP.net
>(1) g'(z)/g(z)=Σ1/(z-a_i)
ま、これはg(z)を対数微分しているだけなので
『代数学講義』の参照は別に必要ない。
乗法→加法の変換が起きる理由も明らか。
430:１３２人目の素数さん
22/04/18 20:22:21.88 0l/16VXN.net
>>342
乗法的情報による加法構造の復元
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
>数の管理, ラべリングの方法:
>従来型: ..., 4, 5, 6, 7, 8, 9, 10, ...
>素因数分解型: ..., {(2, 2)}, {(5, 1)}, {(2, 1),(3, 1)}, {(7, 1)}, {(2, 3)}, {(3, 2)}, {(2, 1),(5, 1)}, ...
IUTの「ラベリング」とは
加法と乗法をあえて「間違った形」で対応づける
といってるのかい？
対応を「間違う」ことでどんな情報が得られるんだい？
431:１３２人目の素数さん
22/04/18 20:36:39.27 mMHvvlrY.net
>>405
あんな番組見ても役に立たないよ
432:１３２人目の素数さん
22/04/18 20:45:40.21 TUyIy4XF.net
画像の編集はうまかった
433:１３２人目の素数さん
22/04/18 21:01:39.18 E5ne0RUW.net
>>391
出た、世間知らず晒し｡
担保は賭けではない上に「自発行為」｡
一方で賭事は賭博罪であり強要は強要罪｡
結局お前は自身の主張がハッタリである事を追認する事に成る｡
434:１３２人目の素数さん
22/04/18 21:11:05.92 EDI1L0T8.net
情報工学・暗号理論などでIUTのアイデアは応用できそうですか？
435:１３２人目の素数さん
22/04/18 21:16:36.11 EDI1L0T8.net
ラベリングの微細で精緻な違いに神経を尖らせる必要があり、当然ながら復元の際にもこのデリケートで特殊な技巧を用いた取り扱いを要し、極めてオリジナルな要素の強い専門性を必要とし、尚且つその技巧がそれほど専門家に拡まってなければ、暗号技術には持ってこいですよね？
436:１３２人目の素数さん
22/04/18 23:55:01.63 0UdCbOOS.net
逆問題との計算コストの違いを使うのが一般的な暗号だろ。
437:１３２人目の素数さん
22/04/19 00:06:31.71 dds25QH9.net
>>408
星さんの解説を読んでみると
C係数の有理式Q(x)∈C(x)と、射影直線上のすべてのa∈P^1
に対して2つの部分集合のクラス
・Q(x)はaにおいて極を持たない
・Q(a)=1をみたす
を用意する。
これを「乗法的」と呼ぶのは乗法によって保存される性質だから。
さて、すべてのa∈P^1に対して、Q(x)が上の2つの部分集合に属す
または属さないを見通すことができるなら
C(x)における乗法から、C(x)における加法を
復元できる、という主張だと思うが
「すべてのa∈P^1に対して、Q(x)が上の2つの部分集合に属す
または属さないを見通すことができる」
これを「乗法的情報」とすることが妥当なのかは、考えてみる必要はありそう。
438:１３２人目の素数さん
22/04/19 06:11:31.70 ilTCPIzS.net
一般的でない方が実用化された時の暗号理論としての技術的価値は高いですよね
439:１３２人目の素数さん
22/04/19 07:04:29 IoKA4zt0.net
>>413
＞ラベリングの微細で精緻な違い
そもそもどうラベリングするのか説明してます？
440:１３２人目の素数さん
22/04/19 18:58:19.75 Jx6VHKGz.net
“もっと説明すべき”といわれてますよね
｢説明が足りないのでは？｣と
暗号技術は誰もが分かってしまえば価値は失くなりますよね
仮にそうした暗号理論としての技術的価値が高いのだとすると、現状のまま理解者が増えない方が、その技術的価値が損なわれないのかも知れませんね
441:１３２人目の素数さん
22/04/19 19:05:36.63 c7S1fDRL.net
NHKのドキュメンタリーの話だけど、
個人的にはやっぱり星さんのコメントが一番見たかったね
彼は今回の番組制作にも陰で関わっているのに顔は出さずにあくまで裏方に徹していたあたり、
やはり師匠からそういう指示がでているんだろうね
彼は半年ほど前も、IUTの正しさを強く確信していると思われるツイートをしていたけど、
絶対に批判派に反論しないのも師匠からの指示としか考えられないね
442:１３２人目の素数さん
22/04/19 19:30:26.91 1mr4js41.net
勉強してない人に一から教えるのは面倒くさいので教えない
勉強してる人に教えるのは研究で先を越されちゃうかもしれないのでやっぱり教えない
443:１３２人目の素数さん
22/04/19 20:19:52.16 .net
>>420
素人は教えたって理解できないから教えない
玄人は教えたら証明できてないってバレちゃうからそれこそ教えない
なんだ嘘つき詐欺師じゃねえか
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!（嘲りまくり）
444:１３２人目の素数さん
22/04/19 20:21:15.36 dds25QH9.net
>暗号技術は誰もが分かってしまえば価値は失くなりますよね
RSA暗号はじめ公開鍵暗号はみんな仕組みが分かってますが、価値を保ってますが。
「誰もが分かってしまえば」価値がなくなるというのも誤解。
暗号化してるつもりでも、一人でも他人が密かに復号できてる状況が一番まずい
その時点で暗号としては無価値。
そもそもIUTは暗号理論ではない。
445:１３２人目の素数さん
22/04/20 07:32:55.87 N6Jzz7Gn.net
＜NHKスペシャル＞
URLﾘﾝｸ(www.nhk.jp)
数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語（前編）2022年4月10日
ワルドシュミット 博士「たし算は、受け継がれるはずの数の遺伝子を、いわば壊してしまうのです。たし算で生まれる数がどんな遺伝子を持つのかは、あらかじめ予測できません。遺伝子をどこまで破壊してしまうのか。破壊の程度を予測する方法はないのか。こうした難しい問題が存在することは、本当に喜ばしいことです」
さらに博士は、興味深い話をしてくれました。数学に、簡単に解くことができない「難問」がたくさんある理由。それは数学の世界に、かけ算だけでなく、遺伝子を破壊してしまうたし算が存在しているからだというのです。
博士は、「あの遺伝子で考えてみれば分かる」というんです。
ａ＋ｂ＝ｃという、たし算を思い浮かべてください。親の遺伝子の形からは、たし算で生まれる子どもｃの遺伝子の形がどうなるか全く見当がつきませんでしたよね。
それに対し、博士の数式の意味をざっくり説明するなら、親であるaとbの遺伝子の情報から、子どもｃの遺伝子がどうなるか、ある程度、予言できるというのです。
例えば、ちょっと難しいかもしれませんが、n個の数をかけ合わせた2のn乗と3のn乗のたし算。子どもの遺伝子の形がどうなるかなんて、想像もつきませんよね。
でも、博士の数式は次のように予言するというのです。
「子どもの遺伝子は、nがどんな数だったとしても、『長さ1の枝しかない』または『長めの枝があったとしても5の位置にしか生えない』。そのどちらかに限られるはずだ」というのです。
この予言、本当に合っているのでしょうか？
「n」に、いろんな数（５、１０、１５など）を入れて調べてみると･･･、
どうです？博士の数式の予言どおりになっていると思いませんか？
エステルレ博士が偶然見つけた、ちょっと不思議な数式。ただし、この数式が、どんなたし算に対しても正しい予言をするのか。それは博士にも分かりませんでした。そこで博士は、これをａｂｃ予想として数学界に問いかけることにしたのです。
(引用終り)
つづく
446:１３２人目の素数さん
22/04/20 07:33:27.12 N6Jzz7Gn.net
>>423
つづき
ここ、小山先生が昨年の「日本一わかりやすい ABC予想」で、ほぼ同じ説明をしていた
たし算が、ｎ乗という山の高さｎを崩して、低くしてしまう
だから、フェルマーのa^n+b^n=c^n は、n>=3 のときに、整数解を持たないと
(参考)
URLﾘﾝｸ(www.bks.co.jp)
日本一わかりやすい ABC予想
東洋大学理工学部教授 小山信也 著 発 行 2021年6月15日 ジネス教育出版社
ABC予想の証明は、いったい何がそんなに「すごい」のか？
数学がちょっぴり苦手な佑くん、数学が得意な沙耶ちゃん、そして数学雑誌の編集長Zeta先生の会話形式で、数学の超難問で、2020年査読が終わり証明が確定的となったABC予想について、日本一わかりやすく解説します。
《主な目次》
第１話 夏休みの宿題
第２話 「予想」って何？
第４話 「ABC予想」は役に立つ？
第11話「ABC予想」はフェルマーよりすごい？
第21話 イプシロンの役割
第24話 宇宙際タイヒミュラー理論の意義
(引用終り)
以上
447:１３２人目の素数さん
22/04/20 07:45:21.42 N6Jzz7Gn.net
>>423 追加
＜NHKスペシャル＞
URLﾘﾝｸ(www.nhk.jp)
数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語（後編）2022年4月10日
2015年、徹底的に議論しようという国際会議が開かれました。集まったのは、望月博士を正しいと考える数学者たちと、さまざまな疑問で頭がいっぱいの数学者たち。ここで問題となったのが、宇宙際タイヒミューラー理論が出発点とした、あの二つの数学世界でした。全く同じものだと説明される二つの数学世界。
しかしつながりまで考えると、Aの4はBの16につながっているのに�
448:ABの4はAの2につながっています。だったら、二つが同じとはいえない。論理が矛盾しているというのです。 アデレード大学 助教 デイビッド･ロバーツ 博士「望月の理論で奇妙なのは、まず全く同じものだといいながら、次に、それらを完全に異なるものとして扱う点です。数学では同じと見なせるものは同じとするのが原理原則です。同じでありながら同時に異なるものなんてありえるのか、真剣に考えてみましたよ。いやいや、絶対無理ですよね」 デュピー 博士「こんな感じの違和感です。誰かがあるものを持っていて、『それはこれと同じものでもあるし、また同時に異なるものでもある』といったときのような。多くの数学者は、それは『2が4と等しい』といっているようなもので、そんなことをいえば、数学は破綻すると反論したんです」 議論は紛糾。証明の核心へと迫る前に、会議は閉会となりました。 つづく
449:１３２人目の素数さん
22/04/20 07:45:43.31 N6Jzz7Gn.net
>>425
つづき
加藤 博士「私の意見ですけど、数学的な意味で、(証明に)何かギャップがあるとか、正しさにちょっと曇りがあるとかということでは決してないんだと思うんです。今回の場合は、やはり対象に関する認識論なんだというふうに思います」
対象に関する認識論の違いが、互いの理解を阻んでいる。一体どういう意味なのでしょうか。思い出してください。数学は、異なるものを同じと見なすという方法で始まり、発展してきたことを。つまり、物事の異なる部分にいわば目をつぶり、同じと見なせる部分に注目し認識することを、数学は原理原則としてきたのです。
しかし加藤博士は、このやり方は、人が日常生活の中で実際に物事を認識するときのやり方とは、大きく違うといいます。
加藤博士「我々は、『同じものであっても違うものと見なす』ということをやっているわけなんですけどね。ある時は、我々は『同じものを違うもの』と見なすし、ある時は、『同じものを同じもの』と見なすという」
人間の思考は、二つのものを同じものだと認識することもあれば、同時に、全く違うものだと考えることもあるという、いわば矛盾をも包み込む高い柔軟性を持っている。だから数学も、そうした柔軟な形へと進化する道があってもいいのではないかというのです。
加藤 博士「IUT(宇宙際タイヒミューラー理論)というのは、数学の基本的なところ、深層のところを揺るがす、地殻変動から起こっている理論ですので、現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、早急に作らなければいけないんじゃないか」
つづく
450:１３２人目の素数さん
22/04/20 07:46:10.45 N6Jzz7Gn.net
>>426
つづき
かつての指導教官、ファルティングス博士もまた、これまでの数学との違いを分かりやすく説明する言葉を見つけてほしいと語ります。
ファルティングス 博士「望月は説明に力を入れるべきです。今はなぜ彼のアイデアがうまくいくのか分かりにくいのです」
ディレクター「このままでは望月博士の証明は忘れ去られませんか？」
ファルティングス 博士「その恐れはあります。誰かが望月の理論を分かるように説明する言葉を見つけてくれればいいのですが…」
論文発表からまもなく10年。今、新たな動きが始まっています。望月理論に未来の数学の姿を見いだしているという若い数学者たちが、ネット上での議論を開始しました。
デュピー 博士「望月の件に巻き込まれるなと警告してくる数学者もいます。『お前のキャリアがむちゃくちゃになるぞ。やめておけ』と。でも私は思うんです。これは微分積分の発明や重力の発見にも匹敵する革命で、私は今それに立ち会っているのだと。100年後、いや200年後も、望月理論は数学の世界で生き続けていると思うのです」
京都大学数理解析研究所 教授 望月新一 博士「数学者の中には、宇宙際タイヒミューラー理論が、これまでの数学とは関係ない、別物だという人がいますが、私は、この理論もまた、多くの数学者が研究している数学とつながっていると思っています。数学の世界がつながっているだけでなく、数学者同士もまた、つながっていると信じているのです」
ａｂｃ予想を証明したという宇宙際タイヒミューラー理論が、今後世界の数学者に広く受け入れられるかどうか。それはまだ分かりません。しかし、もしこれが新しい数学の夜明けなのであれば、私たちは今、史上まれにみる知の大変革を目撃している。そう言えるのです。
(引用終り)
以上
451:１３２人目の素数さん
22/04/20 08:00:44.09 N6Jzz7Gn.net
>>427 補足
>京都大学数理解析研究所 教授 望月新一 博士「数学者の中には、宇宙際タイヒミューラー理論が、これまでの数学とは関係ない、別物だという人がいますが、私は、この理論もまた、多くの数学者が研究している数学とつながっていると思っています。数学の世界がつながっているだけでなく、数学者同士もまた、つながっていると信じているのです」
ここ ”デュピー 博士「こんな感じの違和感です。誰かがあるものを持っていて、『それはこれと同じものでもあるし、また同時に異なるものでもある』といったときのような。多くの数学者は、それは『2が4と等しい』といっているようなもので、そんなことをいえば、数学は破綻すると反論したんです」”>>425
ここは、調べてみると、下記のIUTの ”alien”（Mutually Alien Copies）が該当するようだ
単語 ”alien”は、下記のIUT I～IV の論文PDF内を検索すると、それぞれの論文で、何カ所か出てくるので、4編全部を貫く思想のようです
Mutually Copiesだけなら、同一でしょう？
Mutually Alien Copies とは、何でしょうか？
『それはこれと同じもの（Mutually Copies）でもあるし、また同時に異なるもの（Alien）でもある』という主張でしょうね
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月氏 論文
宇宙際Teichmuller理論
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＜追加＞
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-05-18)
[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-12-23)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF NEW !! (2020-04-22)
(引用終り)
以上
452:１３２人目の素数さん
22/04/20 11:56:35.67 pGVflkJc.net
>>422
IUTは暗号理論に応用できないか探られそうですよね？
という意味です。
応用が検討される分野の中では予算がつきそうな業界ですし、ファイブアイズの中でもイギリスなど情報に熱心な国の関係機関では関心は持たれそうでは？
という話でした。
この分野での研究の進捗は当然の事ですが秘匿されますから、仮に研究に取り組まれていても直ぐには外部に伝えられる事はないでしょうね…
とだけ
453:１３２人目の素数さん
22/04/20 12:11:33.72 W0K4I/4i.net
公開キーなど民需だけではなく民需とはいえ、極めて高度な暗号技術を必要とする金融機関や、更に安全保障に直結する軍需産業・諜報活動にも利用され得るものとして研究対象になると、そこは研究がどれほど進んでもその内容が明かされる事は期待できませんから、その可能性を考慮するしか推し量りようがないですが。
IUTもそうした分野からの関心は持たれそうだな、と
常に莫大な予算と優秀な研究者とを必要とする分野ですが、その進展を知らされる事が無い学術界の“ブラックホール”は現に存在しています。
コンピューターの開発やIT開発も元々はそのブラックホールから噴出してきたものですし
アメリカにおいてはいまだに最も大きな産業に位置付けられている業界ですし、応用では常に技術的な最先端である事が多い産業部門だと思いますが、その研究者は研究内容を秘匿する義務が負わされていて、そこからは発信は期待できませんよね
情報工学的な応用の可能性を感じると、数学者の方々は本能的にポテンシャルが下がってしまうのかは存じませんがw
454:１３２人目の素数さん
22/04/20 12:12:16.24 5/ynO6na.net
いちいち暗号に固執しすぎ
455:１３２人目の素数さん
22/04/20 15:18:39.01 LcHXnCwq.net
>>430
数学も暗号も情報理論もな～んも知らんカスのド素人はすっこんでろよ。
バカは爆サイで低学歴同士じゃれあってろ。
456:１３２人目の素数さん
22/04/20 17:20:16.84 3oDpikci.net
自分で言ってたじゃん
英国で暗号だの気象予測に応用するって
気象予測を選択する理由がわからないしすげえ筋が悪いと思うけど
457:１３２人目の素数さん
22/04/20 21:24:34.59 YBCuK7p0.net
>>426
「認識論」と言ってしまったら、敗北を認めたということだよね。
認識論＝疑似科学
だからね。
458:１３２人目の素数さん
22/04/20 21:33:09.14 N6Jzz7Gn.net
>>434
同意です
加藤先生、大げさすぎ
”加藤 博士「IUT(宇宙際タイヒミューラー理論)というのは、数学の基本的なところ、深層のところを揺るがす、地殻変動から起こっている理論ですので、現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、早急に作らなければいけないんじゃないか」”>>426
なんて、数学をオカルトにしている気がする
もっとも
私は数学素人ですけど
>>427の"京都大学数理解析研究所 教授 望月新一 博士「数学者の中には、宇宙際タイヒミューラー理論が、これまでの数学とは関係ない、別物だという人がいますが、私は、この理論もまた、多くの数学者が研究している数学とつながっていると思っています。数学の世界がつながっているだけでなく、数学者同士もまた、つながっていると信じているのです」"
の方が正解と思います
ちゃんと説明つくと思います（例えば>>428）
459:１３２人目の素数さん
22/04/20 23:15:44.35 C9tEh1F4.net
>>434
認識論というのは哲学用語で、人間の知識の限界や、人間の認識とは
一体どういう形があり得るのかといったことを問う一つのジャンルです
460:１３２人目の素数さん
22/04/21 03:51:55.69 B7jAeAo9.net
げ元気ですかっ！
461:１３２人目の素数さん
22/04/21 04:03:31.09 sjjr09uw.net
基礎論的には、
宇宙際タイヒミューラー理論がいかに新しい言語が必要とか言っても、
高階論理の枠組みで間に合うはずだ、
言語化する道具はすでにあるのだから、
正しいと主張するものがさっさと言語化すればいい。
462:１３２人目の素数さん
22/04/21 05:47:17.58 CL7moyod.net
>>436
哲学って、文学だよ。
463:１３２人目の素数さん
22/04/21 06:18:38.79 72/7EJMd.net
>>435
>私は数学素人ですけど
じゃ玄人として望月新一を信用しないほうがいいと忠告するね
日本人が糞と味噌の区別がつかない阿呆って馬鹿にされるから
464:１３２人目の素数さん
22/04/21 10:06:50.01 brqZTU6n.net
おはようもっちー元気ですか！
465:１３２人目の素数さん
22/04/21 14:39:44 5uDCQIOe.net
>>441
もっちーの
安否確認情報は
2022年03月20日以降は
不明ですねｗ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月新一の安否確認情報
2022年03月20日
・（論文）修正版を更新（修正箇所のリスト）：
466:１３２人目の素数さん
22/04/21 15:19:58 5uDCQIOe.net
>>440
>じゃ玄人として望月新一を信用しないほうがいいと忠告するね
>日本人が糞と味噌の区別がつかない阿呆って馬鹿にされるから
便所の落書きにマジレスのヤボは承知だが
１）名無しさんで、「玄人として」としてとあるけど
数学を主たる職業として、生計が成りったっているの？ （これが私の”玄人”の定義ですが）
例えば、アカデミックポストをゲットしているとか？
（まさか、”数理論理くん”じゃないよね？ｗ）
２）「望月新一を信用しないほうがいい」と公言するその根拠は？
日本国内で、実名でその種の発言をした人はいないと思う？
海外では、ショルツェ氏を筆頭に、何人もいるけど、日本国内は皆無ですよ！
「信用しないほうがいい」は、根拠のある発言なのかな？ｗ
もっと言えば、将来、いずれは実名だして発言する勇気があるの？ｗ
追伸
私見ですが、日本でもプロ数学者が実名で、
「望月よ、RIMSよ、もっとしっかり説明する努力をしろ！ おまいら、日本の数学の評判を落としているぞ！」
とか、言っていい時期じゃないですかね？ｗ
こんな、５ｃｈ
467:なんかでなくて もっと実名で「ごらぁ～」ってやってほしいなｗｗ （参考：下記は、珍しく”TARO-NISHINO”という日本名ですが、どうもペンネームらしい。”TARO-NISHINO”そのままでは、全く情報がヒットしなかった。残念です） https://taro-nishino.blogspot.com/2019/03/blog-post064.html TARO-NISHINOの日記 数学における最大の謎: 望月新一と不可解な証明 3月 24, 2019 前回紹介した"ABC予想の壮大な証明をめぐって数学の巨人達が衝突する"はもちろん一般大衆向けの記事です。数論、数論幾何学、IUTT(宇宙際タイヒミュラー理論)のいずれかの専門家なら、そんな記事を読まなくても、そこまでに至る経緯は十分に承知しています(何故なら自分達の飯の種を左右する問題だから)。その方面の専門家でなくても数学研究者なら数学コミュニティ又は数学界を通して大概の経緯を聞き及んでいます。 [追記: 2019年02月28日] 上の追記で述べたように、2015年にオクスフォードで開催された望月論文に関するワークショップははっきり言って完全に失敗だったと言ってもいいでしょう。
468:１３２人目の素数さん
22/04/21 18:52:38.06 72/7EJMd.net
>>443
＞「玄人として」としてとあるけど
＞数学を主たる職業として、生計が成りったっているの？
＞例えば、アカデミックポストをゲットしているとか？
あなたがいう条件は全て満たしていますが何か？
＞「望月新一を信用しないほうがいい」と公言するその根拠は？
信用できる根拠がない、ということに尽きますが何か？
＞日本国内で、実名でその種の発言をした人はいないと思う
いわずもがなですが何か？
＞海外では、ショルツェ氏を筆頭に、何人もいるけど、日本国内は皆無ですよ！
ショルツ氏は森重文氏に頼まれてコメントしたと聞いてますが何か？
＞「信用しないほうがいい」は、根拠のある発言なのかな？ｗ
信用できる根拠がない主張を信用しないほうがいいのは
学界の常識ともいえる考え方ですが何か？
＞将来、いずれは実名だして発言する勇気があるの？
逆に望月新一氏本人もしくは弟子といわれる星氏が
IUTの正当性を示せる本を書けますか？
2012年にIUT論文が発表されてからもう10年にもなりますが
いまだに全く理解されていませんし
何ら意味のある解説すらできていません
今後何年かかってもそのようなものが出るとは
私には到底思えませんし、期待するだけ空しいでしょう
あなたがただ日本を自慢したいだけの素人だとしても
こんな人を自慢するのは自爆行為だからやめたほうがいいですよ
嘲笑されるだけですから
469:１３２人目の素数さん
22/04/21 19:05:16.04 IT5EZgJo.net
例えば､2ⁿ+3ⁿで示される子どもの遺伝子の形がどうなるか？なんて想像もつかない。
でも､エステルレ博士の数式は次のように予言する。
”子どもの遺伝子はnがどんな数でも<長さ1の枝しかない>または<長めの枝(べき乗)が
あったとしても5の位置にしか生えない>。そのどちらかに限られる筈だ”という。
実際､nに色んな数を入れると､博士の予言どおりになる。
つまり､あらゆる数もそのべき乗は5の位置にしか現れない。
上記の反証
2^26+3^26
= 2541932937193
= 13^2 x 1093 x 13761229
以上
470:１３２人目の素数さん
22/04/21 19:35:38.99 13PcQLwo.net
>>444
絶対にこいつ低学歴
文章から頭の悪さがにじみ出ている
471:１３２人目の素数さん
22/04/21 19:52:15.68 72/7EJMd.net
>>446
最も有名な国立大学を卒業した博士ですが何か？
472:１３２人目の素数さん
22/04/21 20:00:14.07 13PcQLwo.net
「最も有名な国立大学」って書き方もまた頭が悪すぎるｗ
俺は東大卒の博士だけど、>>444の書き込みといい、
こんな馬鹿は少なくとも東大卒ではないな
どこの国立かな？室蘭工業大学かな？
473:１３２人目の素数さん
22/04/21 20:02:33.00 RGViFncm.net
>>445
番組内でも言ってたけど、ABC予想は正確には
c < K(ε)rad(abc)^
474:{1+ε} だが、これだと複雑なので「思い切って K(ε),^{1+ε}を削って単純化すると」 という話ですから。 そうすると命題としては単純になるが、「大まかに」しか成立せず反例が出てくるのは想定されること。
475:１３２人目の素数さん
22/04/21 20:05:38.91 OijqNbVA.net
Wikipediaには
>2021年11月、「強いABC予想」の証明についても、東京工業大学が発行する数学誌「Kodai Math.J.」が、
>ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らによる宇宙際タイヒミュラー理論の
>追加論文[13]を受理したことが報道[26]された。
って書いてあるけどNスペでは言及されてなかったね
続編くるか
476:１３２人目の素数さん
22/04/21 20:53:41.82 fQpPqE93.net
>>448
横だけど仮に東大博士として、IUTに対しどういう立ち位置なの？あなたは
単なる煽りや反応より何らかの見解があるはずだが
477:１３２人目の素数さん
22/04/21 21:34:34.93 72/7EJMd.net
>>448
室蘭工業大学には理学部はないだろう
もちろん理学部数学科卒の博士（理学）
それ以外は数学板では無意味
478:１３２人目の素数さん
22/04/21 21:37:45.12 72/7EJMd.net
>>450
Cor3.12からABC予想やその強化版が証明できることは誰も疑っていない
肝心なのはCor3.12が定理か否か
残念ながら望月によるCor3.12の証明は認められていない
479:１３２人目の素数さん
22/04/21 21:52:44.21 OijqNbVA.net
>>453
そういや番組ではCor3.12については触れてなかったね
480:１３２人目の素数さん
22/04/21 22:01:54.47 fQpPqE93.net
経歴が華やかなだけに無条件信者が出てきちゃうのが厄介よね
実際東大博士で楕円曲線をやってきた人だってわからないと逃げ出すくらいの問題だから
481:１３２人目の素数さん
22/04/21 22:23:26.22 732X/n07.net
>>453
×認められていない
○認めていない人がいる
でしょ。
認めいる人といない人がいる
でもいいが。
482:１３２人目の素数さん
22/04/21 22:29:32.07 OijqNbVA.net
未だにCor3.12が何なのかすら知らない
誰も教えてはくれんね
483:１３２人目の素数さん
22/04/21 22:37:53.66 732X/n07.net
>>457
論文は公開されてるから、それ読めばいいのだ。
484:１３２人目の素数さん
22/04/22 00:31:24 7mnIUnIC.net
>>444
>信用できる根拠がない、ということに尽きますが何か？
それだと、根拠の客観性に欠けますね
「”望月新一を信用しないほうがいい”と思う」と、同義でしかない
>ショルツ氏は森重文氏に頼まれてコメントしたと聞いてますが何か？
正確には、当時IMUの長だった森重文氏が、ショルツェ氏（＆ Stix氏）に頼んで京都で5日間の討議の機会を作った
ってことです。ドイツから京都への足代と5日間の宿代は、多分RIMSの予算でしょう
森重文氏の意図は、ショルツェ氏がフィールズ賞を受賞することを予測していて、討議してもらった。当然、その狙いは、IUTに対して理解してもらうことだったはず。結果は逆だったが
>逆に望月新一氏本人もしくは弟子といわれる星氏が
>IUTの正当性を示せる本を書けますか？
あなたは、星氏の数学的能力や才能や、彼が将来何ができるかを正確に見通せるだけの力があるの？
そうは思えないし
星氏が一人でやることもない。何人もが協力してなお、不可能という理屈がないと思う
>何ら意味のある解説すらできていません
>今後何年かかってもそのようなものが出るとは
>私には到底思えませんし、期待するだけ空しいでしょう
それって、”あなたが”理解できる解説がないってことですよね
NHKの番組でも、何人かIUTを理解して発言している数学者が登場しています（英フェセンコ先生や米Dupuy先生）
あるいは、玉川先生とか。あなたは、玉川先生より、自分が上だと言いたい？
>あなたがただ日本を自慢したいだけの素人だとしても
>こんな人を自慢するのは自爆行為だからやめたほうがいいですよ
>嘲笑されるだけですから
そもそも、IUTの4編の論文は、RIMSが査読し、すでに公表された
そこに、玉川先生も柏原先生も、望月拓郎先生（3億円受賞の人）も、実名を出して「ちゃんと査読し
485:ました」ってあるよ 玉川先生も柏原先生も、望月拓郎先生（3億円受賞の人）たち、嘲笑されているの？ 世界的に有名な上記の先生たちより、あなたの数学力は上なの？ まさかね ABC]明示公式の5人共著論文が、東京工大で査読完了と発表された 東京工大が嘲笑されている？ あなた個人の妄想じゃないですか？客観性が欠落していると思いますけど
486:１３２人目の素数さん
22/04/22 03:28:51.54 m1TxrX5r.net
悪魔の証明求めてもなぁ。。
取り巻きや信者はこんな詭弁ばっか。
あと、金が絡むと人間変わるよ。
487:１３２人目の素数さん
22/04/22 06:18:35.42 xe4TIdjC.net
なんで律儀に(3億円受賞）って繰り返すの？
権威主義者？
488:１３２人目の素数さん
22/04/22 07:27:32.02 7mnIUnIC.net
>>459 補足
>あなたがただ日本を自慢したいだけの素人だとしても
>こんな人を自慢するのは自爆行為だからやめたほうがいいですよ
>嘲笑されるだけですから
このセリフは、どこかで聞いたと思ったら
例のIDを消していた >>6-7 のサイコパスさんじゃないですかｗ
”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ”と言っていたｗ
なんだ
もしそうなら、>>444の ID:72/7EJMd氏は、とても数学の玄人とは言えない
”数学を主たる職業として、生計が成りったっている”は、せいぜい中学・高校の数学の家庭教師程度でしょうね
実際、>>444にはIUTを否定する数学的陳述は皆無ですしｗ
なので、>>448 ID:13PcQLwo氏に賛成です
東大生は、自身の東大を「最も有名な国立大学」なんて、言わないだろうね、きっとｗ
489:１３２人目の素数さん
22/04/22 07:44:44.65 7mnIUnIC.net
>>461
>なんで律儀に(3億円受賞）って繰り返すの？
単純に”すごい”ってだけですが
おっと、下記で、数学ブレイクスルー賞に”New Horizons in Mathematics Prizeは若手の研究者に授与される賞。賞金総額10万ドル”
があって、初代の”2016年 ペーター・ショルツェ(辞退)”ってある。ポアンカレでフィールズ賞を辞退した人を思い出すな
しかし、ショルツェ氏は、フィールズ賞は辞退しなかったんだ。うーん、なんでかな？ｗ
因みに
拓郎先生は、”including the case of irregular singularities”が評価されたみたいだね
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ブレイクスルー賞は、下記三部門からなる自然科学における国際的な学術賞。
基礎物理学ブレイクスルー賞- 2012年創設
生命科学ブレイクスルー賞- 2013年創設
数学ブレイクスルー賞- 2014年創設
各賞とも総額300万ドル授与される[1]
URLﾘﾝｸ(ja.wikipedia.org)
数学ブレイクスルー賞
ノーベル賞に数学部門がないこともあって、数学界では長らくフィールズ賞が最高権威の賞とされてきたが、これには40歳以下という年齢制限があり、賞金規模もノーベル賞には遠く及ばないものである。しかし近年ではクラフォード賞、ミレニアム賞、アーベル賞そして本賞と、優れた数学研究に高額賞金を与える学術賞が次々と創設されている。
受賞者
2022年 - 望月拓郎[2]
URLﾘﾝｸ(breakthroughprize.org)
Takuro Mochizuki Kyoto University 2022 Breakthrough Prize in Mathematics
For monumental work leading to a breakthrough in our understanding of the theory of bundles with flat connections over algebraic varieties, including the case of irregular singularities.
New Horizons in Mathematics Prize
New Horizons in Mathematics Prizeは若手の研究者に授与される賞。賞金総額10万ドル。
2016年
ペーター・ショルツェ(辞退)
490:１３２人目の素数さん
22/04/22 08:25:4
491:9.04 ID:ezxBLnGj.net
492:１３２人目の素数さん
22/04/22 13:52:50.87 ULiNqU+u.net
モッチー３億円ゲットなんだ。
苦節10年、よく頑張った。
おめでとう。
493:１３２人目の素数さん
22/04/22 14:13:31.88 LedtzuTW.net
こういう誤解あるよな
ほんと皮肉なもんだ
494:１３２人目の素数さん
22/04/22 15:17:42.23 4NEHi4lf.net
紛らわしいよなirregular singularityとかいう表現が
495:１３２人目の素数さん
22/04/22 16:30:18.19 i4ZYhQju.net
エッ
古典解析の常識語だが
496:１３２人目の素数さん
22/04/22 16:38:42.61 cDM6IWTx.net
>>459
>IUTの4編の論文は、RIMSが査読し、すでに公表された
>そこに、玉川先生も柏原先生も、望月拓郎先生も、
>実名を出して「ちゃんと査読しました」ってあるよ
玉川・柏原・望月拓郎の各氏は編集委員会のメンバーというだけ
彼らが査読したわけでもないにさも査読したように思わせる
上記の文章の書きぶりは如何なものでしょうか？
497:１３２人目の素数さん
22/04/22 16:40:14.88 cDM6IWTx.net
>>461 >なんで律儀に(3億円受賞）って繰り返すの？
>>463 >単純に”すごい”ってだけですが
３億円欲しいんじゃない？
でも、それなら数学で稼ぐのは難しいから
他の方法をあたったほうがいいんじゃないかな？
498:１３２人目の素数さん
22/04/22 16:41:30.70 +27JhErP.net
少なくとも柏原先生と拓郎先生は完全にジャンル外の人だな
499:１３２人目の素数さん
22/04/22 16:56:12.62 cDM6IWTx.net
>>471
素人さんは大数学者ならいかなる分野の論文も即座に理解できる筈と
途方もない幻想を抱いてるのかもしれませんね
もちろんそんなことはありません
500:１３２人目の素数さん
22/04/22 18:12:37.21 0AQbOsRq.net
>>470
> ３億円欲しいんじゃない？
欲しいです（貰えるものならばｗ）
誰しもでは？ ３億円辞退は勇気いりますよ
100万ドル（1億円以上）を、断った数学者がいました。フィールズ賞も断ったとかw
URLﾘﾝｸ(ja.wikipedia.org)
グリゴリー・ペレルマン
「自分の証明が正しければ賞は必要ない」として受賞を辞退した。フィールズ賞の辞退は、彼が初めてである。
2010年3月18日に、クレイ数学研究所は、ペレルマンがポアンカレ予想を解決したと認定して、ミレニアム賞（副賞として100万ドル）授賞を発表した。彼は、2010年6月8日の授賞式に姿を見せなかったが、クレイ数学研究所の所長は「選択を尊重する」と声明を発表し、賞金と賞品は保管されるという[4]。同年7月1日にロシアのインテルファクス通信がペレルマンの話として伝えたところによると、受賞を断った理由は複数あるが、ハミルトンのリッチ・フロー発見に対する評価が十分でないことなど、数学界の不公平さに異議があることをその主たるものとして挙げたという[5]。これを受けて、クレイ数学研究所は、同年秋までに賞金の使途を数学界の利益になる形で決定すると述べた。
501:１３２人目の素数さん
22/04/22 18:17:20.66 0AQbOsRq.net
>>469
>玉川・柏原・望月拓郎の各氏は編集委員会のメンバーというだけ
>彼らが査読したわけでもないにさも査読したように思わせる
>上記の文章の書きぶりは如何なものでしょうか？]
社会、特に日本の社会における、責任のあり方が分かってないのでは？
会社の社長が「あれは社員がやったことで、私は無責任です」とかｗ
政治家が「秘書がやったことです。私は無責任です」とかは、政治では”よくある”としてもｗｗ
これだけお騒がせのIUT論文が、「実は大穴、大ギャップありでした」とかなれば
ただでは、済まない
さすがに大人しい日本の数学会も
「編集委員は、全員RIMS辞表ものだ。日本数学会も除名（普通は自主的に脱会する）」でしょう
それだけの覚悟がなくば、名前は出せない（名前を出すことが異例中の異例と思います）
要するに、査読者は匿名さんで名前表には出ないし、誰に査読させてるのかは公表しない。そのかわり、査読の是非判断を、管理監督者として、編集委員会が責任を持つのです
全責任を、編集委員が負うってことです （査読者にだれを選ぶか。何人に査読してもらうべきかから始まってね）
IUT論文で責任者として名前を出した以上、万一の場合の辞表は懐に入れているってことでしょう
502:１３２人目の素数さん
22/04/22 18:26:17.94 0AQbOsRq.net
>>464
>フィールズ賞を辞退しないのとに疑問持つ
いや、>>463 ”賞金総額10万ドル。2016年 ペーター・ショルツェ(辞退)”の方です
まあ、ショルツェ氏は”New Horizons in Mathematics Prizeは若手の研究者に授与される賞”とあるから軽いと思ったか
あるいは新しい賞なので、気乗りしなかったのか？
私なら、貰えるものはもらっておきますけどね
ショルツェ氏は、大物ですね
503:１３２人目の素数さん
22/04/22 18:43:00.23 cDM6IWTx.net
>>473
あなた 年収はいくら？
504:１３２人目の素数さん
22/04/22 18:44:40.89 cDM6IWTx.net
>>474
で、専門外の柏原と望月拓郎が査読してないことは理解した？素人さん
505:１３２人目の素数さん
22/04/22 18:52:37.37 cDM6IWTx.net
>>474
>これだけお騒がせのIUT論文が、
>「実は大穴、大ギャップありでした」
>とかなれば、ただでは、済まない
大穴、大ギャップがあることが問題なのではない
そもそも、誰も理解できない論文が
査読でアクセプトされることが問題
素人さんはやっぱり学界のことが何もわかってませんね
506:１３２人目の素数さん
22/04/22 19:18:07.87 yzYjMOWJ.net
>>478
査読してアクセプトしてるってことは、理解でき、かつ、正しいと認めたってことだよ。
あんたは理解できないのかもしれないが。
507:１３２人目の素数さん
22/04/22 19:23:52.00 yzYjMOWJ.net
>>478
「誰も」「〜ない」っていうのは論文をアセプトした査読者には当てはまらんってことがわからん時点で、
あんた、アセプトの意味わかってないよ。
508:１３２人目の素数さん
22/04/22 21:36:08 4bomcQS8.net
ペレルマンを引き合いに出すまでもなくショルツは天才
ペレルマンはサーストンの研究に依存する割合が大きいのでショルツとは比較にならない
509:１３２人目の素数さん
22/04/22 22:02:42 4NEHi4lf.net
>>481
いくらなんでも的外れすぎる
510:１３２人目の素数さん
22/04/22 22:33:09.60 kveREwaf.net
URLﾘﾝｸ(twitter.com)
>@FumiharuKato
>IUT理論における「宇宙」という用語が指し示すものが
>望月さん独特のものであるのは本当です。その宇宙は
>集合論の宇宙とも、グロンタンディーク宇宙とも
>異なっていますので。
は何でそれに対するRobertsの質問
>@HigherGeometer
>Replying to @FumiharuKato
>Is there a formal definition of what Mochizuki means by the term?
に答えないの？
Collasが頓珍漢な返答してるのに見て見ないふり？
結局、「宇宙」という用語が何を意味しているのかさえ
誰も理解してないんじゃないの？
(deleted an unsolicited ad)
511:１３２人目の素数さん
22/04/23 05:58:59.89 K+cYDQ/q.net
>>482
研究分野が違うからね
とはいえ、ペレルマンの評価に、フィールズ賞やミレニアム賞を辞退したことは入らないよね
512:１３２人目の素数さん
22/04/23 06:54:35.06 XyRMaIoL.net
>>479-480
「査読者」が誰かは知らないが
ショルツに説明できない時点で分かってないと露見
つまり査読自体がウソ
513:１３２人目の素数さん
22/04/23 06:58:12.17 .net
>>483
文元氏は分かってないよ
みんなうすうす気づいてると思うけど
彼、もうだいぶ前から
数学できない頭になってるから
大学やめた理由も実はそれ
514:１３２人目の素数さん
22/04/23 07:37:13.32 ra2AJYhF.net
>>486
>文元氏は分かってないよ
文元氏だけでなく誰も分かってないでしょ。だって
>Is there a formal definition of what
>Mochizuki means by the term?
に対する答えは「
515:ない」なんだから。 「宇宙」がどういう意味で使われているかは論文発表早々から 問われてきたけど、はっきりした答えが返ってきたことはない。 例えば山下氏の『"宇宙際"についてのFAQ』には ああとも取れるし、こうとも取れるみたいに書いてある。 こうした無定義の述語が頻出するのがIUT。 "functorial algorithm"のformal definitionも見たことない。
516:１３２人目の素数さん
22/04/23 08:52:09.16 NcoWVPo0.net
Kaminaka, Tsudoi; Kato, Fumiharu Extremal quasimodular forms of lower depth with integral Fourier coefficients. Kyushu J. Math. 75 (2021), no. 2, 351–364. (Reviewer: Jaban Meher) 11F30
517:１３２人目の素数さん
22/04/23 09:10:33.40 .net
>>487
>"functorial algorithm"のformal definitionも見たことない。
ああ、そりゃ駄目だ
アルゴリズムというからには手続きが
実行可能な形で明確にしめされなくてはならない
何をどうやればいいか全く示されないなら
嘘書いたってこと
518:１３２人目の素数さん
22/04/23 11:41:47.30 MU2asfqc.net
>>428 補足
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
この P3 （q-paramete）
Let N be a fixed natural number > 1. Then the issue of bounding a given nonnegative real number h ∈ R?0 may be understood as the issue of showing that N ・ h is
roughly equal to h, i.e.,
N ・ h “=～” h
[cf. §2.3, §2.4]. When h is the height of an elliptic curve over a number field, this
issue may be understood as the issue of showing that the height of the [in fact, in most
cases, fictional!] “elliptic curve” whose q-parameters are the N-th powers “qN ” of the
q-parameters “q” of the given elliptic curve is roughly equal to the height of the
given elliptic curve, i.e., that, at least from the point of view of [global] heights,
qN “=～” q
[cf. §2.3, §2.4].
In order to verify the approximate relation qN “=～” q, one begins by introducing
two distinct - i.e., two “mutually alien” - copies of the conventional scheme
theory surrounding the given initial Θ-data. Here, the intended sense of the descriptive
“alien” is that of its original Latin root, i.e., a sense of
abstract, tautological “otherness”.
”q-parameter”が分からないので
調べていた。下記でも出てくるね
つづく
519:１３２人目の素数さん
22/04/23 11:42:51.22 MU2asfqc.net
>>490
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
宇宙際タイヒミューラー理論への誘(いざな)い《レクチャーノート版》 望月新一 2015年 02月
P2
以下では、E = 楕円曲線/数体 F, 素数 1>＝5を固定する。
P3
Eを「大域的乗法的部分空間」で 割る ことによって得られる同種写像を E → E* と書くと、各 bad な有限素点においてそれぞれの q-parameter は次のような関係式を満たす:
q^lE＝qE*
URLﾘﾝｸ(webcache.googleusercontent.com)
梅崎直也
Mar 6
来週日曜日は現代数学レクチャーシリーズ第8回宇宙際タイヒミューラー理論の予習回ということで、楕円曲線についての入門的なお話をします。こちらからお申し込みください。
URLﾘﾝｸ(sugakubunka.com)
宇宙際タイヒミューラー理論ではqパラメータというのが重要な役割を果たしている（と思う）のですが、このqというのが楕円曲線の話とどう関わっているのかをお話しできればと思っています。
Mar 8, 2022
梅崎直也氏をヒントに調べると
多分下記のq = exp(2πiz) (Takeshi Saito) （モジュラー形式 ノーム(nome)の平方、q-展開からみ モジュラリティ定理（q=e^2πiτ）
が該当しそう。（梅崎直也先生の講義と答えは、合っているかな？）ちゃんと、文書中に定義を書いてほしいね、望月先生 （この分野の人には常識なのだろうが）
(参考)
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
Takeshi Saito's Home Page
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
Fermat’s Enigma
1 楕円曲線
2 保型形式
H = z ∈ C|Im z > 0 を上半平面という．
保型形式：H 上定義された正則関数 f(z) のうち，特別な性質をみたすもの．
性質１．f(z + 1) = f(z)
q = exp(2πiz) とおくと，f(z) = Σ∞ n=?∞ an・q^n と表わせる．z = x + iy のとき，
q = exp(2πiz) = e?2πy(cos 2πx + isin 2πy)
だから，y > 0 なら |q| < 1. q(z + 1) = q(z).
つづく
(deleted an unsolicited ad)
520:１３２人目の素数さん
22/04/23 11:44:04.80 MU2asfqc.net
>>491
つづき
3 楕円曲線と保型形式の関係
L 関数
いろいろなゼータ関数がある．楕円曲線の L 関数もその一種．
y2 = x3 + ax + b で定義される楕円曲線を E で表わす．各素数 p に対し，整数 ap(E)
を定義し，L 関数を
L(E,s) = Πp 1/(1 ? ap(E)p?s ? p1?2s)
で定義する．
ap(E) の定め方：
保型形式との結びつき：無限積を展開すると L(E,s) = Σ∞ n=1 an/ns と表わせる．
志村・谷山予想：Σ n=1 an/q^n が保型形式である．
（付録）Fermat の最終定理と楕円曲線 関連年表 URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
URLﾘﾝｸ(ja.wikipedia.org)
モジュラー形式
5.3 q-展開
モジュラー形式の q-展開 (q-expansion)[note 2] はカスプにおけるローラン級数、あるいは同じことだが（ノーム(nome)の平方）q = exp(2πiz) のローラン級数として表されるフーリエ級数である。実際、複素函数 "exp" はガウス平面上では消えないので q ≠ 0 だが、実軸の負の部分に沿って w → ?∞ とした極限で exp(w) → 0 なので、2πiz → ?∞ すなわち虚軸の正の部分に沿って z → i?∞ とした極限で q → 0 である。したがって、q-展開はカスプにおけるローラン級数になっている。
「カスプにおいて有理型」というは、負冪の項の係数のうち 0 でないものが有限個しかないという意味であり、したがって q-展開
f(z)=Σ _n=-m^∞ c_n exp(2π inz)=Σ _n=-m^∞ c_n・q^n.
は下に有界かつ q = 0 において有理型である。ここに、係数 cn は f のフーリエ係数であり、整数 m は f の i?∞ における極の位数である。
つづく
521:１３２人目の素数さん
22/04/23 11:45:07.41
522: ID:MU2asfqc.net
523:１３２人目の素数さん
22/04/23 11:45:27.58 MU2asfqc.net
>>493
つづき
URLﾘﾝｸ(ja.wikipedia.org)
谷山?志村予想
谷山・志村予想の内容
谷山・志村予想とは、任意の Q 上の楕円曲線は、ある整数 N に対する古典的モジュラー曲線（英語版）(classical modular curve)
X_0(N)
からの整数係数を持つ有理写像（英語版）(rational map)を通して得ることができる。この曲線には明示的に定義が与えられ、整数係数を持つ。Level N のモジュラのパラメタ表示と呼ばれる。N がそのようなパラメタ表示の中で最小の整数（モジュラリティ定理自体により、導手という数値として知られる）であれば、このパラメタ表示は、Weight 2 とLevel N の特殊なモジュラ形式、すなわち、（必要であれば同種に従い）正規化された 整数のq-展開をもつ新形式（英語版）(newform)の生成する写像として、定義される。
モジュラリティ定理は、次の解析的なステートメントと密接に関連する。Q 上の楕円曲線 E に楕円曲線のL-函数を対応させる。このL-函数は、ディリクレ級数であり、
L(s,E)=Σ _n=1^∞ a_n/n^s
と表すことができる。
従って、係数 a_n の母函数は、
f(q,E)=Σ _n=1^∞ a_n・q^n
である。
q=e^2πiτ
を代入すると、複素変数 τ の函数f(τ ,E) のフーリエ展開の形に書くことができ、従って、q-展開の係数は f のフーリエと考えることができる。この方法で得られた函数は、注目すべきことに、ウェイト 2 でレベル N のカスプ形式であり、（モジュラ形式でもあるので）ヘッケ作用素の固有ベクトルとなっている。これがハッセ・ヴェイユ予想(Hasse?Weil conjecture)であり、モジュラリティ定理より従うこととなる。
逆に、ウェイト 2 のモジュラ形式は、楕円曲線の正則微分（英語版）(holomorphic differential)に対応する。モジュラ曲線のヤコビ多様体は、同種を同一視すると、ウェイト 2 のヘッケ固有形式に対応する既約アーベル多様体の積として書くことができる。1-次元要素は楕円曲線である。（高次元要素も存在し、すべてではないが、ヘッケ固有形式が有理楕円曲線へ対応する。）曲線は、対応するカスプ形式より得られるので、この方法で構成された曲線は、元
524:々の曲線と同種である（一般には同型にはならない）。 (引用終り) 以上
525:１３２人目の素数さん
22/04/23 12:57:17.32 MU2asfqc.net
>>490
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
上記より下記引用
・Gaussian integral ∫ ∞ -∞ e-x2 dx = √π
・[archimedean and nonarchimedean] valuations
・Changes of universe as arithmetic changes of coordinates
関連
P6
§ 1. Review of the computation of the Gaussian integral
§ 1.1. Inter-universal Teichm¨uller theory via the Gaussian integral
The goal of the present paper is to pave the road, for the reader, from a state of
complete ignorance of inter-universal Teichm¨uller theory to a state of general appreciation of the “game plan” of inter-universal Teichm¨uller theory by reconsidering
the well-known computation of the Gaussian integral
∫ ∞ -∞ e-x2 dx = √π
via polar coordinates from the point of view of a hypothetical high-school student who
has studied one-variable calculus and polar coordinates, but has not yet had any exposure to multi-variable calculus.
つづく
526:１３２人目の素数さん
22/04/23 12:57:42.85 MU2asfqc.net
>>495
つづき
P7
§ 1.3. Introduction of identical but mutually alien copies
P12
§ 2. Changes of universe as arithmetic changes of coordinates
§ 2.1. The issue of bounding heights: the ABC and Szpiro Conjectures
In this case, the height of a rational point may
be thought of as a suitable weighted sum of the valuations of the q-parameters of
the elliptic curve determined by the rational point at the nonarchimedean primes of potentially multiplicative reduction [cf. the discussion at the end of [Fsk], §2.2; [GenEll],
Proposition 3.4]. Here, it is also useful to recall [cf. [GenEll], Theorem 2.1] that, in the
situation of the ABC or Szpiro Conjectures, one may assume, without loss of generality,
that, for any given finite set Σ of [archimedean and nonarchimedean] valuations of the
rational number field Q,
In particular, when one computes the height of a rational point of the projective line
minus three points as a suitable weighted sum of the valuations of the q-parameters of
the corresponding elliptic curve, one may ignore, up to bounded discrepancies, contributions to the height that arise, say, from the archimedean valuations or from the
nonarchimedean valuations that lie over some “exceptional” prime number such as 2.
P28
It is precisely this state of affairs that results in
the quite central role played in inter-universal Teichm¨uller theory by results in
[mono-]anabelian geometry, i.e., by results concerned with reconstructing
various scheme-theoretic structures from an abstract topological group that “just
happens” to arise from scheme theory as a Galois group/´etale fundamental
group.
つづく
527:１３２人目の素数さん
22/04/23 12:58:42.09 MU2asfqc.net
>>496
つづき
In this context, we remark that it is also this state of affairs that gave rise to the term
“inter-universal”: That is to say, the notion of a “universe”, as well as the use of
multiple universes within the discussion of a single set-up in arithmetic geometry, already
occurs in the mathematics of the 1960’s, i.e., in the mathematics of Galois categories
and ´etale topoi associated to schemes. On the other hand, in this mathematics of the
Grothendieck school, typically one only considers relationships between universes ? i.e.,
between labelling apparatuses for sets ? that are induced by morphisms of schemes, i.e.,
in essence by ring homomorphisms. The most typical ex
528:ample of this sort of situation is the functor between Galois categories of ´etale coverings induced by a morphism of connected schemes. By contrast, the links that occur in inter-universal Teichm¨uller theory are constructed by partially dismantling the ring structures of the rings in their domains and codomains [cf. the discussion of §2.7, (vii)], hence necessarily result in much more complicated relationships between the universes ? i.e., between the labelling apparatuses for sets ? that are adopted in the Galois categories that occur in the domains and codomains of these links, i.e., relationships that do not respect the various labelling apparatuses for sets that arise from correspondences between the Galois groups that appear and the respective ring/scheme theories that occur in the domains and codomains of the links. つづく
529:１３２人目の素数さん
22/04/23 12:58:59.81 MU2asfqc.net
>>497
つづき
That is to say, it is precisely this sort of situation that is referred to by the term
“inter-universal”. Put another way,
a change of universe may be thought of [cf. the discussion of §2.7, (i)] as
a sort of abstract/combinatorial/arithmetic version of the classical notion
of a “change of coordinates”.
In this context, it is perhaps of interest to observe that, from a purely classical point of
view, the notion of a [physical] “universe” was typically visualized as a copy of Euclidean
three-space. Thus, from this classical point of view,
a “change of universe” literally corresponds to a “classical change of the coordinate system ? i.e., the labelling apparatus ? applied to label points in
Euclidean three-space”!
(引用終り)
530:１３２人目の素数さん
22/04/23 16:00:21.73 .net
まーた、下げマスが「わけもわからずコピペ病」を発症したかｗ
531:１３２人目の素数さん
22/04/23 16:01:29.04 .net
円も分からん馬鹿に楕円曲線がわかるわけないだろ ドアフォ
532:１３２人目の素数さん
22/04/23 16:02:29.63 .net
ということで全部洗い流すｗ
533:１３２人目の素数さん
22/04/23 16:03:24.55 .net
ニホンザルのηはいったい何がしたいんだかｗ
534:１３２人目の素数さん
22/04/23 16:04:22.40 .net
ああ、それから今後ニホンザルの下げマスを”η”の一文字で表す
535:１３２人目の素数さん
22/04/23 16:05:22.68 .net
なんでηかは・・・お察しくださいｗ
URLﾘﾝｸ(ja.wikipedia.org)
536:１３２人目の素数さん
22/04/23 16:11:03.67 .net
ηはこれ読んどけ
URLﾘﾝｸ(toyokeizai.net)
537:１３２人目の素数さん
22/04/23 16:12:24.12 .net
数学好きな大学生や生徒が数学に興味・関心を示すのは、
「なぜそのような性質がいえるのか」というプロセスや、
「そのような応用例もあるとは不思議だ」という楽しい応用話である。
したがって、質問は「どうしてこれが成り立つのですか」という部分に集中する。
538:１３２人目の素数さん
22/04/23 16:14:20.90 .net
＊＊大学の学生は心掛けがすばらしく、授業態度はかなり良い。
その一方で、数学の学び方が小学生の頃から間違っていたと思われる学生が少なくない。
すなわち、なんでも理解せずに暗記に頼る学習である。
539:１３２人目の素数さん
22/04/23 16:15:21.40 .net
多項式の微分と積分の計算はできる学生に、
「AグループまたはBグループに所属する学生の人数は、
『Aの人数＋Bの人数－AかつBの人数』だから……」と話すと、
「それって暗記した記憶はありませんが、暗記するものですか」
と質問する。
540:１３２人目の素数さん
22/04/23 16:16:05.08 .net
等式の右辺にある項を左辺に移す移項に関して、
「両辺に－aを加えるから、右辺にあるaを左辺に移すとマイナスが付く」と説明すると、
「初めて移項の意味がわかりました。そうすればよいと単に暗記していました」と答える。
541:１３２人目の素数さん
22/04/23 16:17:26.57 .net
かけ算の筆算に関して、
「10の位の数をかけるから1つずらして書いて、
100の位の数をかけるから、さらに1つずらして書く。
本当は10の位の数をかけるときは最後の0を省略
542:しないほうがよいかもしれない。 同様に、100の位の数をかけるときは最後の00を省略しないほうがよいかもしれない。 なぜ3桁同士のかけ算の学習が必要かと言えば、 ドミノ倒しやボックスティシュのように、帰納的に次々と続く性質の理解には 『3』が大切なんです」と繰り上がりの仕組みを図に描いて説明すると、 「よくわかりましたけど、こんな説明を聞いたのは人生で初めてです」と答える。
543:１３２人目の素数さん
22/04/23 16:20:09.26 .net
学生からの感想文も以下のように興味深いものが多く寄せられる。
・数学で答えがわからないとき、すぐに答えを見てうつすという行為をしていたが、
そんなことは意味がなく、考えるということの重要性を学んだ。
・授業では、相手を理解させているかどうかがとても重要なのだと感じた。
・考えることの重要さや勉強のやり方など、ずっと頭に入れておきたいことばかりだった。
自分に子どもができたら絶対にこの話をして、考える子どもになってほしいと思った。
・なぜ、このような公式ができるのかなど、根本から学ぶことができた。
あみだくじの仕組み方の内容がすごいと思い、いろんな人に教えたくなった。
・問題に対しては、「公式を覚えて正しく使えるようにならなければ」と急いでいた。
その焦りが余計にわからなくさせていたのかもしれない。
・高校に進学するために塾に通ったとき、なぜこうなるのか?なぜこの解き方をするのか？
について、時間をかけて答えてくれる先生に出会いました｡
教えてもらった範囲は､時間がたっても忘れませんでした｡
苦手な教科が好きな教科にかわる瞬間でした｡
544:１３２人目の素数さん
22/04/23 16:22:07.56 .net
算数・数学の内容を理解することには、個人差がかなり大きい。
ゆっくり理解しても何ら問題はないはずだ。
それにもかかわらず、ゆっくり理解する生徒には、
早々と暗記だけの学びを仕向ける教育が
蔓延していることは残念でならない。
日本の将来を考えて、きめ細かい算数・数学教育ができるように
対策を講じてもらいたい。
545:１３２人目の素数さん
22/04/23 16:51:27.36 WyXtOS+D.net
こんなとこで書くより啓蒙書を書かないと数学者なら
546:１３２人目の素数さん
22/04/23 17:00:42.11 iiOb+SCx.net
素人のための啓蒙書なんぞどうでもいい
数学者は論文書いてりゃそれでいい
547:１３２人目の素数さん
22/04/23 17:42:39.07 MU2asfqc.net
>>513-514
ゴルフとかテニスとか
どこの世界でも
トーナメントプロ（数学なら先端研究系）とレッスンプロ（大学生教育系）がいるもの
（スポーツでは、プロにコーチするプロもいるけどね。大坂 なおみのコーチとか）
少なくとも
何かできないとね
あと、いろんな研究所とかでは、他の人たちとグループで貢献できるかどうかでは？
AIとかビッグデータとか、あるいは物理系（Kavli IPMUなど）に対して数学的な貢献ができるとか（山下剛先生は、トヨタの研究所だった）
548:１３２人目の素数さん
22/04/23 17:42:55.62 gsIMRKOc.net
RCS-IUT is indeed a meaningless and absurd theory that leads immediately
to a contradiction.
R(冗長)C(コピー)S(セタ) is indeed a meaningless and absurd ...
549:１３２人目の素数さん
22/04/23 17:54:10.99 lgv7EtHh.net
>>485
書いた望月が説明してんのに、査読者がしゃしゃりでるわけねえだろうが。バカなのか。
550:１３２人目の素数さん
22/04/23 17:56:29.59 KknOOQbN.net
>>485
551:論文の査読者というのは、読んで論理的に正しいと判断して通すのよ。 出てこようとこないと、わかってると自己認識してんの。できなきゃ通さない。
552:１３２人目の素数さん
22/04/23 18:48:02.26 /yT+od0X.net
ショルツやファルティングスさえ理解できない証明を
RIMSの査読者は理解しているというのは不自然。
553:１３２人目の素数さん
22/04/23 19:00:06.74 ipxut/a4.net
秀才的業績はその人の存命中に高い評価を得てその時代に歓迎される。
天才的業績はその人の存命中には陽の目を見ない。時代を先取りしすぎている。
秀才は時代の落とし子だが、天才は時代を超越した神の才能。
554:１３２人目の素数さん
22/04/23 19:02:38.34 ipxut/a4.net
虚数も長い間その時代の著名な数学者から否定的裁定を下された
虐げられた歴史を過去に持つんじゃなかったか。
555:１３２人目の素数さん
22/04/23 19:06:26.14 WyXtOS+D.net
>>521
近代数学の黎明期と比較しちゃ駄目
556:１３２人目の素数さん
22/04/23 19:07:31.61 rBQVUUly.net
>>515
なんで他の数学者がrimsのためにひと肌ぬぐ必要がある？
そんな必要全くないわ
アホか
557:１３２人目の素数さん
22/04/23 19:16:57.76 xagoP+7z.net
地動説なんて2000年も虐げられてたのに、
モッチーはたったの10年
558:sage
22/04/23 19:45:04 ZEV+akYc.net
>>521
＞虚数も長い間その時代の著名な数学者から否定的裁定を下された
Ｘ^2＝－１の逆関数だよね。
充満多重同型が否定的裁定を下されたのだよね。
IUT原論文の定義「ある(通常空でない)集合」⇒RCSは空
復元と逆関数は共に「逆だから」揉めるってか。
559:１３２人目の素数さん
22/04/23 19:54:48.34 WyXtOS+D.net
ORではなくANDである、つまり微妙な関係で宇宙や乗法ー加法は繋がっていると
あくまで主張であるが
560:１３２人目の素数さん
22/04/23 20:45:29.83 MU2asfqc.net
>>495 追加
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＜”宇宙”について＞
これ、望月氏の 宇宙 ”relationships between universes”の説明が、下記にあるけど
結構独特で、世間的には、ちょっとズレている気がする。「複数の宇宙の使用は、1960年代の数学」（下記）とかね
一方、（後述の）ちょうど1960年代に、数学基礎論で強制法が考えられて、「強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大する」（下記）みたいな話がある
だから、数学基礎論の強制法を知っている人（あるいは、いまどき ”universe”の数学的意味を検索した人）は、IUTの”Inter-universal”という語法に違和感を感じる気がする
代数系なり代数幾何にしろ、集合論や圏論としても、せいぜい集合と類までで収まるはず。（圏論でも、”局所的に小さい (locally small) ”で収まるはず）”宇宙”は、普通は出てこない
つづく
561:１３２人目の素数さん
22/04/23 20:46:07.04 MU2asfqc.net
>>527
つづき
＜下記に対訳を作ってみた＞
＜原文＞
P27
§ 2.10. Inter-universality: changes of universe as changes of coordinates
One fundamental aspect of the links [cf. the discussion of §2.7, (i)] ? namely, the Θ-link and log-link ? that occur in inter-universal Teichm¨uller theory is their incompatibility with the ring structures of the rings and schemes that appear in their domains and codomains.
In particular, when one considers the result of transporting an ´etale-like structure such as a Galois group [or ´etale fundamental group] across such a link [cf. the discussion of §2.7, (iii)], one must abandon the interpretation of such a Galois group as a group of automorphisms of some ring [or field] structure [cf. [AbsTopIII], Remark 3.7.7, (i); [IUTchIV], Remarks 3.6.2, 3.6.3], i.e., one must regard such a Galois group as an abstract topological group that is not equipped with any of the “labelling structures” that arise from the relationship between the Galois group and various scheme-theoretic objects.
It is precisely this state of affairs that results in the quite central role played in inter-universal Teichm¨uller theory by results in [mono-]anabelian geometry, i.e., by results concerned with reconstructing various scheme-theoretic structures from an abstract topological group that “just happens” to arise from scheme theory as a Galois group/´etale fundamental group.
つづく
562:１３２人目の素数さん
22/04/23 20:46:24.38 MU2asfqc.net
>>528
つづき
＜google訳＞
P27
§2.10。 宇宙際：座標の変化としての宇宙の変化
リンクの1つの基本的な側面[cf. §2.7、（i）]の議論、つまり、宇宙際タイヒミュラー理論で発生するΘリンクとログリンクは、それらのdomains and codomainsとに現れるリングとスキームのリング構造との非互換性です。
特に、ガロア群[またはエタール基本群]のような「エタールのような構造」をそのようなリンクを介して輸送した結果を考えると[cf. §2.7、（iii）]の議論では、あるリング[または体]構造の自己同形群としてのそのようなガロア群の解釈を放棄しなければなりません[cf. [AbsTopIII]、備考3.7.7、（i）; [IUTchIV]、備考3.6.2、3.6.3]、つまり、そのようなガロア群は、ガロア群との関係から生じる「ラベリング構造」を備えていない抽象的な位相群と見なす必要があります。
さまざまなスキーム理論オブジェクト。
宇宙際タイヒミュラー理論で[モノ]遠アーベル幾何学の結果、つまり抽象的な位相群からのさまざまな概型理論構造の再構築に関係する結果によって、非常に中心的な役割を果たしているのはまさにこの状況です。
それは、ガロア群/エタール基本群としての概型理論から生じる「たまたま」です。
つづく
563:１３２人目の素数さん
22/04/23 20:47:06.27 MU2asfqc.net
>>529
つづき
＜原文＞
In this context, we remark that it is also this state of affairs that gave rise to the term “inter-universal”:
That is to say, the notion of a “universe”, as well as the use of multiple universes within the discussion of a single set-up in arithmetic geometry, already occurs in the mathematics of the 1960’s, i.e., in the mathematics of Galois categories and ´etale topoi associated to schemes.
On the other hand, in this mathematics of the Grothendieck school, typically one only considers relationships between universes
- i.e., between labelling apparatuses for sets - that are induced by morphisms of schemes,
i.e., in essence by ring homomorphisms.
The most typical example of this sort of situation is the functor between Galois categories of ´etale coverings induced by a morphism of connected schemes.
By contrast, the links that occur in inter-universal Teichm¨uller theory are constructed by partially dismantling the ring structures of the rings in their domains and codomains [cf. the discussion of §2.7, (vii)], hence necessarily result in
much more complicated relationships between the universes -
i.e., between the labelling apparatuses for sets - that are adopted in the Galois categories that occur in the domains and codomains of these links,
i.e., relationships that do not respect the various labelling apparatuses for sets that arise from correspondences between the Galois groups that appear and the respective ring/scheme theories that occur in the domains and codomains of the links.
つづく
564:１３２人目の素数さん
22/04/23 20:47:34.90 MU2asfqc.net
>>530
つづき
＜google訳＞
これに関連して、「宇宙際」という用語を生み出したのもこの状況であることに注意してください:
つまり、「宇宙」の概念、および数論幾何学の単一のセットアップの議論内での複数の宇宙の使用は、1960年代の数学、つまりガロアの数学ですでに発生しています。スキームに関連付けられたカテゴリと「古いトポス」。
一方、グロタンディーク派のこの数学では、通常、宇宙間の関係のみを考慮します。
-つまり、スキームの射によって誘発されるセットのラベリング装置間-
つまり、本質的に環準同型によるものです。
この種の状況の最も典型的な例は、接続されたスキームの射によって誘発された「エタール射」のガロアカテゴリー間の関手です。
対照的に、宇宙際タイヒミュラー理論で発生するリンクは、ドメインと終域のリングのリング構造を部分的に解体することによって構築されます[cf. §2.7、（vii）]の議論、したがって必然的に結果として
宇宙間のはるかに複雑な関係-
つまり、これらのリンクの終域と終域で発生するガロアのカテゴリで採用されているセットのラベリング装置の間で、
つまり、出現するガロア群と、リンクの終域および終域で発生するそれぞれのリング/スキーム理論との間の対応から生じるセットのさまざまなラベリング装置を尊重しない関係。
つづく
565:１３２人目の素数さん
22/04/23 20:48:50.87 MU2asfqc.net
>>531
つづき
＜原文＞
That is to say, it is precisely this sort of situation that is referred to by the term “inter-universal”.
Put another way, a change of universe may be thought of [cf. the discussion of §2.7, (i)] as a sort of abstract/combinatorial/arithmetic version of the classical notion of a “change of coordinates”.
In this context, it is perhaps of interest to observe that, from a purely classical point of view, the notion of a [physical] “universe” was typically visualized as a copy of Euclidean three-space.
Thus, from this classical point of view, a “change of universe” literally corresponds to a “classical change of the coordinate system - i.e., the labelling apparatus - applied to label points in Euclidean three-space”!
＜google訳＞
つまり、まさにこの種の状況が「宇宙際」という言葉で呼ばれているのです。
言い換えれば、宇宙の変化は考えられるかもしれません[cf. §2.7の議論、（i）]「座標の変化」の古典的な概念の一種の抽象/組み合わせ/算術バージョンとして。
この文脈では、純粋に古典的な観点から、[物理的]「宇宙」の概念が通常ユークリッド3空間のコピーとして視覚化されたことを観察することはおそらく興味深いことです。
したがって、この古典的な観点から、「宇宙の変化」は文字通り「ユークリッド3空間のラベルポイントに適用される座標系の古典的な変化-つまり、ラベル付け装置-」に対応します。
つづく
566:１３２人目の素数さん
22/04/23 20:49:47.73 MU2asfqc.net
>>532
つづき
＜原文＞
Indeed, from an even more elementary point of view, perhaps the simplest example of the essential phenomenon under consideration here is the following purely combinatorial phenomenon: Consider the string of symbols
010
? i.e., where “0” and “1” are to be understood as formal symbols.
Then, from the point of view of the length two substring 01 on the left, the digit “1” of this substring may be specified by means of its “coordinate relative to this substring”, namely, as the symbol to the far right of the substring 01. In a similar vein, from the point of view of the length two substring 10 on the right, the digit “1” of this substring may be specified by means of its “coordinate relative to this substring”, namely, as the symbol to the far left of the substring 10.
On the other hand, neither of these specifications via “substring-based coordinate systems”is meaningful to the opposite length two substring; that is to say, only the solitary abstract symbol “1” is simultaneously meaningful, as a device for specifying the digit of interest, relative to both of the “substring-based coordinate systems”.
つづく
567:１３２人目の素数さん
22/04/23 20:50:05.04 MU2asfqc.net
>>533
つづき
＜google訳＞
確かに、さらに基本的な観点から、ここで検討されている本質的な現象のおそらく最も単純な例は、次の純粋な組み合わせ現象です。記号の文字列を検討してください。
010
?つまり、「0」と「1」は正式な記号として理解されます。
次に、左側の長さ2の部分文字列01の観点から、この部分文字列の数字「1」は、その「この部分文字列に対する座標」によって、つまり、の右端の記号として指定できます。部分文字列01。同様に、右側の長さ2の部分文字列10の観点から、この部分文字列の数字「1」は、その「この部分文字列に対する座標」、つまり次のように指定できます。サブストリング10の左端にある記号。
一方、「サブストリングベースの座標系」によるこれらの仕様はどちらも、反対の長さの2つのサブストリングには意味がありません。つまり、両方の「部分文字列ベースの座標系」に対して、対象の数字を指定するためのデバイスとして、単独の抽象記号「1」のみが同時に意味を持ちます。
つづく
568:１３２人目の素数さん
22/04/23 20:51:35.39 MU2asfqc.net
>>534
つづき
URLﾘﾝｸ(ja.wikipedia.org)
強制法
強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。
直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。
URLﾘﾝｸ(ja.wikipedia.org)(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツェルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。
（どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。
集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた。この意味でのクラスは「級」という訳語を当てることがある（たとえば滑らかさのクラスの C1-級など）。
つづく
569:１３２人目の素数さん
22/04/23 20:51:53.69 MU2asfqc.net
>>535
つづき
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
圏 (数学)
圏の大きさ
圏 C が小さい (small) とは、対象の類 ob(C) および射の類 hom(C) がともに集合となる（つまり真の類でない）ときに言い、さもなくば大きい (large) と言う。射の類が集合とならずとも、任意の二対象 a, b ∈ ob(C) をとるごとに、射の類 hom(a, b) が集合となるならば（hom(a, b) を射集合、ホム集合などと呼び）、その圏は局所的に小さい (locally small) と言う[3]。集合の圏など数学における重要な圏の多くは、小さくないとしても、少なくとも局所的に小さい。
文献によっては、局所的に小さい圏のみを扱い、それを単に圏と呼ぶ場合もある[4][5]。
(引用終り)
以上
570:１３２人目の素数さん
22/04/23 20:56:37 Ps5+A8/C.net
こんなコピペ地獄はうんざりという方は通常スレにてお願いします
571:１３２人目の素数さん
22/04/23 20:59:32.92 MU2asfqc.net
>>527 補足
いまどきの普通の圏論の教科書を読んだ人が
”宇宙”とか言われると
違和感あると思うな
まあ”16歳でプリンストン大学へ進学、19歳で学士課程を卒業（次席）[7]。23歳で博士課程を修了しPh.D.を取得[2]。
日本へ帰国後は京都大学に採用され、助手（23歳）、同助教授（27歳）を経て、同教授（32歳）に昇任[2]。” URLﾘﾝｸ(ja.wikipedia.org)
だと、凡人とは勉強の仕方が違う気がする
もっとも、”宇宙”は個人趣味として読めば
こんな用語の問題は
IUTの数学的本質には、影響なしでしょう
572:１３２人目の素数さん
22/04/23 21:00:16.15 MU2asfqc.net
>>537
おまえも、あっちへ池ｗ
573:１３２人目の素数さん
22/04/23 21:11:31.19 MU2asfqc.net
5ｃｈで、ウンザリするのは
ちょっと長いと、長文だとがうるさいやつがいる
”コピペ地獄”だぁ？
（>>527）
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
このPDFは、A4 で全部で170ページあって
関連のwikipediaも、コピーしたのはほんの1/10程度
コピー見るのがいやなら、原文で10倍の文読めば良いんだよ
でも、URLだけで放り出せば、10倍の文中のどこを強調したいのか分からないよね
あとは、コピー貼り付けしていると、後で検索するのに便利だという理由もあるんだ
そもそも、IUTなんて、4本の論文で700ページ
準備論文を入れると、数千ページ（しかも、数学だから極度に圧縮されていて、普通の散文の比
574:じゃない） この程度で、ぐだぐだいうやつは 来なくて言いぞ
575:１３２人目の素数さん
22/04/23 21:14:07.40 shYw/6kL.net
>>519
んなのいっぱいあるじゃん。量子力学なんてアインシュタインは死ぬまで受け入れなかったし。
576:sage
22/04/23 21:16:47.02 QsI5QJEc.net
>>525
＞復元と逆関数は共に「逆だから」揉めるってか。
「逆」だからで揉めるのでななく、ー１とか逆関数にすると論議が百出する
ー１のような【扱ってはいけない対象」だから。これを逆にしたから、「充満多重同型」の定義で否定された？
577:１３２人目の素数さん
22/04/23 22:02:56.31 MU2asfqc.net
＜そもそも>>5より再録＞
スレ46 ｽﾚﾘﾝｸ(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
スレ46 ｽﾚﾘﾝｸ(math板:883番)
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ
(引用終り)
よろしく