[논문 리뷰] Convex cocompact actions in real projective geometry

Jeffrey Danciger, François Guéritaud외 1명|arXiv (Cornell University)|2017. 04. 27.

Geometric and Algebraic Topology인용 수 12

한 줄 요약

이 논문은 실수 사영기하학에서 PGL(ℝⁿ)의 이산 부분군이 작용하는 경우에 대해 볼록 코컴팩트 작용을 도입하고 특성화하며, 이러한 작용이 P₁-Anosov 표현 조건과 Crampon–Marquis에 의해 정의된 더 강력한 볼록 코컴팩트성 조건과 동치임을 보여준다. 이 작업은 이러한 군들이 반드시 워드 하이퍼볼릭이 아니더라도 고전적 랭크-일의 설정에서의 볼록 코컴팩트 부분군과 유사한 핵심 기하학적 및 역학적 성질을 물려받음을 입증하며, 고랭크 사영기하학에서 Anosov 표현과 관련된 자연스러운 볼록 기하학적 구조를 제공한다.

ABSTRACT

We study a notion of convex cocompactness for discrete subgroups of the projective general linear group acting (not necessarily irreducibly) on real projective space, and give various characterizations. A convex cocompact group in this sense need not be word hyperbolic, but we show that it still has some of the good properties of classical convex cocompact subgroups in rank-one Lie groups. Extending our earlier work arXiv:1701.09136 from the context of projective orthogonal groups, we show that for word hyperbolic groups preserving a properly convex open set in projective space, the above general notion of convex cocompactness is equivalent to a stronger convex cocompactness condition studied by Crampon-Marquis, and also to the condition that the natural inclusion be a projective Anosov representation. We investigate examples.

연구 동기 및 목표

• PGL(ℝⁿ)의 이산 부분군이 실수 사영공간에서 작용할 때 볼록 코컴팩트 작용을 정의하고 특성화하여, 랭크-일 리 군을 초월한 고전적 개념을 확장한다.
• 워드 하이퍼볼릭 군이 적절히 볼록 열린 집합을 보존할 경우, 새로운 볼록 코컴팩트성 조건과 Crampon–Marquis에 의해 정의된 더 강력한 볼록 코컴팩트성 조건 간의 동치성을 확립한다.
• 이러한 군들에 대해 새로운 볼록 코컴팩트성 조건이 P₁-Anosov 표현 조건과 동치임을 보인다.
• 한계로 나타나는 힐버트 구와 사영기하학 내 기하 모델을 포함한 예시를 구성하고 분석하여 핵심 추정치의 날카로움을 입증한다.
• 고랭크 사영기하학에서 Anosov 표현과 볼록 기본도메인을 연결하는 기하학적 프레임워크를 제공한다.

제안 방법

• 군 Γ의 근접 원소들의 매력적 고정점의 집합의 클로저로 구성된 근접 극한집합 ΛΓ ⊂ ℙ(ℝⁿ)을 도입한다.
• 쌍대 근접 극한집합 ΛΓ* ⊂ ℙ((ℝⁿ)*)를 지지 초평면의 집합으로 정의하고, ℙ(ℝⁿ) ∩_{H∈ΛΓ*} H의 연결성 성분이 볼록 열린 집합임을 고려한다.
• Γ가 기약적으로 작용할 경우 이러한 성분들이 적절히 볼록임을 보이고, 극한집합의 볼록 코어 위에서의 코어플랙트 작용을 통해 볼록 코컴팩트성의 정의를 내린다.
• 특히 P₁-Anosov 표현 이론을 적용하여, 워드 하이퍼볼릭성 조건 하에서 Anosov 조건과 볼록 코컴팩트성 간의 동치성을 입증한다.
• 기울어지는 볼록 도메인에서 힐버트 구의 기하학적 극한을 이용하여 궤도의 하우스도르프 극한에 대한 날카로운 추정치를 유도하며, 특정 경계의 최적성(optimality)을 증명한다.
• 특정 아핀 차트에서의 명시적 좌표 계산을 통해 군 작용 하에서 구의 행동을 분석하며, 특히 정사각형 기반 피라미드 모델과 같은 특이한 극한에서의 행동을 다룬다.

실험 결과

연구 질문

• RQ1 PGL(ℝⁿ)의 이산 부분군이 ℙ(ℝⁿ)에서 작용할 때, 새로운 기하학적 의미에서 볼록 코컴팩트가 되기 위한 조건은 무엇인가?
• RQ2 이 새로운 볼록 코컴팩트성 조건은 고전적 P₁-Anosov 표현 조건과 어떻게 관련이 있는가?
• RQ3 적절히 볼록 열린 도메인에서의 작용을 통해 볼록 코컴팩트성은 기하학적으로 특성화될 수 있는가?
• RQ4 기울어지는 볼록 기하에서 군 작용 하에서 힐버트 구의 날카로운 점근적 행동은 무엇인가?
• RQ5 고랭크 사영기하학에서 Anosov 표현과 관련된 자연스러운 볼록 기하학적 구조는 존재하는가?

주요 결과

• 워드 하이퍼볼릭 군이 ℙ(ℝⁿ) 내 적절히 볼록 열린 집합을 보존할 경우, 새로운 볼록 코컴팩트성 조건은 P₁-Anosov 표현 조건과 동치이다.
• 이러한 군들에 대해 새로운 볼록 코컴팩트성 조건은 Crampon–Marquis에 의해 정의된 더 강력한 볼록 코컴팩트성 조건과 동치이다.
• 구의 반지름 R 주위의 궤도에 대한 하우스도르프 극한이, 한계점 주위에 반지름 R' > fD(R)인 구를 포함하지 않는다는 명시적 예를 구성함으로써, 함수 fD(R)가 최적임을 보였다.
• 함수 fD(R) = (1/2) log(1 + (e²ᴿ − 1)/e²ᴰ)는 기하학적 극한을 통해 유도된 힐버트 구의 포함 조건에 대한 날카로운 임계값이며, 볼록 도메인의 기하학적 극한에서 유도된다.
• p → ∞ 및 ε → 0일 때, 도메인 Ωε,p는 정사각형 기반 피라미드 Ω∞로 수렴하며, γₚᵐ·B(x₀,R)의 하우스도르프 극한은 축에 대해 길이 2s인 구간에 임의로 가까워지며, s = (1 + e²ᴰ⁻ᴿ/sinh(R))⁻¹이다.
• 논문은 볼록 코컴팩트성이 군이 코어플랙트하게 작용하는 볼록 기본도메인의 존재를 암시함을 증명하며, 고랭크 사영기하학으로의 고전적 결과의 일반화를 이룬다.