[논문 리뷰] Mixed Ax-Schanuel for the universal abelian varieties and some applications

Ziyang Gao|arXiv (Cornell University)|2018. 06. 04.

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

한 줄 요약

이 논문은 수준 구조를 가진 극화된 아벨 다양체의 모듈리 공간 위의 보편 아벨 다양체에 대해 혼합 Ax-Schanuel 정리를 확립하며, 순수 쇼이마 다양체에 대한 이전 결과를 확장한다. 주요 기여는 보편 가속도의 부분다양체의 자리스키 폐쇄와 그 이미지의 이중대칭 폐쇄 사이의 초월 부등식을 연결하는 것으로, Betti 맵의 일반적인 질량과 Bogomolov 유사한 유한성 결과에의 적용이 가능하다.

ABSTRACT

In this paper we prove the mixed Ax-Schanuel theorem for the universal abelian varieties (more generally any mixed Shimura variety of Kuga type), and give some simple applications. In particular we present an application to studying the generic rank of the Betti map.

연구 동기 및 목표

• 수준 구조를 가진 극화된 아벨 다양체의 모듈리 공간 위의 보편 아벨 다양체에 대해 혼합 Ax-Schanuel 정리를 확립한다.
• 순수 쇼이마 다양체에서의 Ax-Schanuel 정리를 쿠가 유형의 혼합 쇼이마 다양체로 확장한다.
• 이 정리를 이용해 아벨 스킴에서 Betti 맵의 일반적인 질량을 연구한다.
• 일부 아벨 스킴의 부분다양체에 대해 Bogomolov의 추측과 유사한 유한성 결과를 증명한다.
• 균형화와 자리스키 폐쇄를 이용해 보편 가속도 내의 이중대칭 부분다양체를 기하학적으로 특성화한다.

제안 방법

• 헤르미트 대칭 공간에서 아벨 다양체의 모듈리 공간 $\mathfrak{A}_g$로의 균형화 사상 $\mathbf{u}: \mathcal{X}_{2g,\mathrm{a}}^{+} \to \mathfrak{A}_g$ 를 사용한다.
• Mok-Pila-Tsimerman의 영감을 받은 o-미니멀 기하학 기법을 적용하여 보편 가속도 내의 해석적 부분다양체의 자리스키 폐쇄를 분석한다.
• 균형화 사상에 대한 원상이 매개변수 공간에서 대수적일 때 이중대칭 부분다양체의 개념을 도입한다.
• 약한 Ax-Schanuel 정리를 사용하여 자리스키 폐쇄와 이중대칭 폐쇄를 포함하는 차원 부등식을 유도한다.
• Mumford-Tate 군 $G = \mathrm{MT}(\widetilde{S})$ 를 사용하여 섬유의 기하학과 Betti 맵의 행동을 분석한다.
• 차원 상한에 기반한 모순 추론을 사용하여 Betti 맵의 낮은 질량 행동을 배제한다.

실험 결과

연구 질문

• RQ1 쿠가 유형의 혼합 쇼이마 다양체, 예를 들어 보편 아벨 다양체의 맥락에서 Ax-Schanuel 정리의 적절한 공식화는 무엇인가?
• RQ2 혼합 Ax-Schanuel 정리는 아벨 스킴에서 Betti 맵의 일반적인 질량을 제어하는 데 사용될 수 있는가?
• RQ3 어떤 조건에서 아벨 스킴의 다중단면에서 Betti 맵이 최대 질량 $2g$ 를 갖는가?
• RQ4 부분다양체의 이중대칭 구조는 그 균형화 상승의 자리스키 폐쇄와 어떻게 관련되는가?
• RQ5 고정 부분이 없는 아벨 스킴의 맥락에서 혼합 Ax-Schanuel 정리로부터 유도되는 유한성 성질은 무엇인가?

주요 결과

• 혼합 Ax-Schanuel 정리가 성립한다: 보편 가속도 내의 해석적 부분다양체 $\mathscr{Z}$ 에 대해 $\dim \mathscr{Z}^{\mathrm{Zar}} - \dim \mathscr{Z} \geq \dim Z^{\mathrm{biZar}}$ 이다.
• 예외적으로, $\mathscr{Z}$ 의 사영 $\widetilde{Z}$ 가 $\widetilde{Z}^{\mathrm{Zar}} \cap \mathbf{u}^{-1}(Z^{\mathrm{Zar}})$ 의 복소 해석적 성분일 경우 등호가 성립한다.
• 이 정리는 모듈리 공간 $\mathbb{A}_g$ 에 대한 순수 Ax-Schanuel 정리를 함의한다.
• Betti 맵은 $\dim \xi(S) \geq g$ 를 만족하고 $\mathbb{Z}\xi$ 가 자리스키 밀도이며 스킴이 고정 부분이 없는 한, 임의의 다중단면 $\xi(S)$ 에서 최대 일반 질량 $2g$ 를 갖는다.
• Betti 맵의 질량이 $2g$ 미만이면, 이는 자리스키 폐쇄의 차원이 $\dim S$ 를 초과하는 것으로 이어지며, 이는 불가능하므로 모순이 발생한다.
• 이 결과는 표준 가정 하에 André-Corvaja-Zannier의 Betti 맵의 일반 질량에 대한 추측을 확인한다.