[論文レビュー] First neighbourhood of the diagonal, and geometric distributions

Anders Kock|ArXiv.org|Jun 7, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 4

ひとこと要約

本稿では、第1近傍 $M_{(1)}$ を用いた合成微分幾何学的アプローチを通じて、幾何的構造、特に分布と接続の組み合わせ的定式化を提示する。曲率がリー部分群 $H$ に値をとる場合、かつすべての点が水平路で接続可能であるならば、$H = G$ が成り立つことを示すことで、アンブローズ＝シンガーのホロノミー定理のバージョンを証明する。この証明では、近傍関係とフロベニウスの可積分性を用いる。

ABSTRACT

We describe the geometric notion of distribution in synthetic terms, utilizing the notion of "first neighbourhood of the diagonal" from algebraic geometry. We characterize involutive distributions in combinatorial terms.

研究の動機と目的

• 多様体上の分布や接続といった微分幾何的概念を、第1近傍 $M_{(1)}$ 上の組み合わせ的構造に再定式化すること。
• $M_{(1)}$ を $x \sim y$ を満たす無限小ペア $(x,y)$ の空間とみなす合成的・トポス的根拠を提供すること。
• 近傍関係と可積分性条件を用いて、アンブローズ＝シンガーのホロノミー定理の組み合わせ的バージョンを確立すること。
• 曲率と経路連結性の仮定の下で、すべての無限小群元を含むリー部分群 $H \subseteq G$ が $G$ に等しくなることを示すこと。

提案手法

• 第1近傍 $M_{(1)} \subseteq M \times M$ は、$\operatorname{Spec}(C^\infty(M \times M)/I^2)$ として定義され、$I$ は対角線上で消える関数のイデアルである。
• 組み合わせ的微分1形式は、$M_{(1)} \to \mathbb{R}$ で対角線上で消える関数として定義され、$I/I^2$ に同定され、古典的には微分1形式のモジュールに対応する。
• 分布は、$M_{(1)}$ 上の対称的で非推移的な関係 $x \sim y$ を通じて組み合わせ的に符号化され、無限小2単体を用いて可積分性が定義される。
• 接続は、$P_{(1)}$ 上の $G$-値関数 $\omega(x,y)$ としてモデル化され、非水平性を測定する。曲率は $d\omega(x,y,z) = \omega(x,y)\omega(y,z)\omega(z,x)$ として定義される。
• 可積分性は、合成的設定におけるフロベニウスの定理を通じて分析され、可積分な分布に対して最大の積分部分多様体が存在する。
• アンブローズ＝シンガー定理の証明では、十分性の原理が用いられる：$g \sim e$ ならば $g \in H$ であるならば、$H = G$ が成り立つ。この原理は、ファイバーごとの近傍解析を用いてホロノミー群に適用される。

実験結果

リサーチクエスチョン

• RQ1 多様体上の分布という概念を、第1近傍の対角線を用いてどのように組み合わせ的に表現できるか？
• RQ2 無限小単体を用いた合成的特徴づけとして、分布の可積分性と可積分性の条件はどのように定式化できるか？
• RQ3 合成微分幾何学と組み合わせ的接続を用いて、アンブローズ＝シンガーのホロノミー定理を再証明できるか？
• RQ4 リー部分群 $H \subseteq G$ がすべての無限小元 $g \sim e$ を含む場合、どのような条件下で $H = G$ が成り立つか？
• RQ5 すべての無限小2単体に対して $d\omega(x,y,z) \in H$ が成り立つとき、水平路がすべての点を接続するならば、$H = G$ を示せるか？

主な発見

• 多様体上の組み合わせ的微分1形式は、$I/I^2$ を通じて古典的微分1形式と双対的に対応し、組み合わせ的設定では線形性や対称性の仮定が不要である。
• 組み合わせ的1形式は、2次の消え方の条件から自動的に反対称的である：$x \sim y$ ならば $\omega(x,y) = -\omega(y,x)$ が成り立つ。
• 可積分な分布は、$P$ 上の組み合わせ的関係 $\approx$ として対応し、無限小2単体 $(x,y,z)$ に対して $x \approx y$ かつ $x \approx z$ ならば $y \approx z$ が成り立つ。
• 曲率形式 $d\omega(x,y,z)$ は、積 $\omega(x,y)\omega(y,z)\omega(z,x)$ として定義され、無限小三角形回りのホロノミーを測定する。
• すべての水平路が $P$ 内の任意の2点を接続可能であり、すべての無限小2単体に対して $d\omega(x,y,z) \in H$ ならば、部分群 $H$ は $G$ に等しくなる。これはホロノミー定理の証明に繋がる。
• 分布 $x \approx y$ かつ $\omega(x,y) \in H$ を満たす最大積分部分多様体 $Q$ が $P$ 全体に一致することが示され、$g \sim e$ ならば $g \in H$ が従い、結局 $H = G$ が得られる。