[논문 리뷰] Reductive group actions

Friedrich Knop, Bernhard Krötz|arXiv (Cornell University)|2016. 04. 04.

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

한 줄 요약

이 논문은 특성 0인 임의의 체 위에서 재구성군 작용의 통합 이론을 개발하며, 국소 구조 정리의 k-버전을 도입하고 루나의 구면체 시스템과 보렐-티츠 이론을 통합한 일반화된 티츠 지표를 정의한다. 주요 기여는 k-구면 루트 체계와 k-구면 다양체에서 k-유리점의 표준적 컴actsification을 제안하는 것으로, 실수군의 최대 사타케 컴actsification을 일반화한다.

ABSTRACT

In this paper, we study rationality properties of reductive group actions which are defined over an arbitrary field of characteristic zero. Thereby, we unify Luna's theory of spherical systems and Borel-Tits' theory of reductive groups. In particular, we define for any reductive group action a generalized Tits index whose main constituents are a root system and a generalization of the anisotropic kernel. The index controls to a large extent the behavior at infinity (i.e., embeddings). For k-spherical varieties (i.e., where a minimal parabolic has an open orbit) we obtain explicit (wonderful) completions of the set of rational points. For local fields this means honest compactifications generalizing the maximal Satake compactification of a symmetric space. Our main tool is a k-version of the local structure theorem.

연구 동기 및 목표

• 비폐쇄 체 위에서 재구성군의 보렐-티츠 이론과 루나의 구면 다양체 이론을 통합하기 위해.
• 특성 0인 임의의 체 위에서 재구성군 작용에 대한 유리성 이론을 개발하기 위해, 특히 비분열 또는 비준비분열 군을 위한 것이다.
• 임베딩의 점점 가까운 행동을 제어하고 무한대에서 k-유리점의 구조를 포괄하는 일반화된 티츠 지표를 정의하기 위해.
• k-구면 다양체에서 k-유리점의 명시적 컴actsification을 구성하여 최대 사타케 컴actsification을 일반화하기 위해.
• 고전적 루트 체계와 폐쇄 체에서의 비이성군을 일반화하는 k-구면 루트 체계와 k-비이성군을 수립하기 위해.

제안 방법

• G-다양체 X를 N과 AN에 대한 몫을 통해 기본 핵심 X_el과 비이성군 핵심 X_an으로 분해하는 k-버전의 국소 구조 정리를 도입한다.
• X의 k-랭크를 rk_k X = dim A_k(X)로 정의하며, 여기서 A_k(X)는 최대 분열 토르스의 몫 토르스이다.
• G-불변이지만 AN-불변에 대해 영이 되는 k-중심가치—X의 비에르레모르 모델에서의 G-불변인 다각형을 분류한다.
• 특성 격자 Ξ_k(X) 위에 작용하는 Weyl 군 W_k(X)를 구성하며, 이는 유리 벡터 공간 Hom(Ξ_k(X), ℚ)에 Weyl 침대를 이룬다.
• k-구면 루트 Σ_k(X)를 Φ_k(X) ⊂ Ξ_k(X)의 단순 루트 집합으로서 정의하며, 이는 K-구면 루트 체계 Φ_K(X)를 최대 분열 토르스 A로 제한한 제한된 루트 체계이다.
• 일반화된 티츠 지표의 팬을 사용하여 k=ℝ일 때 X(ℝ)의 컴actsification X_st(ℝ)를 구성하며, 이는 G(ℝ)^0에 대해 동치인 컴acts한 Σ-다양체이다.

실험 결과

연구 질문

• RQ1 특성 0인 임의의 체 위에서 비분열 재구성군에 대해 루나의 구면 다양체 이론을 어떻게 확장할 수 있는가?
• RQ2 비폐쇄 체 위에서 재구성군의 티츠 지표의 적절한 일반화는 무엇이며, 이는 유리성과 점점 가까운 행동을 포함하는가?
• RQ3 구면 다양체에서 k-유리점은 무한대에서 어떻게 행동하며, 이를 표준적인 방식으로 컴actsify할 수 있는가?
• RQ4 k-구면 루트 체계와 폐쇄 체 위에서의 고전적 구면 루트 체계 사이의 관계는 무엇인가?
• RQ5 지역체 위에서 임의의 k-구면 다양체에 대해 대칭 공간의 최대 사타케 컴actsification을 일반화할 수 있는가?

주요 결과

• k-구면 루트 Σ_k(X)는 특성 격자 Ξ_k(X)에 속한 루트 체계 Φ_k(X)를 이룬다. 이는 K-구면 루트 체계 Φ_K(X)를 최대 분열 토르스 A로 제한한 제한된 루트 체계이다.
• k=ℝ일 때, X(ℝ)의 컴actsification X_st(ℝ)는 G(ℝ)^0에 대해 동치인 컴acts한 Σ-다양체이며, 그 경계 조각들은 정확히 G(ℝ)^0-오빗들이다.
• X가 k-위대한 경우, 컴actsification에 사용된 팬은 표준 팬으로 취할 수 있으며, 이로 인해 대칭 공간에 대한 최대 사타케 컴actsification이 실현된다.
• 실수 랭크 1인 경우, 컴actsification X_st(ℝ)는 구면 G/H에 따라 S^2, 2-토러스, 실수 프로젝티브 평면, 또는 클라인 병으로 위상동형이다.
• X_st(ℝ)의 경계 Y(ℝ)는 실수 국소를 서로 다른 G(ℝ)^0-오빗에 대응하는 성분들로 분리하며, Y(ℝ)를 沿해 잘라내면 디스크 또는 모비우스 띠의 분리된 합집합이 되며, 이는 오빗의 구조를 반영한다.
• 호로스피어리얼 다양체의 경우 컴actsification은 비가역적일 수 있다(예: 클라인 병), 그리고 닫힌 오빗을 따라 자르면 비자명한 쌍반사가 생기며, 이는 실수 국소의 비자명한 위상학적 성질을 나타낸다.