[논문 리뷰] Regular characters of groups of type A_n over discrete valuation rings

Roi Krakovski, Uri Onn외 1명|arXiv (Cornell University)|2016. 04. 04.

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

한 줄 요약

이 논문은 유한 잔여체가 홀수 특성인 완비 이산 평가환수 위에서 일반선형군, 특수선형군, 유니터리군의 정규 기약 표현을 구성한다. 이 표현들의 차수에 대한 명시적 통일된 공식을 제공하고, 표현 제타 함수를 계산하여 엔놀라 대칭성을 확립하며, 리 대수의 성질과 군론적 내림법을 통해 특수선형 및 유니터리 경우로 결과를 확장한다.

ABSTRACT

Let O be a complete discrete valuation ring with finite residue field k of odd characteristic. Let G be a general or special linear group or a unitary group defined over O and let $\mathfrak{g}$ denote its Lie algebra. For every positive integer l, let $K^l$ be the l-th principal congruence subgroup of G(O). A continuous irreducible representation of G(O) is called regular of level l if it is trivial on $K^{l+1}$ and its restriction to $K^l/K^{l+1} \simeq \mathfrak{g}(k)$ consists of characters with G(k)-stabiliser of minimal dimension. In this paper we construct the regular characters of G(O), compute their degrees and show that the latter satisfy Ennola duality. We give explicit uniform formulae for the regular part of the representation zeta functions of these groups.

연구 동기 및 목표

• 유한 잔여체가 홀수 특성인 완비 이산 평가환수 위에서 A_n 형 군의 연속 기약 정규 표현을 구성하는 것.
• 이 정규 표현의 차수를 계산하고, 군 유형 간에 통일성을 확립하는 것.
• 이들 군의 정규 부분 제타 함수에 대한 명시적 공식을 도출하는 것.
• 유도 부분군과 리 대수에 대한 제약을 분석하여 이론을 특수선형군 및 유니터리군으로 확장하는 것.
• 이들 군의 맥락에서 표현 제타 함수의 엔놀라 대칭성을 검증하는 것.

제안 방법

• 표현의 수준을 정의하고 그 구조를 리 대수 $\mathfrak{g}(k)$ 를 통해 분석하기 위해 $\mathbf{G}(\mathfrak{o})$ 의 주요 합동부분군 $\mathsf{K}^\ell$ 을 사용한다.
• 정규성은 특성다항식과 최소다항식이 일치하는 것으로 정의된 $\mathfrak{g}(k)$ 의 정규 원소들의 역상으로 정규 특징을 구성한다.
• $\mathbf{G}(k)$-등변 동형사상 $\mathfrak{g}(k) \to \mathfrak{g}(k)^\vee$ 를 적용하여, 더 높은 합동 수준으로 특징을 올리는 데 사용한다.
• 수반 작용과 궤도 구조를 이용하여 정규 특징을 그 안정자와 유형 $\tau$ 를 통해 분류하고, 분할 유형에서 유도된 조합론적 자료를 활용한다.
• $\mathbf{G}'(k)$-궤도와 행렬식 조건에 대한 호환성을 확보하기 위해 $\mathbf{G}'(\mathfrak{o}_m)$ 에서 $\mathbf{G}'(k)$ 로의 감소 사상의 전성함을 확립한다.
• 궤도 유형 $\tau$ 에 대한 합산을 통해 제타 함수를 유도하며, 차수, 궤도 수, 보정 인자 $u_{\varepsilon_{\mathbf{G}}}^\tau(q)$ 와 $\iota(\tau, q - \varepsilon_{\mathbf{G}})$ 를 포함한다.

실험 결과

연구 질문

• RQ1 유한 잔여체가 홀수 특성인 이산 평가환수 위에서 $\mathbf{G} = \mathbf{GL}_n, \mathbf{GU}_n$ 의 정규 기약 표현을 체계적으로 구성하는 방법은 무엇인가?
• RQ2 정규 표현의 수준 $\ell$ 에 대한 차수에 대한 명시적 공식은 $n$, $q$, 궤도 유형 $\tau$ 에 따라 어떻게 표현되는가?
• RQ3 $\mathbf{G}(\mathfrak{o})$ 와 $\mathbf{G}'(\mathfrak{o})$ 의 표현 제타 함수는 어떻게 관련되어 있으며, 이 설정에서 엔놀라 대칭성이 성립하는가?
• RQ4 특수선형군 또는 유니터리군으로 제약을 두었을 때 정규 특징의 수와 구조에는 어떤 영향을 미치는가?
• RQ5 $\mathfrak{g}(k)$ 와 $\mathfrak{g}'(k)$ 의 궤도 수와 안정자 크기는 정규 표현의 수세기 과정에 어떻게 영향을 미치는가?

주요 결과

• 정규 특징 $\chi$ 의 차수는 $\chi(1) = q^{\binom{n}{2}(\ell-1)} \frac{v_{\varepsilon_{\mathbf{G}}}(q)}{u_{\varepsilon_{\mathbf{G}}}^{\tau}(q) \iota(\tau, q - \varepsilon_{\mathbf{G}})}$ 로 주어진다.
• 유형 $\tau$ 의 정규 특징의 수는 $q^{(n-1)(\ell-1)} u_{\varepsilon_{\mathbf{G}}}(q) \frac{\iota(\tau, q - \varepsilon_{\mathbf{G}})}{q - \varepsilon_{\mathbf{G}}} \cdot q^{-1} \prod_d \binom{\sum_e \tau_{d,e}}{\tau_{d,1}, \tau_{d,2}, \ldots} \binom{w_d(q)}{\sum_e \tau_{d,e}}$ 이다.
• 정규 표현 제타 함수 $\mathbf{G}^\prime(\mathfrak{o})$ 는 $\sum_{\ell=1}^\infty \zeta^{\mathrm{reg}}_{\mathbf{G}^\prime(\mathfrak{o}_{\ell+1})}(s)$ 로 주어지며, $\iota(\tau, q - \varepsilon_{\mathbf{G}})^2 / (q - \varepsilon_{\mathbf{G}})$ 와 차수의 역수를 $s$ 제곱한 것과 함께 명시적 공식을 포함한다.
• $\mathfrak{g}^\prime(k)$ 에서 유형 $\tau$ 의 $\mathbf{G}^\prime(k)$-궤도 수는 $\mathfrak{g}(k)$ 에서의 궤도 수의 $q^{-1}$ 배이며, 이는 추적 조건과 사상 $\mathfrak{g}(k) \to \mathfrak{g}^\prime(k)$ 의 몫으로 인해 발생한다.
• 엔놀라 대칭성이 $\mathbf{G}(\mathfrak{o})$ 와 $\mathbf{G}^\prime(\mathfrak{o})$ 의 제타 함수에 대해 성립하며, 제타 함수 공식의 대칭적 구조로 입증된다.
• $\mathbf{G}^\prime(\mathfrak{o}_m) \to \mathbf{G}^\prime(k)$ 의 감소 사상은 중심자에 대해 전성적이며, 이는 $\mathbf{G}^\prime(k)$-궤도가 잔여체에서 적절히 올라오는 것을 보장한다.