[논문 리뷰] On the geometric notion of connection and its expression in tangent categories

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|2017. 05. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 4

한 줄 요약

이 논문은 접선 범주에서의 접속을 재정의하여, 미분 배럴 위의 접속이 단일 사상 $K: TE \to E$에 의해 동치로 특징지어질 수 있음을 보여준다. 이 사상 $K$는 $TE$를 $E \times_M TM \times_M E$ 형태의 이중곱 분해로 유도하며, 또는 특정한 곱과 극한 조건을 만족하는 재취사(retraction) $K$로도 기술할 수 있다. 주요 기여는 기하학적 본질을 유지하면서도 요구되는 구조와 공리의 수를 줄인 간결한 공리적 형식화이다.

ABSTRACT

Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and combinatorics. Generalizing the notion of (linear) connection on a smooth vector bundle, Cockett and Cruttwell have defined a notion of connection on a differential bundle in an arbitrary tangent category. Herein, we establish equivalent formulations of this notion of connection that reduce the amount of specified structure required. Further, one of our equivalent formulations substantially reduces the number of axioms imposed, and others provide useful abstract conceptualizations of connections. In particular, we show that a connection on a differential bundle E over M is equivalently given by a single morphism K that induces a suitable decomposition of TE as a biproduct. We also show that a connection is equivalently given by a vertical connection K for which a certain associated diagram is a limit diagram.

연구 동기 및 목표

• 접선 범주 내 접속의 공리적 프레임워크를 단일 사상과 공리의 수를 줄임으로써 단순화하는 것.
• 이중곱과 극한 다이어그램을 통한 구조적 일관성을 강조하는 접속의 동치 표현을 제공하는 것.
• 미분 배럴 위의 접속이 특정 보편 성질을 만족하는 단일 사상 $K: TE \to E$에 의해 완전히 결정됨을 보여주는 것.
• 고전적 벡터 배럴 위의 접속 개념을 내재된 범주론적 구조를 사용해 임의의 접선 범주로 일반화하는 것.
• Cockett와 Cruttwell의 원래 정의가 일관되며 더 추상적이고 통합된 형태로 재구성될 수 있음을 보여주는 것.

제안 방법

• 접속을 사상 $K: TE \to E$를 통해 특징지워, 이 사상이 미분 배럴의 이중곱 분해 $TE \cong E \oplus_M TM \oplus_M E$를 유도하도록 한다.
• 이중곱의 보편 성질을 활용해 전체 접속 구조를 단일 사상 $K$에 압축하여 원래의 쌍 $(K,H)$를 대체한다.
• $K$가 업그레이드 사상 $\lambda: E \to TE$의 재취사임을 보이며, $TE$가 $E \times_M TM \times_M E$ 형태의 곱이 되도록 한다.
• 극한 다이어그램 조건을 통한 동치성 확립: $K$, $p_E$, $T(q)$, $q$를 포함하는 다이어그램이 섬유곱이 되며, 이는 $K$가 효과적임을 보장한다.
• 섬유곱의 존재성과 $T^k$에 대한 보존성(기본 조건 3.1)을 활용해 범주 전체에 걸쳐 범주론적 일관성을 확보한다.
• 범주적 대칭성과 보편 구조(이중곱, 극한, 곱)를 적용해 수평 및 수직 분해와 같은 기하 개념을 추상적으로 포착한다.

실험 결과

연구 질문

• RQ1 접선 범주 내 접속의 개념이 원래의 쌍 $(K,H)$ 대신 단일 사상 $K: TE \to E$만을 사용해 재정의될 수 있는가?
• RQ2 $K$가 어떤 보편 범주론적 성질을 만족해야, 미분 배럴 위의 접속을 완전히 압축적으로 기술할 수 있는가?
• RQ3 범주 $\mathscr{X}/M$ 내에서 이중곱 또는 극한을 통해 기하적 분해 $TE \cong E \times_M TM \times_M E$를 어떻게 기술할 수 있는가?
• RQ4 어떤 조건에서 사상 $K: TE \to E$가 수직 및 수평 성분을 명시적으로 요구하지 않고도 잘 정의된 접속을 유도하는가?
• RQ5 Cockett와 Cruttwell의 원래 공리들이 접선 범주 내 이중곱 구조의 일반적 특성으로 어떻게 유추되는가?

주요 결과

• 미분 배럴 $\underline{E}$ 위의 접속은 $TE$가 이중곱 $\underline{E} \oplus_M \underline{T}M \oplus_M \underline{E}$를 지닌다 하였을 때, $K$가 세 번째 사영 사상이고 $\lambda$가 세 번째 삽입 사상인 사상 $K: TE \to E$에 의해 동치로 기술된다.
• 동일한 접속은 $TE$가 곱 $\underline{E} \times_M \underline{T}M \times_M \underline{E}$를 이루며, $K$가 세 번째 사영 사상이고 $\lambda$가 세 번째 삽입 사상인 재취사 $K: TE \to E$에 의해 동치로 기술된다.
• 접속은 $p_E$, $T(q)$, $K$, $q$를 포함하는 다이어그램이 섬유곱이 되어 $K$가 보편적 올림임을 보장하는 효과적인 수직 접속 $K$에 의해 동치로 기술된다.
• Cockett와 Cruttwell의 원래 정의가 일관되며, 이 새로운 표현형과 동치임이 입증되었으며, 이는 공리의 수를 줄이고 구조를 더 효율적으로 특정한다.
• 접속의 결과는 $K: T^2M \to TM$가 동일한 역할을 하는 $M$ 위의 애핀 접속으로 확장되며, 이는 탄성 벡터장의 구조를 유지한다.
• 이중곱 또는 곱의 구조에 의해 $TE$의 기저 대상은 구체적 동형에 대해 유일하게 결정되며, 이는 분해의 일관성을 보장한다.