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

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

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

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-新書関写板覧索設栞歴

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

ぬこの手ぬこTOP 0.018s