[논문 리뷰] Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|2014. 06. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 3

한 줄 요약

이 논문은 적절한 인용 체계를 갖춘 강화 범주에서 모나드에 대해 완비화, 폐쇄, 밀도의 통합 프레임워크를 제안한다. 이는 노름 공간의 완비화와 라브레-티어니 위상에 대한 층화를 포함한 일반적인 구성—모나드의 등급핵—의 특수한 경우로 나타나며, 함수해석학과 토포스 이론에서 이러한 고전적 개념들의 범주론적 기초를 제공한다.

ABSTRACT

Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density in normed vector spaces, but also the notions of sheafification, closure, and density with respect to a Lawvere-Tierney topology, are instances of the given abstract notions. The process of T-completion is equally the enriched idempotent monad associated to T (which we call the idempotent core of T), and we show that it exists as soon as every morphism in B factors as a T-dense morphism followed by a T-closed M-embedding. The latter hypothesis is satisfied as soon as B has certain pullbacks as well as wide intersections of M-embeddings. Hence the resulting theorem on the existence of the idempotent core of an enriched monad entails Fakir's existence result in the non-enriched case, as well as adjoint functor factorization results of Applegate-Tierney and Day.

연구 동기 및 목표

• 기능 해석학과 층 이론에서의 고전적 완비화, 폐쇄, 밀도 개념을 모나드를 이용한 통합 범주론적 프레임워크로 일반화하기.
• 강화 범주에서 모나드의 등급핵을 정의하고 특성화하기.
• 등급핵 구성이 바나흐 공간 완비화 및 라브레-티어니 위상 하에서의 층화와 같은 기존 구성들을 복원함을 보여주기.
• 등급핵의 존재를 위한 충분 조건을 강화 범주에서의 인용 체계와 수직성에 기반해 설정하기.
• 세트 색인 극한이 없는 경우를 포함해, 평범한 범주에서의 등급핵 존재에 대한 팔리르의 결과를 강화 설정으로 확장하기.

제안 방법

• 논문은 $\omega$-강화 범주 $\beta$를 사용하며, 이는 적절한 $\omega$-강화 인용 체계 $(\omega, \Sigma)$를 갖는다. 여기서 $\Sigma$-사상은 임bedding으로 불린다.
• 모나드 $\mathrm{T}$에 대한 수직성에 기반해 $\mathrm{T}$-밀도 사상과 $\mathrm{T}$-폐쇄 임베딩을 정의함으로써, 위상적 및 대수적 설정에서의 밀도와 폐쇄를 일반화한다.
• 객체 $B$의 $\mathrm{T}$-완비화는 단위 사상 $\eta_B: B \to TB$ 의 $(\omega, \Sigma)$-이미지에 대한 $\mathrm{T}$-폐쇄로 정의된다.
• 모나드 $\mathbb{T}$의 등급핵 $\widetilde{\mathbb{T}}$는 $\mathrm{T}$-완비화의 모나드로 구성되며, $\beta$의 반사 부분범주를 이룬다.
• $\widetilde{\mathbb{T}}$의 존재는 모든 사상이 $\mathrm{T}$-밀도 사상과 다음에 오는 $\mathrm{T}$-폐쇄 임베딩으로 분해될 수 있다는 조건 하에 확보된다. 이는 $\beta$가 $\Sigma$-임베딩의 넓은 교차와 적절한 당김을 갖는 경우에 성립한다.
• 이 프레임워크는 이중이중화를 통한 노름 공간 범주와 라브레-티어니 위상이 있는 토포스에 적용되며, 층화와 $j$-폐쇄를 일반 구성의 특수한 경우로 복원한다.

실험 결과

연구 질문

• RQ1 기능 해석학에서의 완비화, 폐쇄, 밀도 개념을 층 이론의 대응 개념들과 어떻게 범주론적 모나드 구성으로 통합할 수 있는가?
• RQ2 강화 범주에서 주어진 모나드에 대해 등급핵 모나드의 존재를 보장하는 조건은 무엇인가?
• RQ3 토프스에서 이중이중화 모나드가 라브레-티어니 위상 $j$에 대해 $j$-층화 과정을 어떻게 복원하는가?
• RQ4 강화 등급핵 구성은 평범한 범주에서 팔리르의 고전적 결과를 어떻게 일반화하는가?
• RQ5 세트 색인 극한이 없는 경우에도 $j$-층화 모나드의 구성은 일반화될 수 있는가?

주요 결과

• $\mathrm{T}$-완비화 모나드 $\widetilde{\mathbb{T}}$는 $\mathbb{T}$의 등급핵이며, $\mathbb{T}$가 반전하는 정확히 동일한 사상들을 반전하므로, $\mathbb{T}$의 보편 등급핵 근사로 간주된다.
• $\beta$의 $\mathrm{T}$-완비 객체로 이루어진 전체 부분범주는 반사적이며, $\widetilde{\mathbb{T}}$는 이에 대응하는 등급핵 $\omega$-강화 모나드이다.
• 이중이중화 모나드를 갖는 노름 공간 범주에서 $\widetilde{\mathbb{T}}$는 바나흐 공간으로의 일반 완비화를 복원한다.
• 라브레-티어니 위상 $j$를 갖는 토포스 $\Sigma$에서, $\Omega_j$의 이중이중화에 대응하는 $\mathrm{T}$-완비화 모나드는 $j$-층화 모나드와 일치한다.
• 이중이중화 구성 하에서, 객체가 $\mathrm{T}$-완비임은 $j$-층이 되는 것과 동치이며, $\mathrm{T}$-분리임은 $j$-분리임과 동치이다.
• 강화 등급핵 $\widetilde{\mathbb{T}}$의 존재는 $\beta$가 $\Sigma$-임베딩의 넓은 교차와 당김을 갖는 한 보장되며, 이는 팔리르의 결과를 강화 설정으로 일반화한다.