[논문 리뷰] On Gromov's positive scalar curvature conjecture for virtual duality groups

Alexander Dranishnikov|arXiv (Cornell University)|2013. 12. 10.

Geometric and Algebraic Topology참고 문헌 20인용 수 3

한 줄 요약

이 논문은 캐시드-바움-콘스 편제를 만족하는 가상의 두류군인 기본군을 가진 폐포된 거의 스플린 $n$-다양체에서 양의 스칼라 곡률을 가질 경우, 그의 기본 커버의 매크로스코픽 차원이 $n-2$ 이하임을 증명한다. 이는 그로모프의 추측을 증명한 것으로, 증명은 캐시드 코homology, 버스타인-슐라르 클래스, 그리고 변형 이론을 사용하여 $(n-2)$-스켈레톤으로의 변형에 대한 주된 장애물이 사라짐을 보여, 이전 결과를 넘어서는 군의 범주를 확장한다.

ABSTRACT

We prove the inequality $$ \dim_{mc}\Wi M\le n-2$$ for the macroscopic dimension of the universal covers $\Wi M$ of almost spin $n$-manifolds $M$ with positive scalar curvature whose fundamental group $π_1(M)$ is a virtual duality group that satisfies the coarse Baum-Connes conjecture.

연구 동기 및 목표

• 기본군의 범주를 거의 노름, 산술, 매핑 클래스 군을 포함하여 더 넓은 범위로 확장하여 그로모프의 양의 스칼라 곡률 추측을 확장한다.
• 캐시드 바움-콘스 추측을 만족하는 가상의 두류군을 가진 거의 스플린 다양체에서 $\dim_{mc}\widetilde{M} \leq n-2$ 를 확립한다.
• 매크로스코픽 차원의 개념을 캐시드 무의미성과 연결하여 유리수 무의미성과 군 호모로지와 관련지어 일반화한다.
• 약한 그로모프 추측을 스톤-체하프 컴actsification과 $\beta\widetilde{M}$의 코homology 클래스에 대한 유리성 추측으로 환원한다.

제안 방법

• 유니폼하게 코보운드된 사상에 의한 유한 차원 단체 복합체를 통한 매크로스코픽 차원 $\dim_{mc}$ 정의를 사용한다.
• 캐시드 코homology와 캐시드 바움-콘스 추측을 적용하여 $\widetilde{M}$의 대규모 기하학을 분석한다.
• 변형을 더 낮은 스펙트럼으로 옮기는 데 대한 장애물을 생성하기 위해 버스타인-슐라르 클래스 $b \in H^1(\pi, I(\pi))$와 그 컵 거듭제곱을 사용한다.
• 버스타인-슐라르 클래스의 보편 성질을 통해 문제를 주 장애물 $o_{\widetilde{f}}$의 소멸으로 환원한다.
• 기본류를 코homological 장애물과 연결하기 위해 $\pi_1$--equivariant 편향 사상 $Pert_*$와 계수 호모로지 사상 $ec^*_M$을 사용한다.
• sheaf 코homology에 대한 유리성 추측을 바탕으로 $\beta\widetilde{M}$에서 $\tilde{o}$의 장애물 클래스가 유한 차수를 가지며 따라서 소멸함을 유추한다.

실험 결과

연구 질문

• RQ1 캐시드 바움-콘스 추측을 만족하는 가상의 두류군을 가진 양의 스칼라 곡률 다면체의 기본 커버에 대해 매크로스코픽 차원이 $\dim_{mc}\widetilde{M} \leq n-2$ 를 만족하는가?
• RQ2 약한 그로모프 추측($\dim_{mc}\widetilde{M} \leq n-1$)은 $\widetilde{M}$의 스톤-체하프 컴팩티피케이션에서의 유리성 조건으로 환원될 수 있는가?
• RQ3 기본류가 유리 호모로지에서 토르션일 경우, $(n-1)$-스켈레톤으로의 변형에 대한 주 장애물이 자명한가?
• RQ4 버스타인-슐라르 클래스는 그 컵 거듭제곱과 계수 호모로지 사상들을 통해 매크로스코픽 차원을 어느 정도 제어하는가?
• RQ5 장애물 클래스 $o_{\widetilde{f}}$가 소멸하면, 이러한 기본군을 가진 거의 스플린 다양체에서 $\dim_{mc}\widetilde{M} < n$ 이 성립하는가?

주요 결과

• 모든 양의 스칼라 곡률을 가진 거의 스플린 $n$-다양체에서, 캐시드 바움-콘스 추측을 만족하는 가상의 두류군을 가진 기본군을 가질 경우, 부등식 $\dim_{mc}\widetilde{M} \leq n-2$ 가 성립한다.
• 증명은 $(n-2)$-스켈레톤으로의 변형에 대한 주 장애물 $o_{\widetilde{f}}$가 소멸함을 보여, 따라서 $\dim_{mc}\widetilde{M} < n$ 이다.
• 다양체 $M$의 유리수 무의미성은 $f_*([M])$ 가 토르션임을 뜻하며, 이는 $f^*(b^n)$ 이 유한 차수를 가지게 하고, 따라서 유리 설정에서 장애물이 소멸함을 이끌어낸다.
• 약한 그로모프 추측은 $\beta\widetilde{M}$의 $\bar{p}^*\mathcal{I}^n$ 계수에서의 코homology에 대한 유리성 추측으로 환원되며, 이 조건 하에서 장애물 클래스 $\tilde{o}$ 가 소멸한다.
• 이 결과는 이전의 자유군의 곱을 넘어서, 거의 노름 군, 산술 군, 끈 군, 브레이드 군, $\mathrm{Out}(F_n)$을 포함하여 그로모프의 추측이 성립하는 군의 범주를 확장한다.
• 캐시드 호모로지와 편향 이론을 통해, $\dim_{mc}\widetilde{M} < n$ 과 $\widetilde{f}_*([\widetilde{M}])$ 가 $H^{lf}_n(E\pi;\mathbb{Z})$ 에서 소멸하는 것 사이의 동치 관계를 확립한다.