[논문 리뷰] Optimal SL(2)-homomorphisms

George J. McNinch|ArXiv.org|2003. 09. 23.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 9

한 줄 요약

이 논문은 매우 양호한 특성의 대수적으로 닫힌 체 위의 단순 대수적 군 G로의 최적 SL(2)-호모모르피즘의 켤레성(conjugacy)을 확립한다. 주어진 나이플로턴 원소 X에 대해 이러한 호모모르피즘 두 개가 X의 연결 중심화자에 의해 켤레임을 보이며, 이는 주요 호모모르피즘의 켤레류의 유일성과 최적 호모모르피즘의 상이 G-완전적으로 가역적 부분군임을 보여준다. 결과는 X가 K-유리적이고 p-나이플로턴일 경우 임의의 기저 체 위의 유리적 구조로 확장된다.

ABSTRACT

Let G be a semisimple group over an algebraically closed field of very good characteristic for G. In the context of geometric invariant theory, G. Kempf has associated optimal cocharacters of G to an unstable vector in a linear G-representation. If the nilpotent element X in Lie(G) lies in the image of the differential of a homomorphism SL(2) --> G, we say that homomorphism is optimal for X, or simply optimal, provided that its restriction to a suitable torus of SL(2) is optimal for X in Kempf's sense. We show here that any two SL(2)-homomorphisms which are optimal for X are conjugate under the connected centralizer of X. This implies, for example, that there is a unique conjugacy class of principal homomorphisms for G. We show that the image of an optimal SL(2)-homomorphism is a completely reducible subgroup of G; this is a notion defined recently by J-P. Serre. Finally, if G is defined over the (arbitrary) subfield K of k, and if X in Lie(G)(K) is a K-rational nilpotent element whose p-th power is 0, we show that there is an optimal homomorphism for X which is defined over K.

연구 동기 및 목표

• 대수적으로 닫힌 체 위의 단순 대수적 군 G에서 나이플로턴 원소 X에 대한 최적 SL(2)-호모모르피즘의 켤레성을 확립한다.
• 모든 최적 SL(2)-호모모르피즘의 상이 세르가 정의한 G-완전적으로 가역적 부분군임을 증명한다.
• X가 K-유리적이고 p-나이플로턴 원소일 경우 기저 체 K 위에서 정의된 최적 SL(2)-호모모르피즘의 존재를 보여준다.
• 최적 호모모르피즘이 세이츠가 정의한 양호한(제한된) A₁-부분군의 개념과 동치임을 보여준다.
• 불안정성 플래그와 공표자 켤레성에 관한 결과를 SL(2)-호모모르피즘의 맥락으로 일반화한다.

제안 방법

• Kempf와 Rousseau가 개발한 기하학적 불변량 이론의 최적 공표자 이론을 사용하여, SL₂의 표준 토러스로 제한함으로써 최적 SL(2)-호모모르피즘을 정의한다.
• Hilbert-Mumford 기준과 순서 공식을 적용하여 p-나이플로턴 원소와 관련된 공표자의 가중치를 분석한다.
• Seitz의 기울어진 모듈러와 양호한 호모모르피즘에 관한 결과를 활용하여, 최적 호모모르피즘을 통한 SL₂의 고정 표현이 기울어진 모듈러임을 보여준다.
• 공표자에 대한 켤레 결과와 중심화자의 구조를 이용하여 최적 호모모르피즘이 C_G⁰(X)에 의해 켤레임을 증명한다.
• 기저 체 K 위로의 내림 기법과 유리성 기법을 적용하여 X가 K-유리적이고 p-나이플로턴일 경우 최적 호모모르피즘을 K 위로 내림시킨다.
• Springer의 나이플로턴 원소와 유니포텐트 궤도 사이의 이sovom르피즘과 Frobenius 전개 이론을 활용하여 리 대수의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 고정된 나이플로턴 원소 X ∈ Lie(G)에 대해 모든 최적 SL(2)-호모모르피즘은 X의 연결 중심화자에 의해 켤레인가?
• RQ2 최적 SL(2)-호모모르피즘의 상은 G의 G-완전적으로 가역적 부분군인가?
• RQ3 K-유리적이고 p-나이플로턴 원소 X에 대해 기저 체 K 위에서 정의된 최적 SL(2)-호모모르피즘이 존재하는가?
• RQ4 최적 SL(2)-호모모르피즘은 세이츠가 정의한 양호한(제한된) A₁-부분군 개념과 어떻게 관련이 있는가?
• RQ5 양호한 특성에서 주요 호모모르피즘에 대한 G-켤레류가 유일한가?

주요 결과

• 모든 최적 SL(2)-호모모르피즘은 X에 대해 연결 중심화자 C_G⁰(X)에 의해 켤레이며, 이는 정리 44에서 입증되었다.
• 모든 최적 SL(2)-호모모르피즘의 상은 G의 G-완전적으로 가역적 부분군이며, 이는 정리 52에서 증명되었다.
• 모든 K-유리적이고 p-나이플로턴 원소 X ∈ Lie(G)(K)에 대해 K 위에서 정의된 최적 SL(2)-호모모르피즘이 존재한다.
• p-나이플로턴 원소와 관련된 공표자의 가중치는 2p−2 이하로 유계이므로, 최적 호모모르피즘은 세이츠의 의미에서 양호하다.
• 최적 호모모르피즘의 켤레성에 따라 주요 호모모르피즘에 대한 G-켤레류가 유일하게 존재한다.
• φ가 최적 호모모르피즘일 경우, Ad∘φ에 의한 고정 표현 (Ad∘φ, Lie(G))는 SL₂에 대해 기울어진 모듈러이다. 이 결과는 켤레성 증명에 사용되었다.