[논문 리뷰] Twisted Patterson-Sullivan measures and applications to amenability and coverings

Rémi Coulon, Rhiannon Dougall외 2명|arXiv (Cornell University)|2018. 09. 28.

Geometric and Algebraic Topology참고 문헌 11인용 수 10

한 줄 요약

이 논문은 강한 양의 재귀 조건 하에서, 이산군의 고르모프-하이퍼볼릭 공간 위의 작용에 대해 임계 지수의 등식과 공-아메니타리함을 정확히 동치로 규명한다. 이는 고전적인 임계 지수와 아메니타리함 이론을 일반화한 것으로, 핵심적 혁신은 다양한 기하적 설정에서 임계 지수 강도와 공-아메니타리함을 통합적으로 다룰 수 있게 해주는 왜곡된 패터슨-슐레르 메처를 도입한 데 있다.

ABSTRACT

Let $Γ'

연구 동기 및 목표

• 고르모프-하이퍼볼릭 공간에서의 군 작용 맥락에서 부분군 Γ′ ⊂ Γ의 임계 지수와 전체 군 Γ의 임계 지수가 동일한지 여부를 규명하는 것.
• 이전에 기하학적으로 유한하거나 볼록 코컴팩트 작용에 국한되었던 결과를 일반화하기 위해, 더 약한 더 일반적인 조건인 강한 양의 재귀 조건을 도입하는 것.
• 이 조건의 최적성을 입증하기 위해, 조건이 실패할 경우 반례를 구성하는 것.
• 비콤팩트 설정에서 임계 지수 행동과 유니터리 표현을 분석하기 위한 새로운 도구인 왜곡된 패터슨-슐레르 메처를 개발하는 것.
• 카즈한의 성질 (T) 군에 이 프레임워크를 적용하여, 임계 지수에 대해 균일한 갭을 가지는 양적 성장 강도 결과를 증명하는 것.

제안 방법

• 전체 군의 임계 지수와 컴팩트 집합 외부에서의 성장률 사이에 무한대에서의 엄격한 성장 갭이 존재하는 강한 양의 재귀 작용의 개념을 도입한다.
• 고르모프 경계 위의 연산자 값 측도의 등각 가족과 힐버트 공간의 초한극한을 사용하여 왜곡된 패터슨-슐레르 측도를 구성한다.
• 홉의 방법과 가측성 기하선 흐름의 보존성에 기반하여, 표준 패터슨-슐레르 측도에 대한 왜곡 측도의 절대연속성 성질을 확립한다.
• 바나흐 격자 이론과 보흐너 적분을 활용하여 벡터 값 측도를 다루고, 가측 섹션의 L^p 공간의 정규성과 순서 완비성을 증명한다.
• 왜곡된 측도 공간의 불변 벡터를 이용하여, 관련 유니터리 표현에서의 Γ-불변 벡터 존재성에 의해 공-아메니타리함을 특성화한다.
• 바더-퓨르만의 가측 기하선 흐름 이론을 활용하여 에르고딕성과 보웬-마르길리스 측도의 유한성을 분석하고, 임계 지수 비교를 위한 홉의 방법을 적용한다.

실험 결과

연구 질문

• RQ1 군 작용이 고르모프-하이퍼볼릭 공간에서 어떤 기하적 조건을 만족할 경우, 부분군의 임계 지수와 전체 군의 임계 지수가 동일한가?
• RQ2 비볼록 코컴팩트 또는 비기하학적으로 유한한 군 작용에서, 공-아메니타리함의 개념은 임계 지수 등식과 어떻게 관련되는가?
• RQ3 임계 지수 강도 결과는 이전에 실수 하이퍼볼릭 공간이나 코컴팩트 작용에 국한되었던 고전적 설정 이외로 확장될 수 있는가?
• RQ4 왜곡된 패터슨-슐레르 측도는 공-아메니타리함 탐지와 임계 지수 등식 특성화에 어떤 역할을 하는가?
• RQ5 강한 양의 재귀 조건을 만족하는 카즈한의 (T) 군의 부분군에 대해 임계 지수에 균일한 갭이 존재하는가?

주요 결과

• 군 작용이 강한 양의 재귀 조건을 만족할 경우, 부분군 Γ′ ⊂ Γ의 임계 지수와 전체 군의 임계 지수가 동일한 것은 Γ′가 Γ에 대해 공-아메니타리함일 때이고 그때에만 성립한다.
• 이 결과는 최적이다: 강한 양의 재귀 조건이 실패할 경우 반례가 존재하므로, 이 조건을 더 약하게 만들 수 없다.
• 주요 정리의 정량적 형태는, 강한 양의 재귀 조건을 만족하는 카즈한의 (T) 군의 경우, 모든 부분군은 임계 지수 h_Γ보다 ε 이하이거나 유한지수 부분군임을 보여준다.
• 왜곡된 패터슨-슐레르 측도는 힐버트 공간의 초한극한과 유니터리 표현을 사용하여 고르모프 경계 위의 연산자 값 측도의 등각 가족으로 구성된다.
• 왜곡된 측도는 표준 패터슨-슐레르 측도에 절대연속이며, 그 Γ-불변 벡터는 정확히 Γ 속에서 Γ′의 공-아메니타리함을 나타낸다.
• 이 프레임워크는 비볼록 코컴팩트 및 비기하학적으로 유한한 경우를 포함한 광범위한 작용 클래스에 적용 가능하며, 이는 이전의 하이퍼볼릭 기하학 및 조합론적 군론 결과를 일반화한다.