[논문 리뷰] Rational points of bounded height on weighted projective stacks

Ratko Darda|arXiv (Cornell University)|2021. 06. 18.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 가중 투영 스택 위에서 높이가 유계인 유리점의 渐近 분포를 확립하며, 스택적 몫에 대한 Manin-Peyre 추측을 일반화한다. 이는 타원곡선의 날것의 높이와 µm-토르스의 절대 판별식을 둘 다 일반화하는 높이 함수를 도입하고, 관련 토르스 위에서 조화 해석학과 아델 적분을 사용하여 이러한 점의 수에 대한 정밀한 渐近 공식을 증명한다.

ABSTRACT

A weighted projective stack is a stacky quotient $\mathscr P(\mathbf a)=(\mathbf A^n-\{0\})/\mathbb G_m$, where the action of $\mathbb G_m$ is with weights $\mathbf a\in\mathbb Z^n_{>0}$. Examples are: the compactified moduli stack of elliptic curves $\mathscr P(4,6)$ and the classifying stack of $μ_m$-torsors $Bμ_m=\mathscr P(m)$. We define heights on the weighted projective stacks. The heights generalize the naive height of an elliptic curve and the absolute discriminant of a torsor. We use the heights to count rational points. We find the asymptotic behaviour for the number of rational points of bounded heights.

연구 동기 및 목표

• 비자명한 가중치를 가진 (An\{0})/Gm 형태의 스택적 몫인 가중 투영 스택으로의 Manin-Peyre 추측 확장.
• 타원곡선의 날것의 높이와 µm-토르스의 절대 판별식을 모두 일반화하는 이러한 스택 위의 정규 높이 함수 정의.
• 이러한 스택 위에서 높이가 유계인 유리점의 수의 渐近 행동 확립.
• 관련 토르스 위의 아델 적분과 측도를 사용하여 높이 제타 함수의 Peyre 상수 계산.
• 높이 측도에 대한 유리점의 등분포를 증명함으로써 스택 버전의 Manin-Peyre 추측 확인.

제안 방법

• 정수 모델에 의해 유도된 선다발과 메트릭을 사용하여 가중 투영 스택 P(a) = (An\{0})/Gm 위에 높이 함수 정의.
• 관련 토르스 T(a)의 아델 군 위에서 전역 푸리에 변환을 통해 높이 제타 함수 구성.
• 라데마처 유형의 추정과 p진 적분을 사용하여 높이 함수의 국소 및 전역 푸리에 변환 분석.
• 몫 측도와 토르스의 아델 군 위의 하르 측도를 사용하여 Peyre 상수 계산.
• 준토르스 높이 이론과 특이 높이 메트릭을 활용하여 유한성과 노스코트 성질 보장.
• [T(a)(AF)]의 아델 군 위에서 조화 해석학을 적용하여 제타 함수의 해석적 계속성과 극의 분석.

실험 결과

연구 질문

• RQ1 어떻게 가중 투영 스택 위에 타원곡선의 날것의 높이와 토르스의 절대 판별식을 모두 일반화하는 높이 함수를 정의할 수 있는가?
• RQ2 가중 투영 스택 위에서 높이가 유계인 유리점의 수는 어떤 渐近 성장률을 가진다?
• RQ3 이러한 스택의 높이 제타 함수는 피카르 군의 질량과 같은 차수의 극을 가진 복소평면 위로 유리형 계속성을 갖는가?
• RQ4 아델 적분을 사용하여 가중 투영 스택의 경우 Peyre 상수를 명시적으로 계산할 수 있는가?
• RQ5 높이가 유계인 유리점의 집합은 유한한가, 그리고 타마가와 측도에 대해 등분포하는가?

주요 결과

• 가중 투영 스택 P(a) 위에서 높이가 유계인 유리점의 수는 X → ∞ 일 때 c ⋅ X^{ρ−1} 으로 渐近적으로 증가한다. 여기서 ρ는 P(a)의 피카르 군의 질량이다.
• 渐近 공식의 주계수 c는 관련 토르스 T(a) 위에서 아델 적분을 통해 계산된 Peyre 상수이다.
• 높이 제타 함수는 복소평면 위로 해석적 계속성을 가지며, s = 1 에서 차수 ρ−1 의 단일 극을 가진다.
• 높이가 유계인 유리점의 집합은 유한하며, 특이 높이일지라도 노스코트 성질을 만족한다.
• 유리점들은 아델 몫 위의 타마가와 측도에 대해 등분포하며, 이는 스택 버전의 Manin-Peyre 추측을 확인한다.
• 이 방법은 고전적 Manin-Peyre 추측을 스택으로 일반화하는데 성공하였으며, P(4,6) (타원곡선의 컴actified 모듈리 공간) 및 P(m) (µm-토르스의 분류 스택) 등의 예시에서 명시적인 검증이 이루어졌다.