[논문 리뷰] Commability and focal locally compact groups

Yves Cornulier|arXiv (Cornell University)|2013. 06. 18.

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

한 줄 요약

이 논문은 코컴팩트 포함과 컴팩트 정규부분군에 대한 몫을 생성하는 국소적으로 컴팩트인 군들에 대해 새로운 동치관계인 공비교성(commability)을 도입하고, 초점적 하이퍼볼릭 국소적으로 컴팩트 군들을 공비교성에 대해 분류한다. 주요 결과는 군의 관련 공간 위에서의 작용의 성장률과 관련된 실수 매개변수를 준위-등거리 불변량으로 식별함으로써, 이 불변량과 정수 매개변수 k를 이용해 혼합형 초점적 군들을 완전히 분류할 수 있음을 보여준다.

ABSTRACT

We introduce the notion of commability between locally compact groups, namely the equivalence relation generated by cocompact inclusions and quotients by compact normal subgroups. We give a classification of focal hyperbolic locally compact groups up to commability. In the mixed case, it involves a real parameter, which is shown to be a quasi-isometry invariant.

연구 동기 및 목표

• 국소적으로 컴팩트 군에 대해 공비교성(commensurability)의 일반화로서 동치관계로써의 공비교성을 정의하고 연구하는 것.
• 특히 혼합형 케이스에서 공비교성에 대해 초점적 하이퍼볼릭 국소적으로 컴팩트 군들을 분류하는 것.
• 군의 관련 공간 위에서의 작용으로부터 유도된 실수 매개변수 ϖ를 준위-등거리 불변량으로 식별하는 것.
• 아벨리안 니르포텐트 라디컬을 가진 밀레플루이에 공간들에 대한 준위-등거리 분류를 공비교성을 통해 수립하는 것.
• 공비교성과 L^p-코homology, Dymarz의 q-불변량의 준위-등거리 불변성 간의 연결을 설정하는 것.

제안 방법

• 공비교성의 구성 요소로써 코컴팩트 이미지를 가진 연속적이고 올바른(continuous, proper, with cocompact image) 호모모르피즘인 copci 호모모르피즘의 개념을 도입한다.
• 국소적으로 컴팩트 군들 사이에서 양방향 copci 호모모르피즘에 의해 생성되는 동치관계로써 공비교성을 정의한다.
• 모든 컴팩트 정규부분군의 합집합인 다각형 컴팩트 근원 W(G)를 사용하고, Trofimov의 정리에 의해 컴팩트 생성 군들에 대해 그 닫힘성을 증명한다.
• Heintze 군 이론과 그 관련 매개변수, 예를 들어 지수 ϖ와 q-불변량을 적용하여 혼합형 초점적 군들을 분류한다.
• Xie의 Heintze 군 결과와 Dymarz의 q-불변량의 준위-등거리 불변성 결과를 조합하여 분류 기준을 유도한다.
• ϖ가 준위-등거리 불변량이라는 사실에 기반하여 기하 불변량을 대수적 분류에 활용할 수 있음을 암시한다.

실험 결과

연구 질문

• RQ1 국소적으로 컴팩트 군에 대해 공비교성을 일반화하고 준위-등거리에 대해 존속하는 새로운 동치관계를 정의할 수 있는가?
• RQ2 초점적 군의 작용 성장률과 관련된 매개변수 ϖ가 준위-등거리 불변량인가?
• RQ3 혼합형 초점적 군의 경우, 매개변수 ϖ와 k를 사용하여 준위-등거리 동치류를 완전히 분류할 수 있는가?
• RQ4 Dymarz에 의해 도입된 q-불변량이 밀레플루이 공간의 맥락에서 공비교성과 준위-등거리에 대해 유지되는가?
• RQ5 아벨리안 니르포텐트 라디컬을 가진 밀레플루이 공간의 분류는 관련 행렬과 정수 k에 대한 대수적 조건으로 환원될 수 있는가?

주요 결과

• 스케일링 추론을 통해 리만 기하학적 메트릭과 Busemann 함수를 사용하여, 초점적 국소적으로 컴팩트 군들에 대해 매개변수 ϖ가 준위-등거리 불변량임을 보였다.
• 혼합형 초점적 군의 경우, 불변량 ϖ는 log(k)/log(δ₀)와 같으며, 준위-등거리에 대해 유지된다.
• k의 최대 근으로 정의된 q-불변량은 준위-등거리 불변량이며, 공비교성에 의해 유지된다.
• 두 밀레플루이 군 G(A₁,k₁)와 G(A₂,k₂)는 정수 n₁,n₂ ≥ 1이 존재하여 k₁^{n₁} = k₂^{n₂} 이고 A₁^{n₁}이 A₂^{n₂}과 쌍대화되어 있을 때이고, 오직 그 때에만 준위-등거리이다. 이는 정확히 그때 공비교성에 의해 연결된다.
• 아벨리안 니르포텐트 라디컬을 가진 밀레플루이 공간의 분류는 매개변수 ϖ와 q가 중심적인 역할을 하며, 행렬 A와 정수 k에 대한 대수적 조건으로 환원된다.
• 몫군 G/G^♯가 추측 1.15를 만족한다면, 원래의 초점적 군 G 역시 그 추측을 만족함을 보여주어 환원 원칙을 수립한다.