[논문 리뷰] A special point problem of André-Pink-Zannier in the universal family of abelian varieties

Ziyang Gao|arXiv (Cornell University)|2014. 07. 21.

Advanced Algebra and Geometry참고 문헌 13인용 수 3

한 줄 요약

이 논문은 주로 양성으로 극화된 아벨 다양체의 보편 가중치 가중치 가중치에서 앤드레-핀크-잔니어 추측의 특수한 경우를 증명하며, 한 부분 다양체가 일반화된 히크 궤도와 자리지 조밀하게 만날 경우 그것이 약한 특수하다는 것을 증명한다. 모듈리 이론 기반 기하학과 디오판틴 추정을 사용하여, 토크션 점들과 곡선에 대해 추측을 증명하고, 자르힌의 기법과 피복 곱 구조를 통해 비-토르션 경우로 확장한다.

ABSTRACT

The André-Pink-Zannier conjecture concerns the intersection of subvarieties and the generalized Hecke orbit of a given point in mixed Shimura varieties. It is part of the Zilber-Pink conjecture. In this paper we focus on the universal family of principally polarized abelian varieties. We explain the moduli interpretation of the conjecture in this case and prove several different cases for this conjecture: its overlap with the André-Oort conjecture; when the subvariety is contained in an abelian scheme over a curve and the point is a torsion point on its fiber; when the subvariety is a curve.

연구 동기 및 목표

• 주로 양성으로 극화된 아벨 다양체의 보편 가중치 가중치에서 특정 경우에 대해 앤드레-핀크-잔니어 추측을 증명하는 것.
• 등방성 아벨 스킴과 토크션/일정 섹션에 대한 약한 특수 부분 다양체의 기하학적 특성화를 설정하는 것.
• 토르션 경우에서 앤드레-오르트 추측과 앤드레-핀크-잔니어 추측의 겹침을 증명함으로써 두 추측을 연결하는 것.
• 모듈리 이론 기반 기법을 통해 순수 쇼무 보조 다양체에서 혼합 쇼무 보조 다양체의 쿠가 유형으로 결과를 확장하는 것.
• 토르션 및 비-토르션 경우에 대해 일반화된 히크 궤도에 대한 디오판틴 추정을 제공하는 것.

제안 방법

• 보편 가중치 아벨 다양체의 모듈리 해석을 사용하여, 일반화된 히크 궤도를 극화된 이소지의 궤도의 나누기 점들로 정의한다.
• 약한 특수 부분 다양체의 기하학적 특성화를 적용: 전체 지오데식 기저와 토크션 및 일정 섹션에 의한 아벨 부분스킴의 이동.
• 토르션 경우의 디오판틴 추정을 위해 아벨 다양체 내의 나누기 군과 토크션 점의 구조를 활용한다.
• 비-토르션 경우를 토크션 경우로 줄이기 위해 자르힌의 기법을 사용하여, 이소지가 극화되도록 하기 위해 아벨 다양체를 더 높은 차원으로 임bedding한다.
• 기저 모듈리 공간 위의 피복 곱을 구성하여 부분 다양체를 올리고, 히크 궤도 사상 하에서의 자리지 폐쇄를 분석한다.
• 적절한 사상과 자리지 폐쇄가 상사에 의해 유지되는 성질을 사용하여, 곱 공간에서의 조밀성으로부터 약한 특수 구조를 유도한다.

실험 결과

연구 질문

• RQ1 보편 가중치 아벨 다양체의 부분 다양체가 일반화된 히크 궤도와 자리지적으로 조밀하게 만날 경우, 어떤 조건에서 그것이 약한 특수가 되는가?
• RQ2 혼합 쇼무 설정에서, 섬유 내의 토크션 점들이 일반화된 히크 궤도와 약한 특수 부분 다양체와 어떻게 관련되는가?
• RQ3 앤드레-오르트 추측과 앤드레-핀크-잔니어 추측의 겹침이 보편 가중치 아벨 다양체에서 증명될 수 있는가?
• RQ4 디오판틴 응용을 위해 비-극화된 이소지 궤도를 극화된 것으로 줄이는데 자르힌의 기법이 어떤 역할을 하는가?
• RQ5 아벨 다양체 내의 나누기 군의 구조는 히크 궤도의 조밀도를 추정하는 데 어떻게 활용될 수 있는가?

주요 결과

• 기저 점이 그 섬유에서 토크션 점인 경우, 기저가 곡선 위의 아벨 스킴에 포함된 부분 다양체에 대해 추측이 성립한다.
• 보편 가중치 아벨 다양체의 곡선에 대해 추측이 증명되었으며, 풍산-잔니어 프레임워크에서 이전 결과를 확장한다.
• 앤드레-오르트 추측과 앤드레-핀크-잔니어 추측의 겹침이 확립되었다: 고정된 극화된 이소지 궤도에서 유래한 자리지적으로 조밀한 CM 점들을 포함하는 부분 다양체는 약한 특수하다.
• 비-토르션 점의 경우, 자르힌의 기법을 통해 토크션 경우로 환원되며, 이소지가 극화되도록 하기 위해 문제를 더 높은 차원의 보편 가중치 가중치로 임베딩한다.
• 한 점의 일반화된 히크 궤도는 그 기저 점의 극화된 이소지 궤도의 나누기 점들로 구성됨을 보여주며, 이는 모듈리 이론적 해석을 제공한다.
• 약한 특수 부분 다양체의 히크 궤도 사상에 대한 역상의 자리지 폐쇄는 곱 공간에서 약한 특수하다는 것이 보여졌으며, 이는 원래 부분 다양체가 약한 특수하다는 것을 의미한다.