標準的高さ

数論において、ネロン・テイトの高さ（）（もしくは、標準的高さ（）ともいう）とは、大域体上に定義されたアーベル多様体の有理点の上の二次形式である。この名前は、(André Néron)とジョン・テイトにちなむ。
定義と性質.
ネロンはネロン・テイトの高さを、局所的高さの和として定義した。大域的なネロン・テイトの高さは二次であるにもかかわらず、和がネロン・テイトの高さとなる局所的な高さは、全く二次的ではない。テイトは（出版されていないが）高さを大域的に定義した。彼の定義した方法は、アーベル多様体 formula_1 上の対称的な可逆層 formula_2 に付随する対数的高さ formula_3 は「ほぼ二次」であり、このことを使って極限
が存在し、有理点のモーデル・ヴェィユ群の上の二次形式を定義し、
を満たすことを示した。ここで定数 formula_6 は formula_7 とは独立である。formula_2 が反対称的であれば、formula_9 であるので、類似する極限
が収束して formula_5 を満たすが、この場合 formula_12 はモーデル・ヴェイユ群上の線型函数である。一般の可逆層に対して、対称な層と反対称な層の積として formula_13 と書くとすると、
は唯一の二次函数となり、
を満たす。
ネロン・テイトの高さは、付随する双線型形式が formula_1 のネロン・セヴィリ群に属する formula_2 の像のみに依存するにもかかわらず、アーベル多様体上の可逆層（あるいはネロン・セヴィリ群の元）の選び方に依存する。アーベル多様体 formula_1 が数体 K 上に定義されており、可逆層が対称性をもち、かつ豊富であれば、モーデル・ヴェイユ群 formula_20 の捩れ元の上でのみ 0 となるという意味で、ネロン・テイトの高さは正定値である。より一般に、formula_12 は、実ベクトル空間 formula_22 上の正定値二次形式を導く。
楕円曲線上では、ネロン・セヴィリ群はランクが 1 で、かつ唯一の豊富な生成元を有するため、この生成元はネロン・テイトの高さを定義することに使われることがある。この場合には、ネロン・テイトの高さは formula_23 と記し、特別な直線束を伴わない。（しかし、バーチ・スウィナートン-ダイヤー予想の中に自然に現れる高さは、この高さの2倍である。）高次元のアーベル多様体上では、ネロン・テイトの高さを定義する最小の豊富な直線束を特別に選ぶ必要はない。バーチ・スウィナートン-ダイヤー予想の記述に使う高さは、formula_1 と formula_1 のの積である formula_26 上の(Poincaré line bundle)のネロン・テイトの高さである。
楕円的レギュレータとアーベル的レギュレータ.
楕円曲線 formula_27 上の標準的な高さの双線型形式は、
である。
E/K の楕円レギュレータ(elliptic regulator)は、
であり、ここに formula_30 は、捩れ(torsion)をmoduloとしたモーデル・ヴェイユ群 formula_31 の基底である（グラム行列式()を参照）。楕円レギュレータは基底の選択に依存しない。
より一般に、 formula_32 をアーベル多様体、formula_33 を formula_1 の双対アーベル多様体として、formula_7 を formula_36 のとすると、formula_32 のアーベル的レギュレータ(abelian regulator)は、捩れをmoduloとしたモーデル・ヴェィユ群 formula_32 の基底 formula_39 と捩れをmoduloとしたモーデル・ヴェィユ群 formula_40 の基底 formula_41 の選び方に依存し、また設定
に依存する。
（楕円的レギュレータ、アーベル的レギュレータの定義は完全には整合しない。理由は、formula_1 を楕円曲線とすると、アーベル的レギュレータは、楕円的レギュレータの 2r 倍となるからである。）
楕円的レギュレータとアーベル的レギュレータは、バーチ・スウィナートン-ダイヤー予想に現れる。
ネロン・テイトの高さの下限.
ネロン・テイトの高さの下限には 2つの基本的な予想がある。一つは、体 K が固定されていて楕円曲線 formula_44 と 点 formula_45 が変化する場合で、もう一つは、(elliptic Lehmer conjecture)で、曲線 formula_44 が固定して点 formula_7 の定義体が変化する場合である。
両方の予想で、定数は正であり、与えられた値にのみ依存する。ABC予想はラングの予想を含んでいることが知られている。レーマー予想の最良の結果は、(David Masser)によるより弱い見積もりである
楕円曲線が虚数乗法を持っている場合は、ローラン(Laurent)によりこれが
へ改善される。
一般化.
偏極した代数的力学系(数論力学)は、（滑らかな射影的）代数多様体 "V" と、自己写像 φ : "V" → "V" と、ある整数 d > 1 が存在し formula_55 という性質をもつ V 上の直線束 Lからなる三組 ("V",φ,"L") のことを言う。これに付随する高さは、テイトの極限
で与えられる。ここで formula_57 は formula_58 の n-回の繰り返しである。たとえば、次数 d > 1 の任意の写像 formula_59 は、直線束の関係式である φ*O(1) = O(d) に付随した標準的高さである。V が数体上で定義され、L が豊富であれば、標準的高さは非負であり、
となる。
（"P" が準周期的(preperiodic)であるとは、"P" のフォワード軌跡 "P", φ("P"), φ2("P"), φ3("P"),… が有限個の異なる点しかも持たない場合を言う。）
参考文献.
標準的高さの理論の一般的な参考文献として