[論文レビュー] Categorical properties of the complex numbers

Jamie Vicary|arXiv (Cornell University)|Jul 18, 2008

Homotopy and Cohomology in Algebraic Topology被引用数 1

ひとこと要約

この論文は、モノイダル†-圏のスカラーが複素数と同型であるためのカテゴリー的条件を確立し、スカラーの対合が正確に複素共役に対応することを示している。†-極限（†-関手と可換な極限）を導入することで、有限†-極限、単純なテンソル単位、完全な自己随伴スカラーを備えた非自明な圏において、スカラーは必ず複素数に一致する。

ABSTRACT

<p>Given the success of categorical approaches to quantum theory, it is interesting to consider why the complex numbers are special from a categorical perspective. We describe natural categorical conditions under which the scalars of a monoidal †-category gain many of the features of the complex numbers. Central to our approach are †-<em>limits</em>, certain types of limits which are compatible with the †-functor; we explore their properties and prove an existence theorem for them. Our main theorem is that in a nontrivial monoidal †-category with finite †-limits and simple tensor unit, and in which the self-adjoint scalars satisfy a completeness condition, the scalars are valued in the complex numbers, and scalar involution is exactly complex conjugation.</p>

研究の動機と目的

• 複素数がカテゴリー的視点からなぜ特別であるかを理解すること。
• モノイダル†-圏におけるスカラーが複素数と同型であることを強制する自然なカテゴリー的条件を同定すること。
• †-極限を導入し、†-関手と整合する主要な構造的道具として研究すること。
• 自己随伴スカラーに対する完全性条件を、複素数を回復するために不可欠であるとすること。
• このような圏におけるスカラーの対合が、正確に複素共役に一致することを証明すること。

提案手法

• †-関手と可換な極限としての†-極限を導入し、†-圏における極限の概念を一般化する。
• †-極限の性質を分析し、特に†構造およびテンソル積との中での整合性を検討する。
• 適切な圏において有限†-極限の存在定理を適用する。
• 自己随伴スカラーに完全性条件を課し、それが完全な順序体を形成することを保証する。
• テンソル単位の卪単純性を用いてスカラー構造を制約する。
• カテゴリー的双対性および自己随伴性を用いて、ℂへの同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 モノイダル†-圏のスカラーが複素数と同型であるためのカテゴリー的条件は何か？
• RQ2 †-関手を用いて、複素数の構造を反映する極限を定義・特徴付ける方法は何か？
• RQ3 自己随伴スカラーの完全性が、ℂ を回復する上で果たす役割は何か？
• RQ4 なぜテンソル単位が単純であることこそ、複素スカラーの出現に不可欠な条件なのか？
• RQ5 このような圏におけるスカラー対合は、必然的に複素共役に一致するのか？

主な発見

• 有限†-極限と単純なテンソル単位を備えた非自明なモノイダル†-圏のスカラーは、複素数と同型である。
• このような圏におけるスカラー対合は、正確に複素共役に一致する。
• 自己随伴スカラーに対する完全性条件は、ℂ への同型を達成するために不可欠である。
• †-極限は、複素数の代数的および位相的性質を自然に表現するカテゴリー的枠組みを提供する。
• テンソル単位が単純であることにより、スカラー構造が分解不能となり、スカラーの体的性質が保たれる。
• 有限†-極限の存在により、純粋なカテゴリー的公理から複素数の構造を導出可能である。