[论文解读] The rationality problem for fields of invariants under linear algebraic groups (with special regards to the Brauer group)

Jean-Louis Colliot-Thélène, Jean-Jacques Sansuc|ArXiv.org|Jul 7, 2005

Algebraic Geometry and Number Theory参考文献 65被引用 79

一句话总结

本文研究了线性代数群作用下不变域的有理性问题，重点关注无枝Brauer群作为有理性障碍的作用。通过有限子群，特别是有限双循环子群，建立了一个计算此类不变域无枝Brauer群的一般公式，并证明了当群$ G $是单连通群且$ H $是连通子群时，该群的消失性，为几何不变理论中检测非有理性提供了关键工具。

ABSTRACT

This is a survey on the ancient question : Let G be a reductive group over an algebraically closed field k and let V be a vector space over k with an almost free linear action of G on V. Let k(V) denote the field of rational functions on V. Is the subfield of G-invariants of k(V) purely transcendental over k ? For G connected, this is still an open question. After a discussion of general matters (various notions of rationality, various notions of quotients, the no-name lemma), we consider several specific groups G. We then discuss the unramified Brauer group of a function field and describe the work of Saltman and of Bogomolov, leading to computations of the unramified Brauer group of fields of G-invariants. The text is a thoroughly revised version of a text distributed at the 9th latino-american school (Santiago de Chile, July 1988), various versions of which had been circulated over the years. ----- Soient k un corps alg'ebriquement clos, V un espace vectoriel sur k et G un groupe r'eductif connexe sur k agissant lin'eairement sur V. Supposons l'action g'en'eriquement libre. Le sous-corps des G-invariants du corps des fonctions rationnelles k(V) est-il transcendant pur ? Le pr'esent texte est un rapport g'en'eral sur cette vieille question, encore ouverte lorsque G est connexe. On d'ecrit en particulier des travaux de Saltman et de Bogomolov sur le groupe de Brauer non ramifi'e des corps de G-invariants. Ce texte est une version tr`es remani'ee d'un texte distribu'e `a la neuvi`eme 'ecole d''et'e latino-am'ericaine (Santiago de Chile, Juillet 1988).

研究动机与目标

• 解决线性代数群作用下不变域有理性问题这一长期悬而未决的问题，特别是当群为半单或有限群时。
• 分析无枝Brauer群在不变域中作为有理性障碍的作用。
• 为无枝Brauer群提供一个基于有限子群（特别是有限双循环子群）的一般计算框架。
• 扩展并澄清Saltman与Bogomolov关于非有理不变域结果，尤其在有限群作用的背景下。
• 证明当$ G $为单连通群且$ H $为连通子群时，商域$ k(G/H) $的无枝Brauer群消失。

提出的方法

• 应用'无名引理'，将几乎自由作用下的有理性问题简化为仅依赖于群结构的问题。
• 使用截面方法，将群$ G $下的不变量关系到更小群$ H $下的不变量，从而简化分析。
• 运用谱序列与同伦理论技术，关联分类空间$ BH $、$ BG $与$ G/H $的上同调，尤其针对单连通的$ G $。
• 推导出$ k(V)^G $的无枝Brauer群的一般公式，以$ G $的有限双循环子群为表达形式，特别适用于半单或有限群$ G $。
• 应用普遍系数定理，并利用单连通$ G $下$ H^1(G, \mathbb{Q}/\mathbb{Z}) $与$ H^2(G, \mathbb{Q}/\mathbb{Z}) $的消失性，推导出上同调中的同构关系。
• 利用纤维化与谱序列比较$ G/H $与$ BH $的上同调，证明自然映射$ H^2(BH, \mathbb{Q}/\mathbb{Z}) \to H^2(G/H, \mathbb{Q}/\mathbb{Z}) $是同构。

实验结果

研究问题

• RQ1 当半单群$ G $在向量空间$ V $上几乎自由作用时，不变域$ k(V)^G $在$ k $上是否为纯超越扩张？
• RQ2 无枝Brauer群在何种程度上作为线性代数群作用下不变域有理性的障碍？
• RQ3 是否能通过$ G $的有限子群（特别是有限双循环子群）显式计算$ k(V)^G $的无枝Brauer群？
• RQ4 当$ G $为单连通群且$ H $为连通子群时，即使$ G $本身非单连通，$ k(G/H) $的无枝Brauer群是否仍消失？
• RQ5 乘法不变量或扭曲乘法不变量在多大程度上可约化为有限群的线性不变量？这对有理性意味着什么？

主要发现

• 在$ k $上纯超越扩张的无枝Brauer群是平凡的，这为有理性提供了必要条件。
• 对于有限群$ G $，$ k(V)^G $的无枝Brauer群同构于涉及有限双循环子群上同调的映射的核，从而实现显式计算。
• 当$ G $为单连通群且$ H $为连通子群时，$ k(G/H) $的无枝Brauer群消失，该结论通过谱序列与上同调同构关系得以证明。
• 单连通$ G $下$ H^1(G, \mathbb{Q}/\mathbb{Z}) $与$ H^2(G, \mathbb{Q}/\mathbb{Z}) $的消失性在建立谱序列中的同构关系中起着关键作用。
• 当$ G $为单连通群且$ H $为连通子群时，自然映射$ H^2(BH, \mathbb{Q}/\mathbb{Z}) \to H^2(G/H, \mathbb{Q}/\mathbb{Z}) $是同构，意味着$ G/H $的Brauer群同构于$ BH $的Brauer群。
• 本文通过纤维化与谱序列，为$ G $单连通且$ H $连通时$ G/H $的无枝Brauer群消失提供了新证明，并表明在此情形下障碍确实消失。