ホモロジ-代数による局所環の研究

単体的複体を与えたとき、それが標数零の体上でコ-エン・マッコ-レイであることを判定するためのコンピュ-タ・システムを作成した。単体的複体をコンピュ-タ上に実現する工夫として、ベクトル表示を用いた。単体的複体の入力と多角形に対するリンクの生成が、ベクトル表示によって非常に容易に出来る。単体的複体がコ-エン・マコ-レイであるかどうかは、その複体の各多角形にたいするリンクのコホモロジ-群が消えることで判定できる。標数零の一般の体上で、コホモロジ-群を計算するためには、数式処理が必要になる。すなわち、鎖が輪体になる条件を、連立一次方程式で表すことができる。鎖が輪体になるための条件を、変数の一部を他の変数の一次結合に表現することによって表すことが出来る。この一次結合に表れた変数の係数を並べて出来る行列を利用する。さて、輪体が、鎖の境界になるための条件は、やはり連立一次方程式が解を持つことで確かめることができる。この数式処理は次の数値処理に帰着させることが出来る。すなわち、コホモロジ-が消えるための条件は、2つの行列の階数が等しいことである。このことは、行列に掃き出し法を適用して、確かめることが出来る。頂点数が5まで、次元が2と3の単体的複体がコ-エン・マッコ-レイになるかどうかの判定を行った。

単体的複体を与えたとき、それが標数零の体上でコ-エン・マッコ-レイであることを判定するためのコンピュ-タ・システムを作成した。単体的複体をコンピュ-タ上に実現する工夫として、ベクトル表示を用いた。単体的複体の入力と多角形に対するリンクの生成が、ベクトル表示によって非常に容易に出来る。単体的複体がコ-エン・マコ-レイであるかどうかは、その複体の各多角形にたいするリンクのコホモロジ-群が消えることで判定できる。標数零の一般の体上で、コホモロジ-群を計算するためには、数式処理が必要になる。すなわち、鎖が輪体になる条件を、連立一次方程式で表すことができる。鎖が輪体になるための条件を、変数の一部を他の変数の一次結合に表現することによって表すことが出来る。この一次結合に表れた変数の係数を並べて出来る行列を利用する。さて、輪体が、鎖の境界になるための条件は、やはり連立一次方程式が解を持つことで確かめることができる。この数式処理は次の数値処理に帰着させることが出来る。すなわち、コホモロジ-が消えるための条件は、2つの行列の階数が等しいことである。このことは、行列に掃き出し法を適用して、確かめることが出来る。頂点数が5まで、次元が2と3の単体的複体がコ-エン・マッコ-レイになるかどうかの判定を行った。