栈上G-丛的扩张与提升及其在\(\mathbb{P}\)1k上G-丛分类与过滤纤维函子分裂中的应用

《Journal of the Institute of Mathematics of Jussieu》：EXTENSION AND LIFTING OF G-BUNDLES FOR STACKS

　　

研究人员研究群代数空间（group algebraic spaces）的丛栈（stacks of bundles）的态射（morphisms）的扩张性质（extension properties）。应用包括：对单位分量（identity component）为约化（reductive）的仿射光滑群概型（affine smooth group schemes），给出射影直线（projective line）上丛分类（classification of bundles）的一个简短证明；以及定义在仿射概型（affine schemes）上的仿射光滑群概型（affine smooth group schemes）的过滤纤维函子（filtered fibre functors）分裂（splittings）的存在性。

研究背景与问题。论文研究 G-丛（G-bundle）在栈（stack）态射下的扩张与提升。设 S 为代数空间，G 为 S 上群代数空间（group algebraic space）。以 Bun_G(\(\mathcal X\)) 表示 \(\mathcal X\) 上 G-丛的 groupoid，以 H¹(\(\mathcal X\),G) 表示同构类集合，\(\mathbb{B}\)G 为分类栈（classifying stack）。核心问题是：对栈态射 f: \(\mathcal Y\)→\(\mathcal X\)，拉回函子 f^*: Bun_G(\(\mathcal X\))→Bun_G(\(\mathcal Y\)) 何时全忠实或等价；当 f 为闭浸入时，f^* 在同构类上何时满射或双射。历史上，\(\mathbb{P}\)¹_k 上 G-丛分类已有 Grothendieck、Harder、Biswas 与 Nagaraj、Anschütz 等工作，但本文关注的是方法：绕开 Harder–Narasimhan 分层和 \(\mathbb{P}\)¹_k 向量丛分类，通过商栈图示证明。研究人员得到限制全忠实、扩张判据、Hensel 对提升等结果，并推出射影直线上 G-丛分类的新证明以及过滤纤维函子分裂。其意义在于给出更简洁的证明，适用于非连通群，并把 Tannakian 型分裂结果推广到一般环。

关键技术方法（不超过250字）。研究人员在 fpqc 拓扑（faithfully flat and quasi-compact topology）下形式化 prestack、栈与商栈 [G\X]；利用 Tonini 的 Tannakian 等价，把 G-丛等同于精确强幺半函子；使用 Alper–Hall–Rydh 关于 henselian pair 与 good moduli space 的结果；通过几何约化群嵌入 \(\operatorname{GL}\)_m，把 G-丛扩张化归为向量丛扩张；引用 Auslander–Buchsbaum 定理、Seesaw 定理和分次 Nakayama 引理；最后用 Tannakian 纤维函子语言。无样本队列来源。

研究结果。1 商栈与栈上G-丛的预备。1.1 fpqc 拓扑下的商栈：建立 fpqc 层、可及预层、sheafification 左伴随，定义 [G\X] 与分类栈。1.2 栈上 G-丛：定义 Bun_G(\(\mathcal X\))=Hom_S(\(\mathcal X\),\(\mathbb{B}\)G)，H¹；命题1.6 在 \(\mathbb{B}\)G 有 resolution property 时，Bun_G(\(\mathcal X\)) 等价于精确强幺半函子 Rep(G)→Vec(\(\mathcal X\))。1.3 分类栈上的 G-丛：引理1.8 描述 \(\mathbb{B}\)H→\(\mathcal X\) 为 (x,φ)；Remark1.9 描述 Hom_S(\(\mathbb{B}\)H,\(\mathbb{B}\)G) 为 (P,μ: H→Aut_G(P))；命题1.10 在 H⁰ 为抛物子群等条件下，\(\underline{\operatorname{Bun}}\)_G(\(\mathbb{B}\)H) 为代数栈，限制到极大环面或抛物子群为仿射或开浸入。2 G-丛的限制与扩张。2.1 限制的全忠实性：命题2.1 在 f_*O_U=O_X 下，准仿射或仿射 g 的截面至多或唯一延拓；命题2.4 若 G 平坦仿射，f^*: Vec 和 Bun_G 全忠实。2.2 G-丛的扩张：命题2.5 给出 fpqc 局部判据；向量丛 F 在本质像中当且仅当 f_*F 为向量丛且 f^*f_*F?F；G-丛 P 若经嵌入 ι:G→H 且 H-丛在像中，则 P 在像中。命题2.9 处理开浸入 U→X 的商栈：在 O_X=j_*O_U 下全忠实；在 noetherian 正则维数≤2、余维2、G 为约化群扩张有限 étale 时等价。命题2.10 对 proper、flat、有限 presentation、几何连通约化纤维 f，若 G 几何约化可嵌入 \(\operatorname{GL}\)，则 f^* 全忠实，纤维平凡条件给出本质满。3 G-丛的提升。3.1 连通分支与闭开子集：命题3.3 对 spectral 空间 f，OC(Y)→OC(X) 双射当且仅当 \(\pi\)₀(f) 双射，当且仅当同胚。3.2 代数栈的 Hensel 对：命题3.6 给出等价条件；定义3.7；定理3.11 在 H 乘性类型且基变换可对角化、作用仿射 \(\tilde X\) 时，若 (X,Z)=(Spec B^H,Spec(B/I)^H) 为 henselian 对，则任意 \(\mathcal Z\)→\(\mathcal G\) 可延拓到 \(\mathcal X\)→\(\mathcal G\)；G 光滑准仿射时唯一到 2-同构，得到 H¹(\(\mathcal X\),G)?H¹(\(\mathcal Z\),G)，平坦准仿射有限 presentation 时满射。3.3 用分次代数重新表述：Cor3.14 若 M 有限生成且 (B₀,I₀) henselian，限制函子本质满或全，H¹ 满或双射；Example3.15 若 B 非负分次，I=正次数，则 H¹([\(\mathbb{G}\)_m\Spec B],G)?H¹(\(\mathbb{B}\mathbb{G}\)_m,B0,G)；Remark3.16 讨论固定点。3.4 对角化群商栈上向量丛提升：Theorem3.20 在 I_m=B_m(m≠0) 且 (B₀,I₀) henselian 时，β 本质满、全、反映同构，α、β 诱导同构类双射。4 主要定理的应用。4.1 \(\mathbb{G}\)_m 分类栈上的 G-丛：给出 Bun_G(\(\mathbb{B}\mathbb{G}\)_m) 为 pairs (P,μ)，μ 为强内形 cocharacter；Tannakian 描述为 graded fibre functors。4.2 射影直线上 G-丛分类：定理4.2 得 H¹(\(\mathbb{B}\mathbb{G}\)_m,k,G)?H¹(\(\mathbb{P}\)¹_k,G)，G 仿射光滑且 G⁰ 约化；Remark4.3 给出显式描述；Prop4.4 说明 Zariski 局部平凡当且仅当 P 平凡，当且仅当 x^*E 平凡；Cor4.5 给 cocharacter λ；Remark4.6 对有限 étale G 得 \(\pi\)₁(\(\mathbb{P}\)¹_k)?Gal(k^sep/k)。4.3 过滤纤维函子的分裂：Cor4.7 每个 filtered fibre functor 可分裂为 graded fibre functor，唯一到同构；Remark4.8 说明光滑性对唯一性必要，Saavedra Rivano 给出非光滑反例。

讨论部分总结。论文强调其方法避免 Harder–Narasimhan 分层，给出射影直线上 G-丛分类的简洁证明；该策略后被 Bouthier, ?esnavi?ius and Scavia 进一步扩展至更一般光滑 k-群情形。研究结论部分翻译：研究人员研究群代数空间（group algebraic spaces）的丛栈（stacks of bundles）态射（morphisms）的扩张性质（extension properties）。应用包括：对单位分量（identity component）为约化（reductive）的仿射光滑群概型（affine smooth group schemes），给出射影直线（projective line）上丛分类（classification of bundles）的简短证明；以及证明定义在仿射概型（affine schemes）上的仿射光滑群概型（affine smooth group schemes）的过滤纤维函子（filtered fibre functors）分裂（splittings）的存在性。