[논문 리뷰] Topological complexity of arithmetic locally symmetric spaces

Mikołaj Frączyk, Sebastián Hurtado외 1명|arXiv (Cornell University)|2022. 02. 28.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 산술적 국소 대칭 공간의 위상적 복잡도가 부피에 대해 선형이며, 베티 수가 중간 차원를 제외한 부피에 대해 비선형임을 증명한다. 정교한 마르골리스 보조정리, 궤도 적분 추정, 벤자민-슈람의 수렴을 이용하여 게란더의 추측인 균일한 호모토피 복잡도를 확인하고, $L^2$-베티 수를 통해 부피에 따른 베티 수의 점근적 선형성을 증명한다.

ABSTRACT

We prove that any arithmetic locally symmetric space is homotopy equivalent to a simplicial complex where the number of simplices is bounded linearly in the volume of the space. This settles a well-known conjecture of Gelander. The main technical ingredient, which is of independent interest, is a strengthened version of the Margulis' collar lemma for arithmetic locally symmetric spaces based on the height gap theorem of Breuillard, in which the Margulis constant is made linear in the degree of the trace field of the lattice.

연구 동기 및 목표

• 부피에 대한 삼등분 크기의 상한을 이용해 산술적 국소 대칭 공간에 대한 균일한 호모토피 복잡도를 확립한다.
• 특히 중간 차원 이외의 경우에서 부피에 대한 베티 수의 점근적 행동을 분석한다.
• 단순형 리 군에서의 산술 격자 수열에 대해 벤자민-슈람 수렴을 증명한다.
• 비콤팩트 대칭 공간에서의 산술 격자를 위한 마르골리스 보조정리와 궤도 적분 추정을 정교화한다.
• 트레이스 필드 차수의 두께 부분과 위상적 불변량을 통제하는 데서의 역할을 해결한다.

제안 방법

• 산술적 국소 대칭 공간의 두꺼운 부분의 기하학을 제어하기 위해 새로운 산술 마르골리스 보조정리를 개발한다.
• 작은 이동 거리를 가진 군 원소의 수를 제어하기 위해 궤도 적분에 대한 추정을 사용한다.
• 단순형 리 군에서의 산술 격자를 위해 특화된 정교화된 마르골리스 보조정리를 적용한다.
• 갈루아 코hom로지와 브라하트-티츠 빌딩 이론을 이용해 코어시지 클래스와 콤팩트 코hom로지 클래스를 분석한다.
• 트레이스 필드 차수에 따라 두꺼운 부분의 부피를 상한으로 제한함으로써 벤자민-슈람 수렴을 확립한다.
• 한계 승수 결과와 $L^2$-베티 수 이론을 조합하여 점근적 베티 수 상한을 유도한다.

실험 결과

연구 질문

• RQ1 산술적 국소 대칭 공간의 최소 삼등분 크기는 부피에 대해 선형으로 증가하는가?
• RQ2 산술적 국소 대칭 공간의 베티 수는 중간 차원를 제외한 부피에 대해 비선형적인가?
• RQ3 트레이스 필드 차수가 유계가 아닌 경우, 단순형 리 군에서의 산술 격자 수열에 대해 벤자민-슈람 수렴을 확립할 수 있는가?
• RQ4 궤도 적분과 이동 거리 수는 산술적 국소 대칭 공간의 두꺼운 부분의 기하학을 어떻게 제약하는가?
• RQ5 갈루아 코호몰로지의 콤팩트 코호몰로지 클래스는 산술 몫의 위상에 어느 정도 영향을 미치는가?

주요 결과

• 산술적 국소 대칭 공간의 삼등분에서 최소 테트라하드론 수는 부피에 대해 최대 선형이다.
• 베티 수는 중간 차원를 제외한 부피에 대해 비선형으로 증가하며, 이는 그 범위 외부에서 점근적 소멸을 확인한다.
• 산술적 국소 대칭 공간의 가족은 균일한 호모토피 복잡도를 가지며, 게란더의 추측을 확인한다.
• 트레이스 필드 차수가 유계가 아닌 산술 격자 수열에 대해 벤자민-슈람 수렴이 성립하며, 두꺼운 부분의 부피에 대해 명시적 상한이 존재한다.
• 작은 이동 거리를 가진 코어시지 클래스의 수는 군의 유형에 따라 유일하게 유계이다.
• 합동 산술 격자에 대해서는 $b_k(M) \sim \beta_k^{(2)}(G) \cdot \mathrm{vol}(M)$을 만족하며, 여기서 $\beta_k^{(2)}(G)$는 $G$의 $k$-번째 $L^2$-베티 수이다.