[논문 리뷰] 2-Coverings of classical groups

Daniela Bubboloni, Maria Silvia Lucido외 1명|arXiv (Cornell University)|2011. 02. 03.

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

한 줄 요약

이 논문은 고전군의 2-커버링을 조사하며, $ n \geq 5 $ 인 경우 $ SU_n(q) $ (단, $ n=6 $ 제외), $ Sp_{2n}(q) $ (단, $ q $가 홀수), 그리고 직교군 $ \Omega_{2n+1}(q) $, $ \Omega_{2n}^{\pm}(q) $ 는 2-커버링이 되지 않음을 증명한다. $ q $가 짝수인 $ Sp_{2n}(q) $ 의 유일한 2-커버링은 $ O^{-}_{2n}(q) $ 와 $ O^{+}_{2n}(q) $ 로 이루어져 있으며, 이는 오랫동안 남아있던 이러한 커버링의 구조에 관한 질문을 해결한다.

ABSTRACT

In this paper we show that if $n\geq 5$ and $G$ is any of the groups $SU_n(q)$ with $n eq 6,$ $Sp_{2n}(q)$ with $q$ odd, $Ω_{2n+1}(q),$ $Ω_{2n}^{\pm}(q),$ then $G$ and the simple group $\barG=G/Z(G)$ are not 2-coverable. Moreover the only 2-covering of $Sp_{2n}(q),$ with $q$ even, has components $ O^-_{2n}(q)$ and $O^{+}_{2n}(q) .$

연구 동기 및 목표

• 어떤 고전군이 2-커버링을 갖는지, 즉 두 개의 적절한 극대 부분군의 코너제이트의 합집합이 전체 군을 덮는지를 결정하는 것.
• 차원이 $ \geq 5 $ 인 유니터리, 심플렉틱, 직교군의 2-커버링 가능성 문제를 해결하는 것.
• 특히 $ q $가 짝수일 때 $ Sp_{2n}(q) $ 의 유일한 2-커버링을 규명하며, 이가 $ O^{-}_{2n}(q) $ 와 $ O^{+}_{2n}(q) $ 로 이루어져 있음을 확인하는 것.
• 이전의 선형군 및 프로젝티브 선형군의 2-커버링에 관한 결과를 다른 고전군으로 확장하는 것.
• 최대부분군의 아슈바흐 분류와 싱거르 순환과 원시 소수 제수의 성질을 활용하여 군 커버링을 분석하는 것.

제안 방법

• 고전군 내에서 가능한 2-커버링을 분석하기 위해 아슈바흐의 최대부분군 분류를 적용하는 것.
• 자기 작용이 기저가 되는 최대 차수를 갖는 원소인 싱거르 순환을 사용하여, 그 코너제이트가 군 전체를 덮을 수 있는지 테스트하는 것.
• 원시 소수 제수 $ q^t - 1 $ 과 $ q^t + 1 $ 를 활용하여 원소의 차수와 그들이 부분군 내에 어떻게 분포되어 있는지 분석하는 것.
• 2-커버링이 존재한다고 가정할 경우, 최대부분군 내에서 소수 차수 원소의 중심화자를 분석하여 모순을 이끌어내는 것.
• 유한 단순군과 그 자동사상군의 구조적 성질을 활용하여 2-커버링 내 가능한 구성 요소를 배제하는 것.
• 원소의 차수와 중심화자의 순서를 제한하기 위해 $ (q^a \pm 1, q^b \pm 1) $ 에 관한 수론적 보조정리를 적용하는 것.

실험 결과

연구 질문

• RQ1 차원이 $ \geq 5 $ 인 어떤 고전군 $ G $ 에 대해, 두 개의 적절한 극대 부분군의 코너제이트의 합집합이 $ G $ 를 덮는 2-커버링이 존재하는가?
• RQ2 특히 $ q $가 짝수일 때 $ Sp_{2n}(q) $ 의 유일한 2-커버링의 구조는 무엇이며, 왜 이것이 유일한가?
• RQ3 $ n \geq 5 $ 인 경우 $ SU_n(q) $ (단, $ n \neq 6 $), $ \Omega_{2n}^{\pm}(q) $, $ Sp_{2n}(q) $ (단, $ q $가 홀수) 는 왜 2-커버링이 되지 않는가?
• RQ4 싱거르 순환과 원시 소수 제수의 성질이 고전군 내 2-커버링 존재 가능성에 어떻게 제약을 가하는가?
• RQ5 최대부분군 내 소수 차수 원소의 중심화자 순서를 사용하여 2-커버링이 존재하지 않음을 배제할 수 있는가?

주요 결과

• $ n \geq 5 $ 인 경우, $ n \neq 6 $ 인 $ SU_n(q) $ 와 그 단순 몫군 $ \overline{G} = G/Z(G) $ 는 2-커버링이 되지 않는다.
• $ q $가 홀수인 심플렉틱군 $ Sp_{2n}(q) $ 와 그 단순 몫군 역시 2-커버링이 되지 않는다.
• $ n \geq 5 $ 인 직교군 $ \Omega_{2n+1}(q) $, $ \Omega_{2n}^{+}(q) $, $ \Omega_{2n}^{-}(q) $ 는 2-커버링이 되지 않으며, 그 단순 몫군 역시 2-커버링이 되지 않는다.
• $ q $가 짝수일 경우, $ Sp_{2n}(q) $ 는 정확히 하나의 2-커버링을 갖는다. 이 커버링의 구성 요소는 $ O^{-}_{2n}(q) $ 와 $ O^{+}_{2n}(q) $ 와 동형이며, Dye의 결과를 확인한다.
• $ \Omega_{4}^{-}(q) \bot \Omega_{2(n-2)}^{+}(q) $ 에 속한 원소 $ u $ 는 차수 $ \frac{(q^{n-2}-1)(q^2+1)}{(q^{n-2}-1,q^2+1)(2,q-1)} $ 를 가지며, 작용 유형이 $ 4 \oplus (n-2) \oplus (n-2) $ 이고, 고유값이 없으며, 2-커버링의 후보 구성 요소에 포함되지 않는다.
• 특히 순환군과 리 유형 군을 포함한 최대부분군 내 중심화자의 분석은, 2-커버링이 존재한다고 가정할 경우 원소의 차수와 중심화자 순서 간의 불일치로 인해 모순을 초래한다.