[논문 리뷰] Weak Gelfand Pair Property And Application To GL(n+1),GL(n) Over Finite Fields

Yoav Ben Shalom|arXiv (Cornell University)|2012. 10. 28.

Advanced Algebra and Geometry참고 문헌 6인용 수 3

한 줄 요약

이 논문은 유한체 F_q 위에서 GL(n+1, F_q)와 GL(n, F_q)에 대해, 모든 기약 표현이 최대 두 개의 GL(n, F_q)-불변 벡터를 가짐을 증명하며, 전치 반자기환을 이용한 일반화된 겔판트 기법을 통해 약한 겔판트 쌍 성질을 증명한다. 주요 결과는 특성 ≠ 2인 대수적으로 닫힌 체 위에서 모든 기약 π에 대해 dim π^{GL_n(F_q)} ≤ 2이며, q가 2의 거듭제곱이 아닐 때 정규직교군에 대해서도 유사한 경계가 성립한다.

ABSTRACT

Let F_q be the finite field with q elements. Consider the standard embedding GL(n,F_q) -> GL(n+1,F_q). In this paper we prove that for every irreducible representation pi of GL(n+1,F_q) over algebraically closed fields of characteristic different from 2 we have dimπ^GL(n,F_q)<=2. To do that we define a property of weak Gelfand pair and prove a generalization of Gelfand trick for weak Gelfand pairs, using the anti-involution transpose to get the result for GL(n+1,F_q),GL(n,F_q). In a similar manner we show that for q not a power of 2 O(n+1,F_q),O(n,F_q) is a Gelfand pair over algebraically closed fields of characteristic different from 2.

연구 동기 및 목표

• GL(n+1, F_q), GL(n, F_q) 쌍이 유한체 위에서 겔판트 쌍이 되지 못하는 정도를 수량화하는 것.
• 기본 겔판트 쌍의 일반화로서 약한 겔판트 쌍의 정의와 이론을 수립하는 것.
• 반자기환으로 인한 이중코셋을 모두 보존하지 않는 경우에도 불변 벡터의 다중도에 대한 경계를 도출할 수 있도록 겔판트 기법을 일반화하는 것.
• 특성 ≠ 2인 체 위에서 q가 2의 거듭제곱이 아니면 (O_{n+1}(F_q), O_n(F_q))가 겔판트 쌍임을 증명하는 것.
• 특성 ≠ 2인 임의의 대수적으로 닫힌 체에 대해 적용 가능한 표현론적 프레임워크를 제공함으로써, 단지 C에 국한되지 않는 결과를 확장하는 것.

제안 방법

• 기약 G-표현에서 H-불변 벡터의 차원에 대한 경계를 통해 약한 겔판트 쌍의 개념을 도입한다.
• 반자기환 σ가 H와 π의 중심 문자를 보존하고, 보존되지 않는 이중코셋의 수에 대한 경계를 갖는 고전적 겔판트 기법을 일반화한다.
• GL(n+1, F_q)에서 전치 사상으로서 반자기환 σ를 사용하며, 이는 GL(n, F_q)와 기약 표현의 중심 문자를 모두 보존한다.
• GL_n(F_q)\GL_{n+1}(F_q)/Z(GL_{n+1}(F_q))GL_n(F_q) 내에서 전치에 의해 보존되지 않는 이중코셋이 정확히 두 개인 것을 증명하여, 경계에서 k = 1을 도출한다.
• 논문의 보조정리 2.2를 적용하여, 특성 ≠ 2인 F 위의 모든 기약 π에 대해 dim π^{GL_n(F_q)} ≤ k + 1 = 2임을 유도한다.
• 동일한 반자기환과 이중코셋 수세기 방법을 정규직교군에 적용하여, q가 2의 거듭제곱이 아니면 (O_{n+1}(F_q), O_n(F_q))가 겔판트 쌍임을 보인다.

실험 결과

연구 질문

• RQ1 특성 ≠ 2인 체 위에서 GL(n+1, F_q)의 기약 표현 π에 대해 GL(n, F_q)-불변 벡터 공간의 최대 차원은 얼마인가?
• RQ2 반자기환이 모든 이중코셋을 보존하지 않는 경우에도 고전적 겔판트 기법을 일반화할 수 있는가?
• RQ3 전치에 의해 보존되지 않는 이중코셋의 수가 불변 벡터의 다중도에 어떤 영향을 미치는가?
• RQ4 어떤 조건에서 (O_{n+1}(F_q), O_n(F_q)) 쌍이 유한체 위에서 겔판트 쌍이 되는가?
• RQ5 약한 겔판트 쌍 성질을 이용하여 유한체 위의 고전군 표현에서 다중도에 대한 경계를 도출할 수 있는가?

주요 결과

• 특성 ≠ 2인 대수적으로 닫힌 체 F 위에서 GL_{n+1}(F_q)의 모든 기약 표현 π에 대해, GL_n(F_q)-불변 벡터 공간의 차원은 dim π^{GL_n(F_q)} ≤ 2를 만족한다.
• GL_n(F_q)-이중코셋 중에서 전치에 의해 보존되지 않는 것은 정확히 두 개인데, 이는 경계에서 k = 1을 유도한다.
• 전치를 반자기환으로 사용한 일반화된 겔판트 기법은 dim π^H ≤ k + 1 = 2의 경계를 도출하며, 여기서 k는 보존되지 않는 이중코셋 수의 절반이다.
• q가 2의 거듭제곱이 아닐 경우, 특성 ≠ 2인 F 위에서 (O_{n+1}(F_q), O_n(F_q))는 전치 반자기환이 모든 이중코셋을 보존하므로 겔판트 쌍이다.
• 결과는 특성 ≠ 2인 임의의 대수적으로 닫힌 체에 대해 성립하며, C에 국한되지 않고 고전 결과의 적용 범위를 넓힌다.
• 증명은 임의의 비영벡터를 다른 비영벡터로 보낼 수 있는 GL_n(F_q) 내의 대칭행렬의 존재성에 기반하며, 이는 이중코셋 대표원에 대한 전이성을 보장한다.