[논문 리뷰] Fuchsian subgroups of lattices acting on hermitian symmetric spaces

Ted Chinburg, Matthew Stover|arXiv (Cornell University)|2011. 05. 05.

Advanced Algebra and Geometry인용 수 3

한 줄 요약

이 논문은 허미션 수형 공간에서 작용하는 기하학적 비정상적 산술 격자 내의 푸크스 하위군을 조사하며, 특히 유한 개의 동형류가 유한 지수 하위군을 생성할 조건을 중심으로 다룬다. SL₂(ℝ) × SL₂(ℝ) 격자에서는 마르골리스의 정상 하위군 정리에 의해 이러한 생성이 보장되지만, SU(2,1) 격자 경우는 아직 해결되지 않은 문제이며, 이 논문은 이전 초판에서 자명한 상호작용이 잘못 주장된 오류를 지적한다.

ABSTRACT

We thank Michael Kapovich for pointing out that §3 of the preprint of this title posted on May 5, 2011 contains an error, where we state that certain self-intersections are trivial. As a result, the proofs given for the main results (Theorems 1.1, 1.2 and 1.3) in that preprint are not correct. As in the May 5 preprint, let G be either the group SL2(R) × SL2(R) or the group SU(2, 1). Suppose Γ is an irreducible co-compact arithmetic lattice in G and that Γ contains a Fuchsian subgroup Σ. In a later version of this preprint, we will study sufficient criteria for particular sets of Fuchsian groups of Γ to generate a subgroup of finite index. When G = SL2(R)× SL2(R) and Γ and Σ are as above, it is well known that a finite set of conjugates of Σ suffices to generate a subgroup of finite index in Γ. Indeed, Margulis’s Normal Subgroup Theorem [1, Theorem A, Chapter VIII] applies, since G has real rank two, and implies that the normal closure of a Fuchsian subgroup of a lattice is again a lattice. Since lattices are finitely generated, a finite number of these conjugates suffices to generate a lattice inside Γ. We do not now know, however, whether a finite set of conjugates of Σ generates a subgroup of finite index in Γ when G = SU(2, 1).

연구 동기 및 목표

• 산술 격자 내 푸크스 하위군의 유한 집합이 유한 지수 하위군을 생성할 수 있는 충분한 조건을 규명하는 것.
• 자기 교차가 자명하다고 잘못 주장된 이전 초판의 결함을 다루는 것.
• G = SL₂(ℝ) × SL₂(ℝ) 및 G = SU(2,1)에서 공(compact) 산술 격자 내 푸크스 하위군의 구조적 행동을 탐색하는 것.
• SU(2,1) 격자에서 푸크스 하위군의 유한 개의 동형류가 유한 지수 하위군을 생성할 수 있는지 여부를 명확히 하는 것, 현재는 알려져 있지 않다.

제안 방법

• 실 랭크 2인 군에 대해 마르골리스의 정상 하위군 정리를 활용하여 SL₂(ℝ) × SL₂(ℝ) 격자에서의 유한 지수 생성을 확립하는 것.
• 산술 격자 내 푸크스 하위군의 정규 폐쇄를 분석하여 유한 지수 성질을 유추하는 것.
• 격자 Γ의 공(compact)성과 산술성에 기반해 푸크스 하위군 Σ의 구조를 제약하는 것.
• 헤르미션 수형 공간에서 작용하는 격자 내에서의 동형류와 생성을 연구하기 위해 군론적 기법을 적용하는 것.
• SL₂(ℝ) × SL₂(ℝ) 사례의 결과를 직접 일반화할 수 없게 만드는 SU(2,1) 격자 내의 구조적 장애 요소를 규명하는 것.
• 그룹 작용에서 특정 자기 교차가 자명하다고 잘못 주장된 이전 초판의 오류를 수정하는 것.

실험 결과

연구 질문

• RQ1 푸크스 하위군의 유한 집합 동형류가 산술 격자 내에서 유한 지수 하위군을 생성할 조건은 무엇인가요?
• RQ2 2011년 5월 5일 초판에서 자동으로 자기 교차가 자명하다고 잘못 가정한 탓에 증명이 실패한 이유는 무엇인가요?
• RQ3 마르골리스의 정상 하위군 정리는 SU(2,1) 격자에서의 유한 지수 생성을 확장할 수 있는가요?
• RQ4 SU(2,1) 격자에서 푸크스 하위군 Σ의 유한 개의 동형류만으로 Γ의 유한 지수 하위군을 생성할 수 있는가요?
• RQ5 SU(2,1) 격자의 어떤 구조적 성질이 SL₂(ℝ) × SL₂(ℝ) 사례의 증거를 직접 적용하는 것을 방해하는가요?

주요 결과

• SL₂(ℝ) × SL₂(ℝ)의 경우 마르골리스의 정상 하위군 정리를 활용하여, 푸크스 하위군의 동형류를 통한 유한 지수 하위군의 생성이 확인되었다.
• 2011년 5월 5일 초판의 증명은 특정 자기 교차가 자명하다고 잘못 주장한 오류로 인해 무효이다.
• SU(2,1)의 경우, 푸크스 하위군의 유한 집합 동형류가 유한 지수 하위군을 생성할지 여부는 아직 알려져 있지 않다.
• 공(compact) 산술 격자 내 푸크스 하위군의 정규 폐쇄는 격자이지만, 이는 SU(2,1) 사례에서 유한 개의 동형류로의 유한 생성을 보장하지는 않는다.
• SU(2,1) 격자의 구조적 복잡성은 추가 조건 없이 SL₂(ℝ) × SL₂(ℝ) 결과를 일반화하는 데 장애가 된다.
• 이 논문은 SU(2,1) 설정에서의 유한 지수 생성을 확립하기 위해 새로운 충분 조건이 필요하다고 규명한다.