1989 Fiscal Year Annual Research Report
| Project/Area Number |
01540047
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
竹内 康滋 神戸大学, 教養部, 教授 (80030336)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
渡辺 清 神戸大学, 教養部, 助教授 (60091245)
高橋 典大 神戸大学, 教養部, 教授 (00031295)
角田 譲 神戸大学, 教養部, 教授 (50031365)
宇麼谷 教明 神戸大学, 教養部, 教授 (30031305)
木村 郁雄 神戸大学, 教養部, 教授 (80031293)
|
|---|
| Keywords | 単体的複体 / コ-エン・マッコ-レイ複体 / コホモロジ-群の計算 / 数式処理 |
|---|
| Research Abstract |
単体的複体を与えたとき、それが標数零の体上でコ-エン・マッコ-レイであることを判定するためのコンピュ-タ・システムを作成した。単体的複体をコンピュ-タ上に実現する工夫として、ベクトル表示を用いた。単体的複体の入力と多角形に対するリンクの生成が、ベクトル表示によって非常に容易に出来る。単体的複体がコ-エン・マコ-レイであるかどうかは、その複体の各多角形にたいするリンクのコホモロジ-群が消えることで判定できる。標数零の一般の体上で、コホモロジ-群を計算するためには、数式処理が必要になる。すなわち、鎖が輪体になる条件を、連立一次方程式で表すことができる。鎖が輪体になるための条件を、変数の一部を他の変数の一次結合に表現することによって表すことが出来る。この一次結合に表れた変数の係数を並べて出来る行列を利用する。さて、輪体が、鎖の境界になるための条件は、やはり連立一次方程式が解を持つことで確かめることができる。この数式処理は次の数値処理に帰着させることが出来る。すなわち、コホモロジ-が消えるための条件は、2つの行列の階数が等しいことである。このことは、行列に掃き出し法を適用して、確かめることが出来る。
頂点数が5まで、次元が2と3の単体的複体がコ-エン・マッコ-レイになるかどうかの判定を行った。
|
-
[Publications] 竹内康滋: "単体的複体に関するコ-エン・マコ-レイ性判定システム" 情報処理学会講演論文集. (1990)
-
[Publications] 渡辺清: "Cousin domains in 3ーdimensional projective space" Kobe J.Math. (1990)
-
[Publications] 角田譲: "The Role of a filter guantifier in set theory" Lecture Notes in Mathematics. 1388. 16-95 (1989)
-
[Publications] 木村郁雄: "On holomorphically convex hulls" Kobe J.Math.6. 285-292 (1989)
-
[Publications] 高橋典大: "On epimorphisms of semimodules" Kobe J.Math. (1990)
-
[Publications] 河野正晴: "Twisting of knots" Inventions Mathematicae.
