[논문 리뷰] Geometric dimension of lattices in classical simple Lie groups

Javier Aramayona, Dieter Degrijse외 2명|arXiv (Cornell University)|2015. 04. 10.

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

한 줄 요약

이 논문은 고전적 단순 리군의 격자 Γ에 대해, 적절한 기하 차원 𝗱(Γ)이 가상 코homological 차원 𝗩𝗖𝗗(Γ)와 일치함을 증명하며, 이러한 군들에 대해 오랫동안 남아있던 질문을 해결한다. Bredon 코hom올로지와 Borel-Serre 경계화를 이용하여, G의 대칭 공간이 𝗩𝗖𝗗(Γ) 차원의 코컴act Γ-CW 복합체와 Γ-동치로 호모토피 동치임을 보이며, 이로써 이러한 계열의 격자들에 대해 기하 차원과 코homological 차원이 일치함을 증명한다.

ABSTRACT

We prove that if $Γ$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $Γ$-equivariantly homotopy equivalent to a proper cocompact $Γ$-CW complex of dimension the virtual cohomological dimension of $Γ$.

연구 동기 및 목표

• 고전적 단순 리군의 격자 Γ에 대해 적절한 기하 차원 𝗱(Γ)이 그 가상 코homological 차원 𝗩𝗖𝗗(Γ)와 같은지 결정하는 것.
• 𝑑(Γ) = 𝑉𝐶𝐷(Γ)를 만족하는 군의 목록을 확장하며, 특히 고전적 단순 리군의 격자들에 대해 이를 다루는 것.
• 이러한 군 G의 대칭 공간이 𝗩𝗖𝗗(Γ) 차원의 코컴팩트 Γ-CW 복합체와 Γ-동치로 호모토피 동치임을 증명하는 것.
• 이러한 격자들에 대해 𝑑(Γ)와 𝑉𝐶𝐷(Γ)를 계산하고 비교하기 위한 대체 도구로 Bredon 코호몰로지를 사용하는 것.

제안 방법

• 적절한 기하 차원의 대체 도구로 Bredon 코호몰로지를 활용하여, Bredon 코호몰로지 차원과 가상 코호몰로지 차원이 일치함을 통해 𝑑(Γ) = 𝑉𝐶𝐷(Γ)를 증명하는 것.
• 대칭 공간 S = G/K의 Borel-Serre 경계화 X를 유한한 안정자군을 갖는 Γ-CW 복합체로서 𝔼Γ의 코컴팩트 모델로 사용하는 것.
• Borel과 Serre의 결과를 활용하여, 𝑉𝐶𝐷(Γ)를 컴actsupport된 코호몰로지 𝐻ⁿ_c(X)가 비자명이 되는 최대의 n로 계산하는 것.
• Schanuel의 보조정리와 호모로지 대수 기법을 적용하여, O_FINΓ-모듈의 상수 함수 ℤ에 대한 유한 자유 해체를 구성하는 것.
• 길이가 𝑉𝐶𝐷(Γ)인 해체를 이용하여, [26]과 [23]의 결과를 활용하여 𝑉𝐶𝐷(Γ) 차원의 코컴팩트 Γ-CW 복합체를 구성하는 것.
• 각 고전적 유형에 맞는 구체적 보조정리를 사용하여, 각 군의 경우 분석을 통해 𝑑(Γ) = 𝑉𝐶𝐷(Γ)임을 검증하는 것 (예: SL(n,ℂ), Sp(2n,ℝ), SU(p,q) 등).

실험 결과

연구 질문

• RQ1 고전적 단순 리군의 격자 Γ에 대해, 적절한 기하 차원 𝑑(Γ)가 그 가상 코호몰로지 차원 𝑉𝐶𝐷(Γ)와 같은가?
• RQ2 대칭 공간 S = G/K가 𝑉𝐶𝐷(Γ) 차원의 코컴팩트 Γ-CW 복합체와 Γ-동치로 호모토피 동치가 될 수 있는가?
• RQ3 어느 고전적 단순 리군에서 격자 Γ가 𝑑(Γ) = 𝑉𝐶𝐷(Γ)를 만족하며, 이는 Bredon 코호몰로지를 통해 통일적으로 증명될 수 있는가?
• RQ4 𝑑(Γ) = 𝑉𝐶𝐷(Γ)일 때, S의 Borel-Serre 경계화 X는 𝔼Γ의 최소 차원 코컴팩트 모델을 구성하는 데 적합한가?
• RQ5 모든 고전적 단순 리군에서 𝑑(Γ) = 𝑉𝐶𝐷(Γ)가 통일된 코호몰로지 방법을 통해 증명될 수 있는가?

주요 결과

• 모든 고전적 단순 리군 G의 격자 Γ에 대해, 적절한 기하 차원 𝑑(Γ)는 가상 코호몰로지 차원 𝑉𝐶𝐷(Γ)와 일치한다.
• 대칭 공간 S = G/K는 𝑉𝐶𝐷(Γ) 차원의 적절한 코컴팩트 Γ-CW 복합체와 Γ-동치로 호모토피 동치이다.
• S의 Borel-Serre 경계화 X는 𝔼Γ의 코컴팩트 모델로 기능하며, 궤도 범주 위에서의 세포 체인 복합체를 통해 길이 𝑉𝐶𝐷(Γ)의 해체를 구성할 수 있다.
• 모든 고전적 유형—SL(n,ℂ), SO(n,ℂ), Sp(2n,ℂ), SL(n,ℝ), SL(n,ℍ), SO(p,q), SU(p,q), Sp(p,q), Sp(2n,ℝ), 및 SO*(2n)—에 대해, 각각의 경우 분석과 특정 보조정리를 통해 𝑑(Γ) = 𝑉𝐶𝐷(Γ)가 성립함이 입증되었다.
• 증명은 Bredon 세포 체인 복합체에서 (d-1)번째 경계 사상의 핵이 안정적으로 자유임을 보여, 길이 𝑉𝐶𝐷(Γ)인 유한 자유 해체를 구성할 수 있음을 기반으로 한다.
• 결과는 균일 및 비균일 경우를 포함한 고전적 단순 리군의 모든 격자에 대해 성립하며, 이 넓은 군의 범주에 대해 기하 차원 문제를 완전히 해결한다.