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