[論文レビュー] Limits in dagger categories

Chris Heunen, Martti Karvonen|Edinburgh Research Explorer|Mar 18, 2018

Intracranial Aneurysms: Treatment and Complications被引用数 4

ひとこと要約

本稿は、ダガー構造を尊重する新しい極限の概念をダガー圏において導入し、ユニタリ同型に関して一意的であり、双対性と整合性を持つ。また、双関手がアドジョイント可能な場合、ダガー極限とダガー余極限が可換することを確立し、既知の結果を一般化するとともに、量子理論および圏論の特殊ケースを統一する。

ABSTRACT

We develop a notion of limit for dagger categories, that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up to unitary isomorphism; a wide class of dagger limits can be built from a small selection of them; dagger limits of a fixed shape can be phrased as dagger adjoints to a diagonal functor; dagger limits can be built from ordinary limits in the presence of polar decomposition; dagger limits commute with dagger colimits in many cases.

研究の動機と目的

• ダガー構造を尊重するダガー圏における極限の概念を定義し、ダガー積、等化子、カーネルなどの既知の特殊ケースを包含すること。
• 通常の圏論における同型に関しての一意性ではなく、ユニタリ同型に関しての一意性を保証することで、ダガー圏の内在的対称性を反映すること。
• ダガー極限とダガー余極限が可換する条件を確立し、古典的結果をダガー設定に一般化すること。
• 広範なクラスのダガー極限が、ダガー等化子、積、交差といった基本的な極限の小さな集合から構成可能であることを示すこと。
• 対角関手への随伴関手によるダガー随伴形式による極限の定式化を提供し、古典的圏論をダガー文脈に拡張すること。

提案手法

• 極限の錐がダガー構造と整合的であることを要請する新しいダガー極限の定義を提案し、極限射が双対性のもとで保存されることを保証する。
• ユニタリ同型の概念を用いて一意性を強制し、通常の圏論における単なる同型とは異なり、ダガー圏の自己双対性を反映する。
• インデックス圏間の双関手がアドジョイント可能であることを保証するための「アドジョイント可能双関手」の概念を導入し、ダガー設定における極限と余極限の可換性を確保する。
• 極分解を用いて、C*-圏など極分解が存在する圏では、通常の極限からダガー極限を構成する。
• ダガー2圏におけるダガー圏の圏において、対角関手への右随伴としてダガー極限が生じることを示し、ダガー極限のダガー随伴形式を確立する。
• 「ダガーの道」の哲学を採用：すべての普遍的構成はダガー関手と可換でなければならない。これにより、極限と余極限の整合性が保証される。

実験結果

リサーチクエスチョン

• RQ1 通常の圏論における極限の概念を、ダガー構造を尊重するようにどのようにダガー圏に一般化できるか？
• RQ2 ダガー極限が単なる同型ではなくユニタリ同型に関して一意的であるための条件は何か？
• RQ3 どのような条件下で、ダガー圏におけるダガー極限とダガー余極限が可換するか？
• RQ4 ダガー等化子や積といった基本的なダガー極限の小さな集合から、広範なクラスのダガー極限を構成可能か？
• RQ5 極分解やその他の構造的性質を通じて、通常の極限をどの程度までダガー極限に変換できるか？

主な発見

• ダガー極限はユニタリ同型に関して一意的であり、これはダガー圏の自己双対性を反映し、双対性のもとでの整合性を保証する。
• ある形状のすべてのダガー極限を含むダガー圏（ダガー完全）であるための必要十分条件は、ダガー等化子、ダガー積、およびダガー交差を備えていることである。
• ダガー極限は、ダガー圏のダガー2圏における対角関手への右随伴として特徴づけられ、古典的随伴関手理論が拡張される。
• 極分解が存在する圏では、通常の極限をダガー構造を用いてダガー極限にアップグレードでき、構成的メソッドが得られる。
• ダガー極限とダガー余極限が可換するための必要十分条件は、双関手 $ D: f{J} imes f{K} o f{C} $ がアドジョイント可能であることであり、この場合、標準的比較射はユニタリである。
• 反例により、アドジョイント性がなければ、極限と余極限の順序を入れ替えても、ユニタリでない非可換性でさえも成立しないことが示され、有限次元ヒルベルト空間の圏で具体化されている。