[논문 리뷰] Kazhdan-Laumon representations of finite Chevalley groups, character sheaves and some generalization of the Lefschetz-Verdeier trace formula

Alexander Braverman, Alexander Polishchuk|ArXiv.org|1998. 10. 01.

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

한 줄 요약

이 논문은 유한 체발리 군의 일반적인 카즈단-로모 표현이 캐릭터 셰이프와 일반화된 레프셰츠-베르디에르 추적 공식에 기반한 기하적 구성에 의해 기반하여 기약임을 증명하고, 델리뉴-루스티그 표현과 동형임을 보여준다. 이는 해당 루스티그의 캐릭터 셰이프의 스토크에서 프로베니우스의 추적과 표현의 특성 함수가 일치함을 증명한다.

ABSTRACT

In this paper we investigate the representations of reductive groups over a finite field, introduced in 1987 by D.Kazhdan and G.Laumon. We show that generically these representations are irreducible and that their character is equal to the function obtained by traces of Frobenius morphism on the stalks of the corresponding Lusztig's character sheaf. This, together with the corresponding result by G.Lusztig, implies that generic Kazhdan-Laumon representations are isomorphic to the corresponding Deligne-Lusztig representations. In the second half of the paper we give a direct geometric construction of this isomorphism, assuming that certain generalization of the Lefschetz-Verdier trace formula holds.

연구 동기 및 목표

• 유한 체발리 군의 카즈단-로모 표현의 구조와 특성 구조를 조사한다.
• 카즈단-로모 표현과 델리뉴-루스티그 표현 사이의 기하적 연결 고리를 확립한다.
• 일반적인 카즈단-로모 표현의 특성이 해당 루스티그의 캐릭터 셰이프 스토크에서 프로베니우스의 추적과 일치함을 증명한다.
• 카즈단-로모 표현과 델리뉴-루스티그 표현 사이의 동형사상에 대한 직접적인 기하적 구성법을 제공한다.
• 이 동형사상이 일반화된 레프셰츠-베르디에르 추적 공식의 타당성을 전제로 함을 보여준다.

제안 방법

• 표현의 기하적 구조를 분석하기 위해 루스티그의 캐릭터 셰이프 이론을 활용한다.
• 캐릭터 함수를 계산하기 위해 캐릭터 셰이프 스토크에서 프로베니우스의 추적을 적용한다.
• 기하적 구성의 기본 가정으로 일반화된 레프셰츠-베르디에르 추적 공식의 버전을 사용한다.
• 카즈단-로모 표현의 일반적인 기약성을 활용하여 델리뉴-루스티그 표현과의 동형성을 확립한다.
• 층 코homology와 프로베니우스 작용을 포함한 대수기하학 기법을 사용하여 표현 특성과 기하적 불변량을 연결한다.
• 복잡한 수학적 표현의 일관성 있는 포맷을 확보하기 위해 AMSLaTeX를 사용하고 3회 컴파일을 수행한다.

실험 결과

연구 질문

• RQ1 유한 체발리 군의 카즈단-로모 표현은 일반적인 경우에 기약인가?
• RQ2 카즈단-로모 표현의 특성은 캐릭터 셰이프 스토크에서 프로베니우스의 추적과 어떻게 관련되는가?
• RQ3 카즈단-로모 표현과 델리뉴-루스티그 표현 사이의 기하적 동형사상을 구성할 수 있는가?
• RQ4 일반화된 레프셰츠-베르디에르 추적 공식은 이 동형성의 확립에 어떤 역할을 하는가?
• RQ5 카즈단-로모 표현의 특성이 델리뉴-루스티그 표현의 특성과 일치하는 조건은 무엇인가?

주요 결과

• 유한 체발리 군의 일반적인 카즈단-로모 표현은 기약이다.
• 일반적인 카즈단-로모 표현의 특성은 해당 루스티그의 캐릭터 셰이프 스토크에서 프로베니우스의 추적을 취한 함수와 일치한다.
• 이 특성 일치성은 일반적인 카즈단-로모 표현이 해당 델리뉴-루스티그 표현과 동형임을 암시한다.
• 일정한 레프셰츠-베르디에르 추적 공식의 일반화가 성립한다고 가정할 경우, 이 동형사상에 대한 직접적인 기하적 구성이 제공된다.
• 이 동형사상은 셰이프 이론적 방법과 대수적 군에서의 프로베니우스 작용 간의 상호작용을 통해 실현된다.
• 결과는 표현 이론적 구성과 대수기하학의 기하적 방법을 통합하며, 특히 캐릭터 셰이프와 추적 공식을 통해 이루어진다.