[논문 리뷰] Proto-exact categories and injective Banach modules

Jack Kelly|arXiv (Cornell University)|2026. 03. 08.

Homotopy and Cohomology in Algebraic Topology인용 수 0

한 줄 요약

논문은 proto-exact 범주에서 커버와 엔벌로프를 개발하고 obscure axiom 및 deconstructibility를 통해 Banach 링 위의 Banach 모듈의 범주가 충분한 주입체를 가진다는 것을 proto-exact 프레임워크로 증명한다.

ABSTRACT

We develop the basic theory of covers and envelopes in proto-exact categories. As an application, we prove the existence of enough injectives for categories of Banach modules over arbitrary Banach rings.

연구 동기 및 목표

• Develop the basic theory of covers and envelopes in proto-exact categories.
• Establish conditions under which proto-exact categories admit enough injectives.
• Apply the theory to categories of semi-normed, normed, and Banach modules to obtain injective objects.
• Link proto-exact and enveloping theory to classical Banach module categories via obscure axiom and deconstructibility.

제안 방법

• Formalize proto-exact and parabelian categories and their exact structures.
• Introduce the obscure axiom and study its strong forms in proto-exact categories.
• Develop cotorsion theory, covers, and envelopes in proto-exact settings.
• Extend notions of deconstructibility, coherence, and weak elementary properties to proto-exact categories.
• Show how covers/envelopes arise from transfinite constructions and small object arguments.
• Apply the framework to Ban≤1R and BanR to deduce existence of enough injectives.

실험 결과

연구 질문

• RQ1 What structural conditions on proto-exact categories guarantee the existence of covers and envelopes?
• RQ2 When does a proto-exact category have enough injectives, particularly for categories of Banach modules?
• RQ3 How can deconstructibility and coherence be used to generate cotorsion pairs and enveloping theory in non-additive contexts?
• RQ4 Can the proto-exact framework be lifted to categories of Banach modules and their monad algebras?
• RQ5 What is the role of the obscure axiom in ensuring exactness properties and generation of injectives?

주요 결과

• Proves existence of enough injectives for the quasi-abelian category BanR of Banach R-modules.
• Shows Ban≤1R is a rich proto-exact setting where covers and envelopes can be developed.
• Develops a robust theory of covers and envelopes via deconstructibility and the obscure axiom.
• Establishes cotorsion and enveloping theory in proto-exact categories under suitable exactness and generator hypotheses.
• Demonstrates lifting of proto-exact structure to categories of Banach modules and their algebras under pushout/pullback preservation.