[论文解读] Reductification of parahoric group schemes

Arnab Kundu|arXiv (Cornell University)|Mar 5, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

本文表明任何准同态群群方案在经过一个（可能极不乏Ramified的）有限伽罗瓦扩张后通过基变的 reductive 模型及 Weil 限制的伽罗瓦不变量的平滑化而成为可约再同态；并且在良好剩余特征下对准同态扭量给出一个 Grothendieck–Serre 型结论。

ABSTRACT

Parahoric group schemes are certain possibly non-reductive, smooth, affine integral models of reductive group schemes defined over a henselian discretely valued field $K$ whose residue field is perfect. We show that any such group scheme $\mathscr{P}$ becomes reductive, in a particular regard, after a (possibly wildly ramified) finite Galois extension $L/K$. More precisely, we prove that there exists a reductive integral model $\mathscr{G}$ of the base change $\mathscr{P}_L$ such that $\mathscr{P}$ can be recovered as the smoothening of the subgroup of Galois invariants of the Weil restriction of $\mathscr{G}$. Our work extends results of Balaji--Seshadri and Pappas--Rapoport from the tamely ramified and simply-connected semisimple setting. As an application, we establish a parahoric analogue of the Grothendieck--Serre conjecture in sufficiently good residue characteristics. Specifically, we confirm that generically trivial parahoric torsors are trivial whenever the generic reductive group is simply-connected. The proof proceeds by reducing the problem to a statement about a stacky reductive group over a stacky discrete valuation ring.

研究动机与目标

• 将 Grothendieck–Serre 型结果推广到超越还原性的准同态群群方案的动机。
• 建立一个框架，使得准同态群群方案在基变换和不变量平滑化后变为 reductive。
• 给出一个应用：在合适的剩余特征下，准同态的 Grothendieck–Serre 猜想的准同态类比。

提出的方法

• 证明基变后的准同态 P_L 存在一个 reductive 的整模型 G。
• 证明通过 Weil 约束的 G 的伽罗瓦不变量子群的平滑化可以重建 P。
• 将此前对易 ramified 和简单连通的半单群结果推广到更一般的准同态设置。
• 将问题简化为关于叠堆上 reductive 群在叠堆 DVR 上的陈述。

实验结果

研究问题

• RQ1 在半局部基底上的每一个准同态群群方案在泛点处的 Ker(H^1(R, P) → H^1(K, P)) 是否为平凡？
• RQ2 Grothendieck–Serre 风格的结果在多大程度上可以从 reductive 推广到准同态群群方案？
• RQ3 是否可以在一个有限伽罗瓦扩张后构造一个 reductive 的整模型，并通过 Weil-限制的不变量平滑化来恢复原始的准同态？

主要发现

• 存在基变后准同态 P_L 的一个 reductive 整模型 G。
• 原始准同态 P 通过对 G 的 Weil 限制的不变量子群的平滑化来获得。
• 工作将 Balaji–Seshadri 与 Pappas–Rapoport 的结果扩展到更野性的 ramification 与非简单连通的情形。
• 在足够良好剩余特征下，给出一个准同态扭量的 Grothendieck–Serre 类比。
• 证明采用带有堆栈的 reductive 群在带有堆栈 DVR 的堆栈理论方法。