[논문 리뷰] Product preserving functors of infinite dimensional manifolds

Andreas Kriegl, Peter W. Michor|arXiv (Cornell University)|1996. 11. 01.

Advanced Operator Algebra Research참고 문헌 14인용 수 10

한 줄 요약

이 논문은 $C^\infty$-대수를 활용하여 유한차원 다양체에서의 곱을 보존하는 함자와 Weil 함자의 이론을 무한차원 다각체로 확장함으로써, 유한차원 설정에서의 제트 번들의 일반화이자 접선 함자로 일반화된 체계를 구축한다. 주요 기여는 이러한 함자를 $C^\infty$-대수를 통해 특성화함으로써, 무한차원 다각체에서 체계적인 미적분학을 가능하게 한다.

ABSTRACT

The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of $C^\infty$-algebras.

연구 동기 및 목표

• 유한차원 다각체에서의 곱을 보존하는 함자와 Weil 함자의 이론을 유한차원에서 무한차원 다각체로 일반화하기.
• 전통적인 제트 번들의 구성 이외의 체계적인 미적분학 프레임워크가 부족한 무한차원 다각체에 대한 문제를 해결하기.
• 무한차원 설정에서의 기초 도구로 $C^\infty$-대수를 사용하여 함자적 미적분학을 개발하기.
• 유한차원 사례와 유사하게, 무한차원 다각체에서의 곱을 보존하는 함자에 대한 특성화를 제공하기.
• 접선 함자와 제트 함자 등의 기존 구성들을 무한차원 기하학의 맥락에서 통합하고 확장하기.

제안 방법

• 무한차원 다각체에서의 무한소 구조를 모델링하기 위해 $C^\infty$-대수의 이론을 활용한다.
• 유한한 곱을 보존하는 함자를, 유한한 곱을 유지하는 함자로 정의한다.
• 제트 함자의 함자에 의해 곱을 보존하는 함자와 $C^\infty$-대수 사이의 대응 관계를 수립한다.
• 유한차원 구성들을 $C^\infty$-대수 설정으로 승격시킴으로써, 무한차원 다각체에 Weil 함자를 적용한다.
• $C^\infty$-대수의 대수적 구조를 활용하여, 무한차원 맥락에서의 무한소 이웃 및 제트 공간을 정의하고 특성화한다.
• 모든 곱을 보존하는 함자가 고유한 $C^\infty$-대수로부터 유도됨을 증명함으로써, 유한차원 분류의 일반화를 달성한다.

실험 결과

연구 질문

• RQ1 곱을 보존하는 함자의 이론은 어떻게 유한차원 다각체에서 무한차원 다각체로 확장될 수 있는가?
• RQ2 무한차원 맥락에서 제트 함자와 접선 함자의 구성에 기초가 되는 대수적 구조는 무엇인가?
• RQ3 $C^\infty$-대수는 무한차원 다각체에서 곱을 보존하는 함자를 정의하고 분류하는 데 통합적 프레임워크로 기능할 수 있는가?
• RQ4 무한차원 기하학의 맥락에서 Weil 함자와 $C^\infty$-대수 사이의 관계는 무엇인가?
• RQ5 무한차원 다각체에서의 곱을 보존하는 함자는 어떻게 고전적인 구성, 예를 들어 접선 다각체와 제트 번들로 일반화되는가?

주요 결과

• 논문은 무한차원 $C^\infty$-다각체에서의 곱을 보존하는 함자와 $C^\infty$-대수 사이의 일대일 대응을 수립한다.
• 고전적인 Weil 함자의 특성화를 유한차원에서 무한차원 다각체로 $C^\infty$-대수를 사용하여 일반화한다.
• 제트 함자와 접선 함자의 구성은 $C^\infty$-대수 프레임워크를 통해 무한차원 다각체로 확장된다.
• 저자들은 무한차원 다각체의 범주에서 모든 곱을 보존하는 함자가 고유한 $C^\infty$-대수로부터 유도됨을 증명한다.
• 이 프레임워크는 유한차원 제트 미적분학과 유사한 체계적인 무한차원 다각체에서의 미적분학을 가능하게 한다.
• 결과들은 프레셰 다각체와 다각체의 직접 극한과 같은 무한차원 공간에서 미분학을 개발하기 위한 기초를 제공한다.