[論文レビュー] The unreasonable power of the lifting property in elementary mathematics

Gavrilovich Misha|arXiv (Cornell University)|Jul 20, 2017

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

この論文は、圏論的構成であるリフト性（lifting property）が、有限空間の単純な準同型のみを用いて、初等位相幾何学および代数学の基本的概念を定義できることを示している。コンパクト性、連結性、分離公理、およびノルム性などの群の性質までが、繰り返し直交性（iterated orthogonality）によって捉えられ、標準的な数学的概念の背後にある深く簡潔な組合せ的構造が明らかになる。

ABSTRACT

We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing that many standard elementary notions of abstract topology can be defined by applying the lifting property to simple morphisms of finite topological spaces. Examples in topology include the notions of: compact, discrete, connected, and totally disconnected spaces, dense image, induced topology, and separation axioms. Examples in algebra include: finite groups being nilpotent, solvable, torsion-free, p-groups, and prime-to-p groups; injective and projective modules; injective, surjective, and split homomorphisms. We include some speculations on the wider significance of this.

研究の動機と目的

• 位相および代数学における初等的な数学的概念が、有限圏内の単純な準同型にリフト性を適用することで定義可能であることを示すこと。
• コンパクト性、連結性、分離公理などの主要な位相的性質が、基本的準同型の繰り返し直交性として表現可能であることを示すこと。
• この形式的枠組みが、初等位相幾何学のための軽量で形式的な証明系の基盤としての可能性を検討すること。
• このアプローチが、ミハイル・グロモフの「エルゴ構造」（ergostructures）に類似した組合せ的構造を明らかにしているかどうかを調査すること。
• 標準的な数学的定義を表現するための、ケゴゴロフ次元が低い圏論的形式的枠組みを提供すること。

提案手法

• Quillenのリフト性（準同型の直交性）を用い、左および右直交閉包をとることで、新たな準同型類を生成する。
• 有限位相空間をモデルとして用い、単純な組合せ的構造を持つ準同型によって標準的な位相的性質を表現する。
• コンパクト性を $((\{a\} \to \{a \searrow b\})^{r}_{<5})^{lr}$ と、連結性を $(\{a,b\} \to \{a=b\})^l$ として表現する。
• 群や加群の圏における準同型にリフトを適用することで、代数的性質（例：ノルム性、可解性、単射性）を定義する。
• 図式走査（diagram chasing）および直交性チェーンを用い、完全に組合せ的かつ形式的な方法で定義を導出し、検証する。
• 既知の一般位相の結果（例：ウリソンの補題、固有写像）を用い、既知の特徴づけに基づいて形式的枠組みを検証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト性や連結性といった標準的な位相的性質が、単純な準同型に繰り返しリフト性を適用することで、純粋に定義可能か。
• RQ2 有限圏におけるリフト構成を用いて、加群におけるノルム性や単射性といった代数的性質をどの程度正確に捉えられるか。
• RQ3 リフトに基づく最小で表現力のある形式的枠組みは、初等位相幾何学の核となる概念を、ケゴゴロフ次元が低い形で再構成可能か。
• RQ4 リフト性形式的枠組みが、図式走査に基づく定理証明系や証明系の基盤として機能可能か。
• RQ5 このアプローチにより、グロモフのエルゴ構造に類似した、数学的推論の背後にある組合せ的構造が明らかになるか。

主な発見

• リフト性により、コンパクト性が $((\{a\} \to \{a \searrow b\})^{r}_{<5})^{lr}$ として定義可能であり、わずか数記号の形式的枠組みで表現可能であることが示された。
• 連結性は $(\{a,b\} \to \{a=b\})^l$ として捉えられ、単純な直交構成から生じることを示した。
• 稠密な像は $(\{b\} \to \{a \searrow b\})^l$ として定義され、リフト性が基本的な位相的関係を形式化可能であることを示した。
• T1, T2, T3, T4 などの分離公理は、有限位相空間間の準同型を用いたリフト性により表現可能である。
• 形式的枠組みは代数的性質を捉えている：例えば、単射加群は、すべての全射に対して右直交である $\{0\} \to M$ として定義される。
• 本論文は、位相的概念のための組合せ的かつ低次元の形式的枠組みを提供しており、この枠組みにおいてそれらのケゴゴロフ次元が最小である可能性を示唆している。