- 1 名前：１３２人目の素数さん [2019/08/22(木) 18:14:13.06 ID:BTC6bLMk.net]
- IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 40
https://rio2016.5ch.net/test/read.cgi/math/1562335430/
- 978 名前： mailto:sage [2019/10/19(Sat) 11:40:46 ID:rc05uNIF.net]
- >>932
替りのモデルは何？
- 979 名前：１３２人目の素数さん [2019/10/19(土) 13:49:13.09 ID:FkgToASB.net]
- 素粒子標準モデルを超える、ほんとらしい
モデル候補はいっぱいありすぎる。
低エネルギー領域のデータから高エネルギー
領域を推定する逆の問題だからかな
大統一理論 GUTでは、SU(5)⊂SO(10)⊂E8
よりSO(10)モデル E8モデル、。
超対称性SUSYモデルでは、陽子崩壊実験
結果とLHCで超対称性粒子が未発見より
MSSMも厳しい 次のNMSSMモデルか。
ヒッグス粒子は素粒子でなく複合粒子モデル、ランニングテクニカラーモデル。
ヒッグス粒子が自発的対称性の破れの
NG粒子を特徴とするリトルヒッグスモデル。
余剰次元理論では ブレイン のLSモデルや
ゲージ ヒッグス統合モデル 、。
更に
カミオカンデでニュートリノが質量を持つ
ことを発見したことから、
素粒子標準モデルを拡張し
右巻きニュートリノがあるモデルや
マヨナラニュートリノがあるモデル。
Wβ崩壊実験はマヨナラニュートリノに
つながる
まず新粒子の質量を数値で予測する
シンプル自然なモデルが求められる、
質量は特殊相対論の不変質量です。
測定データで否定されたモデルでも
仮定を加えれば生き延びるが 予測能力に
欠け複雑で不自然なモデル は相手にされません
- 980 名前：１３２人目の素数さん [2019/10/19(土) 13:59:41.71 ID:A9AKDeNb.net]
- 喧伝されたフェルマーの別証明、リーマン、BSDはIUTでは解けなかったことからも見栄とハッタリだけだったてことで解散！！
- 981 名前：１３２人目の素数さん [2019/10/19(Sat) 16:25:17 ID:FkgToASB.net]
- >>941
訂正
破れのNG粒子→破れなど�
- 982 名前：ﾌ擬NG粒子。 []
- [ここ壊れてます]
- 983 名前：１３２人目の素数さん mailto:sage [2019/10/19(土) 17:52:27.47 ID:4K7yJ94G.net]
- 質量子や質量子の塊りは観測されてないから何かの相互作用
概念モデルがちがうというなら質量が質量を呼び寄せてるのではなく
作用空間同士を追いやろうとする空間の歪の立体的な張力モデルか
- 984 名前：１３２人目の素数さん [2019/10/19(土) 19:24:23.82 ID:O9eNmDw9.net]
- そもそも論として、理論の進化（深化）ってわかりやすさと一緒に考えなきゃならないはずだ
フェルマーは南出さんによれば導出できるらしいが、それがワイルズーテイラーよりわかりにくいのであれば
使い物にならない。IUTの概念を使ったら50ページ以下で解けたみたいな話じゃないと駄目でしょ
- 985 名前：１３２人目の素数さん [2019/10/19(土) 22:07:46.84 ID:pxjn4cOD.net]
- んなこたあない
- 986 名前： mailto:sage [2019/10/20(Sun) 01:07:47 ID:17Inm+Cd.net]
- 整数の掛け算が足し算の結果を使って定義されてるのは確かに疑問がある。
整数に和と積を定義するとき和は普通の足し算でいいとして、
積を環を成すように定義しようと思ったら自動的に普通の掛け算になる？
他の積の可能性もあるんじゃないか？トロピカル演算みたいな例もあるんだし。
- 987 名前：１３２人目の素数さん mailto:sage [2019/10/20(日) 10:22:52.16 ID:+WUSu7FV.net]
- 自然数でも、ペアノ算術を弱めたプレスバーガー算術で「自然数の積」を定義することはできないんだよな
割と不思議
- 988 名前： mailto:sage [2019/10/20(日) 16:58:36 ID:JP1Epiut.net]
- >>947
まず自分で考えようとしないのが信じられない。
単位元がなくてもよければすべてのn,mでn*m=0としても環にはなる。
- 989 名前：１３２人目の素数さん mailto:sage [2019/10/20(日) 20:05:25.86 ID:bSat0hZb.net]
- >>946
いや、もっと強い理論を使うってことは基本的に簡単に短く解けるってことだ
解けなかった問題は解け、解けていた問題は更にシンプルになる
新しい理論の世界自体はもっと広がるとしても
- 990 名前：１３２人目の素数さん mailto:sage [2019/10/21(月) 18:02:10.31 ID:Aqu/Lwjz.net]
- ただ、IUTが仮に「アラケロフ理論的にフェルマー予想を解決できる」として、それに必要な議論が
十分あの論文に含まれてるとは感じないんだよなあ
誰もいないのか引いてるのか知らないから連投するけど
- 991 名前：１３２人目の素数さん [2019/10/21(月) 19:16:56.35 ID:IlC78N9t.net]
- これほど直観的に怪しい数学ないもんな。
にも関わらず日本では支持が多かったが。
普及したら読もうかなと思ったけど読む機会なさそうｗ
- 992 名前：１３２人目の素数さん [2019/10/21(月) 21:25:14 ID:6TgFwPKz.net]
- Lurieは抽象代数内で閉じていないんだ
オーソドックスで興味深いテーマだな
J. Lurie
TOPOLOGICAL QUANTUM FIELD THEORIES FROM COMPACT LIE GROUPS
https://arxiv.org/abs/0905.0731
- 993 名前：１３２人目の素数さん [2019/10/21(月) 22:10:58.40 ID:6TgFwPKz.net]
- 「モーデル.ファルティングスの定理」
ディオファントス幾何からの完全証明
は良書だね。
ライブラリは 森重文監修で編者が
京大 RIMS関係なのに、
RIMSは全く新しいパラダイムの数学を
自称するIUTへ突っ走るとはね
- 994 名前：１３２人目の素数さん mailto:sage [2019/10/22(火) 01:17:38.01 ID:j83bCERZ.net]
- よくわかんないけどIUTってショルツってやつとスティックスってやつに論破されたんでしょ
ださｗ
- 995 名前：１３２人目の素数さん [2019/10/22(火) 11:45:47.45 ID:s6/iJQA9.net]
- 不要な用語の寄せ集め、肝心なところで大チョンボだからね。世界の笑い者禿藁
- 996 名前：１３２人目の素数さん [2019/10/22(火) 14:22:27.12 ID:U0iFKnI7.net]
- フィールズ賞とったやつが実名で間違ってるって指摘するのはやっかみでもなく
- 997 名前：、本当に間違ってることだろうね []
- [ここ壊れてます]
- 998 名前：１３２人目の素数さん mailto:sage [2019/10/22(火) 17:43:25.95 ID:BaVHY2vT.net]
- あってるんだけど、おまえら、バカなのか、
- 999 名前：１３２人目の素数さん mailto:sage [2019/10/22(火) 17:47:56.14 ID:nYvyjN1O.net]
- そんなｴｻで
俺様が釣られると
思ってんのか!!
｜ Hit!!
｜
｜
ぱくっ ｜
／Ｖ＼
/◎＿＿ヽ
＿ ム:(ﾟДﾟ)|
ヽﾂ (ﾉ::::::::|)
ヾソ:::::::ノ
｀ーＵ^Ｕ
- 1000 名前：１３２人目の素数さん mailto:sage [2019/10/22(火) 19:18:55.21 ID:KzhlcqO+.net]
- >>957
逆に、簡単に間違っていると断言できる理論なのか、という見方も成り立たなくはない
実際、環のスキーム論を一般化するための考え方としては理にかなってる部分がある
少なくともある部分では哲学的に合ってるだろうね。パッケージとして正しいかどうかが最終的な問題とは言え
- 1001 名前：１３２人目の素数さん [2019/10/22(火) 19:43:16.16 ID:EMh9Ziko.net]
- >実際、環のスキーム論を一般化するための
考え方としては理にかなってる部分がある
はあ
IUTは 実際、2020年公式の文元本で
全く新しい数学 パラダイム と自称しているのに
スキーム論の一般化はオーソドックスな
パラダイムだろう。
- 1002 名前：１３２人目の素数さん [2019/10/22(火) 20:53:19.30 ID:0geshImg.net]
- まー3.12は関係ないとしてもⅠ、Ⅱで応用がないとおかしい
何年経過してるんだ
- 1003 名前：１３２人目の素数さん mailto:sage [2019/10/22(火) 21:16:53.88 ID:KzhlcqO+.net]
- >>961
数論的に非自明な結果を出せるように一般化するのは難しいからね
ある程度合っててもちょっとパズルが狂うと駄目
- 1004 名前：１３２人目の素数さん [2019/10/22(火) 23:21:36.09 ID:sNKcHWT6.net]
- 一般化は先ず条件を自然に緩めることを思い
つく、カッツ ムーディー リー代数なら
カルタン行列 デンキン図形から一般化した
無限次元 リー代数でした。
ある程度合っている(=合っている＋誤差 )
場合なら数論に限らず、結論に向け誤差
公理へ辻褄の合わないことを操作し押し込め
形式のみ整えることはできても結局 役立たず。
IUTの「不定性」形式主義はどうなんでしょ、
違和感だらけだがw
基本的な構造を掴んだアイデアがあるか
無いかだろう
- 1005 名前：１３２人目の素数さん [2019/10/23(水) 00:14:37.16 ID:SMMfDt9P.net]
- >>964
デンキン図形→ディンキン図形
- 1006 名前：１３２人目の素数さん mailto:sage [2019/10/23(水) 19:36:10.82 ID:S/cWSk0T.net]
- Lurieの記事が同値による統一性を強調しているのに対し、IUTは異なるものの統一性を理論化している
そういう意味でもコントラストが激しいね
- 1007 名前：１３２人目の素数さん [2019/10/24(木) 01:19:55.68 ID:MlBTQEHk.net]
- IUTはSTAPだろ
- 1008 名前：１３２人目の素数さん mailto:sage [2019/10/24(木) 02:21:19.04 ID:feRgwJaT.net]
- https://gyao.yahoo.co.jp/player/00597/v12730/v1000000000000006410/
- 1009 名前：１３２人目の素数さん [2019/10/24(木) 11:53:53.99 ID:isNacggl.net]
- With Category Theory, Mathematics Escapes From Equality
2019 .10.10
https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/
- 1010 名前：１３２人目の素数さん mailto:sage [2019/10/25(金) 07:30:36 ID:+JxbCyMk.net]
- しかしLurieの大部癖は望月御大より酷いな
要約できる助手を付けたほうがいい
- 1011 名前：１３２人目の素数さん [2019/10/25(金) 09:26:18.54 ID:n7yNTB+i.net]
- >>970
全然珍しくないぞ
ｔｏｅｎのDGカテゴリーだって大部だし
grothendieckのｄｅｌｉｖａｔｏｒも1000ページ超えてる
- 1012 名前：１３２人目の素数さん [2019/10/25(金) 10:16:37.48 ID:RocDqCVc.net]
- J.Lurieによるstabe infinity Categories
の解説 73page
https://arxiv.org/abs/math/0608228
J.Lurieの論文はarxivだから 修正が明確。
一方
IUT論文のpreprintは修正が�
- 1013 名前：ｽ数あるし
修正前が不明確だ。
元々 2012年8月末までにRIMSへ投稿した
4篇のIUT論文は最終形式だったはず [] - [ここ壊れてます]
- 1014 名前：１３２人目の素数さん [2019/10/25(金) 11:35:59.64 ID:jfiLGctM.net]
- 第2回 八重洲本大賞、決定いたしました
宇宙と宇宙をつなぐ数学 ＩＵＴ理論の衝撃
加藤文元／著 ＫＡＤＯＫＡＷＡ
おめでとうーおめでとー
- 1015 名前：１３２人目の素数さん mailto:sage [2019/10/25(金) 12:43:23.97 ID:5DMR6FYt.net]
- ABC予想の証明がただしいてことは確認されたの？
それともまだ確認中のまま？
- 1016 名前：１３２人目の素数さん [2019/10/25(金) 13:06:47.35 ID:3ghYnnE3.net]
- 多分 まだ勝手に修正中でしょ
- 1017 名前：１３２人目の素数さん mailto:sage [2019/10/25(金) 15:03:31.83 ID:I/YRv0q1.net]
- 笑劇
- 1018 名前：１３２人目の素数さん mailto:sage [2019/10/25(金) 20:37:09.67 ID:5zHU+j7k.net]
- 日本数学の黒歴史の闇がより濃さを増しております…
- 1019 名前：１３２人目の素数さん mailto:sage [2019/10/25(金) 21:15:22.78 ID:UPRp0lmv.net]
- 八重洲もやっちまったな
本屋の人気投票でアドバイザーいなかったか
- 1020 名前：１３２人目の素数さん mailto:sage [2019/10/25(金) 22:49:22.88 ID:9nswhx1j.net]
- >>978
恣意的なアドバイザーなんかに左右されたら末代までの恥
- 1021 名前：１３２人目の素数さん mailto:sage [2019/10/25(金) 23:09:43.58 ID:giF53RHm.net]
- 早くアクセプトしろ！
- 1022 名前：１３２人目の素数さん mailto:sage [2019/10/25(金) 23:33:00.50 ID:5zHU+j7k.net]
- 天下のカドカワがそんな胡散臭いもん出すとは思いつくわけないし、
数学者が白黒つけられないものを出版社が口答えできるわけないし
- 1023 名前：１３２人目の素数さん [2019/10/25(金) 23:34:22.44 ID:giF53RHm.net]
- 断じて「インチキ胡散臭いジオメトリー」ではない！
- 1024 名前：１３２人目の素数さん [2019/10/26(土) 02:00:36.33 ID:Pzbuz5VC.net]
- >>973
分野はオカルト ポストモダンだね。
カドカワ ほらーかな
- 1025 名前：１３２人目の素数さん [2019/10/26(土) 02:04:36.51 ID:Pzbuz5VC.net]
- >インチキ胡散臭いジオメトリー
自覚しているんだw
- 1026 名前：１３２人目の素数さん mailto:sage [2019/10/26(土) 04:30:36.18 ID:eXa+Y66L.net]
- ノーベル賞とれそう？
- 1027 名前：１３２人目の素数さん [2019/10/26(土) 16:31:34.19 ID:wI/eySb4.net]
- >>974
>ABC予想の証明がただしいてことは確認されたの？
>それともまだ確認中のまま？
ABCの正しさなんて些細。
数学の中身に興味がないバカが、 権威にしか興味ないバカが、
「正しいかどうかか重要」という事に強引に仕立て上げる事によって、
(客観的に機械的に白黒つく世界だから)野次馬が参入しやすい話題に改ざんしたいだけ。
しかし本質はIUTという概念の可能性の有無。
その可能性が見いだされていない事こそが真の致命傷。
- 1028 名前：１３２人目の素数さん [2019/10/26(土) 19:04:13 ID:2h9Pg+LB.net]
- 笹井もへったくれも証明したって喧伝しまくったんだから責任は問われて当然
- 1029 名前：１３２人目の素数さん [2019/10/26(土) 19:27:32.27 ID:6Mdi8NvZ.net]
- 森重文監修 森脇 淳
「モーデル.ファルティングスの定理」
ディオファントス幾何からの完全証明
前半モーデル.ヴェイユの定理を証明から
後半でモーデル.ファルティングスの定理
「代数体上定義された種数が2以上の曲線
の有理点は有限個である」を証明する。
証明方針はリュービル定理 ロスの補題
ディオファントス近似を高次元化する。
・多項式近似 定理と指数の上限定理と
指数の下限定理の3定理からヴォイタの
不等式を導き、更にヴォイタの不等式
からモーデル.ファルティングスの定理を
導く。
・ヴォイタのヴォイタの不等式と指数の上限
定理でボンビエリがジーゲルの補題 鳩の巣
の使用より証明が初等化 明確化 単純化
された。
・モーデル.ファルティングス定理は
フェルマー曲線にも応用できる。
・数論の近代化は モーデル ファルティングス
の定理へ至る道だそうだが確かに
- 1030 名前：１３２人目の素数さん [2019/10/26(土) 19:28:15.16 ID:6Mdi8NvZ.net]
- >>988
つづき
・古典力学の惑星軌道�
- 1031 名前：ﾅ カオスと境目領域に
あたる近可積分系 KAM定理の証明でも
ディオファントス幾何 ロスの補題を使う。
・加速器シンクロトロンでもビーム回転軌道
の衝突部分をシミュレーションすれば
カオス領域までありKAM定理など使い
定性的に分析されている
なぜ日本の数学者は加藤文元IUT本を勧め
森脇 モーデル ファルティングスの定理 本
を勧めないのか 摩訶不思議だ。
RIMS主催 2020IUT年の公式 文元本を
カネを払って買って最後までよんだが、
望月寄稿文では天動説地動説とIUTの
「不定性」の言い訳に相対論 量子力学
素粒子力学？が書いてあった。
とても数学の内容の本も思えず 役立たず？
いや占いの本だと言い聞かせながら
よんだら苦痛がやわらいだ。 [] - [ここ壊れてます]
- 1032 名前：１３２人目の素数さん mailto:sage [2019/10/26(土) 19:31:20.58 ID:fCvIm9mW.net]
- >>986みたいな意見は常にあるけども、新しい理論が出てきて
それによって新しいことがわかるようにならないならその理論には価値ないと思う。
数学自体が進化してないからね。
- 1033 名前：１３２人目の素数さん mailto:sage [2019/10/26(土) 19:31:59.01 ID:kYQ22Y+8.net]
- ＞概念の可能性
応用や同値で説明できないのは欠陥があるから
- 1034 名前：１３２人目の素数さん mailto:sage [2019/10/26(土) 19:47:01 ID:mGPjE0DI.net]
- いつのまにかスレの議論がIUTが正しくないのが大前提になってるね。
- 1035 名前：１３２人目の素数さん mailto:sage [2019/10/26(土) 19:58:23.53 ID:2h9Pg+LB.net]
- あれほど長文の先生他が欠陥指摘してるのに読解できないほうがおかしい
- 1036 名前：１３２人目の素数さん [2019/10/26(土) 20:11:10.98 ID:6Mdi8NvZ.net]
- >>988
訂正
鳩の巣→鳩の巣原理
- 1037 名前：１３２人目の素数さん [2019/10/26(土) 20:30:55.03 ID:+mNO82GQ.net]
- もう誰も正しいなんて思ってないよ
- 1038 名前：１３２人目の素数さん [2019/10/26(土) 20:59:15.26 ID:WaI1Wq/B.net]
- ギャップの問題ではないのだから正しいかどうかか重要なのは当然の事
>>986はバカ
- 1039 名前：１３２人目の素数さん [2019/10/26(土) 21:00:13.84 ID:WaI1Wq/B.net]
- 正しいかどうかは重要でないならさっさと論文を正式掲載しろよｗｗｗｗｗｗｗｗｗ
- 1040 名前：１３２人目の素数さん mailto:sage [2019/10/26(土) 22:00:09.28 ID:+svNcOfi.net]
- 確かに数学の世界で正しいかどうかは関係ないとか言い出したらギャグだわな
どの程度正しいアイデアか、と問わないと意味がない
- 1041 名前：１３２人目の素数さん mailto:sage [2019/10/26(土) 22:01:25.45 ID:ItCFrnWq.net]
- 純粋ミラクル1000%
- 1042 名前：１３２人目の素数さん [2019/10/26(土) 22:20:44.37 ID:9v5PcjKg.net]
- もはや7年経って、新しくも斬新でもないんだよな。
単純に問題があって受け入れられていないだけ。SSレポートでもう結論は出ている。
- 1043 名前：1001 [Over 1000 Thread.net]
- このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 65日 4時間 6分 31秒
- 1044 名前：1002 [Over 1000 Thread.net]
- 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
- 1045 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
