[论文解读] Examples and non-examples of integral categories and the admissible intersection property

Souheila Hassoun, Amit Shah+1 more|arXiv (Cornell University)|May 22, 2020

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文研究了泛函分析范畴中的积分范畴与可接受交的性质，证明了预阿贝尔范畴是拟阿贝尔范畴当且仅当它具有可接受交。文章表明积分范畴不一定是拟阿贝尔范畴，给出了拓扑空间与赋范空间中的反例，并指出此类范畴大多缺乏足够的投射对象或内射对象。

ABSTRACT

Integral categories form a sub-class of pre-abelian categories whose systematic study was initiated by Rump in 2001. In the first part of this article we determine whether several categories of topological and bornological vector spaces are integral. Moreover, we establish that the class of integral categories is not contained in the class of quasi-abelian categories, and that there exist semi-abelian categories that are neither integral nor quasi-abelian. In the last part of the article we show that a category is quasi-abelian if and only if it has admissible intersections, in the sense considered recently by Br{\\"u}stle, Hassoun and Tattar. This exhibits that a rich class of non-abelian categories having this property arises naturally in functional analysis.

研究动机与目标

• 确定泛分析中的关键范畴（如巴拿赫空间、弗雷歇空间和赋范空间）是否为积分范畴。
• 解决积分范畴是否必然为拟阿贝尔范畴的开放问题，表明它们并非如此。
• 研究半阿贝尔、积分与拟阿贝尔范畴之间的关系，表明它们在并集中不封闭。
• 通过可接受交性质刻画拟阿贝尔范畴，建立一种新的内在判别准则。
• 分析各种泛函分析范畴中足够投射对象与内射对象的存在性，表明大多数范畴缺乏这些对象。

提出的方法

• 通过分析单射在上包络下的稳定性与满射在下包络下的稳定性，检验拓扑与赋范向量空间范畴中的整性。
• 应用Rump的积分范畴框架，通过范畴图与公理化定义，将其与拟阿贝尔及半阿贝尔结构进行比较。
• 利用可接受单射的下包络图定义并验证预阿贝尔范畴中的可接受交性质。
• 应用Brüstle、Hassoun与Tattar关于具有可接受交的精确结构的结果，证明一个双条件刻画。
• 运用对偶性与核-余核对分析，表明可接受交蕴含拟阿贝尔结构。
• 利用$\mathsf{BAN}$、$\mathsf{FRE}$与$\mathsf{LCS}$等范畴中投射性与内射性的已知结果，推导出不存在性定理。

实验结果

研究问题

• RQ1 标准的拓扑与赋范向量空间范畴（如$\mathsf{BAN}$、$\mathsf{FRE}$与$\mathsf{BOR}$）是否为积分范畴？
• RQ2 是否每个积分范畴必然为拟阿贝尔范畴，或是否存在非拟阿贝尔的积分范畴？
• RQ3 一个半阿贝尔范畴能否既非积分也非拟阿贝尔？若能，其结构含义为何？
• RQ4 在预阿贝尔范畴中，可接受交性质是否等价于拟阿贝尔结构？
• RQ5 大多数泛分析范畴（如$\mathsf{TVS}$、$\mathsf{LCS}$与$\mathsf{BOR}$）是否具有足够多的投射对象或内射对象？

主要发现

• 巴拿赫空间范畴$\mathsf{BAN}$不是积分范畴，因为单射在上包络下不保持稳定。
• 存在非拟阿贝尔的积分范畴，从而以否定方式解决了该开放问题。
• 半阿贝尔范畴不包含于积分与拟阿贝尔范畴的并集中，通过Wengenroth构造的反例得以证明。
• 预阿贝尔范畴是拟阿贝尔范畴当且仅当它具有可接受交，从而建立了新的内在刻画。
• 大多数研究范畴（如$\mathsf{TVS}$、$\mathsf{LCS}$、$\mathsf{BOR}$与$\mathsf{HD-TVS}$）均不具有足够多的投射对象或内射对象。
• $\mathsf{BOR}$与$\mathsf{BAN} \times \mathsf{BOR}$中的拟投射对象类不足以构成生成类，意味着缺乏足够多的拟投射对象。