[논문 리뷰] A tangent bundle on diffeological spaces

Carlos A. Torre|ArXiv.org|1998. 01. 11.

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

한 줄 요약

이 논문은 매끄러운 다양체, 미분형식군 및 그들의 동치 궤도를 포함하는 특정 부분범주에 대해 접선(bundle)을 구성한다. 잘 정의된 접선(bundle), 벡터장 및 de Rham 코homology를 정의함으로써, 저자는 매끄러운 다양체를 초월해 더 넓은 미분형식 공간 프레임워크로의 미분기하학적 구조를 확장하며, 일반화된 매끄러운 공간에서의 미적분학을 위한 기초를 마련한다.

ABSTRACT

We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.

연구 동기 및 목표

• 매끄러운 다양체를 초월해 접선(bundle)과 벡터장과 같은 미분기하학적 구조를 미분형식 공간의 범주로 확장하는 것.
• 일관된 접선(bundle) 이론을 위해 필요한 구성들이 닫혀 있는, 미분형식 공간의 부분범주를 규명하는 것.
• 이 부분범주에서 접선(bundle) 구조와 호환되는 de Rham 코homology 이론을 정의하는 것.
• 미분형식군과 그들의 동치 궤도와 같은 무한차원 공간에서의 미적분학을 위한 프레임워크를 제공하는 것.
• 고전적 미분기하학 도구를 다양체가 아닌 매끄러운 공간으로 일반화하면서도 필수적인 기하적 성질을 유지하는 것.

제안 방법

• 저자는 매끄러운 다양체, 미분형식군 및 그들의 동치 궤도를 포함하며, 관련 구성들이 닫혀 있는, 미분형식 공간의 부분범주를 정의한다.
• 접선(bundle)은 미분형식의 함자적 구조와 매끄러운 곡선의 공간을 이용해, 미분형식 공간으로서 구성된다.
• 벡터장은 접선(bundle)의 매끄러운 단면으로 정의되며, 매끄러운 다양체에서의 개념을 일반화한다.
• de Rham 코homology는 접선(bundle) 위의 미분형식을 통해 표준적인 외미분과 닫힌 형식/정확한 형식 분해를 이용해 도입된다.
• 이 구성은 매끄러운 다양체에서의 표준적 구성과의 호환성을 보장하며, 국소 좌표나 다양체 차트에 의존하지 않는다.
• 이론은 매끄러운 다양체에서의 표준적 구성과의 호환성 및 필요한 연산에 대한 닫힘성을 통해 검증된다.

실험 결과

연구 질문

• RQ1 무한차원 군을 포함하는 광범위한 미분형식 공간의 범주에 대해 일관된 접선(bundle)을 정의할 수 있는가?
• RQ2 접선(bundle) 이론을 초월해, 미분형식 공간에서 벡터장과 de Rham 코homology를 어떻게 일반화할 수 있는가?
• RQ3 어떤 부분범주가 잘 정의된 접선(bundle)과 호환되는 기하학적 구조를 지닌다?
• RQ4 접선(bundle) 구성은 매끄러운 다양체에서의 표준적 미분기하학과 호환되는가?
• RQ5 이 프레임워크는 미분형식군과 그들의 동치 궤도와 같은 중요한 기하학적 대상을 수용할 수 있는가?

주요 결과

• 매끄러운 다양체, 미분형식군 및 그들의 동치 궤도를 포함하는, 부분범주에 대해 잘 정의된 접선(bundle)이 구성된다.
• 벡터장은 접선(bundle)의 매끄러운 단면으로 정의되며, 고전적 개념이 일반화된 매끄러운 공간으로 확장된다.
• 이 부분범주에 대해 de Rham 코homology 이론이 도입되며, 미분형식과 외미분을 사용한다.
• 구성은 매끄러운 다양체에서의 표준적 접선(bundle) 구조를 유지하므로 고전적 미분기하학과의 일관성을 보장한다.
• 이 프레임워크는 기하역학과 gauge 이론에서 나타나는 무한차원 미분형식 공간에서의 미적분학을 지원한다.
• 결과적으로, 필수적인 미분기하학 도구들이 다양체 구조가 없는 더 넓은 매끄러운 공간의 범주로 일반화될 수 있음을 보여준다.