[논문 리뷰] Product preserving bundle functors on multifibered and multifoliate manifolds

В. В. Шурыгин|arXiv (Cornell University)|2007. 05. 23.

Geometric and Algebraic Topology참고 문헌 9인용 수 5

한 줄 요약

이 논문은 다중엽 다성분 구조의 동치류와 유한 완비 프로젝티브 시스템의 벡터 공간 엡라미즘 사이의 일대일 대응을 수립한다. 모든 제품 보존 범주 함수를 다중섬유 및 다중엽 다성분 다양체 위에서 완전히 분류하기 위해, 이는 스무스 다성분 다각체 위의 제품 보존 범주 함수 간의 자연 변환의 인덕티브 시스템과 자연적인 전단사 관계에 있음을 보여준다.

ABSTRACT

We show that the set of the equivalence classes of multifoliate structures is in one-to-one correspondence with the set of equivalence classes of finite complete projective systems of vector space epimorphisms. After that we give the complete description of all product preserving bundle functors on the categories of multifibered and multifoliate manifolds.

연구 동기 및 목표

• 다중엽 다성분 구조의 동치류와 유한 완비 프로젝티브 시스템의 벡터 공간 엡라미즘 사이의 일대일 대응을 수립하기 위해.
• 스무스 다성분 다각체에서의 제품 보존 범주 함수의 분류를 다중섬유 및 다중엽 다성분 다각체로 확장하기 위해.
• 스무스 다성분 다각체 위의 제품 보존 범주 함수 간의 자연 변환의 인덕티브 시스템을 사용하여 다중섬유 다성분 다각체의 범주에서 모든 제품 보존 범주 함수의 완전한 기술을 제공하기 위해.
• Mikulski(1996)의 섬유 다성분 다각체에 대한 결과를 더 넓은 다중엽 다성분 다성분 다각체의 맥락으로 일반화하기 위해.
• 프로젝티브 시스템의 완비화를 정의하고 특성화하여 다중엽 다성분 다각체의 맥락에서 완비성을 확보하기 위해.

제안 방법

• 유한 차원 실수 벡터 공간의 프로젝티브 시스템을 선형 엡라미즘을 투사로 정의한다.
• 모든 유한 차원 불변 부분공간이 기본 투사의 핵으로 나타나는 완비 프로젝티브 시스템의 개념을 도입한다.
• 모든 유한 차원 불변 부분공간에 대한 역극한을 취하여 임의의 프로젝티브 시스템의 완비화를 구성한다.
• 스무스 다성분 다각체를 확장하는 범주로서 다중섬유 및 다중엽 다성분 다각체를 정의하며, 이들의 구조는 프로젝티브 시스템에 의해 지배된다.
• 스무스 다성분 다각체 위의 제품 보존 범주 함수 간의 자연 변환의 인덕티브 시스템 $ \mu $ 에서부터 $ T^\mu $ 를 구성한다.
• 자기적 제품 보존 범주 함수 $ F $ 와 기본 범주 함수 $ T^{\mu^F} $ 를 연결하기 위해 자연 변환 $ \kappa $ 와 $ \widetilde{\nu} $ 를 사용하여 자연 동치를 수립한다.

실험 결과

연구 질문

• RQ1 스무스 다성분 다각체 위의 다중엽 다성분 구조는 어떤 대수적 자료로 분류될 수 있는가?
• RQ2 다중섬유 다성분 다각체의 범주에서 제품 보존 범주 함수의 완전한 특성은 무엇인가?
• RQ3 스무스 다성분 다각체 위의 제품 보존 범주 함수 간의 자연 변환의 인덕티브 시스템은 다중섬유 다성분 다각체 위의 범주 함수와 어떻게 관련이 있는가?
• RQ4 다중섬유 다성분 다각체 위의 범주 함수가 $ \mu $ 에서 유도된 $ T^\mu $ 범주 함수와 동치가 되기 위한 조건은 무엇인가?
• RQ5 두 such 범주 함수 간의 자연 변환은 그 기저 범주 함수 위의 성분들에 의해 유일하게 결정되는가?

주요 결과

• 다중엽 다성분 구조의 동치류와 유한 완비 프로젝티브 시스템의 벡터 공간 엡라미즘 동치류 사이에 자연스러운 전단사가 존재한다.
• 다중섬유 다성분 다각체의 범주에서 모든 제품 보존 범주 함수는 스무스 다성분 다각체 위의 제품 보존 범주 함수 간의 자연 변환의 인덕티브 시스템 $ \mu $ 에서 유도된 $ T^\mu $ 범주 함수와 자연 동치이다.
• 모든 제품 보존 범주 함수 $ F $ 에 대해 자연 변환 $ \kappa: F \to T^{\mu^F} $ 는 자연 동치를 이룬다. 이는 분류의 완전성을 보장한다.
• $ F \mapsto \mu^F $ 의 대응은 $ \mathcal{FM}_\Lambda $ 에서의 제품 보존 범주 함수의 동치류와 $ \mathcal{M}f $ 에서의 자연 변환의 인덕티브 시스템의 동치류 사이의 전단사를 유도한다.
• 두 범주 함수 $ F $ 와 $ \overline{F} $ 는 그에 대응하는 인덕티브 시스템 $ \mu^F $ 와 $ \mu^{\overline{F}} $ 가 호환성 있는 자연 변환의 가족을 통해 동치일 때이고, 그 때에만 서로 동치이다.
• 벡터 공간의 프로젝티브 시스템의 완비화는 모든 유한 차원 불변 부분공간이 투사의 핵으로 표현됨을 보장하며, 이는 분류에 필수적이다.