[논문 리뷰] From unipotent classes to conjugacy classes in the Weyl group

G. Lusztig|arXiv (Cornell University)|2010. 08. 16.

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

한 줄 요약

이 논문은 체의 특성 p에 대한 조건 하에서 재수성 대수적 군 G의 유니포텐트 족사류에서 그의 웨일 군 W의 족사류로의 정규역사상 Ψ를 구성한다. 핵심 결과는 각 유니포텐트 족사류 γ에 대해 반사 표현 위에서 w ∈ W가 작용할 때 고정점 공간의 차원 m_C가 유일한 최소값을 갖는 단일 족사류 C₀에서 도달하며, 이에 따라 Ψ(γ) = C₀로 정의되어, 웨일 군 족사류에서 유니포텐트 족사류로의 사상 Φ에 대한 잘 정의된 한쪽 역사상이 된다.

ABSTRACT

Let G be a connected reductive group. We define a map from the set of unipotent classes in G to the set of conjugacy classes in the Weyl group (assuming that the characteristic is not bad). This map is a one sided inverse of a map in the opposite direction constructed in an earlier paper.

연구 동기 및 목표

• 유니포텐트 족사류 → 웨일 군 족사류로의 정규역사상 Ψ를 정의하고, Φ ∘ Ψ = id를 만족시키기 위해.
• Φ: 웨일 군 족사류 → 유니포텐트 족사류로의 사상이 잘 정의된 한쪽 역사상을 갖는 조건을 설정하기 위해.
• 각 유니포텐트 족사류 γ에 대해, C ↦ m_C(각 w ∈ C가 반사 표현 위에서 작용할 때 고정점 공간의 차원)가 Φ⁻¹(γ)에서 유일 최소값을 갖는다는 것을 증명하기 위해.
• 형 A에서 알려진 결과를 확장하고, 형 B, C, D 및 예외적 군에 대해 통일된 구성법을 제공하기 위해.
• Ψ가 유니포텐트 조각들과 양의 특성 p에서의 유니포텐트 다양체의 기하학적 구조와 호환되는지 검증하기 위해.

제안 방법

• 웨일 군 W의 반사 표현 V에서 w ∈ C가 작용할 때의 고정점 공간의 차원 m_C를 정의한다.
• 정수 분할에 대한 조합 구조: P¹, T, S, P⁰, Q, R 및 그들 간의 전단사 사상으로 유니포텐트 및 웨일 군 족사류를 매개변수화한다.
• A′_n → T_n 전단사 사상 ι 및 그 역 ι′를 구성하여, 각 c* ∈ T_n에 대해 |p*|가 최소가 되는 유일한 (r*, p*) ∈ S × P̃ 가 존재함을 보인다.
• 모든 c* ∈ T_n에 대해 (r*, p*) = ι′(c*) 가 p*의 원소 수를 최소화함을 증명하여, 최소 m_C의 유일성 보장.
• P_κ^n → R_n 사상 Ξ를 정의하여 분할을 웨일 군 족사류와 연결하며, Ξ 및 Ξ′가 상호 역관계를 가짐을 보인다.
• 모든 e에 대해 N′_e ≥ N_e 이며, 등호가 성립하는 경우에만 (r′*, p′*) = (r*, p*)임을 이용해 최소 m_C의 유일성을 불등식을 통해 검증한다.

실험 결과

연구 질문

• RQ1 p가 악성 소수가 아니거나 G가 예외적 군일 때, 각 유니포텐트 족사류 γ에 대해 C ↦ m_C 함수가 Φ⁻¹(γ)에서 유일 최소값을 갖는가?
• RQ2 m_C의 최소화를 통해 유니포텐트 족사류에서 웨일 군 족사류로의 정규역사상 Ψ를 정의할 수 있는가?
• RQ3 이 논문에서 구성된 Ψ는 유니포텐트 다양체의 기하학적 유니포텐트 조각 분해와 호환되는가?
• RQ4 p = 0일 때, Ψ는 [KL, 섹션 9]에서 정의된 사상과 일치하는가?
• RQ5 분할에 대한 조합 구조(T_n, R_n 등)는 어떻게 웨일 군 족사류와 그들의 고정점 공간 차원을 표현하는가?

주요 결과

• 모든 유니포텐트 족사류 γ에 대해, 함수 C ↦ m_C는 Φ⁻¹(γ) 내에서 유일한 족사류 C₀에서 최소값을 갖는다. 이는 Ψ: γ ↦ C₀로의 잘 정의된 사상이 존재함을 보장한다.
• Ψ: 유니포텐트 족사류 → 웨일 군 족사류는 Φ ∘ Ψ = id를 만족하므로, Φ에 대한 한쪽 역사상이 된다.
• 최소화자 C₀의 유일성은 조합론적 방법으로 증명되며, 임의의 다른 (r′*, p′*) ∈ ι⁻¹(c*)에 대해 ∑_e N′_e > ∑_e N_e 이므로 m_{C′} > m_C 임을 보였다.
• 형 A의 경우, 사상 Φ는 전단사이므로 Ψ는 자명하게 잘 정의되며, Φ의 역사상과 일치한다.
• 형 B, C, D 및 예외적 군의 경우, 최소 m_C 경우를 매개변수화하기 위해 분할 이론적 전단사 사상(예: Ξ 및 ι′)을 활용한다.
• 양의 특성 p에서, Ψ는 일부 족사류에 대해 수정된다: p = 2 또는 p = 3일 경우 일부 유니포텐트 족사류가 여러 개의 족사류로 분할되며, Ψ는 이에 따라 타원형 또는 수정된 족사류로 사상한다(예: (A₃ + A₂)₂, (D₈)₃). 이 경우에도 최소성 조건이 유지된다.