[논문 리뷰] Generically multiple transitive algebraic group actions

Vladimir L. Popov|ArXiv.org|2004. 09. 02.

Advanced Topics in Algebra참고 문헌 23인용 수 22

한 줄 요약

이 논문은 연결된 대수적 군 G의 일반적 전이도(generic transitivity degree, gtd)를 도입한다. gtd(G)는 G가 어떤 기약 다양체 X 위에서 일반적으로 n중 전이적으로 작용하는 최대의 n으로 정의되며, 이는 X^n 상에서 대각 G작용이 열린 궤도를 가짐을 의미한다. 논문은 약순군의 gtd ≤ 2임을 보이며, 비가환 단순 대수적 군의 경우, gtd(G)는 그의 최대 극대 포물하부군 P에 대해 G/P의 곱 (G/P)^3에서 열린 궤도가 존재하는지 여부에 대한 M. 버거의 질문을 해결한다. 또한, G/P 위에서 일반적으로 3중 전이적으로 작용하는 모든 쌍 (G, P)를 분류하고, gtd 이론을 이용해 텐서곱 분해에서 자명 표현의 중복도에 대한 상한을 제공한다.

ABSTRACT

With every nontrivial connected algebraic group $G$ we associate a positive integer ${ m gtd}(G)$ called the generic transitivity degree of $G$ and equal to the maximal $n$ such that there is a nontrivial action of $G$ on an irreducible algebraic variety $X$ for which the diagonal action of $G$ on $X^n$ admits an open orbit. We show that ${ m gtd}(G)\leqslant 2$ (respectively, ${ m gtd}(G)= obreak 1$) for all solvable (respectively, nilpotent) $G$, and we calculate ${ m gtd}(G)$ for all reductive $G$. We prove that if $G$ is nonabelian reductive, then the above maximal $n$ is attained for $X=G/P$ where $P$ is a proper maximal parabolic subgroup of $G$ (but not only for such homogeneous spaces of $G$). For every reductive $G$ and its proper maximal parabolic subgroup $P$, we find the maximal $r$ such that the diagonal action of $G$ (respectively, a Levi subgroup $L$ of ~$P$) on $(G/P)^r$ admits an open $G$-orbit (respectively, $L$-orbit). As an application, we obtain upper bounds for the multiplicities of trivial components in some tensor product decompositions. As another application, we classify all the pairs $(G, P)$ such that the action of $G$ on $(G/P)^3$ admits an open orbit, answering a question of {\sc M. Burger}.

연구 동기 및 목표

• 연결된 대수적 군의 일반적 전이도(gtd)를 정의하고 계산함으로써 다중 전이 군 작용의 개념을 일반화한다.
• 간단한 대수적 군 G가 극대 포물하부군 P에 대해 (G/P)^3 위에서 열린 궤도를 가지는지 여부에 대한 M. 버거의 질문을 해결한다.
• G가 G/P 위에서 일반적으로 3중 전이적으로 작용하는 모든 쌍 (G, P)를 분류한다.
• gtd 이론을 활용해 텐서곱 분해에서 자명 표현 성분의 중복도에 대한 상한을 제공한다.

제안 방법

• G가 어떤 비자명한 기약 다양체 X 위에서 작용할 때, X^n 상에서 대각 G작용이 열린 궤도를 가지는 최대의 n을 gtd(G)로 정의한다.
• 표현 이론과 기하학적 불변량 이론을 사용하여 포물하다양체 G/P의 곱에서 열린 궤도의 존재성을 분석한다.
• Schofield의 작업을 통해 양차형과 쿠이버 표현 이론의 결과를 응용하여, 유형 A 군의 gtd를 계산하며, Rep(V_d, λ)에서 GL_λ-궤도 존재 조건으로 ⟨λ,λ⟩ > 0 를 사용한다.
• 이소지니(invariant)와 리베 부분군 축소를 통해 gtd(G)를 단순 성분의 gtd와 연결하며, 특히 재수정 군의 경우에 유용하다.
• 웨일 군의 작용과 반사 함수자(r_i)를 활용하여 차원 벡터의 동치류를 통해 문제를 기본 사례로 축소한다.
• gtd(G) > n 이라면 반드시 n·dim X > dim G 를 만족함을 이용하여 gtd(G)의 최대 가능치에 대한 상한을 제공한다.

실험 결과

연구 질문

• RQ1 연결된 단순 대수적 군 G와 적절한 극대 포물하부군 P에 대해, G가 (G/P)^3 위에서 열린 궤도를 가지는가?
• RQ2 연결된 대수적 군 G가 어떤 기약 다양체 X 위에서 일반적으로 n중 전이적으로 작용하는 최대의 n은 무엇인가?
• RQ3 특히 재수정 군의 경우, 이소지니와 군의 곱에 대해 gtd는 어떻게 행동하는가?
• RQ4 어떤 재수정 군이 최대 gtd를 달성하며, 어떤 포물하부군 P에 대해 gtd(G:G/P)가 최대가 되는가?
• RQ5 gtd 이론으로부터 유도된, 재수정 군의 기약 표현 텐서곱에서 자명 표현의 정확한 상한은 무엇인가?

주요 결과

• 약순군 G에 대해 gtd(G) ≤ 2이며, 비가환 단순 군 G에 대해 gtd(G) = 1이다.
• 재수정 군 G에 대해 gtd(G)는 그 단순 성분 S_i에 대한 gtd(S_i)의 최댓값에 의해 결정되며, 임의의 이소지니 Ḡ → G에 대해 gtd(G) = gtd(Ḡ)이다.
• 유형 A_l의 군 G에 대해 gtd(G:G/P_i) = m_{li}이며, 여기서 m_{li}는 a < (l+1)^2 / (i(l+1−i)) 를 만족하는 최대 정수이고, gtd(G) = l+2이다.
• 비아벨 재수정 군 G에 대해 최대 gtd(G)는 어떤 적절한 극대 포물하부군 P에 대해 달성되며, 모든 고전적 및 예외적 유형에 대해 gtd(G:G/P)를 명시적으로 계산한다.
• 논문은 G가 (G/P)^3 위에서 열린 궤도를 가지는 모든 쌍 (G,P)를 분류하여 M. 버거의 질문에 답한다.
• 이론은 재수정 군의 기약 표현 텐서곱에서 자명 표현 성분의 중복도에 대한 상한을 제공한다.