[論文レビュー] Rings whose ideals are isomorphic to trace ideals

Toshinori Kobayashi, Ryo Takahashi|arXiv (Cornell University)|Jul 1, 2018

Commutative Algebra and Its Applications参考文献 15被引用数 4

ひとこと要約

この論文は、すべてのイデアルがトレースイデアルに同型であるような可換ノエター局域環の完全な分類を提供する。その結果、このような環はちょうどアーティン・ゴレンシュタイン環、多重度が2以下である1次元ハイパーサーフェス、または一意因数分解整域（UFD）に限ることを示した。これはリンโดとパンデが提起した問題を解決するものである。主な結果は、局所環の双対性理論、トレースイデアルの性質、およびさまざまな次元の局所環における深さに関する議論によって得られている。

ABSTRACT

Let R be a commutative noetherian ring. Lindo and Pande have recently posed the question asking when every ideal of R is isomorphic to some trace ideal of R. This paper studies this question and gives several answers. In particular, a complete answer is given in the case where R is local: it is proved in this paper that every ideal of R is isomorphic to a trace ideal if and only if R is an artinian Gorenstein ring, or a 1-dimensional hypersurface with multiplicity at most 2, or a unique factorization domain.

研究の動機と目的

• 可換ノエター局域環においてすべてのイデアルがトレースイデアルに同型となる条件を特定するというリンโดとパンデの問いを解決すること。
• 特に低次元および高次元の設定において、リンド＝パンデ条件を満たす局所環を特徴づけること。
• 局所環におけるトレースイデアル、因子的性、ゴレンシュタイン／ハイパースーフェス特異点の関係を明確にすること。
• リンド＝パンデ条件が完備化の下で常に持ち上がらないこと、特に深さ ≥2 の環においてはそうであることを示すこと。
• すべてのイデアルがトレースイデアルに同型であるような局所環の完全な特徴づけを提示し、次元および特異点型にわたる場合を統合すること。

提案手法

• 双対性理論と $R$-双対関手 $(-)^*$ を用い、トレースイデアルは写像 $\lambda_M^R: M^* \otimes_R M \to R$ の像 $\operatorname{tr}_R M$ として特徴づけられる。
• イデアルおよびモジュールにトレースイデアル構成を適用し、全商環 $Q$ におけるコロナおよびアンニヒレーターを用いて、イデアルがトレースイデアルに同型となる条件を調査する。
• 深さ ≥2 の環におけるイデアルの構造を、深さの議論と $\mathrm{(S_2)}$ 条件を用いて分析し、特に高さ1および高さ0の素イデアルに注目する。
• クラウルの交差定理と商モジュールを含む完全系列を用い、イデアル構造に関する仮定が失敗した場合に矛盾を導き出し、特に深さ ≥2 の設定で分析する。
• トレースイデアルがモジュールの同型に関して保存されることを活用し、問題を単項イデアルとそのトレース性の研究に還元する。
• 完備化の挙動とリンド＝パンデ条件の関係を分析し、特に深さ ≥2 の環においては、条件が完備化の下で持ち上がらないことを示す反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 可換ノエター局域環において、すべてのイデアルがトレースイデアルに同型となるのはいつか？
• RQ2 特に深さ0、1、および高次元において、すべてのイデアルがトレースイデアルに同型であるような局所環はどのように特徴づけられるか？
• RQ3 深さ ≥2 の環において、リンド＝パンデ条件は完備化の下でどのように振る舞うか？
• RQ4 因子的性と、すべてのイデアルがトレースイデアルに同型であるという性質との関係は何か？
• RQ5 ハイパースーフェスや $A_n$ 特異点などの特異点は、リンド＝パンデ条件を満たすか？

主な発見

• 可換ノエター局域環がリンド＝パンデ条件（すべてのイデアルがトレースイデアルに同型）を満たすための必要十分条件は、アーティン・ゴレンシュタイン環、多重度が2以下の1次元ハイパースーフェス、または一意因数分解整域（UFD）であることである。
• 深さ0の局所環においては、リンド＝パンデ条件はアーティン・ゴレンシュタイン環であることと同値であり、すべての五つの条件（トレースイデアル、トレースイデアルに同型であることなど）が同値である。
• 深さ1の局所環では、リンド＝パンデ条件が成り立つのは、1次元ハイパースーフェスで多重度 ≤2 であるか、またはその完備化が $0 \leq n \leq \infty$ に対して $(A_n)$-特異点である場合に限る。代数的に閉じた標数0の残渣体をもつ環では、完全な同値性が成り立つ。
• すべての極大イデアルの高さが ≥2 である環では、すべてのイデアルがトレースイデアルに同型であることと、環が一意因数分解整域の積であることとは同値である。
• リンド＝パンデ条件は、完備化の下で必ずしも持ち上がらない：深さ2の一意因数分解整域の局所環であっても、その完備化が一意因数分解整域ではなくなる例が存在し、その場合条件を満たさない。
• 2次元の一意因数分解整域で canonical モジュールを持たないオゴマの例を用いて、$R$ はリンド＝パンデ条件を満たすが $\widehat{R}$ は満たさない反例を構成した。