研究概要 |
前年度までの研究で,代数体の定義方程式の特異点集合は一意的ではなく,係数に適当な素数ベキをかけることにより,より多くの特異点をもたせることができ,しかもいくらでも多くの特異点や無限に近い特異点を持つものが構成できることが分かっている.そこでこのような定義方程式と違い,係数に不定元を含む底式を考察することにした.比較的簡単な計算で,底式の特異点集合が,ヒルベルトが数論報告で単位元形式(Einheitsform)と呼んだ不定元の同次式の零点集合に含まれることが証明できた.逆の包含関係,すなわち底式の特異点集合と単位元形式の零点集合が一致するかはまだ証明できていない.また,単位元形式が消えるような素数上における底式の特異点の性質もまだ分からない.単位元形式は判別式に以ているので,その零点集合はモジュライ空間の境界に似たような性質があると思われるが,具体例の計算が難しいため,確かめることが難しい. 次に,同次式全体の中で代数体の底式となるような同次式の特徴付けを試みた.一般の代数体の底式は変数も多く次数も高く計算量が多くなって難しいので最初に2次体の場合を計算した.すなわち,不定元2個の整数係数同次式を係数とする1変数2次式で,全体で2次の同次式であるものが,ある2次体の底式になるための条件をコンピュータで計算してみた.この場合は係数に関する3次式の平方となる6次式が1つ得られた.したがって底式の全体は整数環上の5次元アフィン空間の中の余次元1の代数的集合をなすことが分かる.異なる底式が同一の2次体を定義する条件が係数の関係式で記述できれば2次体のモジュラスが得られたことになるが,その計算は次年度の課題とする.
|