[논문 리뷰] The unreasonable power of the lifting property in elementary mathematics

Gavrilovich Misha|arXiv (Cornell University)|2017. 07. 20.

Homotopy and Cohomology in Algebraic Topology인용 수 3

한 줄 요약

이 논문은 범주론적 구성인 업링킹 성질이 유한 공간의 간단한 사상들만을 사용하여 초등 위상수학과 대수학의 핵심 개념을 정의할 수 있음을 보여준다. 약 5번 이내의 반복 수직성(orthogonality)을 통해 컴팩턴스, 연결성, 분리 공리, 노름성(nilpotency)과 같은 군의 성질까지도 기술할 수 있으며, 이는 표준 수학적 개념들 뒤에 숨은 깊이 있고 간결한 조합론적 구조를 드러낸다.

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) 개념과 유사한 기초 조합론적 구조를 드러내는지 조사하기.
• 표준 수학적 정의를 표현하는 데 있어 저항코모고로프 복잡도(Kolmogorov complexity)가 낮은 범주론적 형식체계를 제공하기.

제안 방법

• 쿼일렌의 업링킹 성질(사상 간의 수직성)을 적용하여 왼쪽 및 오른쪽 수직 폐쇄를 취해 새로운 사상의 클래스를 생성하기.
• 유한 위상 공간을 사용하여 단순한 조합론적 구조를 가진 사상으로 표준 위상수학적 성질을 표현하기.
• 컴팩턴스를 $((\{a\} \to \{a \searrow b\})^{r}_{<5})^{lr}$로, 연결성을 $(\{a,b\} \to \{a=b\})^l$로 표현하기.
• 군과 모듈러의 범주에서의 사상에 업링킹을 적용하여 대수적 성질(예: 노름성, 해소성, 단사성)을 정의하기.
• 도표 추적과 수직성 체인을 사용하여 순수하게 조합론적이고 형식적인 방식으로 정의를 유도하고 검증하기.
• 기존의 일반 위상수학 결과(예: 유리소른의 보조정리, 적절한 사상)를 활용하여 이 형식체계가 기존의 특성화에 부합하는지 검증하기.

실험 결과

연구 질문

• RQ1 컴팩턴스나 연결성과 같은 표준 위상수학적 성질들이 단순한 사상에 반복적으로 적용된 업링킹 성질을 통해 순수하게 정의될 수 있는가?
• RQ2 유한 범주 내에서 업링킹 구성이 모듈러의 노름성이나 단사성과 같은 대수적 성질을 어느 정도 포괄할 수 있는가?
• RQ3 업링킹을 기반으로 한 최소화되고 표현력이 뛰어난 형식체계는 초등 위상수학의 核심 개념들을 저항코모고로프 복잡도가 낮게 재구성할 수 있는가?
• RQ4 업링킹 성질 형식체계가 도표 추적 기반의 정리 증명기나 증명 체계의 기초가 될 수 있는가?
• RQ5 이 접근 방식은 고로브의 에르고스트럭처와 유사한 수학적 추론의 기초 조합론적 구조를 드러내는가?

주요 결과

• 업링킹 성질을 통해 컴팩턴스가 $((\{a\} \to \{a \searrow b\})^{r}_{<5})^{lr}$로 정의되며, 이는 단 몇 개의 기호로 이루어진 형식체계에서 표현됨을 보여준다.
• 연결성은 $(\{a,b\} \to \{a=b\})^l$로 표현되어, 이 성질이 단순한 수직 구성에서 유래됨을 보여준다.
• 조밀한 상사(Image)는 $(\{b\} \to \{a \searrow b\})^l$로 정의되어, 업링킹 성질이 기본적인 위상관계를 형식화할 수 있음을 보여준다.
• T1, T2, T3, T4와 같은 분리 공리들은 유한 위상 공간 간의 사상들을 통해 업링킹 성질로 표현 가능하다.
• 이 형식체계는 대수적 성질까지 포괄한다: 예를 들어, 단사 모듈러는 $\{0\} \to M$ 이며, $\{0\} \to M$ 이 모든 전사 사상에 대해 오른쪽 수직이 되는 것으로 정의된다.
• 논문은 위상수학적 개념들에 대해 조합론적이며 저복잡도의 형식체계를 제공하며, 이 프레임워크 내에서 그들의 저항코모고로프 복잡도가 최소임을 시사한다.