Level structures on abelian varieties, Kodaira dimensions, and Lang's conjecture
Abramovich, Várilly-Alvarado · math.AG,math.NT · 2016-11-13 · 原文
Assuming Lang's conjecture, we prove that for a fixed prime p, number field K, and positive integer g, there is an integer r such that no principally polarized abelian variety A/K of dimension g has full level p^r structure. To this end, we use a result of Zuo to prove that for each closed subvariety X in the moduli space \mathcal{A}_g of principally polarized abelian varieties of dimension g, there exists a level m_X such that the irreducible components of the preimage of X in \mathcal{A}_g^{[m]} are of general type for m > m_X.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
Assuming Lang's conjecture, we prove that for a fixed prime p, number field K, and positive integer g, there is an integer r such that no principally polarized abelian variety A/K of dimension g has full level p^r structure.
To this end, we use a result of Zuo to prove that for each closed subvariety X in the moduli space \mathcal{A}_g of principally polarized abelian varieties of dimension g, there exists a level m_X such that the irreducible components of the preimage of X in \mathcal{A}_g^{[m]} are of general type for m > m_X.
2. 领域脉络
本文类目：math.AG、math.NT，属于其所在研究脉络的最新进展。
3. 机制拆解
摘要未展开方法细节——精读时重点看方法/模型部分。
4. 证据与数字
摘要未给出量化结果——留意原文的实验与数据。
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
横跨 2 个类目（math.AG、math.NT），关注其在你兴趣板块间的迁移面。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。