IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

36: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [sage] 2020/06/24(水) 23:19:10.61 ID:b5EBywaq

メモ

Inter-universal geometry と ABC予想 (応援スレ) 48
https://rio2016.5ch.net/test/read.cgi/math/1592119272/
61 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2020/06/18(木) 17:17:22.36 ID:LPUPFt8f [2/4]
>>57 補足

https://en.wikipedia.org/wiki/Szpiro%27s_conjecture
Szpiro's conjecture

Modified Szpiro conjecture

The modified Szpiro conjecture states that: given ε > 0,
there exists a constant C(ε) such that for any elliptic curve E defined over Q with invariants c4, c6 and conductor f (using notation from Tate's algorithm),
we have
max{｜c_4｜^3 , ｜c_6｜^2 } =< C( ε )・ f^{6+ε}

https://en.wikipedia.org/wiki/Tate%27s_algorithm
Tate's algorithm

In the theory of elliptic curves, Tate's algorithm takes as input an integral model of an elliptic curve E over Q }Q , or more generally an algebraic number field, and a prime or prime ideal p. It returns the exponent fp of p in the conductor of E, the type of reduction at p, the local index

cp=[E(Q p):E^0(Q p)],
where E^0(Q p) is the group of Q p}Q p-points whose reduction mod p is a non-singular point.
Also, the algorithm determines whether or not the given integral model is minimal at p, and, if not, returns an integral model with integral coefficients for which the valuation at p of the discriminant is minimal.

Tate's algorithm also gives the structure of the singular fibers given by the Kodaira symbol or Neron symbol, for which, see elliptic surfaces: in turn this determines the exponent fp of the conductor E.

Tate's algorithm can be greatly simplified if the characteristic of the residue class field is not 2 or 3; in this case the type and c and f can be read off from the valuations of j and Δ (defined below).

Tate's algorithm was introduced by John Tate (1975) as an improvement of the description of the Neron model of an elliptic curve by Neron (1964).

つづく

http://rio2016.5ch.net/test/read.cgi/math/1592654877/36

148: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/15(水) 22:08:22.61 ID:hRRJMwM+

>>139
追加

導手：Conductor of an elliptic curve

https://en.wikipedia.org/wiki/Conductor_of_an_elliptic_curve
Conductor of an elliptic curve
(抜粋)
Contents
1 History
2 Definition
3 Ogg's formula
4 Global conductor
5 References
6 Further reading

History
The conductor of an elliptic curve over a local field was implicitly studied (but not named) by Ogg (1967) in the form of an integer invariant ε+δ which later turned out to be the exponent of the conductor.

The conductor of an elliptic curve over the rationals was introduced and named by Weil (1967) as a constant appearing in the functional equation of its L-series, analogous to the way the conductor of a global field appears in the functional equation of its zeta function. He showed that it could be written as a product over primes with exponents given by order(Δ) ? μ + 1, which by Ogg's formula is equal to ε+δ. A similar definition works for any global field. Weil also suggested that the conductor was equal to the level of a modular form corresponding to the elliptic curve.

Serre & Tate (1968) extended the theory to conductors of abelian varieties.

Ogg's formula

Saito (1988) gave a uniform proof and generalized Ogg's formula to more general arithmetic surfaces.

References
・Saito, Takeshi (1988), "Conductor, discriminant, and the Noether formula of arithmetic surfaces", Duke Math. J., 57 (1): 151?173, doi:10.1215/S0012-7094-88-05706-7, MR 0952229

http://rio2016.5ch.net/test/read.cgi/math/1592654877/148

506: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/08/25(火) 21:10:08.61 ID:SuJQZ9Ih

>>505
つづき

ライプニッツによる無限小の利用は、連続の法則（英語版）「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」[* 1]や同質性の超限法則（英語版）（割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針）というような、経験則的な原理に基づくものであった。
18世紀にはレオンハルト・オイラーやジョゼフ＝ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。オーギュスタン＝ルイ・コーシーは自身の著書 Cours d'Analyse（『解析教程』）で、無限小を「連続量」(continuity) ともディラックのデルタ函数の前身的なものとも定義した。
カントールとデデキントがステヴィンの連続体をより抽象的な対象として定義したのと同様に、パウル・デュ・ボア＝レーモン（英語版）は函数の増大率に基づく「無限小で豊饒化された連続体」(infinitesimal-enriched continuum) に関する一連の論文を著した。
デュ・ボア＝レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア＝レーモンの仕事を明示的に結び付けた。
スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された（ロビンソンは1948年にエドウィン・ヒューイット（英語版）が、および1955年にイェジー・ウォッシュ（英語版）が成した先駆的研究に基づき超準解析を展開した）。
ロビンソンの超実数 (hyper-reals) は無限小で豊饒化された連続体の厳密な定式化であり、移行原理（英語版）がライプニッツの連続の法則の厳密な定式化である。また、標準部（英語版）はフェルマーの擬等式の方法（英語版） (ad-equality, pseudo-equality) の定式化である。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1592654877/506

802: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/11/08(日) 09:59:31.61 ID:rSmWbt0i

>>799 タイポ訂正他

で、Zermeloが批判どう応えたかしらないが
　　↓
で、Zermeloが批判にどう応えたかしらないが

あと、>>800で
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
定義
ZF公理系における公式な定義は次の通りである。
空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：
(引用終り)

このままの無限公理では、>>799の
"２．基数としては、0＝Φ（空集合）、1={Φ}、2={0,1}、3={0,1,2}、・・・、n={0,1,2,・・n-1}、・・"には適用しにくい

二つ方法がある
１）一つは、n番目の集合Snとして、"0＝Φ（空集合）、1={Φ}、2={0,1}、3={0,1,2}、・・・、n={0,1,2,・・n-1}、・・"を使って
　別に、Sn＝{,0,{ 0,1}, {1,2}, ・・, {n-2,n-1} }みたく、ノイマンの後者を作って、それを集めた集合Snを作って、それに無限公理を適用して、無限集合を存在させる
２）もう一つは、無限公理を若干手直しして、
　任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する
　　　　↓
　任意の要素 x に対して  {x} を要素に持つ集合が存在する
　とすること （これは、逆数学の発想（下記））

まあ、どっちもありだし、重箱の隅で些末な議論の気がするが（＾＾
（参考）
https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6
逆数学
逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。
しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。
逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる
逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。

http://rio2016.5ch.net/test/read.cgi/math/1592654877/802

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.038s