[논문 리뷰] Restriction of a character sheaf to conjugacy classes

G. Lusztig|arXiv (Cornell University)|2012. 04. 16.

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

한 줄 요약

이 논문은 유한 재구성군 $ G^F $의 무자리 불가약 표현과 파라보릭 부분군 및 쿠스피달 표현을 포함하는 특정 조합론적 자료 사이에 유일한 전단사 관계를 설정한다. 이 관계는 히드로 알지브라 변형과 $ q $-adic 모노드로미를 통해 캐릭터 쉘프의 공轭류로의 제한이 정확히 이러한 표현과 대응됨을 보여준다. 주요 결과는 $ \tau_\lambda $-코스레트와 $ G^F $ 내의 쿠스피달 자료를 이용한 무자리 표현의 분류이며, 유도 표현 내에서의 명시적 캐릭터 중복도를 포함한다.

ABSTRACT

Let A be a character sheaf on a reductive connected group G over an algebraically closed field. Assuming that the characteristic is not bad, we show that for certain conjugacy classes D in G the restriction of A to D is a local system up to shift; we also give a parametrization of unipotent cuspidal character sheaves on G in terms of restrictions to conjugacy classes. Without restriction on characteristic we define canonical bijections from the set of unipotent character sheaves on G (and from the set of unipotent representations of the corresponding split reductive group over a finite field) to a set combinatorially defined in terms of the Weyl group.

연구 동기 및 목표

• 유한 재구성군 $ G^F $의 무자리 불가약 표현을 캐릭터 쉘프와 공轭류 제한을 통해 분류하는 것.
• 파라보릭 부분군과 쿠스피달 자료와 관련된 조합론적 자료 $ (J, \epsilon, \zeta) $와 무자리 표현 사이의 자연스러운 전단사 관계를 수립하는 것.
• 히드로 알지브라 변형을 통해 파라보릭 부분군에서 유도된 표현 내에서 무자리 표현의 중복도를 결정하는 것.
• $ \overline{\mathbb{Q}}_\ell^* $ 모듈로 $ \{ q^r \mid r \in \mathbb{Z} \} $의 $ \tau_\lambda $-코스레트가 캐릭터 쉘프의 모노드로미를 제어하는 방식을 특성화하는 것.
• 만일 $ G/Z_G $가 $ E_8 $ 또는 $ F_4 $ 유형이면, 쿠스피달 표현 $ \lambda' $ 과 $ \lambda'' $ 이 $ R_{w_*} $ 내에서 특정 중복도 행동을 보이며, $ (\lambda':R_{w_*}) = 1 $ 이고 $ (\lambda'':R_{w_*}) = 0 $ 임을 증명하는 것.

제안 방법

• 무자리 표현을 $ G^F $-모듈로서 코homological 실현 $ H^i_c(X_w, \overline{\mathbb{Q}}_\ell) $ 으로 사용한다.
• $ \overline{\mathbb{Q}}_\ell^* / \{ q^r \} $ 를 통해 캐릭터 쉘프의 모노드로미를 제어하기 위해 $ \tau_\lambda $-코스레트 구성법을 적용한다.
• $ L_J^F $의 쿠스피달 표현 $ \lambda_0 $ 에서 $ G^F $ 로의 표현 유도 $ I(J, \zeta) $ 를 수행하며, 이는 $ U_q $ 내에서 직합을 이룬다.
• $ U_{q,J,\zeta} $ 와 $ q $-매개변수를 갖는 $ W^S/J $ 의 히드로 알지브라 변형의 불가약 표현 사이에 자연스러운 전단사 관계를 수립한다.
• 쿠스피달 표현에 대한 자연스러운 전단사 관계 $ S_W^0 \sim U_q^0 $ 를 수립하며, 이는 $ L_J/Z_{L_J} $ 가 단순하거나 자명할 경우 유도된다.
• 루스티그(1984, 1993)의 캐릭터 쉘프와 $ \tau_\lambda $-코스레트에 관한 결과를 적용하여 중복도 공식을 도출한다.

실험 결과

연구 질문

• RQ1 캐릭터 쉘프를 공轭류로 제한함으로써 $ G^F $ 의 무자리 표현을 어떻게 분류할 수 있는가?
• RQ2 $ \overline{\mathbb{Q}}_\ell^* $ 의 $ \tau_\lambda $-코스레트와 캐릭터 쉘프의 모노드로미 사이의 정확한 관계는 무엇인가?
• RQ3 유도 표현 $ I(J, \zeta) $ 는 $ U_q $ 내에서 불가약한 무자리 표현으로 어떻게 분해되는가?
• RQ4 가상 표현 $ R_w = \sum_i (-1)^i H^i_c(X_w, \overline{\mathbb{Q}}_\ell) $ 내에서 무자리 표현 $ \lambda $ 의 중복도는 무엇인가?
• RQ5 $ G/Z_G $ 가 $ E_8 $ 또는 $ F_4 $ 유형일 경우, $ R_{w_*} $ 내에서 쿠스피달 표현 $ \lambda' $ 과 $ \lambda'' $ 의 행동은 어떠한가?

주요 결과

• 모든 $ \lambda \in U_q^0 $ 에 대해 $ \zeta \in \tau_\lambda $ 를 만족하는 유일한 전단사 관계 $ S_W^0 \sim U_q^0 $ 가 존재한다.
• $ G/Z_G $ 가 $ E_8 $ 또는 $ F_4 $ 유형일 경우, 쿠스피달 표현 $ \lambda' $ 는 $ (\lambda': R_{w_*}) = 1 $ 을 만족하고, $ \lambda'' $ 는 $ (\lambda'': R_{w_*}) = 0 $ 을 만족한다.
• $ I(J, \zeta) $ 의 유도 표현 내에서의 무자리 표현 집합 $ U_{q,J,\zeta} $ 는 $ q $-매개변수를 갖는 히드로 알지브라 변형을 통해 $ \mathrm{Irr}(W^S/J) $ 와 자연스러운 전단사 관계를 맺는다.
• 유도 표현 $ I(J, \zeta) $ 는 $ U_q $ 내에서 불가약한 무자리 표현의 직합이며, $ \lambda \in U_{q,J,\zeta} $ 이다 하는 것과 $ \lambda $ 가 $ I(J, \zeta) $ 에 나타나는 것은 동치이다.
• $ \tau_\lambda $-코스레트는 $ \{ q^r \} $ 모듈로 잘 정의되어 있으며, $ \lambda $ 가 $ H^i_c(X_w, \overline{\mathbb{Q}}_\ell) $ 에 나타나는 모든 모노드로미 고유값 $ \mu $ 를 포함한다.
• 이 분류는 루스티그의 이전 결과 [L2, 3.9] 및 [L3, 11.2] 와 일관되며, 특히 $ \tau_\lambda $ 와 유도 표현의 행동을 포함한다.