[論文レビュー] On some cconjectures about the Chern numbers of filtrations

Mousumi Mandal, Balwant Singh+1 more|arXiv (Cornell University)|Jan 16, 2010

Commutative Algebra and Its Applications参考文献 1被引用数 6

ひとこと要約

この論文は、全分数体における整閉包が底面の環上にコhen-Macaulayである解析的非分岐局域環のフィルトレーションの正性予想を証明する。$I$-adicフィルトレーションのチャーン数が $I$ がパラメータイデアルのとき非負であることを確立し、単体的複体の面数に基づいて正規チャーン数の明示的公式を提示し、純粋な複体ではそれが非負であることを示している。これらの結果は、局域環論におけるバスコネロスのチャーン数に関する主要な予想を解決する。

ABSTRACT

Let I be an m-primary ideal of a Noetherian local ring (R,m) of positive dimension. The coefficient $e_1(A)$ of the Hilbert polynomial of an I-admissible filtration A is called the Chern number of A. The Positivity Conjecture of Vasconcelos for the Chern number of the integral closure filtration ${\bar{I^n}}$ is proved for a 2-dimensional complete local domain and more generally for any analytically unramified local ring R whose integral closure in its total ring of fractions is Cohen-Macaulay as an R-module. It is proved that if I is a parameter ideal then the Chern number of the I-adic filtration is non-negative. Several other results on the Chern number of the integral closure filtration are established, especially in the case when R is not necessarily Cohen-Macaulay.

研究の動機と目的

• 解析的非分岐ネーター局域環 $R$ において、全分数体における $R$ の整閉包が $R$-加群としてコhen-Macaulayであるような、正規チャーン数 $\overline{e}_1(I)$ の正性予想を証明すること。
• ネーター局域環においてパラメータイデアル $J$ の $J$-adic フィルトレーションのチャーン数 $e_1(J)$ が非負であることを確立すること。
• 単体的複体の面環における最大同次イデアルの正規チャーン数について、面数 $f_{d-1}, f_{d-2}$ を用いた明示的公式を提示すること。
• 特にコhen-Macaulay被覆とバックスバウム環の文脈において、チャーン数と環の構造との関係を調査すること。
• バスコネロスの負性予想のケースを解決し、非コhen-Macaulayな状況におけるチャーン数に関する既知の結果を拡張すること。

提案手法

• ヒルベルト多項式と正規ヒルベルト多項式を用いて、フィルトレーションのチャーン数 $e_1$ 及びその正規版 $\overline{e}_1$ を定義する。
• 解析的非分岐環において正規ヒルベルト多項式の存在を保証するリースの定理を $I$-適切なフィルトレーションに適用する。
• 特に次元2における計算を目的として、形式的べき級数環と単項式イデアルを用いた明示的例の構成。
• 順序付き環と関連する順序付き加群を用いて、コhen-Macaulay被覆 $S$ に対する $\lambda(R/J^n)$ と $\lambda(S/JS^n)$ の長さを比較し、多項式の比較に至る。
• 単体的複体の面環の構造を活用し、$\overline{e}_1(\mathfrak{m})$ を $d f_{d-1} - f_{d-2}$ として表現する。ここで $f_i$ は $i$ 次元の面の数を表す。
• 可換図式と長さの比較を用いて、$\lambda(J^{n+1}S/J^{n+1})$ に関連する境界と恒等式を導出し、関連多項式の次数および最高次の係数の分析に至る。

実験結果

リサーチクエスチョン

• RQ1 解析的非分岐局域環 $R$ における $\mathfrak{m}$-主イデアル $I$ の正規チャーン数 $\overline{e}_1(I)$ は $\overline{e}_1(I) \geq 0$ を満たすか？
• RQ2 ネーター局域環においてパラメータイデアル $J$ の $J$-adic フィルトレーションのチャーン数 $e_1(J)$ は非負か？
• RQ3 単体的複体 $\Delta$ の面環における最大同次イデアルの正規チャーン数は、その面数を用いて表現可能であり、純粋な複体では非負か？
• RQ4 コhen-Macaulay被覆 $S$ を持つ環 $R$ におけるパラメータイデアル $J$ に対して、等式 $e_1(J) = -\lambda(S/R)$ が成り立つ条件は何か？
• RQ5 $\lambda(S/R) = \mu_R(S/R)$ であるという条件が $R$ がバックスバウム環であることを示唆するか？このような場合、$e_1(J)$ の値は何か？

主な発見

• 解析的非分岐ネーター局域環 $R$ において、全分数体における $R$ の整閉包が $R$-加群としてコhen-Macaulayである限り、正規チャーン数 $\overline{e}_1(I)$ の正性予想は成立する。
• 2次元の完全な局所整域では、正規チャーン数 $\overline{e}_1(I)$ は非負であり、この場合に予想が正当化される。
• 1次元の非純粋な単体的複体から構成された2次元の解析的非分岐局域環 $R$ に対して、$\overline{e}_1(\mathfrak{m})$ が負になることがある。これは、純粋性または準混合性の仮定なしには予想が成立しないことを示している。
• 次元 $d-1$ の単体的複体 $\Delta$ の面環において、最大同次イデアルの正規チャーン数は $\overline{e}_1(\mathfrak{m}) = d f_{d-1} - f_{d-2}$ と表され、$\Delta$ が純粋であれば非負である。
• $R$ がコhen-Macaulay被覆 $S$ を持ち、$\lambda(S/R) = \mu_R(S/R)$ であるとき、$R$ の任意のパラメータイデアル $J$ に対して $e_1(J) = -\lambda(S/R)$ が成り立ち、$R$ はバックスバウム環である。
• 明示的例により、次元2の場合、$\mu_R(S/R) = 1$ のとき、$p = \lambda(S/R)$ とおくと、チャーン数 $e_1(J)$ は範囲 $[-p, -1]$ の任意の整数値を取り得ることが示された。