研究概要 |
この研究では,3 次元正則局所環(または多項式環)R において高さが 2 のイデアル I をとり,任意の正整数 n に対して I の記号的 n 乗( n-th symbolic power )を計算する新たな方法を見出すと共に,I の記号的リース代数(symbolic Rees algebra)のネータ性の判定法を改良することを目指している.このような I の典型的な例としては,互いに素な正整数 a, b, c に対して定まるスペース モノミアル カーブの定義イデアル P(a, b, c) が挙げられる.今年度は,状況を少し一般化し,R がCohen-Macaulay局所環という仮定の下での研究を行った.主結果は,R のイデアル J の自由分解を与える非輪状複体が与えられたとき,パラメータ系 x, y, z に関するKoszul複体を用いながらその非輪状複体を変形し,J : (x, y, z)R の自由分解を与える非輪状複体を構成するというものである.この変形を x, y, z に関する*変形と呼ぶことにする.R が 3 次元正則局所環で x, y, z が極大イデアルの生成系をなすとき,I の通常の n 乗の自由分解が分かっている場合には,その複体から始めて x, y, z に関する*変形を繰り返し施すことにより,I の記号的 n 乗の自由分解を求めることができる.そのプロセスを注意深く見ることにより,I の記号的べき乗の生成元や記号的べき乗を通常のべき乗で割って得られる剰余加群の長さに関する情報を得ることができる.I = P(a, b, c) として実際にこの方法を適用してみると,記号的 2 乗や記号的 3 乗の計算が,従来の方法よりも大幅に容易になることが確かめられた.
|
今後の研究の推進方策 |
次年度では,記号的リース代数のネータ性の判定法を改良することを試みる.良く知られている Huneke の判定法では,R が 3 次元正則局所環で極大イデアル (x, y, z)R をもつ場合を扱っていて,I の記号的 k 乗の元 f と記号的 l 乗の元 g をうまく見つけ,剰余加群 R / (x, f, g)R の長さが R / xR + I の長さの kl 倍に一致しているかどうかを調べる.f や g が xR を法として y や z のベキ乗と合同であれば R / (x, f, g)R の長さを求めることは容易であるが,必ずしもそうなるとは限らない.即ち,Huneke の判定法を実際に適用できる I はかなり素性の良いものに限られるのである.そこで,Huneke の判定法を改良し,これまでは扱ったことのない P(a, b, c) を調べてみたい.(f, g)R が I の根基を含むという条件と k, l に関する何らかの条件を合わせて I の記号的リース代数のネータ性を特徴付けられるのではないかと期待している.
|