[논문 리뷰] 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|2005. 07. 07.

Algebraic Geometry and Number Theory참고 문헌 65인용 수 79

한 줄 요약

이 논문은 선형 대수적 군에 대한 불변체의 유리성 문제를 조사하며, 특히 비분기 브라우어 군이 유리성의 장애물로 작용하는 데 초점을 맞춘다. 유한 부분군, 특히 유한 이이클릭 부분군을 사용하여 이러한 불변체의 비분기 브라우어 군을 계산하는 일반 공식을 수립하고, 단순 연결된 군의 연결 부분군에 대한 몫에 대해 이 군의 소멸성을 증명함으로써 기하학적 불변 이론에서 비유리성을 탐지하는 데 핵심적인 도구를 제공한다.

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).

연구 동기 및 목표

• 선형 대수적 군에 대한 불변체의 장기적인 유리성 문제를 다루며, 특히 군이 재수성 또는 유한일 경우에 중점을 둔다.
• 비분기 브라우어 군이 불변체의 유리성 장애물로 작용하는 방식을 분석한다.
• 특히 유한 이이클릭 부분군을 포함한 유한 부분군을 사용하여 비분기 브라우어 군에 대한 일반적인 계산 프레임워크를 제공한다.
• 샐트먼과 보고몰로프의 유한군 작용 하에서의 비유리 불변체에 대한 결과를 확장하고 명확화한다.
• 단순 연결된 군 $ G $와 연결된 부분군 $ H $에 대해 몫 필드 $ k(G/H) $의 비분기 브라우어 군의 소멸성을 증명한다.

제안 방법

• 거의 자유 작용에 대한 유리성 문제를 군의 구조로만 줄이기 위해 '이름 없는 보조정리'를 적용한다.
• 슬라이스 방법을 사용하여 군 $ G $에 대한 불변체를 더 작은 군 $ H $에 대한 불변체와 연결함으로써 분석을 단순화한다.
• 특히 단순 연결된 $ G $에 대해 분류공간 $ BH $, $ BG $, $ G/H $의 코homology를 연결하기 위해 스펙트럴 시퀀스와 호모토피 이론 기법을 사용한다.
• 특히 재수성 또는 유한인 $ G $에 대해, $ k(V)^G $의 비분기 브라우어 군에 대한 일반 공식을 도출한다. 이 공식은 $ G $의 유한 이이클릭 부분군에 기반한다.
• 단순 연결된 $ G $에 대해 $ H^1(G, \mathbb{Q}/\mathbb{Z}) $ 및 $ H^2(G, \mathbb{Q}/\mathbb{Z}) $의 소멸성과 유니버설 계수 정리를 적용하여 코homology의 동형을 유도한다.
• 피브레이션과 스펙트럴 시퀀스를 사용하여 $ G/H $와 $ BH $의 코homology를 비교하며, 자연스러운 사상 $ H^2(BH, \mathbb{Q}/\mathbb{Z}) \to H^2(G/H, \mathbb{Q}/\mathbb{Z}) $ 가 동형임을 보인다.

실험 결과

연구 질문

• RQ1 재수성 군 $ G $가 벡터 공간 $ V $에 거의 자유롭게 작용할 때, 불변체 필드 $ k(V)^G $ 가 $ k $ 위에서 순수 추상적 확장인가?
• RQ2 선형 대수적 군에 대한 불변체 필드에서 비분기 브라우어 군이 유리성의 장애물로 어떻게 작용하는가?
• RQ3 $ k(V)^G $의 비분기 브라우어 군은 $ G $의 유한 부분군, 특히 유한 이이클릭 부분군을 사용하여 명시적으로 계산할 수 있는가?
• RQ4 군 $ G $가 단순 연결이고 $ H $가 연결되어 있을 때, $ k(G/H) $에 대해 비분기 브라우어 군의 소멸성이 성립하는가? 이는 $ G $가 단순 연결이 아닐 경우에도 성립하는가?
• RQ5 곱셈적 또는 변형된 곱셈적 불변체는 어느 정도 선형 불변체의 유한군에 의해 환원될 수 있으며, 이는 유리성에 대해 어떤 의미를 갖는가?

주요 결과

• 필드 $ k $ 위에서 순수 추상적 확장에 대한 비분기 브라우어 군은 자명하며, 이는 유리성의 필요 조건을 제공한다.
• 유한 군 $ G $에 대해 $ k(V)^G $의 비분기 브라우어 군은 유한 이이클릭 부분군의 코homology를 포함하는 사상의 핵과 동형이며, 이는 명시적 계산을 가능하게 한다.
• 단순 연결된 군 $ G $와 연결된 부분군 $ H $에 대해 $ k(G/H) $의 비분기 브라우어 군은 스펙트럴 시퀀스와 코homological 동형을 통해 소멸됨을 보였다.
• 단순 연결된 군 $ 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 $의 브라우어 군이 $ BH $의 브라우어 군과 동형임을 의미한다.
• 논문은 단순 연결된 군 $ G $와 연결된 부분군 $ H $에 대해 $ G/H $의 비분기 브라우어 군의 소멸성을 피브레이션과 스펙트럴 시퀀스를 사용하여 새롭게 증명하였으며, 이 경우 장애물의 소멸을 보였다.