[논문 리뷰] Supercharacters of the Sylow p-subgroups of the finite symplectic and orthogonal groups

Carlos A. M. André, Ana Margarida Neto|ArXiv.org|2008. 04. 27.

Coding theory and cryptography참고 문헌 15인용 수 6

한 줄 요약

이 논문은 홀수 특성의 유한체 위에서 유한 심플렉틱군과 올림픽군의 Sylow p-부분군에 대해 초특성 이론을 개발한다. 단일삼각행렬군에서의 결과를 확장하여, 기약 특성의 분할을 이루는 초특성들을 구성하고, 직교성과 곱에 대한 닫힘성을 증명하며, 루트 체계 자료와 양의 루트의 기본 집합을 통해 최대 차수 기약 표현을 조합론적으로 분류한다.

ABSTRACT

We define and study supercharacters of the classical finite unipotent groups of symplectic and orthogonal types (over any finite field of odd characteristic). We show how supercharacters for groups of those types can be obtained by restricting the supercharacter theory of the finite unitriangular group, and prove that supercharacters are orthogonal and provide a partition of the set of all irreducible characters. We also describe all irreducible characters of maximum degree in terms of the root system, and show how they can be obtained as constituents of particular supercharacters.

연구 동기 및 목표

• 유한체의 홀수 특성에서 유한 심플렉틱군과 올림픽군의 Sylow p-부분군으로 단일삼각행렬군의 초특성 이론을 확장한다.
• 초특성이 공액수 함수 공간의 직교 기저를 이루며, 곱에 대해 닫혀 있음을 증명한다.
• 루트 체계 자료와 양의 루트의 기본 부분집합을 사용하여 최대 차수 기약 특성의 조합론적 특성을 제공한다.
• 초특성 값에 대한 명시적 공식을 유도하고, 정규 특성을 초특성들의 직교 합으로 분해한다.

제안 방법

• U_n(q)에서의 이론을 Sylow p-부분군으로 제한하여, 심플렉틱군과 올림픽군으로의 초특성 구성 기법을 적응한다.
• B_n(q), C_n(q), D_n(q) 유형의 루트 체계 구조를 사용하여 양의 루트의 기본 부분집합 D를 정의하고, \phi: D \to \mathbb{F}_q^\times 를 통해 초특성을 생성한다.
• 이들의 선형 공간이 생성하는 유니터리 벡터 공간의 성질을 이용하여 초특성이 직교하고 기약 특성의 집합을 분할함을 증명한다.
• 초특성 공간이 텐서곱 연산에 대해 닫혀 있음을 보여 초특성의 곱에 대한 닫힘성을 확립한다.
• 루트 체계의 구조와 군이 그 리 대수 위에서 작용하는 방식을 이용하여 초특성 값에 대한 공식을 도출한다.
• 이전 연구 결과(예: [7], [23])를 적용하여 특정 기본 부분집합 D와 맵 \phi의 구성에 따라 최대 차수 기약 특성을 분류한다.

실험 결과

연구 질문

• RQ1 유한체의 홀수 특성에서 단일삼각행렬군 U_n(q)의 초특성 이론을 어떻게 심플렉틱군과 올림픽군의 Sylow p-부분군으로 확장할 수 있는가?
• RQ2 이러한 Sylow p-부분군의 초특성들은 단일삼각행렬군의 경우와 마찬가지로 직교하고 기약 특성의 집합을 분할하는가?
• RQ3 초특성들이 생성하는 공간은 곱에 대해 닫혀 있는가? 그리고 초특성 값에 대한 공식을 도출할 수 있는가?
• RQ4 이 Sylow p-부분군의 기약 특성 중 최대 차수를 가진 것은 무엇이며, 루트 체계를 통해 어떻게 조합론적으로 특성화할 수 있는가?
• RQ5 이 군들에서 정규 특성을 초특성들의 직교 선형 조합으로 표현할 수 있는가?

주요 결과

• Sp_{2n}(q), O_{2n}^\pm(q), O_{2n+1}(q)의 Sylow p-부분군에 대한 초특성 이론이 완전히 구성되었으며, U_n(q)에서의 이론을 일반화함을 보였다.
• 초특성들은 직교하고, 기약 특성의 집합을 분할하며, 곱에 대해 닫혀 있는 공간을 생성한다.
• 정규 특성은 초특성들의 직교 선형 조합으로 분해되며, 계수는 초특성 값에서 유도된다.
• U \leq O_{2n}(q)일 때, 기약 특성의 최대 차수 q^{f(n)}는 기본 부분집합 D가 \{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-3}+\varepsilon_{n-2}\} \cup D_1 형태이며, D_1 \subset \{\varepsilon_{n-1}-\varepsilon_n, \varepsilon_{n-1}+\varepsilon_n\} 인 경우에 정확히 발생하며, n이 짝수일 때는 d_n = q^{(n+2)/2}(q-1)^{(n-2)/2}개의 그러한 특성이 존재한다.
• U \leq O_{2n+1}(q)일 때, 최대 차수 특성은 n이 짝수면 \{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-3}+\varepsilon_{n-2}\} \cup \{\varepsilon_{n-1}\} 을 포함하거나, n이 홀수면 \{\varepsilon_1+\varepsilon_2, \ldots, \varepsilon_{n-2}+\varepsilon_{n-1}\} \cup \{\varepsilon_n\} 을 포함할 때 발생하며, 짝수 n일 때 d_n = q^{(n-2)/2}(q+1)(q-1)^{n/2}이고, 홀수 n일 때 d_n = q^{(n+1)/2}(q-1)^{(n-1)/2}이다.
• 이러한 Sylow p-부분군의 기약 특성의 최대 차수는 f(n) = n(n-2)/2 (n이 짝수일 때) 및 (n-1)^2/2 (n이 홀수일 때)인 q^{f(n)}이며, 이 차수는 D와 \phi에 대한 지정된 조건을 만족할 때 정확히 달성된다.