高次代数曲線・代数曲面に現れる特異点の解析システムの開発

1992 Fiscal Year Annual Research Report

• Project/Area Number: 04804004
• Research Institution: Kobe University
• Principal Investigator: 高橋 正 神戸大学, 発達科学部, 講師 (30179494)
• Keywords: 代数曲線(曲面)の特異点 / 定義方程式の書換えアルゴリズム / 単純K3特異点の研究 / 数式処理システム / moduliの条件 / 特異点を解析するシステム / プログラム開発 / 代数曲線のグラフィック

Research Abstract

1.アルゴリズムの研究:高次代数曲線(曲面)に現れる特異点を研究するために、定義方程式をその標準型に変換するためのアルゴリズムを研究した。現在までに、2次元複素射影空間における3次,4次曲線と6次曲線の一部、また、3次元複素射影空間における3次曲面と4次曲面の一部に対するアルゴリズムを決定した。研究を拡張するために、3次元特異点において特徴的な性質を持つ単純K3特異点に対して、この方法を拡張した。
2.特異点の位相型を解析するためのプログラム作成:特異点の位相型が他のものに変化する定義方程式の係数の関係式を求めるプログラムを作成した。しかし、このプログラムの作成は、予想以上に時間と手間を要した。特に、単純K3特異点における分析には、大規模な代数計算を要した。そのため、数式処理ソフトウェアを用いて計算を実行した。計算スピードを上げるために、アクセラレータボードをコンピュータに装着した(CPUのアップグレードを上回るアクセラレータボードが発売されたため)。また、学生のアルバイトを使ってプログラムの改善及び修正等を行ったが、まだまだ、手掛けた段階であり、今後、続けて、是非とも完成させたい。
3.グラフィック機能を備えた特異点分析システムの開発:数式処理システムの代数計算機能とグラフィック機能を活用し、与えられた方程式によって定義される代数曲線(曲面)が、どのような特異点を幾つどこに持つのかを計算し、その結果をグラフィックと共に出力するプログラムを作成する計画であった。このためのプログラムの開発は2に基づいている。2の研究が予定より遅れたため、この計画は、ほとんど進めることができなかった。部分4的ではあるが、2次元複素射影空間における3次,4次曲線のグラフィックの求め方を研究した。その結果2次元複素射影空間におけるグラフィックは正確に描けることができた。今後の研究の進展に用いたい。

Research Products

• [Publications] 高橋 正: "Defining Equations of Simple K3 Singularities" 数式処理 日本数式処理学会研究報告(Proc.JSSAC). 第1巻第2号. 21-23 (1992)
• [Publications] 高橋 正: "Simple K3 Singularitiesのmoduliについて" ワークショップ「数式処理」会議録. 80-83 (1993)
• [Publications] 高橋 正: "Simple K3 singularitiesのmoduliについてII" 京都大学数理解析研究所講究録.