[论文解读] Bruhat strata and F-zips with additional structures

Torsten Wedhorn|arXiv (Cornell University)|Feb 27, 2013

Advanced Algebra and Geometry参考文献 7被引用 9

一句话总结

本文在具有附加结构的半单群上建立了布伦特分层与F-zip不变量之间的几何桥梁，特别将该框架应用于有限域上K3曲面的第二德雷姆上同调。论文构造了从带有G-结构的F-zip堆栈到布伦特堆栈的光滑态射，表明布伦特分层细化了zip分层，并显式分类了有限域上p-主极化K3曲面上的三个布伦特分层。

ABSTRACT

In this paper we study the Bruhat decomposition of not necessarily connected reductive quasi-split groups $G$ with respect to not necessarily connected parabolic subgroups. If $G$ is defined over a finite field, we construct a smooth morphism from the stack classifying $F$-zips with $G$-structure to the stack classifying the generalized Bruhat cells and study the relation between the resulting stratifications. We apply these general results to the twisted orthogonal $F$-zip given by the second De Rham cohomology of a relative surface, focussing on K3-surfaces.

研究动机与目标

• 将布伦特分解推广到未必连通的半单拟分裂群及其抛物子群。
• 从带有固定类型μ的G-结构F-zip堆栈构造到广义布伦特堆栈的光滑态射。
• 通过该态射关联zip分层（F-zip同构类）与布伦特分层（滤子的相对位置）。
• 将该一般框架应用于相对曲面上的第二德雷姆上同调，特别是带有正交结构的K3曲面。
• 显式确定K3曲面上带有GO(V,b)-结构的F-zip的布伦特分层，表明其恰好由三个分层构成。

提出的方法

• 本文研究了非必然连通的抛物子群$\hat{P}, \hat{Q}$在半单群$\hat{G}$下的商堆栈$[\hat{P}\backslash\hat{G}/\hat{Q}]$，将其定义为布伦特堆栈。
• 构造了一个从固定类型$\mu$的$\hat{G}$-结构F-zip堆栈到布伦特堆栈的光滑态射$\beta$，该态射分类了霍奇滤子与共轭滤子的相对位置。
• 态射$\beta$在底层拓扑空间上诱导一个映射，从而实现zip分层与布伦特分层的比较。
• 对于K3曲面，上 cup 积通过$\operatorname{GO}(V,b)$在$H^2_{\rm DR}(X/S)$上赋予其一个扭曲的正交$F$-zip结构，其中$\dim V = 22$。
• 原始上同调$H'_{\rm prim}(X,\lambda)$给出一个21维的$F$-zip，其带有$\operatorname{GO}(V,b)$-结构，类型为$\underline{n}'$，满足$n'_0 = n'_2 = 1$，$n'_1 = 19$。
• 本文计算了$\operatorname{GO}(V,b)$的布伦特堆栈的拓扑空间，表明其恰好包含三个点：$\operatorname{id}$、$s_1$ 和 $w_1$，分别对应于三个布伦特分层。

实验结果

研究问题

• RQ1 在有限域上的概形上，带有附加G-结构的F-zip的布伦特分层如何细化zip分层？
• RQ2 对于非连通半单群，布伦特堆栈$[\hat{P}\backslash\hat{G}/\hat{Q}]$的拓扑结构如何？
• RQ3 在有限域$\mathbb{F}_p$上K3曲面的第二德雷姆上同调情形下，zip分层与布伦特分层如何关联？
• RQ4 对于p-主极化K3曲面上的$F$-zips，带有$\operatorname{GO}(V,b)$-结构的布伦特分层的显式分类是什么？
• RQ5 F-zip的判别式如何影响模堆栈分解为开与闭子堆栈？

主要发现

• K3曲面上带有$\operatorname{GO}(V,b)$-结构的布伦特堆栈恰好有三个点：$\operatorname{id}$、$s_1$ 和 $w_1$，分别对应于三个可能的布伦特分层。
• 分层$\vphantom{S}^{w_1}S$是开集，其中K3曲面为通常型，此结论由Ogus证明。
• 分层$\vphantom{S}^{\operatorname{id}}S$是闭集，其中K3曲面为Artin不变量为1的超奇异型。
• 完整22维$F$-zip的布伦特分层与21维原始$F$-zip的布伦特分层一致。
• 模堆栈分解为两个开闭子堆栈$S_1$与$S_2$由判别式$-2d \in \mathbb{F}_p^\times / (\mathbb{F}_p^\times)^2$决定，若$-2d$在$\mathbb{F}_p^\times$中为平方，则$S_2 = \emptyset$。
• zip分层与布伦特分层的关系为：$\vphantom{S}^{\operatorname{id}}S = S^{\operatorname{id}} \cup S^{\omega} = S^{\prime\operatorname{id}}$，$\vphantom{S}^{s_1}S = \bigcup_{1 \leq \ell(\xi) \leq 19} S^\xi = \bigcup_{1 \leq \ell(\xi) \leq 18} S^{\prime\xi}$，以及$\vphantom{S}^{w_1}S = S^{t_{20}} \cup S^{t_{20}\omega} = S^{\prime w_1}$。