1 定義と基本性質
有理点とは、座標が有理数で与えられる点を指す。多項式方程式や代数多様体の解集合を考えるとき、係数が有理数にある対象に対して、その点が有理数座標をもつかどうかは、数論と代数幾何学の双方で重要な意味をもつ。単に「解があるか」を調べるだけでなく、どのような形の解が現れるかを分類する基礎にもなる。
1.1 有理点の定義
有理点は、代数方程式の解のうち、各座標が有理数であるものとして定義される。平面曲線なら \((x,y)\) がともに有理数である点、射影空間なら同次座標が有理数で表される点を考える。ただし射影座標では、全体を同じ非零有理数で比例させたものを同一視する。
1.2 有理点の具体例
直線 \(y=2x+1\) は、有理数 \(x\) を選べば常に有理数 \(y\) が得られるため、有理点を無数にもつ。円 \(x^2+y^2=1\) も、適切なパラメータ付けにより多くの有理点を記述できる。これに対し、方程式によっては有理点がほとんど現れず、まったく存在しない場合もある。
1.3 有理点と有理数解
有理点の概念は、方程式の有理数解と本質的に同じである。多項式方程式の「有理数解」は、対応する代数集合の有理点にほかならない。したがって、有理点の研究は、方程式を有理数の範囲で解く問題を幾何学的に言い換えたものといえる。
1.4 有理点の基本的な性質
有理点は、係数が有理数の変換に対して比較的安定な性質を示す。たとえば有理変換で写る先の点も有理点になることが多く、これにより曲線や多様体の間の関係を調べやすくなる。また、有理点の存在は局所的条件だけでは決まらないことがあり、大域的な視点が必要になる。
2 代数曲線における有理点
代数曲線では、有理点の研究が最もよく発達している。特に平面曲線では、図形的直観と方程式の構造が結びつきやすく、楕円曲線や高種数曲線では深い算術的性質が現れる。有理点の個数や構造は、曲線の種数によって大きく異なる。
2.1 平面代数曲線
平面代数曲線とは、二変数多項式 \(f(x,y)=0\) で表される曲線である。そこに現れる有理点は、具体的な計算対象として扱いやすく、古典的な数論の出発点にもなった。曲線の次数や特異点の有無によって、有理点の振る舞いは大きく変わる。
2.1.1 直線と円錐曲線の有理点
直線は、有理点の記述が最も容易な例である。円錐曲線では、1つの有理点が見つかると、その点を通る直線を用いて他の有理点を系統的に導けることが多い。たとえば円や双曲線は、パラメータを用いた有理表示が可能な典型例として知られる。
2.1.2 楕円曲線の有理点
楕円曲線は、判別式が非零の滑らかな3次曲線であり、有理点の理論において中心的存在である。1つの有理点を基点にすると、曲線上の点同士に群構造を入れられるため、点の集合を代数的に扱える。これにより、有理点の生成や計算、階数の研究が可能になる。
2.2 高種数曲線
高種数曲線では、曲線の複雑さが増し、有理点の性質も一変する。種数が大きいほど、有理点は制限される傾向があり、単純なパラメータ表示では記述できない。ここでは、幾何学的手法と算術的手法の両方が必要になる。
2.2.1 有理点の有限性
種数が2以上の滑らかな射影曲線では、有理点が有限個しかない場合が多く、一般には深い定理によって有限性が示されることがある。これは、低種数曲線のように無限に点が並ぶ状況と対照的である。有限性は、曲線の算術的構造を理解するうえで重要な指標となる。
2.2.2 有理点の分布
高種数曲線における有理点の分布は、単なる個数だけでなく、どのような位置に現れるかも問題になる。点が特定の部分に集中するのか、広く散らばるのかは、曲線の幾何と密接に関係する。解析的手法や高さ関数を用いて、その分布の傾向が調べられる。
2.3 有理点の決定問題
有理点の決定問題とは、与えられた曲線に有理点が存在するか、存在するならそれをすべて求められるかを問う問題である。低次の方程式では具体的計算が可能だが、一般には難問である。実際には、局所的な可解性、群構造、下降法などを組み合わせて解析する。
3 代数多様体における有理点
代数多様体では、有理点の概念が曲線よりも一般的な枠組みで扱われる。多変数の方程式系に対して、座標が有理数となる解全体を調べることで、空間の算術的性質が明らかになる。幾何学的な形と算術的性質が交差する領域として、現代数論で重要視されている。
3.1 射影空間上の有理点
射影空間の有理点は、同次座標が有理数で表される点である。これにより、無限遠点を含む統一的な見方が可能になる。射影化は、代数曲線や多様体の研究で特異点の回避やコンパクト化に役立ち、有理点の議論を簡潔にする。
3.2 代数多様体上の有理点
代数多様体上の有理点は、方程式系の有理数解に対応する。多様体が高次元になると、有理点の存在や密度の問題は一層複雑になり、幾何学的構造と算術的条件の相互作用が顕著になる。特に有理曲面やファノ多様体などでは、豊富な有理点が現れる場合がある。
3.2.1 局所大域原理
局所大域原理は、各素数や実数体で解があることから、有理数体でも解があると期待する考え方である。これはしばしば有効に働くが、常に成り立つわけではない。局所では解けても大域では解けない例が存在し、その差異が有理点理論の核心の一つとなっている。
3.2.2 障害理論
障害理論は、局所的には存在しうる有理点が大域的には実現しない理由を説明する枠組みである。代表的にはブラウアー障害が知られ、局所解の集まりから有理点への持ち上げを妨げる要因を検出する。こうした理論は、存在判定の精密化に欠かせない。
3.3 有理点の整数点との関係
整数点は、座標が整数である点を指し、有理点の特別な場合と見なせる。分母を払えば整数点に帰着できることも多いが、射影的状況や高さの制約により単純化できない場合もある。有理点と整数点の関係を調べることで、方程式の解の算術的な粗密が見えてくる。
4 数論的側面
有理点の研究は、純粋な幾何学にとどまらず、数論の中心的課題と結びついている。存在判定、個数の評価、定理との関連、さらには解集合の構造理解など、多方面に応用される。解析的手法、代数的手法、算術幾何の理論が交差する分野である。
4.1 有理点の存在判定
有理点の存在判定は、与えられた方程式が有理数解をもつかどうかを判定する問題である。有限体や実数体での振る舞いを調べ、さらに楕円曲線や曲線の種数に応じた理論を用いる。一般には簡単ではなく、計算機的手法と理論的基準の両方が使われる。
4.2 有理点の個数
有理点の個数は、無限個の場合と有限個の場合に大きく分かれる。直線や一部の曲線では無限に現れる一方、高種数曲線では有限個にとどまることが多い。個数の評価は、点の分布や高さの制約とも深く関わる。
4.3 有理点とモーデルの定理
モーデルの定理は、ある種の曲線について有理点が有限生成の群をなすことを示す基本結果として知られる。これにより、楕円曲線の有理点の研究は、有限個の生成元と捩れ部分群の解析へと整理される。群論的見方を導入することで、点の集合を体系的に扱える。
4.4 有理点と集合論的構造
有理点の集合は、単なる解の集まりではなく、しばしば代数的・群論的・位相的な構造をもつ。楕円曲線では群として、より一般の多様体では幾何学的対象として理解されることがある。集合としての性質に加え、生成法や密度、既約成分との関係も重要な観点となる。