Inter-universal geometry と ABC予想 41

Inter-universal geom ..

968:１３２人目の素数さん
19/10/18 22:11:05.09 mIm4jl53.net
>>909
>>929
その「脳が11次元の構造を持つ」って論文はグラフ理論でいう次元、つまり12個のニューロンが全て互いに接続してるって意味であって11次元空間とは何の関係もないよ
URLﾘﾝｸ(blogs.discovermagazine.com)

969:１３２人目の素数さん
19/10/18 22:14:45.59 94ucD8xi.net
素粒子標準モデルはゲージ群(リー環)
が電弱相互作用のレプトンセクタ

970:ー U(1)×SU(2)で強い相互作用のクォークセクター SU(3)。更に高エネルギー領域では拡大ディンキン図形より相互作用 (力)が統一されたSU(5) モデルが考えられる。つまり U(1)×SU(2)×SU(3)⊂SU(5)で統一され SU(5)は経路積分のヤコビアン.アノマリーがない。この相互作用の統一を模倣して数学で単にゼータの統一とか言われているだけでしょ素粒子物理のSU(5)モデルは陽子崩壊の現象があるから大量の水を貯めて観測しようとしたのがカミオカンデ。現在も陽子崩壊が観測されていないし陽子の寿命よりSU(5)モデルは否定された。超対称性SU(5)モデルも瀕死？の状態。なぜかは超弦理論も教えてくれないw 数学でゼータの統一もそんなに甘くない気がするけどね

971:１３２人目の素数さん
19/10/18 23:43:05 94ucD8xi.net
ゲージ群統一の必然性。

アノマリーは
1 素粒子標準モデル
レプトンとクォーク
のアノマリーが偶然相殺して0
レプトンとクォークが対応している
2 SU(5)は実表現の時 0←陽子崩壊実験で否定
3 SO(10)は表現に関わらず 0。

アノマリー0の必然性からはレプトンと
クォークがSU(5)やSO(10)などで自然に
統一されると考えられた

972:１３２人目の素数さん
19/10/19 01:14:26.47 W+PQTCCk.net
所属大学への私的な思い入れをツイッターで学長宛に連リプしてるひとを見た
どういう経緯か知らないが学長も反応に困るだろ何が狙いなんや

973:１３２人目の素数さん
19/10/19 01:35:02.82 wtOSIKOu.net
むしろ何でこのスレでそれを言うのか

974:１３２人目の素数さん
19/10/19 02:24:29.48 pzjmVtSr.net
このスレでは批判が多いけど、本当の本当はABC予想が解けている可能性も0じゃないよね？あるいは解けてないけど、あともう少しで解けそうとか。

975:１３２人目の素数さん
19/10/19 06:27:06.17 9tZz85ir.net
そこは「解けていない可能性も0じゃない」だろきおつけろ

976:１３２人目の素数さん
19/10/19 07:00:02.11 kaJkGr1/.net
ひんと
サギ商法

977:１３２人目の素数さん
19/10/19 11:09:21.29 Yocmuscv.net
936
具体的な指摘事項が掲載されてるのはこのスレだけだからそうなるわな
批判的と捉えてる時点で思い違い

978:
19/10/19 11:40:46 rc05uNIF.net
>>932
替りのモデルは何？

979:１３２人目の素数さん
19/10/19 13:49:13.09 FkgToASB.net
素粒子標準モデルを超える、ほんとらしい
モデル候補はいっぱいありすぎる。
低エネルギー領域のデータから高エネルギー
領域を推定する逆の問題だからかな
大統一理論 GUTでは、SU(5)⊂SO(10)⊂E8
よりSO(10)モデル E8モデル、。
超対称性SUSYモデルでは、陽子崩壊実験
結果とLHCで超対称性粒子が未発見より
MSSMも厳しい次のNMSSMモデルか。
ヒッグス粒子は素粒子でなく複合粒子モデル、ランニングテクニカラーモデル。
ヒッグス粒子が自発的対称性の破れの
NG粒子を特徴とするリトルヒッグスモデル。
余剰次元理論ではブレインのLSモデルや
ゲージヒッグス統合モデル、。
更に
カミオカンデでニュートリノが質量を持つ
ことを発見したことから、
素粒子標準モデルを拡張し
右巻きニュートリノがあるモデルや
マヨナラニュートリノがあるモデル。
Wβ崩壊実験はマヨナラニュートリノに
つながる
まず新粒子の質量を数値で予測する
シンプル自然なモデルが求められる、
質量は特殊相対論の不変質量です。
測定データで否定されたモデルでも
仮定を加えれば生き延びるが予測能力に
欠け複雑で不自然なモデルは相手にされません

980:１３２人目の素数さん
19/10/19 13:59:41.71 A9AKDeNb.net
喧伝されたフェルマーの別証明、リーマン、BSDはIUTでは解けなかったことからも見栄とハッタリだけだったてことで解散！！

981:１３２人目の素数さん
19/10/19 16:25:17 FkgToASB.net
>>941
訂正
破れのNG粒子→破れなど�

982:ﾌ擬NG粒子。

983:１３２人目の素数さん
19/10/19 17:52:27.47 4K7yJ94G.net
質量子や質量子の塊りは観測されてないから何かの相互作用
概念モデルがちがうというなら質量が質量を呼び寄せてるのではなく
作用空間同士を追いやろうとする空間の歪の立体的な張力モデルか

984:１３２人目の素数さん
19/10/19 19:24:23.82 O9eNmDw9.net
そもそも論として、理論の進化（深化）ってわかりやすさと一緒に考えなきゃならないはずだ
フェルマーは南出さんによれば導出できるらしいが、それがワイルズーテイラーよりわかりにくいのであれば
使い物にならない。IUTの概念を使ったら50ページ以下で解けたみたいな話じゃないと駄目でしょ

985:１３２人目の素数さん
19/10/19 22:07:46.84 pxjn4cOD.net
んなこたあない

986:
19/10/20 01:07:47 17Inm+Cd.net
整数の掛け算が足し算の結果を使って定義されてるのは確かに疑問がある。
整数に和と積を定義するとき和は普通の足し算でいいとして、
積を環を成すように定義しようと思ったら自動的に普通の掛け算になる？
他の積の可能性もあるんじゃないか？トロピカル演算みたいな例もあるんだし。

987:１３２人目の素数さん
19/10/20 10:22:52.16 +WUSu7FV.net
自然数でも、ペアノ算術を弱めたプレスバーガー算術で「自然数の積」を定義することはできないんだよな
割と不思議

988:
19/10/20 16:58:36 JP1Epiut.net
>>947
まず自分で考えようとしないのが信じられない。
単位元がなくてもよければすべてのn,mでn*m=0としても環にはなる。

989:１３２人目の素数さん
19/10/20 20:05:25.86 bSat0hZb.net
>>946
いや、もっと強い理論を使うってことは基本的に簡単に短く解けるってことだ
解けなかった問題は解け、解けていた問題は更にシンプルになる
新しい理論の世界自体はもっと広がるとしても

990:１３２人目の素数さん
19/10/21 18:02:10.31 Aqu/Lwjz.net
ただ、IUTが仮に「アラケロフ理論的にフェルマー予想を解決できる」として、それに必要な議論が
十分あの論文に含まれてるとは感じないんだよなあ
誰もいないのか引いてるのか知らないから連投するけど

991:１３２人目の素数さん
19/10/21 19:16:56.35 IlC78N9t.net
これほど直観的に怪しい数学ないもんな。
にも関わらず日本では支持が多かったが。
普及したら読もうかなと思ったけど読む機会なさそうｗ

992:１３２人目の素数さん
19/10/21 21:25:14 6TgFwPKz.net
Lurieは抽象代数内で閉じていないんだ
オーソドックスで興味深いテーマだな

J. Lurie
TOPOLOGICAL QUANTUM FIELD THEORIES FROM COMPACT LIE GROUPS

URLﾘﾝｸ(arxiv.org)

993:１３２人目の素数さん
19/10/21 22:10:58.40 6TgFwPKz.net
「モーデル.ファルティングスの定理」
ディオファントス幾何からの完全証明
は良書だね。
ライブラリは森重文監修で編者が
京大 RIMS関係なのに、
RIMSは全く新しいパラダイムの数学を
自称するIUTへ突っ走るとはね

994:１３２人目の素数さん
19/10/22 01:17:38.01 j83bCERZ.net
よくわかんないけどIUTってショルツってやつとスティックスってやつに論破されたんでしょ
ださｗ

995:１３２人目の素数さん
19/10/22 11:45:47.45 s6/iJQA9.net
不要な用語の寄せ集め、肝心なところで大チョンボだからね。世界の笑い者禿藁

996:１３２人目の素数さん
19/10/22 14:22:27.12 U0iFKnI7.net
フィールズ賞とったやつが実名で間違ってるって指摘するのはやっかみでもなく

997:、本当に間違ってることだろうね

998:１３２人目の素数さん
19/10/22 17:43:25.95 BaVHY2vT.net
あってるんだけど、おまえら、バカなのか、

999:１３２人目の素数さん
19/10/22 17:47:56.14 nYvyjN1O.net
そんなｴｻで
俺様が釣られると
思ってんのか!!
　　　　｜　Hit!!
　　　　｜
　　　　｜
ぱくっ　｜
　　　／Ｖ＼
　　　/◎＿＿ヽ
　＿ム:(ﾟДﾟ)|
ヽﾂ (ﾉ::::::::|)
　ヾソ:::::::ノ
　　｀ーＵ^Ｕ

1000:１３２人目の素数さん
19/10/22 19:18:55.21 KzhlcqO+.net
>>957
逆に、簡単に間違っていると断言できる理論なのか、という見方も成り立たなくはない
実際、環のスキーム論を一般化するための考え方としては理にかなってる部分がある
少なくともある部分では哲学的に合ってるだろうね。パッケージとして正しいかどうかが最終的な問題とは言え

1001:１３２人目の素数さん
19/10/22 19:43:16.16 EMh9Ziko.net
>実際、環のスキーム論を一般化するための
考え方としては理にかなってる部分がある
はあ
IUTは実際、2020年公式の文元本で
全く新しい数学パラダイムと自称しているのに
スキーム論の一般化はオーソドックスな
パラダイムだろう。

1002:１３２人目の素数さん
19/10/22 20:53:19.30 0geshImg.net
まー3.12は関係ないとしてもⅠ、Ⅱで応用がないとおかしい
何年経過してるんだ

1003:１３２人目の素数さん
19/10/22 21:16:53.88 KzhlcqO+.net
>>961
数論的に非自明な結果を出せるように一般化するのは難しいからね
ある程度合っててもちょっとパズルが狂うと駄目

1004:１３２人目の素数さん
19/10/22 23:21:36.09 sNKcHWT6.net
一般化は先ず条件を自然に緩めることを思い
つく、カッツムーディーリー代数なら
カルタン行列デンキン図形から一般化した
無限次元リー代数でした。
ある程度合っている(=合っている＋誤差 )
場合なら数論に限らず、結論に向け誤差
公理へ辻褄の合わないことを操作し押し込め
形式のみ整えることはできても結局役立たず。
IUTの「不定性」形式主義はどうなんでしょ、
違和感だらけだがw
基本的な構造を掴んだアイデアがあるか
無いかだろう

1005:１３２人目の素数さん
19/10/23 00:14:37.16 SMMfDt9P.net
>>964
デンキン図形→ディンキン図形

1006:１３２人目の素数さん
19/10/23 19:36:10.82 S/cWSk0T.net
Lurieの記事が同値による統一性を強調しているのに対し、IUTは異なるものの統一性を理論化している
そういう意味でもコントラストが激しいね

1007:１３２人目の素数さん
19/10/24 01:19:55.68 MlBTQEHk.net
IUTはSTAPだろ

1008:１３２人目の素数さん
19/10/24 02:21:19.04 feRgwJaT.net
URLﾘﾝｸ(gyao.yahoo.co.jp)

1009:１３２人目の素数さん
19/10/24 11:53:53.99 isNacggl.net
With Category Theory, Mathematics Escapes From Equality
2019 .10.10
URLﾘﾝｸ(www.quantamagazine.org)

1010:１３２人目の素数さん
19/10/25 07:30:36 +JxbCyMk.net
しかしLurieの大部癖は望月御大より酷いな
要約できる助手を付けたほうがいい

1011:１３２人目の素数さん
19/10/25 09:26:18.54 n7yNTB+i.net
>>970
全然珍しくないぞ
ｔｏｅｎのDGカテゴリーだって大部だし
grothendieckのｄｅｌｉｖａｔｏｒも1000ページ超えてる

1012:１３２人目の素数さん
19/10/25 10:16:37.48 RocDqCVc.net
J.Lurieによるstabe infinity Categories
の解説 73page
URLﾘﾝｸ(arxiv.org)

J.Lurieの論文はarxivだから修正が明確。
一方
IUT論文のpreprintは修正が�

1013:ｽ数あるし修正前が不明確だ。元々 2012年8月末までにRIMSへ投稿した 4篇のIUT論文は最終形式だったはず

1014:１３２人目の素数さん
19/10/25 11:35:59.64 jfiLGctM.net
第2回　八重洲本大賞、決定いたしました
宇宙と宇宙をつなぐ数学　ＩＵＴ理論の衝撃
加藤文元／著　　ＫＡＤＯＫＡＷＡ
おめでとうーおめでとー

1015:１３２人目の素数さん
19/10/25 12:43:23.97 5DMR6FYt.net
ABC予想の証明がただしいてことは確認されたの？
それともまだ確認中のまま？

1016:１３２人目の素数さん
19/10/25 13:06:47.35 3ghYnnE3.net
多分まだ勝手に修正中でしょ

1017:１３２人目の素数さん
19/10/25 15:03:31.83 I/YRv0q1.net
笑劇

1018:１３２人目の素数さん
19/10/25 20:37:09.67 5zHU+j7k.net
日本数学の黒歴史の闇がより濃さを増しております…

1019:１３２人目の素数さん
19/10/25 21:15:22.78 UPRp0lmv.net
八重洲もやっちまったな
本屋の人気投票でアドバイザーいなかったか

1020:１３２人目の素数さん
19/10/25 22:49:22.88 9nswhx1j.net
>>978
恣意的なアドバイザーなんかに左右されたら末代までの恥

1021:１３２人目の素数さん
19/10/25 23:09:43.58 giF53RHm.net
早くアクセプトしろ！

1022:１３２人目の素数さん
19/10/25 23:33:00.50 5zHU+j7k.net
天下のカドカワがそんな胡散臭いもん出すとは思いつくわけないし、
数学者が白黒つけられないものを出版社が口答えできるわけないし

1023:１３２人目の素数さん
19/10/25 23:34:22.44 giF53RHm.net
断じて「インチキ胡散臭いジオメトリー」ではない！

1024:１３２人目の素数さん
19/10/26 02:00:36.33 Pzbuz5VC.net
>>973
分野はオカルトポストモダンだね。
カドカワほらーかな

1025:１３２人目の素数さん
19/10/26 02:04:36.51 Pzbuz5VC.net
>インチキ胡散臭いジオメトリー
自覚しているんだw

1026:１３２人目の素数さん
19/10/26 04:30:36.18 eXa+Y66L.net
ノーベル賞とれそう？

1027:１３２人目の素数さん
19/10/26 16:31:34.19 wI/eySb4.net
>>974
>ABC予想の証明がただしいてことは確認されたの？
>それともまだ確認中のまま？
ABCの正しさなんて些細。
数学の中身に興味がないバカが、権威にしか興味ないバカが、
「正しいかどうかか重要」という事に強引に仕立て上げる事によって、
(客観的に機械的に白黒つく世界だから)野次馬が参入しやすい話題に改ざんしたいだけ。
しかし本質はIUTという概念の可能性の有無。
その可能性が見いだされていない事こそが真の致命傷。

1028:１３２人目の素数さん
19/10/26 19:04:13 2h9Pg+LB.net
笹井もへったくれも証明したって喧伝しまくったんだから責任は問われて当然

1029:１３２人目の素数さん
19/10/26 19:27:32.27 6Mdi8NvZ.net
森重文監修森脇淳
「モーデル.ファルティングスの定理」
ディオファントス幾何からの完全証明
前半モーデル.ヴェイユの定理を証明から
後半でモーデル.ファルティングスの定理
「代数体上定義された種数が2以上の曲線
の有理点は有限個である」を証明する。
証明方針はリュービル定理ロスの補題
ディオファントス近似を高次元化する。
・多項式近似定理と指数の上限定理と
指数の下限定理の3定理からヴォイタの
不等式を導き、更にヴォイタの不等式
からモーデル.ファルティングスの定理を
導く。
・ヴォイタのヴォイタの不等式と指数の上限
定理でボンビエリがジーゲルの補題鳩の巣
の使用より証明が初等化明確化単純化
された。
・モーデル.ファルティングス定理は
フェルマー曲線にも応用できる。
・数論の近代化はモーデルファルティングス
の定理へ至る道だそうだが確かに

1030:１３２人目の素数さん
19/10/26 19:28:15.16 6Mdi8NvZ.net
>>988
つづき
・古典力学の惑星軌道�

1031:ﾅカオスと境目領域にあたる近可積分系 KAM定理の証明でもディオファントス幾何ロスの補題を使う。・加速器シンクロトロンでもビーム回転軌道の衝突部分をシミュレーションすればカオス領域までありKAM定理など使い定性的に分析されているなぜ日本の数学者は加藤文元IUT本を勧め森脇モーデルファルティングスの定理本を勧めないのか摩訶不思議だ。 RIMS主催 2020IUT年の公式文元本をカネを払って買って最後までよんだが、望月寄稿文では天動説地動説とIUTの「不定性」の言い訳に相対論量子力学素粒子力学？が書いてあった。とても数学の内容の本も思えず役立たず？いや占いの本だと言い聞かせながらよんだら苦痛がやわらいだ。

1032:１３２人目の素数さん
19/10/26 19:31:20.58 fCvIm9mW.net
>>986みたいな意見は常にあるけども、新しい理論が出てきて
それによって新しいことがわかるようにならないならその理論には価値ないと思う。
数学自体が進化してないからね。

1033:１３２人目の素数さん
19/10/26 19:31:59.01 kYQ22Y+8.net
＞概念の可能性

応用や同値で説明できないのは欠陥があるから

1034:１３２人目の素数さん
19/10/26 19:47:01 mGPjE0DI.net
いつのまにかスレの議論がIUTが正しくないのが大前提になってるね。

1035:１３２人目の素数さん
19/10/26 19:58:23.53 2h9Pg+LB.net
あれほど長文の先生他が欠陥指摘してるのに読解できないほうがおかしい

1036:１３２人目の素数さん
19/10/26 20:11:10.98 6Mdi8NvZ.net
>>988
訂正
鳩の巣→鳩の巣原理

1037:１３２人目の素数さん
19/10/26 20:30:55.03 +mNO82GQ.net
もう誰も正しいなんて思ってないよ

1038:１３２人目の素数さん
19/10/26 20:59:15.26 WaI1Wq/B.net
ギャップの問題ではないのだから正しいかどうかか重要なのは当然の事
 >>986はバカ

1039:１３２人目の素数さん
19/10/26 21:00:13.84 WaI1Wq/B.net
正しいかどうかは重要でないならさっさと論文を正式掲載しろよｗｗｗｗｗｗｗｗｗ

1040:１３２人目の素数さん
19/10/26 22:00:09.28 +svNcOfi.net
確かに数学の世界で正しいかどうかは関係ないとか言い出したらギャグだわな
どの程度正しいアイデアか、と問わないと意味がない

1041:１３２人目の素数さん
19/10/26 22:01:25.45 ItCFrnWq.net
純粋ミラクル1000%

1042:１３２人目の素数さん
19/10/26 22:20:44.37 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円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
URLﾘﾝｸ(premium.5ch.net)
▼ 浪人ログインはこちら ▼
URLﾘﾝｸ(login.5ch.net)

1045:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています