[논문 리뷰] Relatively dominated representations

Feng Zhu|arXiv (Cornell University)|2019. 12. 31.

Geometric and Algebraic Topology참고 문헌 33인용 수 13

한 줄 요약

이 논문은 기하적 유한성의 고계수 해석으로서 상대적으로 지배적인 표현을 도입하여, 상대적으로 허브리드 군으로의 아노소프 표현을 일반화한다. 이러한 표현이 군의 상대적 허브리드성, 잘 정의된 극한 맵의 존재를 암시하며, 이전의 상대적 RCA 및 기하적 유한성 호환성 개념과 통합됨을 증명한다.

ABSTRACT

Anosov representations give a higher-rank analogue of convex cocompactness in a rank-one Lie group which shares many of its good geometric and dynamical properties; geometric finiteness in rank one may be seen as a controlled weakening of convex cocompactness to allow for isolated failures of hyperbolicity. We introduce relatively dominated representations as a relativization of Anosov representations, or in other words a higher-rank analogue of geometric finiteness. We prove that groups admitting relatively dominated representations must be relatively hyperbolic, that these representations induce limit maps with good properties, provide examples, and draw connections to work of Kapovich--Leeb which also introduces higher-rank analogues of geometric finiteness.

연구 동기 및 목표

• 주변 하위군에 대한 지배성의 개념을 도입하여 아노소프 표현을 상대적 설정으로 일반화한다.
• 상대적으로 지배적인 표현이 군의 상대적 허브리드성을 암시함을 확립하여, 고전적 아노소프 표현의 허브리드성 결과를 일반화한다.
• 보드치 경계에서 프로젝티브 공간과 그 쌍대 공간으로의 연속적, 동차적, 교차하는 극한 맵을 구성한다.
• 이 새로운 개념을 이전 연구, 특히 카포비치–리브의 상대적 RCA 조건과 연결하여, 약간의 가정 하에 동치임을 보인다.
• 상대적으로 허브리드 군의 맥락에서 기하적 유한성의 고계수 해석을 위한 프레임워크를 제공한다.

제안 방법

• 주변 하위군의 집합에 대해 특이값 비율을 사용하여 1-지배적인 표현을 정의한다: 모든 $\gamma \in \Gamma$에 대해 $\sigma_1/\sigma_2(\rho(\gamma)) \geq C e^{\mu|\gamma|_c}$.
• 그로모프와 마이네이브의 작업을 바탕으로 한 캐스프된 공간 $X$에서 유도된 수정된 단어 길이 $|\cdot|_c$를 사용한다.
• 주변 하위군에 대한 기술적 조건(정의 4.2)을 부과하여 그들의 상이 파라볼릭이 되고, 극한에서 카르탕 프로젝션의 행동이 잘 이루어지도록 보장한다.
• QTZ19에서 유래한 일반화된 온세레츠텐 정리(Generalized Oseledets theorem)를 적용하여 특이값의 성장률을 제어하고, 균일 수축 성질을 증명한다.
• 대표의 역학을 이용하여 극한 맵 $\xi: \partial(\Gamma, \mathcal{P}) \to \mathbb{P}(\mathbb{R}^d)$ 와 $\xi^*: \partial(\Gamma, \mathcal{P}) \to \mathbb{P}(\mathbb{R}^d)^*$를 구성한다.
• 선형 연산자 노름과 부분공간 간의 각도에 대한 반복적 추정을 사용하여, 불안정 부분공간과 안정 부분공간 간의 각도에 대한 균일한 제어를 확보한다.

실험 결과

연구 질문

• RQ1 아노소프 표현의 개념을 상대적으로 허브리드 군의 맥락으로 일반화할 수 있는가? 이 경우 핵심 기하학적 및 역학적 성질이 유지되는가?
• RQ2 주변 하위군에 대해 1-지배적인 표현은 군이 상대적으로 허브리드임을 암시하는가?
• RQ3 상대적으로 지배적인 표현은 보드치 경계에서 프로젝티브 공간으로의 연속적, 동차적, 교차하는 극한 맵을 유도하는가?
• RQ4 상대적으로 지배적인 표현은 카포비치–리브의 상대적 RCA 표현 개념과 어떻게 관련되어 있는가?
• RQ5 특히 카르탕 프로젝션과 파라볼릭 구조 측면에서 주변 하위군이 표현 하에서 잘 행동하는 데 필요한 조건은 무엇인가?

주요 결과

• 만약 $\rho: \Gamma \to \mathrm{GL}(d,\mathbb{R})$가 $\mathcal{P}$에 대해 1-지배적이며 $\Gamma$가 비주변 원소를 포함한다면, $\Gamma$는 $\mathcal{P}$에 대해 허브리드이다.
• 표현 $\rho$는 잘 정의된 $\Gamma$-동차적, 연속적 극한 맵 $\xi: \partial(\Gamma, \mathcal{P}) \to \mathbb{P}(\mathbb{R}^d)$ 와 $\xi^*: \partial(\Gamma, \mathcal{P}) \to \mathbb{P}(\mathbb{R}^d)^*$를 유도하며, 이들은 교차하고 역학을 유지한다.
• 불안정 부분공간 $\tilde{U}(k,nN)$ 과 안정 부분공간 $E^s(k)$ 사이의 각도는 $C$, $\mu$, $\mu'$에만 의존하는 양의 상한에 의해 균일하게 아래로 유계이며, 명시적 하한 $\geq \frac{2}{3}(3e)^{-2r} \exp\left(-\frac{3/2}{1-e^{-\mu}}\right) C^{-(1+2r)}$를 가진다.
• 상대적으로 지배적인 표현은 이산적이고 단사적이며, 비주변 원소를 프록시멀 행렬로 보낸다.
• 오빗 사상 $\Gamma \to \mathrm{GL}(d,\mathbb{R})$는 상대 캐일리 그래프 거리에 대해 준위상 등거리 임bedding이다.
• 만약 $\rho$가 상대적으로 지배적이라면, $\rho(\Gamma)$는 균일하게 정규적이고 왜곡되지 않은 주변 하위군을 갖는 상대적 RCA이며, 카포비치–리브의 프레임워크와 강력한 연결 고리를 형성한다.