| 研究概要 |
斉次イデアルとねじれのない加群が長いブルバキ列で関係付けられているときに,それらのベーシックシークエンスの関係をquasi-Buchsbaumの場合に完全に明確にしたいというのが目的で研究を始めた.
まず,一般にR上に次数付有限生成自由加群の斉次部分加群Mのワイエルシュトラス基としては,逆辞書式順序をもとにした,term over position順序で考えたグラブナ基底をうまく取ればよいということが明確になった.
その後本来の目的が終わったずっとあとでやる予定であった問題について解決の糸口が見え始めたので,委細かまわずそれを片付けることに専念し次のような結果を得た.当初のピンポイント的な目的を包含する大きな研究目的に向かう流れの中では本流を行くものである.
定理1:::2以上の自然数rおよび2以上r-2以下の自然数pがあるとする.また体上のr変数の多項式環R上のねじれのない次数付有限生成加群Mがあるとする.Mが次の条件(1)と(2)を満たすと仮定する.
(1)Mの第r-p+1から第r-1までの局所コホモロジーが0である.
(2)MはR上の反射的な加群である.
この時Rの高さpの斉次素イデアルIで,Mと長いブルバキ列で互いに関係付けられるものが存在する.さらに,逆にそのような斉次素イデアルIが存在すればMは(1)と(2)を満たす.
定理2:::R上のねじれのない次数付有限生成加群Mが(1)を満たす時,斉次完全交叉f_1,...,f_{p-2}で次の性質をもつものがある.
(3)これらの定めるイデアルでできるRの剰余環をAとおくと,Aは正規環である.
(4)A上のねじれのない次数付有限生成加群D及びMからDへのR上の準同型写像で第0から第r-p+1までの局所コホモロジーに同型を引き起こすものが存在する.
|
