[논문 리뷰] Remarks on Springer's representations

G. Lusztig|ArXiv.org|2008. 11. 03.

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

한 줄 요약

이 논문은 스프링거의 웨일 군 표현과 루스티그의 $ T^p_W $-시리즈 사이의 정확한 대응 관계를 확립하며, 모든 유한 웨일 군과 악성 소수에 대해, 스프링거 대응으로부터 유도된 유니포텐트 문자의 집합 $ S_g $ 가 $ T^p_W $, 즉 일반화된 그린 함수로부터 유도된 기약 표현의 집합과 정확히 일치함을 증명한다. 결과는 알려진 문자 공식과 귀납 기법을 사용하여 각 케이스별로 검증되며, 리 유형의 유한군 표현 이론에서 핵심적인 구조적 질문을 해결한다.

ABSTRACT

We give an apriori description of a set of irreducible representations of a Weyl group which parametrize the nilpotent orbits in the Lie algebra of a connected reductive group in arbitrary characteristic. We also answer a question of Serre concerning the conjugacy class of a power of a unipotent element in a connected reductive group.

연구 동기 및 목표

• 유한 리 군의 유형에 속하는 $ S_g $ 의 유니포텐트 표현과 루스티그가 정의한 $ T^p_W $-시리즈 사이의 정확한 일치를 확립하기 위해.
• 해당 대수적 군 $ G $ 에 대해 소수 $ p $ 가 악성일 때, 모든 웨일 군에서 $ S_g = T^p_W $ 가 성립함을 검증하기 위해.
• 좋은 소수에서 알려진 등식 $ S_g = T^p_W $ 를 악성 소수로 확장하기 위해, 명시적인 문자 기술과 귀납을 사용하기 위해.
• 예외적 유형(예: $ E_8 $, $ F_4 $)에서 악성 소수일 때 $ S_g $ 의 구조를 해결하기 위해, 이 경우 $ S_g $ 는 $ S_G $ 를 엄격히 포함한다.
• 모든 경우에서 조합론적 및 표현론적 정의된 $ T^p_W $ 가 기하학적 스프링거 대응과 일치함을 확인하기 위해.

제안 방법

• 각 웨일 군 $ W $ 에 대해, 루스티그(1986, 1987)의 작업에서 유도된 맵 $ j_W^J_W $ 를 사용하여 귀납적으로 $ T^p_W $ 를 계산한다.
• 좋은 소수에 대한 유니포텐트 문자 $ S^1_W $ 의 알려진 기술을 귀납의 기저 사례로 사용한다.
• 루스티그(1986, 1987)의 $ j_W^J_W $ 의 명시적 공식과 알비스(1987)의 표를 사용하여 예외적 유형에 대해 적용한다.
• 악성 소수의 경우, 스파alten슈타인의 $ S_g $ 를 $ \text{Irr}(W) $, $ \tilde{C}_k^n $, $ \tilde{D}_k^n $, 또는 특정 문자로의 명시적 기술을 사용한다.
• 모든 유형 $ B_n, C_n, D_n, G_2, F_4, E_6, E_7, E_8 $ 에 대해, $ p $ 가 악성일 때 $ S_g $ 와 $ T^p_W $ 를 사례별로 비교한다.
• 문자 차수(예: $ b_{50_x} = 8 $, $ b_{700_{xx}} = 16 $)를 사용하여 $ S_g \backslash S_G $ 가 $ T^p_W \backslash T^1_W $ 와 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 해당 대수적 군 $ G $ 에 대해 소수 $ p $ 가 악성일 때, 모든 웨일 군에서 $ S_g = T^p_W $ 가 성립하는가?
• RQ2 악성 소수에서 예외적 유형에서 스프링거 표현 $ S_g $ 는 $ S_G $ 와 어떻게 다를까?
• RQ3 악성 소수일 때도 귀납과 알려진 맵 $ j_W^J_W $ 를 사용하여 $ T^p_W $-시리즈를 통일적으로 계산할 수 있는가?
• RQ4 $ p=2 $ 일 때 유형 $ B_n, C_n, D_n $ 에서 $ S_g $ 의 정확한 조합론적 기술은 무엇인가?
• RQ5 예외적 유형 $ E_8 $ 에서 $ S_g \backslash S_G $ 에 속하는 추가 유니포텐트 문자의 문자 차수(예: $ 50_x, 700_{xx} $)가 $ T^p_W $ 와 일치하는가?

주요 결과

• $ C_n $ 유형의 $ G $ 에 대해($ p=2 $), $ S_g = \text{Irr}(W) $ 이며, 이는 $ T^p_W $ 와 일치한다.
• $ B_n $ 유형의 $ G $ 에 대해($ p=2 $), $ S_g = \{[a_*,a'_*] \in \text{Irr}(W) \mid (a_*,a'_*) \in \tilde{C}_k^n \} $ 이며, 이는 $ T^p_W $ 와 같다.
• $ D_n $ 유형의 $ G $ 에 대해($ p=2 $), $ S_g = \zeta^{-1}(\tilde{D}_k^n) $ 이며, 이는 $ T^p_W $ 와 일치한다.
• $ F_4 $ 유형의 $ G $ 에 대해($ p=2 $), $ S_g = S_G \sqcup \{1_3, 2_3\} $ 이며, $ b_{1_3} = 12 $, $ b_{2_3} = 4 $ 이며, 이는 $ T^p_W $ 와 일치한다.
• $ E_8 $ 유형의 $ G $ 에 대해($ p=2 $), $ S_g = S_G \sqcup \{50_x, 700_{xx}\} $ 이며, $ b_{50_x} = 8 $, $ b_{700_{xx}} = 16 $ 이며, 이는 $ T^p_W $ 와 일치한다.
• 모든 경우에서 스프링거와 스파alten슈타인의 $ S_g $ 의 명시적 기술이 $ T^p_W $ 의 귀납적 구성과 일치하며, $ S_g = T^p_W $ 가 확인된다.