[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）11 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
138: 2022/11/13(日)13:21 ID:Co1SFnp/(3/3) AAS
>>137
それが関係ないと言い切れるのは御前が『信仰者』だから｡
つまり御前もまた京都魔界村社会忖度文化に与する者だと言う事｡
139: 2022/11/14(月)20:21 ID:dzWu9uQc(1/3) AAS
「２位じゃダメなんですか」
https://www.yomiuri.co.jp/national/20221112-OYT1T50227/2/
読売
世界一のスパコン「富岳」、それは「２位じゃダメなんですか」への科学者らの答えだった
2022/11/14
140(5): 2022/11/14(月)20:46 ID:dzWu9uQc(2/3) AAS
>>137
＞「系3.12数学的意味補完」活動？
＜私見だが・・＞
・ショルツェ氏は勘違いしているが、彼は系3.12以前から、望月のIUTを誤解・誤読して、正しく理解できていないだけ
・望月氏は、IUTを用いて、ノイキルヒ・内田の定理類似を、ABC予想に関する楕円曲線の数体に拡張したと見ている
・それは、圏論のモノイドを拡張して、フロベニオイド等々をつくって、絶対ガロア群もどき
（圏論のモノイドなので群論そのものではない？）
から、楕円曲線の数体もどきを作る
・もどきだから、ある程度の誤差がある（望月氏は”不定性”という）
・この望月構成が、あまりに壮大で、当時の時代を超越していたから、
省5
141: 2022/11/14(月)20:46 ID:dzWu9uQc(3/3) AAS
>>140
つづき
(参考)
https://ja.wikipedia.org/wiki/%E9%81%A0%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E5%B9%BE%E4%BD%95%E5%AD%A6
遠アーベル幾何学
数体とその絶対ガロア群の初期の結果は、アレクサンドル・グロタンディークによる数体の双曲線[1]についての予想に先立ち、ユルゲン・ノイキルヒ、ギュンデュズ・イケダ、岩澤健吉、内田興二（Koji UCHIDA、ノイキルヒ・内田の定理）によって得られていた。
https://ja.wikipedia.org/wiki/%E3%83%8E%E3%82%A4%E3%82%AD%E3%83%AB%E3%83%92%E3%83%BB%E5%86%85%E7%94%B0%E3%81%AE%E5%AE%9A%E7%90%86
ノイキルヒ・内田の定理（ノイキルヒ・うちだのていり）は、代数体に関するすべての問題は、絶対ガロア群に関する問題に還元できることを示している。ユルゲン・ノイキルヒ（英語版）（1969）は、同じ絶対ガロア群をもつ2つの代数的数体が同型であることを示し、内田興二（1976）は、代数的数体の自己同型がその絶対ガロア群の外部自己同型に対応するというノイキルヒの予想を証明することによってこれを強化した[1]。フロリアン・ポップ（1990、1994）は、素数体上で有限に生成される無限体に結果を拡張した。ノイキルヒ・内田の定理は、遠アーベル幾何学の基本的な結果の1つである。[2] 主なテーマは、これらの代数的基本群(Algebraic fundamental group)が十分に非アーベルである場合、幾何オブジェクトのプロパティを代数的基本群のプロパティに減らすことである。
脚注
2^ “「絶対 Galois 群による数体の復元」星 裕一郎 2014年5月”. 京都大学 数理解析研究所. 20220220閲覧。p.4 「 Neukirch ・ 内田の定理の証明を検証してみると, 関数体の場合, その証明は “単遠アーベル的復元” を与えている」、「NF(Number Field) の場合, その証明は “単遠アーベル的復元” を与えていない、つまり,Neukirch ・ 内田の定理の証明から, 絶対 Galois 群を出発点として元々の NF (Number Field) を群論的に構成する手続きを得ることは (少なくとも直ちには) できないのである」.
省2
142(1): 2022/11/14(月)21:52 ID:rN0xlW0K(1) AAS
>>140
分かってないのはおまえだよ、ニホンザルｗ
系3.12は「エッシャーの階段」
143(2): 2022/11/15(火)07:39 ID:9Sqq12HI(2/4) AAS
>>142
分かってないのはショルツェ氏ですｗ
144: 2022/11/15(火)07:42 ID:9Sqq12HI(3/4) AAS
>>140 タイポ訂正
全体の荒筋との関連でI、UTの解説ができていないことが問題と思う
↓
全体の荒筋との関連で、IUTの解説ができていないことが問題と思う
145: 2022/11/15(火)08:13 ID:9Sqq12HI(4/4) AAS
>>140
>・それは、圏論のモノイドを拡張して、フロベニオイド等々をつくって、絶対ガロア群もどき
>（圏論のモノイドなので群論そのものではない？）
圏論では、群論よりも広く対称性を議論できるのかもね
下記などご参照
(参考)
https://www.youtube.com/watch?v=tdZHrEvrso0
エニオンの圏論的対称性と作用素環 第１回
物理で使う数学チャンネル
チャンネル登録者数 1280人
省25
146(1): 2022/11/17(木)22:55 ID:FtkqB7cT(1) AAS
>>140
私見？並の素人よりも物知らず世間知らず訳知らず身の程知らずなお前のお前ごときの、私見？
>>143
良かったな、全資産及び全臓器を担保に主張しなくて
基本、>>1の主張は999‰がハッタリ
147(1): 2022/11/18(金)10:28 ID:jDCm1nUF(1) AAS
>>146
蕎麦屋さんか？
どうも、スレ主ですｗ
＞私見？並の素人よりも物知らず世間知らず訳知らず身の程知らずなお前のお前ごときの、私見？
あんたの発言の意味わからんｗ
「私見」の定義を述べてみよｗ
”並の素人よりも物知らず世間知らず訳知らず身の程知らずなお前のお前ごとき”
の条件節が真として
しかし、私見は私見だろうさｗｗ
まあ赤ペン入れれば
省4
148: 2022/11/18(金)10:39 ID:NSR84BFU(1) AAS
>>147
アホ🐒は黙れよ
お前の存在が無価値
149: 2022/11/18(金)18:53 ID:dIL0eP9/(1) AAS
>>8
👶よくねぇよ
150(2): 2022/11/18(金)18:58 ID:iyHbrCzy(1) AAS
>>143
確信をもってそう言えるとしたら
すごくえらい
151(1): 2022/11/19(土)13:56 ID:Cj+Rm9/A(1/3) AAS
>>150
どうもありがとう
スレ主です
まず
2chｽﾚ:math
（IUTに対する批判的レビュー）
https://zbmath.org/07317908
https://zbmath.org/pdf/07317908.pdf
Mochizuki, Shinichi
Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908
省9
152(1): 2022/11/19(土)13:57 ID:Cj+Rm9/A(2/3) AAS
>>151
つづき
一方、下記
https://ja.wikipedia.org/wiki/%E9%81%A0%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E5%B9%BE%E4%BD%95%E5%AD%A6
遠アーベル幾何学
^ 単遠アーベル的復元は,“所望の手続きの存在を証明する”ことが目的なのではなく,“所望の手続きを与える”ことが目的である. 例えば, [8],Corollary 1.10, は, その主張を述べるためにおよそ 3 ページが費やされ, しかし, 証明がたったの 2 行で終わってしまうという, 従来の数学では比較的珍しい構成になっている. このような状況が生じる背景には, この “主張の中にその手続きを書くべき” という考えがある. (絶対 Galois 群による数体の復元 星 裕一郎 (京都大学 数理解析研究所) 2014年5月 p.4)
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
注釈
”「復元」の操作は一種のアルゴリズムであり、コンピュータのソフトウェアに似ています。IUT論文も、「復元」のアルゴリズムとして、ステートメントは長いが証明は自明という定義や命題を積み重ねていくことによって高度に非自明な構造を作り上げています。”[51]
省4
153(6): 2022/11/19(土)13:57 ID:Cj+Rm9/A(3/3) AAS
>>152
つづき
そして、下記のショルツェ氏の[SS2018-08]文書で
”radical simplifications”なることをしている
言い訳書いてますけど
基本的に、数学で相手の理論の”simplifications”とか定義の書き換え、これは基本的に許されない
（”radical simplifications”したら、全く別理論になる）
そのうえ、彼はレビューで自白しているが、遠アーベルの「復元」の話が全く読めてない
それなのに、モノドロミー j^2 (下記)とか持ち出して、”矛盾する”というが
やっていること、デタラメの極みでしょ
省16
154: 2022/11/19(土)15:01 ID:6ELOHHQM(1) AAS
>>150
> 確信をもってそう言えるとしたら
> すごくえらい
そうだな、えらいバカだ
もっと正確に言うなら、えらいバカと言うかえらくバカだが
155(1): 2022/11/19(土)16:22 ID:39X1Wwcf(1) AAS
>>153
＞モノドロミー j^2 とか持ち出して、”矛盾する”というが
そう、これがエッシャーの階段のトリックだから
シェパードトーン
https://ja.wikipedia.org/wiki/%E3%82%B7%E3%82%A7%E3%83%91%E3%83%BC%E3%83%89%E3%83%88%E3%83%BC%E3%83%B3#:~:text=%E3%82%B7%E3%82%A7%E3%83%91%E3%83%BC%E3%83%89%E3%83%88%E3%83%BC%E3%83%B3(Shepard%20tone)%E3%81%A8,%E9%9F%B3%E9%9A%8E(Shepard%20scale)%E3%81%A8%E3%81%84%E3%81%86%E3%80%82
「音高が上昇または下降しつづけているように聞こえるが、
最終的には高くも低くもなっていないという錯聴を引き起こす。」
156: 2022/11/21(月)03:26 ID:E9XyvEaA(1) AAS
証明を証明検証システム（計算機のソフトだ）にかけて検証にパスすれば、
正しいことが証明されるのだ。
ではそのソフトが正しいことは誰が検証するのか、ソフトの正しさを
別のソフトに検証させてみて、もしも検証にパスすれば、そのソフトは
正しいことが証明されるのだ。
ではその「別のソフト」が正しいことは誰が検証するのか。。。。。。
検証ソフトに自分自身を検証させて、検証にパスしたら、あれっ？
これは。。。
157: 2022/11/21(月)11:59 ID:YelaIaXb(1/2) AAS
自己正当性断定｡
正直者はバカ正直なので「私は正直である」と正直回答､
嘘つきは嘘つきなので「私は正直である」と嘘つき回答｡
上下前次1-新書関写板覧索設栞歴
あと 845 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s