Inter-universal geometry と ABC予想 38

**１３２人目の素数さん** · 2019/04/27(土) 20:24:49.26

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

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

**１３２人目の素数さん** · 2019/05/20(月) 23:55:08.06

>>702氏の「ほとんど謎」にこだわる人がいるようだけど、これって普通にやってることだよ
こんなことできたらいいな、こんなことを考えてみたいな、というのがあるけど実際取り組んでみると、
恐ろしく難しい、ツールが足りないということになる
B本は本当にゴミみたいな本だけど、パズルの例えは悪くはなかったと思う
完成図を知った上でパズルを組み立てるのか、完成図を知らず多数のピースしかない状態で組み立てるのかという話

**１３２人目の素数さん** · 2019/05/21(火) 00:04:28.30

iutは横に置いておいて、単遠アーベル（taag）の研究自体に的を絞っても
スター先生しかフォロワーいないのか

**１３２人目の素数さん** · 2019/05/21(火) 00:26:03.99

Gがサーベイが更新されていて見てきたけど、相変わらず理解者たちは他者に対して説明する努力をするつもりはないようだ
IUTコミュニティというより、IUTコミュ障、IUT型コミュニケーション不全症候群という感じだね

Gのサーベイ最新版p.64より
-----------------
(If we use the language of species and mutations(cf. [IUTchIV,x3]), then we can rigorously formulate mono-anabelian statements
without mentioning the contents of algorithms).
-----------------
同上p.251より
-----------------
In this sur-vey, we avoid the rigorous formulation of the language of species and mutations (cf.[IUTchIV,x3]),
-----------------
“mutation”という語はこの2箇所しかないが、厳密な定式化ができているつもりならそこから単遠アーベルの効用を説明すればよいだろうに
そうすれば保守本流の数論幾何学者に無視されても他の分野から注目されるはずなのにね

彼らは数理論理学の話に持ち込みたいのではなく、むしろ逆でそれに触れられたくないのだろう

**１３２人目の素数さん** · 2019/05/21(火) 00:50:37.33

森田真生と並び称される加藤文元、その嫁（再履）のホルホル画像をご覧ください

ttps://twitter.com/katmenet/status/1130051068627304448
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2019/05/21(火) 00:57:43.41

Science History: Einstein’s mathematician

Emmy Noether overcame sexism and antisemitism to become a towering mathematician – and Einstein’s friend. Jeff Glorfeld reports.

https://cosmosmagazine.com/mathematics/science-history-einstein-s-mathematician

**１３２人目の素数さん** · 2019/05/21(火) 01:02:48.43

解析もこれから偏微分方程式から偏差分方程式の時代
確率差分方程式で差分ランダムウォークをp進解析すれば数論に使える

**１３２人目の素数さん** · 2019/05/21(火) 02:18:17.85

スピーシーズとかミューテーションとか数論的ダーウィン主義みたいな。

**１３２人目の素数さん** · 2019/05/21(火) 09:46:09.13

>>728
近似はウソではない。緻密な近似はよく使える
君は時代遅れな観念に囚われた中世の人間と類似のメンタリティを持つ人物だ

**１３２人目の素数さん** · 2019/05/21(火) 09:49:05.56

>解析もこれから偏微分方程式から
偏差分方程式の時代

差分は毎日天気予報で世話になっているのにね
はあ～

**１３２人目の素数さん** · 2019/05/21(火) 10:37:21.10

>>738
或る種の「剛性」がないと意味のあるエラー訂正なんてできないし中世にビザンチン将軍も勤まらないよねえ。

**１３２人目の素数さん** · 2019/05/21(火) 11:25:50.05

ネーターの定理はラグランジアンが無限小
連続変換で対称性がある時オイラーラグランジュ方程式に保存則がある。
時間並進対称性(時間の一様性)からエネルギー
保存則が導かれる、、。

**１３２人目の素数さん** · 2019/05/21(火) 16:33:21.18

>>741
君は望月がHA理論において「ラグランジアンのガロア理論版」を論じていると知ったらどう思うのかね？
ラグランジアンにガウス積分にリーマン面

どっかで聞いたことのある組合せだな

**１３２人目の素数さん** · 2019/05/21(火) 16:45:19.02

>>742
ものは言い様だね

**１３２人目の素数さん** · 2019/05/21(火) 17:57:58.67

>>734
色々凄いね。気○い発言が散見される

**１３２人目の素数さん** · 2019/05/21(火) 18:20:35.66

てかこれ、一般大衆にこんなに拡散して、あとさき考えなくても大丈夫なのか？

**１３２人目の素数さん** · 2019/05/21(火) 19:00:18.39

【末路は悲惨】ポスドク問題と給料
https://iirou.com/hakaseka/
ポスドクはつらいよ　結婚式で親族ドン引き「え…無職なの？」
https://withnews.jp/article/f0171106001qq000000000000000W07m10801qq000016179A

**１３２人目の素数さん** · 2019/05/21(火) 19:30:09.55

Gは>>733でblurring丸出しだしBの○はいい年して痛いしMは上から目線凄いし
浄化してくれるものが欲しいな
だが他方で、2000年頃の望月の文書見ているとまあ確かに天才的だなとは思う。ミステリー小説みたいな論文だ

**１３２人目の素数さん** · 2019/05/21(火) 19:54:53.06

物理にはアイデアがいっぱいあるが、
そのままでは数学にならないね。
多様体上の超対称性量子力学から
指数定理もそう
(物理の話だが時間結晶の実験は面白い、
時間並進対称性の「自発的」破れ、、)。

**１３２人目の素数さん** · 2019/05/21(火) 20:01:47.21

>>747　以前リンクを貼り付けた「数論的log schemeの圏論的表示～」と同じく↓も面白いですよ
[13] Inter-universal Hodge-Arakelov Theory (京都大学数理解析研究所 2005年12月).
ttp://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Hodge-Arakelov%20Theory%20(RIMS%20Kyoto%202005-12).pdf
（直リンできない場合は「出張・講演」を覗いて下さい）

“consider species, mutation”とか、“consider loops of mutations ("simulate a∈a")”とか書いてありますね

**１３２人目の素数さん** · 2019/05/21(火) 20:25:54.21

IUT発表直後、エレンバーグのブログでタオが「ABC予想証明に関する限り最終節の内容はred herring（おとり、偽装）で、
最終節は今後の宇宙際幾何学の拡張に関連しているのではないか？」と書いていて、ほとんどの数学者もそう考えていたと思う
（ちなみにこのブログでロバーツは「Mは圏論に精通していないのではないか」と書いている）

しかし、red herringどころか「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、
IUTの本質的部分だったということだね。そもそもInter-Universalという名称を採用した根本的な理由は最終節の内容にある

ABC予想に関心を持つ若い研究者たちはIUTをred herringと捉え、叩き台として利用すればいいと思う

**１３２人目の素数さん** · 2019/05/21(火) 20:36:44.26

あくまで噂だが、デュプ○がまた京都に来てるらしい。

**１３２人目の素数さん** · 2019/05/21(火) 22:52:49.92

ポスドクもドン引き、IUTもドン引き

**１３２人目の素数さん** · 2019/05/21(火) 22:56:51.35

2019-01-30
大学院卒の半数以上が非正規！？　悲惨な結果が判明！　東大調べ
https://gakkou-nayami.hatenadiary.com/entry/2019/01/30/135322

大学院(博士課程)の悲惨な待遇は生活保護や刑務所の懲役刑未満という話
https://hajime77.com/entry/japanese-graduate-school/

4割が借金300万円超え…大学院に進んだら一生ビンボー暮らしです
就職率は3割以下
https://gendai.ismedia.jp/articles/-/54972?page=4

**１３２人目の素数さん** · 2019/05/21(火) 22:58:26.07

>733 結局(自称)理解者たちは肝心要の部分を詰めきれておらず、ssの指摘がごもっともっていうのがオチなんだろうな。

**１３２人目の素数さん** · 2019/05/21(火) 23:05:44.42

今DupuyはRIMSに滞在してるでしょ

**１３２人目の素数さん** · 2019/05/21(火) 23:29:27.20

Dupuyはイスラエル人か？
もっちーも母上はユダヤ系だっけ？

**１３２人目の素数さん** · 2019/05/21(火) 23:45:29.86

>>750
凄い皮肉ですねw
まあ可読性が低いのは間違いないですよ。高度だとか準備理論の精通だとか読み手が馬鹿だとか
色々言われるけど、それだけじゃない
動機付けとしては一言で言えて、微分を一般化するという事です。それが理由でBuiumの弟子が興味を持った
微分を数論的に一般化すると共にフロベニウス持ち上げの一般化を議論する必要があるが、これらは実は
線形構造に基づいて定式化できないので、数論的な群構造で理論を構築する事にしたというのがHA理論から
IUTTまでの一貫した流れです
Frobenioidの動機はそういう微分の装置というわけです。最終的に加群を使っていますが、全体としては
微分を一般化し非線形な計算を行いたかったわけです
ここまでの動機の話では特に文句の付けようがないのですが、問題はその出力ですね

或いは数論的な微分の一般化はまさに変形に対応して、整数環で変形を計算するには環構造そのものは
確かに使えないのです。複素構造とは違い環自体の変形は環より抽象的な構造でしか記述できませんからね
では果たして、そのような目的をシンプルに達成するには何が必要なのか？

個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います
今世紀の数論幾何を占う根本問題ですから、そういう誘惑はあるでしょう
勿論この評が間違っている可能性は否定しませんが、そういう印象ですね
ある意味でホモロジー代数を非線形に一般化するための苦肉の策があのリンクによる格子なのです

**１３２人目の素数さん** · 2019/05/21(火) 23:46:41.89

長くてすいませんw
ぼんやり打ってたら悲惨な文章になった

**１３２人目の素数さん** · 2019/05/22(水) 00:03:05.89

こんだけ修士だの博士だの行ったら悲惨になるよって言われまくっているのに
まんまと行って案の定討ち死んでいる奴って、自業自得と言わずしてなんなのか

**１３２人目の素数さん** · 2019/05/22(水) 00:08:09.55

B本売れてるのか
まともな数学書は誰も求めてないのか
世も末だな

**１３２人目の素数さん** · 2019/05/22(水) 00:15:09.21

>>757-758
いやいや、非常に明快な文章ですよ。一般的な話でよいと仰りつつ見事な要約です

フロベニオイドやエタール・テータ関数については受け入れられていますね
あと、デュピュイの件ですが彼はブイウムの教え子であると同時にポスドク時代はフルショフスキーの下にいたそうです
本人も遠アーベルとモデル理論を研究しているとHPに書いていますね。IUTの全てに関心を持っているようです
また、Mがブイウムやフルショフスキーの仕事を意識しているのは間違いないですね

＞個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います

同感ですね。フロベニオイドも一種の圏であるので圏同値を示すためクンマー理論を使う一方、数体を扱っているので
単遠アーベルを用いることになった。問題はここで生じているんですよね。ここで忘却関手やガロアの逆問題を
恣意的に利用しているように思われます。その説明（言い訳）として出てくるのがlanguage of speciesやmutationという・・・

**１３２人目の素数さん** · 2019/05/22(水) 00:27:27.36

対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています
やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね
ABC予想証明は応用例にすぎず、IUTそのものが革新的だという言説は以ての外です
IAS研究員などはMのIUT論文にはABC予想証明について希望はないし、
IUTそのものも画期的なものではないと言い切っているぐらいです

**１３２人目の素数さん** · 2019/05/22(水) 00:50:04.05

>>762
＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています

どういうことか詳しく教えてくれませんか？

**１３２人目の素数さん** · 2019/05/22(水) 01:30:59.13

>>763
かなり込み入った論法なので分かり易いところでは星の入門１のp.32～38を読んで見て下さい
対数リンクでも不定性が生じます。これがInd3（クンマー離脱不定性）です。ΘリンクのInd1と同じですね
ただ、対数テータ格子の非可換性については望月の主張と若干異なる記述がみられるので注意が必要です

とにかくややこしいことをやっているので、IUTに関心のある人には星の入門１は必読でしょうね
B本は肝心な所を完全に無視しており、あれではIUTの本当の面白さ（正否は別として）は分かりません

**１３２人目の素数さん** · 2019/05/22(水) 01:45:12.38

失礼しました。IUTの略語ではInd1はエタール輸送不定性、Ind2とInd3はクンマー離脱不定性です

**１３２人目の素数さん** · 2019/05/22(水) 05:00:10.03

>>764
ざっと読みましたが、対数リンクの定義自体はシンプルですよね。
対数リンクというのは素点縞間の同型のこと。
対数リンクを複数回取ることで素点縞間の同型の無限列が得られるが、それによって生じる対数殻たちに関するlog-Kummer対応を考える。
そして、このlog-Kummer対応が上半両立性を満たすことしか確認することができないという事実によって考慮しなければならない不定性(Ind3)が生じると。
最終的には、テータ関数の特殊値により定義される数論的直線束の不定性(Ind1), (Ind2), (Ind3)による軌道の和集合の正則包の体積により楕円曲線のqパラメータにより定義される数論的直線束の次数が評価され、所望の不等式が得られる。
以上が私の大雑把な理解です。
対数リンクの構築(？)に無理があるとのことでしたが、どこに無理があるのかは私には読み取れませんでした。
どこに無理があるのでしょうか？

**１３２人目の素数さん** · 2019/05/22(水) 09:00:44.29

>>760
あの日は売れたよ
大雑把な理解や不正確な記述は数学ではないね

**１３２人目の素数さん** · 2019/05/22(水) 09:13:41.47

>>760
数学書が売れるわけが無い。これはいつの世だろうと透徹した事実だ
啓蒙書だから売れたんだよ。これもいつの世だろうと同じだ
世も末なのでは無く、必然の結果だ
世も末とかトンチンカンなことを言ってるおまえのほうがズレていることを知れ

**１３２人目の素数さん** · 2019/05/22(水) 09:25:05.72

宣伝本や洗脳本やスキャンダラス本は
啓蒙書とはいわない

**１３２人目の素数さん** · 2019/05/22(水) 10:33:54.42

言わないよな。2019年における人口の過半数がどうかは知らないけど。言って欲しくないな。

**１３２人目の素数さん** · 2019/05/22(水) 11:00:18.10

数論の本なら、
「モーデル-ファルティングスの定理」を
勧める。
「初等的」な証明に感動したもんね～

**１３２人目の素数さん** · 2019/05/22(水) 13:43:55.50

証明なんか証明土方の仕事だからどうでもいいが
そういう意味では望月も土方職人と言えなくもない
もっとも、証明が正しければの話ではあるのだが

**１３２人目の素数さん** · 2019/05/22(水) 14:20:58.76

>>766
ああ、「無理をして」という私の書き方がまずかったですね。ギャップがあると言いたいわけではないです
むしろ工夫している。しかし、その代償として不等式しか出ないし、不定性も生じるということが言いたかったのです

**１３２人目の素数さん** · 2019/05/22(水) 16:36:53.05

明治敵な低数なんぞちゃんちゃらおかしいわけね

**１３２人目の素数さん** · 2019/05/22(水) 17:04:22.45

>>773
そういうことでしたか。
不等式しか出ないというのは
log-Kummer対応における対数殻間のKummer同型が対数写像との「両立性」を満たさないが「上半両立性」だけを満たすことにより
対数殻の次数(より一般には数論的直線束の次数)についての「等式」ではなく「不等式」が得られる仕組みとなっている
ということですよね。
個人的には不等式や不定性が生じるよう「工夫している」というより
「自然とそのような仕組みになっている」という印象を受けたのですが
ID:vfA14a+Uさんはどのあたりがどう工夫されていると思ったのですか？

**１３２人目の素数さん** · 2019/05/22(水) 17:32:33.60

横だが、

予想の結論が不等式だから
なんとか工夫して不等式をだしているとか、

**１３２人目の素数さん** · 2019/05/22(水) 17:57:59.69

じゃあ等式で出せるだろ

**１３２人目の素数さん** · 2019/05/22(水) 18:00:45.51

結論は不等式だからw

**１３２人目の素数さん** · 2019/05/22(水) 18:02:21.74

結局擁護派は大タコ揃い

**１３２人目の素数さん** · 2019/05/22(水) 18:05:26.76

>>775
対数テータ格子を構成するためにΘリンクと両立するように工夫しているという意味ですよ。あと、

＞不等式や不定性が生じるよう「工夫している」

とは私も思っていません。所望の不等式は得られるけれども
結局は不等式しか得られないし、不定性が生じるということを私は強調しているだけです
とは言っても、そういった不定性を逆手にとって再初期化したりスウィッチング特性を利用することがIUTらしさだと思っています

まあ、対数リンクだけ取り出してを問題にしている人はいないと思いますけどね

**１３２人目の素数さん** · 2019/05/22(水) 18:17:29.26

SSレポートを始めから読む。

**１３２人目の素数さん** · 2019/05/22(水) 18:50:26.13

>>780
なるほど、ご回答ありがとうございます。

＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています
＞やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね

の部分がどういう意味なのか気になって思わず質問してしまいました。
失礼しました。

**１３２人目の素数さん** · 2019/05/22(水) 19:13:30.58

scholze at math.uni-bonn.de
conrad at math.stanford.edu

**１３２人目の素数さん** · 2019/05/22(水) 21:17:33.84

第四論文の基礎については、入れ子ループ構造についての話は当初は全くピンとこなかった
但し、「集合にはループ包含が成立しないがスケールのレベルを上げるとまた変わってくる」と言ってるけど、
これについては後に理解はできた
coricity（canonical splitting）←→ラベルの哲学という意味で決して言葉遊びではないと思うけど、
模索しながら書いてる感は否めないね
それについて反論レポートにかなり本質が出ているけど、多様体や帰納的極限を例にしたラベルの弁護は
一見説得力があるんだけど、本当にIUTでの論証と同じような話と考えて良いのかどうかという問題もある

**１３２人目の素数さん** · 2019/05/23(木) 00:55:45.60

IUT・Ⅳ最終節は、極論すれば「単遠アーベル的復元の論理学」、「“mysterious indeterminate isomorphism”の解明」、
「充満多重同型のトリセツ（取扱説明書）」のようなものだと思う
あくまで個人的な見解だけど、タオがかつて書いていたように「最終節はIUTのABC予想証明とあまり関係ない」と捉えるならば、
SSレポートのように「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張、つまり単遠アーベル的復元は必要ない、
という主張をすんなり受け入れられると思う。それだけIUTの本質的部分が詰まっていると考えている

この辺のことはBもGもよく分かっていると思う、特にBは名前も出てくるし（拝聴している光景が目に浮かぶ）
私はどっちの味方しているのだろうね（笑）。現段階では「従えない」という考えなんだけど・・・
“taste/aesthetics”という語をあえて使えば、私もこういうのはあまり好きではない

**１３２人目の素数さん** · 2019/05/23(木) 01:06:46.07

SSが行った「単純化」の意味を考えてみると、それは「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張から来ているものであり、
当然これらの使用を認めれば単純化などできるはずがない。つまりSSレポートの脚注8にSSの主張の全てがあると言っても過言ではない

**１３２人目の素数さん** · 2019/05/23(木) 01:11:15.73

もうSSの話はいい。
もっちー先生が言うところの、「出鱈目な内容の残念な雑音」なんかどうでもいい。いつまで引っ張るんだ。

**１３２人目の素数さん** · 2019/05/23(木) 01:20:35.95

パラダイムシフトとは
新地動説
「京都の私のまわりに世界が回る」

**１３２人目の素数さん** · 2019/05/23(木) 01:31:35.74

787がいつまで引っ張ってんだ
終わりなんだよ

**１３２人目の素数さん** · 2019/05/23(木) 01:37:51.80

まあ、私の考えでは、IUTは正しいと考えている人たちこそ最終節の内容を精査すべきだということです
電波ブログや怪しげな宗教勧誘パンフレット以下の駄本で満足している騙されやすい人たちには関係ないことですが

**１３２人目の素数さん** · 2019/05/23(木) 02:46:20.97

ふざけんなっ
B本はjinさんがあれだけtwitterで褒めているんだからいい本に決まってるだろ！

**１３２人目の素数さん** · 2019/05/23(木) 02:52:42.96

大体今頃強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ
アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ
てか、世界中で反論情報共有されちゃったのに対抗できるの？
強弁してると地獄見るんじゃない？

**１３２人目の素数さん** · 2019/05/23(木) 03:24:10.73

03-3953-8555特別区人事・厚生事務組合更生施設けやき荘東京都新宿区西落合１－１８－１８　更生施設けやき荘
柳沢という「ひどく醜い女」が所長をやっている「犯罪施設　けやき荘」
佐藤という女の職員も大変、悪質な人物。
精神疾患で生活保護受給者を入所させて、入所者同士の虐めを放置。
同室で、入所のさいしおりにきちんと明記してある「室内で携帯の利用禁止」を破られていても「仲良しだから」と黙っていて、「咳がうるさい」という「何々さんは嫌いだから」
という虐めの論理に基づく幼稚な言動は放置。
一方の入所者が一人の入所者に「ここが嫌だ」というのを職員に告げると誰が告げたかトラブル回避のために教えず。
トラブル回避は結構だが場合によっては「気に入らない」という個人的感情からくる訴えでも「感情的理由からくる訴えか否か」ジャッジせず。
そういう、いわば「虐め」(こういう類の虐めのみならず「無視」という典型的虐めも含め)放置と容認。
それで入所者が家を失っている(失っているから居るのだが)どういう立場の人間であれ｢精神的に辛い」状況下。
怒ったのを「暴れた」と表現(立派な虐めが行われた結果｢感情的になったら即警察、精神疾患の人は、｢虐めを受けたから、つい一瞬
カッとなって声を荒げてしまった、と謝罪しても済まない、精神科医が赴いて(警察に)理由も聞かず、適当な診察、まして数分の診察で分かるというのが、不可解)「壁を叩いた」
等話を盛って書類に虚偽の記載をしても、世間の｢働いている人間はまとも、まともな人間は嘘をつかない」という偏見と思い込みに基づいた無茶がまかり通る。
書類に、盛った記載をし、警察を呼んだ事実を後に正当化。
呼ばれた戸塚警察は「ルール違反」を怒号で解決しようとするも、マニュアル対応で精神科医を呼ぶ。

**１３２人目の素数さん** · 2019/05/23(木) 03:24:34.45

そして、「ルール違反が原因ではなく、虐めを受けそれの結果、感情的になったら警察を呼ばれたという事実を警察が理解しておらず｢ルール違反」に関してそれこそ｢感情的な怒号を浴びせる」そして、精神科医の指示で入院。
結果的に自室がないというホームレス状態だから、入院先で住居探しをし、希望する物件に入居できず。

｢入院前」は、言いたい事が理解できて(ゆえに、ルール違反に関して怒鳴り散らすという言動に至る)←は戸塚警察の言動である。
「入院前」は「ルール違反について怒鳴る」つまり｢言いたい事は理解していた」
入院前は｢言っている事を理解」し治療を行った後の「入院後」は「言いたい事がわからなくなる」(戸塚警察がである)
精神疾患＝統合失調症という偏見。統合失調症の症状も様々である筈だが｢言動意味不明」にすれば「きちんと話を聞かなくって済む」という様子。又、｢精神疾者に対するあからさまな侮蔑や侮辱」も戸塚警察では当たり前の様子。
更に｢外出するな」等の暴言も見られた。
又｢他人の事などどうでもいい」｢事前に入院が決定していたのでは」「これからある精神科の精神科医を呼ぶ」(脅しだったようで来ず、｢精神科医」を医療従事者ではなく「怖がらせる道具」と思っているところに｢警察の精神科医観」が現れている)
けやき荘の側は、｢弁護士を」等後に電話で言いつつ、弁護士話の途中で電話を切り、電話自体を業務妨害であると言う。
虐めに遭った被害者の側が耐えられなくなるところまで精神的に追い込む。
第三者委員会とうも「設置してあるだけ」のようで、事実上何もせず。
この事実を理解した上で「足元を見てくる」

**１３２人目の素数さん** · 2019/05/23(木) 03:24:53.64

追い込まれた結果、怒りの感情(虐めまで起こっていてけやき荘は、自宅退去者が入所する施設だからホームレス状況で普通の人でも不安な状況下で更に虐め)
を容認＆擁護＆推進。
　被害者側が耐えられなく感情的になったら(そこまでけやき荘の側で追い込む)
精神疾患者は、警察沙汰になれば内容がなんであれ精神科医を呼ばれる＆生活保護受給者だから社会的地位が低い事につけこむ。
警察(管轄内の戸塚警察では、施設内のルールも知らないのに、ルール違反と決め付け怒号)
呼ばれた精神科医も休日だから無能な人間が来る。
その結果、精神科に収容されて、自宅退去の身だから引越しのさい、難儀するのを承知で社会的弱者を追い込む。
やっと引越しが出来ても入院中という劣悪な状況下だから、希望する物件に入居できず。
その旨に関して問い合わせたら、それを警察に業務妨害と訴える。
大変、悪質な施設。

**１３２人目の素数さん** · 2019/05/23(木) 03:34:11.11

大体今頃になって強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ
出版担当とかもいるか
アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ
てか、世界中で反論情報共有されちゃったのに対抗できるの？
強弁してると地獄見るんじゃない？
否定派が正しければ訴訟起こされても不思議はないぐらい

**１３２人目の素数さん** · 2019/05/23(木) 06:21:39.26

充満多重同型の具体例がよく分からんのだ

**１３２人目の素数さん** · 2019/05/23(木) 06:48:07.47

Goサーベイの11ページより引用

Let C be a category.
We define a poly-morphism A → B for A,B ∈ Ob(C)
to be a (possibly empty) set of morphisms A → B in C.
A poly-morphism for which each constituent morphism is an isomorphism
will be called a poly-isomorphism.
If A = B, a poly-isomorphism A →B will be called a poly-automorphism.
We define the full poly-isomorphism A →B to be the set of all isomorphisms A →B.

**１３２人目の素数さん** · 2019/05/23(木) 10:55:52.37

>>785
確かに絶対遠アーベル幾何、つまり基礎体を仮定しないという設定+実化はそこではかなり決定的なものです
ただスキームの宇宙の無限列というとはっきり言ってロジシャンも数学者も意外とよくわからないと思いますね
なのにそれについてのアクセスしやすいより初等的な解説がないのはかなり奇妙です
確かに望月氏が言うように、もう少し単純に考えて、絶対遠アーベル幾何の設定で様々な宇宙X_1～X_n
について考える、と言えばできそうに見える話ではあります。スキームXとYで関手を考える、というのは
普通にやっていることですからね

**１３２人目の素数さん** · 2019/05/23(木) 11:30:32.59

少なくとも構成的直観に訴える書き方ができていないのはコミュニティの反応から明らかだし
Bombieriを含めて整数で変形理論の類似ができればなあ、なんてぼやいてる数論研究者は何人もいる
だがHA理論すらそうした研究者にもさして注目されてこなかった
一般的なフレームワークだけ聞いたらできそうであっても、本当にできているのかどうかは全く別の話だ

**１３２人目の素数さん** · 2019/05/23(木) 20:00:50.41

代数解析のアイデアを中高生の問題から
明解に具体例で説明している。
日本より海外での評価が高い。

https://m.youtube.com/watch?v=-2EqfLLoD0A&;feature=youtu.be

**１３２人目の素数さん** · 2019/05/23(木) 20:35:27.78

×日本より海外での評価が高い
○日本でも海外でも評価が高い

だろ

**１３２人目の素数さん** · 2019/05/23(木) 20:45:20.88

何の進展もないし何の結果も出せないのはどうしてなの？

**１３２人目の素数さん** · 2019/05/23(木) 21:58:49.87

間違ってるから

**１３２人目の素数さん** · 2019/05/23(木) 22:42:35.79

>>797氏へ
>>798（私ではありません）だけ見たら普通に同型にしか見えませんよね。星の入門１でも同じ説明になっています

実際は、「体に関しては非同型、副有限群に関しては同型」というものです。これは単遠アーベル的復元による同型です
つまり、ノイキルヒ・内田のように2つの対象を比較して復元を論じているのではなく、単独の対象の絶対ガロア群から出発して
復元を論じるということです。ガロアの逆問題も絡んでいてどのような体なのかも分からないのです

さらに忘却関手を強調しており(forgetting the “histories of operations”)、再初期化できるミステリアスな同型です
この“mysterious indeterminate isomorphism”がIUTにおいて中心的な役割を担っています
ちなみに、SSは情け容赦なくこの同型を「不必要・無意味」として切って捨てました（MとHがSSを納得させられなかった）

**１３２人目の素数さん** · 2019/05/23(木) 22:49:06.35

書き忘れてました
忘却関手(forgetting the “histories of operations”)を強調しているだけでなく、
単遠アーベル的復元によって生じる2つの不定性（クンマー離脱不定性、エタール輸送不定性）も生じているので、
充満多重同型は“mysterious indeterminate isomorphism”（エイリアン・コピー論文より）なのです

**１３２人目の素数さん** · 2019/05/23(木) 23:13:54.01

>>799
実際、IUTを完成させるまでの着想をそのまま書いたという感じですね。で、突っ込まれたらこれで説明しようという感じです
現状のIUTに対する評価を考えると、これを整備して理解してもらうことから始めた方がいいのかなという感じです
アブストラクト読む限りでは手伝ってくれそうな数理論理学者もいるようなので上手くいけばいいですね・・・

**１３２人目の素数さん** · 2019/05/23(木) 23:27:49.52

失礼しました
アブストラクトではなくAcknowledgementsでした

**１３２人目の素数さん** · 2019/05/23(木) 23:59:12.71

>>798 はワシです。
望月氏の造語癖は一体なんなんですかね。
望月語を標準用語に置き換えれば、
IUT論文はもっと読み易くなるはずです。

**１３２人目の素数さん** · 2019/05/24(金) 02:11:24.54

「突発性バカ」になる高学歴出身者の共通点
https://headlines.yahoo.co.jp/article?a=20190517-00028689-president-soci&;p=3

**１３２人目の素数さん** · 2019/05/24(金) 02:45:43.26

加藤文元のIUTの衝撃とやらを読んだ

なぜか栗原将人の「ガウスの数論世界をゆく」を思い出した
そこには
「私はこの本を片手間には書きませんでした。研究論文を書くときと同じように数学する魂をこめたつもりです。数学の発見のおもしろさを伝えるためには、数学の魂がこもっていなければならないと思ったからです」
とかいてある。
著者の感動した数学が高校生にも分かるように丁寧に説明してある。
珠玉の数学入門書である

翻ってブンゲン本はどうか
焼肉がすきとか数学にしても数学業界のプロならあたり前の常識的なことが粗雑に書いてあり著者がIUTを理解しようとした形跡すらない　当人のこの本に対するスタンスはおそらく
「私はこの本を片手間に書きました。私の研究論文を書くときと同じように数学する魂がこもってないです。売れる本を書いて人気者になるには、知り合いをつかって話題性を利用しない手はないと思ったからです」
というところであろう

望月新一のとりまきに低レベルが多いことに同情する

**１３２人目の素数さん** · 2019/05/24(金) 03:06:50.78

ミステリアスなIUTは圏論用語を使うも、
テンソル代数などの普遍性を特徴とする
普通の圏論理論に基かない、基づけない
んだね。
ま、中世でアリストテレスを巡る普遍論争
の論理以下だわ。
「数理」論理を使って普通の論理が
でてきたら錬金術としか思えない、

**１３２人目の素数さん** · 2019/05/24(金) 07:19:08.81

>>812
衒学趣味要らない

**１３２人目の素数さん** · 2019/05/24(金) 07:40:12.77

san値ピンチmochiピンチ！

**１３２人目の素数さん** · 2019/05/24(金) 08:14:54.26

>>813
IUTは不要だな

**１３２人目の素数さん** · 2019/05/24(金) 11:48:07.26

>>798
単なる全ての同型の集合を充満多重同型とか仰々しい言い方をしてるの、これ？

**１３２人目の素数さん** · 2019/05/24(金) 11:59:40.97

>>816
Yes

**１３２人目の素数さん** · 2019/05/24(金) 12:04:30.67

分脈によってはただの同型を「輸送」や「リンク」などと読んでおり
キモいとしか言いようがないという・・・

**１３２人目の素数さん** · 2019/05/24(金) 13:27:55.01

>>806
>>812
これは個人的には予想通りなんですが、KedlayaはHoTTと関連付けうると考えているようです
IUTTはガロア圏による分裂を利用した一種の二次元圏としてのモジュライ理論ということもあるが、

プログラム言語+ホモトピー代数

という発想からも、ある意味で誰にでも思い付く雑な観点でもあるし、実際彼は期待込みでしょう
分裂と言えば分裂ですし、直感的には遠アーベル幾何学で環の忘却を取り、Anabelioidからスキームの宇宙への
ラベルindexによる逆極限を考えている事になる
ただ星さんの言い方を真似ると、pilot-objectの実化による埋め込みが自明か非自明か、それを含めて
理論が間違いであるかどうかはギリギリの境界とも言えますw 　
この埋め込みが普通の数学者には宙に浮いた絵空事に見えてしまうということです

**１３２人目の素数さん** · 2019/05/24(金) 13:44:00.21

↑訂正
逆極限→余極限

**１３２人目の素数さん** · 2019/05/24(金) 14:56:11.06

>>815
IUTはまだわからない
>>812はハッキリ不要

**１３２人目の素数さん** · 2019/05/24(金) 15:33:37.12

>>821

>>397と矛盾している。

**１３２人目の素数さん** · 2019/05/24(金) 15:52:09.28

>>822
私は>>397を書いてないから>>397と矛盾しないように書く必要はない。

**１３２人目の素数さん** · 2019/05/24(金) 16:38:14.81

さあ今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ
　　　　 ∧＿∧　どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ
　　　　<丶｀∀´> 　　　∧＿∧ 反論も検証も無理だからいつもの論点すり替えて僻みにするニダ鮮人のせいにして憐れみ請うニダ
　　　／　　　＼　　（　　　　）詭弁と強弁とポストチラつかせて寄生ﾀﾞﾆ工作員増やすニダ　
.＿＿|　|　　　 .|　|＿　/ 　　　ヽ
||＼　￣￣￣￣　　／ .|　　　|　| なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ
||＼..∧＿∧　　　(⌒＼|_＿./ ./ 数少ない擁護側のTaylorを何回も来日させといて拡がりより途中の検証を先にやれよ諦めたか
||.　（　　　）　　　　 ~＼___＿_ノ|　　∧＿∧ 幕末の志士気取りでおこぼれ狙いがミエミエでさもしいんだよクズ野郎が
　　/　　　ヽ　厚顔無恥の馬鹿？＼| 　（　　　　）不利な点はスルーで数日で復活とかハイエナゴキブリ並みの行動力
　　|　　　　　ヽ　　　　　　　　　　＼/ 　　　ヽ. 無防備な学生やら利得関係者相手にゴリ押し洗脳新興宗教かよ
　　|　　　　|ヽ、二⌒) 　　　　　　／ .|　　　|　| 数々の指摘の反論ができないってどういう事だよ
　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 6月のＮスペはどうなったんだよペテン師野郎
. 4月末で潮目が変わるんじゃなかったのかクソ野郎
. モノ書きのホモサピエンス野郎キショいんだよ
. 完全理解者のＧとＦはどっちが正しいの

**１３２人目の素数さん** · 2019/05/24(金) 17:43:13.91

NHKスペシャルはいつ放送されるの？

**１３２人目の素数さん** · 2019/05/24(金) 19:49:54.49

>>811
栗原の本は良い本で学部生が一度自分で計算しつつ読めばいいと思うが
売れてるのはブンゲンだな
栗原に限らずあの種の数学書が1万冊売れることはまずない

**１３２人目の素数さん** · 2019/05/24(金) 20:34:52.54

B本は寄稿あとがきも含めIUTそのものだ。

**１３２人目の素数さん** · 2019/05/24(金) 20:37:39.26

　　　　　　　∧__∧ オボちゃんも最後の最後まで認めなかったからね！
　　　　　　（´∀｀　）研究室のスタッフや関係者が疑問に思わなかったとこがスゴイね!
　　　　　　（⊃⌒*⌒⊂) キタナイとこは隠すからね！気付いた有能な人はもう離れてるよね!
　　　　　　　/__ノωヽ__） Examples of triples with small radical と値が同じだけどどうして？
マッサーかとおもうけど著者と連絡取り合って数字合わせをしたとかはないよね？？
でもεの上界値だけで証明になるの？
明晰的な証明だと先にアメリカで論文出てるよね？

アメリカのドメインからは直接見れないってだけでProxy経由で簡単にアメリカからでも見れるよ！
ｋ上が運営に手回して小細工で見れないようにしたとか？
てか、世界中で反論情報共有されて説明できるの？
今年もめぼしいワークショップ開けないのはそのせい？
原●が落ちるまで幸福しなかった日本はバカなの？
強弁してると地獄見ちゃうんじゃない？

**１３２人目の素数さん** · 2019/05/24(金) 21:02:51.65

　　　　　　（⊃⌒*⌒⊂)
　　　　　　　/__ノωヽ__）

**１３２人目の素数さん** · 2019/05/24(金) 21:04:34.07

　　　　　　　∧__∧
　　　　　　（´∀｀　）
　　　　　　（⊃⌒*⌒⊂)
　　　　　　　/__ノωヽ__