[논문 리뷰] Algebraic Representations of Ergodic Actions and Super-Rigidity

Uri Bader, Alex Furman|arXiv (Cornell University)|2013. 11. 14.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 8

한 줄 요약

이 논문은 마르굴리스와 진저의 초강성 정리들을 고려하여, 에르고딕 작용의 대수적 표현을 확립하고, 임의의 절대값을 가진 완비체 위에서 높은 랭크 군과 그의 곱군에 대한 코사이클 초강성 정리를 증명한다. 주요 결과는 자리스 조밀성과 유계성 조건 하에서 라티스의 준동형이 망원군으로 연속적으로 연장되며, 혼합성과 비퇴화 조건 하에서 코사이클이 준동형과 코homologous임을 보여준다.

ABSTRACT

We revisit Margulis-Zimmer Super-Rigidity and provide some generalizations. In particular we obtain super-rigidity results for lattices in higher-rank groups or product of groups, targeting at algebraic groups over arbitrary fields with absolute values. We also obtain cocycle super-rigidity results for a wide class of groups with respect to mixing actions. Our approach is based on a systematic study of algebraic representations of ergodic actions.

연구 동기 및 목표

• 임의의 완비체 위에서 절대값을 가진 높은 랭크 군의 라티스로 마르굴리스의 초강성 정리를 일반화하기.
• 순차적으로 가환하는 비콤팩트 부분군으로 생성된 군의 혼합 작용에 대해 코사이클 초강성을 확립하기.
• 균일 라티스와 S-산술 군에 관한 이전 결과들을 체계적인 에르고딕 작용의 대수적 표현 연구를 통해 통합하고 확장하기.
• 혼합 작용에 대해 비퇴화 코사이클이 인접 단순 대수적 군으로의 연속 준동형과 코homologous임을 증명하기.
• 매핑 클래스 군, 자유군의 자기동형군, 오른쪽-모서리 아르틴 군 등 다양한 군에 적용 가능한 프레임워크 제공하기.

제안 방법

• k-대수적 군과 k-다양체를 사용하여 에르고딕 군 작용의 대수적 표현 이론을 체계적으로 개발하기.
• 순차적으로 가환하는 비콤팩트 부분군으로 생성된 국소 콤��� 두 번째 가산 군의 구조를 활용하기.
• 유연성의 논증과 측정 가능 번들의 불변 단면을 이용하여 코사이클에서 등변 매핑을 구성하기.
• 이중-유한 표현의 범주에서 초기 대상의 존재를 이용하여 콤팩트 부분군과 준동형을 구성하기.
• 하우-무어 정리와 혼합성 조건을 활용하여 에르고딕성을 보장하고, 라티스에서 전체 군으로의 준동형 연장을 보장하기.
• 끌어올림과 코homology 기법을 적용하여 코사이클 문제를 코셋 공간과 유계 부분군에 대한 등변 매핑으로 환원하기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 높은 랭크 군의 라티스에서 연속 준동형이 임의의 완비체 위 절대값을 가진 망원군으로 연장될 수 있는가?
• RQ2 혼합 작용에 대한 측정 가능한 코사이클이 언제 연속 군 준동형과 코homologous가 되는가?
• RQ3 작용하는 군의 구조적 조건(예: 가환 부분군으로 생성됨)이 코사이클의 초강성 보장에 어떻게 기여하는가?
• RQ4 에르고딕 작용의 대수적 표현 이론은 마르굴리스와 진저의 초강성 정리를 어떻게 일반화하는가?
• RQ5 매핑 클래스 군, 자유군의 자기동형군 등 어떤 군의 클래스들이 코사이클 초강성 조건을 만족하는가?

주요 결과

• 정리 1.1은 임의의 완비체 $k$ 위 절대값을 가진 높은 랭크 $l$-군의 라티스에서 $G(k)$로의 자리스 조밀성과 유계성 조건을 만족하는 준동형이 망원군 $T$에서 $G$로 연속 준동형으로 연장됨을 보여준다.
• 정리 1.2는 이 결과를 국소 콤팩트 두 번째 가산 군의 곱군에서의 비가역 라티스로 일반화하여, 이러한 준동형이 전체 곱군으로 연속적으로 연장됨을 보여준다.
• 정리 1.3은 순차적으로 가환하는 비콤팩트 부분군으로 생성되고 첫 번째 요소가 유연한 군 $T$에 대해, $G(k)$로의 비퇴화 코사이클은 연속 준동형과 코homologous임을 증명한다.
• 증명은 $(S,T_0)$-작용이 $c$-에르고딕이라면 코사이클이 유계 부분군과 코homologous임을 보여주며, 이는 비퇴화 조건과 모순되므로 초기 가정이 성립하지 않음을 시사한다.
• 이중-유한 표현의 범주에서의 초기 대상 존재성은 콤팩트 부분군 $L_i$와 준동형 $d_i: T_i o L_i$를 이끌어내며, 이는 $G/N$으로의 $c$-등변 매핑의 구성에 기여한다.
• 보조정리 13.4는 측정 쌍대성에서 코사이클 $c:S imes X o G$가 혼합성과 비퇴화 조건 하에서 연속 준동형 $d:T o G$와의 복합함수 $d\bigcirc e$와 코homologous임을 보여준다.