[論文レビュー] A convenient differential category

Richard Blute, Thomas Ehrhard+1 more|arXiv (Cornell University)|Jun 16, 2010

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿では、Mackey完備かつ分離された位相的凸被覆線型空間の圏——いわゆる便利な線型空間と呼ばれるもの——が微分圏をなしており、微分線形論理の圏的モデルを提供することを確立する。被覆構造と滑らかさの曲線による滑らかな写像の特徴付けを活用することで、著者たちは0における微分を用いてコデリクション写像を構成し、この圏が微分圏の公理を満たし、明確に定義された微分の概念を持つことを証明する。

ABSTRACT

In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such spaces were introduced by Frölicher and Kriegl, where they were called convenient vector spaces. While much of the structure necessary to demonstrate this observation is already contained in Frölicher and Kriegl's book, we here give a new interpretation of the category of convenient vector spaces as a model of the differential linear logic of Ehrhard and Regnier. Rather than base our proof on the abstract categorical structure presented by Frölicher and Kriegl, we prefer to focus on the bornological structure of convenient vector spaces. We believe bornological structures will ultimately yield a wide variety of models of differential logics.

研究の動機と目的

• 便利な線型空間を用いて微分線形論理の圏的モデルを確立すること。
• 便利な線型空間の圏が微分圏の公理と整合する明確な微分の概念を備えていることを示すこと。
• 被覆線型写像を通じて便利な線型空間の構造を再解釈し、高階の滑らかな汎関数をモデル化するのに適していることを強調すること。
• 微分圏の抽象的枠組みと無限次元解析における具体的な解析的構造を結びつけること。
• 今後の研究の基盤を築くこと——特に同様の設定における積分論理や正則関数の圏の研究に向けて。

提案手法

• 著者たちは、ボーマンの定理と滑らかな実数写像のモノイドに基づき、滑らかな曲線を保存する写像を、便利な線型空間間の滑らかな写像として定義する。
• 被覆テンソル積と完備化を用いて、!E という余モノイドを構成し、!E が R から E への滑らかな曲線の空間と同型であることを示す。
• コデリクション写像は、包含写像 ι: E → !E の0における微分として定義され、coder(v) = lim_{t→0} (δ_{tv} - δ_0)/t で与えられる。
• 成分ごとの極限を用いたテンソル積における計算を通じて、Leibniz則やコデリクション恒等式を含む公理を検証し、微分圏の構造を検証する。
• !E 上のバイアルゲブラ構造は、対角写像 Δ、余単位写像 ε、和写像、零写像によって定義され、Δ(δ_x) = δ_x ⊗ δ_x および ε(δ_x) = 1 を満たす。
• この圏における微分が標準的なフレシェ微分に対応することに依拠しており、古典的解析と整合性が保証される。

実験結果

リサーチクエスチョン

• RQ1 便利な線型空間の圏は、微分線形論理のモデルとして機能できるか？
• RQ2 ノルムに依存せずに、無限次元空間における滑らかさの概念をどのように特徴付けられるか？
• RQ3 便利な線型空間のコクライスリー圏の圏的構造は何か？ そして、それは微分圏構造を備えているか？
• RQ4 この圏におけるコデリクション写像は、標準的包含写像の微分から自然に導かれるか？
• RQ5 この枠組みを正則関数や実解析的関数へと拡張できるか？ そして、どのような論理的構造が導かれるか？

主な発見

• 被覆線型写像を備えた便利な線型空間の圏 Con は、微分圏であり、微分線形論理に必要なすべての公理を満たす。
• コデリクション写像は、包含写像 ι: E → !E の0における微分として明示的に構成され、coder(v) = lim_{t→0} (δ_{tv} - δ_0)/t で与えられる。
• Leibniz則は、Δ(δ_{tv}) の微分が、コデリクション写像と自身、および恒等写像のテンソル積と一致することを示すことによって検証される。この際、成分ごとの極限が用いられる。
• coder;ε = id は、コデリクション写像の v への評価が、極限 lim_{t→0} (tv)/t = v を通じて v を得ることを示すことによって証明される。
• 圏 Con が直感的線形論理のモデルであることが示され、有限の双積と !-余モノイド上での明確なバイアルゲブラ構造が備わっている。
• 結果から、便利な線型空間が積分や正則関数汎関数をモデル化するのに適していることが示唆され、将来的な論理的拡張の可能性が示唆される。