[논문 리뷰] Representations and geometric structures

Anna Wienhard|arXiv (Cornell University)|2016. 02. 10.

Advanced Algebra and Geometry참고 문헌 16인용 수 4

한 줄 요약

이 논문은 심플렉틱 군 $\mathrm{Sp}(2n,\mathbf{R})$ 와 $\mathrm{Sp}(2n,\mathbf{C})$ 로의 아노소프 표현을 통해 고계수 대칭 공간으로 모델링된 기하 구조를 탐구한다. 경계 사상들을 이용하여 라그랑주 그라스만니안에서 이산성 영역을 구성하며, 이는 아치테티브 스페이스의 고전적 이산 영역을 일반화한다. 아노소프 표현의 연결 성분과 준등거리 군형성에 관한 기본적인 질문들을 제기한다.

ABSTRACT

This note summarizes in an informal way some geometric properties of Anosov representations into the symplectic group, which were presented in a talk at the conference What is Next. The mathematical legacy of Bill Thurston, held in June 2014 in Cornell.

연구 동기 및 목표

• 고계수 대칭 공간과 그들의 모델링된 다양체에 대한 기하적 직관을 기술적으로 발전시키며, 빌 터스톤의 기하적 비전을 영감으로 삼는다.
• 특히 그들의 동적 및 기하적 성질에 중점을 두고, $\mathrm{Sp}(2n,\mathbf{R})$ 와 $\mathrm{Sp}(2n,\mathbf{C})$ 의 이산 부분군을 아노소프 표현을 통해 연구한다.
• 아노소프 표현에 대해 라그랑주 그라스만니안 $\mathrm{Lag}(V)$ 에서의 이산 영역을 구성하고 분석하며, 아치테티브 스페이스 기하학에서 알려진 구성들을 일반화한다.
• 아노소프 표현의 연결 성분의 구조와 준등거리 군형성 성질을 조사한다.
• 실 구조에 의한 복소 라그랑주 부분공간의 분해와 그 표현 기하학에 대한 함의를 이해한다.

제안 방법

• 단어 하이퍼볼릭 군에 대한 $Q_i$-아노소프 표현 이론을 $\mathrm{Sp}(2n,\mathbf{R})$ 와 $\mathrm{Sp}(2n,\mathbf{C})$ 에 적용하는 데 중심적인 프레임워크로 사용한다.
• 경계 사상 $\xi: \partial_\infty\Gamma \to \mathrm{Lag}(V)$ 의 이미지와 비교행렬이 아닌 라그랑주 부분공간들의 합집합의 여집합으로서 $\mathcal{D}_\xi \subset \mathrm{Lag}(V)$ 를 이산 영역으로 구성한다.
• 표현 $\rho = (\rho_1, \rho_2)$ 가 $\mathcal{D}_\xi$ 에 작용할 때, 이행성 조건과 등지성 조건을 통해 이산성의 적절성을 보인다.
• 실 구조와 교차 차원 $\dim(W \cap \overline{W}) = i$ 를 기반으로 $\mathrm{Lag}(V_{\mathbf{C}})$ 를 $\mathrm{Sp}(V,\omega)$-오빗 $\mathcal{R}_i$ 로 분해한다.
• 기하 모델을 이해하기 위해 대칭 공간들인 $X_{\mathbf{R}}(n) \cong \mathrm{Sp}(2n,\mathbf{R})/\mathrm{U}(n)$ 과 $X_{p,q} \cong \mathrm{Sp}(2n,\mathbf{R})/\mathrm{U}(p,q)$ 의 식별을 활용한다.
• $\mathrm{Lag}(V)$ 가 $\mathrm{Is}_n(V)$ 로의 피복을 가지며, $\mathrm{Is}_i(V)$ 가 $\mathrm{Sp}(2n,\mathbf{K})$ 에서의 동차 공간이며 안정자군이 $Q_i(V)$ 라는 사실에 의존한다.

실험 결과

연구 질문

• RQ1 유한 생성 단어 하이퍼볼릭 군 $\Gamma$ 와 비콤팩트 단순 리군 $G$ 에 대해, $\mathrm{Hom}(\Gamma, G)$ 의 전체 연결 성분이 아노소프 표현으로 이루어져 있는가?
• RQ2 $\mathrm{Sp}(2n,\mathbf{K})$ 에 $Q_i$-아노소프 표현을 갖는 유한 생성 군의 집합은 준등거리 군형성을 갖는가?
• RQ3 $\mathrm{Sp}(2n,\mathbf{K})$ 에 $Q_i$-아노소프 표현을 갖는 유한 생성 군의 집합은 준등거리 군형성을 갖는가?
• RQ4 $n \geq 2$ 일 때, $\mathcal{D}_\xi \cap \mathcal{T}_0 \subset \mathrm{Lag}(V)$ 의 구조는 $n=1$ 인 아치테티브 스페이스의 경우를 일반화하는가?
• RQ5 전체 연결 성분이 아노소프 표현으로 이루어져 있는 $\mathrm{Hom}(\Gamma, G)$ 의 공통된 기초 구조는 무엇인가?

주요 결과

• 표현 $\rho = (\rho_1, \rho_2)$ 가 $Q_{2n}$-아노소프일 때, $\mathcal{D}_\xi \subset \mathrm{Lag}(V)$ 에서의 작용은 이산적이지만 코컴 pact하지 않다.
• $n=1$ 일 때, $\mathcal{D}_\xi \cap \mathcal{T}_0$ 는 [Bar] 에서 기술된 바와 같이 아치테티브 스페이스의 이산 영역과 일치하며, 메시의 구성과 관련된다.
• 복소 라그랑주 부분공간 $\mathrm{Lag}(V_{\mathbf{C}})$ 는 $\dim(W \cap \overline{W}) = i$ 를 인덱스로 하는 $\mathrm{Sp}(V,\omega)$-오빗 $\mathcal{R}_i$ 로 분해되며, $\mathcal{R}_n$ 은 유일한 닫힌 오빗이다.
• 각 $i$-차원 등지성 부분공간 위의 섬유는 $\bigcup_{p'+q'=n-i} X_{p',q'}$ 의 합집합과 동형이다.
• $\rho_1, \rho_2$ 가 $Q_n$-아노소프일 경우, 곱 표현 $\rho = (\rho_1, \rho_2)$ 는 $Q_{2n}$-아노소프가 되며, 이는 기하 구조의 유지 보장을 보장한다.
• $\mathcal{N}_\xi = \bigcup_{t \in \partial_\infty\Gamma} N_{\xi(t)}$ 는 $\xi(t)$ 와 비교행렬인 모든 라그랑주 부분공간의 집합이며, 그 여집합인 $\mathcal{D}_\xi$ 는 이산 영역이다.