十分一般的な座標に関するグレブナ基底の次数を用いた斉次イデアルの分類

1998 Fiscal Year Annual Research Report

• Project/Area Number: 10640027
• Research Institution: Hiroshima University
• Principal Investigator: 尼崎 睦実 広島大学, 学校教育学部, 助教授 (10243536)
• Co-Investigator(Kenkyū-buntansha): 植田 敦三 広島大学, 学校教育学部, 助教授 (50168621) ; 石橋 康徳 広島大学, 学校教育学部, 教授 (30033848) ; 宮崎 誓 長野工業高等専門学校, 一般科, 助教授 (90229831)
• Keywords: ブルバキ,列 / グレブナ基底 / ワイエルシュトラウス基 / ベーシックシークエンス / 斉次素イデアル / 加群 / 斉次イデアル

Research Abstract

まず,一般にR上の次数付有限生成自由加群の斉次部分加群Mのワイエルシュトラス基としては,逆辞書式順序をもとにした,term over position順序で考えたグレブナ基底をうまく取ればよいということが明確になった.
斉次イデアルとねじれのない加群が長いブルバキ列で関係付けられているときに,それらのベーシックシークエンスの関係をquasi-Buchsbaumの場合に完全に明確にしたいというのが目的であった.この目的が終わったずっとあとでやる予定であったものが先になってしまったのだが,次のようなことがわかった.
2以上の自然数rおよび2以上r-2以下の自然数pがあるとする.また体上のr変数の多項式環R上の次数付有限生成自由加群の斉次部分加群Mがあるとする.Mが次の条件(1),(2),(3)を満たすと仮定する.
(1) Mの第r-p+1から第r-1までの局所コホモロジーと第1局所コホモロジーが0である
(2) 高さがrより小さいqである任意の素イデアルPにたいし,MをPで局所化たものの,RをPで局所化して得られる局所環上のdepthがmin(q-p+1, 3)以上となる.
(3) Mの第2局所コホモロジーはR加群として長さ有限である.この時Rの高さpの斉次素イデアルIで,Mと長いブルバキ列で互いに関係付けられるものが存在する.さらに,Iが定める射影的スキームは正規である.これはquasi-Buchsbaumの場合を含んでおり,ともかくも斉次素イデアルの存在がわかるのであるから大きな進展である.

Research Products

• [Publications] Mutsumi Amasaki: "Existence of homogeneous ideals fitting in to long Bourbaki sequences" Proceeding of the American Mathematical Society. 発表予定.
• [Publications] Mutsumi Amasaki: "Generic Grobner bases and Weierstrass bases of homogeneous submedules of graded free modules" Proceedings of the Bucks baum Conference, Catania, April 27 - May 15, 1998. 発表予定.