[論文レビュー] On some factorial properties of subrings

Piotr Jędrzejewicz, Łukasz Matysiak+1 more|arXiv (Cornell University)|Jun 21, 2016

Advanced Differential Equations and Dynamical Systems参考文献 10被引用数 7

ひとこと要約

本稿は、一意因数分解整域（UFD）における部分環の階乗的性質を調査し、部分環が因数分解、既約性、平方自由元に関して閉じる条件に注目する。ジャコビアン条件、平方自由元の包含、代数的閉性の間の同値性を確立し、UFDにおける平方因数的閉部分環を理解するための枠組みを提供する。

ABSTRACT

We discuss various factorial properties of subrings as well as properties involving irreducible and square-free elements, in particular ones connected with Jacobian conditions.

研究の動機と目的

• 一意因数分解整域の部分環における階乗的性質（既約性、平方自由性、相対的素性など）の関係を調査すること。
• UFD A の部分環 R が A において代数的閉である条件を、特にジャコビアン行列式の条件に基づいて明確化すること。
• 特に平方因数的閉性を含む一般化された階乗的閉包性質を満たす部分環を特徴づけること。
• 既存の因数的閉部分環に関する結果を拡張し、べき乗および平方自由元を含むより強い閉包条件を導入・分析すること。
• 特徴的な多項式環（標数0の体上）における部分環の構造的性質と、ジャコビアン予想関連の条件を統合する枠組みを提供すること。

提案手法

• 平方因数的閉部分環の概念を用い、$ x^2y \in R\setminus\{0\} $ かつ $ x \in A $、$ y \in \operatorname{Sqf}A $ ならば $ x,y \in R $ であるという条件で定義する。
• 代数的閉性の主要基準として、$ \gcd(\operatorname{jac}^{f_1,\dots,f_r}_{x_{i_1},\dots,x_{i_r}}) \in k\setminus\{0\} $ というジャコビアン行列式の条件を適用する。
• ジャコビアン GCD 条件と既約元・平方自由元の包含の間の同値定理を用い、$ \operatorname{Irr}R \subset \operatorname{Sqf}A $ および $ \operatorname{Sqf}R \subset \operatorname{Sqf}A $ を結びつける。
• 単元と分数の整合性を保証する条件 $ R_0 \cap A = R $ および $ R^* = A^* \cap R $ を用いて、部分環における整除性と相対的素性を分析する。
• べき乗に関する複数の閉包条件の間の同値性を導入・証明する。例えば、$ k > 1 $ に対して $ a^k b \in R \setminus \{0\} \Rightarrow a,b \in R $ が成り立つ。
• 局所化、商体、微分作用素を含む可換代数の道具を用い、部分環の構造と多項式環の性質の関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 多項式環 $ A = k[x_1,\dots,x_n] $ の部分環 $ R = k[f_1,\dots,f_r] $ が $ A $ において代数的閉であるための条件は何か？
• RQ2 ジャコビアン行列式の条件は、部分環における既約元および平方自由元の包含とどのように関係するか？
• RQ3 特に $ y \in \operatorname{Sqf}A $ に対して $ x^2y \in R \Rightarrow x,y \in R $ を満たす部分環の特徴づけは何か？ これは階乗的閉包の一般化である。
• RQ4 $ \operatorname{Irr}R \subset \operatorname{Sqf}A $ および $ \operatorname{Sqf}R \subset \operatorname{Sqf}A $ という条件が、$ R $ の $ A $ における代数的閉性をどれほど示唆するか？
• RQ5 べき乗閉包条件 $ a^k b \in R \Rightarrow a,b \in R $（$ k > 1 $）は、標準的な階乗的閉包性と相対的素性の性質とどのように関係するか？

主な発見

• $ \gcd(\operatorname{jac}^{f_1,\dots,f_r}_{x_{i_1},\dots,x_{i_r}}) \in k\setminus\{0\} $ という条件は、$ \operatorname{Irr}R \subset \operatorname{Sqf}A $ および $ \operatorname{Sqf}R \subset \operatorname{Sqf}A $ と同値であり、ジャコビアン理論と階乗的構造の間の関係を示す。
• 平方因数的閉部分環は、$ y \in \operatorname{Sqf}A $ に対して $ x^2y \in R\setminus\{0\} \Rightarrow x,y \in R $ を満たし、このような部分環は $ A $ において根閉じである。
• 仮定 $ R^* = A^* $ および $ R_0 \cap A = R $ の下で、$ \operatorname{Sqf}R \subset \operatorname{Sqf}A \Leftrightarrow \text{すべての } x \in A, y \in \operatorname{Sqf}A \text{ に対して } x^2y \in R\setminus\{0\} \Rightarrow x,y \in R $ が成り立つ。
• $ k > 1 $ に対して $ a^k b \in R\setminus\{0\} \Rightarrow a,b \in R $ という条件は、すべての $ k > 1 $ に拡張された場合、標準的な階乗的閉包性と同値であり、乗法的閉包性を示す。
• すべての $ k \geq 1 $ に対して $ a^k b \in R\setminus\{0\} \Rightarrow a,b \in R $ であることは、標準的な階乗的閉包条件 $ ab \in R \Rightarrow a,b \in R $ と同値であり、高次のべき乗条件が完全な閉包性を示すことを示す。
• $ a^k b \in R\setminus\{0\} $ がすべての $ k \geq k_0 $ に対して成り立つならば $ a,b \in R $ である。これは、すべての高次のべきが $ R $ に属するならば、完全に $ R $ に属するという事実を示している。