Equidistribution of CM points and RM curves

기술적 요약: CM 점과 RM 곡선의 균등 분포

문제 제기
본 논문은 복소 상반평면 $\mathbb{H}$ 내에서 복소 곱셈 (CM) 점과 실수 곱셈 (RM) 곡선의 분포를 조사한다. 윌리엄 덩크 (William Duke, 1988) 는 기본 판별식 $D$를 가진 CM 점과 RM 곡선이 $D \to -\infty$ 또는 $D \to +\infty$일 때 $\mathbb{H}$ 내의 고정된 2 차원 영역 (구체적으로 모듈러 표면 $SL_2(\mathbb{Z})\backslash\mathbb{H}$) 위에서 균등하게 분포함을 입증했으나, 본 연구는 차원이 더 낮은 대상에 대한 유사한 문제를 다룬다. 구체적으로 저자들은 $\mathbb{H}$ 내의 고정된 1 차원 측지선 (geodesics) 을 따라 그리고 고정된 0 차원 점 주변에서 이러한 점들과 곡선들의 분포를 연구한다.

방법론
방법론의 핵심은 기하학적 분포 문제를 이차 형식 (binary quadratic forms) 에 관한 해석적 정수론 문제로 변환하는 것이다.

1. 기하 - 대수적 대응: 저자들은 고정된 유리수 측지선 위에 있는 CM 점들과 고정된 유리수 측지선과 수직으로 교차하는 RM 곡선들이 특정 디오판토스 방정식 $2aC + 2cA = bB$에 의해 지배됨을 규명한다. 여기서$(A, B, C)$는 고정된 측지선을 정의하고,$(a, b, c)$는 변화하는 CM 점 또는 RM 곡선을 정의한다.
2. 격자점 계수 문제로 축소: 이 디오판토스 방정식의 해를 매개화함으로써 CM 점과 RM 곡선의 분포는 $0 < Am^2 + Bmn + Cn^2 \le \Delta$ 형태의 이차 부등식을 만족하는 유리수 $m/n$의 분포 문제로 축소된다.
3. 집합적 린니크 (Linnik) 문제: 본 논문은 임의의 이차 형식에 대한 "집합적 린니크 문제"를 해결한다. 단일 판별식 $d \to \infty$일 때 표면 $Q(x)=d$ 위의 점 분포를 연구하는 고전적 린니크 문제와 달리, 집합적 버전은 $\Delta \to \infty$일 때 $0 < Q(x) \le \Delta$를 만족하는 점들의 분포를 고려한다.
4. 해석적 도구: 집합적 린니크 문제에 대한 증명은 다음과 같은 표준 해석적 정수론 기법에 의존한다.
   • 아벨의 합 공식.
   • 오일러 피 함수 $\phi(n)$과 뫼비우스 함수 $\mu(n)$을 포함하는 합에 대한 점근적 추정.
   • 계수 $A, B$의 부호와 판별식 $D = B^2 - 4AC$에 기반한 경우별 분석.

주요 기여 및 결과
본 논문은 특정 기하학적 설정에서 균등 분포를 확립하는 네 가지 주요 정리를 제공한다.

• 정리 1.1 (측지선 위의 CM 점): CM 점들은 쌍곡 계량 (hyperbolic metric) 에 관하여 $\mathbb{H}$ 내의 모든 고정된 유리수 측지선을 따라 균등하게 분포한다. 저자들은 비유리수 측지선은 많아야 하나의 CM 점만을 포함하므로 이 결과가 유리수 측지선에 대해서만 성립한다고 지적한다.
• 정리 1.2 (측지선 위의 RM 곡선): RM 곡선들은 쌍곡 계량에 관하여 $\mathbb{H}$ 내의 모든 고정된 유리수 측지선을 따라 균등하게 분포한다. 이는 RM 곡선과 측지선 사이의 수직 교차점들의 균등 분포를 의미한다.
• 정리 1.3 (CM 점 주변의 RM 곡선): 고정된 CM 점을 통과하는 RM 곡선들은 해당 점 주변의 균일한 각도 측도에 관하여 균등하게 분포한다.
• 정리 1.4 (고정된 점 주변의 CM 점): 임의의 점 $z_0 \in \mathbb{H}$로부터 고정된 쌍곡 거리 내에 있는 CM 점들은 $z_0$ 주변의 균일한 각도 측도에 관하여 균등하게 분포한다. 저자들은 이 결과가 모듈러 표면의 2 차원 영역에 대한 덩크의 원래 균등 분포 정리에서 쌍곡 기하학 계산을 통해 적응된 것임을 지적한다.

이러한 정리를 뒷받침하는 핵심 기술적 결과는 임의의 이차 형식에 대한 집합적 린니크 문제를 해결하는 정리 1.5이다. 이는 $0 < Am^2 + Bmn + Cn^2 \le \Delta$를 만족하는 정규화된 유리수 점 $m/n$의 집합이 $\Delta \to \infty$일 때 특정 구간 $I$ 위에서 측도 $d\mu = \frac{1}{At^2+Bt+C}dt$에 관하여 균등하게 분포됨을 증명한다.

의의 및 응용
저자들은 그들의 작업이 덩크의 2 차원 영역에 대한 기초적 결과를 1 차원 및 0 차원 대상으로 확장했다고 주장한다. 논문은 다음과 같은 구체적인 응용과 함의를 강조한다.

1. 닫힌 측지선 위의 CM 점에 대한 점근식: 이 결과는 $SL_2(\mathbb{Z})\backslash\mathbb{H}$ 내의 닫힌 측지선 $G$ 위에 있는 판별식 크기가 $\le \Delta$인 CM 점의 개수에 대한 점근식을 제공한다. 이 개수는 측지선의 길이와 $\Delta$에 비례한다.
2. 순환 적분과 모듈러 함수: 본 논문은 실수 이차 무리수에서의 모듈러 함수의 "값"에 대한 대안적 해석을 제안한다. 전통적으로 연관된 측지선 위의 순환 적분으로 정의되던 이러한 값들은 이제 해당 측지선 위에 있는 CM 점들에서의 함수 평균값의 극한으로 해석될 수 있다.
3. 비측지선 곡선 위의 밀도: 저자들은 CM 점들이 수평선 (비측지선 곡선) 위에서 조밀하고 균등하게 분포할 수 있음을 보여주는 예시를 제시하여, 이러한 분포의 범위가 더 넓을 수 있음을 시사한다.
4. 미해결 문제: 논문은 CM 점들의 조밀한 부분집합을 포함하는 $\mathbb{H}$ 내의 모든 대수적 곡선을 분류하는 문제를 제기하며, 안드레 - 오르트 (André-Oort) 추론과 유사점을 둔다.

이 연구는 집합적 린니크 문제를 해결하여 모듈러 표면의 전역적 분포 결과와 특정 부분 다양체 (sub-manifolds) 를 따른 분포 사이의 간극을 메우는 기존 균등 분포 이론의 엄밀한 확장으로 제시된다.