X
トップページ⇒数学
1002コメント348KB
Inter-universal geometry と ABC予想 24
■ このスレッドは過去ログ倉庫に格納されています
0184１３２人目の素数さん
垢版 |
2018/01/29(月) 02:52:36.21ID:zgI3eepO
>>179
難しく考えすぎでは？あくまでスキームでの話の延長ですよ。数体も数体です。或いは整数環
その質問は、これも本当に煽りではなく、ここでは本質的ではないと思います
本当の問題は、何故Grothendieckがやっていることを宇宙際などで
一般化しなければならないか、ということだからです
0185１３２人目の素数さん
垢版 |
2018/01/29(月) 02:57:55.70ID:zgI3eepO
>>180
だったらIUTTが新しい理論である必要がないよね。いや、マジで
はっきり言って捉え損ねてるよ君。それで他人の悪口が言いたいだけなのはわかったけど
0186１３２人目の素数さん
垢版 |
2018/01/29(月) 03:03:19.13ID:zgI3eepO
>>183も俺見たことあるけど
自信を持って言いますが、それに関係なく実際に本質的な必然性がある
ある意味でその人すげーよw 代数幾何学とフーリエだけで連想したにしても的を射ている
ただ、その電波に乗っかって茶化してるあんたはアホがバレたと思うよ
本当にわかってたらここは「補足」するとこだから
俺も毎回煽られるの嫌だから控えるけど、知ったか批評家も高が知れてるわ
0187１３２人目の素数さん
垢版 |
2018/01/29(月) 03:18:59.31ID:zgI3eepO
>>180は流し読みとWikipediaで何となく出せるよね
Galois categoryってのはAnabelioidで本人が書いてる
ところが>>180をトータルで言うとディレッタントの似非理解になっているのは何故？

やはりつまみ食いはよくないし、ゴシップの話をすべきなのかもな
0188１３２人目の素数さん
垢版 |
2018/01/29(月) 03:35:01.57ID:zgI3eepO
「ただのガロア圏」？
「モノイドがくっついた」？
「通常の代数幾何学の範疇」？？
マジでこんなんで他人の話に口出すなって馬鹿が
知ったかはいいが、悪口を言う必要も資格もないわお前。もうやってらんない
連投すいません。もういいです。一部の人はありがとう
0190１３２人目の素数さん
垢版 |
2018/01/29(月) 03:45:10.93ID:zgI3eepO
連投はしてるが冷静だぜ
これでよく悪口言えんなーって感じ
何がおかしいのか簡単に指摘できるけど、馬鹿の便利な情報屋にはなりたくないから自粛
0191１３２人目の素数さん
垢版 |
2018/01/29(月) 04:02:43.44ID:rpoxteHp
茶化し半分に悪口とばしとるだけやろ
つまみ食い同士仲良くやれや
0192１３２人目の素数さん
垢版 |
2018/01/29(月) 07:07:18.53ID:3uYyx/mp
>>190
あ～ゆ～jin？
0194１３２人目の素数さん
垢版 |
2018/01/29(月) 09:04:49.27ID:q4S4XZT0
数学が一般人にも知れ渡ったら
「俺のほうが数学わかってるぜ？」という壮絶なマウント合戦が
繰り広げられることになるのだろう

学会も分野で雰囲気が大幅に違うし結局は人
0195１３２人目の素数さん
垢版 |
2018/01/29(月) 10:43:19.48ID:bd9SqF+1
>>184
まさかと思うけど数体に対するドラームって代数的ドラームの事？
0196１３２人目の素数さん
垢版 |
2018/01/29(月) 10:53:24.42ID:YYcEyRa5
O栗さんみたいに教えてあげるという姿勢がとれないのか
0198１３２人目の素数さん
垢版 |
2018/01/29(月) 10:57:20.17ID:bd9SqF+1
>>194
既にツイッターでは中高生がマウント合戦に勤しんでますね
0199１３２人目の素数さん
垢版 |
2018/01/29(月) 11:50:07.98ID:oE1TN54e
グロタンディークからピタゴラス教団の
数秘術ですね。
0201１３２人目の素数さん
垢版 |
2018/01/29(月) 13:30:09.46ID:SbBeEd5J
「数論的de Rahmとは・・・のことである」
「数体に対するde Rahmとは・・・のことである」

何故こう答えないのか。曖昧な回答ばかり。
0202１３２人目の素数さん
垢版 |
2018/01/29(月) 13:32:42.15ID:jJNHkZO/
本当に解けてると確信してる本人からしたら、まぁ外野の馬鹿どもがほざいてるのなんてほっときゃ良いって余裕の心境になるのもわからんでもない。
何と言おうが証明が正しいのは事実と思ってんだから。
0203１３２人目の素数さん
垢版 |
2018/01/29(月) 13:52:33.02ID:wBVbSGck
ペルシフレージのCnrdの長文の意味がわかってないんだよ
0205１３２人目の素数さん
垢版 |
2018/01/29(月) 17:07:10.20ID:OcadTUAj
>>178
周期ね、

2次曲線はギリシャのアポロニウス
円錐曲線が由来で、準線からの離心率で
統一されて楕円曲線 放物線 双曲線に
分類される。

地球の軌道は離心率が極めて小さな楕円曲線
で周期軌道だ。
暦で地球の軌道が楕円の影響はあるか？
暦から地球が楕円軌道と判断できるか？
おまけ
太陽 地球 間は中心力として
惑星の楕円軌道から万有引力の法則を
導くことが出来るのか？
0206１３２人目の素数さん
垢版 |
2018/01/29(月) 17:08:55.35ID:OcadTUAj
>>205
訂正
×楕円曲線 ◯楕円の曲線
0208１３２人目の素数さん
垢版 |
2018/01/29(月) 18:45:14.18ID:JaNzRw2Q
>>205
いろいろと「周期」を誤解してそう。
楕円曲線の方は流石に違いを明示的に>>206で書かないと酷い知ったかになるのぐらいは自覚してるよって示唆してるようだけど。
0209１３２人目の素数さん
垢版 |
2018/01/29(月) 18:50:58.66ID:TA2B2GJq
>>208
ニュートンは3次曲線の分類をしたんだよ、
0211１３２人目の素数さん
垢版 |
2018/01/29(月) 21:16:48.13ID:EwJ0awDz
>>210
ニュートンのプリンキピアだよ
0214１３２人目の素数さん
垢版 |
2018/01/29(月) 23:56:13.91ID:loZTdZ1R
俺東大数学科だけど質問ある？
0218１３２人目の素数さん
垢版 |
2018/01/30(火) 01:11:13.48ID:x0E82fXI
ABC予想も証明できた、との噂がある
0219１３２人目の素数さん
垢版 |
2018/01/30(火) 01:57:36.21ID:W+PHVk5p
ケプラーとかブールピタゴラスとかのおかげで四色が全然エレファントに感じられなくなってしまった
0220１３２人目の素数さん
垢版 |
2018/01/30(火) 07:54:15.01ID:x0E82fXI
IUTとオカルトは親和性が高い
0221１３２人目の素数さん
垢版 |
2018/01/30(火) 14:33:40.70ID:gBWQEE+6
>>195
違う。勿論関係あるが違うし、今まで定義されたこともないものを指している
>>197
どのみち「ただのガロア圏」ではないだろ。わざわざああいう名前になってるのは意味がある
使われる文脈を含めて一般化しているのに、ただのガロア圏とは？
しかしどっちが上か、みたいなのに拘るのは下らなくないか？だるいだろお互い
0222１３２人目の素数さん
垢版 |
2018/01/30(火) 14:44:00.02ID:gBWQEE+6
ただのマウント合戦にはマジで興味がないので真面目に言って、
Frobenioidやmono-analytic objectとの関連性を見越してあれは構成されているわけだ
そして、そのシステム自体が明らかに、というか本人が強調しているように
普通の代数幾何学にはなっていない。stackともまた異なる
0223１３２人目の素数さん
垢版 |
2018/01/30(火) 14:48:19.89ID:lUQKGBr2
>>219
ケプラーは合理的にチコブラーへのデータから
現象論の惑星軌道 3法則を導いた。
例えば 火星の大気差や火星と地球間の
公転軌道面差は現在の値からも差は小さい。
だからニュートンが万有引力の法則を導く
ことが出来た。
むしろ、現在の数学は緊張感なく
退化しているのでは？
0224１３２人目の素数さん
垢版 |
2018/01/30(火) 14:52:16.67ID:NSV5n+Hi
>>223
せいぜい十七世紀の話しか分からない人がかみついてきてもしようがないんだけど。
せめてKAM理論ぐらい追えて理解できる人ぐらいになってから来てね。
0225１３２人目の素数さん
垢版 |
2018/01/30(火) 14:52:29.02ID:gBWQEE+6
あと>>197の文書はmotivationについて基本的な点が抜けている気がするな
とにかく、Anabelioidがガロア圏の一種だというのは確かにそうだろうし
そこまで否定する気はない。しかし、本質的な拡張を上のシステムの意味で含んでいる
別に信者ではないがよくできてる
0226１３２人目の素数さん
垢版 |
2018/01/30(火) 14:53:36.23ID:lUQKGBr2
>>224
ビーム力学は？
KAM定理では手に負えないんだが
0227１３２人目の素数さん
垢版 |
2018/01/30(火) 15:01:06.89ID:lUQKGBr2
KAM定理のアーノルドがプリンキピアの証明
を絶賛していたな。
プリンキピアは幾何の証明だったなあ、、
0228１３２人目の素数さん
垢版 |
2018/01/30(火) 15:04:52.23ID:aCBcWd6E
マウント合戦したい住人だけではないよ、基本ROMの人も多いだろうし
ただ、よくわからない人が多いだろうから、>>201 のように答えてくれたら少し荒れ具合は治まるのじゃないかな

素人の横レスすまん
0229１３２人目の素数さん
垢版 |
2018/01/30(火) 15:19:36.15ID:gBWQEE+6
大まかに言えばAnabelioidは、Frobenioidやmono-analytic objectと関連しつつ
「環の宇宙際空間」の際の際まで扱えるようなものになっていると言えるだろう
普通の環のガロア圏も十分一般的だが、「環より深い設定で環を扱う」
絶対遠アーベルには対応できないと思うが

それが誤解かもしれない可能性は認めるが、焼き直しのように見えて違うと俺は理解している
0230１３２人目の素数さん
垢版 |
2018/01/30(火) 15:24:48.39ID:gBWQEE+6
数論的ドラムについては実際想定される可能概念に過ぎないので(代数的ドラムの拡張なので)
元々あまり詳しく説明したいとも思わない
曖昧というけど、仮想的な定義を自分のアイデアを含めて定義披露する義務はないでしょう
各人想像すればいい
0231１３２人目の素数さん
垢版 |
2018/01/30(火) 15:25:46.41ID:JaJUynlY
先が見えてないのにわざわざ投稿することはないだろうから先がたのしみだ
0232１３２人目の素数さん
垢版 |
2018/01/30(火) 15:28:35.18ID:lUQKGBr2
>
>>197の文書はmotivationについて基本的な
点が抜けている気がするな

気がするなら明確に言ってね。
>>197の内容はケプラーの方程式発で
コーシーが始めた複素解析 複素幾何だもんね
0233１３２人目の素数さん
垢版 |
2018/01/30(火) 15:34:28.30ID:gBWQEE+6
もう一度強調しますが
「環より深い設定で環を遠アーベル的に扱う」のが宇宙際なのです
これがスキームやspecZを扱う普通の数論幾何との違いです
0234１３２人目の素数さん
垢版 |
2018/01/30(火) 15:35:32.17ID:aCBcWd6E
>>230
了解。
＞仮想的な定義を自分のアイデアを含めて定義披露する義務はないでしょう
その通り。
あと、前スレから質問者と煽っている者が同一人物である可能性が捨てきれないので適度にスルーして
0235１３２人目の素数さん
垢版 |
2018/01/30(火) 15:41:33.79ID:pRX1+Bz1
>>219
四色定理のコンピュータを使わない証明をすることはまだ難しい未解決問題。
四色定理のステートメント自体には数学的な価値は殆どないけど、
組合せ論が応用的で問題解決としての数学の一面があるから、それなりの意義はあるだろう。
0236１３２人目の素数さん
垢版 |
2018/01/30(火) 15:43:48.41ID:NSV5n+Hi
俺、俺俺指数定理厨だけど仮想表現と言われると指数をやっぱり思い浮かべる。
0237１３２人目の素数さん
垢版 |
2018/01/30(火) 15:55:25.30ID:lUQKGBr2
数学の指数定理の指数はwell definded
されている。
物理の指数なら 経路積分のヤコビアンで
物理現象として質量としても観測されている。
仮想ではない。
0238１３２人目の素数さん
垢版 |
2018/01/30(火) 16:23:03.70ID:Wz6n2V+p
>>235 モニターの縦横の走査線が規則的なRGBの発色体である場合に何色あれば最低
限１つずらしで重なり合わないかじゃだめなの。
0239１３２人目の素数さん
垢版 |
2018/01/30(火) 16:25:56.00ID:aCBcWd6E
素人質問でイイカゲンで悪いけど
よく遠アーベル幾何は高次元化が課題だと言われるけど、IUTTの４つの論文が正しいと仮定して、
IUTT-Ⅳの基礎論は高次元化に道を開くものなのかな？

トンチンカンなこと書いてたらスルーしてくれ
0240１３２人目の素数さん
垢版 |
2018/01/30(火) 16:33:55.38ID:D6OzgUt2
開けてたらアナウンスするだろ
ブンゲ○講演の前スレあたりからできねーとかわめいてたろ
卵と鶏の話の類
0242１３２人目の素数さん
垢版 |
2018/01/30(火) 16:53:16.75ID:pRX1+Bz1
>>238
組合せ論には理論的な一面と応用的な一面とがある。
トーラスの表面のグラフの場合は、四色定理に似たような、
7色あれば塗分け出来るという定理が成り立つことが理論的に証明されている。
それと同様に理論的に証明しようという問題として、コンピュータを使わずに、
理論的に四色定理を示すことが未解決問題として残っている。
0244１３２人目の素数さん
垢版 |
2018/01/30(火) 17:16:05.28ID:Wnybkx41
ブックオフＣＭ　速読王
https://youtu.be/WLG26UCtb_I

速読術がちゃんと伝わってる。
ぜひ、関連動画も見て。

新井紀子教授が文章の読解がどうのこうのといってた理由がわかった。
速読術を人工知能で解読するのができないんだよ。

速読YOUTUBE

速読の眼の動き/Speed Reader's eyes
https://www.youtube.com/watch?v=WLG26UCtb_I&;feature=youtu.be

速読術入門　NHK佐藤江梨子ﾄﾚｰﾆﾝｸﾞ
https://www.youtube.com/watch?v=GCwRS1IIv48
0248１３２人目の素数さん
垢版 |
2018/01/30(火) 17:55:54.96ID:lUQKGBr2
低脳ってアーノルドのこと？
アホくさ
0249１３２人目の素数さん
垢版 |
2018/01/30(火) 18:58:54.45ID:mxG1SACf
abc予想って多項式版は証明されてるんだってね
多項式とそれを微分した式とから攻めて証明するらしくて
IUTTはその証明の類似物として、整数の微分ではない
それの代わりになるものを作っているのだとして、
それを取り巻くものまで、新しく作られざるを得なくなったという事？
0250１３２人目の素数さん
垢版 |
2018/01/30(火) 19:23:58.91ID:gBWQEE+6
もう一回ガロア圏の話をさせてもらうけど、調べて見たら確かに似たような研究はある
あるが、範囲を何処まで広く取るかで話が変わってくる
特に抽象性を突き詰めた所でのガロア圏論がAnabelioid(遠アーベル圏)
こういうレベルから(宇宙際のレベルで)環を調べるなどということは勿論類似にはない
少なくとも今の段階では非常に抽象的なガロア圏から「環の具体的な」数学ができるのは
遠アーベルしかないのは間違いない
0251１３２人目の素数さん
垢版 |
2018/01/30(火) 20:04:22.15ID:lUQKGBr2
>特に抽象性を突き詰めた所でのガロア
圏論がAnabelioid(遠アーベル圏)
こういうレベルから(宇宙際のレベルで)環
を調べるなどということは勿論類似にはない
？

ショルツのパーフェクトノイドを応用しよう
としているな。
>宇宙際Teichmuller理論において遠アーベル理論が果たした役割の部分について発展的な事柄の模索を行なった。
>パーフェクトイド空間を遠アーベル幾何に応用できないか模索をした。
https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-15K04781/

一方、パーフェクトノイドのショルツは
peter scholze points out possible error
in IUT
>>5
0252１３２人目の素数さん
垢版 |
2018/01/30(火) 20:12:29.09ID:aCBcWd6E
>>250
山下氏がFAQで書いているようにグロタンディーク宇宙を「取り替える」ために必要だということ？
0253１３２人目の素数さん
垢版 |
2018/01/30(火) 22:07:49.78ID:lUQKGBr2
なぜかスレが止まった。

>>197 は
HPの 「モチーフ 代数多様体の数論的骨格」
が表示されていたのに変わった。
動く表示か、、
0254１３２人目の素数さん
垢版 |
2018/01/30(火) 22:10:25.01ID:Wnybkx41
京大数理研が、望月新一の論文のまちがいを指摘できずに壊滅するっていうのは本当？
0255１３２人目の素数さん
垢版 |
2018/01/30(火) 22:14:31.90ID:Wnybkx41
この地球には、重複存在が存在する。
素粒子統計学を使い、発見されているが機密の素粒子を使って作り出された重複世界、模型地球だ。
そこには、幻獣世界や魔界なども存在するが、数学世界というものも存在する。
すべてが数学でできた地球だ。ぼくたち文系はまったく理解できないだろうから恐怖の対象としているひとつの楽園の姿である。
0256１３２人目の素数さん
垢版 |
2018/01/30(火) 22:32:35.17ID:gBWQEE+6
>>252
宇宙を取り替えるというのは、見方を変えれば異なる環を区別するということでもある
「重要なのは個々のスキームではなく、それらを統制するパターンである」
という時のパターンは、分解され復元されるという環構造のガロア理論的情報を指している
Anabelioidの論文でも、「core(つまり環の抽象的な区別)」を捉えるための議論があるね
結局全体を捉えるには、様々な原子を素粒子のシステムとして捉えるように
対象の抽象化が必要になる
そういう意味ではFrobenioidとAnabelioidは同じ「抽象化と統一」の目的から構成された
文脈は違うがperfectoidも動機は似ている
0258１３２人目の素数さん
垢版 |
2018/01/30(火) 22:45:49.75ID:lUQKGBr2
2016年 IUTの山下氏はショルツの
パーフェクトイドを遠アーベル幾何へ
応用を模索した。>>251
一方、
2017年 12月
パーフェクトイドのショルツが
IUTの証明は間違いの可能性がある。
理解できない山下 論文を読んでも助けに
ならない、、
>>5

IUTが理解できないショルツのパーフェクトイド
を科研費を使って応用模索するとは、、。
ショルツも怒って当然だ、
IUT論文の多数の修正を読まないショルツが
悪いとか、、言いがかりだぞ～。
0259１３２人目の素数さん
垢版 |
2018/01/30(火) 22:46:57.41ID:gBWQEE+6
素粒子というよりはやっぱDNAや暗号がしっくり来るだろうな。組合せ論的だし
こういう組合せ論的抽象構造というのは今の数学の流行りでもあるな
0260１３２人目の素数さん
垢版 |
2018/01/30(火) 22:48:53.21ID:lUQKGBr2
原子や素粒子は単なる粒ではないよ。
物理の研究対象だな。
0263１３２人目の素数さん
垢版 |
2018/01/30(火) 23:44:07.88ID:lUQKGBr2
well definded ?
0264１３２人目の素数さん
垢版 |
2018/01/31(水) 01:29:48.79ID:oDMtWRvH
しかし一世代上の数学者（ファルティングス、ワイルズ、メイザー、肥田氏など）がほとんどコメントしていないのは
世代間のズレがあるのかな、ジーゲル、岡潔らとブルバキ世代のような
「抽象化のための抽象化」のための抽象化、みたいな感じで
0265１３２人目の素数さん
垢版 |
2018/01/31(水) 04:38:13.38ID:wzksrUnl
T軍団の若い衆は積極的に取り組んでるね
あと若頭F藁先生も
0267１３２人目の素数さん
垢版 |
2018/01/31(水) 06:11:15.09ID:wzksrUnl
ネタだから気にしないでww
一応若い衆ってのはT口Y崎Y田先生の事を言ってた
0269１３２人目の素数さん
垢版 |
2018/01/31(水) 07:58:46.10ID:aprMRIV6
田口山崎安田？
安田はT軍団員だが田口山崎は違くね
しかも積極的じゃねぇし
ついでに若くねぇし
0270１３２人目の素数さん
垢版 |
2018/01/31(水) 08:11:10.14ID:eJ7DQDS4
全体を捉える為に抽象化するというより特徴付けをおこなう為に抽象化するのが本筋だな
要は整理整頓
本当は整理整頓した上で抽象化前の世界に何らかの成果物を持ってくるのが望ましいんだがそんなに甘くない
大体整理整頓で満足して終わる
やっぱ抽象化する前に具体的な計算をおこない見通しを持った上で抽象化しないと駄目だな
望月一派は解析数論をやった方が良いと思う
以上、高卒文系の感想でした
0271１３２人目の素数さん
垢版 |
2018/01/31(水) 08:11:24.96ID:aprMRIV6
2010年頃ならY田は若手かも知れんが
時の流れは早いものでもう2020年頃だからなぁ
もはや若手ではなく中堅だろう
0273１３２人目の素数さん
垢版 |
2018/01/31(水) 08:20:30.51ID:a7Rp/G+L
まず 予算獲得 センター準備 就職 ありき、
胡散臭い広告塔に海外からダメ出しされた
こんなところか？
数学もどき、物理もどき、なんだもん
0274１３２人目の素数さん
垢版 |
2018/01/31(水) 12:57:40.34ID:DYxd9tJJ
>>264 ワイルズは初期検証メンバーだったと思うがノーコメント
>>270 着想当時にはデータとかなかったんだよ
0275１３２人目の素数さん
垢版 |
2018/01/31(水) 15:21:50.67ID:0F/Zx9ww
>>274
１０の２０乗までの１４００万件の反例が公開？されたのは昨年末だから
相当泡くっただろうな

610１３２人目の素数さん2018/01/30(火) 06:43:53.03ID:Eciu25Ok
εの値って母数が大きくなると順当に小さくなると勘違いしてませんか
https://www.math.leidenuniv.nl/~desmit/abc/abctriples_below_1018.gz
https://www.math.leidenuniv.nl/~desmit/abc/index.php?set=1
0276１３２人目の素数さん
垢版 |
2018/01/31(水) 18:22:23.24ID:u1agjbz7
数論とデータは関係がない、大事なのは数論。 解けているかどうかは重要ではない。

→ じゃあ数論だけで論文出せばいいじゃないですか。
ABC予想とリーマン予想の論文をなぜ同時にごり押しするのですか。
↑
いまここ
0277１３２人目の素数さん
垢版 |
2018/01/31(水) 19:11:15.12ID:lwbAbDXj
まだアクセプトされてないのにリーマンというのは、確かに理論に好意的な俺も違和感ある
こう畳み掛けられても受け入れられるのか
0278１３２人目の素数さん
垢版 |
2018/01/31(水) 19:48:09.24ID:exGiD5jo
Goからしたら論理にギャップがないか隅々まで勉強してサーベイまで書き上げて自力でやれるところまで検証し尽くしたんだから
本人の中で理論が正しいのは揺るぎようがないんだろ
だから次の段階（IUTのRiemann予想への応用）に取り組んでるのでは
0279１３２人目の素数さん
垢版 |
2018/01/31(水) 20:34:33.85ID:RXAgKrAV
Ⅲ-12の不等式が表している対象はなんですか

→定義にかいてある、自明だ


以下無限ループ
0280１３２人目の素数さん
垢版 |
2018/01/31(水) 21:15:26.46ID:Gh8kcJB7
せきゅーんが明示的予想の？ブログ書いてるが切り札って程ではないな
0282１３２人目の素数さん
垢版 |
2018/01/31(水) 21:20:45.10ID:KhSiqaIY
数学で自明先生になったらお終いだと思うの
自明ということばを使うやつはさっさと引退しろ
0283１３２人目の素数さん
垢版 |
2018/01/31(水) 21:21:13.49ID:KhSiqaIY
永田死ね
死ねじゃなくて死ね
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況