[논문 리뷰] Libert\'e et accumulation

Emmanuel Peyre|arXiv (Cornell University)|2016. 02. 11.

Algebraic Geometry and Number Theory인용 수 12

한 줄 요약

이 논문은 아라켈로프 이론적 기울기들을 통해 측정되는 새로운 산술 불변량인 '자유도(freedom)'를 도입하여, 대수다양체 위의 유리점의 분포 행동에 따라 이를 분류한다. 광역계 미터릭과 보스트의 기울기 이론을 사용하여 [0,1] 범위의 실수 값 자유도 불변량을 정의함으로써, 충분히 높은 자유도를 갖는 점들이 광역공간에서 균일하게 분포함을 보이며, 바티레프-마니얀 원리와 일치하고, 재귀적 부분다양체 분석에 의존하지 않고도 축적점들을 배제할 수 있는 직접적인 기준을 제공한다.

ABSTRACT

Le principe de Batyrev et Manin et ses variantes donnent une interpr\'etation conjecturale pr\'ecise pour le terme dominant du nom\-bre de points de hauteur born\'ee d'une vari\'et\'e alg\'ebrique dont l'oppos\'e du faisceau canonique est suffisamment positif. Comme l'a clairement montr\'e le contre-exemple de Batyrev et Tschinkel la mise en \oe uvre de ce principe n\'ecessite l'exclusion de domaines d'accumulation qui sont le plus souvent d\'etermin\'es en proc\'edant par r\'ecurrence sur la dimension de la vari\'et\'e. Cette m\'ethode ne donne cependant pas de crit\`ere direct permettant de dire si un point rationnel donn\'e doit \^etre exclu ou pas. L'ambition de cet article est de d\'efinir une mesure de la libert\'e d'un point rationnel de sorte que les points d'une libert\'e suffisante se r\'epartissent effectivement de mani\`ere uniforme sur la vari\'et\'e, c'est-\`a-dire qu'ils soient distribu\'es sur l'espace ad\'elique associ\'e \`a la vari\'et\'e conform\'ement \`a la mesure de distribution ad\'elique introduite dans un article ant\'erieur de l'auteur. De ce point de vue, les points assez libres devraient \^etre ceux qui respectent le principe de Batyrev et Manin.

연구 동기 및 목표

• 바티레프-마니얀 유형의 점 수 渐近 공식에서 제외해야 할 유리점을 직접적으로 판별할 수 있는 기준의 부재를 해결하기 위해.
• 아라켈로프 이론을 사용하여 유리점에 대한 기하학적으로 의미 있는 '자유도' 측정치를 정의하기 위해.
• 축적되는 점들을 식별함으로써 바티레프-마니얀 추측의 정교화를 위해.
• 높이가 유계인 점들의 점근적 분포를 광역 측도와 조율하기 위해.
• 기존의 예와 반례(바티레프-츠힌켈 및 르 루두리에의 사례 포함)에 대해 새로운 자유도 기준을 시험하기 위해.

제안 방법

• 수체 위의 매끄러운 프로젝티브 다양체에 광역계 미터릭을 정의하여, 리만 기하학의 미터릭을 산술 기하학으로 일반화한다.
• 헤르미트 벡터 번들의 보스트의 기울기 이론을 사용하여 유리점 x에서의 접공간의 최대 기울기 µ_max(x)를 정의한다.
• 정규화된 기울기로부터 유도된 [0,1]에 값을 갖는 자유도 불변량 l(x)을 도입하여, 점이 축적에서 얼마나 자유로운지를 측정한다.
• 높이가 유계인 점들의 점근적 분포를 예측할 수 있는 다양체의 광역공간 위의 광역 측도를 구성한다.
• 균일 분포를 위반하는 점들을 걸러내기 위해 자유도 기준 l(x) > ε(B) 및 µ_max(x) ≤ log(B)를 적용한다.
• 주요 예제들—예를 들어, 사영 공간, 다양체의 곱, 이차곡면, 바티레프-츠힌켈 및 르 루두리에의 반례—에서 프레임워크를 검증한다.

실험 결과

연구 질문

• RQ1 점 수의 점근적 공식에서 주항목에서 제외되어야 할지 여부를 판단할 수 있는 직접적이고 내재된 산술 불변량을 정의할 수 있는가?
• RQ2 유리점에서의 아라켈로프 이론적 기울기가 광역공간에서의 분포 행동과 어떻게 관련되는가?
• RQ3 제안된 자유도 불변량 l(x)은 부분다양체 기반 방법이 실패하는 경우에도 축적에 기여하는 점들을 효과적으로 식별할 수 있는가?
• RQ4 바티레프-츠힌켈의 반례에서, 높이가 증가함에 따라 l(x) → 0이 되는 점들이 실제로 축적 집합에 해당하는가?
• RQ5 자유도 기준은 알려진 예와 반례와 일치하는 방식으로 바티레프-마니얀 추측을 정교화하는 데 사용될 수 있는가?

주요 결과

• 자유도 불변량 l(x) ∈ [0,1]은 보스트의 기울기 이론을 유리점의 접공간에 적용하여 정의되며, 산술적 자유도에 대한 연속적인 측정치를 제공한다.
• 높이 B → ∞일 때 l(x) → 0이 되는 점들은 축적의 후보로 식별되며, 기존의 반례와 일치한다.
• [Pe1]에서 구성된 광역 측도는 충분히 높은 자유도를 갖는 점들의 분포를 지배함을 보이며, 정교화된 바티레프-마니얀 원리를 지지한다.
• P^2 × P^1의 경우, (P^2_Q)^2에 대한 기존 결과가 자유도 기준 하에서 기대되는 행동과 모순되지 않음을 보여주지만, o(B log B) 상한은 아직 증명되지 않았다.
• l(x) > ε(B) 및 µ_max(x) ≤ log(B) 기준은 부분다양체 기반 배제 방식의 타당한 대안으로 제안되며, 후자는 더 개념적으로 자연스럽다.
• 논문은 자유도 불변량이 축적 현상을 충실하게 탐지할 수는 있으나, 바티레프-마니얀 프로그램의 최적 기준을 결정하기 위해 추가 사례의 연구가 더 필요하다고 결론 내린다.