TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学の系譜 工学物理雑談 古典ガロア理論も読む48
オイラーの贈物 （吉田武著）
数学の本 第85巻
数学者になりたいけど無理そうだったらAIに携わる仕事に就きたい場合数学科は良い選択ですか？
現代数学の系譜11 ガロア理論を読む27
ブルバキ数学原論 専門スレ
なぜ本当に数学ができる奴は医学科へ行くのか
なぜeやπは様々な性質を持つのか？
lim[n→1-0]{n} ＜ 0.99999…(循環小数)
なぜ右翼と左翼は争っているのか
- 32 ：
- https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCller_theory
Inter-universal Teichmuller theory
(抜粋)
DeepL対訳
Mathematical significance
Scope of the theory
Inter-universal Teichmuller theory is a continuation of Mochizuki's previous work in arithmetic geometry. This work, which has been peer-reviewed and well-received by the mathematical community, includes major contributions to anabelian geometry, and the development of p-adic Teichmuller theory, Hodge?Arakelov theory and Frobenioid categories.
It was developed with explicit references to the aim of getting a deeper understanding of abc and related conjectures. In the geometric setting, analogues to certain ideas of IUT appear in the proof by Bogomolov of the geometric Szpiro inequality.[15]
The key prerequisite for IUT is Mochizuki's mono-anabelian geometry and its powerful reconstruction results, which allows to retrieve various scheme-theoretic objects associated to an hyperbolic curve over a number field from the knowledge of its fundamental group, or of certain Galois groups.
IUT applies algorithmic results of mono-anabelian geometry to reconstruct relevant schemes after applying arithmetic deformations to them; a key role is played by three rigidities established in Mochizuki's etale theta theory. Roughly speaking, arithmetic deformations change the multiplication of a given ring, and the task is to measure how much the addition is changed.[16]
Infrastructure for deformation procedures is decoded by certain links between so called Hodge theaters, such as a theta-link and a log-link.[17]
つづく
- 33 ：
- >>32
つづき
These Hodge theaters use two main symmetries of IUT: multiplicative arithmetic and additive geometric. On one hand Hodge theaters generalize such classical objects in number theory as the adeles and ideles in relation to their global elements, on the other hand they generalize certain structures appearing in the previous Hodge-Arakelov theory of Mochizuki.
The links between theaters are not compatible with ring or scheme structures and are performed outside conventional arithmetic geometry. However, they are compatible with certain group structures, and absolute Galois groups as well as certain types of topological groups play a fundamental role in IUT.
Considerations of multiradiality, a generalization of functoriality, imply that three mild indeterminacies have to be introduced.[17]
数学的意義
理論の範囲
望月の算術幾何学の前作に続く、Inter-universalタイヒミュラー理論である。
この研究は、アナベル幾何学への主要な貢献と、p-adic Teichmuller理論、Hodge-Arakelov理論、Frobenioidカテゴリの発展を含んでおり、査読を経て、数学界から高い評価を得ている。
abcとそれに関連した概念をより深く理解することを目的として、明示的に参照して開発されました。幾何学的設定では、IUTのある種のアイデアへの類推は、幾何学的Szpiro不等式のBogomolovによる証明に現れている[15]。
つづく
- 34 ：
- >>33
つづき
IUTの重要な前提条件は、望月のモノ遠アーベル幾何学とその強力な再構成結果であり、その基本群や特定のガロア群の知識から、数場上の双曲曲線に関連する様々なスキーム理論的なオブジェクトを取り出すことができる。
IUTは、モノ・遠アーベル幾何学のアルゴリズムの結果を応用して、関連するスキームに算術変形を適用した後に、関連するスキームを再構成する。
大まかに言えば、算術変形は与えられた環の乗算を変化させ、その加算がどの程度変化するかを測定することが課題である[16] 。
変形手続きのためのインフラは、シータリンクやログリンクなどのいわゆるホッジ劇場間の特定のリンクによって解読される[17] 。
これらのホッジ・シアターは、IUTの2つの主要な対称性、すなわち、乗算と加法幾何学を用いている。
一方のホッジ劇場は、アデルやイデルのような数論の古典的なものを大域的な要素との関係で一般化し、他方のホッジ劇場は、以前の望月のホッジ・アラケロフ理論に登場するある種の構造を一般化している。
劇場間のリンクは、リング構造やスキーム構造とは互換性がなく、従来の算術幾何学の外で行われる。しかし、それらはある種の群構造と互換性があり、ある種のトポロジカル群と同様に絶対ガロア群がIUTにおいて基本的な役割を果たしている。
ファンクタリティの一般化であるmultiradialityの考察は、3つのマイルドな不確定性を導入しなければならないことを暗示している[17]。
つづく
- 35 ：
- >>34
つづき
Consequences in number theory
The main claimed application of IUT is to various conjectures in number theory, among them abc, but also more geometric conjectures such as Szpiro's conjecture on elliptic curves and Vojta's conjecture for curves.
The first step is to translate arithmetic information on these objects[further explanation needed] to the setting of Frobenioid categories. It is claimed that extra structure on this side allows one to deduce statements which translate back into the claimed results.[18]
One issue with Mochizuki's arguments, which he acknowledges, is that it does not seem possible to get intermediate results in his proof of abc using IUT.
In other words, there is no smaller subset of his arguments more easily amenable to an analysis by outside experts, which would yield a new result in Diophantine geometries.[18]
Vesselin Dimitrov extracted from Mochizuki's arguments a proof of a quantitative result on abc, which could in principle give a refutation of the proof.[19]
数論における帰結
IUTの主な応用としては、数論における様々な予想、その中でもabcだけでなく、Szpiroの楕円曲線の予想やVojtaの曲線の予想のようなより幾何学的な予想が挙げられます。
最初のステップは、これらのオブジェクトの算術情報[説明が必要]をフロベニオイドのカテゴリの設定に変換することである。この側の余分な構造は、主張された結果に翻訳する文を推論することを可能にすると主張されている[18]。
望月の議論の問題点の一つは、彼も認めているが、 IUTを用いたabcの証明では中間的な結果が得られないように思われることである。言い換えれば、彼の議論の中には、外部の専門家による分析がより容易に可能な、ディオファンティン幾何学の新しい結果をもたらすであろう、より小さなサブセットは存在しない[18]。
Vesselin Dimitrovは望月の議論からabc上の量的結果の証明を抽出したが、これは原理的には証明の反論を与えることができる[19]。
(引用終り)
以上
- 36 ：
- >>35
DeepL訳にちょっとだけ手を入れました
うーん、なるほどね
IUTね〜
>IUTの主な応用としては、数論における様々な予想、その中でもabcだけでなく、Szpiroの楕円曲線の予想やVojtaの曲線の予想のようなより幾何学的な予想が挙げられます。
これが、Dupuy氏 ”2.Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)”の話に繋がるんだね（＾＾
（参考 前スレ>>516より）
https://www.uvm.edu/~tdupuy/papers.html
[ Taylor Dupuy's Homepage]
(抜粋)
1.The Statement of Mochizuki's Corollary 3.12, unstable preprint available on request, (with A. Hilado)
2.Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)
https://www.dropbox.com/s/hwdxtpk5ydqhp6g/thm1p10-short.pdf?
3.Isogeny classes of Abelian Varieties over Finite Fields in the LMFDB, (with K. Kedlaya, D. Roe, and C. Vincent)
https://arxiv.org/abs/2003.05380
4.Counterexamples to a Conjecture of Ahmadi and Shparlinski (with K. Kedlaya, D. Roe, and C. Vincent)
https://arxiv.org/abs/2003.05368
https://arxiv.org/pdf/2003.01890.pdf
On Mochizuki’s idea of Anabelomorphy and its applications
Kirti Joshi
March 5, 2020
(抜粋)
26 Perfectoid algebraic geometry as an example of anabelomorphy 61
Now let me record the following observation which I made in the course of writing [Jos19a] and [Jos19b].
A detailed treatment of assertions of this section will be provided in [DJ] where we establish many results in parallel with classical anabelian geometry.
References
[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.
- 37 ：
- >>35
>Vesselin Dimitrov extracted from Mochizuki's arguments a proof of a quantitative result on abc, which could in principle give a refutation of the proof.[19]
>Vesselin Dimitrovは望月の議論からabc上の量的結果の証明を抽出したが、これは原理的には証明の反論を与えることができる[19]。
"which could in principle give a refutation of the proof."
"これは原理的には証明の反論を与えることができる[19]。"
は、違うな、下記だな
（参考）
https://arxiv.org/abs/1601.03572
https://webcache.googleusercontent.com/search?q=cache:5QsKSC_jERgJ:https://arxiv.org/pdf/1601.03572+&cd=1&hl=ja&ct=clnk&gl=jp
ファイル https://arxiv.org/pdf/1601.03572 の HTML 版です
EFFECTIVITY IN MOCHIZUKI’S WORKON THE abc-CONJECTUREVESSELIN DIMITROV
Abstract.
This note outlines a constructive proof of a proposition in Mochizuki’s paper Arithmetic elliptic curves in general position,
making a direct use of computable non-critical Belyi maps to effectively reduce the full abc-conjecture to a restricted form.
Such a reduction means that an effective abc-theorem is implied by Theorem 1.10 of Mochizuki’s final IUT paper
(Inter-universalTeichmuller theory IV: log-volume computations and set-theoreticfoundations).
（DeepL訳に手を入れた）
抄録
このノートは、望月の論文「算術楕円曲線の一般位置における命題の建設的証明」についての概要で
計算可能な非臨界Belyi写像を直接利用して，完全なabc-conjectureを効果的に制限された形に導くことに成功した．
このような導出は、望月の最終的なIUT論文の定理1.10によって、有効なabc定理を含意していることを意味します。
(Inter-universalTeichmuller theory IV: log-volume computations and set-theoreticfoundations).
(引用終り)
つまり
"which could in principle give a refutation of the proof."
"これは原理的には証明の反論を与えることができる[19]。"
とは、真逆だな
Y o u t u b e で ノ ー ト 授 業 ！
数学力と文章力にはなにか関係があるのか。
分からない問題はここに書いてね452
現代数学の系譜 工学物理雑談 古典ガロア理論も読む74
ジョン・ナッシュ氏が交通事故で死去
高校数学は暗記科目
10以外で一番10に近い数を挙げたやつ優勝
33歳数学ど素人だが、フィールズ賞目指すスレ
分からない問題はここに書いてね459
松坂君の日記
--------------------
金井恒太とは一体なんだったのか
防犯パトロール問題 特定人物を尾行監視 in 不動産
関西学生アメリカンフットボール Div.1 Part 101
何故JRAは直線コースのG1を作らない。
★第一回全統マークネタバレ
■コエンザイムＱ10 を多く含む食品って？■
【新型コロナ】 「韓国は怖いから帰国する」 プロバスケ選手が新型コロナを理由に退団 [02/27]
ザ・ノンフィクションーpart58
鼻整形総合スレ part.18
河本準一【守銭奴】まとめ 2
【質問】バトルガールハイスクール質問スレpart38
ロンスケの(・∀・)ｽｯﾄﾞﾚ!★６ 【ロングスケート】
【サッカー】本田圭佑“監督”「強がりと思われるかもしれないけど…」 カンボジア14失点大敗も指導理念ぶれず
ジェンヌの身長３
邪聖剣ネクロマンサー
スレ立てるほどでもない大会・海外卓球 女子98
死ぬほどやったゲームを書いていくスレ
【悲報】テレビ視聴者投票「ＮＨＫのスクランブル放送に賛成７４％」 [799056758]
国際興業大阪 Part.3
【ガニ股ヘドバン】ALDIOUS 63【再録パワー無し】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
