[论文解读] Une formule pour le groupe de Brauer algébrique d'un torseur

Cyril Demarche|arXiv (Cornell University)|Nov 23, 2010

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文建立了纤维丛的代数布雷尔群与伽罗瓦模的三重复形的上同调之间的典范同构，将 Borovoi 和 van Hamel 的先前结果推广至非线性代数群，并纳入了超越布雷尔元素。关键贡献是给出了在特征零域上，连通代数群作用下的齐次空间的代数布雷尔群的显式公式，该公式利用了稳定子子群的约化与单连通子群的特征模。

ABSTRACT

For a homogeneous space X of a connected algebraic group G (with connected stabilizers) over a field k of characteristic zero, we construct a canonical complex of Galois modules of length 3 and a canonical isomorphism between an hypercohomology group of this complex and an explicit subgroup of the Brauer group of X. This result is obtained as a consequence of a formula describing the "algebraic Brauer group of a torsor", and it generalizes recent results by Borovoi and van Hamel, by considering non-linear groups G and by taking into account some transcendental elements in the Brauer group of X.

研究动机与目标

• 提供特征零域上连通代数群作用下齐次空间的代数布雷尔群的显式描述。
• 将 Borovoi 和 van Hamel 的先前结果（仅限线性群）推广至非线性代数群。
• 通过引入一个细化子群 Br₁(X,G)，系统地捕捉并描述布雷尔群中的超越元素。
• 构造一个伽罗瓦模的典范复形，其上同调计算 Brₐ(X,G)，即 Br₁(X,G) 对 Br(k) 的商群。
• 通过同调代数与伽罗瓦上同调，统一并推广现有关于代数群及其齐次空间布雷尔群的结果。

提出的方法

• 利用稳定子子群的约化与单连通覆盖的特征模，定义伽罗瓦模复形 Ĉ_X。
• 通过有理点诱导的自然态射 π: G̅ → X̅，将子群 Br₁(X,G) ⊆ Br(X) 定义为复合映射 Br(X) → Br(X̅) → Br(G̅) 的核。
• 构造两种版本的复形：在假设 Pic(G̅) = 0 下，使用 Z̅_H^red 和 Z̅_H^sc；在 X(k) ≠ ∅ 条件下，使用 G、G^sc 和 H 的最大环面。
• 应用上同调 H²(k, Ĉ_X) 计算代数布雷尔群，证明在适当条件下与 Brₐ(X,G) 同构。
• 利用代数群的已知结果（如 Chevalley 的结构定理）将 G 分解为线性部分与阿贝尔部分，从而可使用特征模。
• 通过 Brₐ(X,G) 与 H²(k, Ĉ_X) 之间的典范同构，将 X 的算术性质与所构造复形的伽罗瓦上同调联系起来。

实验结果

研究问题

• RQ1 当 G 不一定是线性群时，如何用伽罗瓦上同调描述连通代数群 G 作用下齐次空间 X 的代数布雷尔群？
• RQ2 稳定子子群 H 在确定 X 的布雷尔群中起什么作用，特别是当 H 不是线性群时？
• RQ3 能否通过上同调构造系统地捕捉并描述 X 的布雷尔群中的超越元素？
• RQ4 在何种条件下，伽罗瓦模三重复形的上同调能计算代数布雷尔群 Brₐ(X,G)？
• RQ5 新构造的伽罗瓦模复形与早期构造（如 UPic(X̅) 或线性情形下的 Picard 复形）有何关系？

主要发现

• 本文构造了一个伽罗瓦模的典范三重复形 Ĉ_X，当 X(k) ≠ ∅ 时，其上同调 H²(k, Ĉ_X) 计算代数布雷尔群 Brₐ(X,G)。
• 在假设 Pic(G̅) = 0 下，复形为 Ĉ_X = [Ĝ → Ẑ_H^red → Ẑ_H^sc]，且当 X(k) ≠ ∅ 或 H³(k, Gₘ) = 0 时，H²(k, Ĉ_X) 同构于 Brₐ(X,G)。
• 当 X(k) ≠ ∅ 时，复形变为 Ĉ'_X = [T̂_G → Pic(G̅^ab) ⊕ T̂_G^sc ⊕ T̂_H → T̂_H^sc]，且 H²(k, Ĉ'_X) 与 Brₐ(X,G) 之间存在典范同构。
• 该构造推广了 Sansuc 对环面与半单群的公式，并将 Borovoi–van Hamel 的结果扩展至非线性群。
• 通过将 Br₁(X,G) 定义为 Br(X) 的子群（包含 Br₁(X) 且可能严格更大），该结果纳入了超越布雷尔元素。
• 当 H³(k, Gₘ) = 0 时，同构成立，该条件在整体域、p 进域，或 X 允许次数为 1 的零循环时成立。