[논문 리뷰] Semisimple algebraic groups over real closed fields

Raphael Appenzeller|arXiv (Cornell University)|2026. 01. 12.

Homotopy and Cohomology in Algebraic Topology인용 수 0

한 줄 요약

주요 Lie 군 결과를 실수 닫힌체(real closed fields) 위의 semisimple algebraic 및 semialgebraic 그룹으로 일반화하여, transfer principle를 통해 F-points에 대해 Iwasawa, Cartan, 및 Bruhat 분해를 확립한다.

ABSTRACT

We give a self-contained introduction to linear algebraic and semialgebraic groups over real closed fields, and we generalize several key results about semisimple Lie groups to algebraic and semialgebraic groups over real closed fields. We prove that a torus in a semisimple algebraic group is maximal $\mathbb{R}$-split if and only if it is maximal $\mathbb{F}$-split for real closed fields $\mathbb{F}$. For the $\mathbb{F}$-points we formulate and prove the Iwasawa-decomposition $KAU$, the Cartan-decomposition $KAK$ and the Bruhat-decomposition $BWB$. For unipotent subgroups we prove the Baker-Campbell-Hausdorff formula, facilitating the analysis of root groups. We give a proof of the Jacobson-Morozov Lemma about subgroups whose Lie algebra is isomorphic to $\mathfrak{sl}_2$ for algebraic groups and a version for the $\mathbb{F}$-points, when the root system is reduced. We describe the rank 1 subgroups which are the semisimple parts of Levi-subgroups. We prove a semialgebraic version of Kostant's convexity theorem. The main tool used is a model theoretic transfer principle that follows from the Tarski-Seidenberg theorem.

연구 동기 및 목표

• 실수 닫힌 필드 위의 semisimple algebraic 그룹에 대해 고전적인 Lie 군 이론을 확장하려는 동기를 부여한다.
• 실수 닫힌 필드 위의 선형 대수적 및 semialgebraic 그룹에 대한 자립적인 프레임워크를 개발한다.
• G_F에 대한 분해(Iwasawa, Cartan, Bruhat)를 확립하고 서로 다른 설정 간의 뿌리 시스템을 연결한다.
• Unipotent 부분군에 대한 BCH를 증명하고 이 맥락에서 Jacobson–Morozov 보조정리를 검증한다.
• semialgebraic Kostant convexity 정리를 제시하고 모델 이론적 transfer 원리와의 연관성을 제시한다.

제안 방법

• 실수 닫힌 필드와 transfer principle를 사용하여 대수적, 실수 Lie 및 semialgebraic 설정을 연결한다.
• G를 실수 닫힌 필드 위의 semisimple linear algebraic K-group으로 정의하고 F-points G_F로 확장한다.
• 자기-대칭적인 최대 K-분해 가능 토러스와 그 확장으로부터 A, K, N, M 부분군을 구성하고 분석한다.
• G_F에 대해 Iwasawa(G=KAU), Cartan(G=KAK), Bruhat(G=BWB) 분해를 증명한다.
• U_F에 대한 Baker–Campbell–Hausdorff를 시연하고 대수적 및 F-points 맥락에서 Jacobson–Morozov를 적용한다.
• A^+_F로 제한된 semialgebraic Kostant convexity 정리를 증명하고 Weyl 군 작용과의 관계를 제시한다.

Figure 1 . Root system of type $A_{2}$ associated to $\operatorname{SL}_{3}$ . The convex cone $\mathfrak{a}_{p}$ (orange stripes) can be viewed as spanned by the $H_{\alpha_{i}}$ or as the intersection of the half-spaces defined by the primitive vectors $e_{i}$ .

실험 결과

연구 질문

• RQ1 G가 real closed field 위에 정의된 semisimple algebraic 그룹일 때 G_F에 대해 고전적 분해(Iwasawa, Cartan, Bruhat)를 확립할 수 있는가?
• RQ2 최대 K-분해 가능 토러스가 real closed field들 전반에서 일관된 동작을 하는가, A_F가 일관된 Cartan 분해를 제공하는가?
• RQ3 semialgebraic/F-맥락에서 unipotent 부분군에 대해 Baker–Campbell–Hausdorff 공식이 성립하는가?
• RQ4 Jacobson–Morozov를 대수적 그룹과 G_F에 확장할 수 있으며 정의 가능하게 기반 필드 위에 있는가?
• RQ5 실수 닫힌 필드 위의 semialgebraic 맥락에서 Kostant 합성(convexity) 정리를 보존할 수 있으며 Weyl 군과의 상호 작용은 어떤가?

주요 결과

• G_F는 Iwasawa (G=KAU), Cartan (G=KAK), Bruhat (G=BWB) 분해를 서로 다른 고유성 진술과 함께 가진다.
• 지수 사상은 G_F에서 실패할 수 있지만 U_F에서는 존재하며, BCH는 U_F에서 유한 반복된 교환자들을 통해 성립한다.
• Jacobson–Morozov 보조정리는 대수적 그룹에 대해 성립하고 실수 닫힌 필드 위에서 semialgebraic 버전이 있다.
• Levi 부분군의 semisimple 부분으로서 L_{±α}가 존재하고 실수 차원과 F 차원이 각각 1로 일치하는 랭크-1 부분군이 형성된다.
• A^+_F 챔버에 대해 semialgebraic Kostant convexity 버전이 확립되어 K_F 작용하에 A 성분들을 설명한다.

Figure 2 . Root system of type $A_{2}$ associated to $\operatorname{SL}_{3}$ . The convex set in Kostant’s convexity Theorem 5.29 defined by inequalities is illustrated in purple.