標準的高さ
数論において、ネロン・テイトの高さ(Néron–Tate height)(もしくは、標準的高さ(canonical height)ともいう)とは、大域体上に定義されたアーベル多様体の有理点のモーデル・ヴェイユ群上の二次形式である。この名前は、アンドレ・ネロン(André Néron)とジョン・テイトにちなむ。
ネロンはネロン・テイトの高さを、局所的高さの和として定義した。大域的なネロン・テイトの高さは二次であるにもかかわらず、和がネロン・テイトの高さとなる局所的な高さは、全く二次的ではない。テイトは(出版されていないが)高さを大域的に定義した。彼の定義した方法は、アーベル多様体 A 上の対称的な可逆層 L に付随する対数的高さ h_L は「ほぼ二次」であり、このことを使って極限
\hat h_L(P) = \lim_{N\rightarrow\infty}\frac{h_L(NP)}{N^2}
が存在し、有理点のモーデル・ヴェィユ群の上の二次形式を定義し、
\hat h_L(P) = h_L(P) + O(1)
を満たすことを示した。ここで定数 O(1) は P とは独立である。L が反対称的であれば、[-1]^*L=L であるので、類似する極限
\hat h_L(P) = \lim_{N\rightarrow\infty}\frac{h_L(NP)}{N}
が収束して \hat h_L(P) = h_L(P) + O(1) を満たすが、この場合 \hat h_L はモーデル・ヴェイユ群上の線型函数である。一般の可逆層に対して、対称な層と反対称な層の積として L^{\otimes2} = (L\otimes[-1]^*L)\otimes(L\otimes[-1]^*L^{-1}) と書くとすると、
\hat h_L(P) = \frac12 \hat h_{L\otimes[-1]^*L}(P) + \frac12 \hat h_{L\otimes[-1]^*L^{-1}(P)
は唯一の二次函数となり、
\hat h_L(P) = h_L(P) + O(1) と \hat h_L(0)=0
を満たす。
ネロン・テイトの高さは、付随する双線型形式が A のネロン・セヴィリ群に属する L の像のみに依存するにもかかわらず、アーベル多様体上の可逆層(あるいはネロン・セヴィリ群の元)の選び方に依存する。アーベル多様体 A が数体 K 上に定義されており、可逆層が対称性をもち、かつ豊富であれば、モーデル・ヴェイユ群 A(K) の捩れ元の上でのみ 0 となるという意味で、ネロン・テイトの高さは正定値である。より一般に、\hat h_L は、実ベクトル空間 A(K)\otimes\mathbb{R} 上の正定値二次形式を導く。
楕円曲線上では、ネロン・セヴィリ群はランクが 1 で、かつ唯一の豊富な生成元を有するため、この生成元はネロン・テイトの高さを定義することに使われることがある。この場合には、ネロン・テイトの高さは \hat h と記し、特別な直線束を伴わない。(しかし、バーチ・スウィナートン-ダイヤー予想の中に自然に現れる高さは、この高さの2倍である。)高次元のアーベル多様体上では、ネロン・テイトの高さを定義する最小の豊富な直線束を特別に選ぶ必要はない。バーチ・スウィナートン-ダイヤー予想の記述に使う高さは、A と A の双対アーベル多様体の積である A\times\hat A 上のポアンカレ直線束(Poincaré line bundle)のネロン・テイトの高さである。
楕円曲線 E 上の標準的な高さの双線型形式は、
\langle P,Q\rangle = \frac{1}{2} \bigl( \hat h(P+Q) - \hat h(P) - \hat h(Q) \bigr)
である。
E/K の楕円レギュレータ(elliptic regulator)は、
\operatorname{Reg}(E/K) = \det\bigl( \langle P_i,P_j\rangle \bigr)_{1\le i,j\le r}
であり、ここに P_1,\cdots,P_r は、捩れ(torsion)をmoduloとしたモーデル・ヴェイユ群 E(K) の基底である(グラム行列式(Gram determinant)を参照)。楕円レギュレータは基底の選択に依存しない。
より一般に、 A/K をアーベル多様体、B \simeq Pic_0(A) を A の双対アーベル多様体として、P を A \times B のポアンカレ直線束とすると、A/K のアーベル的レギュレータ(abelian regulator)は、捩れをmoduloとしたモーデル・ヴェィユ群 A/K の基底 Q_1,\cdots,Q_r と捩れをmoduloとしたモーデル・ヴェィユ群 B/K の基底 \eta_1,\cdots,\eta_r の選び方に依存し、また設定
\operatorname{Reg}(A/K) = \det\bigl( \langle P_i,\eta_j\rangle_{P} \bigr)_{1\le i,j\le r}
に依存する。
(楕円的レギュレータ、アーベル的レギュレータの定義は完全には整合しない。理由は、A を楕円曲線とすると、アーベル的レギュレータは、楕円的レギュレータの 2r 倍となるからである。)
楕円的レギュレータとアーベル的レギュレータは、バーチ・スウィナートン-ダイヤー予想に現れる。
ネロン・テイトの高さの下限には 2つの基本的な予想がある。一つは、体 K が固定されていて楕円曲線 E/K と 点 P \in E(K) が変化する場合で、もう一つは、楕円レーマー予想(elliptic Lehmer conjecture)で、曲線 E/K が固定して点 P の定義体が変化する場合である。
(ラング)すべての E/K と捻れのないすべての P\in E(K)に対して、 \hat h(P) \ge c(K) \log(\operatorname{Norm}_{K/\mathbb{Q}\operatorname{Disc}(E/K))\quad .
(レーマー)すべての P\in E(\bar K) に対し、\hat h(P) \ge \frac{c(E/K)}{[K(P):K]}\quad .
両方の予想で、定数は正であり、与えられた値にのみ依存する。ABC予想はラングの予想を含んでいることが知られている。レーマー予想の最良の結果は、ダヴィッド・マッサー(David Masser)によるより弱い見積もりである
\hat h(P)\ge c(E/K)/[K(P):K]^{3+\epsilon}\quad .
楕円曲線が虚数乗法を持っている場合は、ローラン(Laurent)によりこれが
\hat h(P)\ge c(E/K)/[K(P):K]^{1+\epsilon}
へ改善される。
偏極した代数的力学系(数論力学)は、(滑らかな射影的)代数多様体 V と、自己写像 φ : V → V と、ある整数 d  > 1 が存在し \phi^*L = L^{\otimes d} という性質をもつ V 上の直線束 Lからなる三組 (V,φ,L) のことを言う。これに付随する高さは、テイトの極限
\hat h_{V,\phi,L}(P) = \lim_{n\to\infty} \frac{h_{V,L}(\phi^{(n)}(P))}{d^n}
で与えられる。ここで \phi^{(n)} = \phi\circ\phi\circ\cdots\circ\phi は \phi の n-回の繰り返しである。たとえば、次数 d > 1 の任意の写像 \phi:\mathbb{P}^N\rightarrow\mathbb{P}^N は、直線束の関係式である φ*O(1) = O(d) に付随した標準的高さである。V が数体上で定義され、L が豊富であれば、標準的高さは非負であり、
\hat h_{V,\phi,L}(P) = 0 ~~ \Longleftrightarrow ~~   \phi について P~ が準周期的
となる。
(P が準周期的(preperiodic)であるとは、P のフォワード軌跡 P, φ(P), φ2(P), φ3(P),… が有限個の異なる点しかも持たない場合を言う。)