[過去ログ]
IUTを読むための用語集資料集スレ (1002レス)
IUTを読むための用語集資料集スレ http://rio2016.5ch.net/test/read.cgi/math/1592654877/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
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
37: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/06/24(水) 23:20:01.80 ID:b5EBywaq >>36 Inter-universal geometry と ABC予想 (応援スレ) 48 https://rio2016.5ch.net/test/read.cgi/math/1592119272/ 62 名前:現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日:2020/06/18(木) 17:18:11.72 ID:LPUPFt8f [3/4] >>61 つづき Contents 1 Notation 2 The algorithm 3 Implementations Notation Assume that all the coefficients of the equation of the curve lie in a complete discrete valuation ring R with perfect residue field and maximal ideal generated by a prime π. The elliptic curve is given by the equation y^2+a1xy+a3y=x^3+a2x^2+a4x+a6. Define: a{i,m}=a_{i}/π^m b2=a1^2+4a2 b4=a1a3+2a4 b6=a3^2+4a6 b8=a1^2a6-a1a3a4+4a2a6+a2a3^2-a4^2 c4=b2^2-24b4 c6=-b2^3+36b2b4-216b6 Δ =-b2^2b8-8b4^3-27b6^2+9b2b4b6 j=c4^3/Δ . Implementations The algorithm is implemented for algebraic number fields in the PARI/GP computer algebra system, available through the function elllocalred. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1592654877/37
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.048s