Inter-universal geometry と ABC予想 (応援スレ) 77

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

257: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/05(水) 11:40:17.08 ID:K/Lr81ky

つづき

7. A proof of Fermat’s Last Theorem in PA?
We have founded the whole SGA for arbitrary sites, while individual proofs in number theory use only low degree cohomology of sites close to arithmetic.
Detailed bounds may suffice to get existing proofs into n-order arithmetic for relatively low n, as in Section 3.8.4. That might be a good context for such hard logical analysis as Macintyre (2011) begins for FLT.
More work might bound the constructions within a conservative extension of PA (Takeuti, 1978) to show some existing proof of FLT works essentially in PA.
It might help further reduce the proof to Exponential Function Arithmetic (EFA) as conjectured in (Friedman, 2010).
Such estimates are likely to be difficult.
This is no logical end run around serious arithmetic.
Not motivated by concern with logic, Kisin (2009b) extends and simplifies (Wiles, 1995), generally using geometry less than commutative algebra, visibly reducing the demands on set theory. And Kisin (2009a) completes a different proof of FLT by a strategy of Serre advanced by Khare and Wintenberger.

References
Takeuti, G. (1987). Proof Theory. Elsevier Science Ltd, 2nd edition.
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1761878205/257

260: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/05(水) 11:52:00.37 ID:K/Lr81ky

>>255
Finite order arithmetic (Takeuti, 1987, Part II)
>>257
References
Takeuti, G. (1987). Proof Theory. Elsevier Science Ltd, 2nd edition.

竹内 外史先生だね
https://ja.wikipedia.org/wiki/%E7%AB%B9%E5%86%85%E5%A4%96%E5%8F%B2
竹内 外史（たけうち がいし、1926年1月25日 - 2017年5月10日）
https://en.wikipedia.org/wiki/Gaisi_Takeuti
Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi; January 25, 1926 – May 10, 2017[1]) was a Japanese mathematician, known for his work in proof theory.[2]
Notes
2 Takeuti 2013.
・Takeuti, Gaisi (2013) [1975]. Proof theory (Second ed.). Mineola, New York: Dover Publications. ISBN 978-0-486-49073-1.

なお>>257より
(google訳)
7. PAにおけるフェルマーの最終定理の証明？
私たちは任意のサイトに対してSGA全体を構築しましたが、数論における個々の証明は、算術に近いサイトの低次コホモロジーしか使用していません。
詳細な評価によって、第3.8.4節のように、既存の証明を比較的低いnに対するn階算術に持ち込むことができるかもしれません。これは、マッキンタイア（2011）がフェルマーの最終定理に対して始めたような、困難な論理分析を行うのに適した文脈となるでしょう。
さらに研究を進めることで、PAの保存的拡大（竹内、1978）の範囲内で構成を限定し、フェルマーの最終定理の既存の証明が本質的にPA内で機能することを示すことができるかもしれません。
これは、フリードマン（2010）で予想されているように、証明を指数関数算術（EFA）にさらに還元するのに役立つ可能性があります。
このような評価は困難である可能性が高いです。
これは、真剣な算術を回避するための論理的な抜け道ではありません。
論理への関心に動機づけられているわけではありませんが、キシン（2009b）は（ワイルズ、1995）を拡張および簡略化し、一般的に可換代数よりも幾何学の使用を少なくすることで、集合論への要求を明らかに軽減しています。また、キシン（2009a）は、カーレとヴィンテンベルガーによって発展させられたセールによる戦略を用いて、フェルマーの最終定理の別の証明を完成させています。
(引用終り)

なので、Colin McLarty 先生も 2014版では 「7. PAにおけるフェルマーの最終定理の証明？」で ？マーク付きだｗ （＾＾
2020版でも 同じかな　；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1761878205/260

264: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/05(水) 13:20:07.80 ID:K/Lr81ky

>>260 補足
>7. PAにおけるフェルマーの最終定理の証明？

素数定理の歴史(下記)と対比すると分かり易いだろう
１）素数定理は、ゼータ関数と複素関数論を用いる高等数学による証明だったが
　アトル・セルバーグ[5]とポール・エルデシュ[6]は初等的な証明が得られた（下記）
２）素数の話だから、初等整数論内の証明があっても おかしくは ない
　一方、高等数学による プロ数学者には 見通しのよい証明があってもいい（高等数学がしばしば先行する）
　高等数学による証明と 初等整数論内の証明とは 両立する

なお、”PAにおけるフェルマーの最終定理の証明？”は、まだ？つき・・

(参考)
https://ja.wikipedia.org/wiki/%E7%B4%A0%E6%95%B0%E5%AE%9A%E7%90%86#%E3%83%AB%E3%82%B8%E3%83%A3%E3%83%B3%E3%83%89%E3%83%AB2007
素数定理
歴史
ベルンハルト・リーマンによる新たな解析的方法が発表された[3]が、最終的には1896年にシャルル＝ジャン・ド・ラ・ヴァレー・プーサン（英語版）とジャック・アダマール[4]がそれぞれ独立に証明した。当初与えられた証明はゼータ関数と複素関数論を用いる高度なものであったが、1949年にアトル・セルバーグ[5]とポール・エルデシュ[6]は初等的な証明を与えた。
この複素解析学を用いない初等的な証明は当時大きな驚きをもって迎えられた。

https://en.wikipedia.org/wiki/Prime_number_theorem
Prime number theorem
History of the proof of the asymptotic law of prime numbers
Carl Friedrich Gauss considered the same question at age 15 or 16 "in the year 1792 or 1793", according to his own recollection in 1849.[6]
An important paper concerning the distribution of prime numbers was Riemann's 1859 memoir "On the Number of Primes Less Than a Given Magnitude", the only paper he ever wrote on the subject. Riemann introduced new ideas into the subject, chiefly that the distribution of prime numbers is intimately connected with the zeros of the analytically extended Riemann zeta function of a complex variable. In particular, it is in this paper that the idea to apply methods of complex analysis to the study of the real function π(x) originates.
Several different proofs of it were found, including the "elementary" proofs of Atle Selberg (1949)[11] and Paul Erdős (1949).[12] Hadamard's and de la Vallée Poussin's original proofs are long and elaborate; later proofs introduced various simplifications through the use of Tauberian theorems but remained difficult to digest. A short proof was discovered in 1980 by the American mathematician Donald J. Newman.[13][14] Newman's proof is arguably the simplest known proof of the theorem, although it is not "elementary" since it uses Cauchy's integral theorem from complex analysis.

http://rio2016.5ch.net/test/read.cgi/math/1761878205/264

265: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/05(水) 13:44:07.75 ID:K/Lr81ky

>>257
>Not motivated by concern with logic, Kisin (2009b) extends and simplifies (Wiles, 1995), generally using geometry less than commutative algebra, visibly reducing the demands on set theory. And Kisin (2009a) completes a different proof of FLT by a strategy of Serre advanced by Khare and Wintenberger.

下記だね
References
Kisin, M. (2009a). Modularity of 2-adic Barsotti-Tate representations. Inventiones Mathematicae, 178(3):587–634.
Kisin, M. (2009b). Moduli of finite flat group schemes, and modularity. Annals of Mathematics, 170(3):1085–1180.

これを、検索すると(2009a)
https://www.researchgate.net/publication/226552399_Modularity_of_2-adic_Barsotti-Tate_representations
Modularity of 2-adic Barsotti-Tate representations
December 2009Inventiones mathematicae 178(3):587-634
Abstract
We prove a modularity lifting theorem for two dimensional, 2-adic, potentially Barsotti-Tate representations. This proves hypothesis (H) of Khare-Wintenberger, and completes the proof of Serre’s conjecture. The main new ingredient is a classification of connected finite flat group schemes over rings of integers of finite extensions of ℚ2.

(2009b)：こちらはフルテキストが落とせるな
（This provides a more conceptual way of establishing the Shimura-Taniyama-Weil conjecture）
https://annals.math.princeton.edu/wp-content/uploads/annals-v170-n3-p03-p.pdf
Moduli of finite flat group schemes, and modularity By MARK KISIN
Abstract
We prove that, under some mild conditions, a two dimensional p-adic Galois representation which is residually modular and potentially Barsotti-Tate at p is modular.
This provides a more conceptual way of establishing the Shimura-Taniyama-Weil conjecture, especially for elliptic curves which acquire good reduction over a wildly ramified extension of 3.
The main ingredient is a new technique for analyzing flat deformation rings. It involves resolving them by spaces which parametrize finite f lat group scheme models of Galois representations.

http://rio2016.5ch.net/test/read.cgi/math/1761878205/265

上下前次 1-新書関写板覧索設栞歴

あと 727 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.015s