[논문 리뷰] A geometric invariant of a finite group

Torsten Ekedahl|ArXiv.org|2009. 03. 18.

Mathematics and Applications참고 문헌 1인용 수 20

한 줄 요약

이 논문은 유한군의 분류 스택의 그로텐디크 군에서의 동류를 조사하며, 스택적 대칭 거듭제곱에 대한 람다 구조를 통해 대칭군에 대해 이것이 자명하다는 것을 보이고, ℤ/47와 같은 특정 군에 대해서는 불변량 이론과 노에터의 문제에 대한 반례를 통해 비자명성을 증명한다. 이는 분류 스택의 동류가 비분열 브라우어 군과 몫 다양체의 유리성과 연결됨을 보여준다.

ABSTRACT

We study the class of the classifying stack of a finite group in a Grothendieck group of algebraic stacks introduced previously. We show that this class is trivial in a number of examples most notably for all symmetric groups. We also give some examples where it is not trivial. The latter uses counterexamples of Saltman and Swan to the problem of Noether.

연구 동기 및 목표

• 유한군 G에 대해 분류 스택 BG의 동류가 대수적 스택의 그로텐디크 군 K₀(Stckₖ)에서 자명한지 결정하는 것.
• 충실한 G-표현 V에 대해 몫 다양체 V/G의 유리성 또는 안정적으로 비유리성과 BG의 동류 사이의 관계를 탐색하는 것.
• 비분열 브라우어 군과 같은 기하학적 불변량이 K₀(Stckₖ)에서 BG의 동류와 어떻게 관련되는지 조사하는 것.
• 특성 0에서 K₀(Stckₖ)의 람다 구조와 K₀(Spcₖ)의 일반 람다 구조 사이의 연결 고리를 설정하는 것.
• 노에터의 유리성 문제에 대한 살트만과 스완의 반례를 활용하여 {BG} ≠ 1인 명시적 예를 제시하는 것.

제안 방법

• G의 충실한 선형 표현을 사용하여 벡터의 안정자에 의한 분할을 구성함으로써 K₀(Stckₖ)에서 {BG}의 귀납적 계산을 가능하게 하는 것.
• 스택적 대칭 거듭제곱을 통해 정의된 K₀(Stckₖ)의 람다 구조를 적용하며, 이는 대칭군에 대해 {BΣₙ} = 1임을 증명하는 데 핵심적인 역할을 한다.
• K₀(Spcₖ)′ ≅ K₀(Stckₖ)의 동형사상, 여기서 K₀(Spcₖ)′은 K₀(Spcₖ)를 ℒ과 ℒⁿ−1 에서 국소화한 것이며, 스택의 동류를 다양체와 연결하는 데 사용된다.
• 완비화 사상 K₀(Stckₖ) → ˆK₀(Spcₖ)를 사용하여 컴act 지지가 있는 오일러 지표와 코homological 가중치를 통해 BG의 동류를 분석하는 것.
• G ∈ Zar 이면 {BH} = {G/H}{BG} 이고 {G}{BG} = 1 임을 이용하며, 특히 유한 차원 대수의 단위군 스킴에 대해 적용된다.
• 불변량 이론의 결과, 특히 불변 체의 비분열 브라우어 군을 활용하여 {BG}의 비자명성을 감지하는 것.

실험 결과

연구 질문

• RQ1 모든 유한군 G에 대해 K₀(Stckₖ)에서 {BG}가 1과 동일한가, 특히 대칭군에 대해서는?
• RQ2 BG = 1 이면 충실한 G-표현 V에 대해 몫 V/G가 유리적이거나 안정적으로 유리적일 정도로 어느 정도 보장되는가?
• RQ3 충실한 G-표현의 불변 체의 비분열 브라우어 군은 K₀(Stckₖ)에서 {BG}로부터 복원 가능한가?
• RQ4 특성 0에서 K₀(Stckₖ)의 람다 구조는 K₀(Spcₖ)의 표준 람다 구조와 어떻게 관련되는가?
• RQ5 비분열 토리의 매끄러운 토릭 컴actsification이 존재하면, K₀(Stckℚ)에서 {Bℤ/47}의 비자명성을 감지할 수 있는가?

주요 결과

• 모든 대칭군 Σₙ에 대해 K₀(Stckₖ)에서 {BΣₙ} = 1 이며, 이는 스택적 대칭 거듭제곱에 대한 람다 구조를 통해 증명된다.
• ℚ에서 ℤ/47에 대해 K₀(Stckℚ)에서 {Bℤ/47}는 비자명하다. 이는 비분열 토리의 매끄러운 토릭 컴actsification을 통해 확립된다.
• 충실한 G-표현의 불변 체의 비분열 브라우어 군은 {BG}의 불변량이므로, 살트만과 보고몰로프의 예에서 비자명한 {BG}가 특성 0에서 유도된다.
• {V/G} = ℒⁿ 이면 K₀(Spcₖ)에서 V/G는 유리적이며, 이는 K₀(Spcₖ)≤n에서 감지 가능하며 기존의 경우에서의 유리성을 확인한다.
• K₀(Spcₖ)≤n 에서 grⁿK₀(Spcₖ)로의 사상은 동형사상이므로, 이 군에서 {V/G}의 계산이 비유리 불변량을 반영함을 보여준다.
• 완비화 사상 K₀(Stckₖ) → ˆK₀(Spcₖ)를 통해 컴act 지지가 있는 오일러 지표와 코homological 가중치를 사용하여 {BG}의 비자명성을 감지할 수 있다.