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

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

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

139: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/14(火) 21:21:14.77 ID:vq8RyVMN

>>131
追加
”導手”とは？

http://www.comp.tmu.ac.jp/s-yokoyama/lectures/2015-2018/files/2014Yamagata.pdf
山形大学理学部数理科学科 2014 年度後期「数理情報特選 F/数理科学特別講義 E」講義資料 1
計算する立場からの楕円曲線論入門
The arithmetic of elliptic curves from a viewpoint of computation
横山 俊一1（Shun’ichi Yokoyama）
九州大学大学院 数理学研究院 / JST CREST

定義 2.33. Ep が Fp 上の楕円曲線となる（i.e. Δ(Ep) ≠ 0）時, E は p で良い還元を持つ（has good
reduction at p）と呼ぶ. 逆に Ep に特異点が出現し, Fp 上の楕円曲線でなくなる（i.e. Δ(Ep) = 0）
時, E は p で悪い還元を持つ（has bad reduction at p）と呼ぶ.

補足 2.34. 上の状況で, それぞれの p を「良い素数/悪い素数」（good prime/bad prime）と呼ぶ事
もある. Δ(E) の素因子のリストは, 悪い素数のリストに一致する.
更に, 悪い還元の時には Ep に特異点が出現するが, その特異点には 2 種類あった事を思い出そう
（命題 2.8 及びその直前の文脈. c4 が 0 か否かでノード型かカスプ型に分かれるのであった）. その
ため, 悪い還元を更に 2 つに分類する.

定義 2.35. E が p で悪い還元を持つとする. Ep がノード型の特異点を持つ時, E は p で乗法的（半
安定）還元を持つ（has multiplicative (semistable) reduction at p）と呼ぶ. Ep がカスプ型の特異点
を持つ時, E は p で加法的（不安定）還元を持つ（has additive (unstable) reduction at p）と呼ぶ.

これを用いて導手を定義する. 判別式が「悪い素数のリスト」を与えていたのに対し, 導手は「悪
い素数のリスト＋還元の様子」を与えており, しかも不変量となる.

定義 2.36. E を Q 上の楕円曲線とする. この時
N(E) = Πp : prime p^fp(E)
を E の導手（conductor）と呼ぶ. E ＝〜 E′ なら N(E) = N(E′) である. fp(E) は次で定める：
・ E が p で良い還元を持つ時 fp(E) = 0,
・ E が p で乗法的還元を持つ時 fp(E) = 1,
・ E が p で加法的還元を持つ時 fp(E) = 2 + δp.
δp は depth of wild ramification と呼ばれる 0 以上の整数で, 特に p ≠ 2, 3 ならば δp = 0 である.

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

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

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

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

ぬこの手ぬこTOP 0.032s