[논문 리뷰] Simplicial volume of closed locally symmetric spaces of non-compact type

Jean‐François Lafont, Benjamin Schmidt|ArXiv.org|2005. 04. 18.

Advanced Algebra and Geometry참고 문헌 13인용 수 18

한 줄 요약

이 논문은 비콤팩트 유형을 가진 폐포 국소 대칭 공간이 양의 단체체적을 가짐을 증명하여, 그로모프가 오랫동안 제기한 추측을 확인한다. 저자들은 바리센터 방법의 새로운 응용을 통해 통제 가능한 직선화된 단체를 구성함으로써 체적 비교를 통해 단체체적의 하한을 확립함으로써, 양의 성질 문제를 해결하고 수많은 기하학적 및 위상수학적 결과를 이끌어낸다.

ABSTRACT

We show that compact, locally symmetric spaces of non-compact type have positive simplicial volume. This gives a positive answer to a question that was first raised by Gromov in 1982. We provide a summary of results that are known to follow from positivity of the simplicial volume.

연구 동기 및 목표

• 폐포 국소 대칭 공간의 비콤팩트 유형에 대해 1982년 그로모프가 제기한 단체체적의 양의 성질에 대한 추측을 해결하기 위해.
• 바리센터 방법에 기반한 새로운 직선화 절차를 사용하여 단체체적의 하한을 확립하기 위해.
• 이러한 다양체가 비자명한 유계 코hom로지를 가지며, F-구조나 고정점이 없는 원환면 작용과 같은 특정 기하 구조를 가질 수 없음을 보여주기 위해.
• 단체체적과 체적의 비율의 정확한 값 및 최상위 차원의 유계 코homology의 차원을 향한 향후 연구의 기초를 마련하기 위해.

제안 방법

• 바리센터 방법을 사용하여 보편 커버 위에서 $\Gamma$--equivariant 직선화 사상을 구성함으로써 투스턴의 단체체적 접근을 변형함.
• 보편 커버 내의 최상위 차원 단체를 직선화하고, 야코비안이 균일하게 유계가 되도록 하여 체적 왜곡을 통제함.
• 단체체적에 대한 비례 원칙을 적용하여, 다양체의 체적과 직선화된 단체의 최대 체적과의 관계를 설정함.
• 컨넬과 파르의 추정과 베손-쿠르토아-갈로의 바리센터 방법을 활용하여, 직선화된 단체의 야코비안을 유계함.
• 야코비안의 균일한 유계성과 다양체의 체적을 활용하여 체적 비교를 통해 단체체적의 하한을 확립함.
• 결과로 도출된 양의 성질을 응용하여, 유계 코homology, $L^2$-불변량, 기하 구조에 대한 함의를 도출함.

실험 결과

연구 질문

• RQ1 모든 폐포 국소 대칭 공간의 비콤팩트 유형은 양의 단체체적을 가지는가?
• RQ2 바리센터 방법을 사용하여 이러한 공간의 최상위 차원 단체에 대해 야코비안이 균일하게 유계인 직선화 절차를 구성할 수 있는가?
• RQ3 주어진 비콤팩트 유형의 국소 대칭 공간에 대해 비율 $||M^n|| / \text{Vol}(M^n)$ 의 정확한 값은 얼마인가?
• RQ4 이러한 다양체에 대해 최상위 차원의 유계 코homology $\hat{H}^n(M^n)$ 은 유한 차원인가?
• RQ5 단체체적의 값이 0일 때, 루크의 $L^2$-불변량에 대한 추측을 만족하는가?

주요 결과

• 모든 폐포 국소 대칭 공간의 비콤파クト 유형에 대해 단체체적은 엄격히 양수이다.
• 양의 단체체적의 결과로 최상위 차원의 유계 코호몰로지 $\hat{H}^n(M^n)$ 은 0이 아님.
• 모든 F-구조, 특히 고정점이 없는 $S^1$-작용을 포함하여 이러한 다양체는 어떤 F-구조도 가질 수 없다.
• 모든 애핀 평탄한 범주 $E \to M^n$ 에 대해 오일러 특성이 $|\chi| \leq 2^{-n} ||M^n||$ 를 만족함으로써 이전의 추정을 향상시킴.
• $M^n$ 의 베텅 수의 합은 단체체적의 상수배로 위상이 결정되며, 이 상수는 오직 차원에만 의존함.
• 이 다양체는 루크의 $L^2$-불변량에 대한 추측의 가정을 만족하지 않기 때문에, 추측에 대한 반례가 되지 않는다.