[論文レビュー] Coherence in amalgamated algebra along an ideal

Karima Alaoui Ismaili, Najib Mahdou|arXiv (Cornell University)|Jan 12, 2013

Rings, Modules, and Algebras参考文献 7被引用数 4

ひとこと要約

本稿は、イデアルに沿った合成代数における一貫性を調査し、合成環 $A\bowtie^fJ$ が一貫的であるための必要十分条件を提供する。$A\bowtie^fJ$ が一貫的であることと、$A$ と $f(A)+J$ が一貫的環であることとは同値であり、$f^{-1}(J)$ と $J$ に対して追加の有限性条件を課すことで、非ネーター的だが一貫的な環の新たな族を構成する。

ABSTRACT

Let $f: A ightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we investigate the transfert of the property of coherence to the amalgamation $A\bowtie^{f}J$. We provide necessary and sufficient conditions for $A\bowtie^{f}J$ to be a coherent ring.

研究の動機と目的

• 合成代数 $A\bowtie^fJ$ が一貫的環であるための必要十分条件を特定すること。
• 合成構成を用いて、特に非ネーター的であるものの新しい一貫的環の理論を拡張すること。
• 基本環 $A$ および終域環 $f(A)+J$ からの一貫性性質の合成環への移行を分析すること。
• 前像イデアル $f^{-1}(J)$ およびイデアル $J$ が $A\bowtie^fJ$ の一貫性を決定する役割を明確にすること。
• 合成複製および $A+XB[X]$ 構成の文脈における既知の一貫的環の結果を一般化すること。

提案手法

• 合成構成 $A\bowtie^fJ = \{(a, f(a)+j) \mid a \in A, j \in J\}$ を $A \times B$ の部分環として用いる。
• $(A\bowtie^fJ)^n$ と $A^n \bowtie^{f^n}J^n$ の間の環同型を用いて、有限生成加群を研究する。
• 特に $n$-生成加群の概念を用いた加群論的道具を用い、一貫性を特徴づける。
• 引き戻し構成とイデアルの持ち上げ技術を用い、$A\bowtie^fJ$ の性質と $A$、$f(A)+J$ の性質を関連付ける。
• 既知の可換代数の結果、例えば [15, Theorem 4.1.5] および [15, Theorem 2.4.1] を適用して、一貫性の移行を導出する。
• $\frac{A\bowtie^fJ}{f^{-1}(J)\times\{0\}} \cong f(A)+J$ のような同型を用いて、一貫性の問題をより単純な環に還元する。

実験結果

リサーチクエスチョン

• RQ1 合成代数 $A\bowtie^fJ$ がいつ一貫的になるか。
• RQ2 $A\bowtie^fJ$ の一貫性は $A$ と $f(A)+J$ の一貫性とどのように関係するか。
• RQ3 有限生成である前像 $f^{-1}(J)$ が $A\bowtie^fJ$ の一貫性に果たす役割は何か。
• RQ4 合成構成によって、新たな非ネーター的一貫的環を生成できるか。
• RQ5 $J$ の正則性および有限生成性は、$A\bowtie^fJ$ の一貫性にどのように影響するか。

主な発見

• もし $A\bowtie^fJ$ が一貫的であれば、$A$ は一貫的でなければならない。なぜなら $A$ は $A\bowtie^fJ$ のモジュール再びであるからである。
• $J$ および $f^{-1}(J)$ が有限生成イデアルであれば、$A\bowtie^fJ$ が一貫的であることと、$A$ と $f(A)+J$ が一貫的環であることとは同値である。
• $J$ が $f(A)+J$ の正則的かつ有限生成イデアルであれば、$A\bowtie^fJ$ が一貫的であることと、$A$、$f(A)+J$、$f^{-1}(J)$ がすべて一貫的かつ有限生成であることとは同値である。
• $I$ が有限生成であれば、合成複製 $A\bowtie I$ が一貫的であることと、$A$ が一貫的であることとは同値である。
• 標準的準同型 $f: A \to A/I$ に対して、$A\bowtie^f\overline{J}$ が一貫的であることと、$A$ と $A/I$ が一貫的であり、$f^{-1}(J)$ が有限生成であることとは同値である。
• $A = K[[X_1, X_2, \dots]]$、$I = X_1A + X_2A$、および $A\bowtie I$ のような例は、非ネーター的だが一貫的な環を生み出し、この構成の有用性を示している。