[논문 리뷰] A characterization of certain Shimura curves in the moduli stack of abelian varieties

Eckart Viehweg, Kang Zuo|ArXiv.org|2002. 07. 25.

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

한 줄 요약

이 논문은 아라켈로프 부등식을 만족하는 아벨 다양체의 가닥이 상수 아벨 다양체와 모듈라 타원곡선의 곱과 동형임을 보여줌으로써 아라켈로프 부등식을 달성하는 가닥을 특성화한다. 기저 곡선은 셰이마 곡선이며, 허지 필드의 최대성은 일반 섬유 위의 특수 허지 사이클과 모듈라 구조와 관련이 있다. 이는 변형 허지 구조와 단일화 조건을 통해 산술기하학과 셰이마 다양체를 연결한다.

ABSTRACT

Let f:X-->Y be a semi-stable family of complex abelian varieties over a curve Y of genus q, and smooth over the complement of s points. If F(1,0) denotes the non-flat (1,0) part of the corresponding variation of Hodge structures, the Arakelov inequalities say that 2deg(F(1,0)) is bounded from above by g=rank(F(1,0))(2q-2+s). We show that for s>0 families reaching this bound are isogenous to the g-fold product of a modular family of elliptic curves, and a constant abelian variety. For s=0, if the flat part of the VHS is defined over the rational numbers, the family is isogeneous to the g-fold product of a family h:Z-->Y, and a constant abelian variety. In this case, h:Z-->Y is obtained from the corestriction of a quaternion algebra A, defined over a totally real numberfield F, and ramified over all infinite places but one. In case the flat part of the VHS is not defined over the rational numbers, we determine the structure of the VHS.

연구 동기 및 목표

• 아라켈로프 부등식을 달성하는 아벨 다양체의 가닥을 그 허지 이론적 및 기하학적 구조에 따라 특성화하기.
• 허지 필드의 최대성과 일반 섬유 위의 특수 허지 사이클 존재 간의 관계를 확립하기.
• 이러한 가닥이 유한 에탈 코어 위에서 상수 아벨 다양체와 모듈라 타원곡선 가닥의 곱과 동형임을 보여주기.
• 이러한 가닥의 기하학적 및 산술적 성질을 셰이마 다양체 이론과 문마프-테이트 군 이론과 연결하기.
• 허지 번들의 분해와 심슨의 대응을 이용하여 셰이마 다양체 분류의 대안을 제공하기.

제안 방법

• 변형 허지 구조 R¹f_*ℤ_X₀로부터 Higgs 번들 (E, θ)을 구성하기 위해 델리뉴 확장과 허지 필터링을 사용하기.
• 허지 번들의 분해 정리에 따라 Higgs 번들을 약한 앰플 부분 F 와 평탄한 부분 N 으로 분해하기.
• 심슨의 대응을 적용하여 허지 필드의 최대성과 랭크 2, 무게 1의 변형 및 유니터리 시스템의 직합 및 텐서곱으로서 국소 시스템의 구조를 연결하기.
• 단일화 조건과 단일화 조건을 분석하여 허지 필드가 기저 곡선의 로그 구조와 잘 정의되고 호환됨을 보장하기.
• 아라켈로프 부등식과 그 등식의 경우를 사용하여 극한 가닥을 특성화하기.
• 허지 필드의 최대성에 의해 모듈라 타원곡선으로의 축소를 통해 셰이마 곡선을 모듈리 공간으로서 구성하기.

실험 결과

연구 질문

• RQ1 아라켈로프 부등식을 달성하는 아벨 다양체의 가닥을 특성화하는 기하학적 및 허지 이론적 조건은 무엇인가?
• RQ2 허지 필드의 최대성이 일반 섬유 위의 특수 허지 사이클 존재와 어떻게 관련되는가?
• RQ3 아라켈로프 부등식을 달성하는 가닥은 더 단순한 구성요소로 분해될 수 있는가? 만약 가능하다면 그 구성요소는 무엇인가?
• RQ4 이러한 가닥의 모듈리 이론적 해석은 셰이마 다양체 또는 완전 지오데식 부분다양체에 대해 어떻게 이루어지는가?
• RQ5 곡선의 아벨-자코비안 가닥 중 아라켈로프 부등식을 달성하는 것은 존재하는가? 만약 존재한다면 어떤 조건에서 성립하는가?

주요 결과

• 아라켈로프 부등식을 달성하는 아벨 다양체의 가닥은 유한 에탈 코어 위에서 상수 아벨 다양체와 몇 개의 모듈라 타원곡선 가닥 복제본의 곱과 동형이다.
• 기저 곡선 Y 는 셰이마 곡선이며, 가닥은 적절한 레벨 구조를 가진 모듈리 공간 위의 유니버설 가닥의 역상으로 유도된다.
• 허지 필드의 최대성(즉, θ 가 동형사상임)은 아라켈로프 부등식의 달성과 동치이다.
• 국소 시스템에 유니터리 부분이 없는 경우, 문마프-테이트 군은 ℚ 위에서 정의되며, 가닥은 주어진 Hg 부분군을 가진 셰이마 다양체 위의 유니버설 가닥의 역상이다.
• ℙ¹ 위의 곡선의 아벨-자코비안 가닥의 경우, 아라켈로프 부등식은 정확히 네 개의 특이 섬유가 존재할 때에만 달성되며, 이러한 가닥은 상수 아벨 다양체와 모듈라 타원곡선 가닥의 곱과 동형이다.
• 반례가 존재하여 이러한 가닥이 자코비안으로서 나타날 수 있음을 보여주며, 예를 들어 레벨 구조를 가진 타원곡선에 대한 허위우치 코어를 통해 3개의 추가 특이 섬유를 가진 곡선 가닥에서 유도될 수 있다.