[论文解读] R'esolutions flasques des groupes lin'eaires connexes

Jean-Louis Colliot-Thélène|ArXiv.org|Sep 19, 2006

Autoimmune and Inflammatory DisordersMedicine被引用 17

一句话总结

本文为域上连通的半单代数群引入了弗拉斯基配景（flasque resolutions），将其表示为商群 $ G = H/S $，其中 $ H $ 是一个由基本单群的万有覆叠扩张一个拟平凡环面得到的群，而 $ S $ 是 $ H $ 中中心化的弗拉斯基环面。其核心贡献在于，通过这些配景，发展了一种函子性、无选择的伽罗瓦上同调及相关不变量（如光滑紧化下的布饶尔群与 $ R $-等价类）的研究方法，该方法简化并统一了数域与局部域上已知的结果。

ABSTRACT

A connected reductive group G over a field k may be written as a quotient H/S, where the k-group H is an extension of a quasitrivial torus by a simply connected semisimple group, and S is a flasque k-torus, central in H (a flasque torus is a torus whose cocharacter group is an H^1-trivial Galois lattice). The flasque torus S is well-defined up to multiplication by a quasitrivial torus. Such presentations G=H/S lead to a simplified approach of the Galois cohomology of G and of related objects, such as the Brauer group of a smooth compactification of G. When k is a number field, one also recovers known formulas, in terms of S, for the quotient of the group of rational points by R-equivalence, and for the abelian groups which measure the lack of weak approximation and the failure of the Hasse principle for principal homogeneous spaces.

研究动机与目标

• 为研究域上连通半单代数群的伽罗瓦上同调，发展一种新的系统性方法。
• 以更灵活、内在的弗拉斯基环面构造取代博罗瓦伊（Borovoi）、桑苏克（Sansuc）、科特维茨（Kottwitz）等人所依赖的最大环面与复环面配景的方法。
• 为计算诸如光滑紧化下的布饶尔群与商群 $ G(k)/R $ 等不变量提供统一框架，尤其适用于数域。
• 通过弗拉斯基配景，独立于早期构造，提出代数基本群 $ \pi_1(G) $ 的新定义。
• 证明弗拉斯基配景在伽罗瓦上同调中产生函子性与典范性结果，特别是在弱逼近与哈塞原理的背景下。

提出的方法

• 构造一个配景 $ 1 \to S \to H \to G \to 1 $，其中 $ H $ 是一个由 $ G^{\mathrm{der}} $ 的万有覆叠扩张一个拟平凡环面得到的群，而 $ S $ 是 $ H $ 中中心化的弗拉斯基 $ k $-环面。
• 利用 $ S $ 的弗拉斯基性质——即其共特征模是 $ H^1 $-平凡的——以简化伽罗瓦上同调的计算。
• 将代数基本群 $ \pi_1(G) $ 定义为弗拉斯基环面 $ S $ 的共特征模，该定义独立于最大环面的选择。
• 将光滑紧化 $ G $ 的布饶尔群与弗拉斯基环面 $ S $ 关联，提供两个等价公式：一个以 $ S $ 表示，一个以 $ \pi_1(G) $ 表示。
• 应用该配景于全局与局部域上，计算 $ G(k)/R $ 与 $ H^1(k, G) $，并利用关于单连通群的已知结果（克内泽、哈德勒、切尔纽索夫）。
• 建立博罗瓦伊的环面子复形与弗拉斯基配景导出复形之间的拟同构，证明两种方法等价，且不依赖于最大环面的选择。

实验结果

研究问题

• RQ1 能否构造一个独立于最大环面选择的、关于连通半单群 $ G $ 的典范、无选择的弗拉斯基配景？
• RQ2 弗拉斯基配景在简化伽罗瓦上同调计算（尤其是 $ H^1(k, G) $ 与光滑紧化下的布饶尔群）方面有何作用？
• RQ3 弗拉斯基配景与代数基本群 $ \pi_1(G) $ 之间存在何种关系？该定义与博罗瓦伊或梅尔库罗夫的定义相比有何异同？
• RQ4 弗拉斯基配景在多大程度上能恢复数域上主齐性空间的 $ R $-等价、弱逼近与哈塞原理的已知结果？
• RQ5 群 $ G $ 的上同调不变量（如布饶尔群与 $ G(k)/R $）能否以函子性方式用配景中的弗拉斯基环面 $ S $ 表示？

主要发现

• 对任意域 $ k $ 上的连通半单代数群 $ G $，存在弗拉斯基配景 $ 1 \to S \to H \to G \to 1 $，其中 $ H $ 是由 $ G^{\mathrm{der}} $ 的单连通覆叠扩张一个拟平凡环面得到的群，而 $ S $ 是 $ H $ 中中心化的弗拉斯基 $ k $-环面。
• 弗拉斯基环面 $ S $ 在乘以一个拟平凡环面的意义下唯一确定，使其成为 $ G $ 的典范不变量。
• 光滑紧化 $ G $ 的布饶尔群同构于 $ H^1(k, S) $，也同构于 $ H^1(k, \pi_1(G)) $，从而提供两个等价公式。
• 在数域上，有理点模 $ R $-等价的商群 $ G(k)/R $ 同构于 $ H^1(k, S) $，该结果通过新方法得以恢复。
• 对分类主齐性空间的上同调 $ H^1(k, G) $，通过配景进行计算，其结果与桑苏克、科特维茨、博罗瓦伊及吉勒的结论一致。
• 弗拉斯基配景方法与博罗瓦伊的环面子复形等价，但避免了最大环面选择与复配景，提供更直接、更函子性的框架。