[논문 리뷰] Aspherical manifolds, Mellin transformation and a question of Bobadilla-Koll\'{a}r

Yongqiang Liu, Laurenţiu Maxim외 1명|arXiv (Cornell University)|2020. 06. 16.

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

한 줄 요약

이 논문은 비가역적 프로젝티브 다양체에 대해 보바딜라-콜라의 적분 및 유리수 동치 호모로지 판별 문제에 대한 긍정적 답변을 제시한다: 만약 프로젝티브 다양체의 기본 커버가 수축 가능하고, 기본 커버의 역상이 유한 CW 복합체와 호모토피 동치라면, 그 사상은 Z- 또는 Q-동치 호모로지 피브리로 패키지가 된다. 증명은 멜린 변환, 페르세 sheaf, 그리고 캐런 클래스의 양성과 함께, 아벨 다양체와 컴acts ball 쿼티언트에 대한 핵심 결과를 포함한다.

ABSTRACT

In their 2012 paper, Bobadilla and Koll\'ar studied topological conditions which guarantee that a proper map of complex algebraic varieties is a topological or differentiable fibration. They also asked whether a certain finiteness property on the relative covering space can imply that a proper map is a fibration. In this paper, we answer positively the integral homology version of their question in the case of abelian varieties, and the rational homology version in the case of compact ball quotients. We also propose several conjectures in relation to the Singer-Hopf conjecture in the complex projective setting.

연구 동기 및 목표

• 논문은 상대 커버링 공간의 유한성 조건이 올림프로젝티브 사상이 호모토피 또는 동치 호모로지 피브리로 패키지임을 암시하는지 조사한다.
• 비가역 다각체의 맥락에서 보바딜라-콜라 질문의 적분 및 유리수 동치 호모로지 판별 문제를 다룬다.
• 아벨 다양체와 컴팩트 볼 쿼티언트에 대해, 동치 호모로지 유한성 조건이 사상이 Z- 또는 Q-동치 호모로지 피브리로 패키지임을 암시한다는 것을 증명하는 것이 목표이다.
• 위상적 유한성 조건과 피브리케이션의 구조를 연결하고, 싱거-홉프 추측에 대한 함의를 다룬다.
• 싱거-홉프 추측을 비가역적 프로젝티브 다각체 위의 페르세 sheaf로 일반화하는 것을 제안한다.

제안 방법

• 저자들은 비아벨리안 멜린 변환을 사용하여 기본 커버의 호모토플 타입과 기저 공간의 코homology 사이의 관계를 규명한다.
• 분해 정리와 앰플 벡터 번들의 캐런 클래스의 양성 결과를 적용하여 사상의 코homological 행동을 분석한다.
• 페르세 sheaf 이론과 유도 범주론을 사용하여 직접 이미지 복합체가 국소적으로 상수일 조건을 특징짓는다.
• 아벨 다양체의 경우, 특성 사이클과 아벨 다양체의 기하학을 사용하여 멜린 변환의 핵심적인 비영성 성질을 증명한다.
• 비가역적 프로젝티브 다각체의 기본 커버가 앰플 코탄제트 번들의 경우 스타인 공간임을 증명하는 데 핵심이 되는 사실을 이용한다. 이는 샤파레비치 추측에 기반한다.
• 복소 기하학, 대수적 토폴로지, 그리고 특히 양의 특성에서의 표현 이론을 결합한 논증을 사용한다.

실험 결과

연구 질문

• RQ1 기저가 아벨 다양체일 경우, 전체 공간의 기본 커버가 유한하다면, 올림프로젝티브 사상이 Z-동치 호모로지 피브리로 패키지가 되는가?
• RQ2 기저가 컴팩트 볼 쿼티언트이거나 더 일반적으로 앰플 코탄제트 번지를 가진 비가역적 프로젝티브 다각체일 경우, 동일한 유한성 조건이 사상이 Q-동치 호모로지 피브리로 패키지임을 암시하는가?
• RQ3 싱거-홉프 추측은 비가역적 프로젝티브 다각체 위의 페르세 sheaf로 일반화될 수 있는가?
• RQ4 샤파레비치 추측은 비가역적 프로젝티브 다각체의 기본 커버가 스타인 공간임을 암시하는가?
• RQ5 모든 비가역적 프로젝티브 다각체는 유한 차원의 충실한 선형 표현을 갖는 기본군을 갖는가?

주요 결과

• 아벨 다양체에 대해 적분 보바딜라-콜라 질문은 긍정적으로 해결된다: 전체 공간의 기본 커버가 유한 CW 복합체와 호모토피 동치라면, 알바네제 사상은 Z-동치 호모로지 피브리로 패키지가 된다.
• 비가역적 프로젝티브 다각체에 대해 앰플 코탄제트 번지를 가진 경우, 유리수 보바딜라-콜라 질문은 긍정적으로 해결된다. 이는 컴팩트 볼 쿼티언트를 포함한다.
• 비가역적 프로젝티브 다각체의 기본 커버에는 양의 차원의 컴팩트 해석적 부분다양체가 존재하지 않으며, 이는 샤파레비치 추측을 지지한다.
• 샤파레비치 추측은 비가역적 프로젝티브 다각체의 기본 커버가 스타인 공간임을 암시하며, 이는 싱거-홉프 추측을 일반화하는 데 핵심 단계이다.
• 논문은 아벨 다양체에서 멜린 변환이 비영성임을 증명하였으며, 이는 적분 사례의 핵심 기술적 결과이다.
• 저자들은 비가역적 프로젝티브 다각체 위의 임의의 페르세 sheaf의 오일러 특성을 음이 아닌 것으로 보여주었으며, 이는 싱거-홉프 추측을 일반화한 것이다.