[論文レビュー] Derivations in Codifferential Categories

Richard Blute, Rory B. B. Lucyshyn-Wright+1 more|arXiv (Cornell University)|May 1, 2015

Advanced Topics in Algebra参考文献 15被引用数 6

ひとこと要約

この論文は、codifferential圏における導分の一般化概念としてBeck T-微分を導入し、Kähler微分形式と微分線形論理を統合する。A ⊕ M 上の自然な T代数構造を用いて導分の普遍性を確立し、Beck T-微分が A 上の代数準同型写像と一対一対応することを証明する。また、対称代数モナド S とモナド準同型 λ: S → T を用いた、codifferential圏の代替的公理化も提示する。

ABSTRACT

Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential categories. Differential categories were introduced as the categorical framework for modelling differential linear logic. The deriving transform of a differential category, which models the differentiation inference rule, is a derivation in the dual category. We here explore that derivation's universality. One of the key structures associated to a codifferential category is an algebra modality. This is a monad $T$ such that each object of the form $TC$ is canonically an associative, commutative algebra. Consequently, every $T$-algebra has a canonical commutative algebra structure, and we show that universal derivations for these algebras can be constructed quite generally. It is a standard result that there is a bijection between derivations from an associative algebra $A$ to an $A$-module $M$ and algebra homomorphisms over $A$ from $A$ to $A\oplus M$, with $A\oplus M$ being considered as an infinitesimal extension of $A$. We lift this correspondence to our setting by showing that in a codifferential category there is a canonical $T$-algebra structure on $A\oplus M$. We call $T$-algebra morphisms from $TA$ to this $T$-algebra structure Beck $T$-derivations. This yields a novel, generalized notion of derivation. The remainder of the paper is devoted to exploring consequences of that definition. Along the way, we prove that the symmetric algebra construction in any suitable symmetric monoidal category provides an example of codifferential structure, and using this, we give an alternative definition for differential and codifferential categories.

研究の動機と目的

• 微分形式の古典的枠組みを超えて、代数的・圏論的設定における導分の概念を一般化すること。
• 微分圏の双対構造を活用して、codifferential圏における導分の普遍的性質を確立すること。
• Beck T-微分が T代数に対して A ⊕ M 上の代数構造を介して標準的かつ普遍的な導分の構成を提供すること。
• 既存の枠組みを包含する、対称代数に基づく代替的定義を提供すること。
• 圏的双対性とモナドに基づく代数モダリティを用いて、微分線形論理とKähler微分理論を統合すること。

提案手法

• Beck T-微分を、A を基準とするスライス圏における A ⊕ M 上の自然な T代数構造 W(A, M) への T代数準同型写像として定義する。
• A ⊕ M 上に自然な T代数構造を構成し、その底辺代数が古典的な無限小拡大 A ⊕ M と同型であることを保証する。
• 微分圏における導分変換の普遍性を用いて、古典的な導分と代数準同型写像の対応関係を codifferential 設定へと拡張する。
• 対称代数モナド S を用いて、反射的余等化子がテンソル積を保存する前提のもと、圏 C 上に codifferential 構造を定義する。
• codifferential圏構造と、自然性および合成則公理を満たす三つ組 (T, λ: S → T, dT: T → T ⊗ −) 間の同値性を確立する。
• λ と導分変換 dSC が関与する主要図式の可換性により、dTC が S-微分（つまり、通常の意味でのLeibniz則を満たす微分）であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 極限や多様体を備えない圏的枠組みにおいて、代数的設定における導分をどのように一般化できるか？
• RQ2 codifferential圏における導分変換の普遍的性質とは何か？また、Beck T-微分とどのように関係しているか？
• RQ3 古典的な導分と A ⊕ M への代数準同型写像の対応関係は、モナドと T代数を用いた圏論的設定へとどのように拡張可能か？
• RQ4 対称代数モナド S が圏 C 上に codifferential 構造を誘導するための条件は何か？
• RQ5 変換 dT: T → T ⊗ − が T-微分であり、合成則を満たすための公理的条件は何か？

主な発見

• Beck T-微分は、A から A ⊕ M への代数準同型写像と一対一対応しており、可換代数における古典的対応を一般化する。
• A ⊕ M 上に自然な T代数構造を構成することで、その底辺代数が標準的な無限小拡大 A ⊕ M と同型であることが保証される。
• 与えられた公理のもとで、導分変換 dTC が S-微分であることが示され、これは古典的意味でのLeibniz則を満たすことを意味する。
• 合成則公理 (d3) は、(1) の外側図式の可換性と同値であり、ηS_C の普遍性により確立される。
• 論文は、対称代数モナド S、モナド T、およびモナド準同型 λ: S → T を用いた、codifferential圏の新しい簡潔な定義を提示する。
• codifferential圏構造と、自然性および合成則を満たす三つ組 (T, λ, dT) 間の同値性が正式に証明され、すべての公理が主要図式の可換性に還元される。