Inter-universal geometry と ABC予想 38

1 名前：１３２人目の素数さん mailto:sage [2019/04/27(土) 20:24:49.26 ID:gcKUmYRM.net] IU幾何やABC予想に関する会話のサロンとして使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 37 https://rio2016.5ch.net/test/read.cgi/math/1552141221/ 657 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 23:45:47.29 ID:vhLVqi2r.net] Dupuyはブイウムの弟子で、フルショフスキーの下でポスドクやったそうだね まあ、このレベルの数学者らの関心を惹ければいいけど、ジルバーがちょっとモデル理論の方で関心を持ったぐらいだからなあ IUTに見どころがあるのだったら彼らも何らかのアクションを起こしていると思うけどね 658 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 00:07:09.05 ID:FoIZyDE3.net] ある種の人間は同じ勘違いをしてしまう不思議な学説 659 名前：１３２人目の素数さん [2019/05/17(金) 01:00:14.07 ID:YvieELkq.net] >>608 あんた>>544じゃないんだろ？じゃだまってろよ。 ＞あなたは5ちゃんによくいる論理的思考力に瑕疵を抱えてる御仁だね その言葉はお前にそっくりお返しするねｗ >>544の文章をよく読めよ 「どこからどこまでが真の業績かわからない」と書いている 査読を通った論文が正しい 660 名前：なら「真の業績がどこまでかわからない」などと書くはずがない >>544はあきらかに「査読を通った論文」でも疑問を持っていると読まれても仕方がない。 現に弟子たちが望月の査読通過論文を使えばもっと優れた業績が出せるはずなのに出せないといっている。 [] [ここ壊れてます] 661 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 01:42:50.76 ID:dPn71uSn.net] >>628　その列挙されていることが真実だとして、それでも世の中あるある、 数学界あるあるな笑い話でいいんだよ。 662 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 04:28:23.50 ID:djE9Y0go.net] ポケットマネーだけでやってる分にはそれでいいんだけど 663 名前：１３２人目の素数さん [2019/05/17(金) 09:09:55.20 ID:BFvgbaIm.net] IUTみたいに独自路線な数学はやるだけ無駄なんだよ 664 名前：１３２人目の素数さん [2019/05/17(金) 09:44:54.39 ID:ETzXB10X.net] 僻み鮮人見苦しい 665 名前：１３２人目の素数さん [2019/05/17(金) 09:50:29.98 ID:J8EveBfN.net] 今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ 　　　　 ∧＿∧　どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ 　　　　<丶｀∀´> 　　 　∧＿∧ いつもの論点すり替えて僻みのせいにするニダ 鮮人のせいにして憐れみ請うニダ 　　　 ／ 　　　 ＼　 　（　　　　）詭弁と強弁とポストチラつかせて工作員増やすニダ　 .＿＿|　|　　　 .|　|＿　/ 　　 　 ヽ ||＼　￣￣￣￣　　 ／ .|　　　|　| なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ ||＼..∧＿∧　 　　(⌒＼|_＿./ ./ 数少ない擁護側のTaylorを3月にわざわざ来日させといて拡がりより中途の検証を先にやれよ ||.　 （ 　　　）　　　　 ~＼___＿_ノ|　 　∧＿∧ 　　/　　　ヽ　厚顔無恥の馬鹿？＼| 　（　　　　） 不利な点はスルーで数日で復活とかゴキブリかよ 　　|　　　　　ヽ　　　 　　　　　　　＼/ 　　　 ヽ. 無防備な学生やらアマチュアクラブの連中相手に押し売り洗脳 　　|　　　　|ヽ、二⌒) 　　　　 　　／ .|　　　|　| 数々の指摘の反論ができないってどういう事だよ？ 　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 6月のＮスペはどうなったんだよペテン師野郎 4月末で潮目が変わるんじゃなかったのかクソ野郎 モノ書きのホモサピエンス野郎キショいんだよ 　　　　　　　∧__∧ 　　　　　　（´∀｀　） オボちゃんも最後の最後まで認めなかったからね！ 　　　　　　 （⊃⌒*⌒⊂) キタナイとこは隠すからね！ 　　　　　 　　/__ノωヽ__） Examples of triples with small radical だけ記述してるの？ あちこちで上界値はもう出てるよね 上界値だけだと証明になるの？ 666 名前：１３２人目の素数さん [2019/05/17(金) 10:32:18.41 ID:+ZyIeiz7.net] 望月ってp進なんとかではすごい業績出してるのに何でおかしくなったんだろ 667 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 12:05:25.24 ID:mSwk7svg.net] デニー・ヒトバシラの回顧録より 着想や論文の作成時に△△と◻◻がなかったのは大きいだろう そりゃ想定してるとこが違えば結果はかわるだろ 大英断でタオが指摘したように書き直せば良かったのに オイラーやワイルズみたいにほぼ単独で完成できると目処が立ったならともかく よってたかって前後関係把握せずに構成したから矛盾とかいわれたか 代わりのもの出せるなら出してるだろうけど引くに引けないだけ 668 名前： [] [ここ壊れてます] 669 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 18:38:02.03 ID:sqZ/onuv.net] 何で例の>>635がこの件についてやたら噛みつくのか？あっ（察）w それはともかく、HA理論ってかなり癖がある論文で、これ代数幾何やってるからって普通に読めるもんには 見えない。つまり、正否よりも前に査読はどれだけ理解して通したのかなっていう疑問は確かにある 弟子や仲間から派生してないのもあるけど、実際IUTまであまり認知されてすらいなかったと見える 個人的に聞く限りでもそう。多くのディオファントス幾何学者ですら知らなかったのではないか？ まあ少なくともRIMSにはこれ通した人も玉川さんもいた、またはいるわけだから査読が順調ならば 色々な疑問について論陣張れるはずなんだけど 670 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 18:54:23.05 ID:sqZ/onuv.net] ここにいるらしいRIMSの人は正しいと思ってんの？本音として それも帰属意識的な感情論だったらあまり意味ないけどね 671 名前：１３２人目の素数さん [2019/05/17(金) 19:32:34.75 ID:lrYxPdGD.net] 絶対矛盾的自己同一 672 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 23:10:44.21 ID:ZqeXL9tl.net] >>643 ホッジ・アラケロフによる動機付けから、なぜ絶対遠アーベルの利用が不可欠なのか説明できるはずですよね SSはその動機付けに従えば、遠アーベルの方法は必要なく、スキーム論的な同型でよいとしています 結局、クンマー理論による自然同型だけでよく、単遠アーベルでの復元によって生じる2つの不定性を用いた充満多重同型は要らないと 要するにSSは、IUTは不自然だと言っているわけですよ まあ、IUTではなぜ遠アーベルが必要なのかという根本的かつ致命的な疑問になりますね 673 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 23:51:12.22 ID:ZqeXL9tl.net] 星の入門１の20頁で、リンクによるアプローチでは遠アーベルが必要で他に方法は知らないと書いているけど、 そういう方法を取った以上不可欠なのだろうけど、環構造を破壊して不定性を強調した構造を導入するには圏論の言語は違うのではないか 実際、主論文�Wでは同じspeciesによって与えられるmutationのdomainとcodomainとか、mutation-historiesなんて言葉も出てくるし まあ、よく分からないし不自然だとしか言いようがない。アイデアだけで猪突猛進している感は否めない 674 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 00:42:23.54 ID:rK8kudH2.net] >>646 アラケロフ理論の既成の限界と似た話で、一般のスキームではなく異なるスキーム同士の、という 論法をどうしても使いたかったんでしょう。NFのABC予想はZについての問題なので、HA理論のスキーム論的な 枠組みだと自明な話しかできませんからね だから絶対ガロア群とスキーム、正則構造の間で理論を構成するとなった しかし、これは前にも示唆的に書いたんですが、環構造を経由してはならない、というのは絶対的な縛りとは 思えません。テータ関数については確かにこれを上手く使えばアーベル多様体の群論については 十分機能しますが、これも個人的には証明を複雑にする一因ではないかと思いますね ただ、p-adic TeichもHAも30歳で書き上げた大理論で、これらと合わせて遠アーベル幾何学でまとめる というのは、知識、アイデアの両面で望月さんにとってはそれしかない運命だったんでしょうね 自分も最初のアイデア群を結局未だに肉付けしているので、そういう引きずりは理解できます 675 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 02:02:43.94 ID:rE6li1lH.net] プロっぽいご意見ｷﾀ━━━━(ﾟ∀ﾟ)━━━━ｯ!! 676 名前：１３２人目の素数さん [2019/05/18(土) 02:05:50.85 ID:EzAJz7o2.net] 圏論屋の話は中身が薄っぺら。 677 名前：１３２人目の素数さん [2019/05/18(土) 03:08:17.83 ID:txxYJ5tS.net] Indeed, this fundamental difference between inter-universal Teichm¨uller theory and conventional research on geometry over F1 might give rise to various interesting questions and hence stimulate further research. Finally, in this context, it is perhaps of interest to note that although there is no specific mathematical object in inter-universal Teichm¨uller theory that may be said to correspond to “F1”, in some sense the notion of a “field with one element” may, at a more conceptual level, be thought of as corresponding to the notion of coricity/cores/coric objects — that is to say, objects that are invariant with respect to [i.e., “lie under, in a unique way”] various operations such as links [cf. the discussion of §2.7, (iv)] — a notion which is indeed central to inter-universal Teichm¨uller theory. 678 名前：１３２人目の素数さん [2019/05/18(土) 08:31:11.91 ID:zxOf2z/r.net] >>114 679 名前：１３２人目の素数さん [2019/05/18(土) 09:04:38.67 ID:5cVyQ7NV.net] 絵に描いた餅 680 名前：１３２人目の素数さん [2019/05/18(土) 10:09:19.90 ID:hfdDtcwo.net] karapaia.com/archives/52274161.html コンラッド先生が笑顔で日本の文化を語ってる 681 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 12:21:23.82 ID:62vJHxCR.net] 結局アジア人の妄想乙で終わるんやな 682 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 15:08:14.38 ID:s9cWzdxz.net] 妄想乙ってわざわざ日本まで来て告げてくれたフィールズ賞受賞者は神だな 他の連中はこそこそ陰口言うだけだったのに 683 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:27:24.45 ID:LLk/xkON.net] >>651 これ何処にあったっけ？？ 確かにF_1の幾何そのものは出てこないよね。それはタオが関連性を指摘した2012年には感じてた とは言え、ある種のスキームの基底にあるプログラム構造を考えるという意味では確かに似ている とはいえ、IUTの研究者は別にもすべきことがある。それはモチーフとの関連性を示すことだ 本来なら山下さん辺りが言及すべきだが、今のところはよくわからないのだろう 684 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:28:25.76 ID:LLk/xkON.net] 「とはいえ」使いすぎたw 食い過ぎた後にぼんやり書いちゃあかんな 685 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:55:37.59 ID:pKbd8wGy.net] モチーフと関係あるの？ 自分の視野が狭いせいかもしれんが、IUT1-4ではコホモロジカルな雰囲気全くないけど 686 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:21:27.92 ID:hXZtD747.net] 可換代数で、中山の補題というモノがある。 殆どの数学者は中山の補題と呼んでいたが、中山氏本人はクルル・東屋・中山の補題と呼ぶべきだと主張してた。 だから松村英之氏は、自身の著書で、NAKの補題としていた。 687 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:22:59.02 ID:xbq3H0/L.net] まあ、IUTコミュニティにはフロベニオイドがあるからね。IUTもその実演例の一つだといえるわけだ そこからやればいいと思うけどね（他人事） 但し、SS（おそらくショルツ）のよれば“very elementary”ということになるのだが 容赦ないよね、ショルツって 688 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:29:32.22 ID:xbq3H0/L.net] >>648 異なる構造を様々な視点から眺めたい、比較したい、繋げて計算してみたいという動機というか気持ちはよく分かるんですよ そのためにアナベリオイドを考え、圏論を用いて宇宙際性（inter-universality）を持たせなければならなかったわけです 様々な対称性を用いた「通信」では当然「ぼやけ」は出てきます。これは抽象化によるぼやけというというより、 抽象物と抽象物の通信によるぼやけですね（エタール輸送不定性）。しかし、忠実充満にしないと使えないわけで、 そこで圏論的に行き詰っているというか、おかしな話になっている。Mにとっては自明なのでしょうけど しかし、ロバーツに対するあの態度は逆ギレ以外の何物でもないですね、SSに対するものより見苦しいですよ まあ、IUTは若い研究者にとっては叩き台の一つとすればよいですし、Mの態度は反面教師とすればよいと思います 689 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:45:27.64 ID:PComa3rh.net] もっちー青春の夢 690 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 18:53:56.68 ID:SdSGhofh.net] もっちー中年の夢 691 名前：１３２人目の素数さん [2019/05/18(土) 19:04:47.39 ID:EzAJz7o2.net] 圏論屋はバカ。 692 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 19:21:34.93 ID:xbq3H0/L.net] >>657氏へ >>651はエイリアン・コピー論文のp121ですね（私もどっかで読んだ記憶があったので）。今日付けで修正があったようです 私がDLしたものは昨年9月のもので、それと比べると“Finally, in this context,”以下が追加されています ちょこちょこ追加・修正しているのでいつから現行のようになったのかは分かりませんが コピペしてくれるのもいいですが、引用元を明記してほしいですね 693 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 19:26:26.83 ID:PComa3rh.net] もっちー永遠の少年場 694 名前：１３２人目の素数さん [2019/05/18(土) 21:37:57.49 ID:SAtPB2Wi.net] 日本人なら類体論とか岩澤理論とかを深めるべきで IUTみたいなゲテモノ数学やって人生棒に振ってもしょうがない まだ若く将来有望な若者を巻き込んだらあかんよ 695 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:03:23.63 ID:FthQ53Fy.net] 理解してから言えや 696 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:15:37.87 ID:OSIzUP19.net] 暗記のまちがいだろ 697 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:30:42.74 ID:GANOodH5.net] >>668 勝手に日本人に道筋を付けるな おまえ、他人の人生に責任取れるのか？ 取れもしない癖に無責任なロジックを使うな お里が知れるやつだ 698 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:33:40.79 ID:LLk/xkON.net] >>659 元ネタである変形理論っていうのは一種のコホモロジー理論だからね p-adic Teichもクリスタリンコホモロジーの理論に密接に関係している IUTはスキーム全体に渡る変形射を考えるという話をしているわけだから、何らかの普遍的なコホモロジーの 構成が対応しているはず 699 名前：Wellcome to junior math Olympian& [2019/05/18(土) 22:34:21.96 ID:o56TvuFc.net] いずれ公式の方にも通達する予定です。 このスレが少しずつでも発展していく事を願っています。 700 名前：１３２人目の素数さん [2019/05/18(土) 22:42:52.63 ID:s8g9J3vq.net] 次のKほらー CD予想 古都の大学研究所 廃墟で古びたほらーの書 が 発見された。 夜中に若者が 度胸試しに行くと 古井戸から きもいラベルとゾンビウィルスが大量に湧いてきた 701 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 22:47:07.88 ID:SdSGhofh.net] 若い人がIUTに賭けてもそれはそれでいいんじゃないかなあ それで失敗するか成功するかわからないけど他人のことだし 本当に力のある人は最初のテーマがどうであれいずれ成果を出すよ 初期に参入した人達が数学的には成功しているようには見えないが アカポスという点ではうまくゲットできてるのは確かだ 702 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 23:06:41.04 ID:qiW9wlNH.net] ところでキミは防衛大学や宗教大学に就職したいかい？ 703 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 23:21:24.01 ID:b6VLXQPB.net] >>672 確かに！！ てかモッチーって元々数論的小平スペンサーとか狙ってたんだっけ？ 704 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 23:26:50.67 ID:b6VLXQPB.net] >>672 確かにとか言ったけど、やっぱわからん IUTでは環構造やら色んな付加構造の違いを計算してると思うけど、所謂変形理論であるようなコホモロジーの消滅云々とかじゃくて、フロベノイド(？)とか使ってやってるわけでしょ 705 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 23:57:30.54 ID:LLk/xkON.net] >>662 >>666 出典ありがとうございます。自分は初見でした 望月さんのバックグラウンドからしたら、実は近いタイヒミュラー理論と遠アーベル幾何学を結びつけたいのは 至極真っ当ですけどね。ただ、他の人はもっと直接ホッジ理論の大域版を考えるとか、アラケロフ理論の 問題点をDurovのように（今は抽象ナンセンス的に不十分と考えられてますが）改善しようとする、 という方向で考えたほうが健全でしょうね。IUTでBSD予想が証明されたらこの見方はやめて完成降伏しますが ついでにぶっちゃけると、遠アーベル幾何学というのはグロタンディークがもし復活したら、 より巨大なビジョンに昇華しようとするのではないかと思いますね IUTがやりたかったのは環論のある種の一般化だけど、今グロタンディークが現役で甦ったらIUTとは違う形で 基本群を一般化して、更に遠アーベル幾何学の「数論的背景」を考察して高次元に一般化するでしょう この二つが可能である示唆は断片的には出てきているけど、まだはっきりしていない 具体的に考える上でゼータ関数論が導きとして極めて重要なのは間違いないですけどね 706 名前：１３２人目の素数さん [2019/05/19(日) 08:36:55.09 ID:GE+LjdtO.net] >>671 日本人がどうとか言うより 類体論とか岩澤理論とかラングランズが数学の王道だから そこから大きく外れていくような数学はいずれ淘汰される 707 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 09:45:53.29 ID:EMqs27FG.net] >>656 ＞妄想乙ってわざわざ日本まで来て告げてくれた ハハハ、　そうだね。 もしSSがはっきり宣告しなければ、今頃日本じゃIUTは証明されたのに認められずフィールズ賞をとれない悲劇、 っていうふうに捻じ曲げられていたろうな。 708 名前：１３２人目の素数さん [2019/05/19(日) 11:36:32.69 ID:7tmLYTzu.net] >>681 それはないな そもそも年齢的に無理だし 妄想乙 709 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 14:06:54.40 ID:eQdykDAc.net] >>679 それは貴方の夢であってグロタンディークの夢ではない 710 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 14:11:50.10 ID:KHcXfR7Y.net] IUTがスキーム論のようにABC以外にもいろんな数学の問題が解ける強力な理論なら フィールズは年齢で対象外でもアーベルでもチャーンでももらえるだろ 真偽のほどはともかくABC特化型の癖の強い理論っぽいような 大きな賞を取らせようと思ったら周辺の研究者がその理論を発展させないとダメ 711 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 14:58:33.56 ID:Nstz4HDy.net] >>680 体感ですけど、数学の最近の王道(あるいは流行り病)は数理物理ではないでしょうか。若い人なんて思考停止で呟いてますし。(理論物理は進展もアカポスもまず無いのに、物理学者より少ないポストの数学者がこれを研究したがるのは本当に謎です。) あと「類体論とか岩澤理論とかラングランズ」ってあなた本当に理解してますか。チョイスがおかしいでしょ。 最初の2つはwell-knownだし、後者は、保型表現の側で散発的に結果が出てるだけだと思います。誰も真剣に扱ってないと思いますよ。こんなで淘汰がどうだって数論(幾何)の研究者の人生をかけたギャグか何かですか。 712 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 15:03:53.45 ID:7ujl1V4u.net] むしろ逆 物理のようなもう掘りつくされた鉱山に魅力を感じる人はいない 713 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 16:31:01.01 ID:vcTuqXho.net] >>685 数理物理は数学じゃなくて応用数学じゃろ 類体論は非可換化、ラングランズは高次元化 まだまだやることが山ほどあるんじゃよ 714 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 17:22:50.32 ID:KHcXfR7Y.net] 非可換類体論もラングランズも課題はたくさんあるのはわかってるが そこまで勉強してたどり着いて何か新しいことができる院生が何人いるか 勉強したけどそこでおしまいという秀才もたくさん見たのでなんとも 数理物理のアイデアで何か数学やるというのもミラー対称性あたりから たくさんあるがその方面で結果出してる人の数が多いわけじゃない IUTがどうであれ勉強できてそこで新しい結果出せる人は少ないのでは 715 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 17:55:45.42 ID:Oxy/1Had.net] >>687 やる事と出来る事は違います。そもそも高次元、非可換化って幼児でも考えそうな事やって楽しいんでしょうか。この手の話題ってほぼほぼ縛りプレイでまず解決しませんよね。それが魅力というなら角川出版から本でも出されたらどうでしょう。 716 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 17:59:04.68 ID:9f4CB5aQ.net] それこそScholzeが局所ラングランズで活躍してんじゃん 近いうちにlocalな方は完全決着つくと思うよ 717 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 18:08:13.03 ID:00W2Kgvz.net] ＞IUTがどうであれ勉強できてそこで新しい結果出せる人は少ないのでは Go先生の次回作にご期待ください 718 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 18:57:44.51 ID:TocTEO+F.net] >>690 それじゃ、Scholzeの活躍と解決について研究して出版すればいいんじゃない。B先生と競争だな！ 719 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 19:31:29.18 ID:ccjULybX.net] > 角川出版から本でも出されたらどうでしょう 角川バカにされすぎw 720 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 19:42:54.39 ID:KHcXfR7Y.net] 今の時代は幻冬舎だな 721 名前：１３２人目の素数さん [2019/05/19(日) 20:03:06.55 ID:GdorOdBd.net] 数学書は数学書専門の出版社から出すべき。普通の出版社では校正とか無理だろ。シュプリンガーからヘンな本が出ることもあるが。 722 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 20:09:12.73 ID:o2hoKFSD.net] >>685 加藤先生ですか？ 723 名前：１３２人目の素数さん [2019/05/19(日) 20:13:21.16 ID:GdorOdBd.net] 純粋数学で行き詰まった数学者がMathematical Physicsに行くことがある。40歳過ぎたグロたんとか。最近のKimも。 724 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 20:13:30.13 ID:kzzc3Qm0.net] それで思い出して調べたら加藤五郎先生去年引退してたのか 悲しいな 725 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 20:32:54.71 ID:ccjULybX.net] 公文のCMなんかに出るという手もある 726 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 20:51:35.35 ID:9R+xMLMb.net] Bみたいにカルチャースクールで線形代数の講師をやるとか 727 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 21:37:19.17 ID:c3iKIw0I.net] >>685 数学者が物理で本当に求められてるのは、解析を踏まえたグローバルアナリシスからリーマン幾何学のような 新しい基盤を量子論に提供することなんだけど トポロジーばっかだと思いませんか。悪いとは言わないしコンツェビッチくらいならそれも見事だが 大抵の数学者はどう見ても頓珍漢なやる気出してる感がある 728 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 21:43:58.03 ID:c3iKIw0I.net] 現状としては 代数幾何学的なアプローチのラングランズ理論はともかく 代数幾何学直球ど真ん中からのゼータ関数論→ほとんど謎 セルバーグゼータ関数とリーマンゼータ関数の関連性→ほとんど謎 解析直球ど真ん中からのゼータ関数論、加法問題→ほとんど謎 解析に対する深い洞察からの量子数学→ほとんど謎 局所体や関数体のように統一的で効率的な大域、代数体の幾何学→ほとんど謎 729 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 21:51:21.28 ID:7KgINP0I.net] ミラクルシンカー投げてやるぜ 730 名前：１３２人目の素数さん [2019/05/19(日) 22:04:34.92 ID:iTLpdaGA.net] >>696 加藤先生は類体論至上主義だからそんなこと言わんでしょう 731 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:04:45.62 ID:bAL09For.net] >>702 謎多過ぎわろ 732 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:12:52.85 ID:FCbZiYvJ.net] >>692 M枝Iマイ辺りがいつか書くでしょ 733 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:21:14.66 ID:PVTsFDCo.net] ID:c3iKIw0I 謎の解析マンセー汁がほとばしっとる。 734 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:30:50.15 ID:c3iKIw0I.net] >>683 まあそうなんだけど、元々の一番狙いだったWeil予想ですら代数幾何学の頂点ではなく、その先=Hasse-Weilが 未だに曇りがかってるのは凄いわ。DAGよりダイレクトに数論に行くんじゃないかなと妄想してしまう 735 名前：１３２人目の素数さん [2019/05/19(日) 22:34:23.07 ID:M9XExga+.net] 数学の現状は ハッタリだらけ RHまであと10歩 by ゼータ 1/2の予兆が見えた by IUT ABC予想はIUTの構築より論文が査読中ても 解決した by IUT 物理の一般相対論では、アインシュタイン のアイデアは元々 大学時代 講義で聞いた ガウスの曲面論です。 736 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:53:41.87 ID:KHcXfR7Y.net] まとめると今求められている数学は 高次元・非可換なIUT幾何の上の確率解析を使ったリーマン予想の解決だな 737 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 22:57:16.84 ID:PVTsFDCo.net] NS方程式の厳密解とか言い出す方がトポロジストよりアタマ悪そうなんだけどね。 738 名前：１３２人目の素数さん [2019/05/19(日) 23:08:35.12 ID:M9XExga+.net] >>710 なるほど、千里の道も一歩からだね。 逆方向でも 地球は丸いからw 739 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 23:14:57.19 ID:mZWQEqV2.net] ゴールが後ろにあったとか 740 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 23:19:40.25 ID:PVTsFDCo.net] 最悪のケースがあるからこそランダムウォークは基本群の空間の情報ぜんぶ持ち合わせてるんだけどね。 741 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 23:43:21.46 ID:MNAZxpPY.net] IUTは現状では話にならないでしょう。宇宙際の宇宙際性（inter-universality）そのものが疑問に付されているのですから 圏論に望月流の「種の理論」を組み込んで、突然変異(mutation)で「同じだが微妙に異なる」、「微妙に異なるが同じ」という論理 そもそも前提となる宇宙際性（inter-universality）についての基礎理論を最終節で独立したように書く方がおかしい SSも当然そのことを理解した上で説得力がないとして切り捨てていると思う 742 名前：１３２人目の素数さん mailto:sage [2019/05/19(日) 23:56:17.64 ID:MNAZxpPY.net] B本は久々に目が腐るような本だったけど（マスパワー動画の方がマシ）、ある意味でIUTコミュニティの現状を表している 対称性について小学生レベルの話を例を変えて3〜4回も書きページを水増ししている一方で、Θリンクについては始めから 存在しているように書いている。Θリンクの形成過程が宇宙際幾何学が宇宙際（inter-universal）である最大の特徴であるにもかかわらず 要するに、IUT陣営が数学コミュニティに対して説明すべき本質的な部分を、Bも同じく説明していない 肝心かなめの部分を説明しようとしない（できない）。IUT理解者というのはこういう人達なんだなと まあ、怪しげな論法だから望月本人以外の「理解者」は説明するのは怖いのだろうな 743 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 00:21:32.51 ID:+1WAc3a7.net] >>702 最後のはIUTがやっている（やろうとしている）ことですね。しかし正しいとしても不等式しか導き出せないのであまり使えない 下から2番目もIUTが今後の拡張として考えていることでしょうね。メタファー止まりですが 他は全部IUTとは関係ないですね この程度でどうしてパラダイム・シフトなんて言葉を使えるのかと。どの面下げて、どの口で言えるのかと不思議に思う 744 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 00:32:19.17 ID:sdMM3BRu.net] >>710 確率解析とか聞くとなんやら気持ち悪いんだが 要はユニタリ表現や非可換調和解析のことやろ？ 745 名前：１３２人目の素数さん [2019/05/20(月) 13:17:26.46 ID:fqRA3UOz.net] 最近Gは名前すら上がらんけどどうしてんの？ 取り巻きからすら外されてるのか？ 746 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) ] [ここ壊れてます] 747 名前：14:42:55.67 ID:JEqjk1Bj.net mailto: >>702の内容は本当に頭が悪そうで全く理解出来ない。 難解そうな単語を並べて俺つえーしたいだけにしか見えない。 それとも「→ほとんど謎」ってスラングが流行ってるのかい？ [] [ここ壊れてます] 748 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 16:32:39.77 ID:2r/mcfUO.net] >>719 生涯サーベイ書く服役中 749 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 17:06:38.33 ID:AGraftgm.net] >>720 具体的に何がどう未解決なのかあんたがわからんだけでしょ。補完できないからムカッときてる 例えば量子論の基礎について、物理で頻繁に使われるAと基本的と予想される概念Bの関連性がわかっていないけど 埋められないでしょ 文句ばかり言ってるけど、「他人を貶すより自分のレス」をしたらって散々書いてるのに一向に書かないねw 自分は何も書かないのに貶して賢い競争をしたがってる人間は頭悪くないのかね？ 恥を晒しても物を言うだけ、まだBのがマシだよ 750 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 17:13:46.41 ID:AGraftgm.net] 例えばフロベニウス持ち上げの微分に対応する計算がIUTTではどう表現されているのか？ 何故絶対遠アーベル幾何学には「絶対」が付いているのか？ 702の未解決問題間の内容は関連性は何か？ 賢いならそういう話を自分なりにレスしたら良いのに、何故か他人のレスを貶してマウンティングっていうね 怒りとかではなくて残念としか言いようがないね 751 名前：１３２人目の素数さん [2019/05/20(月) 18:52:01.85 ID:7CHWLthj.net] >>720 最初はペル型の志村多様体の話と思うんですが「ともかく」で済まされムカつきました。 私が物理、数理物理を全くフォローしてないのであなたの例え話も正直全くわかりません。 概念Bとはなんですか。GとMもあるんでしょうか。勉強してきます。 752 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 20:01:29.27 ID:GjKzfPJG.net] >>723 で、君はどうしてやらないの？ 753 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 21:51:23.11 ID:XjJ37d/K.net] ほとんど謎の解析マンセー厨房に過剰反応しすぎじゃねーの？ 754 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:04:45.73 ID:J77e15l1.net] >>725 やらないのって踏み込まないのって意味？そこまでは語る必要ないし、ごく一般的な話をすべきでしょ 解析マンセーも何も、代数幾何じゃ通用しそうにない基本問題が実際あるんだから仕方ない 数論でもそういう問題はあるが、物理の基礎に解析がいらなくなる見通しでもあるのか？w 755 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:31:22.60 ID:XjJ37d/K.net] 実際現実の空間が離散的だったら解析は大ウソな近似手法になっちゃうからねえ。 PDEくんもきっと信者う。 756 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:40:16.44 ID:J77e15l1.net] おまけに、素朴に考えるとラングランズの意味も未だにはっきりしていないだろ。誰にもわからんはずだ ドリーニュ、佐藤ー久賀のヴェイユ予想とラマヌジャン予想の一本釣りみたいに全て収まれば楽でいいけどな 解析のほうが優位とかではなくて、色々全体像がわからないのだから軽視しようがないという事だな 757 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:46:35.13 ID:+1WAc3a7.net] ちょっとIUTに寄り添って考えてみると、なぜノイキルヒ・内田ではなく単遠アーベルなのかということなんですね 望月の言葉でいえば、なぜ双遠アーベルではなく単遠アーベルによる復元が必要なのかということ これは関数体ならノイキルヒ・内田のような双遠アーベルでもいいが、数体なら単遠アーベル的復元が必要ってこと で、結果としてどういうものが構成されるかというと、同じ宇宙（人形でもいい）が幾つも並列に作られるのではなく、 ほとんど同じだが微妙に異なる入れ子式の宇宙（マトリューシカ人形）が作られるということ 758 名前：１３２人目の素数さん mailto:sage [2019/05/20(月) 23:55:08.06 ID:+1WAc3a7.net] >>702氏の「ほとんど謎」にこだわる人がいるようだけど、これって普通にやってることだよ こんなことできたらいいな、こんなことを考えてみたいな、というのがあるけど実際取り組んでみると、 恐ろしく難しい、ツールが足りないということになる B本は本当にゴミみたいな本だけど、パズルの例えは悪くはなかったと思う 完成図を知った上でパズルを組み立てるのか、完成図を知らず多数のピースしかない状態で組み立てるのかという話 759 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 00:04:28.30 ID:e1VwFiPk.net] iutは横に置いておいて、単遠アーベル（taag）の研究自体に的を絞っても スター先生しかフォロワーいないのか 760 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 00:26:03.99 ID:mtULy2M4.net] Gがサーベイが更新されていて見てきたけど、相変わらず理解者たちは他者に対して説明する努力をするつもりはないようだ IUTコミュニティというより、IUTコミュ障、IUT型コミュニケーション不全症候群という感じだね Gのサーベイ最新版p.64より ----------------- (If we use the language of species and mutations(cf. [IUTchIV,x3]), then we can rigorously formulate mono-anabelian statements without mentioning the contents of algorithms). ----------------- 同上p.251より ----------------- In this sur-vey, we avoid the rigorous formulation of the language of species and mutations (cf.[IUTchIV,x3]), ----------------- “mutation”という語はこの2箇所しかないが、厳密な定式化ができているつもりならそこから単遠アーベルの効用を説明すればよいだろうに そうすれば保守本流の数論幾何学者に無視されても他の分野から注目されるはずなのにね 彼らは数理論理学の話に持ち込みたいのではなく、むしろ逆でそれに触れられたくないのだろう 761 名前：１３２人目の素数さん [2019/05/21(火) 00:50:37.33 ID:65ILvwhZ.net] 森田真生と並び称される加藤文元、その嫁（再履）のホルホル画像をご覧ください ttps://twitter.com/katmenet/status/1130051068627304448 (deleted an unsolicited ad) 762 名前：１３２人目の素数さん [2019/05/21(火) 00:57:43.41 ID:26MvR/HP.net] Science History: Einstein’s mathematician Emmy Noether overcame sexism and antisemitism to become a towering mathematician – and Einstein’s friend. Jeff Glorfeld reports. https://cosmosmagazine.com/mathematics/science-history-einstein-s-mathematician 763 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 01:02:48.43 ID:w4uEzqQt.net] 解析もこれから偏微分方程式から偏差分方程式の時代 確率差分方程式で差分ランダムウォークをp進解析すれば数論に使える 764 名前：１３２人目の素数さん [2019/05/21(火) 02:18:17.85 ID:26MvR/HP.net] スピーシーズとかミューテーションとか数論的ダーウィン主義みたいな。 765 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 09:46:09.13 ID:tRNt5PHR.net] >>728 近似はウソではない。緻密な近似はよく使える 君は時代遅れな観念に囚われた中世の人間と類似のメンタリティを持つ人物だ 766 名前：１３２人目の素数さん [2019/05/21(火) 09:49:05.56 ID:uuTuUCFn.net] >解析もこれから偏微分方程式から 偏差分方程式の時代 差分は 毎日 天気予報で世話になっているのにね はあ〜 767 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 10:37:21.10 ID:jeiYkSps.net] >>738 或る種の「剛性」がないと意味のあるエラー訂正なんてできないし中世にビザンチン将軍も勤まらないよねえ。 [] [ここ壊れてます] 769 名前：１３２人目の素数さん [2019/05/21(火) 11:25:50.05 ID:uuTuUCFn.net] ネーターの定理は ラグランジアンが無限小 連続変換で 対称性がある時 オイラーラグランジュ方程式に保存則がある。 時間並進対称性(時間の一様性)からエネルギー 保存則 が導かれる、、。 770 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 16:33:21.18 ID:e+7N+LWR.net] >>741 君は望月がHA理論において「ラグランジアンのガロア理論版」を論じていると知ったらどう思うのかね？ ラグランジアンにガウス積分にリーマン面 どっかで聞いたことのある組合せだな 771 名前：１３２人目の素数さん [2019/05/21(火) 16:45:19.02 ID:Regytzty.net] >>742 ものは言い様だね 772 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 17:57:58.67 ID:e+7N+LWR.net] >>734 色々凄いね。気○い発言が散見される 773 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 18:20:35.66 ID:pcyhy5LJ.net] てかこれ、一般大衆にこんなに拡散して、あとさき考えなくても大丈夫なのか？ 774 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 19:00:18.39 ID:EorkxTbA.net] 【末路は悲惨】ポスドク問題と給料 https://iirou.com/hakaseka/ ポスドクはつらいよ　結婚式で親族ドン引き「え…無職なの？」 https://withnews.jp/article/f0171106001qq000000000000000W07m10801qq000016179A 775 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 19:30:09.55 ID:e+7N+LWR.net] Gは>>733でblurring丸出しだしBの○はいい年して痛いしMは上から目線凄いし 浄化してくれるものが欲しいな だが他方で、2000年頃の望月の文書見ているとまあ確かに天才的だなとは思う。ミステリー小説みたいな論文だ 776 名前：１３２人目の素数さん [2019/05/21(火) 19:54:53.06 ID:hpHogNwW.net] 物理にはアイデアがいっぱいあるが、 そのままでは 数学にならないね。 多様体上の超対称性量子力学から 指数定理もそう (物理の話だが 時間結晶の実験は面白い、 時間並進対称性の「自発的」破れ 、、)。 777 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 20:01:47.21 ID:mtULy2M4.net] >>747　以前リンクを貼り付けた「数論的log schemeの圏論的表示〜」と同じく↓も面白いですよ [13] Inter-universal Hodge-Arakelov Theory (京都大学数理解析研究所 2005年12月). ttp://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Hodge-Arakelov%20Theory%20(RIMS%20Kyoto%202005-12).pdf （直リンできない場合は「出張・講演」を覗いて下さい） “consider species, mutation”とか、“consider loops of mutations ("simulate a∈a")”とか書いてありますね 778 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 20:25:54.21 ID:mtULy2M4.net] IUT発表直後、エレンバーグのブログでタオが「ABC予想証明に関する限り最終節の内容はred herring（おとり、偽装）で、 最終節は今後の宇宙際幾何学の拡張に関連しているのではないか？」と書いていて、ほとんどの数学者もそう考えていたと思う （ちなみにこのブログでロバーツは「Mは圏論に精通していないのではないか」と書いている） しかし、red herringどころか「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、 IUTの本質的部分だったということだね。そもそもInter-Universalという名称を採用した根本的な理由 779 名前：は最終節の内容にある ABC予想に関心を持つ若い研究者たちはIUTをred herringと捉え、叩き台として利用すればいいと思う [] [ここ壊れてます] 780 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 20:36:44.26 ID:5jq5tMh/.net] あくまで噂だが、デュプ○がまた京都に来てるらしい。 781 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 22:52:49.92 ID:5/kbo+Er.net] ポスドクもドン引き、IUTもドン引き 782 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 22:56:51.35 ID:51jC2gzD.net] 2019-01-30 大学院卒の半数以上が非正規！？　悲惨な結果が判明！　東大調べ https://gakkou-nayami.hatenadiary.com/entry/2019/01/30/135322 大学院(博士課程)の悲惨な待遇は生活保護や刑務所の懲役刑未満という話 https://hajime77.com/entry/japanese-graduate-school/ 4割が借金300万円超え…大学院に進んだら一生ビンボー暮らしです 就職率は3割以下 https://gendai.ismedia.jp/articles/-/54972?page=4 783 名前：１３２人目の素数さん [2019/05/21(火) 22:58:26.07 ID:jVs+PyoT.net] >733 結局(自称)理解者たちは肝心要の部分を詰めきれておらず、ssの指摘がごもっともっていうのがオチなんだろうな。 784 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 23:05:44.42 ID:ZGgLRO3h.net] 今DupuyはRIMSに滞在してるでしょ 785 名前：１３２人目の素数さん [2019/05/21(火) 23:29:27.20 ID:26MvR/HP.net] Dupuyはイスラエル人か？ もっちーも母上はユダヤ系だっけ？ 786 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 23:45:29.86 ID:yxvW2n5Y.net] >>750 凄い皮肉ですねw まあ可読性が低いのは間違いないですよ。高度だとか準備理論の精通だとか読み手が馬鹿だとか 色々言われるけど、それだけじゃない 動機付けとしては一言で言えて、微分を一般化するという事です。それが理由でBuiumの弟子が興味を持った 微分を数論的に一般化すると共にフロベニウス持ち上げの一般化を議論する必要があるが、これらは実は 線形構造に基づいて定式化できないので、数論的な群構造で理論を構築する事にしたというのがHA理論から IUTTまでの一貫した流れです Frobenioidの動機はそういう微分の装置というわけです。最終的に加群を使っていますが、全体としては 微分を一般化し非線形な計算を行いたかったわけです ここまでの動機の話では特に文句の付けようがないのですが、問題はその出力ですね 或いは数論的な微分の一般化はまさに変形に対応して、整数環で変形を計算するには環構造そのものは 確かに使えないのです。複素構造とは違い環自体の変形は環より抽象的な構造でしか記述できませんからね では果たして、そのような目的をシンプルに達成するには何が必要なのか？ 個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います 今世紀の数論幾何を占う根本問題ですから、そういう誘惑はあるでしょう 勿論この評が間違っている可能性は否定しませんが、そういう印象ですね ある意味でホモロジー代数を非線形に一般化するための苦肉の策があのリンクによる格子なのです 787 名前：１３２人目の素数さん mailto:sage [2019/05/21(火) 23:46:41.89 ID:yxvW2n5Y.net] 長くてすいませんw ぼんやり打ってたら悲惨な文章になった 788 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:03:05.89 ID:+mexIE0Y.net] こんだけ修士だの博士だの行ったら悲惨になるよって言われまくっているのに まんまと行って案の定討ち死んでいる奴って、自業自得と言わずしてなんなのか 789 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:08:09.55 ID:IIX1BbyC.net] B本売れてるのか まともな数学書は誰も求めてないのか 世も 790 名前：末だな [] [ここ壊れてます] 791 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:15:09.21 ID:vfA14a+U.net] >>757-758 いやいや、非常に明快な文章ですよ。一般的な話でよいと仰りつつ見事な要約です フロベニオイドやエタール・テータ関数については受け入れられていますね あと、デュピュイの件ですが彼はブイウムの教え子であると同時にポスドク時代はフルショフスキーの下にいたそうです 本人も遠アーベルとモデル理論を研究しているとHPに書いていますね。IUTの全てに関心を持っているようです また、Mがブイウムやフルショフスキーの仕事を意識しているのは間違いないですね ＞個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います 同感ですね。フロベニオイドも一種の圏であるので圏同値を示すためクンマー理論を使う一方、数体を扱っているので 単遠アーベルを用いることになった。問題はここで生じているんですよね。ここで忘却関手やガロアの逆問題を 恣意的に利用しているように思われます。その説明（言い訳）として出てくるのがlanguage of speciesやmutationという・・・ 792 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:27:27.36 ID:vfA14a+U.net] 対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね ABC予想証明は応用例にすぎず、IUTそのものが革新的だという言説は以ての外です IAS研究員などはMのIUT論文にはABC予想証明について希望はないし、 IUTそのものも画期的なものではないと言い切っているぐらいです 793 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 00:50:04.05 ID:YIZfO5ND.net] >>762 ＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています どういうことか詳しく教えてくれませんか？ 794 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 01:30:59.13 ID:vfA14a+U.net] >>763 かなり込み入った論法なので分かり易いところでは星の入門１のp.32〜38を読んで見て下さい 対数リンクでも不定性が生じます。これがInd3（クンマー離脱不定性）です。ΘリンクのInd1と同じですね ただ、対数テータ格子の非可換性については望月の主張と若干異なる記述がみられるので注意が必要です とにかくややこしいことをやっているので、IUTに関心のある人には星の入門１は必読でしょうね B本は肝心な所を完全に無視しており、あれではIUTの本当の面白さ（正否は別として）は分かりません 795 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 01:45:12.38 ID:vfA14a+U.net] 失礼しました。IUTの略語ではInd1はエタール輸送不定性、Ind2とInd3はクンマー離脱不定性です 796 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 05:00:10.03 ID:k2RNA5fS.net] >>764 ざっと読みましたが、対数リンクの定義自体はシンプルですよね。 対数リンクというのは素点縞間の同型のこと。 対数リンクを複数回取ることで素点縞間の同型の無限列が得られるが、それによって生じる対数殻たちに関するlog-Kummer対応を考える。 そして、このlog-Kummer対応が上半両立性を満たすことしか確認することができないという事実によって考慮しなければならない不定性(Ind3)が生じると。 最終的には、テータ関数の特殊値により定義される数論的直線束の不定性(Ind1), (Ind2), (Ind3)による軌道の和集合の正則包の体積により楕円曲線のqパラメータにより定義される数論的直線束の次数が評価され、所望の不等式が得られる。 以上が私の大雑把な理解です。 対数リンクの構築(？)に無理があるとのことでしたが、どこに無理があるのかは私には読み取れませんでした。 どこに無理があるのでしょうか？ 797 名前：１３２人目の素数さん [2019/05/22(水) 09:00:44.29 ID:tP4NKFNb.net] >>760 あの日は売れたよ 大雑把な理解や不正確な記述は数学ではないね 798 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 09:13:41.47 ID:9cIEAmIH.net] >>760 数学書が売れるわけが無い。これはいつの世だろう� 799 名前：ﾆ透徹した事実だ 啓蒙書だから売れたんだよ。これもいつの世だろうと同じだ 世も末なのでは無く、必然の結果だ 世も末とかトンチンカンなことを言ってるおまえのほうがズレていることを知れ [] [ここ壊れてます] 800 名前：１３２人目の素数さん [2019/05/22(水) 09:25:05.72 ID:tP4NKFNb.net] 宣伝本や洗脳本やスキャンダラス本は 啓蒙書とはいわない 801 名前：１３２人目の素数さん [2019/05/22(水) 10:33:54.42 ID:ELL6lWjy.net] 言わないよな。2019年における人口の過半数がどうかは知らないけど。言って欲しくないな。 802 名前：１３２人目の素数さん [2019/05/22(水) 11:00:18.10 ID:b3q4bjnt.net] 数論の本なら、 「モーデル-ファルティングスの定理」を 勧める。 「初等的」な証明に感動したもんね〜 803 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 13:43:55.50 ID:IlbqDNo9.net] 証明なんか証明土方の仕事だからどうでもいいが そういう意味では望月も土方職人と言えなくもない もっとも、証明が正しければの話ではあるのだが 804 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 14:20:58.76 ID:vfA14a+U.net] >>766 ああ、「無理をして」という私の書き方がまずかったですね。ギャップがあると言いたいわけではないです むしろ工夫している。しかし、その代償として不等式しか出ないし、不定性も生じるということが言いたかったのです 805 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 16:36:53.05 ID:Gyu+1HpL.net] 明治敵な低数なんぞちゃんちゃらおかしいわけね 806 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 17:04:22.45 ID:9OIINzUU.net] >>773 そういうことでしたか。 不等式しか出ないというのは log-Kummer対応における対数殻間のKummer同型が対数写像との「両立性」を満たさないが「上半両立性」だけを満たすことにより 対数殻の次数(より一般には数論的直線束の次数)についての「等式」ではなく「不等式」が得られる仕組みとなっている ということですよね。 個人的には不等式や不定性が生じるよう「工夫している」というより 「自然とそのような仕組みになっている」という印象を受けたのですが ID:vfA14a+Uさんはどのあたりがどう工夫されていると思ったのですか？ 807 名前：１３２人目の素数さん [2019/05/22(水) 17:32:33.60 ID:b3q4bjnt.net] 横だが、 予想の結論が不等式だから なんとか工夫して不等式をだしているとか、 808 名前：１３２人目の素数さん [2019/05/22(水) 17:57:59.69 ID:nrcI0A9U.net] じゃあ等式で出せるだろ 809 名前：１３２人目の素数さん [2019/05/22(水) 18:00:45.51 ID:tP4NKFNb.net] 結論は不等式だからw 810 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 18:02:21.74 ID:gbBK7WS5.net] 結局擁護派は大タコ揃い 811 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 18:05:26.76 ID:vfA14a+U.net] >>775 対数テータ格子を構成するためにΘリンクと両立するように工夫しているという意味ですよ。あと、 ＞不等式や不定性が生じるよう「工夫している」 とは私も思っていません。所望の不等式は得られるけれども 結局は不等式しか得られないし、不定性が生じるということを私は強調しているだけです とは言っても、そういった不定性を逆手にとって再初期化したりスウィッチング特性を利用することがIUTらしさだと思っています まあ、対数リンクだけ取り出してを問題にしている人はいないと思いますけどね 812 名前：１３２人目の素数さん [2019/05/22(水) 18:17:29.26 ID:tP4NKFNb.net] SSレポートを始めから読む。 813 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 18:50:26.13 ID:9OIINzUU.net] >>780 なるほど、ご回答ありがとうございます。 ＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています ＞やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね の部分がどういう意味なのか気になって思わず質問してしまいました。 失礼しました。 814 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 19:13:30.58 ID:HRHdEclP.net] scholze at math.uni-bonn.de conrad at math.stanford.edu 815 名前：１３２人目の素数さん mailto:sage [2019/05/22(水) 21:17:33.84 ID:bsWMXhXz.net] 第四論文の基礎については、入れ子ループ構造についての話は当初は全くピンとこなかった 但し、「集合にはループ包含が成立しないがスケールのレベルを上げるとまた変わってくる」と言ってるけど、 これについては後に理解はできた coricity（canonical splitting）←→ラベルの哲学という意味で決して言葉遊びではないと思うけど、 模索しなが� 816 名前：迴曹｢てる感は否めないね それについて反論レポートにかなり本質が出ているけど、多様体や帰納的極限を例にしたラベルの弁護は 一見説得力があるんだけど、本当にIUTでの論証と同じような話と考えて良いのかどうかという問題もある [] [ここ壊れてます] 817 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 00:55:45.60 ID:/6/82kk4.net] IUT・�W最終節は、極論すれば「単遠アーベル的復元の論理学」、「“mysterious indeterminate isomorphism”の解明」、 「充満多重同型のトリセツ（取扱説明書）」のようなものだと思う あくまで個人的な見解だけど、タオがかつて書いていたように「最終節はIUTのABC予想証明とあまり関係ない」と捉えるならば、 SSレポートのように「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張、つまり単遠アーベル的復元は必要ない、 という主張をすんなり受け入れられると思う。それだけIUTの本質的部分が詰まっていると考えている この辺のことはBもGもよく分かっていると思う、特にBは名前も出てくるし（拝聴している光景が目に浮かぶ） 私はどっちの味方しているのだろうね（笑）。現段階では「従えない」という考えなんだけど・・・ “taste/aesthetics”という語をあえて使えば、私もこういうのはあまり好きではない 818 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 01:06:46.07 ID:/6/82kk4.net] SSが行った「単純化」の意味を考えてみると、それは「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張から来ているものであり、 当然これらの使用を認めれば単純化などできるはずがない。つまりSSレポートの脚注8にSSの主張の全てがあると言っても過言ではない 819 名前：１３２人目の素数さん [2019/05/23(木) 01:11:15.73 ID:wM1VXdR+.net] もうSSの話はいい。 もっちー先生が言うところの、「出鱈目な内容の残念な雑音」なんかどうでもいい。いつまで引っ張るんだ。 820 名前：１３２人目の素数さん [2019/05/23(木) 01:20:35.95 ID:UWapKZXD.net] パラダイム シフトとは 新地動説 「京都の私のまわりに世界が回る」 821 名前：１３２人目の素数さん [2019/05/23(木) 01:31:35.74 ID:qsJ1uarA.net] 787がいつまで引っ張ってんだ 終わりなんだよ 822 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 01:37:51.80 ID:/6/82kk4.net] まあ、私の考えでは、IUTは正しいと考えている人たちこそ最終節の内容を精査すべきだということです 電波ブログや怪しげな宗教勧誘パンフレット以下の駄本で満足している騙されやすい人たちには関係ないことですが 823 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 02:46:20.97 ID:M01VN93I.net] ふざけんなっ B本はjinさんがあれだけtwitterで褒めているんだからいい本に決まってるだろ！ 824 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 02:52:42.96 ID:4oqUdbQM.net] 大体今頃強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ てか、世界中で反論情報共有されちゃったのに対抗できるの？ 強弁してると地獄見るんじゃない？ 825 名前：１３２人目の素数さん [2019/05/23(木) 03:24:10.73 ID:zYILyzTE.net] 03-3953-8555特別区人事・厚生事務組合更生施設けやき荘東京都 新宿区西落合１−１８−１８　更生施設けやき荘 柳沢という「ひどく醜い女」が所長をやっている「犯罪施設　けやき荘」 佐藤という女の職員も大変、悪質な人物。 精神疾患で生活保護受給者を入所させて、入所者同士の虐めを放置。 同室で、入所のさいしおりにきちんと明記してある「室内で携帯の利用禁止」を破られていても「仲良しだから」と黙っていて、「 826 名前：咳がうるさい」という「何々さんは嫌いだから」 という虐めの論理に基づく幼稚な言動は放置。 一方の入所者が一人の入所者に「ここが嫌だ」というのを職員に告げると誰が告げたかトラブル回避のために教えず。 トラブル回避は結構だが場合によっては「気に入らない」という個人的感情からくる訴えでも「感情的理由からくる訴えか否か」ジャッジせず。 そういう、いわば「虐め」(こういう類の虐めのみならず「無視」という典型的虐めも含め)放置と容認。 それで入所者が家を失っている(失っているから居るのだが)どういう立場の人間であれ｢精神的に辛い」状況下。 怒ったのを「暴れた」と表現(立派な虐めが行われた結果｢感情的になったら即警察、精神疾患の人は、｢虐めを受けたから、つい一瞬 カッとなって声を荒げてしまった、と謝罪しても済まない、精神科医が赴いて(警察に)理由も聞かず、適当な診察、まして数分の診察で分かるというのが、不可解)「壁を叩いた」 等話を盛って書類に虚偽の記載をしても、世間の｢働いている人間はまとも、まともな人間は嘘をつかない」という偏見と思い込みに基づいた無茶がまかり通る。 書類に、盛った記載をし、警察を呼んだ事実を後に正当化。 呼ばれた戸塚警察は「ルール違反」を怒号で解決しようとするも、マニュアル対応で精神科医を呼ぶ。 [] [ここ壊れてます] 827 名前：１３２人目の素数さん [2019/05/23(木) 03:24:34.45 ID:zYILyzTE.net] そして、「ルール違反が原因ではなく、虐めを受けそれの結果、感情的になったら警察を呼ばれたという事実を警察が理解しておらず｢ルール違反」に関してそれこそ｢感情的な怒号を浴びせる」そして、精神科医の指示で入院。 結果的に自室がないというホームレス状態だから、入院先で住居探しをし、希望する物件に入居できず。 ｢入院前」は、言いたい事が理解できて(ゆえに、ルール違反に関して怒鳴り散らすという言動に至る)←は戸塚警察の言動である。 「入院前」は「ルール違反について怒鳴る」つまり｢言いたい事は理解していた」 入院前は｢言っている事を理解」し治療を行った後の「入院後」は「言いたい事がわからなくなる」(戸塚警察がである) 精神疾患＝統合失調症という偏見。統合失調症の症状も様々である筈だが｢言動意味不明」にすれば「きちんと話を聞かなくって済む」という様子。又、｢精神疾者に対するあからさまな侮蔑や侮辱」も戸塚警察では当たり前の様子。 更に｢外出するな」等の暴言も見られた。 又｢他人の事などどうでもいい」｢事前に入院が決定していたのでは」「これからある精神科の精神科医を呼ぶ」(脅しだったようで来ず、｢精神科医」を医療従事者ではなく「怖がらせる道具」と思っているところに｢警察の精神科医観」が現れている) けやき荘の側は、｢弁護士を」等後に電話で言いつつ、弁護士話の途中で電話を切り、電話自体を業務妨害であると言う。 虐めに遭った被害者の側が耐えられなくなるところまで精神的に追い込む。 第三者委員会とうも「設置してあるだけ」のようで、事実上何もせず。 この事実を理解した上で「足元を見てくる」 828 名前：１３２人目の素数さん [2019/05/23(木) 03:24:53.64 ID:zYILyzTE.net] 追い込まれた結果、怒りの感情(虐めまで起こっていてけやき荘は、自宅退去者が入所する施設だからホームレス状況で普通の人でも不安な状況下で更に虐め) を容認＆擁護＆推進。 　被害者側が耐えられなく感情的になったら(そこまでけやき荘の側で追い込む) 精神疾患者は、警察沙汰になれば内容がなんであれ精神科医を呼ばれる＆生活保護受給者だから社会的地位が低い事につけこむ。 警察(管轄内の戸塚警察では、施設内のルールも知らないのに、ルール違反と決め付け怒号) 呼ばれた精神科医も休日だから無能な人間が来る。 その結果、精神科に収容されて、自宅退去の身だから引越しのさい、難儀するのを承知で社会的弱者を追い込む。 やっと引越しが出来ても入院中という劣悪な状況下だから、希望する物件に入居できず。 その旨に関して問い合わせたら、それを警察に業務妨害と訴える。 大変、悪質な施設。 829 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 03:34:11.11 ID:4oqUdbQM.net] 大体今頃になって強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ 出版担当とかもいるか アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ てか、世界中で反論情報共有されちゃったのに対抗できるの？ 強弁してると地獄見るんじゃない？ 否定派が正しければ訴訟起こされても不思議はないぐらい 830 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 06:21:39.26 ID:Rmmxmw6+.net] 充満多重同型の具体例がよく分からんのだ 831 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 06:48:07.47 ID:cudtBCo2.net] Goサーベイの11ページより引用 Let C be a category. We define a poly-morphism A → B for A,B ∈ Ob(C) to be a (possibly empty) set of morphisms A → B in C. A poly-morphism for which each constituent morphism is an isomorphism will be called a poly-isomorphism. If A = B, a poly-isomorphism A →B will be called a poly-automorphism. We define the full poly-isomorphism A →B to be the set of all isomorphisms A →B. 832 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 10:55:52.37 ID:q2FLePRq.net] >>785 確かに絶対遠アーベル幾何、つまり基礎体を仮定しないという設定+実化はそこではかなり決定的なものです ただスキームの宇宙の無限列というとはっきり言ってロジシャンも数学者も意外とよくわからないと思いますね なのにそれについてのアクセスしやすいより初等的な解説がないのはかなり奇妙です 確かに望月氏が言うように、もう少し単純に考えて、絶対遠アーベル幾何の設定で様々な宇宙X_1〜X_n について考える、と言えばできそうに見える話ではあります。スキームXとYで関手を考える、というのは 普通にやっていることですからね 833 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 11:30:32.59 ID:q2FLePRq.net] 少なくとも構成的直観に訴える書き方ができていないのはコミュニティの反応から明らかだし Bombieriを含めて整数で変形理論の類似ができればなあ、なんてぼやいてる数論研究者は何人もいる だがHA理論すらそうした研究者にもさして注目されてこなかった 一般的なフレームワークだけ聞いたらできそうであっても、本当にできているのかどうかは全く別の話だ 834 名前：１３２人目の素数さん [2019/05/23(木) 20:00:50.41 ID:qss9/5RD.net] 代数解析のアイデアを中高生の問題から 明解に具体例で説明している。 日本より海外での評価が高い。 https://m.youtube.com/watch?v=-2EqfLLoD0A&feature=youtu.be 835 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 20:35:27.78 ID:pgv8RdjE.net] ×日本より海外での評価が高い ○日本でも海外でも評価が高い だろ 836 名前：１３２人目の素数さん [2019/05/23(木) 20:45:20.88 ID:iEmEh8MV.net] 何の進展もないし何の結果も出せないのはどうしてなの？ 837 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 21:58:49.87 ID:Vj8iNyHx.net] 間違ってるから 838 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 22:42:35.79 ID:/6/82kk4.net] >>797氏へ >>798（私ではありません）だけ見たら普通に同型にしか見えませんよね。星の入門１でも同じ説明になっています 実際は、「体に関しては非同型、副有限群に関しては同型」というものです。これは単遠アーベル的復元による同型です つまり、ノイキルヒ・内田のように2つの対象を比較して復元を論じているのではなく、単独の対象の絶対ガロア群から出発して 復元を論じるということです。ガロアの逆問題も絡んでいてどの� 839 名前：謔､な体なのかも分からないのです さらに忘却関手を強調しており(forgetting the “histories of operations”)、再初期化できるミステリアスな同型です この“mysterious indeterminate isomorphism”がIUTにおいて中心的な役割を担っています ちなみに、SSは情け容赦なくこの同型を「不必要・無意味」として切って捨てました（MとHがSSを納得させられなかった） [] [ここ壊れてます] 840 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 22:49:06.35 ID:/6/82kk4.net] 書き忘れてました 忘却関手(forgetting the “histories of operations”)を強調しているだけでなく、 単遠アーベル的復元によって生じる2つの不定性（クンマー離脱不定性、エタール輸送不定性）も生じているので、 充満多重同型は“mysterious indeterminate isomorphism”（エイリアン・コピー論文より）なのです 841 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 23:13:54.01 ID:/6/82kk4.net] >>799 実際、IUTを完成させるまでの着想をそのまま書いたという感じですね。で、突っ込まれたらこれで説明しようという感じです 現状のIUTに対する評価を考えると、これを整備して理解してもらうことから始めた方がいいのかなという感じです アブストラクト読む限りでは手伝ってくれそうな数理論理学者もいるようなので上手くいけばいいですね・・・ 842 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 23:27:49.52 ID:/6/82kk4.net] 失礼しました アブストラクトではなくAcknowledgementsでした 843 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 23:59:12.71 ID:4K7ltZ3j.net] >>798 はワシです。 望月氏の造語癖は一体なんなんですかね。 望月語を標準用語に置き換えれば、 IUT論文はもっと読み易くなるはずです。 844 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 02:11:24.54 ID:IO8EX7ar.net] 「突発性バカ」になる高学歴出身者の共通点 https://headlines.yahoo.co.jp/article?a=20190517-00028689-president-soci&p=3 845 名前：１３２人目の素数さん [2019/05/24(金) 02:45:43.26 ID:8IGKuOiQ.net] 加藤文元のIUTの衝撃とやらを読んだ なぜか栗原将人の「ガウスの数論世界をゆく」を思い出した そこには 「私はこの本を片手間には書きませんでした。研究論文を書くときと同じように数学する魂をこめたつもりです。数学の発見のおもしろさを伝えるためには、数学の魂がこもっていなければならないと思ったからです」 とかいてある。 著者の感動した数学が高校生にも分かるように丁寧に説明してある。 珠玉の数学入門書である 翻ってブンゲン本はどうか 焼肉がすきとか数学にしても数学業界のプロならあたり前の常識的なことが粗雑に書いてあり著者がIUTを理解しようとした形跡すらない　当人のこの本に対するスタンスはおそらく 「私はこの本を片手間に書きました。私の研究論文を書くときと同じように数学する魂がこもってないです。売れる本を書いて人気者になるには、知り合いをつかって話題性を利用しない手はないと思ったからです」 というところであろう 望月新一のとりまきに低レベルが多いことに同情する 846 名前：１３２人目の素数さん [2019/05/24(金) 03:06:50.78 ID:ZfCfbz1w.net] ミステリアスなIUTは圏論用語を使うも、 テンソル代数などの普遍性を特徴とする 普通の圏論理論に基かない、基づけない んだね。 ま、中世で アリストテレスを巡る普遍論争 の論理以下だわ。 「数理」論理を使って普通の論理が でてきたら錬金術としか思えない、 847 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 07:19:08.81 ID:736jaDlo.net] >>812 衒学趣味要らない 848 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 07:40:12.77 ID:gQjHvPFD.net] san値ピンチmochiピンチ！ 849 名前：１３２人目の素数さん [2019/05/24(金) 08:14:54.26 ID:OTH5Nu2I.net] >>813 IUTは不要だな 850 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 11:48:07.26 ID:CyavMT2t.net] >>798 単なる全ての同型の集合を充満多重同型とか仰々しい言い方をしてるの、これ？ 851 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 11:59:40.97 ID:cxqFnmjM.net] >>816 Yes 852 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 12:04:30.67 ID:cxqFnmjM.net] 分脈によってはただの同型を「輸送」や「リンク」などと読んでおり キモいとしか言いようがないという・・・ 853 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 13:27:55.01 ID:cdkWT2mw.net] >>806 >>812 これは個人的には予想通りなんですが、KedlayaはHoTTと関連付けうると考えているようです IUTTはガロア圏による分裂を利用した一種の二次元圏としてのモジュライ理論ということもあるが、 プログラム言語+ホモトピー代数 という発想からも、ある意味で誰にでも思い付く雑な観点でもあるし、実際彼は期待込みでしょう 分裂と言えば分裂ですし、直感的には遠アーベル幾何学で環の忘却を取り、Anabelioidからスキームの宇宙への ラベルindexによる逆極限を考えている事になる ただ星さんの言い方を真似ると、pilot-objectの実化による埋め込みが自明か非自明か、それを含めて 理論が間違いであるかどうかはギリギリの境界とも言えますw 　 この埋め込みが普通の数学者には宙に浮いた絵空事に見えてしまうということです 854 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 13:44:00.21 ID:cdkWT2mw.net] ↑訂正 逆極限→余極限 855 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 14:56:11.06 ID:736jaDlo.net] >>815 IUTはまだわからない >>812はハッキリ不要 856 名前：１３２人目の素数さん [2019/05/24(金) 15:33:37.12 ID:OTH5Nu2I.net] >>821 >>397と矛盾している。 857 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 15:52:09.28 ID:736jaDlo.net] >>822 私は>>397を書いてないから>>397と矛盾しないように書く必要はない。 858 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 16:38:14.81 ID:+EL9CLNd.net] さあ今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ 　　　　 ∧＿∧　どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ 　　　　<丶｀∀´> 　　 　∧＿∧ 反論も検証も無理だからいつもの論点すり替えて僻みにするニダ 鮮人のせいにして憐れみ請うニダ 　　　 ／ 　　　 ＼　 　（　　　　）詭弁と強弁とポストチラつかせて寄生ﾀﾞﾆ工作員増やすニダ　 .＿＿|　|　　　 .|　|＿　/ 　　 　 ヽ ||＼　￣￣￣￣　　 ／ .|　　　|　| なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ ||＼..∧＿∧　 　　(⌒＼|_＿./ ./ 数少ない擁護側のTaylorを何回も来日させといて拡がりより途中の検証を先にやれよ諦めたか ||.　 （ 　　　）　　　　 ~＼___＿_ノ|　 　∧＿∧ 幕末の志士気取りでおこぼれ狙いがミエミエでさもしいんだよクズ野郎が 　　/　　　ヽ　厚顔無恥の馬鹿？＼| 　（　　　　） 不利な点はスルーで数日で復活とかハイエナゴキブリ並みの行動力 　　|　　　　　ヽ　　　 　　　　　　　＼/ 　　　 ヽ. 無防備な学生やら利得関係者相手にゴリ押し洗脳新興宗教かよ 　　|　　　　|ヽ、二⌒) 　　　　 　　／ .|　　　|　| 数々の指摘の反論ができないってどういう事だよ 　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 6月のＮスペはどうなったんだよペテン師野郎 . 4月末で潮目が変わるんじゃなかったのかクソ野郎 . モノ書きのホモサピエンス野郎キショいんだよ . 完全 859 名前：理解者のＧとＦはどっちが正しいの [] [ここ壊れてます] 860 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 17:43:13.91 ID:cg3gRMT9.net] NHKスペシャルはいつ放送されるの？ 861 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 19:49:54.49 ID:3K6Q9U7V.net] >>811 栗原の本は良い本で学部生が一度自分で計算しつつ読めばいいと思うが 売れてるのはブンゲンだな 栗原に限らずあの種の数学書が1万冊売れることはまずない 862 名前：１３２人目の素数さん [2019/05/24(金) 20:34:52.54 ID:cSuel15P.net] B本は寄稿 あとがき も含めIUTそのものだ。 863 名前：１３２人目の素数さん [2019/05/24(金) 20:37:39.26 ID:TX4t1mft.net] 　　　　　　　∧__∧ オボちゃんも最後の最後まで認めなかったからね！ 　　　　　　（´∀｀　） 研究室のスタッフや関係者が疑問に思わなかったとこがスゴイね! 　　　　　　 （⊃⌒*⌒⊂) キタナイとこは隠すからね！気付いた有能な人はもう離れてるよね! 　　　　　 　　/__ノωヽ__） Examples of triples with small radical と値が同じだけどどうして？ マッサーかとおもうけど著者と連絡取り合って数字合わせをしたとかはないよね？？ でもεの上界値だけで証明になるの？ 明晰的な証明だと先にアメリカで論文出てるよね？ アメリカのドメインからは直接見れないってだけでProxy経由で簡単にアメリカからでも見れるよ！ ｋ上が運営に手回して小細工で見れないようにしたとか？ てか、世界中で反論情報共有されて説明できるの？ 今年もめぼしいワークショップ開けないのはそのせい？ 原●が落ちるまで幸福しなかった日本はバカなの？ 強弁してると地獄見ちゃうんじゃない？ 864 名前：１３２人目の素数さん [2019/05/24(金) 21:02:51.65 ID:AGiHugmg.net] 　　　　　　 （⊃⌒*⌒⊂) 　　　　　 　　/__ノωヽ__） 865 名前：１３２人目の素数さん [2019/05/24(金) 21:04:34.07 ID:AGiHugmg.net] 　　　　　　　∧__∧ 　　　　　　（´∀｀　） 　　　　　　 （⊃⌒*⌒⊂) 　　　　　 　　/__ノωヽ__ 866 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 21:49:31.41 ID:ipyIwybG.net] >>812 この変な口調のガイジってずっとこのスレに居着いて知ったかぶりして的外れなレスばっかしてる 867 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 22:10:10.47 ID:GKZ+Mak2.net] >>831 ミュート推奨やで 868 名前：１３２人目の素数さん [2019/05/24(金) 22:31:43.66 ID:NOsrAx4p.net] キーワードは 錬金術 869 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 22:39:41.68 ID:qZ9O4dWU.net] 練炭術とか学ぶなよ 870 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 22:48:28.98 ID:cdkWT2mw.net] でもこのスレの>>806さんはともかく、このスレでは基本的にはSSの反論が正しいだろうって意見が 多数なのかね？と言ってもたくさんいるわけじゃないだろうけど 他にここがおかしいんじゃないか、逆にここがこうだから正しいって意見を持った人はいるのかね？ 871 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 22:57:39.09 ID:Xs6myDgs.net] なに見ていってんの 擁護なんかしてるの研究室関係者とB周辺ぐらいしかいないじゃん 872 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 23:04:04.05 ID:kdozHMyA.net] 数学素人がいるやん 873 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 23:16:15.82 ID:cdkWT2mw.net] >>836 ああこのスレ自体にそんなたくさん人がいるわけではないって意味で書いた 大局は当然IUTT不利だろ 874 名前：１３２人目の素数さん mailto:sage [2019/05/24(金) 23:53:29.64 ID:3K6Q9U7V.net] >>835 SSが「正しい」かどうかはともかく 論文の批判に対して望月らが正しく答えてない 何年も経って技術的な疑問が出てきたのに 「理解者」を自称する人たちもなぜか反応が鈍い IUTが数学として正しいかどうかはわらないが 査読なり出版のプロセスとしては現状では正しくない 875 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 01:11:47.42 ID:eugJ2Dr/.net] >>839 それも意地悪な見方をするとよくわからん 理論が正しいかどうかわからないならば、あの反論レポートが本当に不足するのかもよくわからないのでは？ 少なくとも結構頑力入れて書いたとは思うな 876 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 01:14:47.42 ID:uOiNeimN.net] >>840 もっちーが頑張って直したのは確かだが それならなおのこと自称・理解者たちの沈黙が謎 もっちーが相手を素人呼ばわりする前に 彼らが何か説明できることがたくさんあったと思うんだがな 877 名前：１３２人目の素数さん [2019/05/25(土) 02:05:23.91 ID:G8IHWG3V.net] 不勉強な人たちにいくら説明しても無駄だろう。理解の前提となる最低限の準備の勉強をしてないんだから。 878 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 02:42:58.08 ID:eugJ2Dr/.net] それも何か違うんじゃないか 復元アルゴリズムの理論が数体のスキームの大域的な情報を構成できるんだったら、今頃とっくにそこだけでも Perfectoid並に浸透してるんじゃないの？グロタンディークやLurieの抽象的な理論は受け入れられて、 その更に深化であるはずの圏論は注目されないのか？圏論屋云々言うが、FrobもAnabも数論以前に圏論屋すら 大して注目していないように見える。一体どうなっているのか？ 879 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 06:12:20.84 ID:u8oZmxly.net] >>825 6/30夜 のはずが延期されたという噂も流れてる 880 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 11:56:31.59 ID:qnGsKkYU.net] どんな形の番組か知らんが放映後に間違いでした〜とかとなると 個人の書いた本と違い公共放送の責任が大きい まああのテレビ局も社会的責任とか感じなくなってるようですがw 881 名前：１３２人目の素数さん [2019/05/25(土) 12:41:14.26 ID:iXQWuxWn.net] 文科省の部会は根拠不明な資料に基づく議論だ 文科省 大学院部会（第75回) 議事録 【岡本委員】 「5年間やって，その後，これをどう定着， あと5年後に例えば同じことをやって， ちゃんとそれがどの程度定着しているのか といったような，この計画はあるのか」 【藤田日本学術振興会課長】 また，経過後のフォローということに つきましても，今のところは予定は ないという状況です。 ↓ 資料5 研究成果例 G08 京都大学 数学のトップリーダーの育成 宇宙際タイヒミュラー理論 -数論におけるブレークスルー- 日本学術振興会による京大GCOE 事後評価にIUT関連の記載がない。 また、その後の経過のフォローもない と課長が断言。 資料5の記載は根拠不明。 大学院部会（第75回) 議事録 2015年 5月13日 www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1365902.htm 資料5 www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1360382.htm 882 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 13:34:16.62 ID:ygtEzePq.net] ネタもいいけどこういう情報はマジ参考になる 形式上公開されているが事実上アクセスが困難、というパターン 883 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 13:59:50.83 ID:xna1+nEu.net] >>843 唯一公けで書いているロバーツですら辛辣になってきましたね。“private fan dance”とまで書いています Anabelian geometry 〜 higher category theory ttps://mathoverflow.net/questions/331349/anabelian-geometry-higher-category-theory 私も以前「圏論を偽装しているのではないか」と書いたことがありますが、ロバーツもほとんど同じことを言い始めてますね 彼の関心はIUTそのものではなく、それを叩き台にしてトポスなどを考えることにあると思います ショルツ、スティックス、コンラッド、ロバーツのような人たちこそMは対話者、相談役として大事にすべきだったと思いますけどね 良薬は口に苦 884 名前：し、とはまさにこのことです [] [ここ壊れてます] 885 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 14:40:09.71 ID:y1I1nw9S.net] NHKのソースは？ 886 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 14:49:37.03 ID:xna1+nEu.net] 6月にNスペ云々という話は↓のことだと思ってたんだけどね 復元！「モネ・睡蓮」〜蘇るか“奇跡の一枚”〜 （仮） ttps://www6.nhk.or.jp/special/detail/index.html?aid=20190616 一応、IUTのメタファーにはなる 現状、B本のような内容で放送したら、奇跡の詩人や佐村河内の時と大差ない 強いて作るならリーマン予想の時のド・ブランジュに近い扱いしかできないだろう、NHKに良識があるならば このスレにはフェセンコのアジビラUP前に内容に触れた「部内者」「事情通」がいたから真偽のほどは分からんね 887 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 15:40:12.59 ID:QOG0Bkyh.net] 研究評価についてIUTは遅れているって自分らで書いているんだからマシな方だよ。 全プロジェクトがうまくいくわけないんだし。そもそも 文科の金のばらまき方自体、偉い研究室に金出しとけばいいだろ的なアホ発想だし 888 名前：１３２人目の素数さん [2019/05/25(土) 16:18:43.97 ID:iXQWuxWn.net] プログラム」 数学のトップリーダーの育成 − コア研究の深化と新領域の開拓 (平成20年度採択拠点)事業結果報告 及び 事後評価結果 https://www.jsps.go.jp/j-globalcoe/data/h20/G08.pdf ↓ 事業結果報告と事後評価結果には 宇宙際タイヒミュラー理論も 国内外の主要メディアも 記述なし 889 名前：１３２人目の素数さん [2019/05/25(土) 16:23:13.20 ID:iXQWuxWn.net] >>852 プログラム→GCOEプログラム 京大 890 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 19:07:26.66 ID:ygtEzePq.net] >マシな方 下げ相場 絶賛継続中 891 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 19:17:46.16 ID:xna1+nEu.net] フェセンコのアジビラの一つ、 "About certain aspects of the study and dissemination of Shinichi Mochizuki's IUT theory" ttps://www.maths.nottingham.ac.uk/plp/pmzibf/rapg.pdf これ、かなり書き直されているね。私がDLした初版(2018?年?10?月?3?日にDL)と比べるとアメリカの数学者（特にコンラッド） に対する罵倒が全て削除されている 本人が反省したのか、望月とコンラッド両者と親しい誰かさんに注意されたのか知らんけど。沸点低すぎるよ ニュー・サイエンティスト誌ではSSのことを悪党呼ばわりまでしていたし 892 名前：１３２人目の素数さん [2019/05/25(土) 20:03:07.43 ID:EHa0PByC.net] みっともないの極みだな。 893 名前：１３２人目の素数さん [2019/05/25(土) 21:28:59.00 ID:qnGsKkYU.net] 乱暴な物言いをしたら本人が信用を失うだけ これで論文取り下げにでもなったらどうするんだろうな どうもしないんだろうけどさ 894 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 21:36:45.71 ID:mmx9uVt0.net] 映画「Z」で禁止されてそうな現代数学やってた偏屈そうなグロタンなんて大学すらやめちゃったからな 政治的抗議で 895 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 22:51:22.42 ID:Wa/WdL3x.net] >>848 まあ望月さんからしたら圏論は一つの道具であって、単遠アーベル幾何学的な解析的情報、変異のほうが 肝心だということになるんでしょうけどね RobertsからしたらIUTTの格子は圏だから、そんな情報は自然には含まれないということになる ここには一つ罠もあって、繊細に扱いたいとか言っておきながら理論では系列の全体を見て非可換性に 対処 896 名前：するということをやるわけです つまり、理論の全体情報を扱うために充満多重同型を利用してしまっているw こうなると今度はSSですね 解析部分の組合せ変異について考え組合せ論的な＝ガロア理論的な変形を論じたいのはわかります しかし、やはり厳しいのではないかと思います Stixもアイデアがあったらとっくに提案しているのではないでしょうか [] [ここ壊れてます] 897 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 23:00:26.35 ID:Wa/WdL3x.net] ついでに言うと、同型なunderlying structureの上に非同型な対象群を考えたいのもわかりますが 理論が使っている論法はそうした問題を扱うにしてはまずい、粗いのではないかという事でもあります 898 名前：１３２人目の素数さん mailto:sage [2019/05/25(土) 23:21:56.82 ID:Wa/WdL3x.net] しかしいくらスキームのガロア作用を扱うからってラグランジアンは言い過ぎじゃないかなあw 奇をてらってるとしか思えないよ 899 名前：１３２人目の素数さん [2019/05/26(日) 00:31:16.55 ID:78EFXtTh.net] 圏論屋はバカしかいない。 900 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 02:57:00.12 ID:59elnCoM.net] まあSSって勘違いしているよね()って言ってた日本人連中が当然反論レポートを出してくれるだろうから楽しみに待て 901 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 05:07:34.27 ID:6tSILtN6.net] 次の本のタイトルを予想 「なぜ私は間違えたのか」曼荼羅から伽藍へと続く道 2度もおいしい思いをするとはやるなー 902 名前：１３２人目の素数さん [2019/05/26(日) 05:16:10.56 ID:TfuOg7es.net] IUTの特徴 罵倒 錬金術 洗脳 根拠不明 圏論の単語を濫用 903 名前：１３２人目の素数さん [2019/05/26(日) 09:31:05.86 ID:bgPimyo4.net] B本は「敢えて数学的に深い内容を書くことは避けている」と書いてありますが もう少し詳しい内容を書いても良かった気はしますね それとB氏のツイッターとか見てても売れていることを喜んでいることは良いんだけど 方向性が少しずれているような・・・ でも自分も本は買ったし、応援してます 904 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 10:17:45.81 ID:892KbnCu.net] 詳しく書き出したら本の厚さがすぐに倍になるでしょ 望月の論文が長大なように啓蒙本も長大になるw それはやってはいけないんだよ。売り物にならなくなる 本屋の在庫スペースを無駄に占拠するしディスプレイ向きの本でも無くなるからな Bの判断は完全に正しい。Bみたいのを有能というんだよ まったく理解できてないやつが若干名いるようだがw 905 名前：１３２人目の素数さん [2019/05/26(日) 11:03:24.61 ID:8U0XlvO7.net] エンターテイナーならやるだろうな 学会とか海外での発言力をあきらめたんだろ 906 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 11:08:17.65 ID:LjuHE47e.net] 左遷食らって最期の賭けとしてはいかがなものか 907 名前：１３２人目の素数さん [2019/05/26(日) 12:22:14.23 ID:1mfE1Yyj.net] Bは、タレント教授を目指しているのだろう。 学問の進展より大衆受け。 A井N子路線か？ まじめに学問するふりはしているけど、実態はちがう。 908 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 12:25:49.80 ID:LR5zQL3S.net] 彼はアドレナリンを司る中枢神経が若干正常な人とは異なるようだ 要するにその時だけ多少世間の耳目を集めたいだけなのだ 例の講演や内容、その後のレビューなどどうでも良く、悪くいうと●栗さんの出来損ない 909 名前：１３２人目の素数さん [2019/05/26(日) 12:52:08.58 ID:bgPimyo4.net] 本が売れている＝理論自体が正しくて、また正しく理解されている ということではないと思うんですよね 当然のことですが、一般人に沢山本が売れても数学的に正しいということにはならないでしょうし 啓蒙書を出すのは良いと思うんですが、そこだけが少し気になります マジレスで恐縮ですが 910 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 15:49:54.81 ID:5pWHK6mr.net] >>872 誰もそんな 911 名前：主張はしていないわけだが 本を出すなら売れないより売れたほうがいいだろ？ 君は売れる為の着眼点を持てるのか？ということだよ これも才能ってことだ ここにいる大部分はそんな着眼点を持つどころか反感すら感じてるようなボンクラに見受けられる どうせそのなかの何人かは売れて羨ましいという嫉妬だしなw 再度言う 「才能が無ければ出せなかった本である」 [] [ここ壊れてます] 912 名前：１３２人目の素数さん [2019/05/26(日) 15:53:22.29 ID:bgPimyo4.net] >>873 いや売れてることに大喜びしてるのは良いんだけど ちょっとピントがずれている気がしてね・・・ これ以上は水掛け論になりそうだから遠慮するけど 913 名前：１３２人目の素数さん [2019/05/26(日) 15:55:08.00 ID:bgPimyo4.net] 自分はどっちかというとIUTとか応援したい側なんだけどね 914 名前：１３２人目の素数さん [2019/05/26(日) 15:56:31.53 ID:h2YlkAqP.net] 知り合いだっただけじゃねーかｗｗｗ 915 名前：１３２人目の素数さん [2019/05/26(日) 16:01:49.44 ID:a6zmhz6/.net] Bさん、乙 916 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 16:08:29.54 ID:oNHMLx1K.net] 「真理」と「興行的成功」は、別の尺度だから両方の乖離が激しい分野 については、前者を担保するためにある程度、国家として(=税金を入れて)やったほうが いい そういう視点で見たとき、たとえばIUTは真理/税金のコスパどうなの？　という話では？ 917 名前：１３２人目の素数さん [2019/05/26(日) 16:09:36.39 ID:VNXCj7mW.net] つまり売れるかどうかだけを考慮して書いた本だと 918 名前：１３２人目の素数さん [2019/05/26(日) 16:13:16.58 ID:DfhvSDWs.net] >>873 >>872 誰もそんな主張はしていないわけだが >本が売れている＝理論自体が正しくて、また正しく理解されている ということではないと思うんですよね 相当気にしてんだな激しくワロスｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ 919 名前：１３２人目の素数さん [2019/05/26(日) 16:37:19.44 ID:gVZVmGfp.net] >>876 有名人と知り合いになれるのもまた才能だなw >>878 まあ今はどんどん金のほうに国も価値観を置いてるから そうすると国全体がダメになるのは確かだが 年金とか終身雇用とか新卒採用とかの最近の流れ見てたら 真理か興行かとか以前にとっくに日本の将来は真っ暗なわけで 920 名前：１３２人目の素数さん [2019/05/26(日) 17:45:26.80 ID:dvkgmZIP.net] そりゃ妄信的に本買って信じるやつがいるんだから真っ暗だわな 921 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 19:30:48.44 ID:ebDTLF0P.net] >>870 タレント教授擁護するみたいになっちゃうけど 特に数学は才能ない人が真面目に研究しても意味ないんじゃねって思う 922 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 19:35:24.40 ID:XLihhTwW.net] 手術が苦手で逃げ出した、鬱病にもなった - ノーベル賞・山中伸弥氏 - ログミー logmi.jp/business/articles/37600 923 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 19:52:39.41 ID:2zUmb6cz.net] >>859 Mからすれば圏論は道具の一つかも知れませんが、そもそも舞台はガロア圏であり、フロベニオイドも一種の圏です 道具どころか圏論はIUT劇場の舞台そのものですよ、そこからホッジ劇場も作っているわけです 結局、Mは個人的な理由で遠アーベル、特に単遠アーベルを使いたかっただけなんですよ SSが書いているようにクンマー理論による自然同型で十分だったわけです 言い換えると、Mは入れ子式な構造をどうしても作りたかった。その説明として種の言語と突然変異を持ちだした しかし、扱っている素材（フロベニオイド）と舞台（ガロア圏）は圏論に基づくものだった ならば圏論と、種の言語と突然変異を混ぜちゃえばいい、という非常に安易で浅はかな考えです まともな、ちゃんとした数学者でIUTを独創的だと思っている人は私の知る限りでは一人もいませんね 名前を出すのはまずいので書きませんが、SSがフロベニオイドのことをver 924 名前：y elementaryと書き、 充満多重同型とラベルの使用を切り捨てたことについて「当たり前だ」という意見がほとんどです [] [ここ壊れてます] 925 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 19:58:07.18 ID:2zUmb6cz.net] だいぶ前にこのスレでZFCGを「ZFCM」と書いた人がいましたが、IUTの宇宙はMochizuki宇宙ですね 突然変異するグロタンディーク宇宙です。遺伝的有限集合？何それっていう感じです 926 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 20:01:26.01 ID:2zUmb6cz.net] たぶんMはMochizuki宇宙（仮）こそがグロタンディーク宇宙の進化・深化だと思っているのではないでしょうか 927 名前：１３２人目の素数さん [2019/05/26(日) 20:29:54.50 ID:Yc8R4BzD.net] >種の言語と突然変異を混ぜちゃえばいい スピロ予想が出口 逆に SSレポのように 入口と出口の両方から調べると 中間が解明されると思います。 928 名前：１３２人目の素数さん [2019/05/26(日) 21:13:21.58 ID:1mfE1Yyj.net] >>883 A井N子に関しては活動そのものが負に思える。 数学の代表の発言みたいに思われると甚だ不愉快。 Bみたいに、IUTを理解しているか怪しいくせにIUTが正しいということを世間にアピールするのはペテンでしょ。 929 名前：１３２人目の素数さん [2019/05/26(日) 21:35:40.29 ID:3N8o6/sK.net] >>873 主語の本と論文を入れ替えると相当もっちーに失礼になる 930 名前：１３２人目の素数さん [2019/05/26(日) 22:11:23.66 ID:ILuMJCmh.net] 圏論屋はバカ 931 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:21:39.72 ID:gVZVmGfp.net] >>889 数学界全体がバカだと思われるような行動を繰り返して 自分だけが丸儲けするというパターンが今後増えるかもな 「才能がないとペテンもできないのである」 932 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:27:57.86 ID:jZUyK45j.net] am〇zonで「IUT理論の衝撃」が絶賛されてるな。 星5が6個、星4が3個だよ。 星2以下は無し。 凄いな。 933 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:31:46.82 ID:WnL9Acrt.net] 間違いだったらホリエモンみたいな扱いで黙殺されるよ可哀想に 934 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:35:25.38 ID:e6eC/b7l.net] カネひろい、信失いてあはれかな 935 名前：１３２人目の素数さん [2019/05/26(日) 22:39:29.76 ID:2tps2dbX.net] >>885 ただIUTに懐疑的で更にScholzeとも親しい間柄のあの人は、ssレポートには少しばかり批判的なんだよね IUT4に致命的な問題があるって言う人もいるし まあよくわかりません 936 名前：１３２人目の素数さん mailto:sage [2019/05/26(日) 22:42:07.91 ID:1tEl22sy.net] >>894 せめて数学会の丸山○員ぐらいにしとけよｗ　 937 名前：１３２人目の素数さん [2019/05/26(日) 23:27:33.86 ID:KefLQEwv.net] >>893 あとがきを参照のこと 938 名前：１３２人目の素数さん [2019/05/26(日) 23:32:27.02 ID:KefLQEwv.net] B本を買って読みました。 数学本ではなくIUTそのものの本です。 939 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 00:25:58.81 ID:K3OV6NEx.net] >>885 permutationとmutationは語感が非常に似ていますからねw いや、笑い事ではなく一理はあるんでしょう。ただ素朴な感覚として、これを空間基点の取り換えを含めた 「スキーム宇宙のコーディング」として、ないしはその関手的リンクとして扱うのはちょっと理解できない IUTの思想的なルーツを考えたら、ある意味ではグロタンディークのガロア理論とリーマンーロッホ理論です そういう意味では興味深いのは確かだが、非常に基本的なレベルでは、スキーム宇宙のコーディングと ラベルという理屈自体も無理に感じられる。これは実解析的値群の位相群について考える以上に飛躍的に見える もっとざっくり言うと、絶対ガロア群の組合せ構造と空間情報に対応があるという話を スキームの宇宙の間の超幾何学的な話に持っていくのは何か根本的に飛躍的だと思うんですが、 それが個人的にはよくわかりませんね。アイデア自体についてもいまいち違和感があるのはそこの部分です 思想的なルーツは上の通り、ある意味正統なんですけどね 940 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 00:29:47.46 ID:K3OV6NEx.net] しかしある意味では「数論的な重力場の幾何学」を、量子論的な不定性と共に論じたか 941 名前：ったんだなあと わかった今、ロマンは感じる。誇大妄想的なのかロマンなのか、いまいちよくわからないが… [] [ここ壊れてます] 942 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 01:16:33.84 ID:hYES4wtP.net] IUTでの不定性は量子論での不定性と全然違うだろう。 作った本人もそんなこと言っていないし、読んでいてもどこにそんなアナロジーがあるのかわからない。 943 名前：１３２人目の素数さん [2019/05/27(月) 01:57:56.77 ID:SCa5nclw.net] 単語の寄せ集めだけ見てナンセンスな関連を勝手に妄想する。 トンデモさんあるあるやね。 944 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 02:02:15.54 ID:hJOCWHLF.net] きっとID:K3OV6NExはオツムに障害を抱えた可哀想なヤツなんだよ そっとしといてやろう 945 名前：１３２人目の素数さん [2019/05/27(月) 04:08:32.18 ID:77uv4GKX.net] この機に乗じて金儲けを企んでいるバカは圏論屋だろう。 946 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 05:40:03.01 ID:leuBB3FJ.net] Nスペ延期 947 名前：１３２人目の素数さん [2019/05/27(月) 06:20:10.60 ID:BVw7ECDZ.net] B本のMの寄稿を読め。 Mが相対論 量子力学 素粒子を持ち出して 不定性に触れている。 IUTは 壊れたガラクタだ 948 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 11:10:23.22 ID:2xO4P8KW.net] 902〜904の悲しみ 949 名前：１３２人目の素数さん [2019/05/27(月) 11:56:15.19 ID:77uv4GKX.net] 勉強不足で理解が薄っぺらだとM先生にたしなめられた圏論屋のDavid Roberts. アホ。 950 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 12:48:52.81 ID:IYdkfYES.net] IUTってどうして海外では全く評価されてないの？ 951 名前：１３２人目の素数さん [2019/05/27(月) 12:52:38.27 ID:EwimRNVh.net] 国内でも関係者だけだろ 実名で評価賛同する人を募っても１００人はいないんじゃないの 952 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 12:58:54.27 ID:rdldN4G7.net] 前までは理解が進んでないからとか言い訳できたけどこのスレだけでも国内から 数多くの異論や反論が噴出するともう無理だろ 理性を欠いてアイドルグループや球団の応援したいってなら別だけど 953 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 13:05:19.60 ID:3a6cUmJk.net] >>912 異論反論が噴出するとどうしてダメなのかが理解できないのだが？ 異論反論が噴出するのはむしろポジティブなことなんだが 954 名前：１３２人目の素数さん [2019/05/27(月) 13:17:06.43 ID:E+5zGfff.net] 学術的に全く回答できてないじゃん 　 955 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 13:25:13.22 ID:DKLKxTmS.net] 自称理解者のB先生がきっと懇切丁寧に反論してくれますよ〜ん １万年先ぐらいに 956 名前：１３２人目の素数さん [2019/05/27(月) 13:41:54.78 ID:Ugp6JlDL.net] >>909 はだかの王様 957 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 13:50:56.16 ID:MWhq6T1K.net] 数多くの異論や反論は全て無知によるものというのが支持者の考え それはそれで実は支持者たちが正しいかもしれない ただその支持者たちはサーベイしか書けてない 958 名前：１３２人目の素数さん [2019/05/27(月) 13:51:05.60 ID:oWluxuMy.net] 俺は以前にもスレに書いた入門解説を流し読みして マスパワー動画見て、文元本読んでる段階のオカルトマニアだけど たぶん反対派は『数学的に空間が持ち得なければならない性質』そのものを理解できてない あるいは、理解しようとしてないから 無限の入れ子構造とそれが必然的に齎す不定性の発生を受け入れられてないんだよ 俺は数学者ではないから、マスパワー動画のように中学生でも分かるように書くけど 空間ってのはそれ自身にとっての体積や表面積、そして空間中における座標を情報として保持できるだけでなく 空間における各素点においても、拡縮によって無限の情報を内包できなければならない 同時に、それらの各素点そのものも視点を変えた時に空間として成立しなけりゃならん 例えば、空間(体積)『30』は2,3,5の3つの素� 959 名前：�数積2*3*5で表現される 同時に、空間『30』は互いに素な1,7,11,13,17,19,23,29の8つの互いに素な自然数を持つ これは、1+7+11+13+17+19+23+29=120の情報を持つってこと 同時に、1a+7b+11c+13d+17e+19f+23g+29hの拡縮による無限の情報を持つ 更に、1*7*11*13*17*19*23*29=215656441の空間(体積)としての情報をも持っている これは無限に繰り返される この数学的な空間の持ち得る性質をIUTが説明しているし その際に不定性がでるのは仕方がない、なぜって無限の各素点における演算をしなければ空間を定義できないから さらに言えば、3次元空間の場合はおそらくはポアンカレ予想のように最終的には8種の素因数によってまとめられる ここを理解さえできていれば、IUTは実に自然な理論に見える 俺は直感的にしか理解してないが合ってるはずだ つか俺がマスパワー動画見たの昨日だから、無限の入れ子構造って俺も使ってた表現を文元も使ってたのはびびったわ まだ文元本110pでようやく言い訳終わって3つ組やってる段階だからなｗｗ [] [ここ壊れてます] 960 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 13:53:56.88 ID:MWhq6T1K.net] 数学者でもなくB本の読者から強力な支持者が 961 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 14:03:37.17 ID:qYHjl/7c.net] >>917 サーベイが正しければアクセプトとして認められる 幾度も書かれているが飛躍した例えと本論のコピーペーストだからアクセプトされてないのでは >>918 無限の演算を実行できないのになぜ不等式が導かれるのか あなたの理論で等式なり不等式を導出してみて下さい 962 名前：１３２人目の素数さん [2019/05/27(月) 14:06:11.29 ID:oWluxuMy.net] >>920 逆だよ 無限の演算を実行できないから不等式しか導かれない 963 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 14:11:24.43 ID:a/fV1xvr.net] 不等式の数値を説明できればスターだよ 964 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 14:17:02.68 ID:rgpoSxU4.net] >>903 >>904 重力場のことなら、ご本尊がはっきりそれを示唆する書き方をしているからな ○○○と聞いたらトンデモでも何でもなくそれを想起するだろう 確かに重力とまでは言っていないし、不定性も量子論と同じものとは言ってないし同じではないが、 後者もご本尊がパラダイムの類似として比較しているしな 実はこれもグロタンディークに所縁がある話とも言えなくはない。実際の関連性は不明だが 965 名前：１３２人目の素数さん [2019/05/27(月) 14:17:38.80 ID:oWluxuMy.net] >>922 それは俺には無理だな ただ直感的に予測はできる その部分は最終的に数学的には行列の問題になるだろう 3次元空間の場合は、8要素*8複素係数の8x8行列の行列式がどうなるか？って問題になるからね つまり一般化したとき、nxnの正方行列における 特異行列の存在比率が不等式の由来ということになるだろう 悪いけど俺は数学者じゃないからそれを厳密に証明することは出来ない ただ方向性は確実に合っているという直感がある もしモッチーの信者がいたら俺の考え方で数学的に説明できないか頑張ってみると良い 966 名前：１３２人目の素数さん [2019/05/27(月) 14:19:53.04 ID:oWluxuMy.net] >>924 補足 これがなんで行列の問題になるか？っていうと 3次元空間で考えたときの8x8行列が必ず逆行列を持たないと この理論的には無限の入れ子構造の整合性が保てなくなるからなんだよ 俺はこの辺を直感的に理解してるから、数学者がいたら考えてみてくれ 967 名前：１３２人目の素数さん [2019/05/27(月) 14:23:57.48 ID:lSFWI0Sj.net] 過去スレでも検索でも見てくれりゃいいがabc予想じゃなく証明できたのはスピロ予想だといってみたり abc予想以外に応用はないといってみたりかなり不具合があるんじゃないかと勘繰ってしまうな 968 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 15:00:49.58 ID:rgpoSxU4.net] >>918 無限のループ構造と不定性の関連性は、正則構造というより正則構造からずれた部分の話だけどね それを群論的な操作で抑えたりしてるわけだけど 君の話は俺にはよくわからんが、ここにも擁護がいるから説明を待とう 969 名前：１３２人目の素数さん [2019/05/27(月) 15:12:13.85 ID:oWluxuMy.net] >>927 それについては>>924>>925で触れてる部分だよ 無限の入れ子構造を想定すると、どうしたって不定性が生まれる それは事実上、無限の複素係数を持つ正方行列を想定しているからってこと だから貴方の言う正則構造からずれたとき＝(行列式＝0)＝特異行列のときに不定性が発生する そして不等式の由来は、nxn行列における特異行列の存在比率からきてるであろうってこと まぁこれは俺の直感的な予測でしかないけど、俺には合っている自信がある 真っ当な数学者がいたら考えて説明してくれれば嬉しいね 970 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 15:19:48.82 ID:ehpvwZz4.net] せきゅーんみたいな奴だなあ 971 名前：１３２人目の素数さん [2019/05/27(月) 15:23:38.90 ID:xLoNNVV3.net] >>917 一般人はともかく数学者の無知が原因でアクセプトされてない、ってなら なおの事正確に説明しようとするだろうけどな。普通は。 972 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 17:11:42.17 ID:uD15Yq1h.net] >>930 普通じゃないと未だに気付いていないの？ 感度が鈍すぎだろ 普通を基準に考えちゃいけないケースなんだよ 973 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 17:46:23.90 ID:rgpoSxU4.net] つまりキ○ガイってこと？ 974 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 18:18:02.44 ID:CIAJkQA5.net] Bが丸め込まれたレクチャーをサーベイにしたら 975 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 19:20:40.04 ID:i/fv+CB7.net] >>932 おまえ、頭悪過ぎw 「普通」という概念を深く考えたことが無いのがよく分かる 「普通」という概念がもたらす副作用を自覚してないのもよく分かる 簡単に言うと、浅い人間なんだよ 今まで生きてきた過程が問われるから会話が成立しないことになる 現にスレ違いが生じてるよな 976 名前：１３２人目の素数さん [2019/05/27(月) 19:52:52.92 ID:iQ5QHa6M.net] 自己紹介ご苦労 お前みたいなのが擁護するから相手にされなくなるんだよ 977 名前：１３２人目の素数さん [2019/05/27(月) 19:58:19.58 ID:SCa5nclw.net] 根拠もないのに「普通」や「常識」に難癖つけるのもトンデモさんあるあるやねえ。 知能レベルが啓蒙書レベルで止まってるからな。 978 名前：１３２人目の素数さん [2019/05/27(月) 20:01:13.09 ID:rgpoSxU4.net] >>934 つまり、具体的に説明しないで深淵ぶりたいわけね 何が誤解を招くのか分析してみせない限り、それで終わりよ 979 名前：１３２人目の素数さん [2019/05/27(月) 20:05:21.82 ID:p6WSfTLH.net] B本はMの寄稿もKのあとがきも含め IUTそのものですよ。 それ以上でも以下でもない。 数学として何か他に深淵な真理があるなどは 邪推に過ぎない。 980 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:06:16.26 ID:rgpoSxU4.net] >>934 >>936 結局ポジショニングトークしかしないんだなああんたらは 981 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:17:07.36 ID:rgpoSxU4.net] 証明した！しかし余白がない →証明した！しかし深すぎて理解されない 新しい商法としては面白い 982 名前：１３２人目の素数さん [2019/05/27(月) 20:18:11.07 ID:SCa5nclw.net] 自分の発言の不備と無内容を指摘されてポジショニングトークってw 嫌なら日記にでも書いてろよアホがw 983 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:38:22.89 ID:rgpoSxU4.net] >>941 頭悪すぎ、をそのままお返しする ただのポジショニングトークと言われてる意味すらわかってない様で ヒント＝他人のレスの悪口だけなら誰にでも言える 重力場の数理を実質的に意識してることすら知らない人だから、浅い擁護派ではあるのだろう 984 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:44:51.65 ID:pUNMSpS ] [ここ壊れてます] 985 名前：p.net mailto: 量子だの場だの言葉をもてあそびたい だけの中学生みたいなやつって定期的に 沸くな [] [ここ壊れてます] 986 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 20:57:16.27 ID:MWhq6T1K.net] >>943 まあ数学者にもそうした中二がけっこう多いからw もっちーの新語の使い方とかw 987 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 21:13:08.41 ID:rgpoSxU4.net] >>943 だが、わかったふりをして上から目線の人間もネットにはよくいるから君のブーメランかもしれない そもそも重力場に関連した数理、とは何を指して言ってるかわかってて非難してるんだろうね？ 988 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 21:15:56.31 ID:Vd/Es3hp.net] >>900は私が書いた>>885の言い換えですね。IUTの概要だけ知っている人でも意味は通じると思います >>901は主論文最終節を読んだ人ならすぐに分かります。observable(s)という語がmutationと絡めて頻出しています それを読まずとも、IUT陣営の単遠アーベル的復元の解説で、 ・フロベニウス的部分＝位相モノイド、「質量のある、実体を持つ、実在する」対象 ・エタール的部分＝抽象的な位相群（絶対ガロア群）、対称性、「質量のない、実体のない、仮想的な」対象 としており、望月による比喩では前者には壁があり、後者は壁をすり抜けることができる、としています B本での寄稿文はそれを踏まえてのものですね 989 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 22:09:54.64 ID:rgpoSxU4.net] 物理との関連についてやたら突っかかってくる人がいるけど、多分懐疑でも擁護でもないんじゃないか ディレッタントだな 恐らく相当物理は意識してるよ、この理論は。わざわざ丁寧に根拠は書かないけど、どう考えてもそうだ 頭が固い人にはその事実を言っただけで厨二病の連想ゲームに見えるようで困る まあもしこの理論が続くならば、じきにその本性を現すだろうからお楽しみだな 990 名前：１３２人目の素数さん mailto:sage [2019/05/27(月) 23:43:56.83 ID:Vd/Es3hp.net] >>947 M本人は最初こそABC予想証明以外には応用例は分からないと書いていましたが、 現在では数学どころか物理学、遺伝子工学、情報工学、社会科学などにも数学的定式化を与えられると思い込んでるでしょうね そうでなければあの尊大な態度を理解することはできません 本当はそれらの分野とのアナロジーや着想から得られたものにすぎないと思うのですが 望月-SS論争と悪い喩えを使うと、 A「座禅しながら空中浮揚できるぞ。これが証拠の写真だ！」 弁「わたしも座禅でジャンプした瞬間を撮ってみました。あなたより浮いているように見えるでしょう？」 どちらがAか弁護士に相当するかは想像にお任せします。悪い喩えですけど、数学で直接人を○すことはできませんから… IUTについては擁護or懐疑or否定というより、ネタとして愉しむというのが私の現在のスタンスです 991 名前：１３２人目の素数さん [2019/05/27(月) 23:46:11.62 ID:oWluxuMy.net] 重力場に関連した数理っていうのは俺でも直感的に分かる 空間が>>918のような性質を持っていた場合 三次元空間の場合は、ポアンカレ予想の形で最大で8種の素因数にまとめられ その内の一つから三次元空間を見たとき、その不定性を 全体で8種の内の自身を除いた7種から受ける事になる この直感的な理解には正八胞体を極座標から見たCGアニメを見ると助けになるwikipediaにあるよ これが何を意味するかっていうと、重力とは>>918のような空間の性質から生じている相互作用力だってこと そんでこの重力スペクトルの反スペクトルとして時間が存在することになる これ前スレや前々スレで書いた俺の考えてる� 992 名前：恤ｨの理論の内容だから あと>>929のせきゅーんって誰？って思って調べたら東大の准教授か 研究内容見たら俺の考えてる万物の理論と似たような事やってるな ＞外部磁場がない状態でも磁気渦が生成していることを発見し、その生成機構を解明しました ＞その起源としては、動き回る電子が媒介する多体の磁気的相互作用に由来した新しい機構によって、 ＞磁場がない状況で磁気渦が生成されていることが考えられます。 これなんて俺の考えてる万物の理論と全く同じ機構だよ でも考え方が違うけどね しかしやっぱスピントロニクスの研究してるとそっち方面いくよな〜 俺は研究者じゃなくオカルトマニアだけど、発端はスピントロニクスと創発的重力理論の気になった事を調べてたことだからね [] [ここ壊れてます] 993 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 00:44:52.63 ID:UN62dL8s.net] B本って何？ 994 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 00:54:02.66 ID:4CTFy9SN.net] 素数を９〜無限に近い数で掛けるとどう説明するのか テレンス‐タオは最大５つの素数で数が表現できるのを証明したが 995 名前：１３２人目の素数さん [2019/05/28(火) 01:05:10.91 ID:5KaHriRC.net] >>946 量子物理のα崩壊のトンネル効果について。 原子核には核力と電気力によるポテンシャル の障壁がある。 有質量のα粒子は核力で束縛されているが トンネル効果より障壁を通過し原子核から 飛び出してくる。 量子力学のシュレディンガー方程式より α粒子が放出される確率を定量的に 求め実験で測定することができる。 また、無限自由度の場の量子論と量子力学 は異なる。素粒子物理は特殊相対論と 場の量子論による。 焼肉屋でどのような会話があったかは 存じませんが IUTは物理と無関係です。 念のため 996 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 01:19:47.69 ID:xAKF9sMi.net] そもそも反対派だの賛成派だのレッテル貼ってる奴がまともな数学的知見を持っているようには思えん。jinかよ。 997 名前：１３２人目の素数さん [2019/05/28(火) 01:22:22.89 ID:5KaHriRC.net] IUTは数学ですか？ 998 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 01:22:31.72 ID:3CgphUUt.net] おいおい、せきゅーんが東大の准教って一体どんな世界で生きてるんだよw 999 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 01:49:18.69 ID:2LKNcLMK.net] >>955 そいつはな皆が知ってる「せきゅーん」とは違う人を勝手に思ってる 1000 名前：１３２人目の素数さん [2019/05/28(火) 02:08:22.82 ID:j82Me3bY.net] 知らんから適当に調べたけど違うんか？ せきゅーん　数学 でぐぐると素数大富豪発案者ってプロフに書いてるtwitterや 数学カフェなどに参加してるのが出てくるが そいつがRTしてるニコニコの動画の説明に、発案者として関真一郎って名前が出てるから 更にググったら東大の研究室が出てきたからそれだと思っただけの話だ 1001 名前：１３２人目の素数さん [2019/05/28(火) 02:21:59.71 ID:j82Me3bY.net] あぁなんだ、関真一郎と関真一朗の「朗」を俺が間違えてたから 検索結果違ってたのか こっちか、すまんすまん全然関係ない人の研究だったわｗ でもその研究は本質的に繋がってるから量子情報と数学、物理を勉強してる人は見ておくといいよ o.8ch.net/1gkip.png 1002 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 06:44:48.15 ID:ccma+8m2.net] >>918 だったら2iで全部処理できなくね？ 1003 名前：１３２人目の素数さん [2019/05/28(火) 07:01:16.81 ID:UXXwLAcL.net] 過度の簡略化による指摘は認めません 1004 名前：１３２人目の素数さん [2019/05/28(火) 08:34:58.07 ID:djNYhVfU.net] 京大 GCOE 問題 事後評価結果を改変し IUTを高評価 入口 >>852 >>853 ↓ 出口 >>846 >>397 1005 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 12:12:30.00 ID:BkcFo0w6.net] >>950 B = 文元 1006 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 14:28:27.15 ID:bL5X4903.net] >>950 本 = 衝撃 1007 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 15:04:13.59 ID:0eIy5764.net] BL本 1008 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 15:33:25.84 ID:kuWK6wMB.net] もっち×ブソゲソ のヤヲイ本が夏のコミケに並ぶのか 1009 名前：１３２人目の素数さん mailto:sage [2019/05/28(火) 17:23:38.23 ID:4K4i0mVO.net] >>953 いや、ポジショニングトークでない限りは普通内容について安易な事をまともな人間が言うはずもないから 真っ当ならむしろ逆に量子だの場だの言う話を理解もせず脊髄反射で叩くのがおかしいっていう話なんだけどね 大体、まず重力場の数理については堂々future directionsとして示唆されているが、 IUTには量子論との内容的関連性だって普通にある、不定性のパラダイムを抜きにしてもだ もっと単純に考えても、解析的な情報を代数的に置き換えるとか、数論的実解析性の議論をしまくってるの だから、ご本尊がそれなりの自信を持って物理的数学の類似を持ち出しているのは想像に難くない 1010 名前：１３２人目の素数さん [2019/05/28(火) 21:35:25.57 ID:B9W/2fLA.net] 素朴な疑問なんですが、なぜ世界で遠アーベル幾何学の研究者の数は少ないのでしょうか？特にアメリカで。 1011 名前：１３２人目の素数さん [2019/05/28(火) 23:38:52.61 ID:jbnFdfUC.net] 魅力がないからだろ 1012 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 00:22:23.50 ID:O2FKXgXa.net] 「ポジショニングトーク」という誤用を連発している人は恥ずかしくないのだろうか？ 1013 名前：１３２人目の素数さん [2019/05/29(水) 00:34:37.28 ID:yoNFDuox.net] 遠アーベル幾何学の専門家であるサイディ氏は何て言ってますか 1014 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 01:44:58.83 ID:HxE5A42h.net] >>967 too abstract nonsenseと考えられていた。 abcのような具体的な問題が解けるとなると一気に風向きが変わるはずだった。 1015 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 03:44:39.36 ID:9NUxZ7p0.net] 尼の★とか常識的な判断を下すための素材としては全然役に立たなくなってしまったな 1016 名前：１３２人目の素数さん [2019/05/29(水) 04:49:19.82 ID:jjh6hTa5.net] 猫ってもう死んだのかなー 1017 名前：１３２人目の素数さん [2019/05/29(水) 05:03:15.93 ID:hnTyfWWi.net] IUTは数学ですか？ 1018 名前：１３２人目の素数さん [2019/05/29(水) 05:26:13.21 ID:HGG/y8zm.net] ある条件下で有理点の数が有限で、さらに明示的に上限の数字まで言えるなら、コンピュータを使ってその有理点をすべてリストアップできるようになる？ そうなれば物理や化学の人も利用する？ 1019 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 08:43:29.04 ID:sRjQZfj7.net] 2005年には既にテーマソングあったのな 作ったやつまだ生きてるか？ 嗚呼北白川の望月よ １　明くる数理の根本を　護る数学励（はげ）ぇまして 　　代数幾何を天地（あめつち）に　輝やかさんと征（い）でましし 　　ああ北白川の望月よ ２　数学オタ〜クの意気高く　ABC予想を攻略せんと 　　ホッジ・アラケロフの理論もち　健爾と笑（え）みて統（す）べませる 　　ああ北白川の望月よ ３　プリンストン〜出の御身（おんみ）にて　遠ア〜ベ〜ルの興隆に 　　グロ去りましてピレネーに　数論幾何を護る男（やつ） 　　ああ北白川の望月よ ４　想えグロタ〜ンの大偉業　掲げ奉（まつ）れる皇子（みこ）の如（ごと） 　　御魂（みたま）捧げし御勲（おんいさお）　いま大� 1020 名前：泓�収めゆく 　　ああ北白川の望月よ [] [ここ壊れてます] 1021 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 11:45:38.77 ID:FMs7jIjx.net] >>970 IUTは正しいと公言しとるよ。 1022 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 12:00:59.27 ID:p/LHKUNk.net] >>977 情報源きぼんぬ 1023 名前：１３２人目の素数さん [2019/05/29(水) 12:18:05.65 ID:sdNsZ9tr.net] 遠アーベルよりも循環論法が話題 1024 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 17:27:04.63 ID:JzkdK5eW.net] >>969 理論の内容も知りもせず早合点で連想だのトンデモだの言ってるのは恥ずかしくないんですかね？ しかも主体性を消して毎回無関係な人間を装って悪口を言う姑息、卑怯さ 更には何処が誤用なのか指摘もできないというね。ポジショニングトークで「あろうがなかろうが」 話にならないと言ってるのに読解もできない ま、物事に距離を置いて意地悪な目線で眺めてるだけの人間の限界ですな 1025 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 18:14:49.89 ID:e+MPWd4n.net] >>98が言いたいのは ポジショニングトークじゃなくて ポジショントークだよってことじゃ無いのか？ 1026 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 18:15:36.78 ID:e+MPWd4n.net] >>969だった 1027 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 19:21:52.83 ID:p/LHKUNk.net] 次スレ　Inter-universal geometry と ABC予想 39 https://rio2016.5ch.net/test/read.cgi/math/1559125072/ 1028 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 20:17:56.32 ID:qKCmiaoY.net] IUT読んでMが物理学とのアナロジーを考えているかどうかは読み手次第ということでいいのではないかな 分かる人には分かるし、分からない人には分からない。IUTが物理学にちょっかい出すとしても先のことだろうし それより、組み合わせ論的遠アーベルや、遠アーベルで考察できる代数多様体の高次元化が課題だろうね 遠アーベル研究者が少ない、ニッチな数論幾何なのはこういうところから来ている 現状は遠アーベル幾何学はまだ草創期の段階を一歩踏み出した程度だから、これからの進展具合で優秀な人材が集まってくるかどうかだね その意味で、絶対遠アーベルをABC予想証明の中心に据えたIUTは、遠アーベル幾何学の発展にとってもメルクマールにはなるわけだ まあ、SSレポートについてIUT支持・不支持に関わらず遠アーベル研究者も沈黙しているのは奇妙なことだ SSが単遠アーベル的復元は不要と切り捨てたから、この論争に巻き込まれるのは嫌なのだろうけど、 数体を扱っているのだからね、やっぱり誰か他の遠アーベル研究者がレポートを書かないのは解せないな 1029 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 20:37:42.26 ID:qKCmiaoY.net] Kimが検証レポートをなかなか出せない理由はなんとなくわかるのだけど、彼がまだIUTに好意的なら、 Saidiと共著でもいいから早めに書いた方がいいと思う Saidiは検証メンバーの一人なのだから、SSが間違ってると思うならすぐにでも反論レポートを書けるはずだけどね 望月反論レポートで十分と思っているのかもしれないが、IUTが理解されていないと思っているのなら望月を援護してやるべきだよ 1030 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 22:07:08.46 ID:0mgJlTBL.net] 養護するもなにも、SSの反論が全く的外れだから誰も反論すら出来んのだよ。by中の人 1031 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 22:22:28.14 ID:qKCmiaoY.net] あなたの見解ではなくてM及び理解者たちがそう言っているということですか・・・ 端的に言えばSSは単遠アーベル的復元が不必要・無意味であるとしています 無論そうなれば、SSの出した結論のように内部矛盾に陥ります さらに、不定性によるぼやけを強調することは何とでも言えるということであり、不等式自体恣意的で無意味なるという結論です なぜ単遠アーベル的復元が「自然な」理由として必要なのか、 それを納得できるよう説明できなければ尻尾巻いて逃げているのと同じです それだけでなく圏論との絡みもあります。単遠アーベル的復元がGのサーベイで述べられているように「種の言語」と突然変異で 厳密に定式化できているなら簡単に納得させられるはずでしょう？そう思いませんか？ 1032 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 22:35:34.13 ID:mtMHgkaV.net] >>987 ＞「種の言語」と突然変異で厳密に定式化できている それGサーベイの何ページに書いてある？ 1033 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 22:42:04.67 ID:qKCmiaoY.net] >>733(私のレス)を参照してください 1034 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 23:43:14.69 ID:mtMHgkaV.net] >>989 ありがとうございます。 64ページのRemark 3.2.2(2)を見てみましたが 納得しかねる説明しかされてませんね。 (Important Convention) なのに。 1035 名前：１３２人目の素数さん mailto:sage [2019/05/29(水) 23:52:40.48 ID:JzkdK5eW.net] >>948 慎重さと共に、ということならそのスタンスが一番でしょう どのようなレベルであれ、外野が単独で正当性について確信を持つのは、この理論については不可能に近い気が します 但しラグランジアンというのは2000年には出てきていますし、非可換性についての雑感も同時期にありますね 少なくとも当時としてはかなり斬新、また非可換代数上のガウス積分を考える際に「ラグランジアン」という 表現を用いるのはある概念を強く想起させます。特にそれが群ではなく亜群になっていて、 個人的に2012年に予想していた一つの狙いについて合点がいき、非常にすっきりしました とはいえそこまで考えなくとも、非常に安直な連想としてタイヒミュラー理論やホッジ理論が 物理においてあまりに重要なのだからもしかしたら一つの狙いなのではないか、と誰かが言っても 良かったと思いますね。ここの人は他人を伺いすぎてがんじがらめで、奔放な話を強く嫌っていますがね 1036 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 00:01:03.11 ID:fKi6qf9s.net] >>991 実証的な学問の方が奔放な話ができる。裏付けさえあれば何を言っても良いから。 5ちゃんねるで奔放な話をしても妄想と変わらないものになる。裏付けがないから。 1037 名前：１３２人目の素数さん [2019/05/30(木) 00:06:12.67 ID:RN5/Eo2z.net] 非常に安直な連想としてタイヒミュラー理論 やホッジ理論が 物理においてあまりに重要 なのだから 単語並べているだけじゃん 1038 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 10:32:25.54 ID:Z9tONEI0.net] >>992 そういう切り口を持ち出すなら、どうして5ちゃんにわざわざいるのか？という話になる 5ちゃんを利用する価値を棄却してるわけだから自己矛盾だよな 要するにおまえはバカってことだ 無価値だと規定しているものに時間を費やしてるわけだから 1039 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 11:28:32.18 ID:FJ2k6Mug.net] 日本はファンはいるけど評価は 1040 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 12:04:55.43 ID:fKi6qf9s.net] >>994 奔放な話なんかしたくない。 1041 名前：１３２人目の素数さん [2019/05/30(木) 12:55:42.12 ID:wvhTuico.net] >>995 主要マスコミのネタとしては評価が高い 1042 名前：１３２人目の素数さん mailto:sage [2019/05/30(木) 16:27:29.93 ID:KlUynMok.net] 数学の各論を物理と関連があるって言って悦に入るなんて、子供を含めて誰でもできること過ぎてな 1043 名前：１３２人目の素数さん [2019/05/30(木) 16:27:44.38 ID:ZXa6Rik2.net] 本気でNスペやるつもりだったんだね 局の編成とか取材班なんか忙しいから世間情勢さらなかったんだろ おお恥かくとこだったね 見境なしに民放に声かけても無駄だよ　　 1044 名前：１３２人目の素数さん [2019/05/30(木) 16:40:49.73 ID:478s6kH+.net] IUTはオカルトもどき 1045 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 32日 20時間 16分 0秒 1046 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉� 1047 名前：ﾉに格納されています [] [ここ壊れてます]

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef