[논문 리뷰] Essential dimensions of finite groups

Ming-chang Kang|ArXiv.org|2006. 11. 22.

Finite Group Theory Research참고 문헌 11인용 수 5

한 줄 요약

이 논문은 Buhler와 Reichstein의 중심 확장 정리를 특성 0이 아닌 임의의 체로 일반화하여, 특성 0을 초월한 필수 차원 이론을 확장한다. 임의의 특성의 체에서 대칭군과 교환군의 필수 차원에 대해 날카운 하한을 확립하며, 특성 2가 아닌 경우 $\mathop{{\rm ed}}_{K}(S_n) \geq \lfloor n/2 \rfloor$ 이고, 동일한 조건 하에 $\mathop{{ m ed}}_{K}(A_n) \geq 2loor n/4 \uf8ffloor$ 임을 증명한다. 특성 2의 경우에도 유사한 하한이 성립한다.

ABSTRACT

We study the essential dimension of a finite group G over a field K. A generalization of the central extension theorem of Buhler and Reichstein (Compositio Math. 106 (1997) 159-179, Theorem 5.3) is obtained. We also get lower bounds of essential dimension of symmetric groups and alternating groups over field of any characteristic.

연구 동기 및 목표

• Buhler와 Reichstein의 중심 확장 정리를 특성 0이 아닌 임의의 특성의 체로 확장한다.
• 임의의 체에서 대칭군과 교환군의 필수 차원에 대해 날카운 하한을 결정한다.
• 특히 이중군과 초순수 아벨 $p$-군에 대해 유한군의 필수 차원이 1이 되는 조건을 규명한다.
• 특성 0인 체에서의 아벨군, 특히 $ (\mathbb{Z}/p\mathbb{Z})^r $의 필수 차원 결과를 일반화한다.
• 특성에 따라 $ D_n $의 필수 차원이 1이 되는 체의 완전한 분류를 제공한다. 이는 특성과 원분단위근의 존재 여부에 따라 달라진다.

제안 방법

• 함수적 접근을 피하고, 체 확장과 분리 대수를 이용하여 Buhler와 Reichstein의 방법을 임의의 체로 일반화한다.
• 체 $ K $ 위에서 $ S_n $-작용에 대한 교차비율의 체가 $ K $ 위에서 순수 초월적 차수 $ n-3 $를 가짐을 증명하며, 특성 0의 결과를 일반화한다.
• 군 작용의 올림과 체의 임베딩을 통한 필수 차원 분석을 허용하는 일반화된 중심 확장 정리(정리 4.5 및 4.6)를 수립한다.
• $ GL_2(K) $ 및 $ PGL_2(K) $로의 충실한 표현을 사용하여 필수 차원을 분석하며, 특히 $ (\mathbb{Z}/p\mathbb{Z})^r $과 이중군에 대해 적용한다.
• Schur–Zassenhaus 정리를 적용하여 군 확장을 분해하고, $ [K:\mathbb{F}_p] \geq r $일 경우 $ (\mathbb{Z}/p\mathbb{Z})^r $을 $ GL_2(K) $에 임베딩한다.
• 가장자리 이론과 선형적으로 분리된 체 확장을 이용하여 체 확장을 분석하고, 최소 초월 차수를 통한 필수 차원 정의를 수행한다.

실험 결과

연구 질문

• RQ1 임의의 특성의 체 $ K $에서 $ S_n $ 및 $ A_n $의 필수 차원에 대해 날카운 하한은 무엇인가?
• RQ2 특히 이중군과 초순수 아벨 $ p $-군에 대해, 어떤 조건에서 유한군 $ G $가 체 $ K $에서 필수 차원 1을 가질 수 있는가?
• RQ3 특성 $ p > 0 $인 체 $ K $에서 $ (\mathbb{Z}/p\mathbb{Z})^r $의 필수 차원은 어떻게 달라지는가?
• RQ4 Buhler와 Reichstein의 중심 확장 정리는 특성 0 이외의 체로도 확장 가능한가?
• RQ5 특성 2인 체에서 $ D_n $의 필수 차원이 1이 되는지 여부를 결정하는 데서 $ \zeta_n + \zeta_n^{-1} \in K $의 역할은 무엇인가?

주요 결과

• 모든 체 $ K $에 대해 $ \mathop{{\rm char}}K \neq 2 $ 이면 $ \mathop{{\rm ed}}_K(S_n) \geq \lfloor n/2 \rfloor $ 이고 $ \mathop{{\rm ed}}_K(A_n) \geq 2\lfloor n/4 \rfloor $ 이다.
• 모든 체 $ K $에 대해 $ \mathop{{\rm char}}K = 2 $ 이면 $ \mathop{{\rm ed}}_K(S_n) \geq \lfloor (n+1)/3 \rfloor $ 이고 $ \mathop{{\rm ed}}_K(A_n) \geq \lfloor n/3 \rfloor $ 이다.
• 특성 $ \neq p $ 이고 $ \zeta_p \in K $인 체 $ K $에서 $ (\mathbb{Z}/p\mathbb{Z})^r $의 필수 차원은 정확히 $ r $ 이다.
• $ n \geq 5 $ 이면 $ \mathop{{\rm ed}}_K(S_n) \leq n-3 $ 이고, 정확한 값은 다음과 같다: $ \mathop{{\rm ed}}_K(S_2) = \mathop{{\rm ed}}_K(S_3) = 1 $, $ \mathop{{\rm ed}}_K(S_4) = \mathop{{\rm ed}}_K(S_5) = 2 $, $ \mathop{{\rm ed}}_K(S_6) = 3 $ (특성 2가 아닐 경우).
• 특성 2인 체 $ K $에 대해 $ \mathop{{\rm ed}}_K(D_n) = 1 $ 이 되는 것은 $ n $ 이 홀수이고 $ \zeta_n + \zeta_n^{-1} \in K $ 이거나, $ n = 2 $ 이고 $ |K| \geq 4 $ 일 때이다.
• $ \mathbb{F}_2 $에서 $ \mathop{{\rm ed}}_{\mathbb{F}_2}((\mathbb{Z}/2\mathbb{Z})^2) = 2 $ 이지만, 특성 2이면서 $ |K| \geq 4 $ 인 모든 체 $ K $에서 $ \mathop{{\rm ed}}_K((\mathbb{Z}/2\mathbb{Z})^2) = 1 $ 이다.