[論文レビュー] Vector Fields and Flows on Differentiable Stacks

Richard Hepworth|arXiv (Cornell University)|Oct 6, 2008

Topological and Geometric Data Analysis参考文献 14被引用数 15

ひとこと要約

この論文は、微分可能スタック上のベクトル場とフローを、古典的微分幾何学のカテゴリフィケーションとして導入し、2-セル同型を備えた接続スタックへの準同型としてベクトル場を定義する。主な結果として、コンパクトで適切な微分可能スタック上では、一意的な2-セルを除いてフローの存在と一意性が保証され、多様体およびオルビフォールド上の古典的フロー理論を一般化する。

ABSTRACT

This paper introduces the notions of vector field and flow on a general differentiable stack. Our main theorem states that the flow of a vector field on a compact proper differentiable stack exists and is unique up to a uniquely determined 2-cell. This extends the usual result on the existence and uniqueness of flows on a manifold as well as the author's existing results for orbifolds. It sets the scene for a discussion of Morse Theory on a general proper stack and also paves the way for the categorification of other key aspects of differential geometry such as the tangent bundle and the Lie algebra of vector fields.

研究の動機と目的

• 多様体から微分可能スタックへ、ベクトル場とフローの古典的概念を拡張すること。
• 方程式を同型と高階準同型に置き換えることで、微分幾何学のカテゴリフィケーションフレームワークを構築すること。
• 勾配類似フローの存在を確立することで、一般の適切な微分可能スタック上でのモース理論の基盤を築くこと。
• 既存のオルビフォールドに関する結果を、より広いクラスの適切な微分可能スタックへ一般化すること。
• 接バンドルやベクトル場のリー代数といった、微分幾何学の標準的構造が、どの程度スタックを用いてカテゴリフィケーション可能かを検討すること。

提案手法

• 微分可能スタックの2-圏から自身へのラックスファンクターとしての接続スタック関手を定義し、多様体上の接バンドル構成を一般化する。
• ベクトル場を、$ X: \mathfrak{X} \to T\mathfrak{X} $ とし、$ \pi_\mathfrak{X} \circ X = \mathrm{id}_\mathfrak{X} $ の弱化版である、ある2-セル $ a_X $ を備えたものとして定義する。
• フローを、$ \Phi: \mathfrak{X} \times \mathbb{R} \to \mathfrak{X} $ とし、2つの2-セルを備えるものとして定義する：1つは微分方程式 $ T\Phi \circ \partial/\partial t = X \circ \Phi $ を表現し、もう1つは初期条件 $ \Phi(-,0) = \mathrm{id}_\mathfrak{X} $ を表現する。
• これらの2-セルの合成が自明であることを要求し、カテゴリフィケーションされたフロー条件の整合性を保証する。
• コンパクトな群 $ G $ を持つ局所的同型 $[M/G]$ によるグローバル商として局所的に同型である、適切なスタックの局所構造を、存在証明の主要な技術的道具として用いる。
• 適切な微分可能スタック上に滑らかな分割関数が存在することを応用し、局所的フローを構成し、整合性データを用いてそれらを貼り合わせる。

実験結果

リサーチクエスチョン

• RQ1 高階圏的構造を用いて、多様体上のベクトル場の古典的概念をどのように微分可能スタックへ一般化できるか？
• RQ2 微分可能スタック上でのフローの存在と一意性を保証する条件は何か？また、古典的場合とはどのように異なるか？
• RQ3 モース関数の負勾配フローを用いることで、一般の適切な微分可能スタック上へのモース理論を拡張可能か？
• RQ4 接バンドルやベクトル場のリー代数といった、微分幾何学の標準的幾何構造が、どの程度スタックを用いたカテゴリフィケーションの類似物として実現可能か？
• RQ5 2-セルや高階整合性データは、高階圏におけるベクトル場やフローといった幾何的対象の定式化において、どのような役割を果たすか？

主な発見

• 微分可能スタック上のベクトル場は、$ X: \mathfrak{X} \to T\mathfrak{X} $ とし、$ \pi_\mathfrak{X} \circ X = \mathrm{id}_\mathfrak{X} $ の古典的等式を同型に弱めた2-セル $ a_X $ を備えたものとして定義される。
• スタック上のフローは、$ \Phi: \mathfrak{X} \times \mathbb{R} \to \mathfrak{X} $ とし、2つの2-セルを備える：1つは微分方程式 $ T\Phi \circ \partial/\partial t \cong X \circ \Phi $ を表現し、もう1つは初期条件 $ \Phi(-,0) \cong \mathrm{id}_\mathfrak{X} $ を表現する。これらの合成は自明である必要がある。
• コンパクトで適切な微分可能スタックに対して、任意のベクトル場のフローは、一意的な2-セルを除いて存在し、一意的である。これは、多様体上での古典的存在・一意性定理を一般化する。
• ズンの局所構造定理により、適切なスタックは、$ G $ がコンパクトな場合のグローバル商 $[M/G]$ と局所的に同型であり、これは局所的フローの構成に不可欠である。
• 適切な微分可能スタックは滑らかな分割関数を備えており、これにより整合性のある2-セルデータを用いて局所的フローをグローバルフローに貼り合わせることが可能である。
• この枠組みにより、負勾配フローを用いたモース理論のスタックへの拡張が可能となり、モース不等式やハンドル体分解のスタック的応用への可能性が示される。