[논문 리뷰] Logarithmic growth of systole of arithmetic Riemann surfaces along congruence subgroups

Mikhail G. Katz, Mary Schaps외 1명|ArXiv.org|2005. 05. 01.

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

한 줄 요약

이 논문은 이차 형식을 갖는 히어르츠 표면의 주기 길이에 대해 로그 하한을 설정하며, 히어르츠 표면의 경우 주기 길이가 최소 $\frac{4}{3}\log g$만큼 증가함을 증명한다. 저자들은 이중 형식 대수의 아이디얼에 대한 새로운 추적 추정치를 개발하여, 이전의 버서와 사르나크의 결과를 유리 수가 아닌 추적 필드로 일반화하였으며, 이는 산술적 맥락에서 날카로운 주기 길이 추정치를 가능하게 한다.

ABSTRACT

We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole, and denoted syspi_1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fixed arithmetic group with rational trace field. We generalize their construction to principal congruence subgroups of arbitrary arithmetic surfaces. The key tool is a new trace estimate valid for an arbitrary ideal in a quaternion algebra. We obtain a particularly sharp bound for a principal congruence tower of Hurwitz surfaces (PCH), namely the 4/3-bound syspi_1(X_{\PCH}) > 4/3 \log(g(X_{\PCH})). Similar results are obtained for the systole of hyperbolic 3-manifolds, relative to their simplicial volume.

연구 동기 및 목표

• 유리 수가 아닌 추적 필드를 가진 산술 표면의 주기 길이 추정치를 버서와 사르나크의 결과를 초월하여 확장하기 위해.
• 비유리 수 필드에서 대수적 정수의 조밀성으로 인해 히어르츠 표면의 주기 길이 제어가 어려운 문제를 해결하기 위해.
• 임의의 이중 형식 대수의 아이디얼에 대해 유효한 새로운 추적 추정치를 개발하여, 더 넓은 산술 맥락에서 주기 길이 분석을 가능하게 하기 위해.
• 히어르츠 표면의 주기적 합동 군 타워에 대해 날카로운 $\frac{4}{3}$-하한을 확립하기 위해.
• 단순 복합체 부피를 사용하여 주기 길이 추정치를 초위상 3차원 다면체로 일반화하기 위해.

제안 방법

• 이중 형식 대수의 순서에 속한 원소에 대한 새로운 추적 추정치를 개발하여, 임의의 아이디얼에 대해 유효하도록, 대수적 수론과 추적 한계를 활용한다.
• 이 추적 추정치를 분할 이중 형식 대수의 최대 순서에서 유도된 산술 푸크시안 군의 주기적 합동 군 $\Gamma(I)$에 적용한다.
• 추적 한계를 사용하여 쌍곡 원소의 이동 길이의 하한을 유도하며, 이는 주기 길이를 제어한다.
• 히어르츠 순서의 주기적 합동 군이 모든 경우에 비정수임을 증명하여, 몫 표면이 매끄럽다는 것을 보장한다.
• 추적 추정치를 히어르츠 표면의 체적 공식 $\operatorname{vol}(X_I) = \frac{21}{\pi}(g-1)$와 결합하여 $\frac{4}{3}\log g$ 하한을 도출한다.
• 저차수의 히어르츠 표면에 대해 수치적으로 이 하한을 검증하고, 점점 증가하는 차수에 대해 점근적 분석을 통해 일반화한다.

실험 결과

연구 질문

• RQ1 추적 필드가 $\mathbb{Q}$가 아닐 경우, 산술적 리만 표면의 주기 길이가 로그적으로 하한을 가질 수 있는가?
• RQ2 수체 위의 이중 형식 대수의 아이디얼에 대해 어떤 추적 추정치를 사용하여 쌍곡 원소의 최소 이동 길이를 제어할 수 있는가?
• RQ3 비유리 수 추적 필드가 존재함에도 불구하고, 히어르츠 표면의 주기적 합동 군 타워에 대해 $\frac{4}{3}\log g$ 주기 길이 하한이 유지되는가?
• RQ4 산술 맥락에서 초위상 3차원 다면체의 주기 길이는 그들의 단순 복합체 부피와 어떻게 관련되는가?
• RQ5 추적 추정치 방법을 주기적 합동 군을 초월하여 다른 산술 격자로 일반화할 수 있는가?

주요 결과

• 논문은 모든 종수 $g \geq 65$ 에 대해 히어르츠 표면의 주기적 합동 군 타워에 대해 날카로운 $\frac{4}{3}\log g$ 하한을 확립한다.
• 새로운 추적 추정치가 증명되었다: $x \neq \pm 1$ 이면 $\Delta_H(I)$ 내에서 $|\operatorname{Tr}_D(x)| > \frac{1}{16}N(I)^2 - 2$ 이며, 이는 수체의 정수환의 임의의 아이디얼 $I$에 대해 유효하다.
• 모든 적절한 아이디얼 $I$에 대해 $\mathcal{Q}_{\text{Hur}}^1(I)$ 가 비정수임을 보여주어, 몫이 매끄러운 쌍곡 표면임을 보장한다.
• 몫 표면 $X_I = \Delta_H(I)\backslash\mathcal{H}^2$ 의 주기 길이에 대해 $\operatorname{sys}\pi_1(X_I) \geq \frac{4}{3}\log g(X_I)$ 이며, $g(X_I) \geq 65$ 일 때 성립하며, $g \leq 100$ 일 경우 직접 계산으로 검증되었다.
• 이 방법은 초위상 3차원 다면체로 일반화되어 단순 복합체 부피에 상응하는 주기 길이 추정치를 도출한다.
• 결과는 원래의 버서–사르나크 구성 이외의 광범위한 산술 표면의 주기 길이 행동을 해결하며, 특히 비유리 수 추적 필드를 가진 표면에 대해 유의미하다.