기술 요약: 토릭 다양체에서의 유리 점의 균등 분포와 기하학적 체 (Geometric Sieve)

1. 문제 정의 및 배경

본 논문은 대수 다양체의 유계 높이(bounded height)를 가진 유리 점들의 점근적 분포에 관한 추측인 **마닌-페이레 원리(Manin–Peyre principle)**를 다룬다. 구체적으로, $\mathbb{Q}$ 상의 매끄러운 완전 분할 토릭 다양체(smooth proper split toric variety) $X$ (전역적으로 생성된 반정준 선다발을 가진 경우)에서, 유리 점들이 "얇은(thin)" 부분집합을 제외했을 때 아델 공간 $X(\mathbb{A}_{\mathbb{Q}})$ 내에서 타마가와 측도(Tamagawa measure)에 대해 균등 분포하는지 조사한다.

마닌의 추측(점의 총 개수를 세는 문제)은 조화 해석(Batyrev–Tschinkel)과 보편적 토서 방법(universal torsor method, Salberger)을 통해 토릭 다양체에 대해 이미 확립되었으나, 균등 분포 원리(Principle 1.1)와 열린 부분 다양체로의 확장(원리 1.3, 또는 "균등 분포의 순수성(purity of equidistribution)")은 일반적인 다양체에 대해 거의 증명되지 않은 채 남아 있었다.

본 논문의 목적은 다음과 같다:

1. 매끄러운 완전 분할 토릭 다양체에 대한 유리 점의 균등 분포를 증명한다.
2. 이 균등 분포의 유효한(effective) 버전을 확립하여, 아델 근방에 의존하는 명시적인 오차 항을 가진 점근 공식(asymptotic formulas)을 제공한다.
3. 이들 다양체에 대한 **유효한 기하학적 체(effective geometric sieve)**를 증명하여, 큰 소수(prime)에 대해 코디멘션(codimension) $\ge 2$인 부분 다양체로 특수화되는 유리 점들이 무시할 수 있는 수준임을 보인다.
4. 파이버화(fibration)로부터 발생하는 국소 조건들을 만족하는 유리 점의 개수를 세고, $S$-정수 점(S-integral points)을 추정하는 데 이 결과를 적용한다.

2. 방법론

핵심 방법론은 보편적 토서 방법(Salberger)의 정교화와 해석적 정수론 기법, 그리고 새로운 "토릭 반 데르 코르풋 방법(toric van der Corput method)"의 결합에 기초한다.

2.1. 보편적 토서 매개변수화 (Universal Torsor Parametrization)

저자들은 분할 토릭 다양체 $X$ 상의 유리 점들이 준-아핀 토릭 다양체인 보편적 토서 $X_0$ 상의 정수 점으로 리프팅될 수 있다는 사실을 활용한다.

• 리프팅: $X(\mathbb{Q})$ 상의 계수 문제는 특정 코프리미티(coprimality) 조건과 높이 제한을 만족하는 $X_0(\mathbb{Z})$ 상의 정수 점을 세는 문제로 변환된다.
• 매개변수화: $X$를 정의하는 팬(fan)의 기하학적 구조 덕분에, $\mathbb{Z}^n$ 내의 좌표를 통한 $X_0$ 상의 점들의 명시적인 매개변수화가 가능하다. $X$ 상의 높이 함수는 $X_0$ 상의 단항식(monomials)의 곱으로 리프팅된다.

2.2. 유효한 균등 분포 조건

논문은 유효한 균등 분포(Effective Equidistribution, EE) 조건과 그에 대응하는 보편적 토서 상의 조건(Condition EEUT)을 정식화하고 검증한다.

• 이 조건들은 아델 근방(실수 조건 및 합동 조건으로 정의됨) 내의 정수 점의 개수가 해당 근방의 타마가와 측도를 오차 항(이는 합동 모듈러스의 크기에 대해 균등히(uniform) 성립함)과 함께 근사함을 주장한다.
• 명제 4.6은 만약 토서가 (EEUT)를 만족하면, 기저 다양체가 (EE)를 만족함을 보여준다.

2.3. 토릭 반 데르 코르풋 방법 (The Toric Van der Corput Method)

핵심적인 기술적 혁신은 토릭 반 데르 코르풋 방법(Theorem 7.1)이다.

• 목표: 높이 제한에 비해 좌표가 작은 "치우친(lopshed)" 박스(box)들에 놓인 정수 점들의 기여가 무시할 수 있는 수준임을 보이는 것이다.
• 기법: 표준적인 지수 합(exponential sum) 추정 대신, 저자들은 격자 점의 계수를 네론-세베리 토러스(Néron–Severi torus) $T_{NS}$ 상의 적분과 비교한다. 정의된 팬의 특정한 토릭 기하 구조와 구조를 활용함으로써, 특정 좌표가 작을 때(예: $< (\log B)^A$) 발생하는 오차 항을 제어한다. 이를 통해 계수 문제에서의 경계 효과(boundary effects)를 정밀하게 처리할 수 있다.

2.4. 체 기법 (Sieving Techniques)

• 셀베르그 체 (Selberg Sieve): "무수히 많은" 국소 조건(예: 모든 $p$에 대해 약수(divisor)를 피하는 점)을 다루기 위해 사용된다. 저자들은 소수 거듭제곱에 대한 절단된 국소 조건을 포착하는 유효한 버전(Theorem 3.11)을 개발한다.
• 기하학적 체 (Geometric Sieve): 에케달의 체(Ekedahl's sieve)의 유효한 버전이 증명되었으며(Theorem 1.5), 이는 큰 소수 $p$에 대해 코디멘션 $\ge 2$인 부분 다양체로 환원되는 점들이 희소함을 보여준다. 이는 투영의 파이버(fiber)에 대한 랭-바일(Lang–Weil) 추정치의 양적 버전에 의존한다.

3. 주요 결과

3.1. 균등 분포에 관한 주요 정리

• 정리 1.4 (유효한 균등 분포): 전역적으로 생성된 $K_X^{-1}$를 가진 $\mathbb{Q}$ 상의 매끄러운 완전 분할 토릭 다양체 $X$에 대하여, 표준 아델 집합 $F$ 내에서 높이가 $\le B$인 유리 점의 개수는 다음과 같다:
  $$\# \{P \in F \cap T_O(\mathbb{Q}) : H_{tor}(P) \le B\} = \alpha(X)\omega_{tor}(F) B(\log B)^{r-1} + O_{F_\infty, \epsilon} \left( L(F_f)^{r+2\dim X + \epsilon} B(\log B)^{\frac{r-3}{2} + \epsilon} \right)$$
  여기서 $L(F_f)$는 유한 부분의 아델 집합의 커버링 지수(covering exponent)이다. 이는 명시적인 오차 항을 가지며 아델 근방의 크기에 의존하는 점근식을 통해 원리 1.1을 확인해 준다.

• 정리 1.5 (기하학적 체): 코디멘션 $\ge 2$인 자리스키 닫힌 부분 집합 $Z \subset X$에 대하여, 어떤 소수 $p \ge N$에 대해 $Z$로 환원되는 점의 개수는 다음과 같이 유계된다:
  $$\ll_Z \frac{B(\log B)^{r-1}}{N \log N} + B(\log B)^{r-2} \log \log B$$
  이는 분포의 "순수성"을 확립한다: 즉, 점들이 코디멘션 $\ge 2$인 부분 다양체에 집중되지 않는다.

3.2. 파이버화 및 국소 조건에 대한 응용

• 정리 1.6 (파이버화): 파이버화 $f: Y \to X$의 상(image)에 있는 유리 점들에 대한 양적 추정치를 제공한다.
  • 만약 $f$가 차수가 $>1$인 일반적 유한(generically finite)이면, 개수는 $O(B(\log B)^{r-1-\iota})$이다.
  • 만약 $f$가 기하학적으로 정역(geometrically integral)인 일반 파이버를 가지면, 개수는 코디멘션 1 점들 위에서의 분할(splitting) 거동에 따라 결정된다. 모든 파이버가 유사 분할(pseudo-split)이면 점들은 양의 밀도로 균등 분포하지만, 비유사 분할 파이버가 존재하면 밀도는 0이다(특정한 로그 감소율을 가짐).
• 정리 1.8 (정수 점 및 소수): 섹션 $s$가 $S$-정수 또는 소수 값을 갖는 점의 개수를 추정한다. 이는 좌표가 소수 값을 갖는 점의 밀도가 무시할 수 있는 수준($O(B(\log B)^{r-1} / (\log \log B)^\theta)$)임을 보여준다.

3.3. 균등 분포의 순수성

• 원리 1.3: 저자들은 코디멘션 $\ge 2$인 여집합을 가진 임의의 자리스키 열린 조밀한 부분 집합 $W \subset X$에 대해 균등 분포 원리가 성립함을 증명한다. 이는 산술적 강한 근사(Strong Approximation)의 양적 버전인 APSA의 증명이다.

4. 의의 및 주장

본 논문은 다음과 같은 의의를 주장한다:

1. 토릭 다양체에 대한 최초의 증명: 마닌의 추측은 알려져 있었으나 더 미세한 균등 분포 성질은 알려지지 않았던 매끄러운 완전 분할 토릭 다양체 클래스에 대해, 마닌-페이레 균등 분포 원리를 처음으로 증명하였다.
2. 유효성 (Effectiveness): 비유효한 기존 증명들과 달리, 본 연구는 명시적인 오차 항을 가진 점근 공식을 제공한다. 결정적으로, 오차 항은 아델 근방의 "크기"(커버링 지수)에 명시적으로 의존하여, 이를 통해 균등한 결과를 얻을 수 있게 한다.
3. 기하학적 체: 차수가 $>1$인 고차원 다양체(이차 초곡면 이상)에 대해 최초의 유효한 기하학적 체를 확립하여, 유리 점들이 코디멘션 $\ge 2$인 부분 다양체에 군집하지 않음을 보여준다.
4. 양적 APSA: 분할 토릭 다양체에 대해 산술적 강한 근사의 양적 버전을 제공하며, 점들의 분포를 다양체의 기하학 및 파이브러에서의 분할과 연결한다.
5. 방법론적 혁신: "토릭 반 데르 코르풋 방법"은 기존의 조화 해석이나 표준적인 체 기법을 보완하여, 형태가 뾰족한(spike-shaped) 영역에서의 격자 점 계수를 다루는 새로운 도구로 제시된다.

저자들은 자신들의 방법이 (비분할 사례를 다루는 최근의 Santens의 연구와 달리) 분할(split) 조건에 의존한다는 점을 언급하면서도, 본 방식이 아델 근방에 대한 명시적 의존성을 가진 유효한 오차 항을 산출하며, 이는 다른 방법론으로부터 추출하기 어려운 부분임을 밝힌다. 또한, 비분할 사례나 더 일반적인 선다벨에 대한 결과, 그리고 소수 값을 갖는 점들에 대한 비자명한 하한(lower bound)을 설정하는 문제는 쉰켈 가설(Schinzel hypothesis)과 관련된 미해결 과제로 남겨두었다.