[论文解读] An Open Mapping Theorem for rings which have a zero sequence of units

Timo Henkel|arXiv (Cornell University)|Jul 21, 2014

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

一句话总结

本文建立了关于具有收敛于零的单位序列的拓扑环上拓扑模的开映射定理，推广了泛函分析中的经典结果。关键贡献在于证明：对于此类环——特别是完备诺特豪斯多夫拓 Tate 环——在有限生成模上存在唯一一个完备、可度量且豪斯多夫的拓扑，使得在温和条件下线性映射保持连续性和开性。

ABSTRACT

This paper provides an Open Mapping Theorem for topological modules over rings that have a zero sequence consisting of units. As an application it is shown that there is a unique complete and metrisable topology on finitely generated modules over certain topological rings (e.g. over complete noetherian Hausdorff Tate rings).

研究动机与目标

• 将巴拿赫空间中的开映射定理推广至具有零序列单位的拓扑环上的拓扑模。
• 建立在特定拓扑环上，有限生成模可赋予唯一完备且可度量拓扑的条件。
• 为这类模之间的 R-线性映射的连续性提供判别准则。
• 将结果应用于完备诺特豪斯多夫拓 Tate 环，其中有限生成模上的拓扑被唯一确定。

提出的方法

• 将拓扑向量空间中开映射定理的类经典证明，推广至具有收敛于零的单位序列的环上的拓扑 R-模设置。
• 在具有可数邻域基的完备拓扑群背景下应用贝尔范畴定理。
• 通过模的加法群中的柯西列定义完备性。
• 运用 Tate 环的结构，特别是存在一个拓扑幂零单位，以及由理想幂生成的基本邻域系。
• 利用：在完备环上，可度量模的完备化是完备环上的一個模。
• 通过证明任意两种此类拓扑之间存在一个开、连续、双射的映射（即同胚），从而证明拓扑的唯一性。

实验结果

研究问题

• RQ1 在何种条件下，拓扑环 R 使得 R-线性映射在拓扑 R-模之间满足开映射定理？
• RQ2 在完备诺特豪斯多夫非阿基米德环 R 上，是否可为有限生成 R-模定义唯一完备且可度量的拓扑？
• RQ3 单位零序列的存在在保证模映射的开性和完备性方面起什么作用？
• RQ4 Tate 环的拓扑结构——特别是拓扑幂零单位的存在——如何促进唯一模拓扑的构造？
• RQ5 在不假设显式度量或范数结构的前提下，有限生成模上 R-线性映射的连续性在多大程度上可被保证？

主要发现

• 对于具有收敛于零的单位序列的拓扑环 R，若 R-模 M → N 的连续 R-线性映射 u: M → N 满足 M 和 N 均为完备、豪斯多夫且具有可数邻域基，则 u 是开映射当且仅当 u 是满射且 N 完备。
• 当 u 的像不是第一纲集时，或等价地，当 u 将 M 中 0 的邻域映射为 N 中 0 的邻域时，开映射定理成立。
• 在具有可数邻域基且存在单位零序列的完备诺特豪斯多夫非阿基米德环 R 上，任一有限生成 R-模到另一模的 R-线性映射均为连续。
• 对于完备诺特豪斯多夫 Tate 环 R，任意有限生成 R-模 M 上存在唯一的 R-模拓扑，使得 M 为豪斯多夫、完备且可度量。
• 此类环上有限生成 R-模的完备化与模本身一致，意味着拓扑由模结构和环的拓扑唯一确定。
• 唯一性证明依赖于：在两种此类拓扑之间的恒等映射是连续且开的，因此为同胚，从而强制两种拓扑相等。