The multi-height distribution implies the Batyrev-Manin principle

논문 개요

이 논문은 다중 높이 (Multi-height) 분포에 대한 분석을 통해, 토릭 스택 (toric stack) 및 토릭 다양체 (toric variety) 위의 유계 (bounded) 안티카노니컬 높이 (anticanonical height) 를 갖는 유리점의 개수에 대한 점근적 행위를 유도하는 방법을 제시합니다. 저자는 Marta Pieropan 과 Damaris Schindler 가 개발한 일반화된 쌍곡선 방법 (hyperbola method) 을 사용하여, Peyre 가 제안한 '다중 높이 접근법'으로부터 고전적인 Batyrev-Manin 원리를 재도출하고, 특히 스택 (stack) 환경에서의 주상수 (leading constant) 가 오비폴드 Tamagawa 수 (orbifold Tamagawa number) 와 일치함을 증명합니다.

---

1. 연구 배경 및 문제 제기

• Batyrev-Manin 원리: Quasi-Fano 다양체 $V$ 위에서, 안티카노니컬 선다발 $\omega^{-1}_V$와 관련된 유계 높이 $H$를 갖는 유리점의 개수는 $B \to \infty$일 때 $c B (\log B)^{\rho-1}$ 형태로 점근적으로 행동한다는 추측입니다. 여기서 $\rho$는 피카르 군의 랭크입니다.
• 최근 동향: Ellenberg, Satriano, Zureick-Brown, Darda, Yasuda 등은 이 원리를 Deligne-Mumford 스택으로 확장하여, 오비폴드 안티카노니컬 높이를 고려한 새로운 공식을 제안했습니다.
• Peyre 의 제안: Peyre 는 단일 높이 대신 모든 가능한 높이 (다중 높이) 를 고려하는 새로운 접근법을 제안했습니다. 저자의 이전 연구 (논문 [4], [5]) 에서는 토릭 다양체와 스택에 대해 다중 높이에 대한 점근적 행위가 이미 확립되었습니다.
• 본 논문의 목적: 다중 높이에 대한 점근적 결과가 이미 알려져 있다면, 이를 어떻게 사용하여 유계 안티카노니컬 높이를 갖는 점들의 개수에 대한 점근적 공식을 유도할 수 있는지, 그리고 그 과정에서 얻어지는 주상수가 기존 Tamagawa 수와 어떻게 일치하는지를 체계적으로 설명하는 것입니다.

2. 방법론 (Methodology)

이 논문은 다음과 같은 수학적 도구와 단계를 통해 문제를 해결합니다.

1. 다중 높이 분석의 확장 (Section 2):

   • 기존의 다중 높이 점근적 결과가 하한과 상한이 모두 유계인 영역에 대해 증명되어 있었다면, 본 논문에서는 상한은 유계이나 하한은 무한대인 영역 (즉, 다중 높이가 특정 심플렉스 부분 원뿔 $\Lambda$ 내에 있고, 특정 방향으로는 무한히 커질 수 있는 경우) 으로 결과를 확장합니다.
   • 이를 위해 Davenport 의 기하학적 수 (geometry of numbers) 결과와 Möbius 역변환을 사용하여, 다중 높이가 특정 구간 내에 있는 유리점의 개수를 추정합니다.

2. 일반화된 쌍곡선 방법 (Generalized Hyperbola Method) 적용 (Section 3):

   • Pieropan 과 Schindler 가 개발한 [20] 의 정리를 적용합니다. 이 정리는 특정 조건을 만족하는 산술 함수 $f$에 대해, 다중 높이 조건이 $y_1^{\alpha_1} \cdots y_\rho^{\alpha_\rho} \le B$인 영역에서의 합을 점근적으로 평가하는 방법을 제공합니다.
   • 여기서 핵심은 다면체 $P$ (높이 조건에 의해 정의됨) 의 기하학적 성질 (유계성, 차원, 면의 구조) 을 분석하고, 이에 따른 주상수 $c_P$를 계산하는 것입니다.

3. 원뿔 분해 및 포함 - 배제 원리 (Section 4):

   • 유효 divisor 의 쌍대 원뿔 $C_{eff}(X)^\vee$를 심플렉스 부분 원뿔 (simplicial subcones) $\{\Lambda_j\}$들의 유한 합으로 분해합니다.
   • 각 심플렉스 원뿔에 대해 쌍곡선 방법을 적용한 후, 포함 - 배제 원리 (inclusion-exclusion principle) 를 사용하여 전체 원뿔에 대한 점의 개수를 재구성합니다.
   • 서로 다른 원뿔의 교집합에 해당하는 점들의 개수는 주항 (main term) 에 비해 무시할 수 있을 정도로 작음을 보임으로써 (Proposition 4.8), 최종 공식을 유도합니다.

3. 주요 결과 (Key Results)

A. 다중 높이에서 유계 높이로의 전환 (Theorem 1.4)

저자는 다중 높이 분포의 점근적 행동 (Theorem 1.2) 을 기반으로, 안티카노니컬 높이 $H(P) \le B$를 갖는 유리점 $T(\mathbb{Q})$의 개수에 대한 다음 점근적 공식을 유도합니다:
$$\# \{ P \in T(\mathbb{Q}) \mid H(P)(\omega^{-1}_X) \le B \} \sim \alpha(X) \tau(X) B (\log B)^{\rho(X)-1}$$
여기서:

• $\tau(X)$는 Tamagawa 수입니다.
• $\alpha(X)$는 Peyre 가 정의한 기하학적 상수입니다.
• $\rho(X)$는 Picard 군의 랭크입니다.

B. Tamagawa 수의 일치성 증명 (Corollary 1.5)

이 논문은 Darda 와 Yasuda 가 [6] 에서 유도한 상수와 저자가 [5] 에서 정의한 오비폴드 Tamagawa 수가 동일함을 증명합니다.

• 특히, 토릭 스택 $X$에 대해, Darda-Yasuda 의 공식이 오비폴드 Tamagawa 수 $\tau(X)$와 일치함을 보여줍니다.
• 이는 $p$-adic 측도 $\mu_{X,p}$가 군도 (groupoid) 카디널리티를 사용하여 표현될 수 있음을 의미하며, 수론적 문제 (Malle 추측 등) 와 Manin 프로그램 간의 연결고리를 명확히 합니다.

C. 상수 $\alpha(X)$의 계산 (Proposition 4.10)

심플렉스 분해를 통해 $\alpha(X)$가 다음과 같이 표현됨을 보입니다:
$$\alpha(X) = \sum_{j \in J} \frac{1}{(\rho-1)!} \nu(-\Lambda_j)$$
이는 다중 높이 분석에서 얻은 각 심플렉스 영역의 부피 합이 전체 기하학적 상수와 일치함을 의미합니다.

4. 의의 및 기여 (Significance)

1. 이론적 통합: Peyre 가 제안한 '다중 높이' 접근법이 고전적인 '유계 높이' Batyrev-Manin 원리를 어떻게 함축하는지 구체적으로 증명함으로써, 두 접근법의 일관성을 확립했습니다.
2. 스택 (Stack) 환경의 정립: 토릭 다양체뿐만 아니라 토릭 스택에 대해서도 Batyrev-Manin 원리가 성립함을 rigorously 증명했습니다. 이는 유리점의 분포를 연구하는 데 있어 스택 이론의 중요성을 부각시킵니다.
3. 상수의 명확화: 기존에 별개로 계산되었던 Tamagawa 수와 점근적 공식의 주상수가 본질적으로 동일한 물리적/기하학적 의미를 가진다는 것을 명확히 했습니다.
4. 방법론적 발전: Pieropan-Schindler 의 일반화된 쌍곡선 방법을 토릭 스택의 맥락에 성공적으로 적용하여, 복잡한 기하학적 구조를 가진 공간 위의 점 수 세기 문제에 강력한 도구를 제공했습니다.

5. 결론

이 논문은 다중 높이 분포에 대한 깊은 이해를 바탕으로 Batyrev-Manin 원리를 재구성하고, 이를 통해 토릭 스택 위의 유리점 분포에 대한 정확한 점근적 공식을 제시합니다. 특히, 유도된 상수가 오비폴드 Tamagawa 수와 일치함을 보임으로써, 수론적 추측 (Malle, Bhargava 등) 과 기하학적 원리 간의 연결을 더욱 견고하게 만들었습니다.