|
楕円ファイバー構造をもつ代数曲面で一般のものは小平次元が1となっている。その中で、3次元射影空間に正規特異点を許して埋め込めるものは次数が5以上になることが知られている。本年は、正規5次曲面で小平次元が1となるものについて、その各種不変量の取りうる値を決定し、存在するものについては例を構成する作業を行った。(続行中)
一方、アルゴリズム論の観点からの代数系の研究については、有限表示されたモノイドに付随するグラフのパスの間のホモトピー関係式について研究した。特に1個の関係によって定義されるモノイドは有限なホモトピー基底を持つことを証明した。モノイドの多くの代数的性質(ほとんどのMarkov propertyを含む)が、線形時間で解ける語の問題をもつような有限表示モノイドのクラスに対しても決定不能であることを示し、従来のMar kovとSattler-Kleinの結果を拡張・精密化した。
|
