[논문 리뷰] Manin's conjecture for certain biprojective hypersurfaces

Damaris Schindler|arXiv (Cornell University)|2013. 07. 26.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 7

한 줄 요약

이 논문은 상자 크기가 변하는 경우에 대해 완전교차에서의 정수점 수를 세는 데 원환법을 적용하여 이원형 공간 내 특정 매끄러운 초곡면에 대해 마니ン의 추측을 증명한다. $ N_{U,H}(P) \sim cP\log P $ 형태의 渐近 공식을 증명하여, 차원이 차수 및 특이점 집합의 차원에 비해 충분히 클 경우, 유리점의 유계 반표준 높이에 대한 예측된 상용로그 성장률을 확인한다.

ABSTRACT

Using the circle method, we count integer points on complete intersections in biprojective space in boxes of different side length, provided the number of variables is large enough depending on the degree of the defining equations and certain loci related to the singular locus. Having established these asymptotics we deduce asymptotic formulas for rational points on such varieties with respect to the anticanonical height function. In particular, we establish a conjecture of Manin for certain smooth hypersurfaces in biprojective space of sufficiently large dimension.

연구 동기 및 목표

• 차원과 특이점 조건 하에서 이원형 공간 내 매끄러운 초곡면에 대해 마니ン의 추측을 검증하기 위해.
• 이원형 공간 내 완전교차에서 유계 반표준 높이를 가진 유리점의 수를 세기 위해.
• 변하는 상자 크기에서 이계항 다항방정식계의 정수해 수에 대한 渐近 공식을 수립하기 위해.
• 유리점 수가 낮은 차원의 부분다양체 기여를 피할 수 있도록 자리지-오픈 부분다양체 $ U \subset X $ 를 분리하기 위해.
• 마니ン의 추측에 따라 예측된 상용로그 성장률 $ P\log P $ 이 유리점의 渐近 공식에서 실제로 관찰되는지 확인하기 위해.

제안 방법

• 다양한 변형된 변형 크기의 상자에서 이계항 다항방정식계의 정수해 수를 세기 위해 하디-리틀우드 원환법을 적용한다.
• 특정 가중치 $ n_i - Rd_i $ 를 적용한 $ {\mathbf{x}} $ 와 $ {\mathbf{y}} $ 의 $ L^\infty $-노름 기반 높이 함수 $ H({\mathbf{x}};{\mathbf{y}}) $ 를 정의하여 반표준 높이를 정의한다.
• Birch의 비특이성 기준에 따라, $ {\mathbf{x}} $ 또는 $ {\mathbf{y}} $ 에서의 섬유가 너무 특이한 점들을 제외하여 자리지-오픈 부분다양체 $ U = U_1 \times U_2 $ 를 구성한다. 이는 국소 밀도가 비특이적이 되도록 보장한다.
• 원환법을 사용하여 정수해 수 $ \Upsilon_h(P) $ 에 대한 渐近 공식을 유도한 후, 모비우스 역전환을 적용하여 원시해의 수 $ N_{U,H}(P) $ 를 추출한다.
• 특이점 집합 $ V_1^* $ 와 $ V_2^* $ 의 경계에 의존하며, 수렴성을 보장하기 위해 $ n_1 + n_2 - \max\{\dim V_1^*, \dim V_2^*\} > 3 \cdot 2^{d_1+d_2} d_1 d_2 R^3 $ 이어야 한다.
• 자리지 함수와 원환법의 오차항의 절대수렴성에 기반하여 특이급수와 적분의 수렴성을 확립한다.

실험 결과

연구 질문

• RQ1 차원이 차수 및 특이점 집합의 차원에 비해 충분히 클 경우, 이원형 공간 내 매끄러운 초곡면에 대해 마니ン의 추측이 성립하는가?
• RQ2 원환법이 이원형 공간 내 완전교차에서 반표준 높이를 가진 유리점의 수를 세는 데 적응 가능한가?
• RQ3 유계 반표준 높이를 가진 유리점의 정확한 渐近 성장률은 무엇인가?
• RQ4 특이점 집합은 유리점의 분포에 어떤 영향을 미치며, 어떻게 제거하여 예측된 渐近 공식을 회복할 수 있는가?
• RQ5 漸近 공식의 주요 상수는 원환법을 통해 페르의 예측과 일치하는가?

주요 결과

• 논문은 $ N_{U,H}(P) = (4\zeta(n_1 - Rd_1)\zeta(n_2 - Rd_2))^{-1} \sigma P\log P + C_1 P + O(P^{1-\eta}) $ 를 확립하여, 마니ン의 추측이 예측한 $ P\log P $ 성장률이 실제로 성립함을 확인한다.
• 주요 상수 $ \sigma $ 는 원환법에서 유도되며, 단위 상자 $ [-1,1]^{n_1+n_2} $ 에서의 기대 실밀도와 일치한다.
• 조건 $ n_1 + n_2 - \max\{\dim V_1^*, \dim V_2^*\} > 3 \cdot 2^{d_1+d_2} d_1 d_2 R^3 $ 하에서 渐近 공식이 성립하며, 이는 수렴성과 비특이 국소밀도를 보장한다.
• 오픈 부분다양체 $ U \subset X $ 는 명시적으로 $ U_1 \times U_2 $ 로 구성되며, $ U_i $ 는 $ {\mathbf{x}} $ 또는 $ {\mathbf{y}} $ 에서의 섬유가 너무 특이한 점들을 제외함으로써 구성된다.
• 모비우스 역전환 단계는 원시해의 수 $ N_{U,H}(P) $ 가 $ \Upsilon_h(P) $ 와 동일한 渐近 형태를 유지함을 확인하며, $ \zeta(n_i - Rd_i)^{-1} $ 에 의한 상수 인자로 인해 변형된다.
• 오차항은 $ O(P^{1-\eta}) $ 이며, $ \eta > 0 $ 이고, 특이급수의 수렴은 $ \beta_i = n_i - Rd_i \geq 2 $ 인 덕분에 절대수렴한다.