[논문 리뷰] Closed Orbits and uniform S-instability in Geometric Invariant Theory

Michael Bate, Benjamin Martin외 2명|arXiv (Cornell University)|2009. 04. 30.

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

한 줄 요약

이 논문은 비대수적으로 닫힌 체 위에서 재수성군의 작용에 대한 G-궤도의 합리성 결과를 수립하고, 균일한 S불안정성으로의 Kempf-Hesselink 최적성 이론을 확장한다. 논문은 k 위에서의 코캐릭터-닫힘 궤도를 도입하고, 임의의 부분군에 대해 최적의 불안정성 파라보릭 부분군이 존재함을 증명하며, 기하학적 불변량 이론과 빌딩 이론을 통해 티츠 중심 추측의 특수한 경우를 해결한다.

ABSTRACT

In this paper we consider various problems involving the action of a reductive group $G$ on an affine variety $V$. We prove some general rationality results about the $G$-orbits in $V$. In addition, we extend fundamental results of Kempf and Hesselink regarding optimal destabilizing parabolic subgroups of $G$ for such general $G$-actions. We apply our general rationality results to answer a question of Serre concerning the behaviour of his notion of $G$-complete reducibility under separable field extensions. Applications of our new optimality results also include a construction which allows us to associate an optimal destabilizing parabolic subgroup of $G$ to any subgroup of $G$. Finally, we use these new optimality techniques to provide an answer to Tits' Centre Conjecture in a special case.

연구 동기 및 목표

• 기하학적 불변량 이론에서 G-궤도의 합리성 결과를 비대수적으로 닫힌 체로 일반화한다.
• Kempf와 Hesselink의 불안정성 코캐릭터에 대한 최적성 이론을 균일한 S불안정성의 맥락으로 확장한다.
• 재수성군 G의 임의의 부분군에 대해 최적의 불안정성 파라보릭 부분군을 구성한다.
• 새로운 최적성 프레임워크를 적용하여 분리 가능 체 확장 위에서 G-완전적 비가역성에 대한 세르의 질문에 답한다.
• 최적의 파라보릭 부분군과 빌딩 이론적 기법을 사용하여 티츠 중심 추측의 특수한 경우를 증명한다.

제안 방법

• 체 k 위에서의 코캐릭터-닫힘 G(k)-궤도의 개념을 도입하여, 비대수적으로 닫힌 설정에서 닫힘 G-궤도를 일반화한다.
• 일부 조건 하에서, 코캐릭터 작용의 극한점이 해당 파라보릭 부분군의 순수비가역 부분군 안에 존재함을 증명한다.
• 부분군 K ≤ G에 대해 최적의 불안정성 코캐릭터 이론을 적용하여, K를 포함하는 최적의 파라보릭 부분군 P(K)를 구성한다.
• 코캐릭터의 노름 함수와 그 갈루아 작용에 대한 불변성을 이용하여 최적의 파라보릭 부분군이 체 자기동형사상 하에서 안정됨을 보장한다.
• 재수성군의 빌딩 이론에 적용하여, 단체의 중심을 통해 부분복합체의 안정자군의 고정점이 존재함을 보여준다.
• 대수적 군 자기동형사상과 갈루아 작용을 조합하여 G(k)-불변 최적의 파라보릭 부분군을 구성함으로써 중심 추측에의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 힐버트-무프드 기준과 켐프의 최적성 이론은 비대수적으로 닫힌 체 위의 작용으로까지 확장될 수 있는가?
• RQ2 코캐릭터-닫힘 G(k)-궤도의 개념은 비대수적으로 닫힌 설정에서 닫힘 G-궤도의 적절한 일반화를 제공하는가?
• RQ3 재수성군 G의 임의의 부분군 K에 대해 최적의 불안정성 파라보릭 부분군을 자연스럽게 부여할 수 있는가?
• RQ4 최적의 불안정성 코캐릭터 이론은 분리 가능 체 확장 위에서 G-완전적 비가역성에 대한 세르의 질문을 해결하는가?
• RQ5 재수성군의 빌딩과 관련된 부분군 작용 하에서 고정점 부분복합체에 대해 중심 추측이 성립하는가?

주요 결과

• 적절한 가정 하에서, k-정의 코캐릭터 λ가 lim_{a→0} λ(a)·v = v′ 이고 v′ ∈ G(k)·v 이면, v′ ∈ R_u(P_λ)(k)·v 임을 증명한다. 이는 크라프트와 쿠틀러의 결과를 일반화한다.
• 재수성군 G의 임의의 부분군 K에 대해, 최적의 파라보릭 부분군 P(K)가 존재하며, 이는 최적의 불안정성 코캐릭터를 통해 구성된다.
• P(K)의 구성은 Aut(G)(k)의 작용 하에서 안정적이며, 관련 파라보릭 부분군은 k 위에서 정의되어 있어 대수적 합리성을 보장한다.
• 논문은 세르의 질문을 해결한다: G-완전적 비가역성은 분리 가능 체 확장 하에서도 유지되며, G-완전적 비가역성의 기하학적 기준을 사용한다.
• 티츠 중심 추측의 특수한 경우를 증명한다: 연결 재수성군 G와 부분군 H에 대해, 고정점 부분복합체 X^H가 수축 가능하면, X^H 내에 G(k)-불변 중심점이 존재한다.
• 최적의 파라보릭 부분군 P(K)가 X^H 내의 파라보릭들의 교집합 K에 대해 구성되며, 갈루아 군 Γ_Y에 의해 안정됨을 보여, 그에 대응하는 단체의 중심이 고정 중심으로서 기능함을 증명한다.