[论文解读] Serre conjecture II for pseudo-reductive groups

Mac Nam Trung Nguyen|arXiv (Cornell University)|Mar 9, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

该论文将 Serre 第II 猜想推广到拟 reductive 群并证明与经典猜想等价；它得到全局函数域与非归一化局部域上的扭量为零的结果。

ABSTRACT

The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this conjecture to pseudo-reductive groups and prove their equivalence. In particular, we show that every torsor under a pseudo-semisimple, simply connected group over a global function field or a non-archimedean local field always has a rational point.

研究动机与目标

• 推动将 Serre 第II 猜想从半简单单连通群推广到拟 reductive 群。
• 定义拟可约与拟半简单的概念以构建 Serre 第II 猜想的类比。
• 建立经典 Serre 第II 猜想与其拟 reductive 版本之间的等价性。
• 推导全局函数场与非归一化局部场上 H^1 的消去结果。
• 给出拟半简单、单连通群的结构分解以促进证明。

提出的方法

• 使用比较映射 i_G 与最小型类型的概念，为拟 reductive 群 formulates Serre 第II 猜想。
• 通过伽罗瓦降解与标量限制，将普通的绝对拟单简单群简化为标准/奇特/非简化等情况。
• 应用 Shapiro 引理，将 H^1(k, Res_{k'/k}(G')) 与 H^1(k', G') 联系起来。
• 对来自标准、奇特、非简化类型（基础奇特、基础非简化）的绝对拟单简单群进行分类。
• 证明等价性：对所有半单单连通群的消去等价于对所有拟半简单单连通群的消去。

实验结果

研究问题

• RQ1 Serre 第II猜想是否可以从半简单单连通群推广到拟 reductive 群？
• RQ2 经典群的 Serre 第II 猜想是否等价于其拟 reductive 类比？
• RQ3 在什么场域条件下，对拟-半简单、单连通的 k-群 H^1(k, G) 会取到 {∗}？
• RQ4 拟 reductive 群如何分解以简化到绝对拟单简单情况用于共形同调分析？
• RQ5 奇特与非简化结构在不完全字段的扭量同调中起到的作用是什么？

主要发现

• 拟 reductive 群的猜想 II 等价于经典 Serre 第II 猜想（定理 1.2 / 推论 3）。
• 若 k 的 cd≤2 且不完美度≤1，则对每个拟半简单、单连通的 k-群 G，H^1(k, G) = {∗}（推论 1.3）。
• 在非归一化局部场和全局函数场上，拟半简单、单连通的 k-群的 H^1(k, G) = {∗}（推论 1.3）。
• 每个拟半简单、单连通的 k-群，在限制标量后，都是由绝对拟单简单因子构成（定理 3.3 与推论 3.2）。
• 分析归结为要么半简单单连通群，要么基础奇特/基础非简化群，其扭量的平凡性与经典理论相呼应（第 2–3 节）。