[논문 리뷰] Examples and non-examples of integral categories and the admissible intersection property

Souheila Hassoun, Amit Shah외 1명|arXiv (Cornell University)|2020. 05. 22.

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.

연구 동기 및 목표

• 기능해석학에서 핵심적인 범주—예를 들어 바나흐, 프레셰, 보른로지컬 공간—가 정수 범주인지 결정하는 것.
• 정수 범주가 반드시 쿼티아벨인지 여부에 대한 열린 문제를 해결하며, 그렇지 않음을 보여주는 것.
• 반아벨, 정수, 쿼티아벨 범주 간의 관계를 조사하며, 이들이 합집합에 대해 닫혀 있지 않음을 보여주는 것.
• 허용 가능한 교차성질을 통해 쿼티아벨 범주를 특성화하며, 새로운 내재 기준을 확립하는 것.
• 다양한 기능해석학적 범주에서 충분한 프로젝티브와 인젝티브의 존재를 분석하며, 대부분의 범주가 이를 갖지 못함을 보여주는 것.

제안 방법

• 위상적 및 보른로지컬 벡터 공간의 범주에서 단사 사상의 푸시아웃에 대한 안정성과 사상의 풀다운에 대한 에피모르피즘의 안정성을 분석하여 정수성의 조건을 시험한다.
• 럼프의 정수 범주 프레임워크를 적용하고, 범주도형과 공리적 정의를 통해 쿼티아벨 및 반아벨 구조와 비교한다.
• 허용 가능한 단사 사상의 풀다운도형을 사용하여 전아벨 범주에서의 허용 가능한 교차성질을 정의하고 검증한다.
• 브üst레, 하소운, 타타르의 허용 가능한 교차성을 가진 정확한 구조에 관한 결과를 적용하여 이중조건적 특성화를 증명한다.
• 대칭성과 커널-코어널 쌍 분석을 활용하여, 허용 가능한 교차성이 쿼티아벨 구조를 유도함을 보여준다.
• \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}은 단사 사상이 푸시아웃에 대해 안정적이지 않기 때문에 정수 범주가 아니다.
• 쿼티아벨이 아닌 정수 범주가 존재함을 보여주며, 이는 열린 문제에 대한 부정적 해결이다.
• 반아벨 범주는 정수와 쿼티아벨 범주의 합집합에 포함되지 않으며, 웬겐로트의 구성에 기반한 반례를 통해 이를 보여준다.
• 전아벨 범주는 허용 가능한 교차성을 가질 때이고 오직 그 때에만 쿼티아벨이므로, 새로운 내재적 특성화가 확립된다.
• 다양한 범주—예를 들어 \mathsf{TVS}, \mathsf{LCS}, \mathsf{BOR}, \mathsf{HD-TVS}—는 충분한 프로젝티브 또는 인젝티브를 갖지 못한다.
• \mathsf{BOR} 및 \mathsf{BAN} \times \mathsf{BOR}에서의 쿼티아프로젝티브 객체의 집합은 생성 클래스를 형성할 수 없으며, 이는 충분한 쿼티아프로젝티브의 부재를 의미한다.