[논문 리뷰] Simple algebraic groups are (usually) determined by an invariant

Skip Garibaldi, Robert M. Guralnick|arXiv (Cornell University)|2013. 09. 25.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 간단한 대수적 군, 특히 E8 유형에 속하는 군들이 일반적으로 기약 유리 G-모듈러 V 위의 동차 다항식의 불변성에 대한 정 stabilizer의 항등원 성분으로서 실현됨을 보여준다. 이는 특성 ≠ 2일 때, G가 Lie(E8) 위의 차수 8 형식의 자동형사상 군으로서 나타나며, 기약 다항식이 충분히 작을 경우 기약 다항식이 일반적으로 충분함을 보여준다.

ABSTRACT

Let G be a simple algebraic group over an algebraically closed field k and V be a irreducible rational kG-module. We show that, for a typical G-invariant polynomial function f on V, the identity component of the stabilizer of f in GL(V) is G. As a specific example, we show that groups of type E8 are automorphism groups of certain degree 8 homogeneous forms on Lie(E8). We also classify all irreducible G-modules V such that the dimension of the invariant rings for G and H are the same with G < H < SL(V). We also show that for characteristic not 2, there almost always exists an irreducible tensor indecomposable kG-module so that G is the identity component of the stabilizer in SL(V) of a homogeneous polynomial that has degree at most 3.

연구 동기 및 목표

• 기약 유리 G-모듈러 V 위의 G-불변 다항식 f에 대해, GL(V) 내에서 f의 안정자(stabilizer)의 항등원 성분이 G 자체가 되는지 여부를 결정하는 것.
• G와 그 오버군 H (G < H < SL(V))의 불변환자환의 차원이 같은 기약 G-모듈러 V를 특성화하는 것.
• 특성 ≠ 2일 때, 기약 텐서 분해 불가능한 G-모듈러 V가 존재하여, G가 차수 ≤ 3인 동차 다항식의 안정자에서 항등원 성분으로서 나타남을 보여주는 것.
• 특히 E8와 같은 예외적 군들에 대해, 차수 8의 동차 형식을 사용하여 이러한 불변성을 명시적으로 구성하는 것.

제안 방법

• 기약 유리 G-모듈러 위의 G-불변 다항식 함수를 분석하기 위해 대수적 군의 표현 이론을 활용하는 것.
• 일반적인 G-불변 다항식 f에 대해 GL(V) 내에서의 안정자 부분군을 분석하고, 그 항등원 성분에 집중하는 것.
• G와 오버군 H 간의 불변환자환의 차원 비교를 통해, 불변환자환이 동형인 모듈러를 분류하는 것.
• E8의 고정 모듈러 위에서 차수 8의 동차 다항식을 명시적으로 구성하여, 그 자동형사상 군이 정확히 안정자의 항등원 성분임을 보장하는 것.
• 텐서 분해 불가능한 모듈러 이론과 낮은 차수의 불변성을 활용하여, 기수 특성에서 정의 다항식의 차수를 감소시키는 것.
• E8의 리 대수의 구조를 활용하여, 고정 작용에 대해 불변인 차수 8 형식을 정의하고 분석하는 것.

실험 결과

연구 질문

• RQ1 기약 유리 G-모듈러 V 위의 일반적인 G-불변 다항식 f에 대해, GL(V) 내에서 f의 안정자에 대한 항등원 성분이 G 자체가 되는가?
• RQ2 G와 SL(V) 내의 오버군 H < SL(V)가 불변환자환의 차원이 동일한 조건은 언제 성립하며, 어떤 모듈러 V가 이를 만족하는가?
• RQ3 기수 특성에서, 단순 대수적 군 G가 차수 3 이하의 동차 다항식의 안정자에 대한 항등원 성분으로서 실현될 수 있는가?
• RQ4 E8의 고정 모듈러 위의 차수 8 동차 형식의 자동형사상 군의 구조는 어떠한가?
• RQ5 G가 단순하고 H가 G의 진오버군일 때, G와 H의 불변성은 어떻게 비교되는가?

주요 결과

• 기약 유리 G-모듈러 V 위의 일반적인 G-불변 다항식 f에 대해, GL(V) 내에서 f의 안정자에 대한 항등원 성분은 G 자체이다.
• E8 유형의 군들은 Lie(E8)의 고정 모듈러 위의 특정 차수 8 동차 형식의 자동형사상 군으로서 실현된다.
• G와 SL(V) 내의 임의의 오버군 H의 불변환자환이 동일한 차원을 가지는 기약 G-모듈러 V의 분류가 존재한다.
• 특성 ≠ 2일 때, 항상 기약 텐서 분해 불가능한 G-모듈러 V가 존재하여, G가 차수 ≤ 3인 동차 다항식의 안정자에서 항등원 성분으로서 나타난다.
• 일반적인 G-불변 다항식 f에 대해, f의 안정자는 일반적으로 가능한 한 작으며, G는 그 항등원 성분이다.
• E8에 대한 구성은 고정 표현 위에서 정확히 안정자의 항등원 성분과 일치하는 자동형사상 군을 가지는 특정 차수 8 형식에 기반한다.