[過去ログ]
IUTを読むための用語集資料集スレ (1002レス)
IUTを読むための用語集資料集スレ http://rio2016.5ch.net/test/read.cgi/math/1592654877/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
4: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/06/20(土) 21:10:54.66 ID:OXXW5633 つづき 下記の PDF 数学の超難問「ABC予想」とは? 別冊Newton「数学の世界」 増補第3版 168 - 171 2019年11月 協力 小山信也 執筆 山田久美 これ分かり易いな 必見ですね(^^ https://researchmap.jp/koyama researchmap 小山 信也 コヤマ シンヤ (Shin'ya Koyama) https://researchmap.jp/koyama/avatar.JPG https://researchmap.jp/koyama/misc/21300350/attachment_file.pdf 数学の超難問「ABC予想」とは? 別冊Newton「数学の世界」 増補第3版 168 - 171 2019年11月 協力 小山信也 執筆 山田久美 https://arxiv.org/pdf/2004.13108.pdf PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI’S COROLLARY 3.12 TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020. P14 Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what follows: P15 (2) We would like to point out that the diagram on page 10 of [SS17] is very similar to the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which Scholze and Stix were reading while preparing [SS17]. References [SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 ( http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html ) [Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2 つづく http://rio2016.5ch.net/test/read.cgi/math/1592654877/4
51: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/06/27(土) 23:01:24.66 ID:jEjJjPRO ”Teichmuller space” 良く纏まっている https://en.wikipedia.org/wiki/Teichm%C3%BCller_space Teichmuller space The geometric vein in the study of Teichmuller space was revived following the work of William Thurston in the late seventies, who introduced a geometric compactification which he used in his study of the mapping class group of a surface. Other more combinatorial objects associated to this group (in particular the curve complex) have also been related to Teichmuller space, and this is a very active subject of research in geometric group theory. Quadratic differentials and the Bers embedding Main article: Schwarzian derivative Main article: Bers slice https://upload.wikimedia.org/wikipedia/commons/thumb/7/71/Bers-Einbettung.png/220px-Bers-Einbettung.png Image of the Bers embedding of a punctured torus' 2-dimensional Teichmuller space https://en.wikipedia.org/wiki/Moduli_of_algebraic_curves Moduli of algebraic curves つづく http://rio2016.5ch.net/test/read.cgi/math/1592654877/51
172: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/07/18(土) 13:03:06.66 ID:ywyns0bH >>167 訂正 [29] L. Dieulefait, N. Freitas, Base change for elliptic curves over real quadratic fields. Comptes Rendus Mathematique 353.1 (2015): 1-4. ↓ [28] F. Diamond, K. Kramer, Modularity of a family of elliptic curves. Math. Res. Lett. 2 (1995), no. 3, 299-304. 追加 See [28] for a detailed analysis of the local invariants at p = 2 (possibly after twisting Ea,b,c by -1). ↓ これですね https://www.intlpress.com/site/pub/files/_fulltext/journals/mrl/1995/0002/0003/MRL-1995-0002-0003-a006.pdf Mathematical Research Letters 2, 299?304 (1995) MODULARITY OF A FAMILY OF ELLIPTIC CURVES Fred Diamond and Kenneth Kramer http://rio2016.5ch.net/test/read.cgi/math/1592654877/172
180: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/07/19(日) 09:47:59.66 ID:2Y0qBKwb >>179 つづき ; later he has refined this result and shown that K may be recovered from the topological group GK and one Lubin-Tate character of GK (see [14] and [20]). On the other hand, given a padic field K1, the Jarden-Ritter Theorem (see [8]) provides a characterization of all p-adic fields K2 such that one has a topological isomorphism GK2 ' GK1 of their absolute Galois groups and it is well-known that for every prime p, pairs of fields with this property always exists. Mochizuki’s anabelian reconstruction yoga (see [22] and its references) provides, starting with the topological group G ' GK, the reconstruction amphora of G (see [6, 5, 7, 20, 21, 22] and its references for the contents of the reconstruction amphora; in [9] I introduced this term as a convenient short-form and memory-aid) which contains all quantities related to K which are reconstructed from the topological group G such as the prime p, the topological monoids O^*K (the group of units of the ring of integers OK of K) and OΔK the multiplicative monoid of non-zero elements of OK (this notation is due to Mochizuki). However the ring OK is not contained in the reconstruction amphora of G. Moreover Mochizuki’s Reconstruction yoga also asserts that if one has an isomorphism of topological groups GK1 〜= GK2 then an isomorphism of the topological monoids OΔK1 〜= OΔK2 may also be reconstructed from it (see [6, Section 2]). つづく http://rio2016.5ch.net/test/read.cgi/math/1592654877/180
217: 132人目の素数さん [sage] 2020/07/24(金) 10:25:16.66 ID:QgoXPfdi 正当性を認めた査読者は、Cor 3.12の証明も正当だと認めるだけの力があるわけだから、Cor 3.12を証明したレポートでも出せばいいのにね なぜ出せないんだろうな? http://rio2016.5ch.net/test/read.cgi/math/1592654877/217
303: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/07/31(金) 18:04:56.66 ID:Trt2z5f1 レーヴェンハイム?スコーレムの定理 「定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。」 https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム?スコーレムの定理 (抜粋) レーヴェンハイム?スコーレムの定理(英: Lowenheim?Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。 定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。 http://rio2016.5ch.net/test/read.cgi/math/1592654877/303
365: 粋蕎 ◆C2UdlLHDRI [sage] 2020/08/06(木) 12:53:38.66 ID:JURrboNy >>362 > 1.まずさ、普通の実数R(スタンダード)と、それを拡張して、無限小の存在を認めた超実数 *R(又は 準超実数、超現実数)(ノンスタ(超準))があるってことを認めなさいよ とうの昔に安達翁以外は認めてるが。瀬田氏こそ順序体で 0.999…≠1 成る系は超現実数のみである事を認めたらどうじゃ? 何じゃ瀬田氏は結局、安達翁も安達翁以外も舐め腐り切っとるのか。 http://rio2016.5ch.net/test/read.cgi/math/1592654877/365
495: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/08/24(月) 18:49:40.66 ID:rNo847jr おっさん、スレ違いだよ 細かい話は、別スレでやってくれ おれは興味ないんだよね、それ それに、ここは、IUTスレだよ なお、安達スレには、適当に殴り込み掛けるからね 悪しからずww(^^; http://rio2016.5ch.net/test/read.cgi/math/1592654877/495
529: 粋蕎 ◆C2UdlLHDRI [sage] 2020/09/01(火) 20:13:25.66 ID:Hbfzk2ue しもた、瀬田氏意固地レス>>499は 猿MaraオナホしごきPapiyas一石第六天(=他化自在天)魔王の追認レス>>508-510の前じゃった 記憶退行の今更苦言喚きを晒したorz http://rio2016.5ch.net/test/read.cgi/math/1592654877/529
794: 132人目の素数さん [sage] 2020/11/07(土) 22:45:02.66 ID:zpeR/n4w >>791 > 1, 2,・・, n,・・, ∞ > ↓↑ > π1,π2,・・,πn,・・,π∞=π >こういう一対一対応になるよね >下のπの(無限)コーシー列が可能なら >その上の無限自然数列 ”1, 2,・・, n,・・, ∞”も可能だよ それ・・・∈列にならないですよ ∞のすぐ左の項・・・ないですよね? ∞をNと書き換えたいんですよね? で、そのとき「∈N」の左に、何も書けないですよね? それじゃ、∈列じゃないですよね? 考えて書いてます? 考えずに漫然と書いてます? 書く前に考えませんか? 考えると頭が痛くなりますか? もし考えると頭が痛くなるなら、数学向いてないから諦めませんか? 考えずにできることをやったほうがいいんじゃないですか? http://rio2016.5ch.net/test/read.cgi/math/1592654877/794
898: 132人目の素数さん [] 2020/11/26(木) 21:55:06.66 ID:bsElfVLa >>754 >Nn:={Sn}={0,1,2,・・・,n} (nは有限) > で、n→∞ を考えて、lim n→∞ Nn={0,1,2,・・・,n,・・・}=N (つまり、これが全ての自然数を含む自然数の集合Nになる) まず集合列の極限の定義を示して下さい。 次にその定義に従ってNがNnの極限であることを示して下さい。 それらが示されない限りあなたの主張はナンセンスです。 http://rio2016.5ch.net/test/read.cgi/math/1592654877/898
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s