[논문 리뷰] On unipotent and nilpotent pieces for classical groups

Ting Xue|arXiv (Cornell University)|2009. 12. 18.

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

한 줄 요약

이 논문은 고전적 군에서 Lusztig의 기하학적 및 표현론적 프레임워크에 의해 정의된 유니포텐트 및 니르포텐트 조각이, 유니포텐트 볼로와 니르포텐트 궤도 위의 폐쇄 관계에 기반한 조합론적 MS-조각과 일치함을 증명한다. 양의 특성에서의 유니포텐트/니르포텐트 볼로에서 특성 0으로의 사상에 대한 닫힌 공식을 제시하며, 이 사상의 섬세한 부분이 정확히 유니포텐트 또는 니르포텐트 조각임을 증명하고, 이러한 조각들 내의 $\textbf{F}_{p^s}$-유리점의 수가 $p$와 $s$에 독립적인 $p^s$에 관한 다항식임을 보이며, 고전적 군에 대한 핵심 추측을 확인한다.

ABSTRACT

We show that the definition of unipotent (resp. nilpotent) pieces for classical groups given by Lusztig (resp. Lusztig and the author) coincides with the combinatorial definition using closure relations on unipotent classes (resp. nilpotent orbits). Moreover we give a closed formula for a map from the set of unipotent classes (resp. nilpotent orbits) in characteristic 2 to the set of unipotent classes in characteristic 0 such that the fibers are the unipotent (resp. nilpotent) pieces.

연구 동기 및 목표

• 고전적 군에서 Lusztig의 기하학적 정의에 의한 유니포텐트 및 니르포텐트 조각과, 유니포텐트 볼로와 니르포텐트 궤도 위의 폐쇄 관계에 의해 정의된 조합론적 MS-조각 간의 동치성을 확립하는 것.
• 양의 특성에서의 유니포텐트 볼로(또는 니르포텐트 궤도)에서 특성 0의 볼로로 가는 사상에 대한 닫힌 공식을 구성하여, 그 섬세한 부분이 정확히 유니포텐트(또는 니르포텐트) 조각이 되도록 하는 것.
• 각 유니포텐트 또는 니르포텐트 조각 내의 $\textbf{F}_{p^s}$-유리점의 수가 $p$와 $s$에 독립적인 $p^s$에 관한 다항식임을 증명하여, [5]에서 제기된 추측을 확인하는 것.
• 특수 조각 이론을 양의 특성으로 확장하고, 그 점 수가 오직 웨일 군에 의존함을 보여, [5]의 진술 6.9(a)를 고전적 군에 대해 확인하는 것.

제안 방법

• 유니포텐트 볼로와 니르포텐트 궤도 위의 폐쇄 관계를 정의하기 위해 분할과 분할 쌍에 대한 조합론적 순서를 사용한다.
• 스프링거 대응을 적용하여 유니포텐트 볼로와 니르포텐트 궤도를 웨일 군의 기약 표현과 연결함으로써 통일된 매개변수화를 가능하게 한다.
• 웨일 군의 표현에 대한 대응을 통해, 양의 특성에서의 유니포텐트/니르포텐트 볼로에서 특성 0 볼로로 가는 상승 사상 $\tilde{\theta}$를 정의한다.
• 특정 특성 0 볼로 위의 섬세한 부분이 정확히 양의 특성에서의 유니포텐트 또는 니르포텐트 조각이 되도록 하는 사상 $\tilde{\theta}$를 도입한다.
• 특성 2에서의 특수 이졸로지 $SO(2n+1) \to Sp(2n)$를 활용하여 직교군과 심플렉틱 군의 유니포텐트 볼로를 연결함으로써 통일된 처리를 가능하게 한다.
• 분할 쌍에 대한 폐쇄 및 지배 순서 조건을 적용하여, 양의 특성에서의 특수 조각이 유니포텐트/니르포텐트 조각의 합집합임을 검증한다.

실험 결과

연구 질문

• RQ1 Lusztig의 기하학적으로 정의된 고전적 군의 유니포텐트 조각은, 유니포텐트 볼로 위의 폐쇄 관계에 기반한 조합론적 MS-조각과 일치하는가?
• RQ2 양의 특성에서의 유니포텐트 볼로에서 특성 0 볼로로 가는 사상에 대해 닫힌 공식이 존재하는가? 이 사상의 섬세한 부분이 정확히 유니포텐트 조각이 되는가?
• RQ3 각 유니포텐트 또는 니르포텐트 조각 내의 $\textbf{F}_{p^s}$-유리점의 수는 $p$와 $s$에 의존하지 않고 $p^s$에 관한 다항식인가?
• RQ4 웨일 군의 표현에 의해 정의된 양의 특성에서의 특수 조각은 유니포텐트 또는 니르포텐트 조각의 합집합인가? 그리고 그 점 수는 오직 웨일 군에 의존하는가?
• RQ5 특수 조각의 다항식 점 수 성질을 양의 특성으로 확장할 수 있는가? 그리고 이는 특성 0에서의 웨일 군 의존성과 일치하는가?

주요 결과

• Lusztig가 정의한 고전적 군의 유니포텐트 조각은, 유니포텐트 볼로 위의 폐쇄 관계에 기반한 MS-조각과 일치한다.
• Lusztig와 저자가 정의한 니르포텐트 조각은, 니르포텐트 궤도 위의 폐쇄 관계에 기반한 MS-조각과 일치한다.
• 특성 2에서의 유니포텐트 볼로에서 특성 0의 유니포텐트 볼로로 가는 사상에 대한 닫힌 공식을 구성하였으며, 그 섬세한 부분이 유니포텐트 조각과 정확히 일치한다.
• 각 유니포텐트 또는 니르포텐트 조각 내의 $\textbf{F}_{p^s}$-유리점의 수는 $p$와 $s$에 독립적인 $p^s$에 관한 다항식이며, 이는 [5]의 진술 6.8(a)를 고전적 군에 대해 확인한다.
• 양의 특성에서의 특수 조각은 유니포텐트 또는 니르포텐트 조각의 합집합이며, 그 점 수는 오직 웨일 군에 의존하는 $p^s$에 관한 다항식이다. 이는 [5]의 진술 6.9(a)를 확인한다.
• 특성 2에서의 특수 이졸로지 $SO(2n+1) \to Sp(2n)$는 직교군과 심플렉틱 군의 유니포텐트 볼로를 식별할 수 있게 하여, 점 수의 통일된 처리를 가능하게 한다.