1994 Fiscal Year Annual Research Report
| Project/Area Number |
06640062
|
|---|
| Research Institution | Nagasaki University |
|---|
Principal Investigator |
鷲尾 忠司 長崎大学, 教育学部, 教授 (60039435)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
北村 右一 長崎大学, 教育学部, 助教授 (60128171)
安達 謙三 長崎大学, 教育学部, 教授 (70007764)
村田 嘉弘 長崎大学, 経済学部, 助教授 (60212255)
工藤 愛知 長崎大学, 教養部, 教授 (00112285)
西田 憲司 長崎大学, 教養部, 教授 (70125392)
|
|---|
| Keywords | 代数関数体 / ハッセウィット行列 / 類数 |
|---|
| Research Abstract |
有限体 F=GF(q)の上の種数gの1変数代数関数体Kにおける1次素因子の個数をN_1と表すとき、不等式 1N_1-(q+1)1≦2g√<q> が成り立つことがすでに証明されていて、この不等式はリーマン予想の類似と呼ばれている。特に等式N_1=q+1+2g√<q> が成立するような1変数代数関数体は極大体(maximal field)と呼ばれ、また等式 N_1=q+1-2g√<q>が成立するような1変数代数関数体を極小体(minimal field)と呼んでいる。このような極大体と極小体を解明することは研究テーマの一つであり、特に素数pと正整数gを与えたとき、標数pの有限体の上の種数gの1変数代数関数体Kで極大又は極小となるものが存在するかどうかを調べることも具体的な問題である。この問題はHasse-Witt行列とも密接な関係があり、Hasse-Witt行列が零行列である場合やHasse-Witt行列のベキ乗が零行列である場合を調べることが問題の解明に有効である。我々の従来の研究ではフェルマ-型の代数関数体や超楕円関数体におけるHasse-Witt行列を調べてきたが、その際の超楕円関数体の定義方程式はy^2=x^<2g+1>+a と y^2=x(x^<2g>+a)のタイプであり、この二種類のタイプだけで極大体と極小体の存在性を究明することは不可能である。本研究ではこのタイプとは異なった定義方程式を持つ超楕円関数体で、そのHasse-Witt行列が零行列となるものやHasse-Witt行列のベキ乗が零行列となるものを究明し、今回数種類の定義方程式のタイプを求めることができた。しかし現時点では理論構成が不十分で、今後もさらに研究を続行する予定である。
|
Research Products
(6 results)
-
[Publications] K.Nishida: "Bass order,s in non semisimple algebras" J.Math.Kyoto University. 34. 797-837 (1994)
-
[Publications] A.Kudo: "A method of computation for class numbers of real guadratic number fields" Bull.Fac.Liberal Arts,Nagasaki Univ.35. 1-7 (1994)
-
[Publications] M.Yoshihiro: "classical Solutions of the third Painleve eguation" Nagoya Mathemetical Journal. (1995)
-
[Publications] K.Aadachi: "Continuation of holomorphic functions from subvarieties to pseudoconvex domain" Kobe Journal of Mathematies. 11. 33-47 (1994)
-
[Publications] K.Adachi: "Extending real functions from boundaries of subvarieties to convex domeins" Proceedings of the second korean-Japanese Colloguium on finite or infinite dimensional Complex analysis. 15-21 (1994)
-
[Publications] K.Kitamura: "Existence theorems for a neutral funitional differential oguation ahose lending part contains a difference operator of higher deyree" Hiroshima Mathematical Journal. 25. (1995)
