Inter-universal geometry と ABC予想 39at MATH
Inter-universal geometry と ABC予想 39 - 暇つぶし2ch564:132人目の素数さん
19/06/17 23:19:59.34 vtPcMxjY.net
できればですが、私とよく長文のレス交換をされている方は、しばらく上記の論文についてコメントを避けてほしいです
読めばすぐに分かると思うし、IUT側からどういう弁解・擁護ができるかはすぐ分かるはずですから
jin-pilot objectたちがどの程度IUTを知っているのか判断したいのです

565:132人目の素数さん
19/06/17 23:48:56.13 NP+mZt+M.net
>>530
承知しました
にしても一般に、数学とか数学者っていうのをやたら大きく見せようとか見ようとする連中は基本的には
色々な意味で信用できないな、とは思う。もちろん誰もがプロになれるわけではないが、単純な抽象関係の
積み重ねから形式的真理を見いだすのが数学なので、いくらでも素人が考えてみる余地もあるのにな

566:132人目の素数さん
19/06/17 23:51:06.28 yU3NMpay.net
レミファンドッベンドゥブリュイン、って読むのかな?

567:132人目の素数さん
19/06/18 03:32:35.52 61QXuQO7.net
宇宙際幾何学
京都際幾何学
左京区際幾何学
百万遍際幾何学

568:132人目の素数さん
19/06/18 06:29:48.31 C51rVDME.net
>>531
> 単純な抽象関係の
> 積み重ねから形式的真理を見いだすのが数学なので、
いい加減な把握

569:132人目の素数さん
19/06/18 06:48:41.99 TGYt81xh.net
後追いのフェーズについては正しいだろ
つまりは「査読」

570:132人目の素数さん
19/06/18 07:16:58.68 khkN9IwA.net
>>534
全然いい加減じゃないでしょ
なら自分でもっと良い言い方してみなよ。できないのはわかってるけど

571:132人目の素数さん
19/06/18 07:24:54.13 khkN9IwA.net
>>535
というか、「書かれた数学」ね。グロタンディークも実は全然ブルバキタイプではなかったと
言われているし。形式主義と直観主義や帰納の関係とか言い出したらキリがないし、


572: 辞書にあるような数や空間の学問である、というより構造主義的に抽象関係と言ってしまったほうがいい



573:132人目の素数さん
19/06/18 11:34:29.49 C51rVDME.net
>>536
低次元トポロジーとかそんな風に概括したら間違いだろ?
上っ面だけ見ても駄目

574:132人目の素数さん
19/06/18 12:44:47.51 yMXzlVht.net
>>525
その本は本物だな、英知に満ち満ちてる。
IUTは、アンチがしょぼいから、社会的に取り上げても
それ何?状態で、守護霊本は出ないだろ

575:132人目の素数さん
19/06/18 12:48:37.90 TGYt81xh.net
マジな話、隆法さんクラスだと同時に二人召喚して脳内討論とかできないものか
M v. SS みたいな感じで
いや、マジじゃないな。ごめん。

576:132人目の素数さん
19/06/18 12:52:02.92 QmGUFnGQ.net
勝った

577:132人目の素数さん
19/06/18 13:01:06.23 yMXzlVht.net
IUTについては、霊言はB本程度でも無理だな。
スピリットは、霊媒の言語空間使うから
霊媒自身が現代数学の概要をざっと知ってないと、
守護霊が言葉を選べずいらついて帰ってしまうw

578:132人目の素数さん
19/06/18 17:07:23.83 P7ovWR5v.net
サポーターもアントニオとか高校の元教師だとか判断能力のい学生連中とか末期症状だな

579:132人目の素数さん
19/06/18 22:42:34.51 l1/JRHli.net
>>538
低次元トポロジーなんてピンポイントで言われてもなあw 具体的に何が言いたいのか
形式主義でひとまず括るのは今は普通だし、細かい物理や他分野のネットワーク的な関係とかそんなもん
全然別の話だろう、百科辞書的な括りとは
マクレーンなんかだったら解析以外はひとまず構造主義で括っちゃうんじゃないかと思うけど

580:132人目の素数さん
19/06/18 22:56:48.31 1yOuTwt6.net
解析系こそ何らかの分野での数理モデルから乖離しちゃったら何の意味もない分野筆頭だと思うんだけどねえ。

581:132人目の素数さん
19/06/18 23:05:06.42 xmD46zPN.net
>>501
URLリンク(arxiv.org)

582:132人目の素数さん
19/06/18 23:28:13.91 C51rVDME.net
>>544
>>531の私が引用した部分が見当外れだと言っている。

583:132人目の素数さん
19/06/19 00:34:05.12 YN0jjtcW.net
今時ブルバキの形式主義の信奉者なんてまともな数学者にはいない
いるとしたら科学哲学とかの落ちこぼれあたり

584:132人目の素数さん
19/06/19 03:30:06.76 jH2bI4VW.net
B本を立ち読みしたけど、オボのあの日みたいな位置付けかと思った。
Bのもっちーとの友達自慢という印象だった。
Bはもっちーとたくさんセミナーをしたから理解者だという印象を与えるが、実際に「理解者」かどうかは明言しないという卑怯っぷり。
もっちーの寄稿は、理解できない数学者たちは天動説の学者のようだと断じる傲慢さ。正直に疑問をぶつける欧米は嫌で、イエスマンの理解者が善みたいだね。
立ち読みして気分が悪くなって、今日は仕事にならなかったよ。

585:132人目の素数さん
19/06/19 07:23:30.42 43xdZCaN.net
>>547
ならば具体例と修正案を挙げないと何の役にも立たない
例えば物理的な発見法を指しているのか、複雑さを持った対象の調べ方(試行錯誤)を指しているのか
単純化やモジュール性は書かれた数学ないしは理論の基本的な特徴だと思うが

586:132人目の素数さん
19/06/19 07:35:31.51 43xdZCaN.net
そもそも本来の論点は基本的な対象やその理論的なモジュール性関係の単純性の話であって
個別の方法論の複雑さではないんだけどな
佐藤テイト予想とかやたら複雑だけど、まず説明するなら非可換類体論や志村多様体から話すしかない
大枠について述べていかないと効率が悪い
IUTの場合も、哲学や技術細部よりもまず遠アーベル幾何、タイヒミュラー理論の持ち上げ、Hodge filtration、
テータ関数の代数幾何学的枠組みから説明したほうが良い
見当外れとか批判はいいから何が547の主旨、主張なのか言わないとさっぱりわからん

587:132人目の素数さん
19/06/19 08:15:08.47 4vEu4hgZ.net
>>550
望月の論文は間違っている、という指摘に対して「じゃあABC予想を証明しろよ」と返すようなもの

588:132人目の素数さん
19/06/19 08:57:33.14 0v6Gh88S.net
>>550
加群やモジュライいいよね・・・。

589:132人目の素数さん
19/06/19 18:21:26.90 43xdZCaN.net
>>552
別に構わないけど、さすがにそれは無理があるなー
ABC予想なんかとは全く違う一般論の話だもん
訂正案もないのなら、ケチつけたいだけって風にしか見えない

590:132人目の素数さん
19/06/19 22:15:52.67 4vEu4hgZ.net
>>554
浅はかな単純化であるという指摘をしたわけで、それに対する答えは「簡単には言えない」としか言いようがない。

591:132人目の素数さん
19/06/19 23:27:54.76 eZBy4LhS.net
浅はかな返答

592:132人目の素数さん
19/06/19 23:37:53.14 WONwwQ3g.net
北白川大辞典  浅はかな指摘 = 反論できませーん


どんだけ手間でもやるよねー

593:132人目の素数さん
19/06/20 02:08:16.18 PizmXzVF.net
Kirti Joshi がなんか書いた、だと。

594:132人目の素数さん
19/06/20 03:53:50.05 X8V/Ik4Y.net
本年度最大の成果だから招聘セミナーやるんだろ藁

595:132人目の素数さん
19/06/20 04:10:42.15 W5GJaY0X.net
浅はかな存在

596:132人目の素数さん
19/06/20 04:34:13.92 1x5q0U7u.net
ゴーがサーベイ書けばもう完璧

597:132人目の素数さん
19/06/20 05:41:09.96 KlzXE5Eq.net
Mochizuki's anabelian variation of ring structures and formal groups
URLリンク(arxiv.org)
これ、2日前にロバーツのツイートにあってすぐ読んだのだけど、IUTを利用したというより、
絶対遠アーベルを形式群に適用したというだけの話なんだよね。それはそれで無価値ではないけど・・・
望月やその圧倒的な影響下にある星がやっているのは数体に関することで、数論的基本群を扱っているのであって、
難易度から言えば比較にならない。はっきり言って、星の劣化版(彼らに教えてもらったのだから無理もないか・・・)
ロバーツが“Fun stuff in Mochizuki-land”(モッチー・ランドの娯楽)と書くのも無理もない(笑)
もうロバーツは完全に望月やIUT、IUTコミュニティを見限った感じだね
ところで、>>528の論文の件はいつまで待とうかな。>>531氏にもコメントを控えてもらっているし・・・
ひょっとしてこのスレのIUT擁護者たちはスキーム、カテゴリー、自己同型という言葉の意味すら分からずIUT礼賛しているのだろうか?

598:132人目の素数さん
19/06/20 05:52:29.01 KlzXE5Eq.net
上の方のレスで、このスレのIUT擁護者たちのことを「サポーターやフーリガン」と書かれてたけど、
サポーターならルール(最低限の数学の知識)や戦略・戦術(IUTの狙い・方法)を知っているはずだし、
各選手の名前や特徴(IUTのジャーゴンや奇妙なテクニック)を知っているはずだよね
そんなことも知らずに擁護したり、セミナーに顔を出したり、批判的な指摘に対して根拠のない罵倒をするのはフーリガンと同じ
>>528の論文を読んでIUT擁護者として異論を述べられないようならフーリガン、つまり数学板では荒らしと同じ

599:132人目の素数さん
19/06/20 05:53:35.18 OAD6Xo4i.net
> このスレのIUT擁護者たち
こんな存在もしない敵を虚構して、それにむかって何かを言う様は、滑稽を通り越して物悲しいものがある

600:132人目の素数さん
19/06/20 06:13:08.34 KlzXE5Eq.net
あれっ?IUT擁護者(擁護派)っていなかったことにしたいんだ?
これまでのクダラナイ擁護の書き込みもなかったことにしたいんだ(爆笑)
そりゃそうだろうなあ、「多輻性がキー・ポイント」ぐらいしか書けなかったし、たんなるパパラッチ、フーリガンしかいなかったしね
ま、もう二度と数学板には顔を出さないことだ
「IUTは超一流の数学者でも理解できない」というマスゴミの誤解を真に受けて、だったら数学と無関係な者でも
何でも言っていいと勘違いして数学板で暴れていただけだからなあ。要するにゴミ、荒らし

601:132人目の素数さん
19/06/20 08:12:22.05 UpNPfIvm.net
>>565
こんこん こんこん 釘を打つ
藁の人形 釘を打つ

602:132人目の素数さん
19/06/20 11:34:11.61 LDW2GQDi.net
17ページと分量的にも良心的で面白そうな話なのに無反応なのかw

603:132人目の素数さん
19/06/20 12:07:45.89 cwVBI5yf.net
ディズニーシーにいかない人は悪人なのか

604:132人目の素数さん
19/06/20 18:39:04.78 IX6k2MjH.net
【実体験】ブログを1,000記事ほど書いたら、月300万くらい稼げた話
URLリンク(www.youtube.com)
【報告】ブログで「月収1,000万」を達成できました【方法を解説する】
URLリンク(www.youtube.com)
5年間ほど努力したら「年収3,000万」になったので、経験談を語る
URLリンク(www.youtube.com)
期間工ブログの収入は1500万円でした。【フリーランスの現実&底辺からの復活編】
URLリンク(www.youtube.com)
年商1300万のプロブロガーの初心者時代から今までの軌跡
URLリンク(www.youtube.com)
【収益報告】実働月10hでも大金稼ぐ方法を解説【年収6,000万】
URLリンク(www.youtube.com)
無料ブログは稼げない。稼ぐならオススメはWordPress一択の理由
URLリンク(www.youtube.com)

605:132人目の素数さん
19/06/20 22:13:51.47 OAD6Xo4i.net
Joshiの新作のイントロ、jinの好きそうなゴシップに溢れててワラ

606:132人目の素数さん
19/06/21 12:42:12.44 l8+m4Qqw.net
>>564
563ではないが、なら何と言えばいいんだ
「物知り顔で他人のレスにケチつける癖に何も内容を発言しない知ったか卑怯者野郎」?

607:132人目の素数さん
19/06/21 12:56:54.64 l8+m4Qqw.net
>>528
What is the generalized counterpart logic of the case of equivalence between mono-anakytic approximated schemes?
これに回答するだけの簡単なお仕事だよ、上から目線の方々は

608:132人目の素数さん
19/06/21 19:08:36.83 FDWo8Z6f.net
>>572 = >>531氏ですよね?
「論文紹介が議論ならjinでもできるんだが」とか「IUT擁護者(擁護派)は存在しない」ということで逃げ恥晒してくれたので、
もう我々でRemy論文とIUTとの関係について書いちゃいましょうか(笑)
実はこれって我々がSSレポート、望月反論レポート公開直後から延々と「ああでもない、こうでもない」と書いていた話なんですよね
要するに、単遠アーベル的復元/再構成や充満多重同型をどうとらえるかという問題です(もう飽きてきましたが orz)
簡単そうに見えて突っ込めばややこしい話にもなるので、分けて考えてみましょう(IUTの


609:主張とRemy論文から読み取れるもの) まず、簡単にIUT側からの異論としては(Remy論文では直接IUTについては書かれていないので)、 Remy論文で書かれているのはGabriel?Rosenbergの復元定理やBondal?Orlovの復元定理など、(準)連接層の圏から スキームを復元する話であり、これは環構造を放棄しない、言わば「普通の」数論幾何の研究です また、ノイキルヒ・内田の定理などは遠アーベルだけども、望月流に言えば双遠アーベル、つまり2つのスキームの比較です IUTでやっているのは単遠アーベル的復元/再構成です。これは2つのスキームを比較して同型を論じる話ではありません つまり、単なる自然同型や、スキームの圏が(自然な)同型になるという話ではありません 忘却関手の強調や体としては非同型など、充満多重同型というのはある意味で情報に欠損があり、 部分的に壊れているスキーム、つまり部分的に壊れた局所環付き空間なのです 要約すると、Remy論文はSSレポートやロバーツのPDFと同じく、絶対遠アーベルを知らない者たちの論文ということになります これがIUT支持者(擁護者、擁護派)からできる異論となります



610:132人目の素数さん
19/06/21 19:14:59.71 FDWo8Z6f.net
長文失礼しました。以後はRemy論文はIUTに言及していないものの、実はSSレポートやロバーツPDFの見解を裏付けるもの
であるという視点で書くことになります。また、絶対遠アーベルとはどういうものか、という視点で書くことになります
まあ、ゆっくり、なるべく短く書くつもりです(笑)

611:132人目の素数さん
19/06/21 19:41:44.28 l8+m4Qqw.net
レスの前に>>572についてつまらない訂正なんだけども、普通はin the case~だがofでも良いだろうと
感覚的に書いたら、of the caseだと事件の話になってしまうw
安易に聞き慣れない言い方をするもんじゃない
あと、equivalence(or distinction) of mono-analytic schemesとしたほうが良い
まあ自分はグダグダとケチ言ってる人は擁護というかただの意地汚いひねくれ者だと思うんだけどもw

612:132人目の素数さん
19/06/21 19:45:46.64 tdghRNHD.net
まあ時折「M周辺の人」がここに書いてるけどね
その人が擁護派かどうか知らないw

613:132人目の素数さん
19/06/21 20:31:23.98 +Y2oWyx/.net
頑張って擁護しても匿名でビビリながら書いてるチキン野郎が妙にワロす        

614:132人目の素数さん
19/06/21 20:38:39.79 x0HehHIS.net
またこういう香ばしいのがいたよ
どこで「証明された」のかはっきり書けよ
URLリンク(twitter.com)
見てて恥ずかしいわ
(deleted an unsolicited ad)

615:132人目の素数さん
19/06/21 20:44:39.36 l8+m4Qqw.net
抽象化と情報の欠損という点については一般論だけども、幾何学ないしは論理学的には
「ストーン双対性」の観点で、抽象化によって具体性が失われるという当然の事実がわかる
しかし他方で、確かに抽象化することである意味では情報量は増える。正確に言えば、ある集合をより
抽象的な設定で考えると、普通は元が増える。これは数学に限定せずとも単純な直感でわかる
つまり、抽象化するということはその上の対象の情報量自体は増えるが、具体的な情報は失われるのを意味する
また、具体性が失われる代わりに記述上の自由度は増えるというトレードオフがある
数学の理論は、とにかく何かを調べる、このスレで挙がった言い方なら一種の「土方作業」に、
それらを抽象化して自由度を得る代わりに、具体性が一旦忘れられるので、
新たに対象を上手く記述する概念や表現を再開発するという過程で発展する傾向にある
少なくとも狙いとしてはIUTも同じ流れにあるというわけだ


616:



617:132人目の素数さん
19/06/21 20:48:19.93 l8+m4Qqw.net
>>574
長さについては自分は前科だらけの極悪犯なので気にはしませんがw
ひとまず「スキーム論を一般化」するという文脈で余計な抽象論かもしれませんが579を書きました

618:132人目の素数さん
19/06/21 20:53:56.24 FDWo8Z6f.net
>>575
えっ?ひょっとして私が書くのを待っているのですか?他の人のレスを待ちながらゆっくり書こうと思っていたのですが(笑)
まあ、言いだしっぺなので私から書かなきゃいけませんね。メンドクサイですが誤解を恐れずできるだけ手短に書いていきます
【絶対遠アーベルについて】
まず分かり易い所で星のレポートから引用します
「絶対Galois群による数体の復元」
URLリンク(www.kurims.kyoto-u.ac.jp)
p.4の脚注3
-----------------
単遠アーベル的復元は、"所望の手続きの存在を証明する"ことが目的なのではなく、"所望の手続きを与える"ことが目的である。
特に、主張の中にその手続きを書くべきとされる。この考えから、ここを"関数体の単遠アーベル的復元"ではなく
"関数体の単遠アーベル的復元可能性"としている。例えば, [8],Corollary 1.10,は,その主張を述べるためにおよそ3ページが費やされ、
しかし、証明がたったの2行で終わってしまうという、従来の数学では比較的珍しい構成になっている。
このような状況が生じる背景には、この"主張の中にその手続きを書くべき"という考えがある。
-----------------
つまり、単遠アーベル的復元は存在定理ですらない、それどころか「手続きを与える」と言っているに過ぎません
エイリアン論文で書いているような唯一無二でも不可避な方法でもありません。その手に乗る必要はないのです
ここでSSレポート脚注8になるのですが、IUTで扱っている曲線は全て同型として扱える。したがって、単遠アーベルは必要なく、
充満多重同型も必要ない、当然ラベルも無意味ということになります

619:132人目の素数さん
19/06/21 21:08:02.17 tdghRNHD.net
>>578
ニュートン編集部だもの 質が悪いに決まってるさw

620:132人目の素数さん
19/06/21 21:08:54.99 FDWo8Z6f.net
あ、エイリアン論文ではありませんでしたね。>>440で書いたように、そのまんま第4論文(p.62~63)に書かれています(笑)

621:132人目の素数さん
19/06/21 21:11:55.51 l8+m4Qqw.net
>>581
いえ、行き違いですがさじ加減は勿論お任せしますよw 強いるつもりも裁量もありません
ただこれまでのデータからすると、上から目線の人(達)がある程度突っ込んだ話をする確率は0に近いとは
思いますがね。凄いレスが来たら確かに怖さを感じるでしょうが、今のところ無いですからね
大分前に有理ホッジ構造とかブローアップの話をしてきた人がいたが、あれは何の関係もないですからね
ブローアップなどは基本的に線形理論であり、望月さんの理論とは直接関係ないがディオファントス幾何学
には一つのアプローチに使われていますけどね

622:132人目の素数さん
19/06/21 21:23:26.71 iJOD4sC9.net
>>579
SSレポとRemy論文は普通の同型 圏 スキーム
からの結論ですね。
双対も 極限 余極限、接空間余接空間、
普通の数理構造です。
IUTは 普通の 局所環付き空間のスキーム論
や圏論の議論から逃れるため環構造を
部分的に解体した。
で 舞台を別々に置いたり


623:遠アーベル幾何を 用いている。 たしかに spiro予想に向けた「壮大な」 試論の計算でしょうが、仮説に仮説を 加えた計算に思います。 (「位相的場の理論」のAモデルとBモデル の双対性も 数学では 構造を抜き出して 圏同値となりますね。 IUTは「no go theorem」から逃れるに してもSUSYのような アイデア スマート さがないからガッカリしました)



624:132人目の素数さん
19/06/21 21:28:22.38 J8nOSyIs.net
>>585
落書き帳はこっち
URLリンク(itest.5ch.net)

625:132人目の素数さん
19/06/21 21:48:11.04 iJOD4sC9.net
>>586
>>528さんの問いに貴方の解答をどうぞよろしくお願いします

626:132人目の素数さん
19/06/21 21:53:03.86 l8+m4Qqw.net
ちょっと記憶が曖昧なんだけど、有理ホッジ構造じゃなくて混合ホッジ構造の方だった気もしてきたな
有理じゃなくて有理多様体か。どのみち大した話ではないけど

627:132人目の素数さん
19/06/21 22:02:51.15 eaMqVao1.net
擁護派革命防衛太鼓持ちにも一厘の理あり

628:132人目の素数さん
19/06/21 22:11:08.41 t52QXPsp.net
勿論カス金魚のフンのマッドサイエンティストは正式文書でショルツらに撤回と謝罪を要求するよな

629:132人目の素数さん
19/06/21 22:15:49.00 iJOD4sC9.net
>>582
>>11を見てください
既にRIMSがIUTの構築よりabc予想が解決
と公式にのべています。

630:132人目の素数さん
19/06/21 22:20:49.57 bfmdAqnT.net
アクセプトも掲載もされてないのに解決したっていうのはどんな解釈なの

631:132人目の素数さん
19/06/21 22:30:08.68 +515gfeg.net
>>591
公的な予算申請とか報告書の類だからむやみに撤回できないんだろうね
誤りであった場合にはだれかが告発すれば有印公文書偽造になるんだろうか

632:132人目の素数さん
19/06/21 22:52:51.33 +QtSrAAK.net
えっ犯罪者がいるの?

633:132人目の素数さん
19/06/21 23:12:41.52 MLEfliUb.net
>>593
駄目だったらそんなことだけでは済まないだろうが関係責任者は論旨免職とか退官はあるかもね
国際的な紛糾問題とかになると看過されないだろうから気をつけたほうがいいね
税金の無駄遣いを追及する市民団体「全国市民オンブズマン連絡会議」
URLリンク(www.ombudsman.jp)

634:132人目の素数さん
19/06/21 23:21:52.72 GvBuMQgU.net
数学をやる上で必要なのは、ID:l8+m4Qqwのような人間から「この質問に答えろ」と言われても逆らうこと。

635:132人目の素数さん
19/06/21 23:25:47.32 GvBuMQgU.net
>>579
抽象化と情報の欠損ってまだそんな阿呆なことを言っているのか。
何が「「ストーン双対性」の観点で、抽象化によって具体性が失われるという当然の事実がわかる 」だ
具体的な説明など出来やしないだろう。

636:132人目の素数さん
19/06/21 23:39:46.61 FDWo8Z6f.net
さて、Remy論文をダシにしてIUT側からどんな異論が出せるのか、絶対遠アーベルとは何なのかと述べてきましたが、
最後にRemy論文が暗に言わんとしているところを述べてみたいと思います(また長文になると思いますが)
Remy論文は一見、スキームの同型に関する解説書のようにしか見えませんが、実はロバーツのPDFを補強し
(ロバーツの充満多重同型に対する戸惑いを断ち切り)、SSレポートを支持する論文のように個人的には思えます
Remy論文 p.1より
------------------
A similar result for the category of locally Noetherian schemes with finite type morphisms was proven by Mochizuki [Moc04, Thm. 1.7].
Our result completely eliminates all Noetherian and finite type hypotheses.
Because


637: we do not have access to the same finite type techniques, the proof is almost entirely independent from Mochizuki’s. ------------------ 一見、望月の過去の論文による証明とは無関係だと謙虚なフリをしていますが、問題なのは、 “Our result completely eliminates all Noetherian and finite type hypotheses.”という文と、 “we do not have access to the same finite type techniques”という文です つまり、一般化してスキームの同型を論じることができるということと、望月の使った(後に絶対遠アーベルでも使った)テクニックは 必要ないし、そのようなもので一般的に同型を論じることはできない。また、充満多重同型というものは成立しないし、 それは単なる(自然)同型にしかならないということです 以上はRemy論文をダシにした私の個人的見解なので異論・反論はご自由にお願いします(めんどくさければスルーしますが) IUTスレなので、大雑把でもIUTの数学的内容に即した活発な議論を期待しています(私もかなり大雑把に書いていますw)



638:132人目の素数さん
19/06/21 23:51:41.38 FDWo8Z6f.net
IUTに関して言えば、実は私も抽象化による情報の欠損とは思えないんですよね
正確に言えば、forgetting“histories of operations”をしたいがために、
ゴリ押しで忘却関手による情報の欠損を強調しているだけのように見えます
だから、自己同型や充満、極限、余極限のIUTでの扱いが問題視されているわけで、
望月は圏論に詳しくない、或いは恣意的に使っているだけだと思われているわけです
IUTコミュニティからすれば、「新しい圏の幾何学」を創造したということになっているのでしょうけど・・・

639:132人目の素数さん
19/06/22 10:10:36.13 ZTY1E/5h.net
>>597
あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
レスの全体で話をしてるのに一部だけ抜き出して、しかも全体を全く理解していないよな
情報量は増えもするし具体性も無くなる、という意味が理解できないわけでしょ
具体例?自分がわからないだけだろ。代数幾何にすら典型例があるのに思いつけないからイライラとはw
とにかく馬鹿なのはわかったから話しかけないでくれ

640:132人目の素数さん
19/06/22 10:13:54.96 ZTY1E/5h.net
抽象化とは何かじゃあ説明してみろ、と言ったら>>596みたいな予防線張って逃げるしねw
粘着しないかちゃんと反論するかどっちかにしろよ

641:132人目の素数さん
19/06/22 10:22:39.08 gp4l6jKK.net
>あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
そんなの当たり前じゃん何を今更

642:132人目の素数さん
19/06/22 10:26:11.09 pfGjiMe9.net
>>601
だから数学は論争には向いてない。
他人の出した問題を解くな、が正しい姿勢なのだから。

643:132人目の素数さん
19/06/22 10:37:02.01 tEi3uyRE.net
数学そのものの議論でも「分かりやすさのために厳密さは捨てました」「世間は知りませんが私はこう定義します」で大体回避できるからな

644:132人目の素数さん
19/06/22 10:54:49.08 oupCEudc.net
ストーン双対性は一般的な話だが、ある種の抽象と具象のトレードオフ関係は
幾何学のみならず論理学や他にも当然見いだせるよ
比較的新しい理論でも、対象の抽象化によってある構造や性質が消える、という典型例が複数ある
勿論だからといって適切な抽象化の価値が減じるという意味ではない
情報の欠損というのは「相対的」な話だと何度も言っている。同時に抽象化の効果も「相対化」にある
主題はある特殊な情報が一旦消え、再構成される、IUTはどうかという話なんだが全くわかってないねw 全くね

645:132人目の素数さん
19/06/22 11:02:49.24 pfGjiMe9.net
わかった。抽象で情報が失われると言ってるのは、抽象というより捨象の話をしているんだな。
そりゃ捨てれば失われるわ。

646:132人目の素数さん
19/06/22 11:51:01.60 tbBksjLk.net
> 対象の抽象化によってある構造や性質が消える、という典型例が複数ある
> ある特殊な情報が一旦消え、再構成される
良い質問になってるかどうか不安なのだが、後者にもアナロジーとして
使えそうな典型例はあるの?

647:132人目の素数さん
19/06/22 11:58:50.93 oupCEudc.net
>>606
そうだね。抽象化には捨象が伴うが、適切な抽象化は結果的に相対化して情報量は増える
だけど、そういう時には大体理論を作り直さなきゃならないんだよ
スキーム論もホモトピー代数幾何もそういう流れになってる
アブストラクトナンセンスっていう言葉はそういうトレードオフの緊張関係、バランスに関わってる

648:132人目の素数さん
19/06/22 12:25:05.17 pfGjiMe9.net
>>608
いや、「アブストラクトナンセンス」は具体例や歴史を踏まえた上で、具体例と切り離して書いてるからそう見えるだけ。

649:132人目の素数さん
19/06/22 12:49:39.79 oupCEudc.net
>>607
日常的なレベルで言ったらコンビニもアマゾンも脳も全て、具体的な機能を捨ててから
一般化して最適化する仕組みだよ、納得してくれるかわからないが
具体的な自然言語を忘れてユークリッド幾何を考えるのもそうだし、
位相空間や線形性によって個別のユークリッド空間を忘れて再編成するのもそうだし、
非可換幾何学で具体的な位相空間を一旦忘れてから特殊な極限として古典空間を考えるのもそうだし、
ある対象より広い抽象化を考えてコンパクト化して埋め込んで調べやすくするのもそうだし、
ザリスキ位相を一旦相対化して、より良い条件で、つまり豊富な開集合を構成するために
グロタンディーク位相を考えるのもそれにあたるし、スキームに対するスタックも似たような理由で生じた
プログラミングでも、具体的な言語で書かれたプログラムをまとめあげるために、より抽象化された言語で
再定位するという理論が最先端の研究で進んでいる
但し、使えるアナロジー云々というより、数学では何らかの必要に迫られて馴染みある構造を捨ててから
改めて対象を考え直す傾向にあるね

650:132人目の素数さん
19/06/22 13:08:21.62 pfGjiMe9.net
白馬非馬論でしかないように思える。

651:132人目の素数さん
19/06/22 15:32:55.33 lGw7BBQy.net
>>605
なにを表現対象とするか、じゃない?
要するに具象とは色んなものの表現になっているからごっちゃというか雑然としている
抽象と具象をわけるものというのは雑然さに求めるべきだと思う。
あるものの双対表現がただひとつという具象なんてないわけだし。

652:132人目の素数さん
19/06/22 23:57:51.26 hvkJoB3P.net
IUT(によるABC予想の証明)というのは、言い方が悪いけど数学における脱法行為の塊のように見えるんだよね
単遠アーベル的復元/再構成での忘却関手による情報の欠損や体としての非同型、つまり充満多重同型とラベルの必要性
またその論理を定式化したという種の言語と突然変異の論理、これはグロタンディーク宇宙にまたラッセルのパラドックスを
導入し、その矛盾を種の言語と突然変異によって解消することにより、ループ状入れ子式宇宙ができるとの主張
どう考えても自然な論理ではないし、不可避でも必然的でもない
同じく言い方が悪いが、>>440と合わせて考えると、言葉の正しい意味で確信犯的に見える

653:132人目の素数さん
19/06/23 03:10:09.61 X+MnbPuM.net
国語力の低い書き込みが多くて頭痛くなるな

654:132人目の素数さん
19/06/23 05:39:25.39 g3m51mYe.net
匿名掲示板の長文番長なんて世間で相手にされてない奴らだからな。

655:132人目の素数さん
19/06/23 05:44:05.23 UQ3xIBOj.net
と、サル山界隈では賑やかなようです

656:132人目の素数さん
19/06/23 08:24:52.46 vXet6vWC.net
>>616
それぐらいの短さで頼むわ

657:132人目の素数さん
19/06/23 08:33:18.20 ACG812oK.net
Mは圏論を理解できなかったんだね

658:132人目の素数さん
19/06/23 09:20:13.66 xRArnFnh.net
>>615
結構適当に書いてるのは認めるけど、匿名にしかやり場がないってのは外れてるな
これでもかなり


659:言いたいことを抑えてるから ついでに言ったら捨象という表現も本当は不十分だけど、より良い言い方を書くほど親切ではないしな まあ数学での抽象化による効果、意義は簡単な問題ではない。自己レス>>610にもちょっと不満があるし >>613 「消してずらして埋める」という感じですね。それで、言うほどには格子の論理には必然性がないとは思う 「多重充満同型とかは必要ない」というのは動機がIUTでは代数幾何、スキーム自体の一般化なので、個人的には 言い切る自信はないんだが、フレームワークを実現するために強引な仕組みを使ってる感じというか 反論とまでは行かないんですが、本来のスキームではなくスキーム論的なデータがIUTの狙いですので その論文との関連性はまだ少し慎重に見たいと思います



660:132人目の素数さん
19/06/23 09:33:59.38 wnxnvo5O.net
圏論とは何か?
第1の近似としては 圏論とは写像のなす
抽象代数の数学的研究であるといえる。
まさに群論が集合の置換や幾何学的対称性
のなす体系という考え方を抽象したもの
であるように。
抽象代数の一分野である圏論は”許容された
変換”という言葉によって異なる種類の
数学的構造を特徴づけて研究する方法と
して、フェリックス. クラインのエアランゲン. プログラム の伝統を引き継いで考案
された。
圏論の一般的な概念は”構造を保つ変換”
の概念の特徴づけを与え、このような
変換を許容する構造の、ある種の特徴
づけを与える。
1945年 アイレンベルクとマクレーンの
”自然同値の一般論”は圏論が初めて確立
した原著論文であった。
by Steve Awodey

661:132人目の素数さん
19/06/23 09:43:06.91 xRArnFnh.net
存在と復元の基盤についてはbi-coricな文脈での関手性がその部分になってると思いますね
乗法→加法
正則→非正則
に渡り局所ー大域アルゴリズムの核性が成立するというものだったと思いますが
その上で宇宙の族(species)、コレクションを一斉に示し評価していると主張している
望月氏や弟子は本来なら、非遠アーベル幾何学的なスキームの一般化とIUTの対応関係を研究するべきだろうな
そういう認識はしているようだが、本格的にやろうという意思はあまり感じられない

662:132人目の素数さん
19/06/23 09:47:11.47 xRArnFnh.net
>>621
厄介なのは、こういう純粋に圏論的な抽象化理解にはIUTが収まらないことなんだけどね
国語力が達者らしい方に論じてもらえるとありがたいんだけど

663:132人目の素数さん
19/06/23 09:49:29.06 CukGSETM.net
G構造の幾何学がエルランゲンプログラムの正嫡じゃないの?。

664:132人目の素数さん
19/06/23 12:46:36.94 wnxnvo5O.net
>>620
追記します。
再記
Robertsレポート
>there are a number of things that Mochizuki
writes that feel to me like vestiges of ‘material’
thinking.
Here by material thinking I mean,
in opposition to structural thinking,
the platonic attitude that specific
representations of objects matter and makea
difference to the mathematics
>At times Mochizuki’s examples are formulated
so that the structural content is unclear (mostly
because the required categories are not
supplied), and at times they are expressed
in a material way, but with an underlying
structural i


665:dea obscured by the jargon.



666:132人目の素数さん
19/06/23 19:28:53.23 AhXc06ZK.net
Nスぺがぽシャッタことがすべてを物語ってるね。
IUT理論の肩を持つ専門家をほとんど見出すことができなかったってことだろう。
望月本人と、査読して「本質的な間違いはない」などと言ってしまった連中が
強弁を続けてるだけのこと。

667:132人目の素数さん
19/06/23 20:16:42.03 IOa/5HHQ.net
>>625
RIMSのHPに、いろいろな情報が公式にupされてますね。
次世代幾何学研究準備センター センター長  望月新一
次世代幾何学研究準備センター 併任教授   玉川 安騎男
次世代幾何学研究準備センター 併任教授   望月 拓郎<URLリンク(www.kurims.kyoto-u.ac.jp)
次世代幾何学研究センター 特任教授 柏原 正樹
次世代幾何学研究センター 特任教授 森 重文
<URLリンク(www.kurims.kyoto-u.ac.jp)
訪問滞在型研究リスト
2020年度 宇宙際タイヒミューラー理論の拡がり
組織委員長:望月新一(京都大学数理解析研究所)
組織委員:星裕一郎(京都大学数理解析研究所)
     Ivan Fesenko (英・ノッティンガム大学)
     田口雄一郎(東京工業大学)
     加藤文元(東京工業大学)
     栗原将人(慶応義塾大学)
     志甫淳(東京大学)
<URLリンク(www.kurims.kyoto-u.ac.jp)

668:132人目の素数さん
19/06/23 20:22:29.37 uvWUBjrw.net
森重まだ現役だったのか

669:132人目の素数さん
19/06/23 20:33:09.97 UtlVJED+.net
談話会の雑談で擁護するのとテレビ出て擁護する意見言うのでは話しまるで違ってくるからな。

670:132人目の素数さん
19/06/23 21:05:19.84 NPqZngTv.net
革命擁護アメーバゾンビ細胞太鼓持ち隊のしつこさと面の皮の厚さを発揮するのはこれから

671:132人目の素数さん
19/06/23 21:11:34.77 NPqZngTv.net
1週間もしないうちにアンチの勉強不足が~とかいいだすからな

どうせバカBの講演アニメでも「正しいかどうかは重要じゃない!新しいパワーが必要なんだーっっっッッッッッッ!」とか主人公キャラクターが叫んで拍手喝采狙いなんだろよ

672:132人目の素数さん
19/06/23 22:11:27.72 CdZ36JIC.net
>>626
アメリカ数学会とか世界の数学会で講演とか連続セミナーとかしないのかな

673:132人目の素数さん
19/06/23 23:18:21.21 bdQEe2KZ.net
>>619
IUTに関しては「匿名にしかやり場がない」というのは私にとっては事実ですよ(笑)
望月の言葉をもじって言えば「IUTは数学界において事実上ゴミ」扱いで、IUTはOUTという認識がほとんどじゃないですかね
それぐらいSSレポートにはインパクトがあり、IUTコミュニティの反応の悪さ(遅さ)がそれに拍車をかけています
真剣にIUTについて話せる場なんてないですよ。実は私もそんなに真剣ではありません、暇つぶしです(笑)
私にはIUTが「代数幾何、スキーム自体の一般化」とは思えないんですよ
格好つけて言えば、IUTはそれらを脱構築したつもりなんでしょう。望月自身がエイリアン論文で
「クンマー理論は遠アーベル幾何学に非常に適している」と書いており、クンマー理論+単遠アーベル的復元/再構成をやっているわけです
その結果として充満多重同型というmysterious indeterminate isomorphismになる
この絶対遠アーベルについては>>581の星レポートの通りで、あくまで「手続きを与える」、「復元可能性」に過ぎません
これを中心に据えた論証というのは危ういです。実際、星入門1の冒頭でも似たようなことが書かれています
だ�


674:ゥらSS、特にショルツのような数学者には簡単に切って捨てられる。不可避でもなく必然性もないからです



675:132人目の素数さん
19/06/23 23:31:30.46 bdQEe2KZ.net
>>620氏、>>622氏へ
最近、Kevin Buzzardのコメントが話題になっているんですよ
“Equality part 3: canonical isomorphism.”
URLリンク(xenaproject.wordpress.com)
これはcanonical isomorphismsというものが如何に漫然と使われているかということに対する警鐘ですね
結論の方ではFLT証明についても書かれています。それにしてもワイルズの弟子・孫弟子たちは優秀ですね
コメント欄ではHoTTの話も出てきてとても興味深いです

676:132人目の素数さん
19/06/23 23:42:39.24 bdQEe2KZ.net
IUTとも関連付けうる話でもあるので、バザードの主張を理解するためにその背景をリンクしておきます
Michael Harrisの、
“Why the Proof of Fermat’s Last Theorem Doesn’t Need to Be Enhanced”
URLリンク(www.quantamagazine.org)
これについてフランク・カレガリも書いており、前半で数学研究にかける予算について、
IUTに対してすごい皮肉を書いています(笑)
“Harris versus Buzzard”
URLリンク(galoisrepresentations.wordpress.com)
ハリスv.s.バザードが6月20日に行われたそうですが、いつか詳細を聞いてみたいですね
彼らにとってIUTは蚊帳の外でしょうが・・・

677:132人目の素数さん
19/06/24 00:28:04.77 f3PZH7LT.net
これはポストモダンの方に言うわけでは全くないんだけど、(つまりその他)抽象化に関する反応を見ても、
何が難しいのかわかってる人いないと思うんだよね
情報が消えるって、相対化されて具体的な対象は主題ではなくなるってだけの話なんだよ。当たり前だよね
一旦具体性が消える代わりにより高いレベルで統合されるのが抽象化の重要な性質だ
これは白馬非馬という話とは似てるようでかなり違うんだよ。望月氏も、IUTは個々のスキームよりも
それらを記述するパターンが重要だと言っている。明示的アルゴリズムってのも、
何でそういう話が出てくるのかというと、まさに抽象化の結果なんだよね
情報工学ならオブジェクト部分がスキームで、遠アーベル幾何学はそのプログラミング部分みたいなものだ
特に、アルゴリズムとループ構造については「言語」についての深い洞察が確かに働いているアイデアと言える
言い換えれば、宇宙際性の議論を理解するにはある種の(論理的な)言語理論を必要とする
証明として、理論として十分かどうかはともかく、望月氏の思考力を過小評価するのもまずいと思うね

678:132人目の素数さん
19/06/24 00:30:13.74 f3PZH7LT.net
>>633
ありがとうございます。感想をレスするかはわかりませんが、落ち着いた時に読んでみます

679:132人目の素数さん
19/06/24 02:09:35.07 crrLyt3u.net
>>635
「ポストモダンの方」と言われるのは心外なので止めて下さい orz
こういうのは『方法序説』(デカルト)+『ドイツ・イデオロギー』(マルクス)で一掃したいぐらいです(笑)
あなたが正確に「具象 - 抽象」と「個別 - 一般」を区別して使用していいることぐらいは分かっていますよ
前スレでも同じような言い争いがあったので、不毛に思えてスルーしていました
望月についてですが、彼は単語の使用についてはかなり意図的です
>>462で書いたように、そもそもガロア圏を舞台にしているので抽象的なのは当然です しかし、彼は自らのテクニックをabstract nonsenseとは書かず、general nonsenseと書いています。これは意図的です つまり、抽象的な設定の下で、一般的にはナンセンスと思われるテクニックを駆使しているのだ、ということです >>358やあなたが書いた>>364のようなことですね



681:132人目の素数さん
19/06/24 08:00:01.13 wnhNHrGj.net
>>633
ご紹介ありがとうございます。
証明の厳密さに興味があり、
読んでユックリ考えたいと思います

682:132人目の素数さん
19/06/24 08:40:55.72 yNJmyb0o.net
証明の厳密さとは関係なくね

683:132人目の素数さん
19/06/24 09:26:14.29 LPCbU7yZ.net
HOTTと関連するしね

684:132人目の素数さん
19/06/24 09:55:00.97 x6zhsMGg.net
何か進展ありますか?

685:132人目の素数さん
19/06/24 10:52:47.37 4DCiGkOo.net
>>637
>つまり、抽象的な設定の下で、一般的にはナンセンスと思われるテクニックを駆使しているのだ、ということです
この解釈はおかしくないか?

686:132人目の素数さん
19/06/24 12:57:41.58 OroOxBDj.net
>>631
3年くらい前ならともかく世界が相手にしなくなってるお
タクロー森柏原がどっかでケツ拭くことになるね

687:132人目の素数さん
19/06/24 14:00:49.70 uuvkohNL.net
>数学研究にかける予算
そんな大きな金額が流れる世界なのか
工学的分野から見たら微々たるもんじゃないのか

688:132人目の素数さん
19/06/24 14:11:18.22 NOaolMMe.net
おぼちゃんは金額がヤリ玉になったのか

689:132人目の素数さん
19/06/24 15:10:13.32 OqcA2rfn.net
>>631
IUT関連の金はアメリカ数学会でも有名
みたいだね
”as long as some really smart
people are committing to work on this
the NSF should get ahead of the curve
and make it a priority” is OK,
“better this than some farcical 10 million
pound grant to study applications of IUT”
is probably a little cheeky but I would accept
it if you put your real name to it

690:132人目の素数さん
19/06/24 16:02:00.95 eXMmdC/6.net
>>644
微々たるもんだよ。このスレでは嫉妬してる小心者が繰り返し騒いでいるだけ
だから気にすることは無い

691:132人目の素数さん
19/06/24 16:10:23.20 OroOxBDj.net
>>645
おぼちゃんの場合は検証に時間と人を無駄にした

692:132人目の素数さん
19/06/24 16:13:01.89 +s701iON.net
そうたよ、研究室だけで一厘オーバーぐらいだろ
くそアニメで一千万超ぐらいだし

693:132人目の素数さん
19/06/24 16:44:20.14 qUXHRyLq.net
>>646
年間15億もかけてるの?

694:132人目の素数さん
19/06/24 17:06:35.79 ltg2jeyp.net
例の(自己同型の方の)論文に関してですが、仰りたいことは大体わかった(納得した)と思います
ある意味で、ガロア圏の絶対ガロア群(位相群)の同型から遠アーベル射によって引き起こされた
何らかのスキームないしはスキーム論的な圏への関手がやはり単なる同型射だと見ればわかりやすいでしょうね
それで既に明白なのは、写像論的もああいう議論は成り立たない
他方で、コア性について議論する際に、宇宙際の空間から一般化された余極限のようなものを考えたら
成り立ちそうな気もするんだけども、これを更に極限図式として考えるとやはり同型射にしかなっていない
圏論的にはこれは到底成り立たないものだ

695:132人目の素数さん
19/06/24 17:13:46.24 ltg2jeyp.net
IUTの評価が難しいのは、スキーム論の遠アーベル幾何学的な文脈による一般化ないしは抽象化が確かに
一見すると成立していることだ。定義された圏は確かに狙いにフィットしている
しかし問題は、これが


696:本当に題目通りの数論的な変形射と見なせるのか、ということだね Q:全く同じとは言えなくとも、何らかの似たような議論を一般化された代数幾何学の設定で行えるか? →これは確かに可能で間違いない。 IUTの問題は、これを遠アーベル幾何学を利用して半ば即席でやってしまったことだと思う 膨大な大理論のように見えるが、代数幾何学の適切な一般化、超克になっているかどうかは別問題だ



697:132人目の素数さん
19/06/24 17:16:29.68 VJriNZVF.net
年間とは書いてないでしょ。
5年だか10年だかの総額が1千万ポンドということか?
ネットで調べた限り、総額が2百万ポンド以上のgrantをとっているようだね。

698:132人目の素数さん
19/06/24 17:24:03.48 ltg2jeyp.net
ここでまた別のポイントなのは、学派の人達は「リンクのアプローチが正当な圏論ではない」のを
開き直っている可能性があるw
そうでなければ無理やり非自明な数論的タイヒミュラー空間を作ることができないからだ

699:132人目の素数さん
19/06/24 20:15:34.15 dmbTZF7g.net
[教員公募]京都大学数理解析研究所特定助教
職務内容
宇宙際タイヒミューラー理論を中心とする次世代幾何学の研究を推進すること
URLリンク(t.co)
だそうだ 👀
Rock54: Caution(BBR-MD5:b73a9cd27f0065c395082e3925dacf01)


700:132人目の素数さん
19/06/24 20:22:52.84 VJriNZVF.net
RIMS大丈夫か?
これではIUTとともにRIMSが自滅しかねないよ。

701:132人目の素数さん
19/06/24 20:25:06.60 VJriNZVF.net
まさかとは思うが、現状でIUT4部作をacceptしたりしないよな。
ホントにRIMS終わるぞ。

702:132人目の素数さん
19/06/24 20:25:30.35 OroOxBDj.net
特任助教くらい大した金ではないんだろうが
今のタイミングだとまあ何か愚痴の一つでも言いたくはなるわね

703:132人目の素数さん
19/06/24 20:47:03.10 eXMmdC/6.net
何でだよ? むしろ優秀な人材がフォローアップする必要性はこのスレでも散々言われてきたことだろうが
その努力の一環にどうしてケチを付ける?
何をやっても気に食わないわけだな、アンチだから
今のまま放置したほうが終わりだろ
前向きな姿勢を示すことがどうして終わりなんだよ?

704:132人目の素数さん
19/06/24 21:00:06.19 +s701iON.net
今のカス連じゃ無理ですー宣言なだけでしょ

705:
19/06/24 21:02:59.29 I3XIdcgr.net
>>635
>アルゴリズムとループ構造については
なんとなくそうおもっただけなんですが、遥か昔の話でもしているのですか?

706:132人目の素数さん
19/06/24 21:34:49.82 ltg2jeyp.net
個人的にはIUTを一旦忘れて、代数幾何学のいくつか現代で出てきた拡張に対して基本群と遠アーベル幾何を
一般化する研究プログラムに切り替えたほうがいいとは思うな。軌道修正するなら、特に若手はそうすることだ
他の拡張理論も組合せ論や圏論に非常に適している。IUTは似ているようでいてやはり浮いている
ま、余計なお世話なんだけども

707:132人目の素数さん
19/06/24 21:35:04.88 E9AeGmbx.net
南出氏のためのポストか。

708:132人目の素数さん
19/06/24 21:54:34.18 ReEh5/N5.net
ビエーロ・ヒトバシラ・ナンデ氏

709:132人目の素数さん
19/06/24 22:03:40.82 E9AeGmbx.net
ヤン・ユー氏ももっちーの弟子で博士号だから一流大学でアカポスゲットできるだろう。Mok氏がいる台湾に行くか。

710:132人目の素数さん
19/06/24 22:11:08.57 oPn15zvn.net
こんな時期に箔付けロンダリングで広告塔に利用されていいようにされるなんて

711:132人目の素数さん
19/06/24 22:15:15.47 IvS0cUus.net
白黒つけるポストなら面白いんだがそうじゃないとは

712:132人目の素数さん
19/06/24 23:42:07.82 OroOxBDj.net
>>660
ワイルズの時


713:のテイラーがいればねえ・・・ >>662 周辺の話題を強化する方が長い目で見て健全だろうね



714:132人目の素数さん
19/06/24 23:44:24.69 crrLyt3u.net
>>652
そうです。一読するとIUTは成立しているように思える。クンマー理論+単遠アーベルが上手くフィットしているように見える
クンマー理論という枠組みを使って単遠アーベル的復元/構成を実行し、充満多重同型という「エキゾティックな同型」
(コンラッドの表現)が成立しているように見える
しかし、実際は枠組みと手続き(復元可能性)が逆転しており、「可能性」にすぎないものを確実なものにすり替えているのです
それが数学者たちの困惑であり、SSがその中身を暴いてクリアにしたわけです
あなたが以前書いていたように、IUTはその数学思想、つまり望月の着想・アイデアを見るべきなのです
根本にあるのはアナベリオイドの幾何学、アナベリオイドによる「基点を動かす」というアイデアです
望月のIUT初期構想の講演原稿には(どれか忘れましたが)、「遠アーベルの絶対版が欲しいが、難しい、不可能だろう」と
書かれていました。それでも彼は努力して完成させた。しかし、出来上がったものは>>581で書いたように、
"所望の手続きを与える"ことが目的で、復元“可能性”でしかありませんでした。それを彼は確実性にすり替えたのです
さらに、あろうことか彼は主論文でそれを不可避で必然的なものであると言明してしまったのです
肥大化した妄想はもう後には引けないのでしょう

715:132人目の素数さん
19/06/24 23:44:37.11 y49YB1U0.net
次世代なんちゃらが拓郎さんになっててIUT終わったんじゃなかったのか

716:132人目の素数さん
19/06/24 23:50:34.60 ypcUyz5Y.net
タクローさんにはかなりの追い風が吹く筈、多分

717:132人目の素数さん
19/06/25 00:23:36.93 d3+ruArq.net
10年に一本いい論文書けばいいから!っていって退職まで何もしないのがS論幾何

718:132人目の素数さん
19/06/25 00:27:32.05 gVI8x/xg.net
タクローちゃんはIUTがうまくいかなかった時の保険
でも本人はスクール作る気はないし性格的に次世代なんちゃらのトップに向かない
当人はセンターなんて知らん大予算も特任ポストもいらん好きに数学させてくれだろ

719:132人目の素数さん
19/06/25 00:31:32.53 gVI8x/xg.net
>>672
10年に一本いい論文書けばいいとか40半ば以降は論文なしとか
昭和の教授はそうだったが今は無理無理かたつむり
柏原みたいに70過ぎても最前線でやれとまでは言わないが

720:132人目の素数さん
19/06/25 00:58:59.58 cQsvfbXT.net
たとえば、Noam David Elkiesは40歳過ぎてから論文書いた?

721:132人目の素数さん
19/06/25 03:11:56.11 QD0hUMXF.net
望月さんに憧れて京大行った友達がかわいそう
まさかIUTがこんな惨状だと知ったらどう思うだろうか

722:132人目の素数さん
19/06/25 05:36:39.64 01nKuU5s.net
私大あたりに就職した、頭の固くなった40過ぎだと、若い共同研究者でもいないと、数学でまともな雑誌に載せれるのは一握りでしょ、実際。
紀要にサーベイ書くくらいがせいぜい。
実験系みたいに若手に研究やらせて論文書かせて自分は何にもしないでラストオーサーみたいな手が使えないし。

723:132人目の素数さん
19/06/25 05:56:02.06 W3gh2aFC.net
>>673
まぁ普通はそうだよな
IUT界隈政治色強すぎるし

724:132人目の素数さん
19/06/25 07:31:10.43 +ELee/FE.net
特定研究員も募集してるよ
[教員公募]京都大学数理解析研究所特定研究員
職務内容
宇宙際タイヒミューラー理論を中心とする次世代幾何学の研究を推進すること
URLリンク(t.co) 👀
Rock54: Caution(BBR-MD5:b73a9cd27f0065c395082e3925dacf01)


725:132人目の素数さん
19/06/25 07:36:05.28 htBjW19W.net
IUTが特に目立ってるだけで実は他にも


726:たくさんあったりしてな ちりも積もれば、系?



727:132人目の素数さん
19/06/25 08:21:26.33 kyIqTovk.net
証明がポシャるのは数学の世界ではよくあること

728:132人目の素数さん
19/06/25 08:44:05.59 AX+rAVnR.net
>>679
そんなもん理解してるやつが外から来るのかよ…

729:132人目の素数さん
19/06/25 10:27:56.85 9NSN3fmi.net
>>681
論文査読中に概説より解決=証明された
と公式発表するのは数学の世界で前代未聞
では?

730:132人目の素数さん
19/06/25 11:54:49.72 fy9YxVi/.net
面白いのは、IUTそのものの記事が英語版しかないこと。日本語版すらない
望月新一は結構翻訳されてるのに

731:132人目の素数さん
19/06/25 12:25:04.83 IF0RIKWf.net
>>682
外からは無理。つまり中から。
擁護者や弟子の院生や研究員らが次々と常勤ポストをゲットするという未来予想図。

732:132人目の素数さん
19/06/25 12:40:19.88 1+vBKUfZ.net
>>683
RIMSがそんなこと公式発表したの?
ソースは?

733:132人目の素数さん
19/06/25 13:19:54.77 W+0GnpwA.net
>>686
>>11です

734:132人目の素数さん
19/06/25 13:25:57.88 8bFbmesL.net
URLリンク(www.kyoto-u.ac.jp)
事例4 -28-10-

735:132人目の素数さん
19/06/25 15:47:16.30 tY1Y2MYU.net
>>687-688
なんだ、研究成果を述べてるだけじゃないか
解決宣言してるわけではない

736:132人目の素数さん
19/06/25 16:07:23.24 d7Hj8sM+.net
望月新一に よる「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC 予想の
解決は、特筆 すべき出来事である。
当該論文は現在査読中であるが、望月新一
が同理論の概要を解説し た業績番号1―
(2)(2014)が、講究録別冊として刊行されて
いる。

737:132人目の素数さん
19/06/25 16:55:46.11 8J6SPwZ6.net
特定研究員募集は東山氏のためか。

738:132人目の素数さん
19/06/25 20:37:55.28 sleb0th9.net
南出か陽か東山か辻村あたりのポストなんだろうなー宇宙際助教&研究員

739:132人目の素数さん
19/06/25 20:40:40.22 +ELee/FE.net
URLリンク(www.kurims.kyoto-u.ac.jp)
ソルボンヌのルパージュやエクセターのサイディがRIMSに滞在中

740:132人目の素数さん
19/06/25 21:09:00.30 VfD2770D.net
何一つ進展がないなかで、椅子取りゲームだけが着々と進む。。。w

741:132人目の素数さん
19/06/25 21:20:02.82 giTdJf5x.net
昼行灯の査読のおっさん

742:132人目の素数さん
19/06/25 21:23:35.02 fy9YxVi/.net
フェルマーを導出してAnnals辺りにアクセプトされたらそれだけで一生安泰だよ
できるならの話だけどね

743:132人目の素数さん
19/06/25 21:26:04.69 KV0tH237.net
ルパージュとサイディが査読者でT先生がエディター?これで論文掲載が決定か。

744:132人目の素数さん
19/06/25 21:35:58.42 +ELee/FE.net
論文査読完了→掲載→Nスペ

745:132人目の素数さん
19/06/25 21:38:56.94 fy9YxVi/.net
殆ど身内じゃんw

746:132人目の素数さん
19/06/25 22:11:57.97 VGxNee+3.net
I have no idea.

747:132人目の素数さん
19/06/26 04:36:20.43 7+Y1zJP0.net
>>690
結果として解決することは言及しているが結果が出ているとは言ってないw

748:132人目の素数さん
19/06/26 05:18:36.82 exiucvhN.net
>>701
RIMSの評価書類のことうるさく指摘するやつは若干1名の粘着くんなので無視推奨

749:132人目の素数さん
19/06/26 06:46:51.33 /u73OQHo.net
その調子でrejectもはねのけて

750:132人目の素数さん
19/06/26 07:09:59.65 CAja6CBU.net
>>702
必死だねw

751:132人目の素数さん
19/06/26 07:39:31.93 hS9jMq+M.net
>>704
物事の本質を捉えて議論できる大人になろうな

752:132人目の素数さん
19/06/26 07:54:05.33 CAja6CBU.net
>>705
RIMSの現況調査表も文科省関連の公式文書
ですよ

753:132人目の素数さん
19/06/26 07:54:07.56 rbXxSANP.net
もういい加減、今年中にacceptするのよ!
お母さんとの約束よ!

754:132人目の素数さん
19/06/26 07:58:27.61 XL5NU4l3.net
IUTを取り巻く状況を改善するには普及活動(またはギャップ埋め)とその他応用例の提示の2つだと思うけどどっちもうまくいってるようには見えないね
それでも(逆にそうだから)魅力を感じてこの分野に身を投げる優秀な若手がいれば良いけどね

755:132人目の素数さん
19/06/26 08:14:45.53 slOJpwOR.net
揚げ足取りガイジ

756:132人目の素数さん
19/06/26 09:31:56.63 aCMpAJAX.net
身内評価による永久機関を作れそうな印象はある

757:132人目の素数さん
19/06/26 12:36:03.45 5IxK7eXI.net
>>706
物事の本質を捉えて議論できる大人になろうな

758:132人目の素数さん
19/06/26 13:36:08.04 Gg1GDvq+.net
大人の都合でしょ

759:132人目の素数さん
19/06/26 16:00:21.58 vbxvFeQX.net
なんで10年近くも進展ないの?

760:132人目の素数さん
19/06/26 17:15:40.45 UPL5aU74.net
着々と理解者が増えているというスタンスなら、まあどんなに遅くとも今年度までには通すはずなのだが、
少なくともサーベイの咀嚼を含めて内輪より更に外には広がってないよね

761:132人目の素数さん
19/06/26 19:44:07.97 3EeXKrv1.net
> 遅くとも今年度までに
時代を越えて語り継がれる確かな想い

762:132人目の素数さん
19/06/26 20:11:17.17 FyrbndSh.net
望月氏本人が2020年までを目処と言っているのだから、acceptされるとしたら今年中だろう
もし何もアクションがなければ「致命的な誤りを修正中」だと見てよい

763:132人目の素数さん
19/06/26 20:55:20.73 cKuJk5nf.net
致命的なギャップを指摘されているのに
acceptするかもね。
PRIMSの編集部はRIMSの教授たちだから

764:132人目の素数さん
19/06/26 20:56:45.80 KAX1qa41.net
しないしない。彼らもこれだけ波紋を呼んでる論文をアクセプトしたら、どれだけバッシングかれるかよくわかってる。

765:132人目の素数さん
19/06/26 20:57:48.83 KAX1qa41.net
わかってるからこそ、査読者OKのIUT論文を放置するという荒業にでてるんだよ。

766:132人目の素数さん
19/06/26 20:58:46.85 KAX1qa41.net
複数の査読者がOKしたんなら、さっさと掲載するのがフツーでしょ?これは異常事態なんだよ。

767:132人目の素数さん
19/06/26 21:14:45.34 UPL5aU74.net
客観的に言ったらこの状況で通したらPRIMSの信用が間違いなく落ちるよね。願望とかでは全くなくて
客観的にそうとしか言えない
こういう場合に最低限の試金石になるのは、アイデアがちゃんとそれなりに受容されそうかなんだよ
しかも遠アーベル幾何学ではなくて、もっと広い数論幾何学者に。今のところ、それも怪しい
それこそT川さんクラスがサーベイを書いたりするとまた全然違うんだけど

768:132人目の素数さん
19/06/26 23:33:39.38 7+Y1zJP0.net
なんかもっちーは「たし算とかけ算の世界の関係」とか言ってたような気がするけど
なんでこれを使った応用がガンガン出てこないの?
証明が正しいかどうかは置いておいて、もしIUTが成り立つならこれが言える、みたいな成果は出てきても良いのでは

769:132人目の素数さん
19/06/27 00:23:47.76 Mlu8zFqS.net
群馬の担任教師事件
またもや、数学科卒か・・・

770:132人目の素数さん
19/06/27 02:40:27.05 TgOGSUiG.net
>>718 いい加減な連投するな。1から4まで査読OKだったわけではない

771:132人目の素数さん
19/06/27 05:03:59.05 dNLHf5It.net
>「今回、論文を検証するための4人の研究者チームが作られ、3年
>掛かりで確認作業をしてきましたが、望月さんは、“4人の貴重な
>時間を使ってしまい申し訳なかった。もう十分だから、ご自分の
>研究をさせてあげてください”と語ったそうです」(飯高名誉教授)
>>693 >>697
4人の査読チームのうち2人はLepageとSaidiだろうな

772:132人目の素数さん
19/06/27 05:04:07.54 /aXdDduh.net
>>721
>T川さんクラス
誰?数論の人?

773:132人目の素数さん
19/06/27 05:26:01.07 nnwZBtuz.net
>>724
1から4まで査読OKだよ!

774:132人目の素数さん
19/06/27 05:43:54.51 ASbXOaU9.net
>>726
横から失礼。ヒント:T=玉

775:132人目の素数さん
19/06/27 07:59:56.40 0ed1tV94.net
2017年12月1日
>>11のIUT評価結果に基づき、RIMSが
IUT中心の次世代幾何学研究準備センター
を設立。
2017年 12月 16日 朝日 石倉記事
早ければ来月1月にも(IUT論文が受理され)
PRIMSへ掲載が決まると報道した。
海外の数学コミュニティの反発より受理が
延期された。

776:132人目の素数さん
19/06/27 08:36:26.37 F3y5rWBI.net
>>722
>なんかもっちーは「たし算とかけ算の世界の関係」とか言ってたような気がするけど
>なんでこれを使った応用がガンガン出てこないの?
>証明が正しいかどうかは置いておいて、もしIUTが成り立つならこれが言える、みたいな成果は出てきても良いのでは
裏を返せばそれがないから興味を持たれない。
同様の事は過去「5次方程式に解の公式が存在しない」の証明の時もあったらしい。
アーベルやガロアよりも前に、 ルフィニという人がこれを証明したが
500ページ以上の長い論文でかつ分かりにくく、何より
「解の公式が存在しない」という事だけのためにこの難解複雑な論文を
読み解こうとする人など殆どいなかったそうな。
なので「(マイナーな部分的欠陥はあるものの)証明の大筋はほぼ正しいだろう」
と認めらるも、一握りの賛同者以外からその功績は無視された。
一方で後のガロアの論文(ガロアはルフィニの論文の存在を知らなかった)が
絶大な評価を得ているのは単に「解の公式が存在しない」を証明したからではなく
ガロア群という強力かつ普遍的な深い汎用性のある概念の萌芽を含んでいたから

777:132人目の素数さん
19/06/27 09:29:03.03 Yzy4SNrl.net
今回の件が違うのは矛盾点を指摘されてる件

778:132人目の素数さん
19/06/27 09:48:22.76 F3y5rWBI.net
>>731
細かい誤りのあるなし(予想が完全解決したかどうか)とIUTに価値があるかないかは
別の話だと言ってるんですが

779:132人目の素数さん
19/06/27 10:10:36.96 PGHt5RK7.net
>>730
なるほど…

780:132人目の素数さん
19/06/27 12:14:58.21 HMDmXm9t.net
現時点でIUTをガロア理論に例える�


781:フは適切ではないな。 細かいミスはあるかもしれないが、大筋正しいという評価なんかとてもされてるとは言えない。



782:132人目の素数さん
19/06/27 12:18:43.28 oa3Xh6bg.net
>>734
ルフィ二に例えてるんだが?
おまえの読解力の無さは異常だな

783:132人目の素数さん
19/06/27 12:57:04.22 HMDmXm9t.net
どっちでも同じ。
現時点で
大筋正しいという評価はできんだろ?

784:132人目の素数さん
19/06/27 13:04:14.55 jSjUaawY.net
>>730
そういう導出力がありそうにない事はかなり早い段階から認識されている
類体論のオルタナティブという割にはフェルマーの導出もできない
IUTがeffectiveで本物なら、多分フェルマーは30ページくらいで証明できないと不自然だろうね
ワイルズの理論よりは�


785:ヲいはずだから



786:132人目の素数さん
19/06/27 13:16:17.77 PGHt5RK7.net
もっちーはガロアにはなれないんだね…
本人が知ったら鬱になりそうw

787:132人目の素数さん
19/06/27 13:17:31.57 PGHt5RK7.net
群論を導入して様々な性質を導くのは30ページあればそこそこのことは出来るからなぁ

788:132人目の素数さん
19/06/27 13:23:08.43 2SgCbIm9.net
>>736
同じではない。頭大丈夫か?

789:132人目の素数さん
19/06/27 14:31:31.29 BUt9yJ/H.net
フェセンコが数ダースもの重要な証明がただちに出来るみたいなこと言ってなかったっけ

790:132人目の素数さん
19/06/27 15:01:48.43 8AUMtbIc.net
spiro予想が証明されたら重要な予想が証明
されるだろ。
IUT論文の場合はSSレポートより瀕死の状態
だろう

791:132人目の素数さん
19/06/27 16:53:34.92 mS8SdX1x.net
なんで公の場でSSに反論しないの?

792:132人目の素数さん
19/06/27 17:17:49.47 tkL6dm6k.net
フェルマー程度を解くには単解的なアプローチであるIUTは不要なんでしょw
IUTによるアプローチを更に発展させてリーマン予想解くしかないw

793:132人目の素数さん
19/06/27 17:57:01.43 PGHt5RK7.net
IUT→ルフィニの証明
???→ガロア理論
だと考えたときに???に相当する理論が既に存在する惑星が宇宙のどこかにあると想像すると、ワクワクして寝れねえな
誰か作ってくれれば歴史に名が残るぞ

794:132人目の素数さん
19/06/27 18:11:53.71 b28SIH/j.net
擁護連ってすごい思い込みが激しいのなwww

795:132人目の素数さん
19/06/27 18:23:12.54 UTBHYOdi.net
抽象的なイメージを語ってるような良く分からない話だなぁと思っていたら
本当にイメージだけの話で実体は無かったというオチ

796:132人目の素数さん
19/06/27 18:23:58.46 v1HcxeFW.net
>>745
オラワクワクすっぞ

797:132人目の素数さん
19/06/27 18:59:19.84 jSjUaawY.net
>>744
整数環の群による微分を使って楕円曲線の高さを計算するのがIUTなので
実は全くそのようなスキップは通用しないと見るべきだね
テレンスタオも含め、数論研究者が懐疑的な理由の一つはABCより弱いが重要な結果がないってことだ

798:132人目の素数さん
19/06/27 19:01:21.26 jSjUaawY.net
元々はこれ線形の理論ではないんだけど、何らかの上手い操作を使えば何らかのモチーフも
計算できるはずだしね。Voevodskyとは違うような形で
正しければそれくらいの理論のはずなんだよ

799:132人目の素数さん
19/06/27 19:01:25.99 8AUMtbIc.net
>>745
? ??= オカルト マニア

800:132人目の素数さん
19/06/27 19:02:24.05 5WPYEq6g.net
(写真はイメージです)

801:132人目の素数さん
19/06/27 19:26:09.74 4gC4iWFr.net
定数ピエロが撹乱してくれるでしょ

802:132人目の素数さん
19/06/27 20:28:45.64 jSjUaawY.net
>>633
今更ですが、IUTがこのポストの観点から見ても厄介なのは、やはり抽象化による曖昧さを利用しようと
していることですね
「ちゃんと同型の意味について見る必要がある」という問題自体は認識してやってるから厄介なんですよ
自然同型というよりもっと抽象的でhigherな話なんだというスタンスですね
一部の学派よりの数学者がはっきり否定できないのも、そういう圏論と群論の微妙な差異が難しいからに尽きる
実際、望月寄りに見てお人好しに考えたらSSの批判は単純過ぎるように見えるわけです
これは論理学的には非常に古典的で、ポストモダンや西田を必ずしも持ち出すまでの話ではないとも言える
つまり、外延ですね。位相群に緩めることで単スキーム論的な外延が増えるのだ、という話に過ぎない
その増えた情報量がちょうと変形の微分になっているという理屈です
しかし、これはやはり遠アーベル幾何学と外延、内包の、トポスでの悪用だと思うんですけどね
更にすっ飛ばした言い方をすると、エタール基本群・モノイド・位相群の組で整数環の微分と積分を語るのは
虫が良すぎるとも思いますね
だからラベルとかリンクみたいな飛び道具が出てきちゃうんですよ

803:132人目の素数さん
19/06/27 20:32:55.35 jSjUaawY.net
まあ少なくとも、何か通常の圏論を超えた話をしてるのは間違いないね
それでも正しいというならそれはそれでいいと思う。やめろ、とは思わない

804:132人目の素数さん
19/06/27 21:04:03.98 zdbOvFEt.net
ここで言う宇宙てグロたんの宇宙のことなの?

805:132人目の素数さん
19/06/27 21:33:24.56 vpuAPXh8.net
はじめて論文じたいみたが。
本人もわかってない、証明完了できてない気がするが
合ってたとしてもラマヌジャンとかフェルマーみたいに証明は知らないみたいなことでは?

806:132人目の素数さん
19/06/27 22:36:11.78 ZnJBcKCX.net
GalOis

807:132人目の素数さん
19/06/27 22:41:40.67 jSjUaawY.net
やっぱりテータ写像が結局自明なことを強調して示したSSはさすがだな
一番論点としてクリティカル、ピンポイントだわ

808:132人目の素数さん
19/06/27 23:07:26.65 2Jivr8o5.net
IUTを使わずにabcが証明された時が本当に終わる時だ

809:132人目の素数さん
19/06/27 23:53:31.79 tZ9RSB67.net
そらある数において最大の(1+k)を出す方法がわかれば終わるだろうな

810:132人目の素数さん
19/06/27 23:55:05.59 2SgCbIm9.net
IUTを使わないABC証明が近々に上がってくるとは思わない

811:132人目の素数さん
19/06/28 00:07:53.99 vc4Z3KuJ.net
>>756
それは微妙なとこだ。別の方がたまに言及されてたが、一応圏論やトポスと矛盾しないように意図された
IUTの宇宙、望月宇宙と見たほうが妥当だろうな。宇宙という概念の構成の一つであり、
グロタンディーク宇宙がトポスにフィットするように、トポス+IU形式主義にフィットする宇宙

812:132人目の素数さん
19/06/28 00:08:06.32 GO3fP15O.net
IUTを使った証明が近々に上がってくるとは思わない

813:132人目の素数さん
19/06/28 00:08:19.07 1eECP03m.net
そろそろ査読完了でPRIMSに掲載決定ですかね。

814:132人目の素数さん
19/06/28 06:34:52.36 vsFx/mid.net
私の宇宙 あなたの宇宙
証明ごとに圏論の単語を濫用し別の宇宙

815:132人目の素数さん
19/06/28 07:30:46.40 G/u4YIu2.net
際どい宇宙対比無理論

816:132人目の素数さん
19/06/28 13:21:13.50 7HlpKb8r.net
朝日使って文科省向けに花火あげといて、海外から批判きたけど予算要求にはいいアドバルーンだったわな。
おかげで今年からIUT予算がガッツリついて、特定助教や特定研究員も雇いまくり、来年にはプロジェクトも開催とな。

817:132人目の素数さん
19/06/28 13:38:39.67 qPsiohAg.net
>>768
>おかげで今年からIUT予算がガッツリついて
「IUTが特別に革新的だ」という理由で特別についた予算て合計いくらなの?
森重文は「補助や援助は広く薄く」がモットーの人だったし
そもそも実験科学とか比べたら数学なんて額自体が小さいでしょ

818:132人目の素数さん
19/06/28 13:54:42.34 7HlpKb8r.net
>>769
一億

819:132人目の素数さん
19/06/28 14:09:16.46 ysLTLx0F.net
オボちゃんみたいに高級家具買うのかな

820:132人目の素数さん
19/06/28 15:16:13.98 YEpK8pYS.net
高級家具は同じ理研だけれど違う人でしょ
スレリンク(life板)

821:132人目の素数さん
19/06/28 15:30:53.24 /rK0FO3M.net
招いた方らの滞在費に高級焼肉代は含まれるの?
宿泊費だけならだれも来たがらないだろうし
メールで済むもんね

822:132人目の素数さん
19/06/28 15:43:53.87 OJiCqD4T.net
数学なんだから旅費と滞在費だけじゃない�


823:フ?雇用されるならパソコンとか備品も買えるだろうけど



824:132人目の素数さん
19/06/28 16:15:10.33 RcW6La14.net
アメリカではNSAから莫大な金が数学者に流れている。

825:132人目の素数さん
19/06/28 18:32:38.91 qNLeVPFj.net
政治的な比較云々よりもアメリカ勢(ph.Dを含め)が殆ど反応してないのが重要だな
アメリカ勢が乗ったら潮目は変わるし

826:132人目の素数さん
19/06/28 19:03:29.88 aX8MM604.net
abc予想の解決に不定性のラベル管理といった操作が本質的に必須かどうかという事なのだろうね
必須なのであれば証明に多少ギャップがあってもIUTスゲー、望月スゲーにはなる

827:132人目の素数さん
19/06/28 19:07:38.10 66w6LDYR.net
証明で パーツを張り合わせギャップがOKなら
何でも証明できるじゃん

828:132人目の素数さん
19/06/28 20:21:53.17 hx88+DmN.net
サイディさんが査読チームに入ってるなら安心だろ。彼は遠アーベル幾何の専門家だ。

829:132人目の素数さん
19/06/28 20:30:52.83 R22PGxJP.net
>>776-777
終わってるものとの認識だから今さら感いっぱい
>>779
その理解者たる准教授は他の人に説明できて理解者を増やしたのですかな

830:132人目の素数さん
19/06/28 20:33:21.79 in54GNFZ.net
擁護派のスローガン
専門家
あってるかどうかは重要じゃない

831:132人目の素数さん
19/06/28 20:52:23.37 HxccK+Oa.net
サイディ曰わく
「なぜIUT論文が認められ、掲載されないのか。いつまで放置するのか?」
と。相当おかんむりらしい。

832:132人目の素数さん
19/06/28 21:10:26.62 qNLeVPFj.net
サイディってフェセンコとあまり変わらない印象あるけどね。しかも更に内輪寄り

833:132人目の素数さん
19/06/28 22:25:23.13 OwPK4iXH.net
別に掲載されなくても勝手にIUT使った成果出せば良いしプレプリントを引用して新たな成果を出せば良い

834:132人目の素数さん
19/06/28 22:56:06.76 CvatCi0r.net
サイディは星、山下と共に2014年時点で、望月曰く「通常の査読より厳しいチェック」をした検証チームの一人だから、
苛立ちはあるだろうね。ただそれは誰に、何に対する苛立ちなのか?編集者やジャーナルに対するものだったら分かる
SSや数学界に対するものだったらお門違いだけどね
あと、SSの指摘は(単)遠アーベル的復元/構成は必要ない、充満多重同型などは納得できないという根本的なものなので、
仮に現状でジャーナル掲載されても、査読者の誰かが納得できる説明をしないとそのジャーナルの権威は地に堕ちる
サイディにはその覚悟があるのかな?

835:132人目の素数さん
19/06/28 23:00:03.18 OwPK4iXH.net
さっさと載せてComment on:でやれ

836:132人目の素数さん
19/06/28 23:20:31.14 JBSyL59b.net
Nスペ強行突破

837:132人目の素数さん
19/06/28 23:27:36.68 0jmyGwAY.net
>>786
SSレポートも掲載だな

838:132人目の素数さん
19/06/28 23:59:24.64 CvatCi0r.net
>>754
>位相群に緩めることで単スキーム論的な外延が増えるのだ、という話に過ぎない
この辺を正確に言えば、点付き位相空間ではない、古典的な位相空間、つまり基点をもたない位相空間を扱いたいわけです
これはアナベリオイドの幾何学からの発想で、基点に依らない、基点を動かすことによって、
ループ状入れ子式宇宙を作りたいということです
そこでslimアナベリオイドや、圏の圏といっても二次圏ではないslimカテゴリーを考えている
それからスタックを利用しそれらの貼り合わせを考えている

何で私が望月擁護みたいなことを書かなければならないのか?!(笑) orz

839:132人目の素数さん
19/06/29 01:03:37.81 37tMvLCf.net
分離したのは複素数の和と複素数の積だろ?

840:132人目の素数さん
19/06/29 02:10:09.19 j+Y5oNXS.net
SSは18年5月と8月レポートでの望月のコメントに対して、
回�


841:嘯オてないままなのかな? 例えば8月SSレポートに対する望月のコメントでは、ttp://www.kurims.kyoto-u.ac.jp/~motizuki/Cmt2018-08.pdf コメント(C1)~(C14)で色々な質問や指摘をしているけど、 コメント(C14)で、下記のように"completely false"とまで記載されて、 FALSEでないなら反論すると思うのたが。 Here, it should be stated clearly that this assertion (Lin), which underlies the argument of §2.2, is completely false.



842:132人目の素数さん
19/06/29 02:18:03.26 R/cYJTO8.net
身内以外が認めりゃそうだろよ

843:132人目の素数さん
19/06/29 02:46:46.07 zcWog+My.net
SSは何十回も" completely false " と言われても何も言い返せないで沈黙してる。
実質的に数学者を廃業したに等しい。

844:132人目の素数さん
19/06/29 02:49:45.61 c1PzCwfK.net
つ糖質ブーメラン

845:132人目の素数さん
19/06/29 03:04:40.87 gHgpPgFT.net
ほとんどだれも見てないホムペでコソーリ吠えただけで恥ずかしい
出るとこ出てやればいいじゃないか

846:132人目の素数さん
19/06/29 03:57:21.29 tyLb/VDh.net
>>791
なんで自分の研究が忙しいフィールズ賞授業者が、一銭にもならない他人の研究(しかも彼の解釈では失敗作)にそこまでして付き合わなければならないんだ?
言ってることがjinレベル。IUT中心に世界が回っているとでも勘違いしているんじゃないのか。

847:132人目の素数さん
19/06/29 04:01:21.34 eM2nthZQ.net
望月の反論はSSへの反論になっていないんだよ
SSは脚注8(5月版では脚注5)で、全てのホッジ劇場にある基本群は自然同型となる。これはクンマー理論だけでよいという意味
クンマー理論+単遠アーベル的復元/構成による充満多重同型など必要ないし、説得力もないということ
つまり、ここで単遠アーベルを用いるのは不自然極まりないという指摘なんだよ
それに対し望月は、単遠アーベルを用いるのは自然な論理であり、必然的で不可避であるということを説明せず(できず?)、
クンマー理論+単遠アーベルによる充満多重同型を前提にして、SSに対して「君たちは全く分かっていない」と言っているに過ぎない
完全にズレており、指摘から逃げているのは望月の方だよ
望月がすべきなのは単遠アーベルを用いることの必然性、自然さを「証明」することなんだよ
SSからすれば「この人、この期に及んで何言ってんだ?」という感じで、反論する価値すらないだろう
IUTに少しでも関心を持った者は、SSレポートだけでなく、当然望月反論レポート、反論コメントは全て読んでいる(筈だw)
多くの数学者がSSの指摘に納得し、IUT終了と見做したのは、望月が真正面から反論せず(できず?)、
ただIUTの論理を垂れ流した反論しかできていないからだよ
要するに、SSの指摘を理解できないのか、話を逸らしてイチャモンつけているようにしか見えないワケだ
こんな鬱陶しい絡み屋には二度と関わりたくないと思うのは当然だよ

848:132人目の素数さん
19/06/29 04:21:45.75 eM2nthZQ.net
まあ、傍から見れば望月のブログのコメントやBL本寄稿文もほとんどブーメラン、
愛友亭のツイッターもブーメランが多く、フェセンコはブーメランの名手。jin-pilot objectたちは言わずもがな
IUT関係者やパパラッチ、フーリガンらはブーメランが好きなのか(笑)

849:132人目の素数さん
19/06/29 04:37:49.80 eM2nthZQ.net
前から散々書いているのだけど、IUT擁護、望月擁護したいのならもっとマシなこと書いてくれよ、と思う
IUT読んでりゃいくらでも書けるだろうに・・・
私がそれをやらないのは単にレトリックにしかならないからだけど。


850: つまり、IUTは悪しきポストモダン風数学にしか見えないからだ



851:132人目の素数さん
19/06/29 04:44:26.83 zcWog+My.net
SSはもっちーに早く反論を出せと催促していたのだが、もっちーの反論が出来上がると、その公開は待ってくれ、と言ったんだよな。なんで?

852:132人目の素数さん
19/06/29 05:23:08.36 eM2nthZQ.net
それは愛友亭やフェセンコが言っていることだろう? SS側からのコメントがないから確証はつかめない
大体想像はつくけどね。フィールズ賞受賞前にショルツからすれば「しょーもない」こと(IUTのこと)で他の数学者からの問い合わせや
マスコミ等に煩わされたくないというところか。ショルツだって聖人君子とは限らないだろう。これも確証はないけどね
SSレポートが内容的にまずいと思うなら、そもそも公開を拒否していただろう。結局、彼らは公開に同意した(時期を遅らせただけ)
それより逆に訊きたいが、なぜ愛友亭(Bのこと)は朝日の報道の直後には何も言わず、半年以上たって朝日を批判したのかね?
私には望月-SS討論とSSレポートの内容を彼は事前に知っており、公開時期を見据えてそれのもたらす数学界への影響を考え、
朝日を罵ることによって彼自身を含むIUT関係者及び京大、RIMSを守ろうとしたとしか思えないのだけどね
はっきり言って、M、愛友亭、フェセンコは大学人、社会人としての彼らの言動は全く信用できない
むしろ、Gは不器用だが真面目なヤツだと思う自分がいる(笑)
さっき書いたばかりだけど、もっとましな問い掛けができないもんかね? 出来の悪い小学生を相手にしているみたいだ orz

853:132人目の素数さん
19/06/29 05:31:41.51 dAGZa0B0.net
IUT擁護者からするとSSの私的など分かった上でIUTが数学の新たな知見をもたらすものではないかと考えているわけだ。
要は認めるか認めないかの話だけど、望月の論理に瑕疵がなければ認めていいじゃんと言っている。
IUTに応用性があれば認める数学者も多かっただろう。

854:132人目の素数さん
19/06/29 05:45:00.52 zcWog+My.net
SSはもっちーから「出鱈目な内容の残念な雑音」とまで言われているのに何も言い返せないで沈黙している。SSがもっちー論文の中に重大な瑕疵を発見したという意見に賛成する数学者は一人もいない。

855:132人目の素数さん
19/06/29 06:18:21.16 37tMvLCf.net
数理科学全般が終わっていたなら終っていたと
言うべきだった。こんな長期に引きずる話じゃないだろ。

856:132人目の素数さん
19/06/29 06:52:26.38 AeYn3Wll.net
>>803 精神病患者

857:132人目の素数さん
19/06/29 07:01:40.58 37tMvLCf.net
そうそう俺は精神病でさ時々書き込んでいるんだよ。
痛いところ突かれて、アンカも違うけど反応して焦っちゃうよ

858:132人目の素数さん
19/06/29 07:08:25.57 Z2KDXkY1.net
>出鱈目な内容の残念な雑音
重大で不都合な事実を指摘され激怒した。
それだけだ

859:132人目の素数さん
19/06/29 07:48:36.95 j3LRAJOP.net
>>807
”重大で不都合な事実を指摘され”の”事実”だけど、
8月のSS報告書と望月コメントの後、Fesenkoのコメントに、
URLリンク(www.maths.nottingham.ac.uk)
SSはevidence of the ’faults’を示すべきだと書かれては、
SSが示さないと。
Of course, it is still possible to contribute useful questions/comments/remarks in relation to more conventional parts of the theory, e.g. those which came in 2012 from Dimitrov and Venkatesh.
To make a mistake in one’s mathematical study is forgivable


860:, especially when one tries to understand a complex theory. However, publicly talking about ’faults’ in another theory for several years without ever having any valid evidence of the ’faults’ is not what we can support. SSの8月のレポートは誤りと誤解があると書かれているから、先のevidence of the ’faults’を示して、これにSSは回答があるのかなと思っている。 The second version of their report does not address most of comments of Mochizuki on their first report. The second version of their report also included new incorrect statements such as a blunder in classical height theory and a fundamental misunderstanding of the famous work of the German mathematician G. Faltings それと改めて読んで気づいたけど、加藤のIUT本は英訳されのかな。 one can watch F. Kato’s talk and hopefully his bestselling book will soon be translated into English.



861:132人目の素数さん
19/06/29 08:14:17.31 Z2KDXkY1.net
フェセンコも2017年12月の 数学コミュニティ
で罵倒していた。
回答してもまた罵倒されるだけだろう。
望月星とSSが直接議論したのに、その後
星だけが公に沈黙している。
星は 自らのレクチャーノート サーベイを含め
数学として明確にコメントするべきと思う。
摩訶不思議なIUTランドですね

862:132人目の素数さん
19/06/29 08:24:51.55 uSdUwGpS.net
いい加減キャラ変えていかないと、これからどうするんだよ。
数学というかもともと一番の関心は結局他人との接し方だろ?

863:132人目の素数さん
19/06/29 08:27:19.11 JpXiWWm1.net
幾人もの数学者から循環論法と不定性を指摘されてるのだから擁護派はやればやるだけ窮地に追い込まれると見て良いだろう
793や803みたいな主語と述語も理解できないようなフーリガンは研究室周辺の子息妻子が丸々の嘘を教え込まれて妄信的に書き込んでるだけ

864:132人目の素数さん
19/06/29 08:39:22.47 uSdUwGpS.net
どっかの不良の兄ちゃんが、身体に刺青入れてこれは俺の鎧だから、
って言っていたのと同じじゃん。言わないままにしておくから
還暦過ぎても消化できないんじゃない?
曖昧にしておくから締まりのない暴走族の解散騒動みたいに見えるぞ

865:132人目の素数さん
19/06/29 08:49:41.63 uSdUwGpS.net
現代数学とは複素関数論のことです、しかもその先はありませんってもう言おうぜ

866:132人目の素数さん
19/06/29 09:38:46.46 RnEmeIG1.net
おこぼれ狙いのバカボン周辺が新しい数学を免罪符にして新興宗教にしてる
ジャーゴンの山と見るべきアイデアはないとの指摘を理解できないから

867:132人目の素数さん
19/06/29 09:52:55.44 uSdUwGpS.net
単にわざと怪しくやって自分とこの院生の進路変更促してんだろ
研究室ではああ言ってるけど先無いよって

868:132人目の素数さん
19/06/29 10:39:35.25 OVgM1/wi.net
>>808
英訳版文元本の一番面白いところ、
Unfortunatly, my favorite stakehouse closed

869:132人目の素数さん
19/06/29 12:04:39.40 YrlHWWmV.net
忙しいとか罵倒されるからとかは、レポートの質問に回答しない理由とは思わない。
そのレポート�


870:曹「た時点で負うべき文責だよね。 Fesencoの前述レポートに「SSの5月レポートは望月指摘で心変わりして投稿を見送っ」たとあるけど、投稿の文責をもない非公式レポートで、文書での指摘に回答もしないならば、 それは手続きとして「レポートには文責がない」扱いだと思う。 加藤本を読んで興味を持ってみたが、 擁護派だか何だか知らないが、 SSも、G. Faltingsの有名な業績を間違えてるとか、議論がFALSEとまで書かれたら、 質問や指摘に対して、間違ってない事を根拠を示して回答するのみだ、とシンプルに思うが。



871:132人目の素数さん
19/06/29 12:13:05.16 jtcUPIcD.net
>>817
そこまでの責任は無いよ
というのは、議論の根幹である「実テータ写像は自明ではないのか」との問いについては、
仮に望月らの反論である、環を相対化した群の同型射の取り方の明示化を受け入れても、数学的に揺らがない
可能性が高いから
「SSレポートが十分ではない」のと「批判の骨子が間違いである」のとは混同できないのは明白
強いて言えば、アクセプトしたらまた別の誰かもSSに加担する可能性とかはある

872:132人目の素数さん
19/06/29 12:28:55.34 U4KcrQTE.net
警告としてはもう充分でしょう
自滅するまでわかんない人たちばっかりみたいだからやらせてあげれば
数学の微分はやれても情勢の微分はやれないカスばっかりなんだから
死人がでても気の毒とは思わないね


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch