[논문 리뷰] Homological Algebra for Diffeological Vector Spaces

Enxin Wu|arXiv (Cornell University)|2014. 06. 25.

Advanced Topics in Algebra참고 문헌 6인용 수 7

한 줄 요약

이 논문은 일반적인 미분다양체 벡터 공간에 대해 선형 부분위상에 대한 사영 대상을 도입함으로써 호모로지 대수학을 개발한다. 이를 통해 정확한 수열, Ext 군, 분해의 완전한 프레임워크를 수립한다. 핵심 기여는 짧은 정확한 수열의 동치류와 Ext¹(W,V) 사이의 전단사 사상으로, Ext¹(W,V) = 0이 되는 것은 정확히 모든 해당 수열이 매끄럽게 분해된다는 것을 보여준다.

ABSTRACT

Diffeological spaces are natural generalizations of smooth manifolds, introduced by J.M.~Souriau and his mathematical group in the 1980's. Diffeological vector spaces (especially fine diffeological vector spaces) were first used by P. Iglesias-Zemmour to model some infinite dimensional spaces in~\cite{I1,I2}. K.~Costello and O.~Gwilliam developed homological algebra for differentiable diffeological vector spaces in Appendix A of their book~\cite{CG}. In this paper, we present homological algebra of general diffeological vector spaces via the projective objects with respect to all linear subductions, together with some applications in analysis.

연구 동기 및 목표

• 미분다양체 벡터 공간의 범주로 호모로지 대수학을 확장함으로써, 미분다양체와 무한차원 공간을 일반화하는 것을 목적으로 한다.
• 선형 부분위상에 대해 사영 대상으로서의 사영 미분다양체 벡터 공간을 정의하고 특성화한다.
• 짧은 정확한 수열, 텐서곱, 쌍대, 분해를 포함한 호모로지 프레임워크를 수립한다.
• 미분다양체 벡터 공간의 짧은 정확한 수열이 언제 분해되는지 조사하며, 고전적 벡터 공간 이론과 대비한다.
• Ext¹(W,V)가 정확히 모든 짧은 정확한 수열 0 → V → A → W → 0가 매끄럽게 분해될 때만 0이 되는 것을 보여준다.

제안 방법

• 덧셈과 스칼라 곱이 매끄러운 사상이 되도록 미분다양체를 갖춘 벡터 공간으로서의 미분다양체 벡터 공간을 정의한다.
• 선형 부분위상과 유도를 미분다양체 설정에서의 전사와 단사의 범주론적 대응으로 도입한다.
• 자연스러운 성질을 통해 미분다양체 공간 위에 자유 미분다양체 벡터 공간을 구성하고, 모든 미분다양체 벡터 공간이 이러한 자유 대상의 몫임을 보인다.
• 모든 선형 부분위상에 대해 매끄러운 끌림이 존재하는 객체로 사영 미분다양체 벡터 공간을 정의하고, 여러 개의 동치 특성화를 제시한다.
• 미분다양체 사영 분해를 사용하여 유도 범주 유사 프레임워크를 개발하고, 확장과 코homological 끌림을 통해 Ext¹(W,V)를 정의한다.
• 미분다양체 벡터 공간의 범주에서 짧은 정확한 수열의 동치류 집합과 Ext¹(W,V) 사이의 전단사 사상을 증명한다. 분해는 영 클래스에 대응한다.

실험 결과

연구 질문

• RQ1 미분다양체 벡터 공간의 짧은 정확한 수열은 언제 매끄럽게 분해되는가?
• RQ2 미분다양체 벡터 공간이 사영이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 Ext¹ 군은 미분다양체 벡터 공간의 범주에서 어떻게 확장을 분류하는가?
• RQ4 모든 미분다양체 벡터 공간은 자유 미분다양체 벡터 공간의 몫으로 표현될 수 있는가?
• RQ5 정교한 미분다양체 벡터 공간, 자유 미분다양체 벡터 공간, 그리고 사영 대상 간의 관계는 무엇인가?

주요 결과

• 미분다양체 벡터 공간의 범주는 완비이자 코완비이며, 집합(Set)에 대한 기저 집합을 갖는 모든 극한과 쌍극한을 포함한다.
• 모든 미분다양체 벡터 공간은 미분다양체 공간에 의해 생성된 자유 미분다양체 벡터 공간의 몫으로 표현되지만, 모든 이러한 공간이 자유 공간인 것은 아니다.
• 미분다양체 벡터 공간의 짧은 정확한 수열은 정확히 Ext¹(W,V)의 클래스가 0일 때에만 매끄럽게 분해된다.
• 미분다양체 벡터 공간의 범주에는 충분한 수의 사영 대상이 존재하여 사영 분해의 존재를 보장한다.
• 정교한 미분다양체 벡터 공간은 사영적이며 프뢰리처이다. 자유 미분다양체 벡터 공간이 정교할 때이고, 뿐만 아니라 생성 공간이 이산일 때에만 성립한다.
• Ext¹ 군은 매끄러운 확장을 분류한다: Ext¹(W,V) = 0이 되는 것은 정확히 모든 짧은 정확한 수열 0 → V → A → W → 0가 매끄럽게 분해될 때이다.