[论文解读] Complete intersections of dimension zero: variations on a theme of Wiebe

Anne-Marie Simon, Jan R. Strooker|ArXiv.org|Mar 29, 2007

Rings, Modules, and Algebras参考文献 8被引用 3

一句话总结

本文重新探討 Wiebe 對諾特局部環中零維完全交截的理想之準則，建立 C.I.0-理想（商為零維完全交截的理想）與 x-優矩陣之間的對應關係。本文證明 C.I.0-理想之鏈對應於 x-優矩陣的矩陣分解，並提供判別條件，以判斷某元素的零化子或極大理想之極小生成元所生成的主理想是否為 C.I.0-理想，主要結果將這些理想與環的 socle 結構及其作為正則局部環商的實現方式聯繫起來。

ABSTRACT

Wiebe's criterion, which recognizes complete intersections of dimension zero among the class of noetherian local rings, is revisited and exploited in order to provide information on what we call C.I.0-ideals (those such that the corresponding quotient is a complete intersection of dimension zero) and also on chains of C.I.0-ideals. A correspondence is established between C.I.0-ideals and a certain kind of matrices which we call $x$-nice, and a chain of C.I.0-ideals corresponds to a factorization of some $x$-nice matrix. When the local ring $A$ itself is a complete intersection of dimension zero, a C.I.0-ideal is necessarily of the form $(0:bA)$ for some $b\in A$. Some criteria are provided to recognize whether an ideal $(0:bA)$ is C.I.0 or not. When $y$ is a minimal generator of the maximal ideal of $A$, it is also proved that the ideals $yA$ and $(0:yA)$ are C.I.0 simultaneously and that this is the case exactly when the ideal $(0:yA)$ is principal. These C.I.0-ideals of the form $(0:yA)$, $y$ being a minimal generator of the maximal ideal, are investigated. They are of interest because the smallest nonnull C.I.0-ideal in a strict chain of C.I.0-ideals of the maximal length is necessarily of that form, and their existence has some implications for a realization of the ring, i.e. for the way the ring can can be viewed as a quotient of a regular local ring.

研究动机与目标

• 將 Wiebe 對諾特局部環中零維完全交截之識別準則加以延伸與重新詮釋。
• 透過矩陣理論條件，特徵化 C.I.0-理想——即其商為零維完全交截的理想。
• 建立 C.I.0-理想之鏈與 x-優矩陣分解之間的對應關係。
• 判斷某元素的零化子或由極大理想之極小生成元所生成的主理想是否本身為 C.I.0-理想。
• 探討零維完全交截環作為正則局部環商之實現方式的結構影響。

提出的方法

• 引入 x-優矩陣之概念：在局部環 A 上的 n×n 矩陣 φ，滿足 det(φ) ∉ (x·φ)，其中 x 生成極大理想。
• 證明 C.I.0-理想與 x-優矩陣之間存在雙射對應，且矩陣的行列式生成模去理想的 socle。
• 建立矩陣分解對應關係：C.I.0-理想之包含關係 I₀ ⊂ I₁ 對應於 I₀ 中 x-優矩陣的分解。
• 利用 x-Wiebe 矩陣（其中 x·ψ = 0 且 det(ψ) 生成 socle）的結構，當 A 本身為 C.I.0 環時，可生成所有 C.I.0-理想。
• 將理論應用於主理想 (yA) 及其零化子 (0:yA)，證明 yA 為 C.I.0-理想當且僅當 (0:yA) 為主理想。
• 利用極大理想的極小生成元構造 C.I.0-理想之鏈，並推導此類鏈達至最大長度之條件。

实验结果

研究问题

• RQ1 當 y 為極大理想之極小生成元時，其主理想 (yA) 的零化子是否為 C.I.0-理想？
• RQ2 何種條件可確保由極大理想之極小生成元 y 所生成的主理想 (yA) 為 C.I.0-理想？
• RQ3 在零維完全交截環中，C.I.0-理想之鏈如何與 x-優矩陣的分解相關？
• RQ4 若存在形如 (0:yA) 的 C.I.0-理想，對該環作為正則局部環商之實現方式會產生何種結構約束？
• RQ5 在何種條件下，零維完全交截環容許長度達最大可能值的嚴格飽和 C.I.0-理想鏈？

主要发现

• 當 y 為極大理想之極小生成元時，主理想 yA 為 C.I.0-理想，若且唯若其零化子 (0:yA) 為主理想。
• (0:yA) 為 C.I.0-理想，若且唯若其為主理想，且此情形恰好發生於 (0:yA) 由單一元素生成時。
• 當 A 為零維完全交截環時，所有 C.I.0-理想皆可透過 x-Wiebe 矩陣的矩陣分解方式獲得。
• A 存在 x-Wiebe 矩陣，若且唯若 A 為零維完全交截環，且其行列式生成 socle M^n = (0:M)。
• 對於極大理想 M 之極小生成序列 x = (x₁, ..., xₙ) 中的極小生成元 x₁，理想 x₁A 為 C.I.0-理想，若且唯若 (0:x₁A) 不包含於理想 (x₂A + ⋯ + xₙA) 中。
• 若存在形如 (0:yA) 的 C.I.0-理想（其中 y 為極小生成元），則對該環作為正則局部環商之實現方式會產生結構上的約束。