[논문 리뷰] Unipotent almost characters of simple p-adic groups

G. Lusztig|arXiv (Cornell University)|2012. 12. 28.

Advanced Algebra and Geometry참고 문헌 5인용 수 11

한 줄 요약

이 논문은 등급 부여된 호모로지와 플라그 다양체의 기하학을 이용하여 단순 p-진군에 대한 유니포텐트 거의 문자를 구성하며, 컴팩트한 코homology 위에 자연스러운 S-모듈러 구조를 확립한다. 핵심 기여는 대칭 대수 S에서 코homology 환으로의 자연스러운 대수 준동형사상으로, 루즈티그의 문자 이론을 통해 표현 이론과 기하학적 불변량을 연결한다.

ABSTRACT

Let G be a simple adjoint group and let K=k((ε)) where k is an algebraic closure of a finite field F_q. In this paper we define some geometric objects on G(K) which are similar to the (cohomology sheaves of) the unipotent character sheaves on G(k). Using these geometric objects we define the unipotent almost characters of G(K_0) where K_0=F_q((ε)) and state some conjectures relating them to the characters of unipotent representations of G(K_0).

연구 동기 및 목표

• 기하학적 및 호모로지적 방법을 이용하여 단순 p-진군에 대한 유니포텐트 거의 문자를 정의하고 구성한다.
• 등변 호모로지로부터의 대수 준동형사상을 통해 플라그 다양체의 컴팩트한 코homology 위에 자연스러운 S-모듈러 구조를 확립한다.
• 등변 호모로지 대수를 통해 루즈티그의 문자 이론을 p-진군의 설정으로 일반화한다.
• 라ング랜즈 쌍대군의 작용 하에서 대칭 대수 S와 플라그 다양체 X의 호모로지 사이의 관계를 명확히 한다.
• 쌍대군 GˇS-작용 하에서 플라그 다양체의 호모로지에 의한 유니포텐트 문자의 기하학적 실현을 제공한다.

제안 방법

• Lie 대수 z†J에 대응하는 대칭 대수 S = ⊕r≥0 S2r를 정의하며, z†J의 원소들은 차수 2로 간주한다.
• 정착군과 점 공간의 호모로지에 대한 사슬 이sovorphism을 통해 S를 총 GˇS-등변 호모로지 대수 H∙GˇS(X, Q¯l)로 식별한다.
• 컵 곱 구조와 등변 호모로지에서 일반 호모로지로의 자연스러운 사상에 기반하여 S에서 H∙(X, Q¯l)로의 대수 준동형사를 구성한다.
• 컵 곱과 대수 준동형사를 통해 컴팩트한 코homology H∙c(X, E)에 S-모듈러 구조를 도입한다.
• 루즈티그의 이전 연구 결과(예: [L4, 4.2])에서의 중심화군과 포물선 부분군과 관련된 호모로지 동형사상에 기반한다.
• 연결된 중심화군 M⁰이 ZGJ⁰와 유니포텐트 군의 곱과 동형임을 이용하여 호모로지 감소를 점의 호모로지로 환원한다.

실험 결과

연구 질문

• RQ1 기하학적 표현 이론을 통해 단순 p-진군에 대한 유니포텐트 거의 문자를 체계적으로 어떻게 구성할 수 있는가?
• RQ2 대칭 대수 S와 플라그 다양체 X의 등변 호모로지 사이의 정확한 관계는 무엇인가?
• RQ3 S-모듈러 구조 H∙c(X, E)는 대수 준동형사상과 컵 곱에 의해 어떻게 유도되는가?
• RQ4 플라그 다양체 X의 호모로지가 라ング랜즈 쌍대군의 작용을 통해 어떻게 유니포텐트 문자를 실현하는가?
• RQ5 중심화군 M = ZGJ(g₀)는 S ≅ H∙GˇS(X, Q¯l)에 이르는 동형 사슬 수립에 어떤 역할을 하는가?

주요 결과

• 대칭 대수 S는 자연스럽게 GˇS-등변 호모로지 대수 H∙GˇS(X, Q¯l)와 동형이다.
• S → H∙(X, Q¯l)로의 대수 준동형사상이 구성되며, 이는 S를 일반 호모로지 환의 부분대수로 실현한다.
• 컴팩트한 코homology H∙c(X, E)는 컵 곱과 대수 준동형사를 통해 자연스러운 S-모듈러 구조를 갖는다.
• 동형 사슬은 등변 호모로지를 H∙M(point)로 감소시키며, 이는 H∙ZGJ⁰(point)와 동형이 되어 대칭 대수와의 연결 고리를 확립한다.
• 이 구성은 쌍대군의 작용 하에서 플라그 다양체의 호모로지에 의한 유니포텐트 거의 문자의 기하학적 실현을 제공한다.
• 이 방법은 H∙c(X, E) 위에 자연스러운 S-모듈러 구조의 존재를 확인하며, 이는 루즈티그의 문자 이론을 p-진군으로 확장하는 데 핵심적이다.