[논문 리뷰] Adjoint Jordan Blocks

George J. McNinch|ArXiv.org|2002. 06. 28.

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

한 줄 요약

이 논문은 매우 양호한 특성에서 쿼asi단순 대수적 군에 대해, 순수한 원소의 차수 $ p $ 를 갖는 경우, 그에 대응하는 유니포텐트 원소와 리 대수 원소의 고정된 조르당 블록 분할이 동일하다는 것을 증명한다. 고전적 군들과 $ G_2 $ 에 대해서는 유니포텐트 원소의 차수에 제한 없이 이 성질이 성립하며, 이는 텐서곱 비교와 포스움의 정리에 대한 새로운 증명을 통해 이루어진다.

ABSTRACT

Let G be a quasisimple algebraic group over an algebraically closed field of characteristic p>0. We suppose that p is very good for G; since p is good, there is a bijection between the nilpotent orbits in the Lie algebra and the unipotent classes in G. If the nilpotent X in Lie(G) and the unipotent u in G correspond under this bijection, and if u has order p, we show that the partitions of ad(X) and Ad(u) are the same. When G is classical or of type G_2, we prove this result with no assumption on the order of u. In the cases where u has order p, the result is achieved through an application of results of Seitz concerning good A_1 subgroups of G. For classical groups, the techniques are more elementary, and they lead also to a new proof of the following result of Fossum: the structure constants of the representation ring of a 1-dimensional formal group law F are independent of F.

연구 동기 및 목표

• 대수적 군의 표현에서 유니포텐트 원소와 노름원소의 조르당 블록 분할 간의 대응 관계를 확립한다.
• 이 대응 관계를 $ p $-노름원소의 경우를 초월하여 고전적 군들과 $ G_2 $ 에까지 확장하여, 유니포텐트 원소의 차수에 제한 없이 적용한다.
• 1차원 형식적 군법의 표현 링의 구조 상수들이 선택한 형식적 군법에 의존하지 않는다는 포스움의 결과에 대한 새로운 증명을 제공한다.
• 양의 특성에서의 고정된 표현의 구조를 웨일 군 작용과 카르탕 부분대수에서의 고유값 자료와 연결한다.
• 스엘 2-삼중체와 그라디에이션 모듈을 사용하여 코스타ント의 정규 노름원소 결과를 더 넓은 범위의 노름원소로 일반화한다.

제안 방법

• 매우 양호한 특성에서 유니포텐트 원소의 고정된 작용을 분석하기 위해 세츠의 양호한 $ A_1 $-형 부분군 결과를 사용한다.
• 노름원소 궤도와 유니포텐트 원소의 동치 클래스를 연결하기 위해 $ p $-거듭제곱 사상과 보존하는 스프링거 동형사상 $ \theta: \mathcal{N} \to \mathcal{U} $ 를 적용한다.
• 스엘 2-삼중체를 사용하여 리 대수를 기약 표현으로 분해하고, 해당 웨일 군 원소의 작용을 분석한다.
• 고전적 군들에서 그룹 유형과 리 대수 유형의 텐서곱을 비교하여 $ \operatorname{Ad}(u) $ 와 $ \operatorname{ad}(X) $ 의 구조를 연결한다.
• 웨일 군의 불변량에 관한 셰바일리의 정리를 사용하여 웨일 군 작용의 고유값을 $ \operatorname{ad}(X) $ 의 조르당 블록 크기와 연결한다.
• 노름원소 궤도에서 웨일 군의 동치류로의 카즈단-루즈티그 사상 적용하고, 이가 조르당 블록 구조와 호환되는지 조사한다.

실험 결과

연구 질문

• RQ1 유니포텐트 원소 $ u $ 와 그에 대응하는 노름원소 $ X $ 의 고정된 조르당 블록 분할이 일치하는 조건은 무엇인가?
• RQ2 고전적 군들과 $ G_2 $ 에서는 유니포텐트 원소의 차수가 $ p $ 뿐 아니라 임의의 차수일 때에도 분할 동치가 성립하는가?
• RQ3 고전적 군들에서 사용된 기법이 1차원 형식적 군법의 표현 링 상수들이 형식적 군법의 선택에 의존하지 않는다는 포스움의 정리에 대한 새로운 증명을 이끌어낼 수 있는가?
• RQ4 카르탕 부분대수에서 정규 웨일 군 원소의 작용이 노름원소 $ X $ 에 대해 $ \operatorname{ad}(X) $ 의 조르당 블록 구조를 어느 정도 결정하는가?
• RQ5 웨일 군 고유값 자료를 통해 코스타ント의 정규 노름원소 결과를 비정규 노름원소로 일반화할 수 있는가?

주요 결과

• 매우 양호한 특성에서 쿼اسي단순 대수적 군에 대해, $ u $ 가 차수 $ p $ 의 유니포텐트 원소이고 $ X $ 가 그에 대응하는 $ p $-노름원소일 경우, $ \operatorname{Ad}(u) $ 와 $ \operatorname{ad}(X) $ 는 동일한 조르당 블록 분할을 가진다.
• 고전적 군들과 $ G_2 $ 에서는 $ u $ 의 차수에 제한 없이 분할 동치가 성립하여, $ p $-노름원소의 경우를 초월한 결과를 확장한다.
• 그룹 유형과 리 대수 유형의 텐서곱 비교 기법은 포스움의 정리에 대한 새로운 증명을 이끌어낸다: 1차원 형식적 군법의 표현 링의 구조 상수는 형식적 군법의 선택에 영향을 받지 않는다.
• 관련된 $ \mathfrak{sl}_2 $-삼중체가 $ \mathfrak{g}(-2n) $ 에서 정규 준단순 원소를 유도하는 노름원소 $ X $ 에 대해, 고정된 작용 $ \operatorname{ad}(X) $ 는 크기 $ 2f_i + 1 $ 의 조르당 블록을 가진다. 여기서 $ f_i \equiv -e_i \pmod{n} $ 이고 $ e_i $ 는 웨일 군의 지수이다.
• 카즈단-루즈티그 사상에 의해 $ X $ 와 연결된 웨일 군 원소의 고유값은 $ \operatorname{ad}(X) $ 의 조르당 블록 크기 중 $ r $ 개를 설명한다. 여기서 $ r $ 은 군의 랭크이다.
• 경험적 증거는, 정규 웨일 군 동치류를 가진 특수한 노름원소의 경우에도 고유값 자료가 여전히 $ r $ 개의 조르당 블록 크기를 결정한다는 것을 시사하지만, 일반적인 증명은 아직 열려있다.