[論文レビュー] 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.

研究の動機と目的

• 関数解析学における主要な圏、たとえばバナッハ空間、フレシェ空間、ボーロロジカル空間などが積分的であるかどうかを特定すること。
• 積分的圏が必然的に準アーベルであるかどうかという未解決の問題を解き、それがそうではないことを示すこと。
• 半アーベル的、積分的、準アーベル的圏の関係を調査し、それらが合併に関して閉じていないことを示すこと。
• 許容的交差性を用いた準アーベル圏の特徴づけを提示し、新たな内因的基準を確立すること。
• さまざまな関数解析的圏における十分な射影的対象や投射的対象の存在を分析し、多くの場合それらが存在しないことを示すこと。

提案手法

• 位相的・ボーロロジカルな線形空間の圏における積分的性質をテストするため、モノモルフィズムのプッシュアウト下での安定性と、エピモルフィズムのプルバック下での安定性を分析する。
• ランプの積分的圏の枠組みを適用し、カテゴリー的図式と公理的定義を用いて、準アーベル的および半アーベル的構造と比較する。
• 許容的モノモルフィズムのプルバック図式を用いて、前アーベル圏における許容的交差性の性質を定義および検証する。
• ブリューストレ、ハッサウン、タッターの許容的交差性を備えた正確構造に関する結果を応用し、双方向の特徴づけを証明する。
• 双対性とカーネル・コカーネルペアの解析を用いて、許容的交差性が準アーベル構造を意味することを示す。
• \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} における準射影的対象のクラスは、生成クラスを形成するには不十分であり、したがって十分な準射影的対象が存在しないことを示唆する。