[论文解读] On the local-global principle for twists of abelian varieties

Nirvana Coppola, Lorenzo La Porta+1 more|arXiv (Cornell University)|Feb 19, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

该论文提出了一种 Tate–Shafarevich 型的局部全局性阻碍，用于阿贝尔簇在数域上的 m-atic twists，证明在温和假设下该阻碍的有限性，并给出若干几何情形下确保局部全局性成立的准则。

ABSTRACT

This paper investigates the existence of a local-global principle for certain twists of abelian varieties defined over number fields. Our main focus is to determine when, for $m$ a positive integer, locally $m$-atic twists of an abelian variety $A$ over a number field $K$ are globally $m$-atic. We define and study a "Tate-Shafarevich cohomology set" that governs the obstruction to the local-global principle for $m$-atic twists. We prove that, under some mild assumptions, this set is finite, and give criteria for it to be trivial, i.e. for the local-global principle to be satisfied.

研究动机与目标

• 引入并研究数域上的阿贝尔簇的 m-atic twists 及相关的局部-全局问题。
• 定义控制 twists 的局部-全局性阻碍的 Selmer 集和 Tate–Shafarevich 集。
• 在温和假设下证明 Sha_m(GK, DL×) 的有限性，并推导确保消失（即局部-全局性成立）的条件。
• 分析特定情形：几何上简单的 A 及自同态代数可交换的情况，以及 μm ⊂ D× 的情形；给出明确的应用与示例。

提出的方法

• 建立同调框架： twists 对应于 im(H^1(GK, μm) → H^1(GK, DL×))，在 Assumption 1.1 下。
• 定义并研究 Selmer_m(GK, DL×) 与 Sha_m(GK,DL×)，作为来自伽罗瓦上同调的交换图中的核，捕捉局部到全局的阻碍。
• 证明 Sha_m(GK,DL×) 的有限性，情况包括：(i) 对所有 χ，H^1(G, DL×) 型有限性；(ii) DL 可交换；(iii) infl_G/GK: H^2(G, μm) → H^2(GK, μm) 的单射性。
• 利用 Faltings 的有限性结果、Chebotarev 密度定理和 Brauer–Nesbitt 将 twists 与伽罗瓦表示相关联，并展示在何时局部数据能拼接成全局 twists。
• 通过 ℓ-進 Tate 模及中心化子的发展来给出 twists 的表示理论描述，将 Selmer 元与局部条件联系起来。
• 推导具体准则（定理 4.2、定理 3.4、推论），确保在几何设置下局部-全局性成立。

实验结果

研究问题

• RQ1 数域上的局部为 m-atic 的 A 的 twists 何时来自全局的 m-atic twist？
• RQ2 在何种条件下 Sha_m(GK, DL×) 是有限的，以及何时会消失？
• RQ3 End(A) 的性质和 DL 的自同构代数的性质（如可交换性、μm ⊂ DL×）如何影响局部-全局性？
• RQ4 对几何情形的有效准则（如 μm ⊂ D× 或 DL 可交换）有哪些，可确保 (A,m) 的局部-全局性？
• RQ5 有哪些具体实例（如 CM 情况、带 Fermat 型因子的雅各比 Jacobians）能说明该原理及其失败之处？

主要发现

• 局部-全局性阻碍由指向集合 Sha_m(GK, DL×) 捕获；若 Sha_m 为平凡，则原理成立。
• Sha_m(GK, DL×) 在若干条件下有限： (i) H^1(G, DL×) 型有限性，(ii) DL 可交换，(iii) infl: H^2(G, μm) → H^2(GK, μm) 的单射性。
• 在几何上简单且 DL 可交换 的情形，对所有奇数 m ≥ 3，当 μm^G = 1 时局部-全局性成立（定理 3.4）。
• 若 μm ⊂ D× 且维数 g ≤ 8，或更一般地当 (m, d) = 1 且 d = 2dim(A)/[Z:Q]（Z 为中心）时，局部-全局性成立（定理 4.2 及推论 5.1）。
• 当 D 为 CM 向域（或 D 为可交换）时，Hilbert 90 与相关表示理论论证在许多 CM 类或小维情形下得到 LGP（推论与示例）。
• 应用包括带 CM 的椭圆曲线（E 具有虚数二次域的 CM）以及带 Fermat 型因子的 Jacobians Jn，在奇数 m ≥ 3 的情形下局部-全局性得到验证。