[논문 리뷰] On Shafarevich-Tate groups and the arithmetic of Fermat Curves

William G. McCallum, Pavlos Tzermias|ArXiv.org|2002. 10. 31.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 페르마 곡선의 아벨 다양체의 샤파레비치-타이트 군에 대한 이전 연구를 확장하여, 원분체 Q(ζ) 내의 자기형사 λ = ζ−1 를 통한 고차 수준의 강하를 분석한다. 논문은 p-primary 부분군이 (Z[ζ]/(λ³))² 와 동형일 조건을 규명하고, 이를 통해 J₇,₁₋₈ 의 모델-베일 랭크가 1임을 증명하며, X¹⁹+Y¹⁹+Z¹⁹=0 상의 모든 이차점이 그로스와 로흐리히가 기술한 바와 일치함을 보인다.

ABSTRACT

We extend the results of the first author on nontrivial elements in the Shafarevich-Tate group of the jacobian of a quotient of a Fermat curve of prime degree, and use the methods of the second author to derive a result bounding the quadratic points on the Fermat curve of degree 19.

연구 동기 및 목표

• 페르마 곡선의 아벨 다양체의 샤파레비치-타이트 군에서 λ-강하의 고차 수준으로 캐슬스-타이트 쌍선 분석을 확장한다.
• 샤파레비치-타이트 군의 p-primary 부분군이 비자명하고 특정한 구조를 갖는 조건을 규명한다.
• 비단순 아벨 다양체와 야생 환원 유형에 대한 문헌 내 모순을 해결한다.
• 결과를 적용하여 페르마 곡선 상의 모델-베일 랭크를 계산하고 이차점을 분류한다.
• 비약적 또는 야생 비분할 환원의 경우 샤파레비치-타이트 군의 정확한 구조를 확립한다.

제안 방법

• 페르마 곡선 yᵖ = xᵃ(1−x)ᵇ 에서 a+b+c=0 인 경우, 아벨 다양체 Jₐ,ᵦ,𝒸 에서 자기형사 λ = ζ−1 를 사용한다.
• 캐슬스-타이트 쌍선에 고차 강하 기법을 적용하여 k=1,2,3,4 에 대해 Sh[λᵏ] 의 구조를 분석한다.
• p-진 값 함수 q(x) = (xᵖ⁻¹−1)/p mod p 를 사용하여 환원 유형(비약적, 야생 분할, 야생 비분할)을 분류한다.
• 티히뮐러 특성과 K_w^×/K_w^×ᵖ 의 고유공간 V(i) 를 활용하여 U 의 상을 분석한다.
• 팔데프의 세일머 그룹에 대한 경계와 [GR78] 의 모델-베일 랭크 결과를 활용하여 샤파레비치-타이트 군의 크기와 구조를 제약한다.
• Z[ζ] 상의 대수적 수론과 Z[ζ]/(λᵏ) 상의 유한 모듈러의 구조 정리에 기반하여 Sh[p^∞] 의 정확한 형태를 유도한다.

실험 결과

연구 질문

• RQ1 페르마 곡선의 아벨 다양체에 대해 샤파레비치-타이트 군 Sh[λ] 가 비자명해지는 조건은 무엇인가?
• RQ2 샤파레비치-타이트 군의 p-primary 부분군이 (Z[ζ]/(λ³))² 의 구조를 갖는 조건은 언제인가?
• RQ3 환원 유형(비약적, 야생 분할, 야생 비분할)과 U 가 V(i) 에서의 상이 Sh[λᵏ] 의 구조에 미치는 영향은 무엇인가?
• RQ4 Q 상에서 Jₐ,ᵦ,𝒸 의 모델-베일 랭크는 샤파레비치-타이트 군의 구조로부터 특정할 수 있는가?
• RQ5 페르마 곡선 Xᵖ+Yᵖ+Zᵖ=0 상의 모든 이차점은 그로스와 로흐리히가 기술한 구성에 의해 모두 포함되는가?

주요 결과

• p=19, a=7, b=1, c=−8 인 경우, 샤파레비치-타이트 군은 Sh[p^∞] ≅ (Z[ζ]/(λ³))² 를 만족한다.
• Q 상에서 J₇,₁₋₈ 의 모델-베일 랭크는 정확히 1이다.
• 페르마 곡선 X¹⁹+Y¹⁹+Z¹⁹=0 상의 모든 이차점은 그로스와 로흐리히가 기술한 바와 일치한다.
• 제시된 조건 하에서 샤파레비치-타이트 군 Sh[λ³] 는 Z[ζ]/(λ³) 상의 랭크 2인 자유 모듈러이다.
• Jₐ,ᵦ,𝒸 가 비단순임을 가정하는 것은 야생 분할 환원과 호환되지 않으며, 이는 이전 문헌의 오류를 수정한다.
• p≥19 이며 q(aᵃbᵇcᶜ)³+abcBₚ₋₃≢0 mod p 를 만족하는 정규 소수 p 에 대해 Sh[λ³]≠0 이며, 이는 |Sh[p^∞]|≥p³ 을 의미한다.