[논문 리뷰] A Generalisation of Steenrod's Approximation Theorem

Christoph Wockel|arXiv (Cornell University)|2006. 10. 07.

Mathematics and Applications참고 문헌 5인용 수 7

한 줄 요약

이 논문은 유한차원이 아닌 국소적으로 볼록한 다양체를 섬유로 가지는 매끄럽고 국소적으로 평탄한 범주에 대해 스틴로드의 근사 정리의 일반화를 제시한다. 기저 다양체와 섬유에 대해 약간의 위상적 및 기하학적 조건이 만족되면, 임의의 연속 섬유는 닫힌 부분집합에서의 매끄러움을 유지하면서 연속 호모토피로 확장되는 매끄러운 근사로 근사 가능하다.

ABSTRACT

In this paper we aim for a generalisation of the Steenrod Approximation Theorem from, concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalisation is that we consider locally trivial smooth bundles with a possibly infinite-dimensional typical fibre. The main result states that a continuous section in a smooth locally trivial bundles can always be smoothed out in a very controlled way (in terms of the graph topology on spaces of continuous functions), preserving the section on regions where it is already smooth.

연구 동기 및 목표

• 유한차원이 아닌 국소적으로 볼록한 다양체를 섬유로 가지는 범주로 스틴로드의 고전적 근사 정리를 확장하는 것.
• 지정된 닫힌 부분집합에서의 매끄러움을 유지하는 연속 섬유에 대한 매끄러운 근사 절차 수립.
• 원래 섬유와 그 매끄러운 근사 사이의 연속 호모토피를 구성하여 주어진 열린 집합 외부에서 섬유가 동일하게 유지되도록 하는 것.
• 특히 국소적으로 볼록한 다양체의 맥락에서 무한차원 기하학에서의 매끄러운 근사에 대한 프레임워크 제공.
• 매끄럽고 연속적인 호모토피가 국소적으로 볼록한 다양체로 들어가는 경우에 일치함을 보이며, 유한차원 설정에서의 결과를 일반화하는 것.

제안 방법

• 수렴과 근사의 정밀한 제어를 보장하기 위해 연속 함수 공간에 그래프 위상을 적용한다.
• 국소적으로 볼록한 공간의 볼록 열린 부분집합을 기반으로 한 차트에서 국소적인 매끄러운 근사 절차를 적용한다.
• 매끄러운 컷오프 함수를 사용하여 주어진 연속 호모토피를 재매개변수화함으로써 호모토피를 구성한다.
• 기본 정리의 적용 가능성을 활용하여 문제를 모서리가 있는 다양체 위의 당김 범주로 환원한다.
• 필요한 경우 기저점 유지 호모토피를 확보하기 위해 파artition of unity 추론을 활용한다.
• 기저 다양체의 국소 콤파クト성과 섬유의 국소 볼록성을 기반으로 매끄러운 근사의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 스틴로드의 근사 정리는 국소적으로 볼록한 섬유를 가진 범주로 확장될 수 있는가?
• RQ2 기본 다양체와 섬유에 대해 어떤 조건에서 매끄럽고 국소적으로 평탄한 범주에 속한 연속 섬유가 닫힌 부분집합에서의 매끄러움을 유지하면서 매끄럽게 근사될 수 있는가?
• RQ3 주어진 열린 집합 외부에서 섬유가 동일하게 유지되는 조건에서, 연속 섬유와 그 매끄러운 근사 사이의 연속 호모토피를 구성할 수 있는가?
• RQ4 매끄럽고 연속적인 호모토피가 국소적으로 볼록한 다양체로 들어가는 경우에 일치하는가, 그리고 만약 그렇다면 어떤 조건에서 그런가?
• RQ5 특히 그래프 위상의 선택이 무한차원 설정에서 근사 및 호모토피 구성에 어떤 영향을 미치는가?

주요 결과

• 기본 다양체가 국소적으로 볼록한 다양체인 매끄럽고 국소적으로 평탄한 범주에 속한 연속 섬유는 주어진 열린 집합 외부에서 원래 섬유와 일치하는 매끄러운 근사를 가진다.
• 이 매끄러운 근사는 원래 섬유가 열린 집합의 여집합에서 동일하게 유지되는 연속 호모토피를 통해 실현될 수 있다.
• 이 호모토피는 원래 섬유가 이미 매끄러운 닫힌 부분집합의 근방에서 매끄럽게 유지되도록 추가로 정밀화될 수 있다.
• 모서리가 있는 다양체의 경우, 기저 공간이 콤파クト하지 않더라도 매끄러운 근사와 함께 호모토피 제어를 허용하는 것으로 확장된다.
• 결과적으로 국소적으로 볼록한 다양체로 들어가는 연속 사상은 매끄러운 사상과 호모토피적이며, 연속 호모토피 역시 매끄러운 호모토피와 호모토피적임을 시사한다.
• 기저점 유지 섬유 및 호모토피의 경우, 구성은 전체 동안 기저점을 유지하는 매끄러운 호모토피를 도출한다.