Inter-universal geometry と ABC予想 41

Inter-universal geometry と ABC予想 41 at MATH

[前50を表示]
900:
19/10/13 13:58:45 /Z4J/USr.net
>>864
関係ないけど、ルーリーはフィールズ賞取れなかったね。

901:１３２人目の素数さん
19/10/13 16:08:48.29 YECHYhga.net
>>865
いや、だからメタレベルの話が焦点なんじゃん。数学的に正しいかどうか判断するのも含め、
量子力学じゃないけど確定しなきゃならないんだから。数学的に正しいかどうかなんて永久に誤魔化せるし、
正しいかどうかも数学社会学的に知るしかないんだよ。しかも既にほとんどが無視してるわけ。後は雑誌
異論があるなら内容を語るしかないよ

902:１３２人目の素数さん
19/10/13 22:10:30.35 yGzP7tFN.net
シュレディンガーのモッチー

903:１３２人目の素数さん
19/10/13 22:34:32.85 G5nS4q5N.net
台風のどさくさでアクセプトか？
因果はマッチポンプ

904:１３２人目の素数さん
19/10/13 22:52:46.04 7XyOMpbB.net
無反応は証明として成立していませんという無言の返答だよ。
被害妄想に浸っとらんでいい加減撤回しよーや

905:１３２人目の素数さん
19/10/13 23:18:28.57 y4BjzoCR.net
むしろショルツに言ってあげたらいいかも
>いい加減撤回しよーや

906:１３２人目の素数さん
19/10/13 23:44:00 AmPogMuf.net
これは数学者かな？
↓
2020 IUT年公式文元本 p 51

IUT語
IUT理論は、一般的な数学のパラダイムの
枠内では語れない、まったく新しい
フレームワークと言語・概念体系を基盤に
して構築されている。

907:１３２人目の素数さん
19/10/13 23:48:40 ItiONt7h.net
望月本人の書き込みってどれくらいあんのかな？

908:１３２人目の素数さん
19/10/14 00:00:53.86 HZu4Pi9T.net
>>858
だとすると、新しい概念にexampleを沢山作るとか、
実際の計算例を�

909:ﾂけるとか、すこし方向転換した論文を書かないと、このまま正面突破は無理って事ですね。

910:１３２人目の素数さん
19/10/14 00:17:51.20 9iFYUUl0.net
↑
すみません
IUT語で書かれてもサッパリわかりません

911:１３２人目の素数さん
19/10/14 00:19:49 9iFYUUl0.net
>>872
すみません
IUT語で書かれてもサッパリわかりません

912:
19/10/14 00:22:44 EPSAYn2g.net
>>875
取り巻きが新しい発展を書けばいいと何年も言われているな
そのたびに「新結果が出た、お前が知らないだけ」って書き込みを何度も見たw

IUTの新しい成果が出た＆もうすぐアクセプトってずっと唱えてるアホがいるw

913:１３２人目の素数さん
19/10/14 02:15:32.30 MGeJKR5H.net
新しい成果とやらも
＞アナベリオイド、単遠アーベル、望月独特の圏論の使い方をしており、それが理論の中核となっているから書き直せない
さらに、それこそが納得されていない部分なので、「確実な部分だけ」で論理を構成するとSSレポートのようになる

で結局堂々巡り

914:１３２人目の素数さん
19/10/14 10:56:57.89 YLC2Pg2D.net
RIMUSの文科省関連報告書。
論文は査読中だが全く新しいパラダイムのIUTの構築よりABC予想を解決した。
IUT語によるから、一般的な数学のパラダイムはまったく通用しません。
これは数学よりオカルトだろう

915:１３２人目の素数さん
19/10/14 14:02:17.22 7Mn7vqbL.net
クオンタの記事によるとルーリーの方はかなりうまくいってるみたいだね。グロタンディークが数学に与えたインパクト並だとか、rewriting mathだとか。スケールが大きすぎて意義が理解されるのに時間がかかるから、フィールズ賞に馴染まなかったのも分かる

916:１３２人目の素数さん
19/10/14 16:39:41.87 ERUCRnVt.net
数学とオカルトのちがいじゃないの

917:
19/10/14 16:51:33 2BCZtuie.net
ルーリーのフーリエ変換の話はYoutubeで見たけどあれが意味持つとしたらどういう状況なんだろ？
今までわからなかったことがわかるようになる類いの話じゃないよね？

918:１３２人目の素数さん
19/10/14 16:55:08 ERUCRnVt.net
え？

IUT語
IUT理論は、一般的な数学のパラダイムの
枠内では語れない、まったく新しい
フレームワークと言語・概念体系を基盤に
して構築されている。

919:
19/10/14 16:57:58 Nc30P7xQ.net
何いつまでやってんのか
当たりくじ外れ数学審査ながすぎるだろ
はよ新聞で内容言えや
まあ、中日新聞には載ってたが

920:
19/10/14 17:02:26 2BCZtuie.net
こうなってしまうとIUTにリジェクトは出せないよね
このままプレプリント状態を永遠に続けるしかない

921:
19/10/14 17:24:34 O+6X41az.net
Lurieの理論はこの記事だと過去の無限圏論でも一番良い手法だと言われてるけど、
微積分と同じように以前に似たようなアプローチがあってそれを上手くまとめたって部分もあるから
そんな理解不可能ってほどでもないだろう。ただ、どうやって具体的に使うのかを考えるのは難しい
射の構成も一意ではないので、これを使って理論を作るのは文字通り理論として具体的に何かを語る必要がある
そういう意味でDAG以前の無限圏論は数学基礎論の領域の話になる

あ、IUTも数学基礎論なんでしょうかw
まあどっかで圏論的な基盤と集合論の関係を再考する必要はあると思うけどね。これが正しいのかどうか
要は遠アーベル幾何と圏論と集合論を、高次元化とはまた別に更に高次に統合しようとしたのがIUである
集合の宇宙は圏論的な構造により認識されており、圏と関手の空間によって一般化されている
が、その一般化が全く自然に見えない。ある意味、Lurieより難しい道に進んでしまっている

922:１３２人目の素数さん
19/10/14 17:43:15.93 O+6X41az.net
>>883
そういうのは量子化に使えるようになってくる見込みは十分あると思う。関手でどんどん一般化していく
数論もどんどんホモトピー化される可能性が高いので、例えばL関数論に当面不可欠かどうかは怪しいが、
長い時間で理解しやすくはなるだろうね

923:１３２人目の素数さん
19/10/14 23:28:04.58 h4r1b

924:zQG.net

925:１３２人目の素数さん
19/10/15 08:36:39.56 BHnlK7Ve.net
ルーリーはいつの間にプリンストン高等研究所になったんだね。

926:１３２人目の素数さん
19/10/15 12:58:17.05 bBF7LJdW.net
>>890 数学とオカルトのちがい

927:１３２人目の素数さん
19/10/15 13:00:50.86 z9F23EHt.net
>>891
思考能力の無いバカ

928:１３２人目の素数さん
19/10/15 14:04:28.22 fJdsS6rq.net
wikiやnLabで Stable ∞ categoryと
inter universal Teichmüller theoryを
比較したら、、明らかに違いがわかる

929:１３２人目の素数さん
19/10/15 15:02:02.96 bBF7LJdW.net
数学とオカルトのちがい

930:１３２人目の素数さん
19/10/15 15:02:59.14 6m9DQgl4.net
ど素人なんだが、IUTってZFC公理系の上での話なの？

931:ID:1lEWVa2s
19/10/15 15:05:15.29 LhLzLgCF.net
ツェロメロフランケルコーシー

932:１３２人目の素数さん
19/10/16 02:10:27.81 hBd9Fgpa.net
☆ Lurie and Categorifying the Fourier Transform
超弦理論と数学の幾何学的ラングランズ対応
URLﾘﾝｸ(www.math.columbia.edu)

933:１３２人目の素数さん
19/10/16 08:36:11.44 4XIjoeVb.net
正しい数学はどんなに新規性があってもすぐに受け入れられるという好例
誰かさんが引き合いに出しているグロタンだってそうだった。

934:
19/10/16 11:52:10 uuPEQAod.net
>>860
IUT無しでも望月さんの存在意義はあるけどな
どんだけだよw

935:１３２人目の素数さん
19/10/16 13:06:10.04 X6Kj6NvR.net
>>899
まさにそのどんだけ、だよ
気概からして「まっいいか(笑)」で済むわけないじゃん
全て出し尽くしたものがあれ。芸術家の渾身作みたいなもんだ

936:
19/10/16 14:14:23 E+Vz0rnk.net
>>897
手垢がついた分野じゃん
Lurieはこんなのをねちっこくやってたのか
まあおおよそ正しい主張なら問題はないがな

937:１３２人目の素数さん
19/10/16 15:17:28.51 O2HJeWrD.net
超弦理論は手垢がついた分野だが
解明されたとでも？
まあ全く新しいパラダイムが絡むのは勘弁な
不思議さが二乗になり混乱するからね

938:
19/10/16 16:05:20 xrXUkzPk.net
参加することに疑義がある

939:１３２人目の素数さん
19/10/16 16:14:19 hBd9Fgpa.net
全く新しいパラダイムのIUTは
天動説地動説の論争に参加だったな～

940:１３２人目の素数さん
19/10/16 16:26:59.46 c//EuTPy.net
IU茶

941:１３２人目の素数さん
19/10/16 16:49:28.44 unrbis89.net
>>901
日経サイエンスにすら劣るサイアスの残党の手垢塗れで揉みくちゃにされてる方が悲惨だと思うよ・・・。

942:１３２人目の素数さん
19/10/16 17:26:24.30 0fGBnQev.net
かなりが付くど素人ですが、
超弦理論から発展したＭ理論では宇宙はもともと11次元であったとされ、
それとは別に何年か前に脳も11次元であるという研究結果が発表された
ただ、脳が11次元というのは扱っている数学が別の分野のもので
もしかしたら単なる偶然かもしれない
でももし偶然ではなくちゃんとした繋がりがあるとしたら、その両者の間には
まだ誰も発見した事がない数学が眠っているって事はないのかなーなどと夢想した

943:１３２人目の素数さん
19/10/16 17:35:15.65 X6Kj6NvR.net
そこでIUTですよ

944:１３２人目の素数さん
19/10/16 18:56:15.95 0fGBnQev.net
URLﾘﾝｸ(karapaia.com)

945:ives/52278989.html なぜ11次元なんだろう１２次元だと何かの矛盾が生じるってことなんだろうもし、両者に繋がりがあるとして繋がりがないことを前提としたら矛盾が生じるということを示せれば証明となるんじゃねーのかなあと代数的位相幾何学と壮大な繋がりがある事を示せれば証明となるのかな早いもん勝ちだから誰か挑戦すりゃいい

946:１３２人目の素数さん
19/10/16 20:42:06.93 UJbfmkVq.net
残暑も終わりの線香花火みたいな言い草

947:１３２人目の素数さん
19/10/16 20:49:49.45 X6Kj6NvR.net
眉唾といえば眉唾

948:１３２人目の素数さん
19/10/16 21:38:11.01 WSgE/5o6.net
全く新しいパラダイムのIUTなら
何でもこたえられる。
超弦はアノマリーフリーだから10次元。
1次元うえの11次元では御本尊1人が
ひきこもり住んでいる。
御本尊の夢想妄想が 10次元の
双対を陰から支配してる。
ひもと御本尊の組み合わせより11次元
11次元の御本尊が最高位だから12次元はない
M理論のMは夢想妄想のM ×M
まちがってはいない、

949:１３２人目の素数さん
19/10/16 22:29:34.34 oyj6oXZ3.net
望月が死ねまでリジェクト出来ないプリムスってだけのことだろ

950:１３２人目の素数さん
19/10/16 22:38:54.49 unrbis89.net
朝日新聞が倒産する前には決着ついてほしい

951:１３２人目の素数さん
19/10/17 01:12:15.36 /zkZXokA.net
残念ながら朝日新聞は不動産屋なので不動産収入が安定してるから倒産しないんだよね
新聞契約は凋落してるんだけど

952:
19/10/17 11:59:48 B0UraSTU.net
超弦理論もIUTと同じインチキだから真に受けないほうがいい

953:１３２人目の素数さん
19/10/17 12:06:53.45 pjh7JjQi.net
味噌もクソもいっしょ

954:１３２人目の素数さん
19/10/17 13:40:23.31 pjh7JjQi.net
>>916
ほれ
 >>897

955:１３２人目の素数さん
19/10/17 13:58:21.88 luKGbwRj.net
>>916
インチキと決め付けるほうがインチキである
数多くの天才が人生をかけて研究に没頭してきた有力説なのであってインチキと断定可能な理論では無い

956:１３２人目の素数さん
19/10/17 14:03:24.28 pjh7JjQi.net
>>919
IUTはインチキ臭い

957:１３２人目の素数さん
19/10/17 17:59:08.90 IJFy4xjv.net
超弦理論はインチキというよりは量子論の決定版ではない可能性が高いだけだね
それでも新しい数学が出てきて、フォローしなきゃならないみたいな
もうキャパシティを超えちゃってる。だから懐疑的な人は手を出せない

958:１３２人目の素数さん
19/10/17 20:09:47.75 IeVxR984.net
>>913
とすると大作先生のようにもちは不死になるかも
世俗の世界にしがらみが多いと死ぬことすらできない

959:１３２人目の素数さん
19/10/18 03:37:05.62 XyhBN3IB.net
超弦理論は高エネルギー領域における
素粒子基本法則モデル候補の１つで実際は
超重力理論など他モデルかもしれない。
くりこみ低エネルギー定理より
相対論的場の量子論の素粒子標準モデルは
低エネルギー領域の有効場である。
素粒子標準モデル領域の精密測定
より高エネルギー領域の素粒子モデルを
制限することができる。
宇宙線やBHの観測も含め測定誤差を
いかに小さくするかが困難な課題となる。
散乱行列から先ず局所点粒子の素粒子標準
モデルがあり次に非局所ひもの超弦理論が
ある。

960:１３２人目の素数さん
19/10/18 03:39:30.22 XyhBN3IB.net
素粒子の超対称性について。
LHCで超対称性粒子が未発見やカミオカンデ
の陽子崩壊の寿命実験で超対称性SU(5)
モデルも厳しくなったなど今のところ
実験の根拠がない。
理論的にはコールマンマンデュラの
NO GO定理を避ける超対称性代数は
スマートで制限が厳しく質量など計算
できる魅力がある。
超対称性も超弦理論も数理

961:的に魅力がある。分野が違うが IUTの場合SSレポはNO GO定理を想起する。 IUTの場合は操作的で不自然だね、 IUTは全く新しいパラダイムなど基本的なアイデアに欠けることを示してる。

962:１３２人目の素数さん
19/10/18 09:45:07 6Y6hEarI.net
リーマン予想はゼータ関数をいじるだけで導けるのか？

963:１３２人目の素数さん
19/10/18 17:27:26.23 0Irqa6zK.net
何が言いたいのかさっぱりわからない
複素解析だけで計算できるかということか？

964:１３２人目の素数さん
19/10/18 17:30:36.37 8Lan/8pj.net
これかも？
望月新一レクチャーノート
( 夢想)
この1/2はリーマン予想を連想させられる値であるが、リーマン予想とまさしく同じ
ウエイト1/2
↓
(IUTで夢を売る)
ウエイトはリーマンゼータζ(s)のs 、つまり
tate捻りに対応するπの整数冪でなく、
πの平方根に関係する現象である。
↓
( 科研)
科研宇宙際幾何学のさらなる展開
山下剛望月新一
現在までの達成度遅れている
大きな展望では宇宙際幾何をRiemann
ゼータの研究に応用することを最終的な
目標にしているが、そもそもの問題が
やはり極めて難しい問題であるということ
も進捗が遅れている理由の１つである。
↓
(結論)
リーマンゼータは極めて難しい、、

965:１３２人目の素数さん
19/10/18 19:20:40.82 SDjUzeSH.net
だってABC予想すら○けてないしね…はは…

966:907,909
19/10/18 19:26:23.02 ylRGXyeO.net
NHKスペシャル「魔性の難問～リーマン予想・天才たちの闘い～」
URLﾘﾝｸ(www.youtube.com)
しつこいけど、Ｍ理論でいう１１次元と脳研究で代数的位相幾何学を
用いて導かれた１１次元とが偶然ではなく深いところで繋がっているとしたら
この動画が言う素粒子そしてもしかしたら宇宙の創成原理の中枢を担っているかもしれない素数そしてリーマン予想が、
脳に於いても最重要な機能をしている可能性があるのでは？
ゼータ関数について書いたのは俺じゃないけど、四大ゼータの統一の順番の様子が、
宇宙の四つの根本的な力の統一の順番と凄く似ているという話は聞いた事があり
それも関係してくるかも
IUTがそれに関わるかどうかは知らない
他の全く未知の凄い数学がそれに関わっている可能性もあったりしてね
（あくまで全て俺の夢想＆妄想＆強迫観念もちょっと入りぎみかも）

967:
19/10/18 20:25:51 AE2tCcoV.net
まず出自が全然違う次元だからなんともな
大体、物理空間が神経系の挙動に密接な関係を持ってるのは自明だし、ゼータ関数も
実際両方に出てくる。オリジナルのリーマン予想が解けると計算神経科学にも影響が生まれる
夢を持つのはいいことだが、それ自体は飛び付くほどの話にはあまり見えないな

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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています