一方、パーフェクトノイドのショルツは peter scholze points out possible error in IUT >>50252132人目の素数さん2018/01/30(火) 20:12:29.09ID:aCBcWd6E>>250 山下氏がFAQで書いているようにグロタンディーク宇宙を「取り替える」ために必要だということ? 0253132人目の素数さん2018/01/30(火) 22:07:49.78ID:lUQKGBr2 なぜかスレが止まった。
楕円曲線は 対称性がありガロア群につながる、 なら気の利いた高校生でも知っている。 楕円曲線は暗号にも関係するし、 トポスを含め 興味がある人がいるんだろ。 数学の証明とは別にね。 0337132人目の素数さん2018/02/05(月) 19:21:37.46ID:plzOJKhR 一月アクセプトは無しか 会議が紛糾したのかな?w 0338132人目の素数さん2018/02/05(月) 21:54:55.41ID:pf1Bs7WH The main idea of the proof is, I think, understood. We want to compute the same thing in two different ways. In particular, for (certain elliptic) curves with at worst split multiplicative reduction at certain places (where you have Tate models and Tate parameters), 0339132人目の素数さん2018/02/05(月) 21:55:38.44ID:pf1Bs7WH we want to compute the valuation of the tate parameters in two different ways. One way is direct, and the other way is indirect and uses anabelian geometry. This is interesting to us because of Szpiro's conjecture. 0340132人目の素数さん2018/02/05(月) 21:56:37.74ID:pf1Bs7WH The valuation of the tate parameter is exactly the valuation of the minimal discriminant of the elliptic curve. This is the left hand side of the Szpiro inequality an inequality which is equivalent to the abc conjecture. The second way is sloppy and leads to an inequality. 0341132人目の素数さん2018/02/05(月) 21:57:21.00ID:pf1Bs7WH In fact, we encode these vals in terms of log vols which can be reconstr(this is where these log- shells come into play) and we can only reconstr the region up to monoid actions (these monoid actions are the indet appearing in IUT3). The slop gives rise IUT3 3.12 0342132人目の素数さん2018/02/05(月) 21:57:54.18ID:pf1Bs7WH The actual breakdown of what this inequality means/is is what gives rise to Theorem 1.10 in IUT4. 0343132人目の素数さん2018/02/05(月) 21:58:36.64ID:pf1Bs7WH The main technical aspects are about the anabelian geometry that go into the reconstruction. There are many different versions of the same objects introduced in the paper which behave differently and sorting all of this out in a clean way is important. 0344132人目の素数さん2018/02/05(月) 21:59:53.04ID:pf1Bs7WH Brian and Peter are mentioned a lot but they honestly haven't done anything in this. The names Fucheng Tan and Emmanuel Lepage are never mentioned but I think they are two people (along with Chung Pang) who I have learned the most from. 0345132人目の素数さん2018/02/05(月) 22:42:44.92ID:cuTrEVBW どっちがまちがってるか明らかになるといいね 0346132人目の素数さん2018/02/06(火) 06:09:26.21ID:n03JiMkb because of Szpiro's conjecture. 弱いabc予想を対象にしているといいたいのかな。 0347132人目の素数さん2018/02/06(火) 06:27:33.16ID:u53VlL9t ショルツ「てんてんぷるぷるぅ!」 ???「そう思っていた時期が私にもありました」 0348132人目の素数さん2018/02/06(火) 07:22:33.79ID:6AWEZBCT 予想は予想、 正しいか、反例があるか わからない 0349132人目の素数さん2018/02/06(火) 07:28:35.61ID:gf+kSBV5>>346 不等式の意味の説明とか、ショルツの批判とか、だろ