[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
782(4): 2019/12/13(金)07:41 ID:dgX3c3Hn(1) AAS
>>779
GはゲーデルのG。
他にも十数個ハンドルネーム知ってるよ。
そのときどきで関心があることをハンドルにする傾向があった。
理系でアスペが妙に持ち上げられることがあるけど、総合的に見てバカなんだと思う。
このスレやGスレ見れば分かるでしょ。
繰り返しを好む傾向がある。これは時間のロス。
783: ID:1lEWVa2s 2019/12/13(金)08:06 ID:BaxPftok(1) AAS
>>782
クルトゲーデルのほんはソフトバンクから出版されてる数学がーるで持ってる。
気分が良いときに4ぺぇじよんで
わかりません。まったく。って
そっとじ。
784(1): 2019/12/13(金)15:51 ID:xu1Fa6Iq(1/3) AAS
>>782
Ｄｒ．Ｇ とおっちゃんは面識ないけど、Ｄｒ．Ｇ の政治のレスには受けたw
政治の話は余り興味ないけど、今までのを見ていると、日本の政治家は自民も野党もダメ。
政治家が各官庁の官僚を統率する仕組みからしてよろしくない。
官僚のビューロクラシーによる天下りの仕組みもダメ。
これでは、庶民と官僚の待遇がまるで違って来る。
785: 2019/12/13(金)16:21 ID:xu1Fa6Iq(2/3) AAS
>>782
「Gスレ」という表現に「G」を用いている点が発音上紛らわしいが、
果たしてガロアスレのスレ主と Ｄｒ．Ｇ とは別人なのか？
両者とも政治の話をしている点では共通している。
786: 2019/12/13(金)17:32 ID:xu1Fa6Iq(3/3) AAS
>>782
念のため、ガロアスレのスレ主とおっちゃんも別人。
これまでのを見る限りでは、ガロアスレのスレ主と Ｄｒ．Ｇ に性格的な共通点があることからも、
おっちゃん的には両者が同一人物か区別が付かない。
787(1): 2019/12/13(金)18:17 ID:p07sJY8Z(1) AAS
長いことこのスレにいるなら、オカルトマニアの俺が書いてきた予測が
物理方面から尽く論文出てきてる事をそろそろ不思議に思っていいんじゃないかって思うよ
近似でしかない宇宙、そしてそれに伴い予言される磁気単極子(カブリIPMUから出たやつ)
電子はそれ自体がもつれている量子マイクロブラックホールだっていう予測に合致する研究結果のこれ
外部ﾘﾝｸ[html]:phys.org
これらは俺の数秘術を端にした直感から
IUTを基本として導かれる8つの幾何学的不変量によって構成される3+1次元宇宙において予測された事柄
788: 2019/12/13(金)19:21 ID:Oi6zdVOh(1) AAS
来年からRIMSプロジェクトが始まる前の2019年の暮れにふさわしい
IUTスレになっておりますなあ
789: 2019/12/13(金)20:26 ID:U/4GdMU6(1/5) AAS
今日の動画
動画ﾘﾝｸ[YouTube]
私のおすすめは生田絵梨花ではなく唯月ふうか
790: 2019/12/13(金)21:12 ID:U/4GdMU6(2/5) AAS
>>784
＞日本の政治家は自民も野党もダメ
そもそも議会制がクソだから
議員ってのは官界財界の寄生虫
＞官僚のビューロクラシーによる天下りの仕組みもダメ。
官僚制は無駄仕事ばかり増やす根源
官僚ってのは有用な仕事は何もせずに
省1
791(1): 2019/12/13(金)21:18 ID:zcvipQPU(1) AAS
だいぶ前に「正準同型と等式」ついて或る数学者が書いたブログを紹介したけど、
最近彼がまた面白いことを書いています。最後の段落ではIUTについて触れています
このスレで少なくとも2人は先のブログを知っていると思うのでリンクは貼りません
ぜひ感想をお聞かせください
私の感想は、IUTに関しての彼の文章は完全に嫌味ですね
日曜日からほとんど荒らしばかりなのでこのような書き方をしてすみません
スレが落ち着いたらちゃんと書きます（あまり期待できませんが……）
792: 2019/12/13(金)21:29 ID:U/4GdMU6(3/5) AAS
警察と軍隊を有難がるのは最低最悪の馬鹿
警察と軍隊は一般人を嬲り殺す敵
793: 2019/12/13(金)21:36 ID:U/4GdMU6(4/5) AAS
カネがヒトを腐らせる
貨幣制度は害悪そのもの
794: 2019/12/13(金)21:45 ID:5cJe5E3y(1) AAS
標準的な同型
795: 2019/12/13(金)22:40 ID:U/4GdMU6(5/5) AAS
国家のポチが隔離病棟で発●中
2chｽﾚ:math
＞「唯月ふうか」・・・って、IUTとどんな脈絡があるんだ？
官能小説愛読者のあいみょんはIUTと関係あんのか？（嘲）
2chｽﾚ:math
ちなみに唯月ふうかはもともと
スタダ所属のアイドルmomoこと川上桃子
省4
796: 2019/12/14(土)07:30 ID:t6RbzaaN(1) AAS
>>787
数秘術はIUTらしけど、
あなたも いわしのあたまも信心から
797: 2019/12/14(土)13:10 ID:COwET2Jn(1) AAS
数秘術はIUTらしいけど、
あなたも 「いわしのあたまも信心から」
類推より なんでもあり
798: 2019/12/14(土)20:27 ID:DmF8/nWn(1/3) AAS
まあ、仮定に仮定を重ね、仮説に仮説を重ねた挙句、数学用語では説明できなくなって、
自分の発想を大仰な文学的・哲学的な言い回しをしたり、造語を作ったのだろうね
で、これらの文体でしか表現できないから独特の言い回しや造語が増殖していった、と
サンスクリット語を少しでもやっていれば気持ちが分からないでもない
「環構造の解体」とか「乗法構造と加法構造を分離する」とかいう表現も、Teichmuller dilationで乗法構造のみを変形し、
それに伴って復元の際に加法構造もそれに合わせて変形されるということ
要するに、このように少しずつズレた環構造のコピーを作ってそれらを貼り合わせていくということ
省2
799: 2019/12/14(土)20:29 ID:DmF8/nWn(2/3) AAS
私から見れば、今のところIUTは現代数学版・天動説
800: 2019/12/14(土)21:28 ID:ERIdEqm7(1) AAS
これだけは言える
世界にはSSのペーパーを完全に理解し、
IUTの評価についてはSSに完全に同調している人がたくさんいるということ。
勿論その中には日本人もいるだろう（そうであってほしい）
801: 2019/12/14(土)22:10 ID:bJG4PZ+S(1) AAS
このスレ住人の意見で多数決取っても意味ないんだよなぁ
802(1): 2019/12/14(土)22:24 ID:kFOp8tm9(1) AAS
望月のサーベイからしてポエミーだけど、下地がしっかりしてるから分かりやすい
803: 2019/12/14(土)22:42 ID:CsbquFhS(1) AAS
2chｽﾚ:math
>日本数学会全体としても、しっかりサポートしてほしいね
●違いですね
日本数学会にはMを支援する義務などないよ
804: 2019/12/14(土)23:31 ID:pHMyaD0y(1) AAS
>>802
望月反論レポートには 文元動画が参照にあり
サッパリわかりませんというか それがIUTで、
IUTの成り立ちから追っていけば
意外と手口が簡単な気もします。
805: 2019/12/14(土)23:35 ID:hdGoQC1u(1) AAS
1年ぶりにみたけどまだやってんのかこのスレ
Scholze-Stixにまともな反論できなかった時点で話は終わってるだろ
・身内で固めてたから客観的な検証が進んでなかった
・その間に研究費せしめるためにRIMSで大々的な宣伝をしてた
周りがそれに振り回されてたってだけでしょ
806: 2019/12/14(土)23:56 ID:DmF8/nWn(3/3) AAS
不定性についても当初はネガティブな言い方をしていて、それを剛性で抑えるんだということで、
円分剛性同型、クンマー理論などが必要だという話だったが、SSとの討論の後は不定性の効用を強調するようになったね
結局、何とでもいえる理論もどき、後から付け足して説明すればよいという態度（しかもレトリックを多用して）、
それらが多くの数学者から見放された原因だと思う
しかも、これ以上の説明と言っても上で書いたようにIUT語、IUT文体の増殖しかできないわけで……
807(1): 2019/12/15(日)01:06 ID:WCrofMhO(1) AAS
物理実験屋の先生が文元本を読んで
「なんとなく望月教授が目指すものがわかった気になりました」と
どんな意味合いのコメントか分かりませんが
なんとなく様子見でしょうか
素粒子物理モデルでは満たすべき実験
データと望む結果を睨んで 、SUSYだの
ブレーンだのサブクオークだの余剰次元だの色々と張り合わせれば 形式的にはモデルが
省12
808(1): 2019/12/15(日)01:43 ID:CuJ18Hdd(1) AAS
このスレ42ではなかなかの動きがあった
・2019/11/24(日) に加藤文元がTwitterに連ツイ（17時ごろ）
・翌日11/25(月) ID:ub/eJojY はB本人が降臨 423 426 429
2chｽﾚ:math
809: 2019/12/15(日)02:30 ID:7Z7ks2Cy(1/2) AAS
>>807
IUT理解者は「sensitiveな感覚が大事」と言い、フォロワーは「微妙な何か」とか言ってしまうんですよね
お友達は何の根拠もなく「自然な論理」とか言い出すし
上記の理解者などは長大なコピペサーベイで「単遠アーベル的復元/構成は種の言語と突然変異で厳密に定式化できる」と
書いておきながら一向にそれはやらないで、多輻的アルゴリズム表現で説明しますと言うだけ
定理3.11→系3.12、特に3.12がブラックボックスになっているのだから、IU形式主義で厳密に定式化できているのなら
まずそれを説明することから先でしょ、と
省2
810: 2019/12/15(日)02:40 ID:7Z7ks2Cy(2/2) AAS
>>808
さすがにあれがB本人だとは思えないんですけどね
なんで私のレス>>430に答えられないの？ということです
あれはjinかjin同様のIUT関係者のパパラッチだと思うのですよ
ただ、B本人の可能性も全く捨てきれないのは、ひょっとしたらIUT説法を拝聴していただけで、
概要と結論だけを鵜呑みにしている可能性もあるからです
Bが詳細なサーベイやレポートを書かない限りは彼の理解など分かりませんからね
811: 2019/12/15(日)12:01 ID:4bvLAASC(1) AAS
ない証明の破綻を具体的に指摘せよという悪魔の証明を求めるだけで
人事予算やりたい放題 本まで売れて 人生バラ色
812: 2019/12/15(日)12:24 ID:53DMvjSJ(1) AAS
何か進展ないの？
813(1): 2019/12/15(日)15:24 ID:oddjJlmk(1/2) AAS
>>791
スマホで読んだら広告で切れてるのでどこにABC予想の話があるのかとしばらく気付きませんでしたw
自然同型といえば、例えばunique up to isomというのも近い話で、こういうものは結構強い条件ですから、
ある程度具体的な話をしている時にはあまり間違えないんですね
ところが、∞圏とか三角圏みたいな自由度も抽象性も高い理論になればなるほど間違いが増える
というか、後で見てみたら結構雑だったと言われる論文は多分たくさんあるでしょう
確かFaltingsのホッジ理論の完全系列も最初は大間違いだったみたいですね
省7
814(1): 2019/12/15(日)16:41 ID:oddjJlmk(2/2) AAS
個人的にはAnabelioidの計算の議論だけ取ったら特に問題ないと思うんですけどね
スリム圏というのは加法的な計算を1関手で済ませるための構成だろうし、エタールテータを局所的な対数殻で
計算するのは、関数の定義と単遠アーベルの定義から
必然的なのは確かです
重度の問題は基本的に乗法部分でしょう。何が一番おかしいのかと言えば、モノイド対象の標準的分裂を
利用して計算するという中で、宇宙全体で非自明な計算を実現するために非可換性とラベルを合わせて
辻褄を合わせなければならないことです。まあ、実際にはもう少しおかしいと思う所もあるけど
815: 2019/12/16(月)12:29 ID:sUWlqwcS(1) AAS
>厳密ではなくても意義がある、
という事は普通にありえますね
IUTの場合 オカルトマニア氏を
想起してしまうんだが、、
816: 2019/12/16(月)13:37 ID:XoXAwyA2(1) AAS
>厳密ではなくても意義がある、
まずは本人や取り巻きが「厳密ではない」と認めないと
「IUTは将来の数学の目標」という方向にすら進めないんだなあ
817: 2019/12/17(火)22:06 ID:XBPaypvG(1) AAS
>>814
まあ、アナベリオイドやラベルの発想があったからこそ、対数テータ格子とその非可換性という着想が得られたわけですね
2015年にショルツとメールでのやり取りで「対数テータ格子の非可換性」が問題になったそうなので、
やはり当時からラベルの問題、アナベリオイド幾何学の使用がショルツらには引っかかっていたのかもしれません
SSレポにアナベリオイド関連論文の参照がないのもそういうことでしょう。SSにとっては不必要・無意味だ、と
でも、この部分こそがIUTの基礎なんですけどね
ホッジ・アラケロフ、絶対遠アーベル、組合せ論的遠アーベル、p進タイヒミュラーについて問題があるとは聞いたことがないです
省6
818: 2019/12/18(水)20:10 ID:m7IcSTCT(1) AAS
中学数学からはじめる微分積分
動画ﾘﾝｸ[YouTube]
高校と大学の積分は決定的に違う？微分積分学の基本定理は実はすごい！
動画ﾘﾝｸ[YouTube]
中学数学からはじめる相対性理論
動画ﾘﾝｸ[YouTube]
理学部と工学部の違いとは？
省11
819: 2019/12/19(木)06:16 ID:vUsZDapA(1) AAS
IUT翼賛スレ
2chｽﾚ:math
大阪の愛国馬鹿が発狂中ｗｗｗｗｗｗｗ
820: 2019/12/19(木)07:25 ID:MJq0roQH(1) AAS
巣へお帰り
821: 2019/12/19(木)21:12 ID:+9fThvdv(1) AAS
北大の森田って死んだの？
822: 2019/12/19(木)21:44 ID:OCXHAKyf(1) AAS
ホッジ予想のコンラッドの弟子も消えたよ
823: 2019/12/20(金)02:06 ID:yiLw1Jz8(1) AAS
0645
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
Twitterﾘﾝｸ:huwa_cororon
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
824: 2019/12/20(金)02:42 ID:rpmq4fRE(1) AAS
IUTから消える人は・・・？
825(1): 2019/12/20(金)14:45 ID:ttwVfhV6(1) AAS
１）アイデアがある
２）発達する
３）完成する
４）その部分ではだれも間違わなくなる（何が間違いかの議論の余地がなくなる）
近代では４）をもって３）とし、３）をもって数学的確かさとするという信念が
科学者に共有されていて、いわゆる数学的プラトニズムとして世界観として共有されてきた。
ところが今の時代を動かす技術のディープラーニングであるとかビッグデータであるとかは
省17
826: 2019/12/20(金)16:53 ID:vUqDEWsx(1/2) AAS
うだうだポエムを書いているが2020年のプロジェクトで大きな問題が次々解決して
IUTを笑っていた連中が来年の今頃は真っ青になっているさ
827: 2019/12/20(金)17:51 ID:5RleJ5Qn(1) AAS
どこで損切りできるかが運命の分かれ目
828: 2019/12/20(金)18:09 ID:ZuU0i/Zb(1) AAS
>2020年のプロジェクトで大きな問題が
次々解決
おや、既にRIMSは解決している
と報告している。
RIMSは平成22-27年度事業評価に
ついて「望月新一による宇宙際タイヒ
ミューラー理論の構築とその結果と
省3
829: 2019/12/20(金)18:17 ID:1eCzK2On(1) AAS
公務員はやらかしてもほっとけば済むからな
830: 2019/12/20(金)19:19 ID:ylfrCRaM(1) AAS
２０２０年の予言
望月新一の件で、安倍晋三が失脚するｗ
831: 2019/12/20(金)20:50 ID:vUqDEWsx(2/2) AAS
２０２０年は
望月新一が数学史に名を刻み、安倍晋三が自民党総裁4選して首相続投する
832(1): 2019/12/20(金)23:21 ID:dN89NZ8a(1/2) AAS
>>825
申し訳ないが、あなたの文章を読んでいるとB本人かBのエピゴーネンにしか見えません
ツッコミどころ満載なんですが、以下2点に絞って書きます
・ブラックボックスの件
これはIUTや望月に対してではなく、理解者たちに向けられた言葉。正しいと思うならなぜ理解可能で詳細な説明ができないのかということ
理解者たちはこのブラックボックスを解析できたわけだ。にも拘らず、その内容をなぜ説明せず、「3.12は原論文参照」としたり、
長大なまとめコピペにしたり、望月反論レポの超絶劣化簡略版コピペFAQしか書けないのかということ
省11
833(2): 2019/12/20(金)23:54 ID:dN89NZ8a(2/2) AAS
ついでに言っておくが、ファルティングスをして「理解不能、望月が何をやっているのか全く分からない」とまで言わしめたもので、
当然、私ごとき凡才にはIUTは数学にすら見えない
私語りで恐縮だが、私自身はIUTをまともな数学だと思ったことは一度もない
ジョイス『フィネガンズ・ウェイク』やマラルメ『イジチュール』の数学版だと書いて、過去スレでcanonicalなバカだと罵倒されたこともあるｗ
実際はこの偉大な文学作品の劣化版にしか見えないけどね
もっと正確には、ある種の現代音楽に近いと思った。今思うととんでもない勘違いで、作曲家や作品名は挙げないけど。
私は哲学、文学、絵画などよりも音楽からインスピレーションを受けやすいタイプなので、その辺でIUTに関心を持った
省3
834(1): 2019/12/21(土)00:06 ID:R5zXcFKP(1/16) AAS
確かに望月さんの数学がブラックボックスでなければならないという理由はないですね
数学は人の為すことなのでそれは人の責任ではないかといわれればその通りです。すみません。
望月さんの数学を数学的プラトニズムの要件を満たして表現するとなると、
たぶん多くの作業が必要で、例えば数学史では点列コンパクトの概念が
コンパクト性の概念に出世魚のように名前が変わり現れるとか
多くのある種の繰り返しが出てきますが、それを拡張された圏論上の手続きの分類と
その手続き（やその組み合わせ）にも拘わらず保存される性質のリストとして
省12
835: 2019/12/21(土)00:24 ID:R5zXcFKP(2/16) AAS
＞多くのある種の繰り返しが出てきますが、それを拡張された圏論上の手続きの分類と
それを→それを同一のものとして
これが抜けると文意をなしませんね
重ね重ねすみません
836: 2019/12/21(土)00:30 ID:R5zXcFKP(3/16) AAS
＞「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその性質の組み合わせの範囲で書かれた証明だ」
「これが圏論の拡張」で「これがそれにより保存される数学的性質」で「これがその数学的性質に対応する既存の数学での数学性質で」「これがその性質の組み合わせの範囲で書かれた証明だ」
としないとダメですね
でないとブラックボックスにしているという批判に対応していませんね
837: 2019/12/21(土)07:18 ID:UgqFkv4n(1) AAS
>>833
> 過去スレでcanonicalなバカだと罵倒されたこともあるｗ
まるで自分がバカでないかのような物言いだがそれは間違っている
838: 2019/12/21(土)07:54 ID:sDHAtJ3L(1) AAS
圏の拡張よりアナルの拡張に興味があります
839: 2019/12/21(土)11:12 ID:RiKZpZyq(1/9) AAS
馬鹿が支持してる時点でIUTはダメだね
2chｽﾚ:math
２０２０年の予言
望月新一の件で、安倍晋三が失脚するｗ
840: 2019/12/21(土)11:15 ID:RiKZpZyq(2/9) AAS
>>832
＞まず、充満多重同型の解説から始めて下さい
「充満多重同型」ってそもそも論文中で定義されてるの？
841(3): 2019/12/21(土)13:18 ID:R5zXcFKP(4/16) AAS
＞ここで,用語の説明ですが,宇宙際Teichm ̈uller理論では,ある2つの対象A,Bに対して,
＞AからBへの射のなすある(通常空でない)集合を多重射(poly-morphism)と,
＞AからBへの同型射のなすある(通常空でない)集合を多重同型(poly-isomorphism)と,
＞AからBへの同型射全体のなす集合を充満多重同型(full poly-isomorphism)と呼びます.
これ？
842: 2019/12/21(土)13:31 ID:R5zXcFKP(5/16) AAS
射がどのように同型であるかという性質の例として「円分物」の説明があるということですかね
その「円分物」というのがよくわかんないんですよね基礎学力不足で・・・
点列コンパクトとコンパクト性の例なら「被覆」の説明として例が作れる気がしますが
「射が「被覆」という性質で同型」ってどうやって式に書くのやら・・・
843: 2019/12/21(土)13:48 ID:R5zXcFKP(6/16) AAS
B←A：ｆ（∃Ｓ∃｛Ｕｊ｝i∈Ｉ｜Ｓ＝Ｕ＿i∈Ｉ Ｕi）
こんな感じ？
844(1): 2019/12/21(土)14:06 ID:eI2xnVZT(1) AAS
>>841
この定義ってなんか駄目なん？
845: 2019/12/21(土)14:08 ID:R5zXcFKP(7/16) AAS
おんなじ形式で点列コンパクトを書くと
Ｒｎの部分集合ＫはＫの任意の点列がＫの点に収束する部分列を含む
Ｂ←Ａ：ｆ（∃Ｒｎ∃Ｋ｜部分列はＫの任意の点列がＫの点に収束する、みたいな式）
で両方の射にたとえばＣ１とＣ２とか名前を付けると
Ｃ１とＣ２の扱いに同一の部分があるとしてさらに名前をつけ
省3
846(1): 2019/12/21(土)14:09 ID:R5zXcFKP(8/16) AAS
>>844
全然ダメじゃないと思いますよ
847: 2019/12/21(土)14:17 ID:R5zXcFKP(9/16) AAS
そこは数学的な中身に応じて射の性質の定義のリストを作って
「中身に意味があるからリストの最小単位として妥当だろう」とコンセンサスを作るしかない。
すると望月さんの数学は要は既存の数学をある方法で清書してみせたのに過ぎない
のかな？
それがかえって難読であるというのはむしろ可能性を示していて実際には
その延長線上には数学全体の記述がすっきり読みやすいものに整理されるという
地平がひろがっている、と。
848: 2019/12/21(土)14:18 ID:R5zXcFKP(10/16) AAS
満足しました。お騒がせしました。
849: 2019/12/21(土)14:24 ID:R5zXcFKP(11/16) AAS
絶対遠アーベル
アナベリオイド幾何学
みたいなのは内容がわからないのでコメントしづらいですが新しいのでしょう
望月さんの頭のなかでは数学がある種清書された形式で扱われているので
発見が出やすいのでしょう
清書法の清書が普及すれば数学界全体でも発見がより容易になり
それが全体に貢献するというのはいうまでもありません
省2
850(1): 2019/12/21(土)16:35 ID:RiKZpZyq(3/9) AAS
>>846
>>841は具体的な条件が全く記されていないので
不十分とかいう以前に無意味ですね
851(2): 2019/12/21(土)17:13 ID:R5zXcFKP(12/16) AAS
>>850
集合論における空集合の定義みたいなもので
空集合も集合の要素としての具体的な内容は全く記されていませんが
不十分ないし無意味ではなく、これもそのようなものかと。
852(1): 2019/12/21(土)17:25 ID:RiKZpZyq(4/9) AAS
>>851
空集合は全く要素を持たない集合と定義されているので
これで完全に意味をもつ
853(1): 2019/12/21(土)17:32 ID:R5zXcFKP(13/16) AAS
>>852
多重射(poly-morphism)はAからBへの射のなすある(通常空でない)集合である。
多重同型(poly-isomorphism)はAからBへの同型射のなすある(通常空でない)集合である。
充満多重同型(full poly-isomorphism)はAからBへの同型射全体のなす集合である。
と書けばよいということでしょうか。
854(1): 2019/12/21(土)17:34 ID:ucYznWes(1) AAS
>>851
私は論文一ミリも読んでないので事情がよくわからないのですが>>841を定義だと考えて後で何か困るんですか？
後で定義ではそんな事言ってなかったろみたいな？
855: 2019/12/21(土)17:38 ID:R5zXcFKP(14/16) AAS
>>854
わたしも何も問題ないという立場です。
856: 2019/12/21(土)18:09 ID:rmMbDG2D(1) AAS
IPSは潰されそうになり
古澤さんはアメリカに差し出されるなか
IUTは完全放置ww
857(1): 2019/12/21(土)18:26 ID:RiKZpZyq(5/9) AAS
>>853
「ある集合」という言い方が「なんらかの条件を満たす集合」と読める
そうではなく、”空でなければどんな集合でもよい”のであれば
”多重射(poly-morphism)はAからBへの射のなす(通常空でない)集合”
”多重同型(poly-isomorphism)はAからBへの同型射のなす(通常空でない)集合”
”充満多重同型(full poly-isomorphism)はAからBへの同型射全体のなす集合”
と書けばよい
省1
858(1): 2019/12/21(土)18:48 ID:R5zXcFKP(15/16) AAS
>>857
そのとおりです。文意を読み取れておらずもうしわけございませんでした。
859: 2019/12/21(土)18:53 ID:RiKZpZyq(6/9) AAS
>>858
了解
860(3): 2019/12/21(土)19:44 ID:sIb5c2QE(1/2) AAS
>>833
>>834
凄い適当でもあり他方で確信もあり口を挟みますが、IUTのような議論はABC予想の証明に不可欠では
ありません。普通の普遍性を満たす完備、余完備な圏論を用いた証明が存在することは
近年の方向性から明らかです。8年経ってこの有り様では、別証明が出てきて定着するほうが先かもしれない
861: 2019/12/21(土)19:49 ID:R5zXcFKP(16/16) AAS
>>860
IUTの議論がABC予想の証明に不可欠ではない、という意見には賛成します。
862(1): 2019/12/21(土)19:56 ID:sIb5c2QE(2/2) AAS
エタール基本群（EFG）の位置付けについては難しい所があるが、モノイド上という新たな条件はあれど、
エタール基本群の一種の忘却関手を取って数体の非自明な解析的不変量が計算されるとはちょっと考えがたい
そんなに代数体のディオファントス幾何は単純ではないし、実際にはEFGの部分群ではなくて
一種の拡張を考えないといけないはずなんだよね。本当に難しいんですよ、私もこの数年で調べたんだけど
そこでIU形式主義+Anabelioidの枠組みが効果的かどうかが全てで、ここには書かないが
論理的に不十分なんじゃないかなと思う。アイデアの有無についてショルツを舐めちゃいけない
絶対ガロア群のトポロジーによる一般化など、perfectoidだけではない射程を持っている
省2
上下前次1-新書関写板覧索設栞歴
あと 140 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s