Inter-universal geometry と ABC予想 24

**１３２人目の素数さん** · 2018/01/25(木) 22:52:20.94

IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ
Inter-universal geometry と ABC予想 23
https://rio2016.5ch.net/test/read.cgi/math/1515202641/

**１３２人目の素数さん** · 2018/02/23(金) 12:27:53.24

X/0=0のは面白そうだね～
リーマン球と複素平面∪ ｛ C∝｝の
明確な対応からだね。

**１３２人目の素数さん** · 2018/02/23(金) 12:28:53.66

>>766
追記
数学出身者、、説明お願い

**１３２人目の素数さん** · 2018/02/23(金) 12:42:01.30

車輪やっとけ

**１３２人目の素数さん** · 2018/02/23(金) 12:57:37.61

連続は～

**１３２人目の素数さん** · 2018/02/23(金) 15:18:53.02

検索したら不能と不定で÷0を場合分けして説明しているサイトがあったな
初等的ながら操作を用いて「不定性」を制御するIUTにも関係している話であるわけだ

**１３２人目の素数さん** · 2018/02/23(金) 17:54:52.28

762から中学生の溜まり場

**１３２人目の素数さん** · 2018/02/23(金) 17:58:04.57

関係者周辺からの書き込みが急になくなったな
なにかあったのかもしれんね

**１３２人目の素数さん** · 2018/02/23(金) 17:58:20.85

位相なんだよね～

**１３２人目の素数さん** · 2018/02/23(金) 17:59:20.20

>>772
都合が悪い？？

**１３２人目の素数さん** · 2018/02/23(金) 18:03:04.71

>>732
ヴェイユの場合は谷山志村を引用してるから問題ないと思うが
ヴェイユ予想と呼ぼうが谷村志村予想と呼ぼうがそれは趣味の範囲

**１３２人目の素数さん** · 2018/02/23(金) 18:09:05.47

>>741
盗用する奴は古今東西どこにでもいるし防ぎようが無い
大事なのはそういう奴が孤立するような振る舞いが周囲の研究者にあるかどうか
それがない分野には関わらない方がいい

**１３２人目の素数さん** · 2018/02/23(金) 18:10:30.92

>>747
IUTスレでゴレンシュタイン環とはお里が知れるなw

**１３２人目の素数さん** · 2018/02/23(金) 18:13:28.61

>>774
別に

**１３２人目の素数さん** · 2018/02/23(金) 18:19:54.54

とりあえずラングランズが谷山志村の盗用・パクりということはない
明らかに拡張になっている。でなければIASのテニュアにはなれん

**１３２人目の素数さん** · 2018/02/23(金) 18:20:09.92

>>778
なんとなく関係者周辺の都合が
悪いのかな？と思っただけだよw

**１３２人目の素数さん** · 2018/02/23(金) 18:22:11.06

>>779
雑だなあー

**１３２人目の素数さん** · 2018/02/23(金) 18:23:56.50

谷山予想が天才じゃんw

**１３２人目の素数さん** · 2018/02/23(金) 18:49:45.98

グロタンディーククラスの天才がもう一度出てこないとラングランズは解けないからな
例えばTaoもConnesもアイデアすら手がかりが掴めない問題だよ
谷山志村はWiles-Taylorの枠組みだが

**１３２人目の素数さん** · 2018/02/23(金) 20:01:39.84

>>770
well definded出ないと意味ないの

**１３２人目の素数さん** · 2018/02/23(金) 23:04:22.09

君らはコイツを見習うべき
https://mobile.twitter.com/reviewer_amzn_m
大類昌俊

**１３２人目の素数さん** · 2018/02/24(土) 09:11:27.57

>>775
趣味の範囲ってのはおかしくないかい？
呼び方次第で、当人に対する世間の評価が変わってくるのだし、
その結果として彼らが得る報酬にも関係してくるのだし。

谷山＝志村予想に関して言えば、日本数学の評価も変わってくるわけで、
君の地位にも影響してるかもしれんのだぞい。

**１３２人目の素数さん** · 2018/02/24(土) 14:01:34.09

>>783
グロタンディーク、グロタンディークうざいの

**１３２人目の素数さん** · 2018/02/24(土) 17:57:00.82

何かここ、今三人くらいしかいなさそうだな
一ヶ月前は五人くらいはいたっぽいけどw

**１３２人目の素数さん** · 2018/02/24(土) 22:27:40.52

M、しれーっと更新してるけど、SやCが指摘した致命的なギャップについてはガン無視するつもり？

**１３２人目の素数さん** · 2018/02/25(日) 01:13:35.63

外国で高評価された天才岡潔の多変数関数論、
ま、IUTと真逆だね。

**１３２人目の素数さん** · 2018/02/25(日) 01:44:14.82

>>790
それ凄く分かる！！
モッチーはお菓子奢ってやるから友達になって～のパターン

**１３２人目の素数さん** · 2018/02/25(日) 01:57:38.76

現代数学を劇的に抽象化への道に導くブルバキ筆頭カルタンの層の理論の
先駆的な仕事をした岡潔と
圏論関係によくありがちな「人工的な域を出たかどうか定かではない」
離れ小島の膨大な理論に（まだ）過ぎないIUTのモッチーを同列に
語るのは時期尚早

**１３２人目の素数さん** · 2018/02/25(日) 01:58:40.66

>>786
>世間の評価が変わってくるのだし

世間（笑）

**１３２人目の素数さん** · 2018/02/25(日) 04:11:41.48

IUTは数学に「構造的な変化」をもたらす予兆がない

**１３２人目の素数さん** · 2018/02/25(日) 10:34:48.22

いったいどうなってしまうのか！

**１３２人目の素数さん** · 2018/02/25(日) 10:56:54.95

IUT だって、ABC 予想を解くということでは人工的な域は十分に脱しているだろうよ。
ただ、その理論が正しいのかがなかなか認められないわけで。

岡と望月は、日本国内の雑誌に好んで投稿するという点は類似しているかも。
岡のときは、なかなか海外に出せなかったという事情があるかもしれないが。

あと、岡の仕事は、当時は国内で十分評価できずに外国で高評価だろうが、現在では国内の弟子筋やら関係者やら以外には、それほどだろ。

**１３２人目の素数さん** · 2018/02/25(日) 11:37:37.45

>>796
>IUT だって、ABC 予想を解くということでは人工的な域は十分に脱しているだろうよ。
>ただ、その理論が正しいのかがなかなか認められないわけで。

何回既出の話を蒸し返すんだよ
数学ってのは問題を解く事自体に意味はない
それはモッチー自身もよく理解している
合ってるかどうかはどうでもいいこと

**１３２人目の素数さん** · 2018/02/25(日) 11:37:59.42

日本の芸能界に、田村淳より快楽の王なんて、競争相手は、浜田雅功と所ジョージくらいしかいなかったのにな。
若い世代のことは知らないが。

まいんちゃんのが幸せだと聞いたことはあるが、子役は成長すると、大人の支援がなくなると、
いろいろ変わるからなあ。

かつての日本芸能界の快楽の王は、

浜田雅功：楽しい司会者
所ジョージ：知的なヴァラエティ
田村淳：エロいいじめ

の三つだったんだけどな。ぜんぶ超興味あるぜ。

さんまと松ちゃんは、自分が満足せずに、まわりを楽しませてたから、快楽の王じゃないよ。
ビートたけしは、権力者。

若い世代が、この全員を攻略したらしいんだけど。

最も善良なる芸能人は、笑っていいとものタモリさんだったしな。
善政はタモリさん。

平成の日本の芸能界の快楽の王は、
エロいいじめをする高校偏差値４８のお笑い芸人だったんだなあという結果報告です。

まあ、若い世代はもっと上を目指してください。
田村淳は、賢い面白さ、自分によくわからない面白さ以外、特にうらやましくもないそうです。

**１３２人目の素数さん** · 2018/02/25(日) 11:38:51.27

>>796
>あと、岡の仕事は、当時は国内で十分評価できずに外国で高評価だろうが、
>現在では国内の弟子筋やら関係者やら以外には、それほどだろ。

>>792←

**１３２人目の素数さん** · 2018/02/25(日) 12:31:54.83

http://archive.is/XAse4

本郷(笑) 👀
Rock54: Caution(BBR-MD5:1322b9cf791dd10729e510ca36a73322)

**１３２人目の素数さん** · 2018/02/25(日) 14:52:04.61

>>797
>数学ってのは問題を解く事自体に
意味はない
それはモッチー自身もよく理解している
合ってるかどうかはどうでもいいこと

IUTとなんかと比較するのも気がひけるが、、

岡潔は基礎の多変数関数論でLevi問題
にしろ人生を削り独創より解決した。
証明は別証明を生み発展した。

**１３２人目の素数さん** · 2018/02/25(日) 15:01:26.45

IUTは >>5 ←

**１３２人目の素数さん** · 2018/02/25(日) 15:31:27.59

グロタンディーク予想は解決したのに、経歴の割になかなか結果が出せないとか
言われていたんだよな。30でAMSから単著を出すのだけでもかなり珍しいと思うんだが
それで満を持して出した理論が非常に拗れた状態になってしまった
ガラパゴスを誇っている節があるけど、そこはよくないと思うわ

**１３２人目の素数さん** · 2018/02/25(日) 16:23:00.12

RIMSのホームページにIUT関連のpreprint
(英文)が貼ってあり世界中から検索できる。
ガラパゴスより世界では相手にされて
いないのね、

**１３２人目の素数さん** · 2018/02/25(日) 16:29:00.43

さすがにＡＢＣ予想ならば、解くだけでも十分に意味があると思うよ。

問題を解くこと自体に意味がない、というのは数オリの問題を解いても意味がないということなら理解できるけど。

**１３２人目の素数さん** · 2018/02/25(日) 16:32:35.64

岡潔の発展では
ネバンリンナ理論からABC予想の解決に
興味があるわ、、。

**１３２人目の素数さん** · 2018/02/25(日) 17:06:07.96

基本的なアイデアってのは要約できる
サーベイというより部品の理論のアイデアを30ページ×4くらいにできる
それが優れていれば伝播する
今のところ、難しすぎて理解できないのか相手にされてないのかは判別できない

**１３２人目の素数さん** · 2018/02/25(日) 17:11:02.91

蛇足ながら、はっきり言って広め方は明らかに下手
好んで敷居を高くしているか、単に要約能力がないかのどちらか

**１３２人目の素数さん** · 2018/02/25(日) 17:18:20.37

とりまきがヘボいだろ。
☆はともかく、ゴーは足を引っ張っているだけ。

**１３２人目の素数さん** · 2018/02/25(日) 17:20:51.12

>>805
>さすがにＡＢＣ予想ならば、解くだけでも十分に意味があると思うよ。

理由を言えよ
「あると思うよ」の連呼だけって幼稚園児でも出来るから

**１３２人目の素数さん** · 2018/02/25(日) 17:33:00.96

>>807
etale cohomologyなんかでも、なんのための理論とかだったら優秀な高校生になら
説明できるもんな

**１３２人目の素数さん** · 2018/02/25(日) 18:19:38.22

>>809
理論がヘボいかもね、
INがガラクタなら OUTは常にガラクタ

**１３２人目の素数さん** · 2018/02/25(日) 18:29:02.49

ついに、中国が１３億人の顔のビッグデータを作るハードウェアの開発に成功したぞ。
日本の顔認証はどこまで進んでるんだ。
アメリカはアイフォンの人数の顔認証ができるはずだ。

【技術】中国、顔認証技術大国の光と闇　13億人を特定
https://www.nikkei.com/article/DGXMZO27291460T20C18A2000000/

**１３２人目の素数さん** · 2018/02/25(日) 19:06:04.19

日本の顔認証は、この記事が最新のようだ。

NEC、「顔認証共創ソリューション展示会」を開催
https://headlines.yahoo.co.jp/hl?a=20180221-00000004-bcn-sci

　NEC（新野隆社長）は2月15日、東京・田町の森永プラザビルで、「顔認証共創ソリューション展示会～こんなところにも顔認証広がる活用シーン～」を開催した。
販社、SIer、ユーザー企業などから予定の倍以上となる約800名が来場し、終日、大盛況となった。
　展示会には、NECの顔認証技術を組み込んだビジネスソリューションを開発するコミュニティパートナー19社が出展。
入退出監視や防犯対策をはじめ、マンションの宅配BOX管理、勤怠管理との連携による働き方改革、
医療現場における「見守り」など、幅広い分野での顔認証ソリューションが展示された。
　NECは2017年4月に、AIおよびIoTの領域でパートナーとのビジネスの共創を目指す「AI・IoTビジネス共創コミュニティ」を発足。
今年1月末時点で77社が参加し、参加を検討している企業も130社にのぼっている。
同コミュニティでは現在、3つのパートナープログラムを用意しているが、
そのひとつである「ソリューション開発プログラム/顔認証・VMS」の活動の一環として、今回のイベントを開催した。
　NECが顔認証に特化した展示会を開催するのは今回が初。「幅広い分野に対応した最先端の顔認証ソリューションを
体感できる展示会を目指した」としている。顔認証と聞くと、入退室や防犯などの用途をイメージしがちだが、
すでに幅広い分野でビジネス化を目指した動きが進んでいる。SIerなどが持つ業種・業務に特化した商材やサービスと連携させることで、
さまざまなビジネスへの展開に顔認証を有効活用できることを示す展示会となった。
　今回の展示会は、東京での1日のみの開催だが、来場者、出展企業の双方から好評だったことから、
「今後、同様のイベントを夏頃を目途に開催することを検討している」という。

以上。

**１３２人目の素数さん** · 2018/02/25(日) 23:23:57.24

世間知らずのボンボンがabc予想なんて解けてる訳ないやろ

**１３２人目の素数さん** · 2018/02/26(月) 01:36:15.46

>>815
はあ？
そういう物言いをするあなたの知性を疑うわ。

**１３２人目の素数さん** · 2018/02/26(月) 01:43:02.16

さすがにギャグがキチガイだろw

**１３２人目の素数さん** · 2018/02/26(月) 18:05:12.88

遠アーベルである必然性はやはりないな。俺なりに考えただけだけど
遠アーベルより直接的に誰か解決すべき。ただし、アイデアが間違いとは思わない

**１３２人目の素数さん** · 2018/02/26(月) 18:56:44.44

2月も続報なし

**１３２人目の素数さん** · 2018/02/26(月) 19:09:42.39

ポシャったか

**１３２人目の素数さん** · 2018/02/26(月) 19:14:54.83

年度だよ年度、一つの指標は
まあ10年かかるとか言われてはいたわけで、意外な展開ではないな

**１３２人目の素数さん** · 2018/02/26(月) 19:15:58.73

数とは何かに答えまくる数論ってやばくね
さらに図形とは何かに答える幾何学ってやばくね
それでなんだよ数論幾何学ってｗ

**１３２人目の素数さん** · 2018/02/26(月) 19:24:04.31

他分野の技法を応用し続けてきたのが数論の歴史

**１３２人目の素数さん** · 2018/02/26(月) 19:41:07.11

代数に加え解析もかなり使ってるなら混乱してくるかもしれないけど、
実際はアラケロフとかタイヒミュラーとかガウス積分といっても非常に代数的な理論なわけで
やはり時間かかりすぎだな。ある意味朝日の飛ばしは願望か

**１３２人目の素数さん** · 2018/02/26(月) 19:42:22.42

早くて桜の散る頃だよ

**１３２人目の素数さん** · 2018/02/26(月) 22:33:43.95

桜の散る頃...

**１３２人目の素数さん** · 2018/02/27(火) 01:47:09.40

>>822
真面目な話、代数幾何学的な数論幾何学だけでいいのかという問題はあるけどな
代数と層の抽象論だけで話をまとめるのは虫が良すぎるだろう

**１３２人目の素数さん** · 2018/02/27(火) 03:34:49.70

結論出たな。朝日は早漏。

**１３２人目の素数さん** · 2018/02/27(火) 13:49:20.57

岡潔は古典的保守の数学で多変数複素関数論。
クザンから近似定理上空移行原理が基礎だ。
一方、
カルタンブルバキグロタンディーク
は20世紀の病んだ数学だ。
倉田令二郎にまでダメ出しされた
↓
一般、抽象、形式主義なものへのあの度はずれて強い西欧的ユダヤ的執着が層と
コホモロジーを生み出す一つの要因であり
、同時にそれは20世紀数学の時代精神である
だけに、それだけ広く支配的地位を獲得
した。

**１３２人目の素数さん** · 2018/02/27(火) 14:09:13.25

>>824
複素幾何をもっと数論的文脈で構造化して欲しいよな
Hodge理論の大家Griffithsがツイスター理論（Penrose変換）などを用いて
保型表現を複素幾何的に展開する理論を
作っていたけど方向性は非常に興味あるけど進展や広がりは今の所あまりなさそう
automorphic vector bundlesb はでもちょこちょこ色んな所で顔を出す

**１３２人目の素数さん** · 2018/02/27(火) 14:10:16.02

>>830　アンカ間違えた

×>>824
○>>827

**１３２人目の素数さん** · 2018/02/27(火) 14:52:18.24

構造化はブルバキ思想だね。
ペンローズのツイスターは物理特殊相対論
の本義ローレンツ変換SO+(3.1)で
SL(2C) 、 PSL(2C)の関係を使った
書き換え、からだね。

**１３２人目の素数さん** · 2018/02/27(火) 17:20:35.50

>>832
構造化とかちょっとカッコつけた言い方したけど
複素幾何って数論（幾何）に欠かせないとは言え
ちょっと散発的な道具としての登場になっちゃってる気がするから、
スキーム理論のように、複素幾何の内部から系統的な形で、いわば縦積みで、
複素幾何の何がしかの大理論の内部だけで、保型形式などの
数論的対象を展開できる豊かさを獲得して欲しい気がする。
それを構造化と表現してみた次第。
GriffithsのHodge理論を用いた幾何学的表現論の保型形式への応用は
それを目指してた気がする

ツイスター理論はよくは知らないけど
微分方程式の解を複素代数幾何的な層コホモロジーの元に
翻訳する道具になるらしい

**１３２人目の素数さん** · 2018/02/27(火) 21:25:25.73

RIMSはツイスター理論を研究している人も
いるね。

**１３２人目の素数さん** · 2018/02/27(火) 21:30:20.54

佐藤スクールの先生。
高崎金久ツイスターの世界
https://www.jstage.jst.go.jp/article/sugaku/62/3/62_0623420/_pdf

**１３２人目の素数さん** · 2018/02/28(水) 01:39:42.26

もう一人の望月が一種の集大成になる著書を最近出したな
ツイスター+D加群だね。個人的には好みではないけど、面白い理論だとは思う

**１３２人目の素数さん** · 2018/02/28(水) 09:01:31.91

世間じゃ素だねー素だねー
すっかり数学ブーム来てるぞ

**１３２人目の素数さん** · 2018/02/28(水) 09:06:09.21

数学ブームなんか来てるか？

**１３２人目の素数さん** · 2018/02/28(水) 09:56:52.75

一部の界隈が騒いでるだけだろ

**１３２人目の素数さん** · 2018/02/28(水) 10:27:32.39

大切なこと。
一つ、大切なのは「実利」と「本音」。
一つ、大人の知恵を受け継がなければ大人の世界では絶対に勝てない。
一つ、面白いのは「希望ある真実」。

**１３２人目の素数さん** · 2018/02/28(水) 14:01:07.07

そだねージョークが通じないのが、世間から隔離された数学界…

**１３２人目の素数さん** · 2018/02/28(水) 14:07:52.01

俺も微妙な流れに驚いたよ
そりゃ過疎るなとw

**１３２人目の素数さん** · 2018/02/28(水) 14:45:33.25

>>842 素だねー

**１３２人目の素数さん** · 2018/02/28(水) 15:16:58.42

金メダルの1000万が安いとかいう話があるが、それならabcやミレニアムも10億円
出してもいいと思うわ

**１３２人目の素数さん** · 2018/02/28(水) 15:21:58.24

>>836
ツイスターDが面白いとはすごい。ツイスターDの理解者はたくろー本人しかいないと思うで。

**１３２人目の素数さん** · 2018/02/28(水) 17:12:12.04

カーリングのそだねーに素をかけてるんだろうが
かけ方がクッソ下手過ぎ

**１３２人目の素数さん** · 2018/02/28(水) 17:18:10.71

>>845
あれだけ精力的に体系化していくのは単に知的好奇心によるものかね
一体どの辺を目指しているのか
W望月は非常に似ているよな。ホッジ理論がベースにあるし、物理に密接に
関係する空間を扱っていて、独自の体系化への意志が強い

**１３２人目の素数さん** · 2018/02/28(水) 17:24:33.45

望月新一先生は物理と無関係だよ
念のため

**１３２人目の素数さん** · 2018/02/28(水) 17:36:43.91

それ間接的な批判だろw

**１３２人目の素数さん** · 2018/02/28(水) 17:40:45.64

純粋数学じゃないの

**１３２人目の素数さん** · 2018/02/28(水) 17:49:29.31

先ず数とは何か？ありき
どう考えても純粋数学じゃん、

**１３２人目の素数さん** · 2018/02/28(水) 17:54:45.92

素人が「空間概念」って言葉に反応してるだけ
タクローの方は幾何的ラングランズで物理と近い

**１３２人目の素数さん** · 2018/02/28(水) 18:01:33.24

>>845
プラス2,3人いるけどだいたい合ってる。離れ小島過ぎるんだよな。
非常によくない傾向
開集合なんたら上にも適用できるように拡張してあんだけ膨れ上がったとか
笑うしかない
タクローが死んだら自然とツイスターDも枯れ果て数学界から忘れ去られるだろう

双有理幾何も同じようなもん
ただクソややこしい人工的なテクニカルの解決だけが目的化してしまって
それが解決した暁にはただ兵どもの焼け野原が広がっただけ
グロタンディークがそれ見たことかと言わんばかりの当然の成り行き
BCHMの論文をウホウホ眺めて悦に入るためだけに構築されたガラパゴス数学

**１３２人目の素数さん** · 2018/02/28(水) 18:09:39.41

>>853
IUTはどうなのよ？

**１３２人目の素数さん** · 2018/02/28(水) 18:14:44.69

いやいや、タイヒミュラー空間のガウス積分を扱っていて物理とは無関係はないだろ
勿論理論が正しければの話だが

**１３２人目の素数さん** · 2018/02/28(水) 18:17:20.53

>>853
貶す気はないけど、どうしても遊びに感じてしまうのはあるね
確かにツイスターもD加群もそれなりに重要なんだけど、その先に何があるのかというと

**１３２人目の素数さん** · 2018/02/28(水) 18:34:19.75

>>855
物理と無関係だよ
>>5

**１３２人目の素数さん** · 2018/02/28(水) 19:01:39.25

はいはいnot even wrongね

**１３２人目の素数さん** · 2018/02/28(水) 20:04:34.60

このざまで、
よくも「証明の正しさが認められ、早ければ１月にも掲載の見込み」と報じたよな。
だ～れも認めてないじゃないかよｗ

**１３２人目の素数さん** · 2018/02/28(水) 20:05:39.38

正確に言えば「理論が正しければ物理というかCFTとの関係も見えてくるが
まだよくわからない」というのが正しいだろ
若林とかがミラー対称性などを使って調べてくれたらありがたいが

**１３２人目の素数さん** · 2018/02/28(水) 20:16:25.34

>>857
数式が同じなら元の例も同じ

**１３２人目の素数さん** · 2018/02/28(水) 20:22:35.32

>>861
数学内のお話でしょ、
物理は無関係

**１３２人目の素数さん** · 2018/02/28(水) 20:32:04.84

>>859
査読者が掲載してよいと連絡があったのは確かだろう。その内部情報を裏取りして記事にした、と。
でも天下のアカヒだからなぁ、信用できないっちゃーできないが。

**１３２人目の素数さん** · 2018/02/28(水) 20:33:57.17

化合物の原子数と質量に例えることが

**１３２人目の素数さん** · 2018/02/28(水) 20:37:43.11

>査読者が掲載してよいと連絡があったのは確かだろう。

それがそもそも信じられない。それなら京大も1週間くらいで発表したんじゃね？

**１３２人目の素数さん** · 2018/02/28(水) 20:41:14.75

>>853
最後のウホウホ以外はだいたい同意します。

>>856
ツイスター空間は射影的でもなければケーラーでもない多様体の重要な例の急先鋒でしたが、
結局、ケーラーでないと殆ど何もできないので流行りませんでしたね。

D加群の方は幾何学的表現論を開拓したので大成功だと思います。
(ただ最近の論文量産のための量子化、affine類似、楕円類似やらはお腹一杯ですけど。)