Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

기술 요약: 정해진 국소 조건을 가진 $\mathbb{P}^1$ 상의 유리 사상(Rational Maps)의 계수

문제 정의
본 논문은 산술 역학(arithmetic dynamics)의 틀 안에서 $\mathbb{Q}$ 상의 사영 직선 $\mathbb{P}^1$에 대한 유리 사상의 분포 문제를 조사한다. 타원 곡선의 산술 통계와 유사한 유추를 바탕으로, 저자들은 정해진 축소(reduction) 성질을 가진 고정된 차수 $d \ge 2$의 유리 사상 $\phi$에 대한 계수 문제를 다룬다. 구체적으로, 본 연구는 "전역적으로 최소인 판별식(globally minimal resultant)"을 갖는 유리 사상의 밀도를 결정하는 데 초점을 맞춘다.

유리 사상 $\phi \in \mathbb{Q}(z)$는 $\mathbb{Z}[X, Y]$의 서로 소인 동차 다항식 쌍 $F, G$ (차수 $d$)로 표현된다. $\text{Res}(\phi) = \text{Res}(F, G)$는 전역 불변량이다. 사상이 전역적으로 최소인 판별식을 갖는다는 것은 $\text{Res}(\phi)$가 모든 비아르키메데스(non-archimedean) 곳에서의 국소 최소 판별식들의 곱인 최소 판별식 $R_\phi$와 같음을 의미한다. 핵심 질문은 (높이 또는 박스 밀도에 의해 정렬되었을 때) 양의 비율의 유리 사상들이 이 최소성 조건을 만족하는가 하는 점이며, 이는 타원 곡선의 전역 최소 Weierstrass 모델에 관한 결과(예: Cremona 및 Sadek [CS23])와 유사하다.

방법론
저자들은 특정 유리 사상 집합의 하한 밀도를 확립하기 위해 산술 기하학, 체 이론(sieve theory), 그리고 명시적 계산 대수학의 결합을 활용한다.

1. 밀도 프레임워크: 저자들은 두 가지 주요 밀도 척도를 사용한다.

   • 높이 밀도(Height Density): 사상의 계수와 관련된 점 $P(\phi) \in \mathbb{P}^{2d+1}(\mathbb{Q})$의 절대 곱셈적 Weil 높이 $H(\phi)$에 기반한다.
   • 약한 박스 밀도(Weak Box Densities): Poonen의 연구[Poo03]를 따라, 이 밀도는 아핀 공간 $\mathbb{Z}^{2d+2}$ 내의 박스 안에서 계수의 분포를 고려하며, 좌표 경계에 대한 독립적인 극한을 허용한다.

2. 국소 조건 및 체질(Sieving): 저자들은 소수 $p^k$에서의 국소 조건을 통해 유리 사상의 부분집합을 정의한다. 어떤 사상이 특정 기준(예: 양호한 축소 또는 $p^k$-자유 판별식)을 만족하면 해당 집합에 포함된다.

   • 저자들은 만약 어떤 집합의 사상들이 (특히 큰 소수에서) 조건을 만족하지 못할 밀도가 0이라면, 그 전역 밀도는 국소 밀도들의 곱과 같다는 "허용 가능성 조건(admissibility condition)"을 확립한다(Proposition 3.4).
   • 이는 공통 인수를 갖거나(비최소) 판별식의 밸류에이션(valuation)이 높은 사상의 밀도가 무시할 수 있는 수준임을 보여주는 체 이론적 논증에 의존한다.

3. 판별식의 대수 기하학:

   • 두 개의 일반적인 차수 $d$ 다항식의 판별식 다항식 $r$을 분석한다. 저자들은 $r$이 절대 기약(absolutely irreducible)이라는 사실을 활용한다(Proposition 4.11).
   • $\text{mod } p^k$에서 판별식이 0이 되는 점의 개수를 제한하기 위해, 저자들은 $r=0$과 그 편미분 $s=0$에 의해 정의되는 특이점 집합(singular locus)을 분석한다.
   • Warning, Schwartz-Zippel, 그리고 Hensel의 보조정리를 사용하여, 유한체 위에서의 해의 개수와 이를 $\mathbb{Z}/p^k\mathbb{Z}$로 리프트(lift)한 해의 개수에 대한 상한을 도출한다.

4. $d=2$에 대한 명시적 계산: 차수 2의 경우, 저자들은 소프트웨어 Macaulay2를 사용하여 판별식과 그 편미분들로 생성된 아이디얼의 명시적 주소分解(primary decomposition)을 수행한다. 이를 통해 작은 소수들에 대한 정확한 국소 밀도와 큰 소수들에 대한 엄밀한 상한을 계산한다.

주요 기여 및 결과

• 정리 A (높이 밀도): 홀수 정수 $d \ge 3$에 대하여, $2d$-거듭제곱 자유(free) 판별식을 갖고 유한한 소수의 집합 $\Sigma$에서 양호한 축소를 갖는 유리 사상의 집합은 양의 높이 밀도를 갖는다. 결과적으로, 그러한 사상 중 양의 비율이 전역적으로 최소인 판별식을 갖는다.
• 정리 B (약한 박스 밀도): 모든 정수 $d \ge 2$에 대하여, $d$-거듭제곱 자유 판별식을 갖고 유한한 소수의 집합 $\Sigma$에서 양호한 축소를 갖는 유리 사상의 집합은 양의 약한 박스 밀도 $\mu_n$을 갖는다. 이는 이 밀도 척도 하에서 양의 비율의 사상이 전역적으로 최소인 판별식을 가짐을 의미한다.
• 정리 C (차수 $d=2$에 대한 명시적 상한): 차수 2의 유리 사상에 대해, 저자들은 명시적인 하한을 제공한다. 그들은 약한 박스 밀도에 대해, $\mathbb{Q}$ 상의 차수 2 유리 사상 중 32.7% 이상이 제곱 자유(squarefree, 따라서 최소) 판별식을 가짐을 입증한다.

의의 및 주장
본 논문은 $\mathbb{P}^1$ 상의 산술 역학에 대한 디오판토스 기하학과의 유추 프로그램을 지속하는 위치에 있다. 산술 역학에서의 기존의 통계적 결과들이 종종 사상의 무작위 합성(random composition)을 포함하는 확률 과정에 의존했던 반면, 본 연구는 정해진 산술적 성질을 가진 정적인 유리 사상의 분포를 다룬다.

저자들은 자신들의 결과가 엘립틱 곡선에 의한 밀도 결과(Cremona 및 Sadek)와 유사하게, 양의 비율의 유리 사상이 전역적으로 최소인 판별식을 갖는다는 것을 증명한 첫 사례라고 주장한다. 차수 $d=2$에 대한 명시적 계산은 이론적 프레임워크를 보여주는 구체적인 예시로서, 특정하고 비자명한 하한인 32.7%를 산출한다.

논문은 국소 조건들이 양의 하한을 제공하지만, 아직 최소 판별식을 갖는 사상의 전체 집합을 기술하지는 못한다는 점을 언급하며 겸허하게 결론을 맺는다. 표준 박스 밀도(약한 박스 밀도가 아닌)에 대해 양의 비율의 유리 사상이 전역적으로 최소인 판별식을 갖는지에 대한 문제는 향후 연구 과제로 식별되었다.