[论文解读] Groupe de Brauer non ramifié algébrique des espaces homogènes (The unramified algebraic Brauer group of homogeneous spaces)

Giancarlo Lucchini Arteche|arXiv (Cornell University)|Dec 11, 2013

Algebraic Geometry and Number Theory参考文献 5被引用 3

一句话总结

本文为有限域和特征零域上，当 $G'$ 是单连通半单群时，给出了齐次空间 $V = G\backslash G'$ 的无分歧代数 Brauer 群的显式公式。通过将稳定子群 $G$ 的 Galois 上同调约化为有限子商群的上同调，作者证明 Brauer 群完全由由其分支群和极大环面的 $m$-挠群构造出的有限子群决定，从而将早期结果推广至非连通稳定子的情形。

ABSTRACT

Using a reduction of the Galois cohomology of a linear algebraic group $G$ to that of a certain finite subquotient, we give different formulas allowing the calculation of the unramified algebraic Brauer group of a homogeneous space $V=G\backslash G'$ with $G'$ semisimple and simply connected, both over a finite field and over an arbitrary field of characteristic $0$.

研究动机与目标

• 将现有关于齐次空间无分歧代数 Brauer 群的公式扩展至任意稳定子群的情形，而不仅限于有限或阿贝尔群。
• 通过证明 Brauer 群仅依赖于稳定子的有限子商群，解决非连通稳定子的情形。
• 建立一种使用 Galois 上同调约化至有限群的通用方法，以计算 $\mathrm{Br}_{\mathrm{nr,al}}V$。
• 证明计算 Brauer 群所需的上同调信息可由由分支群和环面挠群构造出的有限子群完全捕获。
• 将 [BDH13] 和 [LA14] 的结果推广至由分裂环面扩张的有限群的稳定子群情形，涵盖一般线性代数群的情形。

提出的方法

• 利用 $G$ 作为有限群 $F$ 与分裂环面 $T$ 的扩张结构，将线性代数群 $G$ 的 Galois 上同调约化为有限子商群的上同调。
• 构造一个有限 $k$-子群 $H \subset G$，使得 $H$ 与 $T^{nd} \to H \to F$ 和 $T \to G \to F$ 构成交换图，其中 $n = |F|$，$d = [L:k]$，$L$ 为 $T$ 的分裂域。
• 使用乘法-by-$m$ 映射 $\phi_m: T \to T$，其中 $m = nd$，并定义 $H$ 为 $H_0$ 与 $\phi_m^{-1}(H_0 \cap T)$ 生成的子群，确保 $H$ 为有限群。
• 证明对所有域扩张 $k' \supset k$，自然映射 $H^1(k', H) \to H^1(k', G)$ 是满射，表明 $H$ 捕获了所有与 Brauer 群相关的 Galois 上同调数据。
• 应用 [CGR08]（命题 3.1）的结果，表明 Brauer 群由该有限子群的上同调决定。
• 将 $\mathrm{Br}_{\mathrm{nr,al}}V$ 的计算约化为有限群的 Galois 上同调，从而在有限域和特征零域上实现显式计算。

实验结果

研究问题

• RQ1 当稳定子 $G$ 非连通且不属于 'ssumult' 类型时，齐次空间 $V = G\backslash G'$ 的无分歧代数 Brauer 群是否可计算？
• RQ2 即使 $G$ 是有限群与分裂环面的扩张，Brauer 群是否仅依赖于其稳定子的有限子商群？
• RQ3 即使在特征零域上，是否可将 $\mathrm{Br}_{\mathrm{nr,al}}V$ 的计算约化为有限群的 Galois 上同调？
• RQ4 给定 $G$ 是有限群 $F$ 与分裂环面 $T$ 的扩张，如何构造一个控制 Brauer 群的有限子群 $H \subset G$？
• RQ5 从 [LA14]（关于有限稳定子）得到的结果，通过上同调约化，能多大程度推广至更一般的稳定子？

主要发现

• 对于稳定子 $G$ 为有限群 $F$（阶 $n$，与特征互素）与分裂环面 $T$ 的扩张的代数群，无分歧代数 Brauer 群 $\mathrm{Br}_{\mathrm{nr,al}}V$ 由有限 $k$-子群 $H \subset G$ 的 Galois 上同调决定。
• 有限子群 $H$ 构造为 $F$ 的提升 $H_0 \subset G$ 与 $T$ 的 $m$-挠群生成的群，其中 $m = nd$，$d = [L:k]$，$L$ 为 $T$ 的分裂域，且 $H$ 满足正合列 $1 \to T^{nd} \to H \to F \to 1$。
• 对所有 $k' \supset k$，映射 $H^1(k', H) \to H^1(k', G)$ 的满射性表明，所有与 Brauer 群相关的 Galois 上同调数据均由 $H$ 捕获，因此 $\mathrm{Br}_{\mathrm{nr,al}}V$ 仅依赖于 $H$。
• 公式以 $H^1(k, H)$ 和 $H^2(k, H)$ 表示，从而将计算约化为有限群上同调。
• 该结果将 [BDH13] 和 [LA14] 的公式推广至稳定子为有限群与分裂环面扩张的情形，涵盖一般线性代数群的情形。
• 该方法在有限域和特征零域上均适用，为这类齐次空间的无分歧代数 Brauer 群提供了统一的计算框架。