[논문 리뷰] Equidistribution on the space of rank two vector bundles over the projective line

Vivek Shende, Jacob Tsimerman|arXiv (Cornell University)|2013. 07. 31.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 3

한 줄 요약

이 논문은 히그너 포인트에 대한 Duke의 등분포 정리의 함수체 버전을 수립하며, 고도가 무한히 증가할 때 초타원곡선이 ℙ¹ 위의 랭크 두 벡터(bundle)의 모듈리 공간에 유도하는 측도가 자연측도로 수렴함을 증명한다. 증명은 제타 함수 조작과 곡선에 대한 리만 가설을 사용하며, 하이퍼에일리프틱 곡선의 특수 분할자 교차의 기하적 수세기 방법을 통해 쌍의 벡터 번들로 확장된다.

ABSTRACT

Fix a finite field. A hyperelliptic curve determines a measure on the discrete space of rank two bundles on the projective line: the mass of a given vector bundle is the number of line bundles whose pushforward it is. In a sequence of hyperelliptic curves whose genera tend to infinity, these measures tend to the natural measure on the space of rank two bundles. This is a function field analogue of Duke's theorem on the equidistribution of Heegner points, and can be proven similarly: it follows from a manipulation of zeta functions, plus the Riemann Hypothesis for curves. Likewise, a sequence of hyperelliptic curves equipped with line bundles gives rise to a sequence of measures on the space of pairs of rank 2 bundles. We give a conjectural classification of the possible limit measures which arise; this is a function field analogue of the "Mixing Conjecture" of Michel and Venkatesh. As in the number field setting, ergodic theory suffices when the line bundle is sufficiently special. For the remaining bundles, we turn to geometry and count points on intersections of translates of loci of special divisors in the Jacobian of a hyperelliptic curve. To prove equidistribution, we would require two results. The first, we prove: the upper cohomologies of these loci agree with the cohomology of the Jacobian. The second, which we establish in characteristic zero and conjecture in characteristic p, is that the sum of the Betti numbers of these spaces grows at most as the exponential of the genus of the hyperelliptic curve.

연구 동기 및 목표

• ℙ¹ 위의 랭크 두 벡터 번들 모듈리 공간에서 선 번들의 측도의 투영을 등분포시키는 것.
• 이를 쌍의 번들에 대한 측도로 확장하며, Michel과 Venkatesh의 혼합 추측과 유사한 극한 분포를 추측하는 것.
• 특수 분할자 교차의 이동 이론을 통한 기하적 방법을 통해 등분포를 증명하는 것.
• 등분포의 핵심이 되는 이러한 특수 분할자 집합의 코homological 및 Betti 수의 한계를 설정하는 것. 특히 양의 특성에서 중요하다.

제안 방법

• 초타원곡선이 유도하는 Bun₂(ℙ¹) 위의 측도의 등분포를 증명하기 위해 제타 함수 조작과 곡선에 대한 리만 가설을 사용한다.
• 등분포 문제를 특수 분할자 집합의 상부 코homology를 유계화하는 것으로 환원하며, 이들이 자명하게도 임의의 주어진 곡선의 분할자 집합과 동일한 코homology를 가짐을 보인다.
• 선 번들이 충분히 특별한 경우 에르고딕 이론을 적용하고, 나머지 경우는 기하적 수세기로 전환한다.
• 초타원곡선의 분할자 집합의 이동 이론의 기하학을 연구하여 점 수를 제어한다.
• 완전으로 프레임된 벡터 번들 및 히케 측도의 프레임워크를 사용하여 자동형 및 기하 데이터를 연결한다.
• 대칭 공간의 이중 코셋 구조를 사용하여 랭크 하나의 토리에서 PGL₂로의 투영 사상의 분류를 수행한다.

실험 결과

연구 질문

• RQ1 초타원곡선의 피카르 군에서 Bun₂(ℙ¹)로의 투영 측도가 고도가 무한히 증가함에 따라 등분포하는가?
• RQ2 초타원곡선이 선 번들과 함께 제공될 때 가능한 극한 측도는 무엇이며, 이는 함수체 설정에서의 혼합 추측과 어떻게 관련되는가?
• RQ3 초타원곡선의 분할자 집합의 상부 코homology는 분할자 집합 자체의 코homology와 일치하는가?
• RQ4 특수 분할자 집합의 Betti 수의 합은 곡선의 고도에 대해 최대 지수적으로 증가하는가? 특히 양의 특성에서 그렇다면?
• RQ5 에르고딕 이론이 실패할 경우 기하적 방법을 통해 양의 특성에서 등분포를 확립할 수 있는가?

주요 결과

• 초타원곡선의 피카르 군에서 Bun₂(ℙ¹)로의 투영 측도는 고도가 무한히 증가함에 따라 랭크 두 벡터 번들의 공간 위의 자연측도로 약한-* 수렴한다.
• 분할자 집합의 상부 코homology는 분할자 집합 자체의 코homology와 일치하며, 이는 논문에서 증명된 핵심 기술적 결과이다.
• 특성 0에서 특수 분할자 집합의 Betti 수의 합은 고도에 대해 최대 지수적으로 증가하며, 이는 등분포를 지지한다.
• 저자들은 동일한 Betti 수의 유계 조건이 양의 특성에서도 성립할 것이라 추측하며, 이는 등분포 증명을 완성할 것이다.
• 충분히 특별한 선 번들에 대해서는 에르고딕 이론으로도 등분포를 증명할 수 있으나, 일반적인 경우는 기하적 수세기가 필요하다.
• 논문은 Duke의 등분포 정리의 함수체 버전을 수립하였으며, Bun₂(ℙ¹) 위의 자연측도는 이러한 투영 측도의 약한-* 극한으로서 나타난다.