[논문 리뷰] Non-compact Torsion Free Ball Quotients

Азнив Каспарян|arXiv (Cornell University)|2011. 12. 30.

Geometric and Algebraic Topology참고 문헌 5인용 수 2

한 줄 요약

이 논문은 SU(n,1) 내의 토르션 자유 래티스 G에 의한 볼 몫 B/G의 토로이드형 컴팩티피케이션 X'의 기본군이 G/G(U)와 동형임을 규명한다. 여기서 G(U)는 G와 G-유리 경계점에서의 유니포텐트 라디칼의 교환자군의 교차를 포함하는 부분군이다. 그 결과로, X'의 첫 번째 정수 호모로지 군은 B/G의 호모로지 군을 유한군으로 나눈 몫이 되며, SU(n,1) 래티스의 잔여 유한성에 기반하여, 컴팩티피케이션 경계에서 임의로 큰 분기 지수를 갖는 분리 덮개를 구성할 수 있다.

ABSTRACT

Let B be the complex n-dimensional ball and X' be the toroidal compactification of a quotient B/G by a torsion free lattice G of SU(n,1). For an arbitrary G-rational boundary point p, denote by U(p) the commutant of the unipotent radical of the stabilizer of p in SU(n,1) and put G(U) for the subgroup of G, generated by the intersections of G with U(p) for all G-rational boundary points p. The present note establishes that the fundamental group of X' is isomorphic to the quotient G / G(U). As a consequence, the first integral homology group of X' turns to be a quotient of the first integral homology group of B/G by a finite group. The work shows that for any natural number N, there is a normal subgroup G(N) of G of finite index, such that the unramified covering of B/G by B/G(N), induced by the identity of the ball B extends to a covering of the corresponding toroidal compactifications with ramification index greater than N over the toroidal compactifying divisor of B/G(N). The argument exploits the residual finiteness of the lattices in SU(n,1). In the case of a complex dimension 2, the geometric genus of X' equals 1. If X' is not of general type, then the irregularity of X' does not exceed 2 and equals 2 only when X' is birational to an abelian surface. The torsion free surfaces X' of minimal volume are characterized by the Kodaira-Enriques classification types of their minimal models, as well as by lower and upper bounds on the number of the cusps.

연구 동기 및 목표

• SU(n,1) 내의 토르션 자유 래티스 G에 의한 몫 B/G의 토로이드형 컴팩티피케이션 X'의 기본군을 규명하는 것.
• X'의 첫 번째 정수 호모로지 군의 구조와 비콤팩트 몫 B/G의 호모로지 간의 관계를 분석하는 것.
• B/G의 유한지수 정규부분군 G(N)을 구성하여, 이에 의해 유도되는 컴팩티피케이션의 덮개가 토로이드 경계에서 주어진 N을 초월하는 분기 지수를 갖도록 하는 것.
• 최소 체적을 갖는 토르션 자유 볼 몫 표면 X'의 최소 모델을 코다이라-에리누즈 분류법과 캐서 수를 이용해 분류하는 것.
• X'가 기하학적 종수 1이고 불규칙도 ≤ 2인 조건을 규명하며, 특히 X'가 아벨 표면과 비라시오널일 경우를 특정하는 것.

제안 방법

• G-유리 경계점 p에서의 G의 정 stabilizer의 유니포텐트 라디칼의 교환자군을 U(p)로 정의하고, 모든 이러한 p에 대해 G ∩ U(p)의 교집합을 포함하는 G(U)를 구성한다.
• G / G(U) ≅ π₁(X')의 동형을 이용하여 컴팩티피케이션의 기본군을 래티스의 구조와 연결한다.
• SU(n,1) 래티스의 잔여 유한성을 활용하여, B/G(N) → B/G의 덮개가 토로이드 컴팩티피케이션으로 확장되는 유한지수 정규부분군 G(N)을 구성한다.
• 확장된 덮개의 분기 행동을 분석하여, 충분히 큰 N을 선택함으로써 토로이드 경계에서의 분기 지수를 임의로 크게 만들 수 있음을 보인다.
• 코다이라-에리누즈 분류를 적용하여, 캐서 수에 대한 경계를 이용해 최소 체적을 갖는 표면 X'의 최소 모델을 특성화한다.
• 기하학적 종수와 불규칙도 불변량을 이용하여, p_g = 1 및 q ≤ 2인 표면 X'를 분류하며, X'가 아벨 표면과 비라시오널일 경우를 특히 특정한다.

실험 결과

연구 질문

• RQ1 SU(n,1) 내의 토르션 자유 볼 몫 B/G의 토로이드형 컴팩티피케이션 X'의 기본군은 무엇인가요?
• RQ2 X'의 첫 번째 정수 호모로지 군은 비콤팩트 몫 B/G의 호모로지와 어떻게 관련이 있나요?
• RQ3 B/G의 유한지수 덮개를 구성할 수 있으며, 이는 컴팩티피케이션 경계에서 임의로 큰 분기 지수를 갖는 토로이드 컴팩티피케이션으로 확장될 수 있나요?
• RQ4 최소 체적을 갖는 토르션 자유 볼 몫 표면 X'의 최소 모델의 코다이라-에리누즈 유형은 무엇인가요?
• RQ5 X'가 기하학적 종수 1이고 불규칙도 ≤ 2인 조건은 무엇이며, 언제 X'가 아벨 표면과 비라시오널일까요?

주요 결과

• X'의 기본군은 G / G(U)와 동형이며, 여기서 G(U)는 G와 G-유리 경계점에서의 유니포텐트 라디칼의 교환자군의 교차를 포함하는 부분군이다.
• X'의 첫 번째 정수 호모로지 군은 B/G의 첫 번째 정수 호모로지 군을 유한군으로 나눈 몫이다.
• 모든 자연수 N에 대해, G의 유한지수 정규부분군 G(N)이 존재하여, B/G(N) → B/G의 덮개가 토로이드 컴팩티피케이션으로 확장되며, 컴팩티피케이션 경계에서의 분기 지수가 N을 초월한다.
• 복소수 차원 2에서 X'의 기하학적 종수는 정확히 1이다.
• X'가 일반 유형이 아니면, 그 불규칙도는 최대 2이며, 정확히 2일 때는 X'가 아벨 표면과 비라시오널일 때이다.
• 최소 체적을 갖는 토르션 자유 표면 X'는 코다이라-에리누즈 분류 유형으로 특성화되며, 캐서 수에 대한 명시적 하한과 상한이 존재한다.