[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
490(3): 2022/04/23(土)11:41 ID:MU2asfqc(1/24) AAS
>>428 補足
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
この P3 （q-paramete）
Let N be a fixed natural number > 1. Then the issue of bounding a given nonnegative real number h ∈ R?0 may be understood as the issue of showing that N ・ h is
roughly equal to h, i.e.,
省16
491(2): 2022/04/23(土)11:42 ID:MU2asfqc(2/24) AAS
>>490
つづき
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
宇宙際タイヒミューラー理論への誘(いざな)い《レクチャーノート版》 望月新一 2015年 02月
P2
以下では、E = 楕円曲線/数体 F, 素数 1>＝5を固定する。
P3
省27
492(1): 2022/04/23(土)11:44 ID:MU2asfqc(3/24) AAS
>>491
つづき
3 楕円曲線と保型形式の関係
L 関数
いろいろなゼータ関数がある．楕円曲線の L 関数もその一種．
y2 = x3 + ax + b で定義される楕円曲線を E で表わす．各素数 p に対し，整数 ap(E)
を定義し，L 関数を
省14
493(1): 2022/04/23(土)11:45 ID:MU2asfqc(4/24) AAS
>>492
つづき
外部ﾘﾝｸ:ja.wikipedia.org
ノーム (数学)
数学の分野、特に楕円函数論において、ノーム (nome) とは、次式によって与えられる特殊函数のことである。
q=e^-π K'/K=e^iπ ω2/ω1=e^iπ/τ,
ここに K と iK ′ は1/4周期（英語版）(quarter period)であり、ω1 と ω2 は周期の基本ペア（英語版）(fundamental pair of periods)である。記号としては、1/4周期 K と iK ′ は通常、ヤコビの楕円函数(Jacobian elliptic functions)の文脈においてのみ用いられるが、1/2周期 ω1 と ω2 はヴァイエルシュトラスの楕円函数の文脈においてのみ用いられる。ω1 と ω2 を1/2周期というより全体の周期を表すために使うアポストル(Apostol)のような著者も居る。
省7
494: 2022/04/23(土)11:45 ID:MU2asfqc(5/24) AAS
>>493
つづき
外部ﾘﾝｸ:ja.wikipedia.org
谷山?志村予想
谷山・志村予想の内容
谷山・志村予想とは、任意の Q 上の楕円曲線は、ある整数 N に対する古典的モジュラー曲線（英語版）(classical modular curve)
X_0(N)
省12
495(2): 2022/04/23(土)12:57 ID:MU2asfqc(6/24) AAS
>>490
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
上記より下記引用
・Gaussian integral ∫ ∞ -∞ e-x2 dx = √π
・[archimedean and nonarchimedean] valuations
省12
496(1): 2022/04/23(土)12:57 ID:MU2asfqc(7/24) AAS
>>495
つづき
P7
§ 1.3. Introduction of identical but mutually alien copies
P12
§ 2. Changes of universe as arithmetic changes of coordinates
§ 2.1. The issue of bounding heights: the ABC and Szpiro Conjectures
省19
497(1): 2022/04/23(土)12:58 ID:MU2asfqc(8/24) AAS
>>496
つづき
In this context, we remark that it is also this state of affairs that gave rise to the term
“inter-universal”: That is to say, the notion of a “universe”, as well as the use of
multiple universes within the discussion of a single set-up in arithmetic geometry, already
occurs in the mathematics of the 1960’s, i.e., in the mathematics of Galois categories
and ´etale topoi associated to schemes. On the other hand, in this mathematics of the
省11
498: 2022/04/23(土)12:58 ID:MU2asfqc(9/24) AAS
>>497
つづき
That is to say, it is precisely this sort of situation that is referred to by the term
“inter-universal”. Put another way,
a change of universe may be thought of [cf. the discussion of §2.7, (i)] as
a sort of abstract/combinatorial/arithmetic version of the classical notion
of a “change of coordinates”.
省6
499: 2022/04/23(土)16:00 AAS
まーた、下げマスが「わけもわからずコピペ病」を発症したかｗ
500: 2022/04/23(土)16:01 AAS
円も分からん馬鹿に楕円曲線がわかるわけないだろ ドアフォ
501: 2022/04/23(土)16:02 AAS
ということで全部洗い流すｗ
502: 2022/04/23(土)16:03 AAS
ニホンザルのηはいったい何がしたいんだかｗ
503: 2022/04/23(土)16:04 AAS
ああ、それから今後ニホンザルの下げマスを”η”の一文字で表す
504: 2022/04/23(土)16:05 AAS
なんでηかは・・・お察しくださいｗ
外部ﾘﾝｸ:ja.wikipedia.org
505: 2022/04/23(土)16:11 AAS
ηはこれ読んどけ
外部ﾘﾝｸ:toyokeizai.net
506: 2022/04/23(土)16:12 AAS
数学好きな大学生や生徒が数学に興味・関心を示すのは、
「なぜそのような性質がいえるのか」というプロセスや、
「そのような応用例もあるとは不思議だ」という楽しい応用話である。
したがって、質問は「どうしてこれが成り立つのですか」という部分に集中する。
507: 2022/04/23(土)16:14 AAS
＊＊大学の学生は心掛けがすばらしく、授業態度はかなり良い。
その一方で、数学の学び方が小学生の頃から間違っていたと思われる学生が少なくない。
すなわち、なんでも理解せずに暗記に頼る学習である。
508: 2022/04/23(土)16:15 AAS
多項式の微分と積分の計算はできる学生に、
「AグループまたはBグループに所属する学生の人数は、
『Aの人数＋Bの人数−AかつBの人数』だから……」と話すと、
「それって暗記した記憶はありませんが、暗記するものですか」
と質問する。
509: 2022/04/23(土)16:16 AAS
等式の右辺にある項を左辺に移す移項に関して、
「両辺に−aを加えるから、右辺にあるaを左辺に移すとマイナスが付く」と説明すると、
「初めて移項の意味がわかりました。そうすればよいと単に暗記していました」と答える。
510: 2022/04/23(土)16:17 AAS
かけ算の筆算に関して、
「10の位の数をかけるから1つずらして書いて、
100の位の数をかけるから、さらに1つずらして書く。
本当は10の位の数をかけるときは最後の0を省略しないほうがよいかもしれない。
同様に、100の位の数をかけるときは最後の00を省略しないほうがよいかもしれない。
なぜ3桁同士のかけ算の学習が必要かと言えば、
ドミノ倒しやボックスティシュのように、帰納的に次々と続く性質の理解には
省2
511: 2022/04/23(土)16:20 AAS
学生からの感想文も以下のように興味深いものが多く寄せられる。
・数学で答えがわからないとき、すぐに答えを見てうつすという行為をしていたが、
そんなことは意味がなく、考えるということの重要性を学んだ。
・授業では、相手を理解させているかどうかがとても重要なのだと感じた。
・考えることの重要さや勉強のやり方など、ずっと頭に入れておきたいことばかりだった。
自分に子どもができたら絶対にこの話をして、考える子どもになってほしいと思った。
・なぜ、このような公式ができるのかなど、根本から学ぶことができた。
省7
512: 2022/04/23(土)16:22 AAS
算数・数学の内容を理解することには、個人差がかなり大きい。
ゆっくり理解しても何ら問題はないはずだ。
それにもかかわらず、ゆっくり理解する生徒には、
早々と暗記だけの学びを仕向ける教育が
蔓延していることは残念でならない。
日本の将来を考えて、きめ細かい算数・数学教育ができるように
対策を講じてもらいたい。
513(1): 2022/04/23(土)16:51 ID:WyXtOS+D(1/3) AAS
こんなとこで書くより啓蒙書を書かないと数学者なら
514(1): 2022/04/23(土)17:00 ID:iiOb+SCx(1) AAS
素人のための啓蒙書なんぞどうでもいい
数学者は論文書いてりゃそれでいい
515(2): 2022/04/23(土)17:42 ID:MU2asfqc(10/24) AAS
>>513-514
ゴルフとかテニスとか
どこの世界でも
トーナメントプロ（数学なら先端研究系）とレッスンプロ（大学生教育系）がいるもの
（スポーツでは、プロにコーチするプロもいるけどね。大坂 なおみのコーチとか）
少なくとも
何かできないとね
省2
516: 2022/04/23(土)17:42 ID:gsIMRKOc(1) AAS
RCS-IUT is indeed a meaningless and absurd theory that leads immediately
to a contradiction.
R(冗長)C(コピー)S(セタ) is indeed a meaningless and absurd ...
517: 2022/04/23(土)17:54 ID:lgv7EtHh(1) AAS
>>485
書いた望月が説明してんのに、査読者がしゃしゃりでるわけねえだろうが。バカなのか。
518: 2022/04/23(土)17:56 ID:KknOOQbN(1) AAS
>>485
論文の査読者というのは、読んで論理的に正しいと判断して通すのよ。
出てこようとこないと、わかってると自己認識してんの。できなきゃ通さない。
519(1): 2022/04/23(土)18:48 ID:/yT+od0X(1) AAS
ショルツやファルティングスさえ理解できない証明を
RIMSの査読者は理解しているというのは不自然。
520: 2022/04/23(土)19:00 ID:ipxut/a4(1/2) AAS
秀才的業績はその人の存命中に高い評価を得てその時代に歓迎される。
天才的業績はその人の存命中には陽の目を見ない。時代を先取りしすぎている。
秀才は時代の落とし子だが、天才は時代を超越した神の才能。
521(2): 2022/04/23(土)19:02 ID:ipxut/a4(2/2) AAS
虚数も長い間その時代の著名な数学者から否定的裁定を下された
虐げられた歴史を過去に持つんじゃなかったか。
522: 2022/04/23(土)19:06 ID:WyXtOS+D(2/3) AAS
>>521
近代数学の黎明期と比較しちゃ駄目
523: 2022/04/23(土)19:07 ID:rBQVUUly(1) AAS
>>515
なんで他の数学者がrimsのためにひと肌ぬぐ必要がある？
そんな必要全くないわ
アホか
524: 2022/04/23(土)19:16 ID:xagoP+7z(1) AAS
地動説なんて2000年も虐げられてたのに、
モッチーはたったの10年
525(1): sage 2022/04/23(土)19:45 ID:ZEV+akYc(1) AAS
>>521
＞虚数も長い間その時代の著名な数学者から否定的裁定を下された
Ｘ^2＝−１の逆関数だよね。
充満多重同型が否定的裁定を下されたのだよね。
IUT原論文の定義「ある(通常空でない)集合」⇒RCSは空
復元と逆関数は共に「逆だから」揉めるってか。
526: 2022/04/23(土)19:54 ID:WyXtOS+D(3/3) AAS
ORではなくANDである、つまり微妙な関係で宇宙や乗法ー加法は繋がっていると
あくまで主張であるが
527(6): 2022/04/23(土)20:45 ID:MU2asfqc(11/24) AAS
>>495 追加
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
＜”宇宙”について＞
これ、望月氏の 宇宙 ”relationships between universes”の説明が、下記にあるけど
結構独特で、世間的には、ちょっとズレている気がする。「複数の宇宙の使用は、1960年代の数学」（下記）とかね
省4
528(1): 2022/04/23(土)20:46 ID:MU2asfqc(12/24) AAS
>>527
つづき
＜下記に対訳を作ってみた＞
＜原文＞
P27
§ 2.10. Inter-universality: changes of universe as changes of coordinates
One fundamental aspect of the links [cf. the discussion of §2.7, (i)] ? namely, the Θ-link and log-link ? that occur in inter-universal Teichm¨uller theory is their incompatibility with the ring structures of the rings and schemes that appear in their domains and codomains.
省3
529(1): 2022/04/23(土)20:46 ID:MU2asfqc(13/24) AAS
>>528
つづき
＜google訳＞
P27
§2.10。 宇宙際：座標の変化としての宇宙の変化
リンクの1つの基本的な側面[cf. §2.7、（i）]の議論、つまり、宇宙際タイヒミュラー理論で発生するΘリンクとログリンクは、それらのdomains and codomainsとに現れるリングとスキームのリング構造との非互換性です。
特に、ガロア群[またはエタール基本群]のような「エタールのような構造」をそのようなリンクを介して輸送した結果を考えると[cf. §2.7、（iii）]の議論では、あるリング[または体]構造の自己同形群としてのそのようなガロア群の解釈を放棄しなければなりません[cf. [AbsTopIII]、備考3.7.7、（i）; [IUTchIV]、備考3.6.2、3.6.3]、つまり、そのようなガロア群は、ガロア群との関係から生じる「ラベリング構造」を備えていない抽象的な位相群と見なす必要があります。
省4
530(1): 2022/04/23(土)20:47 ID:MU2asfqc(14/24) AAS
>>529
つづき
＜原文＞
In this context, we remark that it is also this state of affairs that gave rise to the term “inter-universal”:
That is to say, the notion of a “universe”, as well as the use of multiple universes within the discussion of a single set-up in arithmetic geometry, already occurs in the mathematics of the 1960’s, i.e., in the mathematics of Galois categories and ´etale topoi associated to schemes.
On the other hand, in this mathematics of the Grothendieck school, typically one only considers relationships between universes
- i.e., between labelling apparatuses for sets - that are induced by morphisms of schemes,
省7
531(1): 2022/04/23(土)20:47 ID:MU2asfqc(15/24) AAS
>>530
つづき
＜google訳＞
これに関連して、「宇宙際」という用語を生み出したのもこの状況であることに注意してください:
つまり、「宇宙」の概念、および数論幾何学の単一のセットアップの議論内での複数の宇宙の使用は、1960年代の数学、つまりガロアの数学ですでに発生しています。スキームに関連付けられたカテゴリと「古いトポス」。
一方、グロタンディーク派のこの数学では、通常、宇宙間の関係のみを考慮します。
-つまり、スキームの射によって誘発されるセットのラベリング装置間-
省7
532(1): 2022/04/23(土)20:48 ID:MU2asfqc(16/24) AAS
>>531
つづき
＜原文＞
That is to say, it is precisely this sort of situation that is referred to by the term “inter-universal”.
Put another way, a change of universe may be thought of [cf. the discussion of §2.7, (i)] as a sort of abstract/combinatorial/arithmetic version of the classical notion of a “change of coordinates”.
In this context, it is perhaps of interest to observe that, from a purely classical point of view, the notion of a [physical] “universe” was typically visualized as a copy of Euclidean three-space.
Thus, from this classical point of view, a “change of universe” literally corresponds to a “classical change of the coordinate system - i.e., the labelling apparatus - applied to label points in Euclidean three-space”!
省6
533(1): 2022/04/23(土)20:49 ID:MU2asfqc(17/24) AAS
>>532
つづき
＜原文＞
Indeed, from an even more elementary point of view, perhaps the simplest example of the essential phenomenon under consideration here is the following purely combinatorial phenomenon: Consider the string of symbols
010
? i.e., where “0” and “1” are to be understood as formal symbols.
Then, from the point of view of the length two substring 01 on the left, the digit “1” of this substring may be specified by means of its “coordinate relative to this substring”, namely, as the symbol to the far right of the substring 01. In a similar vein, from the point of view of the length two substring 10 on the right, the digit “1” of this substring may be specified by means of its “coordinate relative to this substring”, namely, as the symbol to the far left of the substring 10.
省2
534(1): 2022/04/23(土)20:50 ID:MU2asfqc(18/24) AAS
>>533
つづき
＜google訳＞
確かに、さらに基本的な観点から、ここで検討されている本質的な現象のおそらく最も単純な例は、次の純粋な組み合わせ現象です。記号の文字列を検討してください。
010
?つまり、「0」と「1」は正式な記号として理解されます。
次に、左側の長さ2の部分文字列01の観点から、この部分文字列の数字「1」は、その「この部分文字列に対する座標」によって、つまり、の右端の記号として指定できます。部分文字列01。同様に、右側の長さ2の部分文字列10の観点から、この部分文字列の数字「1」は、その「この部分文字列に対する座標」、つまり次のように指定できます。サブストリング10の左端にある記号。
省2
535(1): 2022/04/23(土)20:51 ID:MU2asfqc(19/24) AAS
>>534
つづき
外部ﾘﾝｸ:ja.wikipedia.org
強制法
強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。
直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。
省6
536: 2022/04/23(土)20:51 ID:MU2asfqc(20/24) AAS
>>535
つづき
外部ﾘﾝｸ:ja.wikipedia.org
圏 (数学)
圏の大きさ
圏 C が小さい (small) とは、対象の類 ob(C) および射の類 hom(C) がともに集合となる（つまり真の類でない）ときに言い、さもなくば大きい (large) と言う。射の類が集合とならずとも、任意の二対象 a, b ∈ ob(C) をとるごとに、射の類 hom(a, b) が集合となるならば（hom(a, b) を射集合、ホム集合などと呼び）、その圏は局所的に小さい (locally small) と言う[3]。集合の圏など数学における重要な圏の多くは、小さくないとしても、少なくとも局所的に小さい。
文献によっては、局所的に小さい圏のみを扱い、それを単に圏と呼ぶ場合もある[4][5]。
省2
537(2): 2022/04/23(土)20:56 ID:Ps5+A8/C(1) AAS
こんなコピペ地獄はうんざりという方は通常スレにてお願いします
538(2): 2022/04/23(土)20:59 ID:MU2asfqc(21/24) AAS
>>527 補足
いまどきの普通の圏論の教科書を読んだ人が
”宇宙”とか言われると
違和感あると思うな
まあ”16歳でプリンストン大学へ進学、19歳で学士課程を卒業（次席）[7]。23歳で博士課程を修了しPh.D.を取得[2]。
日本へ帰国後は京都大学に採用され、助手（23歳）、同助教授（27歳）を経て、同教授（32歳）に昇任[2]。” 外部ﾘﾝｸ:ja.wikipedia.org
だと、凡人とは勉強の仕方が違う気がする
省3
539(1): 2022/04/23(土)21:00 ID:MU2asfqc(22/24) AAS
>>537
おまえも、あっちへ池ｗ
540(1): 2022/04/23(土)21:11 ID:MU2asfqc(23/24) AAS
5ｃｈで、ウンザリするのは
ちょっと長いと、長文だとがうるさいやつがいる
”コピペ地獄”だぁ？
（>>527）
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
省9
541: 2022/04/23(土)21:14 ID:shYw/6kL(1) AAS
>>519
んなのいっぱいあるじゃん。量子力学なんてアインシュタインは死ぬまで受け入れなかったし。
542: sage 2022/04/23(土)21:16 ID:QsI5QJEc(1) AAS
>>525
＞復元と逆関数は共に「逆だから」揉めるってか。
「逆」だからで揉めるのでななく、ー１とか逆関数にすると論議が百出する
ー１のような【扱ってはいけない対象」だから。これを逆にしたから、「充満多重同型」の定義で否定された？
543(2): 2022/04/23(土)22:02 ID:MU2asfqc(24/24) AAS
＜そもそも>>5より再録＞
スレ46 2chｽﾚ:math
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
省20
544(1): 2022/04/23(土)23:11 ID:BYr22/q6(1) AAS
お前がな
>>よそのスレ996
545: 2022/04/24(日)01:33 ID:ylhdhIwh(1) AAS
同値関係や行列の正則すら理解できないmath jinスレならコピペ地獄wで
大暴れしかないだろうよ
546(1): 2022/04/24(日)08:00 ID:/7dcPctj(1/16) AAS
>>538 補足
>いまどきの普通の圏論の教科書を読んだ人が
>”宇宙”とか言われると
>違和感あると思うな
下記のベーシック圏論 Leinsterに、”宇宙”が2箇所出てくる
外部ﾘﾝｸ:www.maruzen-publishing.co.jp
ベーシック圏論 普遍性からの速習コース
省13
547: 2022/04/24(日)08:00 ID:/7dcPctj(2/16) AAS
>>546
つづき
P168 (toposの説明で、‘universe of sets’と使っている)
For instance, a topos can be regarded as a ‘universe of sets’: Set is the most
basic example of a topos, and every topos shares enough features with Set that
one can reason with its objects as if they were sets of some exotic kind. On the
other hand, a topos can be regarded as a generalized topological space: every
省12
548(1): 2022/04/24(日)08:08 ID:B58pvhrO(1/11) AAS
MU2asfqc=/7dcPctj氏へ
系の違いにも全く気付かずに
「Z^もR/Zも同じ"逆極限"だから両者は同値」
とか言っちゃう考えなしの人が
漫然とコピペしても全然意味ないんですよ
2chｽﾚ:math
549(2): 2022/04/24(日)08:23 ID:/7dcPctj(3/16) AAS
>>544
>>>よそのスレ996
ありがと
見たよ >>よそのスレ996
面白いな
”もっちーの「心壁論」”や”ルペンに投票しそう”とか
”ショルツも他の数学者もみんなが求めているのは
省22
550(1): 2022/04/24(日)08:23 ID:B58pvhrO(2/11) AAS
>>543
数学でも「不備」な論文はいくらもありますよ
例えばケプラー予想を解決したとするシアン氏の論文等
外部ﾘﾝｸ:ja.wikipedia.org
「1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。
この成果は「エンサイクロペディア・ブリタニカ」および「サイエンス」誌で
好意的に取り上げられ、シアンはAMS-MAAジョイントミーティングに
省15
551: 2022/04/24(日)08:24 ID:/7dcPctj(4/16) AAS
>>548
書いていないことについて
勝手な妄想で、因縁つけるとは
５ｃｈ 妄想ヤクザさん？ｗ
書いてあること以上ではありませんので、悪しからずｗ
552(1): 2022/04/24(日)08:27 ID:B58pvhrO(3/11) AAS
>>549
そもそもなぜ「IUTは正しい」と前提するのか分かりませんね
理解されてないものを「正しい」と思う理由がありません
それが普通の視点ですよ
私も日本人ですが、同じ日本人の書いた論文だから
全面支持しなければならないなんて全く思わないですよ
所詮他人ですから
省2
553: 2022/04/24(日)08:45 ID:B58pvhrO(4/11) AAS
/7dcPctj氏は Z^＝R/Zだとか吠える前に、
系における射の定義を正確に理解する必要がある
それだけで初歩の誤りを防げる
554(1): 2022/04/24(日)09:06 ID:/7dcPctj(5/16) AAS
>>550
>例えばケプラー予想を解決したとするシアン氏の論文等
>外部ﾘﾝｸ:ja.wikipedia.org
>「1990年にウ＝イ・シアン（項武義）はケプラー予想を証明したと発表した。
>招待される栄誉を得た。シアンの主張は幾何学的な手法でケプラー予想を証明した
> というものだった。
> しかしながら、ガボル・フェイェシュ＝トート（ラースローの息子）は論文のレビューで
省10
555(2): 2022/04/24(日)09:07 ID:/7dcPctj(6/16) AAS
>>554
つづき
2005年、ヘイルズは100ページの論文で、証明の中でコンピュータを用いない部分を詳述した[11]。ファーガソンとの共著による2006年の論文および数篇の続報ではコンピュータによる部分を報告した[12]。2009年にヘイルズとファーガソンは離散数学の分野の優れた論文に対して贈られるファルカーソン賞を受賞した。
(引用終り)
つまり、1953年にラースロー・フェイェシュ＝トートが、しらみつぶし法による証明が原理的に可能だということを示した
1990年のウ＝イ・シアン（項武義）のケプラー予想を証明した（ここにはギャップあり）との発表を受けて
ヘイルズ氏が、1992年から始めて 2009年に、ファルカーソン賞を受賞した
省15
556: 2022/04/24(日)09:57 ID:B58pvhrO(5/11) AAS
>>555
>必死に望月IUTをディスる
それは被害妄想ですね
むしろあなたが必死で「望月IUTが正しい」と宣伝するのが痛々しいです
なんで素人が訳も分からずそんなことに必死になるのでしょうか？
>”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
>オカ、シムラ、モチヅキ”
省3
557(2): 2022/04/24(日)10:02 ID:B58pvhrO(6/11) AAS
>>555
>望月IUTを認める同じ専門の他の数学者、名前は
>昨年の4回のIUT国際会議と Promenade in IUTの
>講師の人たちですよ （単なる参加者でなく）
「単なる参加者でなく」と必死に訴えるのも痛々しいですね
今年のICMで望月新一氏に何の賞もでないどころか
基調講演等で全く取り上げられなかったら
省2
558(3): 2022/04/24(日)10:13 ID:/7dcPctj(7/16) AAS
>>527 追加
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Mutually Alien Copies に関連しそうなところを、下記に引用すると
1）N ・ h “=〜” h N be a fixed natural number > 1
2）qN “=〜” q
省19
559: 2022/04/24(日)10:14 ID:/7dcPctj(8/16) AAS
>>558
つづき
In order to verify the approximate relation qN “=〜” q, one begins by introducing
two distinct - i.e., two “mutually alien” - copies of the conventional scheme
theory surrounding the given initial Θ-data. Here, the intended sense of the descriptive
“alien” is that of its original Latin root, i.e., a sense of
abstract, tautological “otherness”.
省19
560: 2022/04/24(日)10:14 ID:/7dcPctj(9/16) AAS
>>558 追加の追加
因みに、” the familiar Galois module “Z＾(1)””とか合ったので下記を引用しておきます
(引用開始)
P17
§ 2.6. Positive characteristic model for mono-anabelian transport
In this example, Galois
groups, or ´etale fundamental groups, in some sense play the role that is played
省11
561(1): 2022/04/24(日)10:33 ID:/7dcPctj(10/16) AAS
>>557
>今年のICMで望月新一氏に何の賞もでないどころか
>基調講演等で全く取り上げられなかったら
>それが今の数学界におけるIUT理論の評価
>だと気づきましょう
ほらほら
必死で、IUTをディスる姿が滑稽ですよ
省12
562(1): 2022/04/24(日)11:28 ID:LmbsoJPA(1) AAS
ちょっとはマシな事書くようになったかとも思ったがやっぱりどこまで行ってもセタはセタやな
結局元に戻る
高木も松坂君もおんなじ
563: 2022/04/24(日)11:29 ID:B58pvhrO(7/11) AAS
>>561
＞IUT支持者は、間違いなく増えています
やれやれ
必死で、IUTにすがる姿が痛々しい
結果的には間違ってるものが、
学問とは全く別の動機で
素人に異常な支持を受ける現象は多々ある
省18
564(2): sage 2022/04/24(日)12:45 ID:FFIR0VtK(1) AAS
ショルツェはZb-Mathの、査読が無いレビューで批判するなら、
NHKのインタビューに答えるべきだね。
心無いネットの書き込みは、査読が通った2020年に盛んだったと思うが、
2018年の京都のやりとりの事を、2021年のZb-Mathの批判レビュー書いたなら、
そんな理由は、時系列での行為から、浅薄な言い訳だと分かる。
心無いネットの書き込みが盛んな時に、査読でチェックされないレビューで意見を投稿して、
映像で記録されてしまうTVのインタビューで、意見を述べるのを避けた、と思われるよ。
省2
565: 2022/04/24(日)13:36 AAS
>>564
レビューに査読が必要って、アホ？
数学者が誰も理解できない望月の”反論”に再反論しろって、アホ？
日本人ならどんなヤツでも全面支持するネトウヨニホンザルの貴様って、ドアホ？
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
566: 2022/04/24(日)13:41 AAS
>>562
＞どこまで行ってもセタはセタやな
＞結局元に戻る
ηの主張って
「ボクちゃん賢い」
「日本人はスバラシイ」
の２つしかないからな
省3
567(7): 2022/04/24(日)14:12 ID:w4K+s4Bs(1/2) AAS
Math Reviews誌が、
英エクスター大教授モハメド・サイディのレビューで、
宇宙際タイヒミュラー理論の系3.11を肯定する書評を掲載したって。
American Mathematical Societyだね。
568(1): 2022/04/24(日)14:49 ID:/7dcPctj(11/16) AAS
>>558 追加
> 3）“alien” is that of its original Latin root, i.e., a sense of abstract, tautological “otherness”.
>とか、そのまま読むと、望月ワールド全開で、NHKスペシャル見ているから「同じものを別と見て、かつ同一視する」でしたか、ああこのことかと思いました
>普通に読むと、読めないでしょうね
下記 フェセンコサーベイ （星の遠アーベル幾何学の進展 数学 vol74-No1 に紹介されている 文献の[6]）
を読んでいる
”such gluing isomorphisms by applying various tautological Galois-equivariance properties of such gluing isomorphisms ”
省15
569: 2022/04/24(日)15:38 ID:B58pvhrO(8/11) AAS
>>568
>直接IUTの論文を読むと、あまりの奇想天外の発想についていけず
もしそうなら、それは著者の書き方が悪いのであって
読者の読み方が悪いというのは、言い訳にもなりませんね
>自分なりの独自解釈をしてしまいそうですね
どう解釈するか全く書かれていなければ
独自解釈するしかありませんね
省8
570(1): 2022/04/24(日)15:40 ID:B58pvhrO(9/11) AAS
>>567
やはり、IUT論文を”査読”したのはSaidi氏のようですね
でも彼は系3.12の証明を全く理解できてないでしょう
説明できないんですから
上下前次1-新書関写板覧索設栞歴
あと 432 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s