[論文レビュー] On the Surjectivity of Certain Maps

C P Anil Kumar|arXiv (Cornell University)|Aug 12, 2016

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

ひとこと要約

本稿は、可換代数における3つの主要な写像の上への性質（surjectivity）を確立している。それぞれは、互いに素な根を持つイデアル上の射影空間における中国剰余定理の還元写像、単位集合条件を満たすイデアルに関する強近似型還元写像、およびデデキンド型環上の特殊線形群から射影空間の積への写像である。中心的な貢献は、古典的な定理（中国剰余定理やデデキンド環上の線型群に関する結果など）を一般な環論的条件下で拡張し、これらの上への性質を証明したことにある。

ABSTRACT

We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals are pairwise distinct maximal ideals. In Theorem $1.7$ we prove the surjectivity of the reduction map of the strong approximation type for a ring quotiented by an ideal which satisfies unital set condition. In Theorem $1.8$ we prove for Dedekind type domains which include Dedekind domains, for $k\geq 2$, the map from $k$-dimensional special linear group to the product of projective spaces of $k$ mutually co-maximal ideals associating the $k$-rows or $k$-columns is surjective. Finally this article leads to three interesting questions $[1.9, 1.10, 1.11]$ mentioned in the introduction section.

研究の動機と目的

• 互いに異なる極大イデアルの根を持つイデアルに関連する射影空間への中国剰余定理の一般化。
• 単位集合条件を満たすイデアルに関する還元写像の上への性質の確立。これは強近似原理を拡張するものである。
• k ≥ 2 およびデデキンド型環に対して、k次元特殊線形群からk個の互いに素なイデアルの射影空間の積への写像が上への写像であることを証明する。
• 代数的数論、代数幾何学、および環論の結果を、射影空間と線型群の文脈で統一的かつ拡張的に扱う。
• イデアル、射影空間、および線型群を含む写像の上への性質に関する3つの未解決の問題を提示し、可換代数および算術幾何学分野におけるさらなる研究を刺激する。

提案手法

• 単位元を持つ可換環におけるイデアルに関連する射影空間の概念を導入する。これは、単位イデアルを生成する(k+1)重組の同値関係によって定義される。
• イデアルの単位集合条件を定義する。これは、任意の単位k重組に対して、適切な摂動によりイデアルを法として単位元が得られることを保証する。
• デデキンド型環を、4つの構造的性質を満たす環として定義する：極大イデアルのべきの非安定化、べきの交わりが自明、1次元の商、非ゼロ元が極大イデアルに有限個しか含まれない。
• 局所化や完備化におけるイデアルおよびそのべきの構造を用いて、射影空間および線型写像の振る舞いを分析する。
• 完備化と次元論に関するアティヤ＝マクドナルドの定理を含む可換代数の結果を応用し、noetherianなデデキンド型環がデデキンド環であることを証明する。
• 射影空間の点を定義するための同値関係 ~_GR を導入し、行列からこれらの射影空間への写像を構成して、上への性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 互いに素な因子の射影空間への中国剰余還元写像が、根が互いに異なる極大イデアルであるイデアルの射影空間から写されるとき、どのような条件下で上への写像となるか？
• RQ2 単位集合条件を満たすイデアルに関する強近似型還元写像が、環をそのイデアルで割った商環上で上への写像となるのはいつか？
• RQ3 k ≥ 2 およびデデキンド型環に対して、k次元特殊線形群からk個の互いに素なイデアルの射影空間の積への写像が上への写像であるか？
• RQ4 線型群から射影空間の積への写像の上への性質が成り立つための、イデアルおよび環に関する必要十分条件は何か？
• RQ5 デデキンド型環の構造的性質が、射影幾何学および算術論における自然な写像の上への性質にどのように影響を与えるか？

主な発見

• 根が互いに異なる極大イデアルに分解可能なイデアルに関する射影空間に付随する中国剰余還元写像は上への写像である。
• 単位集合条件を満たすイデアルに関する強近似型還元写像は、環をそのイデアルで割った商環上で上への写像である。
• 任意のデデキンド型環およびk ≥ 2に対して、k次元特殊線形群からk個の互いに素なイデアルの射影空間の積への写像は、行または列を用いて上への写像である。
• 定義1.5の4つの性質（べきの非安定化、交わりが自明、1次元の商、非ゼロ元の有限包含）を満たすnoetherian環はデデキンド環である。
• 単位元を持つ可換環におけるイデアル上の射影空間の構成は、well-definedであり、~_GR 同値関係を介して上への性質の証明を支える。
• 本稿では、一般には上への性質が成り立たない具体例を構成しており、例えばℤおよびイデアルpℤに対して、ℙ¹_pにおける[1:-1]はM_{1×2}(ℤ)の像に含まれない。