[논문 리뷰] Representations of $GL_2(\Fq)$ and $SL_2(\Fq)$, and some remarks about $GL_n(\Fq)$

Amritanshu Prasad|ArXiv.org|2007. 12. 25.

Advanced Algebra and Geometry참고 문헌 1인용 수 4

한 줄 요약

이 논문은 유한체 위에서 $GL_2(\fF_q)$ 및 $SL_2(\fF_q)$의 표현 이론에 대한 자가 포함된 소개를 제공하며, 특히 쿠스피달 표현을 구성하기 위해 웨일 표현을 사용한다. 이 방법들은 $GL_n(\fF_q)$의 이론으로 확장되어, 최대 아핀 토리의 역할과 파라보릭 유도를 중심으로 표현을 분류하는 데 중점을 두며, 주요 결과로는 웨일 표현을 통한 쿠스피달 표현의 구성과 더 넓은 맥락에서 델리뉴–루즈티그 이론을 통한 기약 문자의 분류가 포함된다.

ABSTRACT

The goal of these notes is to give a self-contained account of the representation theory of $GL_2$ and $SL_2$ over a finite field, and to give some indication of how the theory works for $GL_n$ over a finite field.

연구 동기 및 목표

• 유한체 위에서 $GL_2(\fF_q)$ 및 $SL_2(\fF_q)$의 표현 이론에 대해 자가 포함되고 접근 가능한 서술을 제공하는 것.
• SL_2(\fF_q)$에서 기약 표현, 특히 쿠스피달 표현을 구성하는 데 웨일 표현의 유용성을 보여주는 것.
• $GL_2$ 및 $SL_2$에 사용된 방법들을 확장하여 $GL_n(\fF_q)$의 표현 이론에 대한 개요를 제공하는 것.
• 재수도 그룹의 표현 이론과 델리뉴–루즈티그 이론의 더 넓은 맥락에서 결과들을 놓는 것.

제안 방법

• 유한체 위에서의 조화 분석에서 유래한 웨일 표현을 사용하여 $SL_2(\fF_q)$의 기약 표현을 구성한다.
• 상삼각행렬로 이루어진 보렐 부분군에서의 파라보릭 유도를 통해 $GL_2(\fF_q)$의 주요 시리즈 표현을 구성한다.
• 작은 군 방법과 상호연결 이론을 적용하여 유도된 표현의 기약성과 동형류를 분석한다.
• 헤이젠베르크 군과 그의 여부표현을 사용하여 특수 웨일 표현을 구성하며, 이는 쿠스피달 표현의 기반이 된다.
• 유한체의 갈루아 이론적 구조, 특히 프로베니우스 자기동형사상과 덧셈/곱셈 사상의 정의를 활용하여 덧셈적 및 곱셈적 문자를 정의한다.
• 덧셈군 $\fF_q$의 본트리아진 쌍대성을 이용하여 덧셈 문자를 매개변수화하며, 이는 웨일 표현을 정의하는 데 필수적이다.

실험 결과

연구 질문

• RQ1 SL_2(\fF_q)$의 기약 표현은 어떻게 웨일 표현을 통해 체계적으로 구성할 수 있는가?
• RQ2 파라보릭 유도는 $GL_2(\fF_q)$의 주요 시리즈 표현을 분류하는 데 어떤 역할을 하는가?
• RQ3 GL_2(\fF_q)$의 쿠스피달 표현은 웨일 표현으로부터 어떻게 유래되며, 그 차수는 무엇인가?
• RQ4 스프링거의 추측에 따르면, $GL_n(\fF_q)$의 최대 아핀 토리는 기약 표현을 어떻게 매개변수화하는가?
• RQ5 웨일 표현은 $GL_n(\fF_q)$와 같은 고계수 군으로 어떻게 일반화될 수 있으며, 그 한계는 무엇인가?

주요 결과

• 웨일 표현은 $L^2(\fF_q)$ 위의 특수 유니터리 표현을 통해 $SL_2(\fF_q)$의 모든 기약 표현, 특히 쿠스피달 표현까지도 구체적으로 구성한다.
• GL_2(\fF_q)$의 쿠스피달 표현은 웨일 표현을 통해 구성되며 차수는 $q$이며, 그레인(1955)의 알려진 분류와 일치한다.
• SL_2(\fF_q)$에서 쿠스피달 표현의 차수는 $q \pm 1$이며, $q$가 홀수일 경우 그 수는 $\frac{1}{2}(q-1)$이다. 이는 헤이젠베르크 군 위에서 웨일 표현의 작용으로 유도된다.
• 보렐 부분군에서의 파라보릭 유도를 통해 $GL_2(\fF_q)$의 주요 시리즈 표현을 얻을 수 있으며, 유도 문자가 이차일 경우를 제외하고는 기약이다. 이 경우 두 개의 기약 표현으로 분해된다.
• GL_2(\fF_q)$ 및 $SL_2(\fF_q)$의 기약 문자의 분류는 웨일 표현을 통해 이루어지며, 조르당과 슈어(1907)의 고전 결과를 일반화한다.
• 논문은 웨일 표현이 $SL_2$ 및 $Sp_4$에서는 강력하지만, $n > 2$인 $GL_n$으로는 직접 일반화되지 않음을 밝혀내며, 고계수에서 델리뉴–루즈티그 이론의 필요성을 강조한다.