20/04/23 10:48:16 Ayy0wuIh.net
>>253
>Stix先生:Cor3.12の証明を読んだ結果、だいたいYY*)だった。まだ若干疑問点があるが、
> コロナ騒動が落ち着いたら、今年の京都国際会議No4に乗り込んで決着させるつもりだ。一緒に行かないか?
一言追加しておくと、IUTはIVでは 下記
”which imply, for instance, the so-called Vojta Conjecture for hyperbolic curves, the ABC
Conjecture, and the Szpiro Conjecture for elliptic curves. ”
という大風呂敷をかましているわけ
分かると思うけど、数論研究者としては、迷惑なんだよね、IUTの成否が宙ぶらりんっての
つまり、自分の研究室のDR生がいるとする
で、例えば、”the Szpiro Conjecture for elliptic curves” に近い分野をテーマに選ぶとする
で、さあ研究するぞと、文献を集めるとき、IUTの評価が問題になる
1)IUTは認められた
2)IUTには証明に瑕疵があり、瑕疵部分がオープン
3)IUTは全然だめ(箸にも棒にも掛からぬ)
この3つの場合で、研究方針が全く違うのです
分かると思うが
なので、「Stix先生、どうか京都に乗り込んで、IUTの白黒つけてきて下さい。白黒どっちでも良い。応援するからね~」
という気持ちは、プロ数学者にも当然あると思うよ(白黒無視して研究方針を立てるわけにはいかないのですよ)*)
*)ほんと蛇足だが、上記2)又は3)の状況下で、”the Szpiro Conjecture for elliptic curves”を独自に証明したら、拍手喝さいだが
上記1)の状況下では、二番煎じの別証明という評価にしかならないのです
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
Abstract.
(抜粋)
In the present paper, estimates arising from these multiradial algorithms for splitting
monoids of LGP-monoids are applied to verify various diophantine results
which imply, for instance, the so-called Vojta Conjecture for hyperbolic curves, the ABC
Conjecture, and the Szpiro Conjecture for elliptic curves.
288:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 11:29:55 Ayy0wuIh.net
”inter-universal”の用語解説があったから貼る
正直意味わからんけどw、グロタンディーク宇宙とはあんまり関係ないね。山下解説外している気がする
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
Abstract.
(抜粋)
Moreover, it is precisely these foundational
issues surrounding the vertical and horizontal arrows of the log-theta-lattice that led
naturally to the introduction of the term “inter-universal”.
P6
Again, the fundamental tool that makes
this possible, i.e., that allows one to express constructions in the new universes in
terms that makes sense in the original universe is precisely
the species-theoretic formulation ? i.e., the formulation via settheoretic formulas that do not depend on particular choices invoked
in particular universes ? of the constructions of interest
? cf. the discussion of Remarks 3.1.2, 3.1.3, 3.1.4, 3.1.5, 3.6.2, 3.6.3. This is
the point of view that gave rise to the term “inter-universal”. At a more concrete level, this “inter-universal” contact between constructions in distant models
of conventional scheme theory in the log-theta-lattice is realized by considering [the
´etale-like structures given by] the various Galois or ´etale fundamental groups that
occur as [the “type of mathematical object”, i.e., species constituted by] abstract
topological groups [cf. the discussion of Remark 3.6.3, (i); [IUTchI], §I3].
つづく
289:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 11:31:51 Ayy0wuIh.net
>>256
つづき
P7
Finally, we observe that although, in the above discussion, we concentrated on
the similarities, from an “inter-universal” point of view, between the vertical and
horizontal arrows of the log-theta-lattice, there is one important difference between
these vertical and horizontal arrows: namely,
・ whereas the copies of the full arithmetic fundamental group - i.e., in
particular, the copies of the geometric fundamental group - on either
side of a vertical arrow are identified with one another,
・ in the case of a horizontal arrow, only the Galois groups of the local
base fields on either side of the arrow are identified with one another
- cf. the discussion of Remark 3.6.3, (ii).
P71
Remark 3.1.4. Note that because the data involved in a species is given by
abstract set-theoretic formulas, the mathematical notion constituted by the species
is immune to, i.e., unaffected by, extensions of the universe - i.e., such as
the ascending chain V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V that appears in
the discussion preceding Definition 3.1 - in which one works. This is the sense
in which we apply the term “inter-universal”. That is to say, “inter-universal
geometry” allows one to relate the “geometries” that occur in distinct universes.
つづく
290:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 11:32:24 Ayy0wuIh.net
>>257
つづき
P81
Remark 3.6.2.
(i) In the context of the theme of “coric descriptions of non-coric data” discussed in Remark 3.6.1, (ii), it is of interest to observe the significance of the use of
set-theoretic formulas [cf. the discussion of Remarks 3.1.2, 3.1.3, 3.1.4, 3.1.5] to
realize such descriptions. That is to say, descriptions in terms of arbitrary choices
that depend on a particular model of set theory [cf. Remark 3.1.3] do not allow one
to calculate in terms that make sense in one universe the operations performed
in an alien universe! This is precisely the sort of situation that one encounters when one considers the vertical and horizontal arrows of the log-theta-lattice
[cf. (ii) below], where distinct universes arise from the distinct scheme-theoretic
basepoints on either side of such an arrow that correspond to distinct ring theories, i.e., ring theories that cannot be related to one another by means of a ring
homomorphism - cf. the discussion of Remark 3.6.3 below. Indeed,
it was precisely the need to understand this sort of situation that led the
author to develop the “inter-universal” version of Teichm¨uller theory
exposed in the present series of papers.
(引用終り)
以上
291:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 11:45:44 Ayy0wuIh.net
>>255
>*)ほんと蛇足だが、上記2)又は3)の状況下で、”the Szpiro Conjecture for elliptic curves”を独自に証明したら、拍手喝さいだが
>上記1)の状況下では、二番煎じの別証明という評価にしかならないのです
数学分かってない人が、アンチスレで絶叫しているようだがw(^^
IUT論文の査読に、8年(2017年説を取れば5年)かかったわけ
で、それがもし正しいとして、国際会議をして、日本数学会で取り上げて、ICM2022で取り上げてとやると、最短でもいまから2年かかる
で、DR生が ”2021年に ”the Szpiro Conjecture for elliptic curves”を独自に証明した”と言っても
もし、IUTがICM2022で認められれば、2020年のIUTに優先権ありとなる
勿論、だめ(もし 明かな証明の瑕疵あり)なら そのDR生の証明が 優先権ありとなる
アンチスレの研究できなかった人のタワゴトには、困るなぁ~w(^^;
292:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 11:49:21 Ayy0wuIh.net
>>259
>IUT論文の査読に、8年(2017年説を取れば5年)かかったわけ
293:IUT論文は手直しが続いているから もし他の人と、例えば ”the Szpiro Conjecture for elliptic curves”の証明の優先権争いになったときは IUT論文のどの版の日付と比較すべきかが、問題となる けれども、いまそういう比較の問題は起きていないので みんなスルーですけどね(些末な問題だと)
294:132人目の素数さん
20/04/23 11:50:17 Qj35tukM.net
京都国際会議No4とか京都の国際会議とか書かれているけど、
Google検索では出ないな。
そもそもコロナ禍で遠隔会議が推奨されているけど、
名古屋大学の不老説明会などはZOOMが使われたようだが。
どんな会議なんだろうか?
295:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 12:03:09 Ayy0wuIh.net
>>261
>京都国際会議No4とか京都の国際会議とか書かれているけど、
下記ですね
なお、No1の5月は、9月に延期です
この後どうなるか不明ですが
延期はあっても中止はないでしょうからね
URLリンク(www.kurims.kyoto-u.ac.jp)
日本語
No1
Foundations and Perspectives of Anabelian Geometry
部屋:420号室 期間:2020-05-18?2020-05-22
組織委員:Ivan Fesenko (英・ノッティンガム大学)
南出新(英・ノッティンガム大学)
譚福成(京都大学数理解析研究所)
途中略
No4
宇宙際タイヒミューラー理論サミット2020
部屋:420号室 期間:2020-09-08?2020-09-11
組織委員:星裕一郎(京都大学数理解析研究所)
望月新一(京都大学数理解析研究所)
Ivan Fesenko (英・ノッティンガム大学)
田口雄一郎 (東京工業大学)
URLリンク(www.kurims.kyoto-u.ac.jp)
英文版
296:5ch反IUT論装戦線 論理狼
20/04/23 12:09:34.17 HZRVAVG+.net
>>257
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
IUTを守る会 会長 ◆e.a0E5TtKE
自分の主張「グロタンディーク宇宙は只一つ!」を
愛する望月に、真正面から否定され😢
ギャハハハハハハ!!!!!!!
ギャハハハハハハ!!!!!!!
ギャハハハハハハ!!!!!!!
ギャハハハハハハ!!!!!!!
ギャハハハハハハ!!!!!!!
ギャハハハハハハ!!!!!!!
ギャハハハハハハ!!!!!!!
ギャハハハハハハ!!!!!!!
297:132人目の素数さん
20/04/23 12:28:52.41 bpD+kfBC.net
正しい正しくないは価値に関係ない事を知らん奴が多いんかな?
298:132人目の素数さん
20/04/23 12:42:11 pceyMXls.net
>>255
>数論研究者としては、迷惑なんだよね、IUTの成否が宙ぶらりんっての
Stixは、今はノーコメントで、これからも・・・ どうなのですかね?
IUTの会議に招待されたのに取りやめて、ギャップがあると、他(or後)で論争したら、
「なぜ専門者の会議で論争しないの」と言われますでしょうからね。
逆にその国際会議は、IUTのギャップがあれば、講演する機会でもあったと思うのですが。
299:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 13:14:41 Ayy0wuIh.net
>>265
>>数論研究者としては、迷惑なんだよね、IUTの成否が宙ぶらりんっての
>Stixは、今はノーコメントで、これからも・・・ どうなのですかね?
>IUTの会議に招待されたのに取りやめて、ギャップがあると、他(or後)で論争したら、
>「なぜ専門者の会議で論争しないの」と言われますでしょうからね。
まず、欧米では
1.意見を聞かれて、自分の意見を言えないのは最低評価でしょうね(勿論、自分の専門外ならともかく)
2.Nature誌の記者にノーコメントは理解されても、数学者仲間での専門の議論で、しかも、SSの当事者でしょ?
「おまえ、自分の意見ないのか?」って評価になる
さて
1.IUTの会議のNo1は、IUT直接ではなく、その準備の遠アーベル(>>262 "Foundations and Perspectives of Anabelian Geometry")
IUT直は、No4の方で(>>262 "宇宙際タイヒミューラー理論サミット2020")
ここには、Stix先生は招待されていない。但し、押しかけは可でしょう
2.なお、「なぜ専門者の会議で論争しないの」なんて、関係ない。ダメなものはだめ。後からでもIUTの証明に瑕疵が見つかれば、指摘すれば良いのです。それが数学です
300:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 13:33:47 Ayy0wuIh.net
>>263
>ギャハハハハハハ!!!!!!!
出ました、おサル得意の”ギャハハ・・”
おサルの”馬脚”ですな(形容矛盾ですがねw(^^;)
(参考)
URLリンク(kotobank.jp)
コトバンク
(抜粋)
形容矛盾(読み)ケイヨウムジュン
デジタル大辞�
301:フ解説 《〈ラテン〉contradictio in adjecto》論理学で、ある語をその語のもつ性質に矛盾する語で形容すること。「三角な円形」とか「ゴム製の鉄板」などがその例。
302:132人目の素数さん
20/04/23 13:43:37 pceyMXls.net
>>266
記憶違いかと思って確かめたのですが、以下のリンクで、
URLリンク(www.kurims.kyoto-u.ac.jp)
---------------------------------------
2020年度訪問滞在型研究計画「宇宙際タイヒミューラー理論」(代表者:望月 新一)の一部は感染症予防のため延期となりました。
新たな日程は以下の通りです。
2020-08-31~2020-09-04 RIMS共同研究(公開型)
・Foundations and Perspectives of Anabelian Geometry
(研究代表者:Ivan FESENKO)
2020-09-08~2020-09-11 RIMS共同研究(グループ型A)
・組合せ論的遠アーベル幾何とその周辺
(研究代表者:星 裕一郎)
---------------------------------------
となってました。
なのでStixが招待講演者であった「Foundations and Perspectives of Anabelian Geometry」は、
宇宙際タイヒミュラー理論の公開型であるプログラムでしたね。
303:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 13:44:13 Ayy0wuIh.net
>>263
>>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
>自分の主張「グロタンディーク宇宙は只一つ!」を
>愛する望月に、真正面から否定され
別に応援はするが、おサルのように”愛する”はないわなw
ところで、冒頭の”V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V”と
「グロタンディーク宇宙は只一つ!」がどう繋がるのかな?w
そのV0 ~ Vn と V と全てが、グロタンディーク宇宙なのか?w
なお、IUT IVの関連の下記の部分読んだか?ww(^^
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
(抜粋)
P68
Although we shall not discuss in detail here the quite difficult issue of whether or not there actually exist ZFCG-models, we remark in passing that it may be possible to justify the stance of ignoring such issues in the context of the present series of papers
- at least from the point of view of establishing the validity of various “final results” that may be formulated in ZFC-models -
by invoking the work of Feferman [cf. [Ffmn]].
Precise statements concerning such issues, however, lie beyond the scope of the present paper [as well as of the level of expertise of the
author!].
In the following discussion, we use the phrase “set-theoretic formula” as it is conventionally used in discussions of axiomatic set theory [cf., e.g., [Drk], Chapter 1,§2],
with the following proviso: In the following discussion, it should be understood that every set-theoretic formula that appears is “absolute” in the sense that its validity for a collection of sets contained in some universe V relative to the model of set theory determined by V is equivalent, for any universe W such that V ∈ W,
to its validity for the same collection of sets relative to the model of set theory determined by W [cf., e.g., [Drk], Chapter 3, Definition 4.2].
304:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 13:49:35 Ayy0wuIh.net
>>269 参考に訳追加
URLリンク(www.deepl.com) DeepL翻訳
(一部修正)
ここでは、ZFCG モデルが実際に存在するかどうかという非常に難しい問題については詳しく触れないが、
今回の一連の論文の文脈の中では、そのような問題を無視するという姿勢を正当化することができるかもしれないということを、ここではあえて述べておくことにする。
- 少なくとも、ZFCモデルで定式化される様々な「最終的な結果」の妥当性を確立するという観点からは-。
Feferman [cf. [Ffmn]を参照のこと。]
しかし、このような問題に関する正確な記述は、本稿の範囲を超えている。author!]
以下の議論では、公理的集合論の議論で慣習的に用いられているように、
305:"集合論的公式 "という表現を用いる [例えば、[Drk], Chapter 1,§2]。 以下の議論では、ある宇宙Vに含まれる集合の集合に対する有効性が、Vによって決定される集合理論のモデルと相対的な宇宙Vに含まれる集合の集合に対する有効性が、V∈Wのような任意の宇宙Wに対して等価であるという意味で、出現するすべての集合理論的な公式は「絶対的」であると理解されるべきである。 は、Wによって決定された集合理論のモデルに相対する同じ集合の集合の集合に対するその妥当性につい て[例えば、[Drk]、第3章、定義4.2]を参照されたい。 www.DeepL.com/Translator(無料版)で翻訳しました。 (引用終り) ということで、望月先生も、厳密な正統集合論の「宇宙」に拘っているわけではないし グロタンディーク宇宙とも関係ない そういう解釈でよろしいかと思いますよ
306:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 13:51:13 Ayy0wuIh.net
>>270 補足
>ということで、望月先生も、厳密な正統集合論の「宇宙」に拘っているわけではないし
>グロタンディーク宇宙とも関係ない
>そういう解釈でよろしいかと思いますよ
望月先生は、「宇宙」を使いたいみたいだが
個人的には、かえって分かりにくいと思う(^^;
307:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 14:15:57 HZRVAVG+.net
>>269
>”V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V”と
>「グロタンディーク宇宙は只一つ!」がどう繋がるのかな?
>そのV0 ~ Vn と V と全てが、グロタンディーク宇宙なのか?
違うと思ってんの?
おめでたい馬鹿野郎だねえ
貴様ってヤツぁwwwwwww
>>270
>望月先生も、厳密な正統集合論の「宇宙」に拘っているわけではないし
>グロタンディーク宇宙とも関係ない
>そういう解釈でよろしいかと思いますよ
本人に聞いてみろよ
IUTを守る会 会長
「望月大先生閣下 誠に申し上げにくい質問ですが
IUT論文 IVのP71の
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
ですが、これらはすべてグロタンディク宇宙ではない
ということでよろしいのかと・・・」
M大先生閣下
「君ぃ、何言っとるか!
もちろん全てグロタンディク宇宙に決まっとるではないかっ!
そうでなければ、宇宙際なんて名前つけるわけなかろうが
君、グロタンディク宇宙の定義知っとるか?
だったら何も驚くころなかろう
まさか、君、宇宙は一つしかない、なんて
馬鹿なこといいだすんじゃなかろうね?」
IUTを守る会 会長
「・・・畜生!この**ノコ**公野郎!!!」(激怒)
この日を境に、◆e.a0E5TtKEは数学板から忽然と姿を消した・・・
308:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 15:24:09 Ayy0wuIh.net
>>272
はいよ、下記に グロタンディーク宇宙の説明がある
では、聞く
1.下記 グロタンディーク宇宙と望月IUTの関係を述べよ
2.グロタンディーク宇宙は、強到達不能基数κ や 強到達不能基数 λ によって規律されるという
では、望月IUTは、強到達不能基数κあるいは λ あるいはそれ以上
一体全体、どの範囲の不能基数を、望月IUTは使っているのか?
3.”INTER-UNIVERSAL”とは何か? 強到達不能基数κや λが変わっていくのか?
どうぞ回答を
一問でも答えらえたら、集合基礎論では、おれより上と認めるけどな
どう?ww(^^;
(参考:文字化けがあるので、原文ご参照)
URLリンク(ja.wikipedia.org)
グロタンディーク宇宙
(抜粋)
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える(実際には、集合論のためのモデルを与える)。
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ
309: に対して、κ よりも巨大な強到達不能基数 λ が存在する。 グロタンディーク宇宙 U に対して、|U| は零、{\displaystyle \aleph _{0}}\aleph _{0}、もしくは強到達不能基数のいずれかとなる。また、κ が零、{\displaystyle \aleph _{0}}\aleph _{0}、もしくは強到達不能基数ならば、グロタンディーク宇宙 u(κ) が存在する。さらに、u(|U|) = U かつ |u(κ)| = κ となる。 強到達不能基数の存在は ZFC からは証明できないため、空集合と {\displaystyle V_{\omega }}V_\omega 以外の宇宙の存在はどれも ZFC から証明することができない。
310:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 15:26:36 Ayy0wuIh.net
>>273
> 1.下記 グロタンディーク宇宙と望月IUTの関係を述べよ
追加
なお、「グロタンディーク宇宙は圏論で使い、望月IUTは圏論を使う」以上の答えを期待しているよ
”INTER-UNIVERSAL”に、少しでも 関連した回答でなければ、0点ですww(^^;
311:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 15:29:42 Ayy0wuIh.net
>>273 タイポ訂正
一体全体、どの範囲の不能基数を、望月IUTは使っているのか?
↓
一体全体、どの範囲の到達不能基数を、望月IUTは使っているのか?
分かると思うが念のため(^^;
312:132人目の素数さん
20/04/23 15:42:27 Qj35tukM.net
ところでABC予想はABC定理化されるのだろうか?
313:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 16:13:35 Ayy0wuIh.net
>>276
ABC予想は、例えば下記の”q(a, b, c) > 1 + ε”のεの取り方で、
q(a, b, c) > 1.6とかq(a, b, c) > 2 とか
まあ、いろいろあるみたい
望月IUTが、何を証明するのか、実はよく知らないんだ
(参考)
URLリンク(ja.wikipedia.org)
ABC予想
(抜粋)
定式化
c > rad(abc) が成り立つ例も無限に存在する[注 1][注 2]ため、rad(abc) を少しだけ大きくすることで例を有限個にできないかどうかを考える。すなわち、abc予想は任意の ε > 0 に対して、次を満たすような自然数の組 (a, b, c) は高々有限個しか存在しないであろうと述べている:
{\displaystyle c>\operatorname {rad} (abc)^{1+\varepsilon }.}{\displaystyle c>\operatorname {rad} (abc)^{1+\varepsilon }.}
これと同値な他の定式化(Oesterle?Masser の abc予想)として次のものがある。
三つ目の定式化は「質」(quality) と呼ばれる概念を導入して表現する。abc-triple (a, b, c) に対して、質 q(a, b, c) を次のように定義する:
このときabc予想は、任意の ε > 0 に対して、abc-triple (a, b, c) であって q(a, b, c) > 1 + ε を満たすものは高々有限個しか存在しないということを主張している。
現在、q(a, b, c) > 1.6 を満たす abc-triple は後述の通り3組しか知られていない。q(a, b, c) を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。すなわち「全ての abc-triple (a, b, c) に対して、c < rad(abc)2 を満たすであろう」という主張だが、こちらも肯定も否定もされていない。
314:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 16:20:26 Ayy0wuIh.net
>>277
関連
英語版ikipedia の方が詳しいね(^^
(参考)
URLリンク(en.wikipedia.org)
abc conjecture
(抜粋)
6 Refined forms, generalizations and related statements
7 Claimed proofs
Claimed proofs
Lucien Szpiro proposed a solution in 2007, but it was found to be incorrect shortly afterwards.[21]
In August 2012, Shinichi Mochizuki claimed a proof of Szpiro's conjecture and therefore the abc conjecture.[22]
He released a series of four preprints developing a new theory called inter-universal Teichmuller theory (IUTT) which is then applied to prove several famous conjectures in number theory, including the abc conjecture and the hyperbolic Vojta's conjecture.[23]
The papers have not been accepted by the mathematical community as providing a proof of abc.[24]
This is not only because of their difficulty to understand and length,[25] but also because
315:at least one specific point in the argument has been identified as a gap by some other experts.[26] Although a few mathematicians have vouched for the correctness of the proof,[27] and have attempted to communicate their understanding via workshops on IUTT, they have failed to convince the number theory community at large.[28][29] つづく
316:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 16:20:46 Ayy0wuIh.net
>>278
つづき
In March 2018, Peter Scholze and Jakob Stix visited Kyoto for discussions with Mochizuki.[30][31]
While they did not resolve the differences, they brought them into clearer focus. Scholze and Stix concluded that the gap was "so severe that … small modifications will not rescue the proof strategy";[32] Mochizuki claimed that they misunderstood vital aspects of the theory and made invalid simplifications.[33][34][35]
On April 3, 2020, two Japanese mathematicians announced that Mochizuki's claimed proof would be published in Publications of the Research Institute for Mathematical Sciences (RIMS), a journal of which Mochizuki is chief editor.[3]
The announcement was received with skepticism by Kiran Kedlaya and Edward Frenkel, as well as being described by Nature as "unlikely to move many researchers over to Mochizuki's camp."[3]
(引用終り)
以上
317:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 16:23:46 HZRVAVG+.net
>>273
>では、聞く
(全部略)
>どうぞ回答を
IUTに関することは望月大センセイに聴きな
IUTに関係しない集合論の常識だけ教えてやる 感謝しろよw
強到達不能基数は無数にある
ZFCGはZFCにグロタンディク仮説を公理として追加したものだが
要するにグロタンディク局所宇宙となる集合が無数にあるらしい
詳しいことはこれでも読みな
著者は論理学者
Rigor and Structure
URLリンク(pdfs.semanticscholar.org)
(蛇足)
>一問でも答えらえたら、集合基礎論では、おれより上と認めるけどな
ギャハハハハハハ!!!
数学に集合論という分野はある 数学基礎論という分野もある
し・か・し、集合基礎論なんて分野が数学には存在しねえよ
この時点で貴様は数学界の最底辺の地獄道(黒)行き決定!
いっとくが上には
餓鬼道(赤)・畜生道(黄)・修羅道(青)・人間道・天道
があるぞ
俺様のいう天道まで上ってきやがれ
上ってこれるもんならな!
ギャハハハハハハ!!!
318:現代数学の系譜 雑談
20/04/23 16:47:56.68 Ayy0wuIh.net
>>280
ながなが言い訳ご苦労さん
1)1問たりとも回答不能の言い訳、しかと承りましたw(^^;
2)集合基礎論は、おれが作った造語だが、この問題は一般の基礎論とも圏論とも違う、どちらの範疇にも入らない問いだとおもったからだがw(^^
>ギャハハハハハハ!!!
あほサルの馬脚、ご苦労さんw
319:132人目の素数さん
20/04/23 16:54:43.18 lYGBlH2e.net
互いが互いの主張の要旨を理解できないから、とりあえず相手をけなして笑っておこうとする文化
320:5ch反IUT論装戦線 論理狼
20/04/23 16:57:07.54 HZRVAVG+.net
>>281
>集合基礎論は、おれが作った造語だが
素人はすぐ嘘分野をデッチあげるから困る
>この問題は一般の基礎論とも圏論とも違う
まず圏論は基礎論ではない 覚えとけ
そしてIUTは圏論でもなさそうだ
だから望月に訊けといってるだろう?
怖いのか?
321:w 馬鹿のくせに ああ、そうそう、貴様はABC予想のステートメントも理解してないから 馬鹿の貴様にも分かるように書いてやったぞ、読みやがれ!畜生w http://rio2016.5ch.net/test/read.cgi/math/1587361264/244-245
322:132人目の素数さん
20/04/23 17:02:14.80 onmAzHJf.net
>>281
>集合基礎論は、おれが作った造語
新しく言葉を作るのは自由だが、中身がないと新しく言葉を作る意味がない。
323:5ch反IUT論装戦線 論理狼
20/04/23 17:05:40.82 HZRVAVG+.net
>>282
俺は「IUTを守る会 会長」の云ってることは分かるぞ
なにしろ思考が印旛沼並に浅いからなwww
IUTを全然理解してないから、中身は親分のMに訊けといっている
しかしABC予想のステートメントすら読めてないのには呆れた
マジで白痴か?
以前選択公理のステートメントも読まずに
整列可能定理を選択公理だと言い張るとか
超限帰納法が選択公理だと言い張るとか
馬鹿丸出しの発言を連発していたが
こいつは文章も読めなきゃ論理的思考もできない
人間失格の畜生らしい
無限に関することはどうやらKとかいう奴の
「無限のスーパーレッスン」を真に受けたらしい
そのくせ論理学者の渕野氏の発言をやたら引用するんだが
その渕野氏が「無限のスーパーレッスン」のウソッパチ説明の誤りを
これでもかというほど執拗にあげてることは全く知らないらしい
数盲の極致 こんな💩野郎が数学板に書くんじゃねえよ!
324:現代数学の系譜 雑談
20/04/23 17:20:54.60 Ayy0wuIh.net
>>282
>互いが互いの主張の要旨を理解できないから、とりあえず相手をけなして笑っておこうとする文化
どうも
多分違うな
おサルは、IUT語の中に入れない
私(ただのヒトだが)は、IUT語の中には入れるが、IUT数学は理解できないw
この違い分かりますかぁ~ww(^^;
>>284
>>集合基礎論は、おれが作った造語
>新しく言葉を作るのは自由だが、中身がないと新しく言葉を作る意味がない。
この場(5ch IUTスレ)限りの造語ですよ
別に、集合基礎論の論文を書くつもりも、集合基礎論のテキスト(教科書)を書くつもりなし
一般基礎論と圏論の間の問題だと思ったから、”IUTの「宇宙」とはなんぞや”論じるこのスレ内の造語です
ここの議論が終われば使い捨て
それとも なんですか、貴方は、一般基礎論、圏論なんでも良いけど
既存の数学の分野で、 >>273に示した3つの問いが、「xx論」に属するとするのが相応しいと仰るなら、どうぞそれを示してくださいなw(^^;
325:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:50:47 HZRVAVG+.net
>>286
全然違うなw
>(論理狼は、)IUT語の中に入れない
誤 入れない
正 入らない
>(IUTを守る会 会長は、)IUT語の中には入れるが、
誤 入れるが
正 入れると思い込んでるが
>IUT数学は理解できない
IUTは理解できない、したがって全然IUT語に入れてない
文章だけみて真似たって意味ないんだよ
326:5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM
20/04/23 17:54:31 HZRVAVG+.net
>>286
>”IUTの「宇宙」とはなんぞや”
グロタンディク宇宙だよ
違う、と考える理由は?
お前が勝手に
「グロタンディク宇宙はたった一つの筈!だからあり得ない!」
と何の根拠もなく妄想してるだけだろ
その妄想が間違ってるといってるんだよ
嘘だと思うなら望月本人に訊いてみろ
わざわざ望月本人が論文でZFCGって書いてるんだから明らかだろ
Gって誰の頭文字だと思ってるんだ?
ガロアでもゲーデルでもないぞw
327:132人目の素数さん
20/04/23 18:22:34.59 kRiBYOSj.net
戦線とか言う時点で共産党員
日本が憎くて仕方がない!日本人の自尊心は敵
望月許すまじ 日本人はバカでなくてはならない
328:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 20:15:29 /do61ABJ.net
>>289
>戦線とか言う時点で共産党員
>日本が憎くて仕方がない!日本人の自尊心は敵
>望月許すまじ 日本人はバカでなくてはならない
半分同意
日本共産党と新左翼の違いは、話すと長くなるから
突っ込まないけど
後半の2行は近いと思うよ(^^;
329:5ch反IUT論装戦線 論理狼
20/04/23 21:07:11.32 HZRVAVG+.net
日本云々はどうでもいい そこに力点ないからw
おすすめの本(全部デヴィッド・グレーバーw)
「負債論」
「官僚制のユートピア」
本当は”Bullshit Jobs”の日本語訳が読みたいんだが・・・
330:5ch反IUT論装戦線 論理狼
20/04/23 21:15:15.83 HZRVAVG+.net
日本人について唯一云うことがあるとすればこれか
「日本人は珍種」w
Y染色体ハプログループD1a2は、日本列島に固有に見られるタイプで、
アイヌが高頻度で約85%、次いで琉球民族で約40%、本土日本人にも35%ほど見られる。
縄文人の血を色濃く残すとされるアイヌや一部の沖縄県民(特に糸満や宮古島)で高頻度に見られ、
反対に漢民族や朝鮮民族などの周辺諸民族にはほとんど見られないことから、
縄文人に特徴的なY染色体だとされる。
アリゾナ大学のマイケル・F・ハマー (Michael F. Hammer) のY染色体分析でも
D系統が扱われ、チベット人にも、約50%の頻度でこのハプログループDを持っていることを根拠に、
縄文人の祖先は約5万年前に中央アジアにいた集団が東進を続けた結果、
約3万年前に北方ルートで北海道に到着したとする仮説を提唱した。
しかし、実際にどのような経路を通ったかは様々な学説があり結論には達していない。
D系統は、現在世界で極めて稀な系統になっており、
日本人 (D1a2) が最大集積地点としてその希少な血を高頻度で受け継いでいる。
遠く西に離れたチベット人 (D1a1) やアンダマン諸島(D1a3)で高頻度である他は、
アルタイ(D1*)、タイ (D1a1)、ヤオ族 (D1a1)、
フィリピン (D1b)、グアム島(D1*)
等の南方地域にわずかに存続するだけである。
しかしながら同じD系統とは言え、D1a2系統と東アジア(チベット等)のD1a1系統は
分岐してから4 - 5万年もの年月を経ていると考えられる
(O系統が誕生したのが3 - 4万年前であるため、
これよりも前に分岐しているD1a2とD1a1等は別系統であるが
双方とも日本列島で見られる)
331:粋蕎
20/04/23 22:08:03.22 Os3jmfv5.net
結城の乱の落武者の子孫と、とある東北の城の御庭番総抜け忍の子孫のハイブリッドの儂はJ-yap系なん?
332:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 23:27:27 /do61ABJ.net
いましばし、「宇宙」を掘り下げよう(^^;
<グロタンディーク宇宙 at IUT IV>(下記”Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]:”)
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
(抜粋)
P67
Section 3: Inter-universal Formalism: the Language of Species
In the following discussion, we shall work with various models ー consisting
of “sets” and a relation “∈” ー of the standard ZFC axioms of axiomatic set theory
[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice ー
cf., e.g., [Drk], Chapter 1, §3]. We shall refer to such models as ZFC-models.
Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]:
The various ZFC-models that we work with may be thought of as [but are
not restricted to be!] the ZFC-models determined by various universes that are
sets relative to some ambient ZFC-model which, in addition to the standard axioms of ZFC set theory, satisfies the following existence axiom [attributed to the
“Grothendieck school” ー cf. the discussion of [McLn], p. 193]:
(†G) Given any set x, there exists a universe V such that x ∈ V .
We shall refer to a ZFC-model that also satisfies this additional axiom of the
Grothendieck school as a ZFCG-model. This existence axiom (†G) implies, in particular, that:
Given a set I and a collection of universes Vi, where i ∈ I, indexed by I
[i.e., a ‘function’ I ∋ i → Vi], there exists a [larger] universe V such that
Vi ∈ V , for i ∈ I.
つづく
333:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 23:28:34 /do61ABJ.net
>>294
つづき
Indeed, since the graph of the function I ∋ i → Vi is a set, it follows that {Vi}i∈I
is a set. Thus, it follows from the existence axiom (†G) that there exists a universe
V such that {Vi}i∈I ∈ V . Hence, by condition (i), we conclude that Vi ∈ V , for
all i ∈ I, as desired. Note that this means, in particular, that there exist infinite
ascending chains of universes
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
ー where n ranges over the natural numbers.
Bibliography
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the
Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
数理論理学において、構造 (もしくはモデル) の宇宙(うちゅう、英: Universe)とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
グロタンディーク宇宙の難点は、厳密さを欲するなら、グロタンディーク宇宙を捨てなければならないことである。
つづく
334:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 23:31:06 /do61ABJ.net
>>295
つづき
最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる。
すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。対象の集合と射の集合の両方共集合であり、このことが固有類を用いることなく "すべての" 集合の圏を議論することを可能にしている。
すると、この新しい圏の観点から別の圏の定義が可能になる。例えば、すべての U-small 圏の圏は宇宙 U の内部において、すべての対象の集合と射の集合の圏の圏になる。すると通常の集合論の独立変数が、すべての圏の圏に適用される。
さらに誤って固有類に対して言及する心配もなくなる。なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ。
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。"
この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。
URLリンク(ja.wikipedia.org)
グロタンディーク宇宙
(抜粋)
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
(引用終り)
以上
335:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 23:40:00 /do61ABJ.net
>>294-296 <まとめ>
(>>294)
>Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]:
これは、明らかに
(>>295)
>圏論
>大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(>>296)
>グロタンディーク宇宙の2つの簡単な例がある:
これは、明らかに、上記IUT IVの”a (Grothendieck) universe V”とは異なる
つまり、異なるグロタンディーク宇宙が存在し、IUT IVの”a (Grothendieck) universe V”は、[McLn]を参照していることから
上記 圏論の”大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である”ですね
336:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 23:49:04 /do61ABJ.net
>>297
追加
あと、集合論の「宇宙」(universe)は、下記 Kenneth KUNEN.1980のPDFでもどうぞ
なお、和訳 藤田博司先生の「キューネン数学基礎論講義」を併読すると良いと思う
(藤田博司先生のは、大学図書館などにあるだろう)
URLリンク(blacaman.tripod.com)
SET THEORY. An Introduction to Independence Proofs. Kenneth KUNEN.1980
URLリンク(books.google.co.jp)
キューネン数学基礎論講義
ケネス・キューネン
翻訳 藤田博司
日本評論社, 2016 - 378 ページ
名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
337:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 23:53:21 /do61ABJ.net
>>294
>いましばし、「宇宙」を掘り下げよう(^^;
「宇宙」を掘り下げたのは
IUTを理解する一助としてなのだ
1.IUT理論が数学としての証明として成立している可能性は99%
2.いまや、別意味で、IUTを批判的に読むべきとき
3.望月先生の長年に渡るIUT執筆の労は多とすべきものだが
数学の理論は、成立したその瞬間から、それを乗り越えるべく
批判的に読むべし
4.IUTの「宇宙」って何ですか? それは、IUTを理解する一つの切り口になるだろう(^^
338:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/23 23:57:37 /do61ABJ.net
>>293
粋蕎さん、どうもご苦労さまです
J-yap系ならぬJ-pop系ではないですか?(^^
あまり あほなサルに構うと、あほウイルスが移りますぜw(^^;
(参考)
URLリンク(ja.wikipedia.org)
J-POP
339:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 07:17:49 9m+2fnQ5.net
>>297 訂正
分かり難いので書き直す
(訂正版)
>>294-296 <まとめ>
(>>294)
>Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]:
下記の「グロタンディーク宇宙」は、明らかに 上記” (Grothendieck) universe V”と同じ
(>>295)
>圏論
>大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
下記の「グロタンディーク宇宙の2つの簡単な例」は、明らかに上記の” (Grothendieck) universe V”=(圏論)「グロタンディーク宇宙」とは異なる
(>>296)
>グロタンディーク宇宙の2つの簡単な例がある:
つまり、Wikipedia には、異なるグロタンディーク宇宙の定義が存在し、一方 IUT IVの”a (Grothendieck) universe V”は、[McLn](McLnは、有名なS. MacLane氏の論文)を参照している
繰返すが、IUT IVの”a (Grothendieck) universe V”は、上記 圏論の”大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である”ですね
(終り)
340:132人目の素数さん
20/04/24 07:21:24 x81xPhD4.net
↑ つん読狂人が遠吠え連投
341:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 07:29:42 9m+2fnQ5.net
>>268
遠隔レスすまん
>なのでStixが招待講演者であった「Foundations and Perspectives of Anabelian Geometry」は、
>宇宙際タイヒミュラー理論の公開型であるプログラムでしたね。
専門的なところは分からないが
4回あって、最初の会議 「Foundations and Perspectives of Anabelian Geometry」 は
IUTの基礎の遠アーベルを広く扱って、IUTの基礎の部分(IUTに繋がる部分)をしっかり議論しましょうって
ことだと思っています
IUT Cor3.12より以前の部分を広く扱うのかなと思っていました(IUT IとかII )
だから、”IUT Cor3.12”だめ のStix先生も 招待講演者 を当初は受けていたのかと
342:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 07:35:55 9m+2fnQ5.net
余談ですが、下記”Not Even Wrong Why the Szpiro Conjecture is Still a Conjecture Posted on April 18, 2020 by woit”で
Timothy Chow says: 氏 3回くらい発言あるけど
Forc
343:ing en.wikipedia に登場しています なんか、基礎論の人みたいです https://www.math.columbia.edu/~woit/wordpress/?p=11723 Not Even Wrong Why the Szpiro Conjecture is Still a Conjecture Posted on April 18, 2020 by woit (抜粋) Timothy Chow says: April 21, 2020 at 1:16 pm https://en.wikipedia.org/wiki/Forcing_(mathematics) Forcing (mathematics) External links ・Timothy Chow's article A Beginner's Guide to Forcing is a good introduction to the concepts of forcing that avoids a lot of technical detail. This paper grew out of Chow's newsgroup article Forcing for dummies. In addition to improved exposition, the Beginner's Guide includes a section on Boolean-valued models. https://arxiv.org/abs/0712.1320 [Submitted on 9 Dec 2007 (v1), last revised 8 May 2008 (this version, v2)] A beginner's guide to forcing Timothy Y. Chow https://arxiv.org/search/math?searchtype=author&query=Chow%2C+T+Y Showing 1?14 of 14 results for author: Chow, T Y
344:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 07:52:44 9m+2fnQ5.net
>>294 補足
「宇宙」説明追加
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
(抜粋)
Introduction
P6
one typically encounters new schemes, which give rise to new
Galois categories, hence to new Galois or ´etale fundamental groups, which may
only be constructed if one allows oneself to consider new basepoints, relative to new
universes.
In particular, one must continue to extend the universe, i.e., to modify
the model of set theory, relative to which one works. Here, we recall in passing
that such “extensions of universe” are possible on account of an existence axiom
concerning universes, which is apparently attributed to the “Grothendieck school”
and, moreover, cannot, apparently, be obtained as a consequence of the conventional ZFC axioms of axiomatic set theory [cf. the discussion at the beginning of §3 for more details].
we wish to obtain algorithms for
constructing various objects that arise in the context of the new schemes/universes
discussed above ? i.e., at distant Θ±ellNF-Hodge theaters of the log-theta-lattice
? that make sense from the point of view of the original schemes/universes that
occurred at the outset of the discussion. Again, the fundamental tool that makes
this possible, i.e., that allows one to express constructions in the new universes in
terms that makes sense in the original universe is precisely
the species-theoretic formulation ? i.e., the formulation via settheoretic formulas that do not depend on particular choices invoked
in particular universes ? of the constructions of interest
? cf. the discussion of Remarks 3.1.2, 3.1.3, 3.1.4, 3.1.5, 3.6.2, 3.6.3. This is
the point of view that gave rise to the term “inter-universal”.
つづく
345:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 07:53:40 9m+2fnQ5.net
>>305
つづき
At a more concrete level, this “inter-universal” contact between constructions in distant models
of conventional scheme theory in the log-theta-lattice is realized by considering [the
´etale-like structures given by] the various Galois or ´etale fundamental groups that
occur as [the “type of mathematical object”, i.e., species constituted by] abstract
topological groups [cf. the discussion of Remark 3.6.3, (i); [IUTchI], §I3].
P7
If, instead of working species-theoretically, one attempts to document all of the possible
choices that occur in various newly introduced universes that occur in a construction, then one finds that one is obliged to work with sets, such as sets obtained via
set-theoretic exponentiation, of very large cardinality. Such sets of large
cardinality are reminiscent of the exponentially large denominators that occur
if one attempts to p-adically formally integrate an arbitrary connection as opposed
to a canonical crystalline connection of the sort that occurs in the context of
the canonical liftings of p-adic Teichm¨uller theory [cf. the discussion of Remark
3.6.2, (iii)]. In this context, it is of interest to recall the computations of [Finot],
which assert, roughly speaking, that the canonical liftings of p-adic Teichm¨uller
theory may, in certain cases, be characterized as liftings “of minimal complexity”
in the sense that their Witt vector coordinates are given by polynomials of minimal degree.
(引用終り)
以上
346:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 08:02:44 9m+2fnQ5.net
>>305
補足
1)なんか、望月先生の気持ちは分かるけどな~w(^^;
2)でも、”universe”は個人的には、ちょっと違和感あるな
でも、ここを読むと、望月先生の思考回路がわかりそう
3)” species-theoretically”と関連していそうだね
4)これ、下記「組合せ論」って話なのでしょうね(^^
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)
望月 着想・感想
(抜粋)
2008年06月11日
・組合せ論的カスプ化(前回04月09日の報告を参照)の論文が完成した
(論文を参照)。
2008年04月09日
・「combGC」(=「Grothendieck予想の組合せ論版」--- 2007年の論文を
参照)を適用することによって、松本眞氏の有名な「単射性定理」(=
1996年のCrelleの論文のTheorem 2.2)の「組合せ論版」ができそう。
347:論理狼 ◆y7fKJ8VsjM
20/04/24 08:23:11 BTmyP9va.net
>>293
調べてみたら? >粋蕎
Y染色体は父から子に遺伝するので母系は無視していい
以前はGenographicのサービスがあったのだが終了した筈
ま、FTDNAってところでやってるんで
URLリンク(www.familytreedna.com)
(ただしアメリカの会社なので説明等は全部英語)
348:132人目の素数さん
20/04/24 09:32:51.95 orcsTVam.net
>>303
>>268を読むと、Stixが講演を招待されて取りやめたのは、公開型とグループ型で
公開型の会議ですかね。
あと
>IUT Cor3.12より以前の部分を広く扱うのかなと思っていました(IUT IとかII )
はIUT IとかIIが論点なのだと思いました。
「望月側はIUT Cor3.12は、Cor3.11から自明と言っている」と以前に書かれてました。
>>247にあるように、
>環論で直接に出来ないことを、遠アーベルの枠組みで扱う理念、で
準備論文(IUT前)の遠アーベルの前提があり、2008年の>>247のIUTコンセプトで、
IUT-I,Ⅱ,Ⅲを遠アーベル前提を使い、Cor3.11を導出してますね。
Cor3.12単純化が間違えか否か、Cor3.11までの前提でANDをORで扱うべきでない、
と言うならば、このパートでStixが招待されている意味もあったかと思ったのですが。
また、WoitブログのDupuyの4/17の12:17回答で、Scholzeと論争している(2)の、
π1(X)からのXの復元へのコメントで、IUT-Ⅱセクション2を取り上げてます。
(IUT Cor3.12より以前の部分で、Cor3.11の前提に遡った論争をしてます)
あと最後に「私は個人的にJakob Stixに聞く(≒Stixに聞け?)」と書いてました。
>This process invol
349:ves multiple fundamental groups.) — BUT if we are going to dispose of these things entirely as in (1) you can probably scrap a lot from section 2 of IUT2. I need to think about how this construction works in order to say something precise. I personally would ask Emmanuel Lepage or Jakob Stix about this. 、
350:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 10:55:44 +5fH8L59.net
>>309
レスありがとう
下記の Taylor Dupuy says:ですね
で、”Peter Scholze says: April 17, 2020 at 6:25 pm”で、
”You are simply ignoring my point!”
自分で言って、フェセンコ先生のセリフ「単純化しすぎ」を思い出したかな(^^
”Peter Scholze says: April 17, 2020 at 7:15 pm”
で、”However, the discussions in Kyoto went along extremely similar lines, and these discussions were actually very much led, certainly initially, by Mochizuki. ”
などと言っていますね(^^;
URLリンク(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
(抜粋)
Taylor Dupuy says:
April 17, 2020 at 12:17 pm
*****************
Regarding (2)
*****************
BUT if we are going to dispose of these things entirely as in (1) you can probably scrap a lot from section 2 of IUT2.
I need to think about how this construction works in order to say something precise.
I personally would ask Emmanuel Lepage or Jakob Stix about this.
Peter Scholze says:
April 17, 2020 at 6:25 pm
Dear Taylor,
> Well, I claim that Theorem 3.11.i and 3.11.ii are not the difficult parts of Theorem 3.11;
You are simply ignoring my point!
Best wishes!
Peter
Peter Scholze says:
April 17, 2020 at 7:15 pm
PS: I just realized that maybe the following information is worth sharing. Namely,
However, the discussions in Kyoto went along extremely similar lines, and these discussions were actually very much led, certainly initially, by Mochizuki.
He first wanted to carefully explain the need for distinct copies, by way of perfections of rings, and then of the log-link, leading to discussions rather close to the one I was having with UF here.
He agreed that one first has to understand these basic points before it makes sense to introduce all further layers of complexity.
351:現代数学の系譜 雑談
20/04/24 17:19:23.48 +5fH8L59.net
>>295
>Bibliography
>[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the
>Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
追加資料
URLリンク(link.springer.com)
Reports of the Midwest Category Seminar III pp 192-200
One universe as a foundation for category theory
Authors
Saunders Mac Lane
(注:Preview で 2ページ目まで読める)
(検索ヒットしたので貼る)
Lectures on Infinitary Model Theory
David Marker University of Illinois at Chicago Fall 2013
Department of Mathematics, Statistics, and Computer Science
352:132人目の素数さん
20/04/24 19:18:36 1+xZw8Jf.net
IUT理論7論文中に rad などという語は一つもないようだが、
WikipediaのABC予想では rad という表現が用いられている。
ただしradicallyという語が1か所だけ使われている。
353:現代数学の系譜 雑談
20/04/24 20:04:16.93 9m+2fnQ5.net
>>295-296
IUT否定派スレより
スレリンク(math板:401番)
401 自分:132人目の素数さん 投稿日:2020/04/24(金) ID:9m+2fnQ5
>>400
>玉川先生以下、査読者全員が、集合論の初歩も分かってない
おサルの思考はいつも倒錯している。正しいことを間違っているといい、間違っていることを正しいというね、おサルは
>まずV1,V2・・・は全部集合です
分かっている。下記だな
間違ってはいないが、一方で何が言いたいのか?意味不明
後は、自分のスレで(^^
IUT応援スレより
スレリンク(math板:295番)-296
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である
354:現代数学の系譜 雑談
20/04/24 20:14:46.35 9m+2fnQ5.net
>>313
追加
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
↓
V0 ⊂ V1 ⊂ V2 ⊂ V3 ⊂ ... ⊂ Vn ⊂ ... ⊂ V
この下の行のように、⊂を使う方が普通だと思うし
(V1、V2・・・などはクラスだから、普通は集合ではないので、∈ は使わない )
で、∈を使うなら、なんらかの意図があるとおもうが
どうも、特別の意図は見て取れないのですw(^^;
355:現代数学の系譜 雑談
20/04/24 20:28:23.16 9m+2fnQ5.net
>>312
>IUT理論7論文中に rad などという語は一つもないようだが、
>WikipediaのABC予想では rad という表現が用いられている。
>ただしradicallyという語が1か所だけ使われている。
それは、ABC予想を直接扱うのではなく
下記の”「Szpiro 予想(の強い形)」 (←→ 「ABC 予想」) ”という形で
Szpiro 予想の方を扱うのですね
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)(lecture%20note%20ban).pdf
宇宙祭タイヒミューラー理論への誘(いざな)い<レクチャーノート版> 望月新一 2015
P6
「Szpiro 予想(の強い形)」 (←→ 「ABC 予想」)
356:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 20:59:50 9m+2fnQ5.net
>>267
>>ギャハハハハハハ!!!!!!!
>出ました、おサル得意の”ギャハハ・・”
>おサルの”馬脚”ですな(形容矛盾ですがねw(^^;)
”ギャハハ”は、下記の説明ご参照w(^^;
(参考)
0.99999……は1ではない その7
スレリンク(math板:197番)
197 名前:哀れな素人[] 投稿日:2020/03/20(金) 21:30:06.44 ID:q909oOsB [20/25]
(抜粋)
サル石の由来は一石から。
ヤフー掲示板でサル石はone stoneという名前で書いていた。
アインシュタイン→ein stein→one stoneという意図だろう(笑
それを僕が一石と書いた。
で、一石がやたらと相手をサルとか畜生と書くので、
一石のことをサル石と書いてやったのが始まりだ(笑
Mara Papiyas
第六天魔王」と称してました
ギャハハハハハハ!!!
BABYMETAL、SU-METALの狂信的ファン
それがサル石(笑
ガロアスレでスレ主に何年間も噛み付いているアホだ(笑
357:132人目の素数さん
20/04/24 22:12:29.68 zkcRGLXo.net
>>>>>>>>IUT理論7論文中に rad などという語は一つもないようだが、
WikipediaのABC予想では rad という表現が用いられている。
ただしradicallyという語が1か所だけ使われている
おそろしいゴミが語っているようですね
VojtaもSzpiroもないてます
358:132人目の素数さん
20/04/24 22:16:32.10 zkcRGLXo.net
どうせ素朴なABC予想しか理解できないの
ならheightもconductorもtate curveも知らんのだろう
359:132人目の素数さん
20/04/24 22:21:00.41 uT8LAOQz.net
>>318
だって中学生でも理解できるって言って人集めてるから
360:132人目の素数さん
20/04/24 22:31:54.88 zkcRGLXo.net
>>>>だって中学生でも理解できるって言って人集めてるから
素朴なABCからその重要性がわかるやつはほぼいない
実際そんな素朴な定式化を直接証明したわけではない
ABCから数論の重要な予想がざくざく出ることを示すことはそれ自体重要な貢献
例えばこれを読め
N. Elkies,
ABC implies Mordell
URLリンク(academic.oup.com)
このような予想をつなぐ貢献ですら一流の仕事なのだ
Elkiesは26歳でハーバードに教授になった超秀才
彼の仕事はこれだけではないが
361:132人目の素数さん
20/04/24 22:37:03.54 uT8LAOQz.net
>>320
>実際そんな素朴な定式化を直接証明した
マスメディアの記事はそんな感じですよ
つまり世間一般の認識もそんな感じということで
スピロ予想ならスピロ予想って最初から言ってくれないと困りますね
362:132人目の素数さん
20/04/24 22:44:30 zkcRGLXo.net
数学ではお前みたいな輩に居場所はないから
心配しないくても�
363:蜿苺v
364:132人目の素数さん
20/04/24 22:47:41 uT8LAOQz.net
>>322
別に数学に居場所を求めてるわけじゃないけど
偽りの神を信仰する気はない
365:132人目の素数さん
20/04/24 22:54:00 zkcRGLXo.net
ごめんよ
素朴なABCにつられてくるほどのアホを構うような世界じゃないんだ
366:132人目の素数さん
20/04/24 22:58:06 uT8LAOQz.net
>>324
まあだいたいそんな感じはしてた
例の加藤教授の動画もいい加減だったしあれをパクったユーチューバーの動画も同じ
まるで一般人にABC予想を理解してほしくないようだった
367:132人目の素数さん
20/04/24 23:05:17 zkcRGLXo.net
本当に理解したいなら代数幾何やSGA1とかから
しっかり勉強するしかない
気軽な理解が一番出来ない世界が数学だから
ただ
何にせよ理解したときの高揚感は保証する
368:132人目の素数さん
20/04/24 23:06:18 1+xZw8Jf.net
スピロは泣いたがヴォイタは泣いてないぞ。
369:132人目の素数さん
20/04/24 23:10:18 1+xZw8Jf.net
スピロは追悼されていないと草葉の陰で泣いている。
370:132人目の素数さん
20/04/24 23:12:15 zkcRGLXo.net
実質的にVojtaも泣いた様なもんだが、
Szpiro最近亡くなったみたいなんですよね
証明された聞いてのホッとしたんでしょうか
重要な予想を提出する
これは数学の発展には不可欠な重要な貢献ですね
371:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 23:13:17 9m+2fnQ5.net
Joshiの論文改訂か
これを、ショルツ氏がどう評価するかだな
woitブログでは、ショルツ氏が自らJoshiの論文に言及して、間違いを指摘したところ
(ショルツ氏がJoshiにメールを送って確認したという)
そこに、Joshiが、文句を言いに乱入してきたという展開だった
改訂版を、ショルツ氏が認めれば、決定打かな
”24章 Perfectoid algebraic geometry as an example of anabelomorphy P61”
があるので、IUTと Perfectoidと、関連がついてくるということだから
Inter-universal geometry と ABC予想 51
スレリンク(math板:168番)
168 名前:132人目の素数さん[] 投稿日:2020/04/24(金) 21:09:48.70 ID:7qjyDeuO
例のJoshiの論文が改訂されたらしいけど、誰か読んだ?
あと、昔から思ってたんだけど、プレプリントとか準備中の論文とかを「引用」している論文って、
検証可能性を満たしていないよね
人名と論文のタイトルと年だけで出版元名もURLもないReferencesって引用と言えるのか?
>Dale says:
>April 23, 2020 at 11:34 pm
>Kirti Joshi has now posted a revised manuscript ”On Mochizuki’s idea of Anabelomorphy and its applications” discussed earlier in this thread.
>URLリンク(arxiv.org)
URLリンク(www.math.columbia.edu)
372:132人目の素数さん
20/04/24 23:34:55.05 S7OOZbh5.net
「ABC予想入門」は読めるところは読めるんだが、
読めないところは読めない。
373:132人目の素数さん
20/04/24 23:36:51 uT8LAOQz.net
>>326
素朴なABCが数学者にはどうでもいいってのはショックだ
加藤教授の動画でもそんな感じのことを言ってたしやっぱりというか納得というか
どうもありがとう
374:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/24 23:44:00 9m+2fnQ5.net
>>332
>素朴なABCが数学者にはどうでもいいってのはショックだ
ABC予想は、”どうでもいい”ということはないよ
大事だよ
でも、おそらくフェルマーと同じだろう
a^n+b^n=c^n
これで、n=1が、ABC予想
n>=3が、フェルマーで整数解無しだけど
おそらく、初等的な証明が存在しない問題じゃないかな?
フェルマー同様、ABC予想の方も
だからの Szpiro予想って話でしょう
>加藤教授の動画でもそんな感じのことを言ってたしやっぱりというか納得というか
加藤教授が言っているのは、IUTヨイショの話
つまり、ABC予想の解決は大事だが、IUTはもっと大事なことだと吹いているわけだ(レトリックの一つだよ)
375:132人目の素数さん
20/04/24 23:47:49 zkcRGLXo.net
>>332
素朴なABCはコンピュータにのせて数値実験しやすい
数学のわからない素人に説明しやすい
などの意味はあるけど実際の数学者にとっては楕円曲線などの
言葉と使ったABCの言い換えバージョンが標的になっていて
IUTも最初からそれを攻略する戦略として作ってある
関数体の場合はかなり前から判っていて1つは
小平の楕円ファイブレーションの分類を使う方法
ほかにもあり
Bogomolovの方法はFesenkoのより望月の方法と類似が指摘されている
376:132人目の素数さん
20/04/24 23:51:05 zkcRGLXo.net
>>>>おそらくフェルマーと同じだろう
a^n+b^n=c^n
これで、n=1が、ABC予想
GWになって酔っているか何を言ってるかわからないYO
377:132人目の素数さん
20/04/24 23:56:13.97 uT8LAOQz.net
>>334
それにまんまと騙されて自分は数値実験してしまったわけですなorz
378:132人目の素数さん
20/04/25 00:03:06.38 0AhL5XFE.net
>>336
iya数値実験はとても大切なんだ 数論には正しいかどうか怪しい予想も多いからね
哲学主導で予想してなんの具体例の支持もない場合は多い
379:132人目の素数さん
20/04/25 00:07:04.59 0Gpor3BR.net
>>337
そう言ってもらえると助かります
心が折れそう
380:132人目の素数さん
20/04/25 00:10:37.83 hHlkMVye.net
このブログ読みやすい。
URLリンク(taro-nishino.blogspot.com)
381:132人目の素数さん
20/04/25 00:14:35.49 0AhL5XFE.net
Sato-Tate予想という
予想があってこれは数値計算で予想されたんだ
URLリンク(en.wikipedia.org)
どっかで読んだとこでは初期のコンピュータで計算して予想したらしい
普通の人がみてもみつけれないところだが
あと数論幾何の基本のWeil予想は数学の哲学的に予想されたと思うけど
有限体上の予想で簡単な例の確認はしやすかった
これらはいまでは全て証明されている
382:132人目の素数さん
20/04/25 00:15:03.35 nULhaJry.net
>>331
排中律定期
383:132人目の素数さん
20/04/25 00:26:16.81 rza5jLQH.net
諸法無我@MugaShohou さんのtwitterによると、、
4月11
taro-nishinoのブログは見ないほうがいいな、これ
まずRobertsの"A Crisis of Identification"って記事を「識別の危機」って訳してる時点で、数学の素養があるのかどうかも怪しい(ここでのidentificationは「同一視」でしょう)
なんかもう、色々とひどすぎるし、海外記事へ日本語でアクセスしたいときにこの人のブログが真っ先に出てくるのどうにかしないといけない
IUT関連の英語記事を和訳してブログに載せているTARO-NISHINOって誰なんだろうなあ
なんであそこまでScholze側に肩入れしてるのか…バイアスのかかった誤解をばらまいてることに気付いてるのかな
384:132人目の素数さん
20/04/25 00:27:25 0AhL5XFE.net
Weil予想で思い出したけどIUT擁護じゃないが
最重要予想が著者の所属機関のジャーナルからでるのは初めてでもなんでもない
La conjecture de Weil : I
Deligne, Pierre
Publications Mathématiques de l'IHÉS, Volume 43 (1974), p. 273-307
URLリンク(www.numdam.org)
La conjecture de Weil : II
Deligne, Pierre
Publications Mathématiques de l'IHÉS, Volume 52 (1980), p. 137-252
URLリンク(www.numdam.org)
Fa
385:ltingsも自分がeditorしてるところからだしてるわww
386:132人目の素数さん
20/04/25 00:46:27 0AhL5XFE.net
それ関連でいまツイッターいろいろみたら
URLリンク(twitter.com)
これはなんだね
数論幾何で一番GAPだらけの誰も読めない論文を書くFaltingsが
よくこんなこといえたもんだねと笑ってしまった
これだからアサヒの記者はってなるだろ
「Faltingsお前の論文よめない」といえない空気が数論幾何に
蔓延してるの知らないひといないでしょ
(deleted an unsolicited ad)
387:132人目の素数さん
20/04/25 00:49:36 nULhaJry.net
そのFaltingsが言うなら相当なんじゃね
388:132人目の素数さん
20/04/25 00:54:59 0AhL5XFE.net
その逆だ
両方の論文をいくつか読んだことあるけどFaltingsは行間に論文一個分(数個分)のGAPがあることがしばしばあるから酷い
Mochizukiにはない
389:132人目の素数さん
20/04/25 00:58:35 0AhL5XFE.net
Faltingsの場合はGAPじゃなくて本当に間違っている場合もある
390:132人目の素数さん
20/04/25 00:59:28 nULhaJry.net
単に注意とか定義とか記号とかが多すぎて読みにくいって話か
391:132人目の素数さん
20/04/25 01:04:52 W1eb6Qez.net
0AhL5XFE
モチ様~~
392:132人目の素数さん
20/04/25 01:12:56 0AhL5XFE.net
因みにモチ様なぞという輩はいるのか もっちーならある
Deligneも論文を読むのは大変なのだがその行間の割に最終的に
不思議と間違えないのは偉いなあとおもうねw
393:132人目の素数さん
20/04/25 03:19:10 gHQblpKe.net
犯罪者
394:132人目の素数さん
20/04/25 06:39:16.85 Y99iAusY.net
携帯良番ほしい方いましたら
ご連絡下さい。
miracleluckynumber777@gmail.com
0A0-7777-777Aなど多数ございます。
395:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 07:38:26 b0fzLo6k.net
>>343
どうも
レスありがとう
大学紀要みたいなものと思えば良いんじゃない?
l'IHÉSとかRIMSとか、研究機関の場合でも、大学紀要類似と思えば
それと、国際会議とかシンポジュームの論文集とかあるよね
あれは、多分査読なしでしょ
グロタンディークのEGAとかSGAとか、だれも査読してないんじゃない? 良く知らないが
”てにをは”とか、タイポは直しても、良く知らないけど、シンポジュームの論文集扱いじゃない?
396:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 08:03:44 b0fzLo6k.net
>>353
>グロタンディークのEGAとかSGAとか、だれも査読してないんじゃない? 良く知らないが
>”てにをは”とか、タイポは直しても、良く知らないけど、シンポジュームの論文集扱いじゃない?
なんか、グロタンディークの講義録みたいな話もどこかで読んだな
数学の論文の成否は、必ずしも査読だけじゃないよね
シンポジュームの論文集でも、査読ないけど納得できる論文ってある
シンポジュームの論文集に出したのを纏め直して、別の専門誌に投稿もあるかも
望月IUTに戻ると
1.新規数学用語発明連発で、最初から「嫁ねぇ~!」が続出
2.Cor 3.12とか、何か書いてあるか分からんし、「こう考えたら成立ってないだろ?」(ショルツ氏)とか出てきた
3.Cor 3.12とか、全く新しい概念の用語で書かれているので、真偽の判断が容易ではない
ってことでしょ
で、RIMSは8年かけて査読して
「よろしいと思います。新聞記者の皆さま、証明は正しいと思ってもらって結構だ」とやったわけです
で、woitブログにショルツ氏登場となって、今日に至る
397:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 08:06:54 b0fzLo6k.net
私ら、ヤジウマ応援団ですよ
Jリーグの応援みたいなもので、みんなでエール送ったりしているのです
「RIMS、がんばれ!」みたいな(^^
398:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 08:14:21 b0fzLo6k.net
>>340
どうも、レスありがとう
>Sato-Tate予想という
>予想があってこれは数値計算で予想されたんだ
> URLリンク(en.wikipedia.org)
そうそう
で、多分、Sato-Tate予想の解決、みんな正しいと思っている(下記�
399:j 論文読まないでもねw(^^; https://ja.wikipedia.org/wiki/%E4%BD%90%E8%97%A4%E3%83%BB%E3%83%86%E3%82%A4%E3%83%88%E4%BA%88%E6%83%B3 佐藤・テイト予想 (抜粋) 証明と主張の進展 2006年3月18日、ハーバード大学のリチャード・テイラー(Richard Taylor)は、ローラン・クローゼル(英語版)(Laurent Clozel)やミカエル・ハリス(英語版)(Michael Harris)やニコラス・シェパード-バロン(英語版)(Nicholas Shepherd-Barron)との共同研究の結果として、ある条件を満たす総実体上の楕円曲線の佐藤・テイト予想の証明の最終段階を、彼のウェブページに掲載した。[4] それ以来、3つの論文のうち 2つが出版されている。[5] さらに、結果はアーサー・セルバーグの跡公式(英語版)(Arthur?Selberg trace formula)の形を改善する条件となっている。ハリスは、そのような予想されている跡公式から従う 2つの楕円曲線(同種ではない)の積から得られる結果の条件付き証明(英語版)(conditional proof)を得ている。[6] 2008年7月8日現在、リチャード・テイラーは、彼のウェブサイトへ論文(トーマス・バーネット-ラム(英語版)(Thomas Barnet-Lamb)、ダヴィッド・ゲラティ(英語版)(David Geraghty)とミカエル・ハリスの共著)を掲載していて、 そこではウェイトが 2 に等しいかまたは大きな任意の非CM正則モジュライ形式についての佐藤・テイト予想へ一般化されたヴァージョンを、直前の論文の本質的にはモジュラ性の結果を改善することで証明したと主張している。[7] 彼らはまた、跡公式に関係するいくつかの問題がミカエル・ハリスの「ブックプロジェクト」[8] と、Sug Woo Shin との共同研究により解決したと主張している。[9][10]
400:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 08:16:09 b0fzLo6k.net
>>356
>で、多分、Sato-Tate予想の解決、みんな正しいと思っている(下記)
>論文読まないでもねw(^^;
論文読む人は
・ギャップ見つけてやろう
・別証明できないかな
のどちらかの人じゃないかなw(^^;
401:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 09:19:25 b0fzLo6k.net
>>357
追加
もう一つ
論文読む人で
自分の研究に使えないか
というのがあるね
402:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 11:53:37 O66M8Xgn.net
メモ
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
(抜粋)
P1
Abstract. The present paper forms the fourth and final paper in a series
of papers concerning “inter-universal Teichm¨uller theory”. In the first three
papers of the series, we introduced and studied the theory surrounding the logtheta-lattice, a highly non-commutative two-dimensional diagram of “miniature
models of conventional scheme theory”, called Θ±ellNF-Hodge theaters, that were
associated, in the first paper of the series, to certain data, called initial Θ-data.
P67
Section 3: Inter-universal Formalism: the Language of Species
URLリンク(www.kurims.kyoto-u.ac.jp)
望月 感想・着想
(抜粋)
2008年06月11日
・組合せ論的カスプ化(前回04月09日の報告を参照)の論文が完成した
(論文を参照)。この論文では、properな双曲的曲線の場合、配置空間
の次元が2から1に下がるときの単射性は証明されていないが、論文が
完成した後で、星裕一郎氏との共同研究でこの単射性を証明することが
できそうになった。この共同研究が完成すると、松本氏の定理のproper
な場合への拡張ができたことになる。この展開で特に面白いと思うのは、
スキーム論の枠組に留まる限りとてもできそうな感じがしなかったproper
な場合が、スキーム論に「パターンのヒント」を得ながらスキーム論の
枠組の外にある組合せ論的な理論を適用することによってすんなり解決
できたこと。即ちこの展開は、正に「IU幾何の精神」の有効性のよい例に
なったと思う。
つづく
403:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 11:54:03 O66M8Xgn.net
>>359
つづき
組合せ論的カスプ化の論文では、GT(=Grothendieck-Teichmuller群)
に含まれる「対称性」が、(次元が下がったときの配置空間の幾何的
基本群の外部自己同型群の)全射性の証明では重要な役割を果たす。
最近、興味深いことに、このGT的対称性を使うことによって、p進局所体
上の絶対遠アーベル幾何において、初となる副pのGC(=Grothendieck
予想)型の定理を証明できることに気付いた。簡単な議論だが、そろそろ
IUTeichの論文の執筆を再開したいと思うので、いつ書くことになるか
分からない。
(引用終り)
404:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 11:57:48 O66M8Xgn.net
>>359 補足
1.上記で
”P67
Section 3: Inter-universal Formalism: the Language of Species”
が
「組合せ論的カスプ化(前回04月09日の報告を参照)の論文が完成した
星裕一郎氏との共同研究でこの単射性を証明することが
できそうになった。この共同研究が完成すると、松本氏の定理のproper
な場合への拡張ができたことになる。
スキーム論の枠組に留まる限りとてもできそうな感じがしなかったproper
な場合が、スキーム論に「パターンのヒント」を得ながらスキーム論の
枠組の外にある組合せ論的な理論を適用することによってすんなり解決
できたこと。」
とありまして
組合せ論的 スキーム論に「パターンのヒント」を得ながら
って話が、Formalism: the Language of Species かなと思うわけです
405:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 12:11:12 O66M8Xgn.net
>>361
思うに、ヤジウマとしては
IUT IVの
”P67
Section 3: Inter-universal Formalism: the Language of Species”
は、ちょっと面白なと思うわけ
つまり、望月IUTの山 9000m級を、IからIVと登ってきて
ようやく山頂に来て、ほっと一息
山頂から降り返ってみると
”Section 3: Inter-universal Formalism: the Language of Species”をちょっと書いてみようと思ったんだろうね
で、その後、IVのAbstractが、全体のまとめになっている気がする
なので、まずIVのAbstractと”P67 Section 3: Inter-universal Formalism: the Language of Species”を読むのが
お薦めと思う
IUT Iとか、嫁ねぇ~嫁ねぇ~w(^^
まだ、IVの方が読める
IVは、結構短いんだ P87でね、後半20ページくらい Section 3の一般解説
それに、 IVのIntroduction もお薦め
IUTの全体像がわかるかもね(^^
406:132人目の素数さん
20/04/25 12:44:59 c7aHnfTB.net
↑
類は友を呼ぶ
IUT語はサッパリわからん
407:132人目の素数さん
20/04/25 13:00:45 CaKI4UT9.net
>>342
英語ができるとカンチガイしているイタイおっさんなのかな?
category⇒キャテグリ(は?カテゴリでええやんけ)
vaccine⇒ヴァクシーン(日本語で書くならワクチンでええやんけ)
innovation⇒イノヴェイシュン(売春みてーだな)
game, mail, page, note⇒ゲィム,メィル,ペィジ,ノゥト(こじらせた厨房かよ)
ヘタクソな日本語訳で匙投げたよ。原文読んだほうがマシ。
impenetrable proof なんて「難解な証明」でいいのに「不可解な証明」だぜ。
なんだよ間違ってるのかよって思えるじゃん。
408:132人目の素数さん
20/04/25 13:11:08 hHlkMVye.net
ショルツ、ショルツェ
スティクス、スティフ
タイヒミュラー、タイヒミューラー
挙げればきりがない。
409:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 13:14:49 O66M8Xgn.net
>>363
どうも、レスありがとう
さて
(>>166より)
>ΘとかΘ±ell とか D-Θ±ell ってどう翻訳すればいいんだろうな?
とか聞かれて
>>170で回答したけど
IUTには、Θ±ellの説明がない
結局、山下サーベイ論文をみて分かったのだが、人に分からせようという書き方じゃないと思った(^^;
(URLリンク(www.kurims.kyoto-u.ac.jp)
A PROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita preprint. last updated on 8/July/2019.)
でも、考えてみると、IUT論文を5年くらいかけて、�
410:ル々と500ページ(いま600ページくらいに増えたらしい) 易しく書くと、もっとページ増えるし、易しく書くと プロには迷惑で、「分かり切ったことをぐだぐだ書くな」となるんだな でも、いまおそらく国内でIUT論文の分かる人が、15人くらいだろうか? 海外が同じくらいで、15人くらいか(数論の有名どころが少ないのが寂しいねw(^^; ) これからですよね
411:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 13:29:40 O66M8Xgn.net
>>364-365
同意です(^^
ヴィディオゥとか、キャテグリ理論とか
おいおいですけど
でもね、TARO-NISHINOの日記は、そういうお茶目なところは割り引くと
結構面白いのです。IUT以外の他の記事読んでみてあげて
IUTは、多分だめ。ヴィディオゥとか、キャテグリ理論とかと同じ勘違いしていると思うわw(^^;
URLリンク(taro-nishino.blogspot.com)
TARO-NISHINOの日記
識別の危機
3月 24, 2019
(抜粋)
Taylor Dupuyは背景の題材を扱うため2015年に映像ブログを始めた。
6か月の間に彼は問題の核心にあまり到着することなしに約36本のヴィディオゥを作った。
キャテグリ理論
そんな構造を厳密にする現代的方法がキャテグリ理論だ35。
412:現代数学の系譜 雑談
20/04/25 13:42:07.00 O66M8Xgn.net
>>364 補足
そうそう
それでね
英語が、「綴りと発音が違う」言語だ(下記)ということに気付いていないのですね、あのお方
で、綴りがこうだから、発音こうあるべしとか、笑えるw(^^;
(参考)
URLリンク(cardim.org)
カーディム英語タイムズ
なぜ英語の発音と綴りは違うのか 2018年9月21日
(抜粋)
発音は変化するのに綴りが変化できなくなってしまった
世界中の英語を学ぶ人が困っているのが、英語の発音と綴りが違うことです。困っているのは日本人だけではありません。
基本的に言語では、綴りと発音は1対1で対応しますが当然時には例外があります。しかし英語の場合、あまりに違うのです。当のネイティブですら困っていて、子供に発音を覚えさせるためにPhonics(フォニックス)という発音のルールをつくって子供に教えています。
日本でもそういった本が何冊か出ています。(アマゾンでフォニックスで検索してみて下さい)
実はそれでも発音の75%くらいしか網羅出来ていないのです。どんな単語が違っているかは検索すればいろんなサイトで紹介していますのでここでは触れません。
URLリンク(yaozo100.com)
yaozo100
英語の綴りと発音が違う3つの理由:堀田隆一先生の『はじめての英語史』より
2019年4月5日
英語の綴りと発音が違う3つの理由
理由1:学者が見栄をはりたかったから
理由2:フランスに征服されたから
理由3:トップダウンで決めなられかったから
1400年頃から標準語を作ろうという機運はありましたが、綴りの標準化に貢献するに十分権威のあるような辞書が刊行されたのは、なんと1755年のことでした。それまで、たとえば「through」という言葉には515通りの綴りがあったとのことですので、いかに綴りが多様だったかが推察されます。
標準化の土台になる辞書を獲得するまでに3世紀半もかかってしまったので、辞書で定められた綴りは、たまたまその時に(学者の間で)最もポピュラーだったものが、「惰性的に」採用されました。
そして運悪く、ちょうどそのころに印刷技術が発達したため
413:、この頃の綴りの定着に拍車がかかったことから、逆戻りが困難になってしまい今に至るというわけです。
414:現代数学の系譜 雑談
20/04/25 14:00:53.51 O66M8Xgn.net
>>364 さらに補足
日本語のカテゴリーは、ドイツ語由来で”Kategorie”です
それを知らないみたいですね(^^
URLリンク(www.musashi.jp)
ヨーロッパ比較文化学科 新田春夫 著
(抜粋)
この連載シリーズでは、身の回りのドイツ語をテーマに言葉と文化の面白さを紹介しています。
掲載回をクリックすると別ウインドウが開きます。
URLリンク(www.musashi.jp)
身の回りのドイツ語(7)-カテゴリー、ヒエラルヒー、メルクマール
(抜粋)
明治以降、私たちの先人は近代的な国民国家を建設するために、憲法、軍隊、医学、化学などの実際的な制度や知識をドイツからたくさん取り入れました。
しかし、それに限らず、音楽などの芸術と並んで、ゲーテやシラーなどの文学、カント、ヘーゲル、ニーチェなどの哲学思想、マルクスやマックス・ウエーバーなどの社会科学などから、自然科学や技術を生み出すもととなっている、人間や社会をもきちんと研究してきました。
物事はさまざまにグループ分けすることができます。例えば、人間であれば性によって男と女に、年齢によって大人と子供に、国籍によって日本人とドイツ人に、などのように分類されます。このそれぞれのグループがカテゴリーというわけです
英語ではcategoryですね。これも本来はギリシア語です。日本語では範疇という難しい漢語をあてています。このカテゴリーは階層関係をなしています。例えば、人間は犬などと並んで動物の下位概念であり、動物は植物と共に生物の下位概念です。この階層関係をヒエラルヒーと言います
これも本来はギリシア語で、ドイツ語ではHierarchie、英語でもhierarchyですから共通しています。しかし、英語はハイアラーキーと発音しますから、ヒエラルヒーという語はドイツ語から入ったということがわかります。
URLリンク(dictionary.sanseido-publ.co.jp)
三省堂 辞書ウェブ編集部による ことばの壺 10分でわかるカタカナ語
第21回 カテゴリー 筆者: 三省堂編修所
(抜粋)
もう少し詳しく教えて
カテゴリー((英) category,(ドイツ) Kategorie)とは、簡単に言えば「部類・分類・ジャンル」のことです
415:132人目の素数さん
20/04/25 14:02:48 9uH+9luc.net
>>368
>英語が、「綴りと発音が違う」言語だ(下記)ということに気付いていないのですね、あのお方
それは違うよ
NISHINOさんはカタカナでなるべく英語の正しい発音を再現しようとしてる
そもそも綴りから推測したせいで発音を間違って覚えてしまってるタイプのカタカナ英語は多い(againをアゲインと言ったり)
NISHINOさんがイタいのは既にカタカナ英語として定着している(発音としては不正確な)言葉を自己流のカタカナ英語で書き換えてるってところだね
翻訳ってのは何より読み手に通じることが第一なのに読みにくくしてどうする、って思うよw
416:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 14:12:58 O66M8Xgn.net
>>369
蛇足の蛇足
キャテグリ理論ね
昔、英国留学帰りの英語の教師がいて
発音で、英国ではこう、米国ではこう なんて
結構うるさく言われました
「キャテグリ」は、米国式だと思います(下記発音記号ご参照(文字化けすると思うので、興味ある方ご参照))
「キャテグリ理論」�
417:ネんて、”えっへん”して威張って、なんだか笑えます(^^; お茶目な、TARO-NISHINOの日記は、そういう目で見ると(”えっへん”して威張る)、また面白いです(^^ https://ejje.weblio.jp/content/category weblio categoryとは 意味・読み方・使い方 主な意味 範疇(はんちゆう)、カテゴリー、部門、区分、種類 発音記号・読み方 /k?a??g`??ri(米国英語), ?kat??g?:ri:(英国英語)/
418:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 14:16:42 O66M8Xgn.net
>>370
どうも
レスありがとう
>それは違うよ
>NISHINOさんはカタカナでなるべく英語の正しい発音を再現しようとしてる
ああ、そうなの?(^^
>NISHINOさんがイタいのは既にカタカナ英語として定着している(発音としては不正確な)言葉を自己流のカタカナ英語で書き換えてるってところだね
>翻訳ってのは何より読み手に通じることが第一なのに読みにくくしてどうする、って思うよw
同意
だから、昔というか今でも、定訳がない数学用語は、無理に日本語にせず、アルファベットの綴りのままで書くような数学解説多いですね
TARO-NISHINO先生、ちょっとね(^^
419:132人目の素数さん
20/04/25 14:37:14 sB6S66xo.net
NISHINOさんの経歴が気になってMathSciで調べてみたりググってみたりしたけど出てこないんだよなあ
偽名でないのなら大した数学者では無さそう
420:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 15:41:15 O66M8Xgn.net
>>373
どうも
レスありがとう
そうかも
偽名のような気がしてきた(^^;
421:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 16:11:35 O66M8Xgn.net
>>362 補足
IUT IV Section 3 お薦めと言った手前ご注意
グロタンディーク宇宙とか集合論拘りすぎと思う
スルーした方が良い
<グロタンディーク宇宙 at IUT IV>
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
(抜粋)
P68
On the other hand, by the axiom of foundation, there do not exist infinite descending chains of universes
V0 ∋ V1 ∋ V2 ∋ V3 ∋ ... ∋ Vn ∋ ...
? where n ranges over the natural numbers.
Bibliography
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the
Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
圏 (数学)
(抜粋)
圏の大きさ
圏 C が小さい (small) とは、対象の類 ob(C) および射の類 hom(C) がともに集合となる(つまり真の類でない)ときに言い、さもなくば大きい (large) と言う。射の類が集合とならずとも、任意の二対象 a, b ∈ ob(C) をとるごとに、射の類 hom(a, b) が集合となるならば(hom(a, b) を射集合、ホム集合などと呼び)、その圏は局所的に小さい (locally small) と言う[3]。
集合の圏など数学における重要な圏の多くは、小さくないとしても、少なくとも局所的に小さい。
文献によっては、局所的に小さい圏のみを扱い、それを単に圏と呼ぶ場合もある。
例
以下は圏の例である。Borceux (1994, Examples 1.2.5, Examples 1.2.6)参照。
・EtaleK - 体 K 上のエタール代数を対象とし、K-代数としての準同型を射とする。
・コボルディズム(英語版): ボルディズム(英語版) の双対であるコボルディズムは圏と見なせる。
<一覧表より>
2-圏 小さい圏の圏 Cat 全ての小さい圏 すべての函手 函手の合成 大きい 自然変換も考えると2-圏(英語版)の例となる
空間を圏で表す
(O, <=) が順序集合のとき、これを次のような圏 CO と同一視することができる
(引用終り)
以上
422:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/25 16:17:59 O66M8Xgn.net
>>375 補足の補足
>On the other hand, by the axiom of foundation, there do not exist infinite descending chains of universes
>V0 ∋ V1 ∋ V2 ∋ V3 ∋ ... ∋ Vn ∋ ...
ここ、普通は、the axiom of foundationは、集合の無限降下列をいう
”there do not exist infinite descending chains of universes”と、「universes�
423:vでいう意味が薄い (余計なシッタカでしょ) >Bibliography >[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the >Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969). 古い、古すぎる 確か、「2-圏」とかIUT中にあったけど、一覧表では 「大きい 自然変換も考えると2-圏(英語版)の例となる」 とあるから、「グロタンディーク宇宙」に拘る理由がない気がする 1969年 と2020年(今)とでは、時代が違いすぎる 今とでは、圏論のレベルと普及度が違いすぎると思う
424:現代数学の系譜 雑談
20/04/25 17:57:03.99 b0fzLo6k.net
下記ね、”This paper of Joshi”をこき下ろしているのだが
これ見て、Joshi さんが、「ごらぁ~!」と怒鳴り込んで、反論してバトルになって
それにショルツ先生も参加してバトルしてくれると、面白いね、ヤジウマとしてはw(^^;
<参考:本スレ Inter-universal geometry と ABC予想 51 より>
スレリンク(math板:202番)
202 名前:132人目の素数さん[] 投稿日:2020/04/25(土) 13:33:18.30 ID:nULhaJry
よくわからないけど、この人のコメントによると全然だめらしいね
URLリンク(www.math.columbia.edu)
Fierce Inertia says:
April 24, 2020 at 10:48 am
This paper of Joshi is remarkably unconvincing to me. If I may caricature it slightly, it seems to only contain the following types of results:
1. Statements of the form “(Thing X / Property Y) depends only on the absolute Galois group of a p-adic field.”
None of these are surprising or difficult: they all follow from basic class field theory or from the Jannsen-Wingberg theorem (which IS a difficult result, cf. here for a nice overview: URLリンク(www.numdam.org))
2. Statements of the form “(Thing X / Property Y) does not depend only on the absolute Galois group of a p-adic field.”
These are even less surprising, and they also follow from Jannsen-Wingberg, or from five seconds of thought.
3. Completely unmotivated results (e.g. Theorem 16.5, Theorem 22.6).
4. Vague suggestions that various things can be interpreted anabelomorphically.
What evidence is there here that this perspective of anabelomorphy is actually useful? What can you DO with it? The answer this paper seems to suggest is: nothing.
I am happy to be convinced otherwise.
(引用終り)
425:現代数学の系譜 雑談
20/04/25 18:14:19.48 b0fzLo6k.net
>>377補足
>Fierce Inertia says:
>None of these are surprising or difficult: they all follow from basic class field theory or from the Jannsen-Wingberg theorem (which IS a difficult result, cf. here for a nice overview: URLリンク(www.numdam.org))
引用のPDFは、JURGEN NEUKIRCHとあって、有名な”ノイキルヒ 内田”の人でしょ?(下記)
で、 (1982)ってのがね~w
Fierce Inertia のいうことにゃ、Joshi の書いてあることは、 (1982)と同じだと
それって、ショルツ先生が、IUTに対して行った誤読に似てるんじゃない?
つまり、勝手に単純化した解釈して、 (1982)JURGEN NEUKIRCHで終りって
「怒れ! Joshi!」って煽ったりして、聞こえないかw(^^;
URLリンク(www.numdam.org)
JURGEN NEUKIRCH The absolute Galois group of a p-adic number field Asterisque, 94 (1982)
URLリンク(en.wikipedia.org)
Neukirch?Uchida theorem
(抜粋)
In mathematics, the Neukirch?Uchida theorem shows that all problems about algebraic number fields can be reduced to problems about their absolute Galois groups. Jurgen Neukirch (1969) showed that two algebraic number fields with the same absolute Galois group are isomorphic,
and Koji Uchida (1976) strengthened this by proving Neukirch's conjecture that automorphisms of the algebraic number field correspond to outer automorphisms of its absolute Galois group.
Florian Pop (1990, 1994) extended the result to infinite fields that are finitely generated over prime fields.
The Neukirch?Uchida theorem is one of the foundational results of anabelian geometry, whose main theme is to reduce properties of geometric objects to properties of their fundamental groups, provided these fundamental groups are sufficiently non-abelian.
References
URLリンク(www.jstor.org)
Pop, Florian (1994), "On Grothendieck's conjecture of birational anabelian geometry" Annals of Mathematics