[論文レビュー] Liftable integral closure

Neil Epstein, Bernd Ulrich|arXiv (Cornell University)|Sep 26, 2013

Commutative Algebra and Its Applications参考文献 9被引用数 7

ひとこと要約

本稿では、埋め込みに依存せず、商 $M/L$ の加群構造にのみ依存する新しい閉包作用素—持ち上げ可能な整閉包—を導入する。特に、次元が2以上の優れた等次元で非混合な局所環において、任意の有限長加群が、$T$ が $L$ に対して整であり、$T$ と $L$ が有限生成かつ非ねじれであるような商 $T/L$ として表されることが示される。

ABSTRACT

We develop the basic properties of an essentially new closure operation on submodules, the \emph{liftable integral closure} of a submodule, including its relationships with the two prevailing notions of integral closure of submodules. We show that for a quite general class of local rings, every finite length module may be represented as a quotient of the form $T/L$, where $T$ is torsionless and integrally dependent on $L$.

研究の動機と目的

• 商加群構造 $M/L$ のみに依存する新しい閉包作用素—持ち上げ可能な整閉包—を定義すること。
• この新しい閉包作用素と、リースや EHU 整閉包といった既存の概念との関係を調査すること。
• 有限長加群が、非ねじれ加群の整拡大の商として表されるような条件を確立すること。
• 環の次元および特異点型に基づいて、持ち上げ可能な整閉包に関連するテストイデアルを特徴付けること。

提案手法

• 自由加群に含まれる $M/L$ の中で $x$ が $L$ に対して整であるような元に持ち上げられるような $x \in M$ の集合として、持ち上げ可能な整閉包 ${L}^{ ext{lift}}_M$ を定義する。
• 対称代数の構成と次数付き環における整性を用いて、この閉包作用素を特徴付ける。
• 整閉包の価値的基準を用いて、持ち上げ可能な閉包を価値環や価値環への準同型と関連付ける。
• 単射包を構成し、自由加群からの全射を用いて、閉包性質を解析できる自由な設定に加群を持ち上げる。
• 有限生成自由部分加群に対する直極限の議論を用いて、整閉包条件を局所化し、有限生成解を抽出する。
• 次元 ≥2 の優れた等次元で非混合な環において、自由加群内の核の持ち上げ可能な整閉包が、その自由加群全体に一致することを証明し、主要な表現定理を導く。

実験結果

リサーチクエスチョン

• RQ1 次元が2以上の局所環上での任意の有限長加群は、非ねじれで $L$ に対して整であるような $T$ を用いて、$T/L$ の形に表せるか？
• RQ2 持ち上げ可能な整閉包は、埋め込み依存性および構造的不変性の観点から、リース閉包や EHU 整閉包とどのように異なるか？
• RQ3 持ち上げ可能な整閉包に関連するテストイデアル $\tau_{\mathcal{I}}$ と $\tau_{\mathcal{M}}$ は何か？また、環の次元に応じてどのように変化するか？
• RQ4 自由加群内の部分加群の持ち上げ可能な整閉包が、自由加群全体に一致する条件は何か？
• RQ5 持ち上げ可能な整閉包を用いて、アービン加群の有限生成表示を、非ねじれ加群の整拡大の商として構成できるか？

主な発見

• 次元が2以上の優れた等次元で非混合な局所環において、自由加群 $F$ 内の核 $K$ の持ち上げ可能な整閉包は、$F$ 全体に一致する。すなわち、${K}^{ ext{lift}}_F = F$ である。
• 0次元の環では、テストイデアル $\tau_{\mathcal{I}}$ は環のソクルに一致する。
• 1次元のコhen–マカウル環では、テストイデアル $\tau_{\mathcal{I}}$ は導来イデアルに一致する。
• 次元が2以上の等次元で非混合な優れた環では、$\tau_{\mathcal{I}}$ と $\tau_{\mathcal{M}}$ はともに消える。
• 次元が2以上の優れた等次元で非混合な局所環上の任意の有限長加群 $M$ は、$T$ が $L$ に対して整で、$L \subseteq T$ が有限生成かつ非ねじれであるような $T/L$ に同型である。
• この結果はグローバルに拡張可能である：$M$ の最小素点の集合 $\mathcal{A}$ で、高さが2以上で、局所化が優れて等次元であるようなものに対して、$M \cong T/L$ が成り立ち、任意の $\mathfrak{p} \in \mathcal{A}$ に対して $T_{\mathfrak{p}}$ が $L_{\mathfrak{p}}$ に対して整である。