[论文解读] On the Surjectivity of Certain Maps

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

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

一句话总结

本论文建立了交换代数中三个关键映射的满射性：在根两两互素的理想的射影空间上的中国剩余约化映射，满足单位集条件的强逼近型约化映射，以及从特殊线性群到戴德金型域上射影空间乘积的映射。核心贡献是在一般环论条件下证明了这些满射性结果，推广了经典定理（如中国剩余定理）以及关于戴德金域上线性群的结果。

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 个两两互素理想之射影空间乘积的映射是满射。
• 在射影空间与线性群的背景下，统一并扩展代数数论、代数几何与环论的结果。
• 提出三个关于理想、射影空间与线性群相关映射满射性的开放问题，以激发交换代数与算术几何的进一步研究。

提出的方法

• 引入交换幺环中与理想关联的射影空间概念，通过生成单位理想的 (k+1)-元组上的等价关系定义。
• 定义理想的单位集条件，确保对任意单位 k 元组，存在适当的扰动使其模理想为单位。
• 引入戴德金型域作为满足四个结构性质的环：极大理想的幂不稳定性、幂的截面平凡、商环一维，以及非零元在极大理想中有限包含。
• 利用理想及其幂的结构，特别是局部化与完备化，分析射影空间与线性映射的行为。
• 应用交换代数中的结果，包括阿蒂亚-麦克唐纳关于完备化与维数理论的定理，证明诺特戴德金型域即为戴德金域。
• 采用 tuples 上的等价关系 ~_GR 定义射影空间中的点，并构造从矩阵到这些射影空间的映射以分析满射性。

实验结果

研究问题

• RQ1 在何种条件下，将理想射影空间映射到其互素因子射影空间乘积的中国剩余约化映射是满射？
• RQ2 当环模理想满足单位集条件时，强逼近型约化映射在何种情况下是满射？
• RQ3 对于戴德金型域及 k ≥ 2，从 k 维特殊线性群到 k 个两两互素理想射影空间乘积的映射是否为满射？
• RQ4 理想与环的必要与充分条件是什么，以保证从线性群到射影空间乘积的映射是满射？
• RQ5 戴德金型域的结构性质如何影响射影几何与算术中自然映射的满射性？

主要发现

• 对于根为两两不同极大理想的理想，其关联的中国剩余约化映射在射影空间上是满射。
• 对于满足单位集条件的理想，其强逼近型约化映射在环模下是满射。
• 对于任意诺特戴德金型域及 k ≥ 2，从 k 维特殊线性群到 k 个两两互素理想射影空间乘积的映射是满射，可通过行或列实现。
• 满足定义 1.5 中四个性质（幂不稳定性、截面平凡、一维商环、非零元有限包含）的诺特环是戴德金域。
• 在交换幺环上，基于理想构造的射影空间是良定义的，并通过 ~_GR 等价关系支持满射性结果。
• 本文构造了显式反例，表明满射性在一般情况下不成立，例如在 ℤ 与理想 pℤ 下，ℙ¹_p 中的 [1:-1] 不在 M_{1×2}(ℤ) 的像中。