[論文レビュー] Semisimple algebraic groups over real closed fields

Raphael Appenzeller|arXiv (Cornell University)|Jan 12, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

一般には実閉体上の半単純代数群および半代数群に対する主要な Lie 群結果を一般化し、転送原理を介して F-点の 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.

研究の動機と目的

• 実閉体上の半単純代数群へ古典的な Lie 群理論を拡張する意義を動機づける。
• 実閉体上の線形代数群および半代数群の自己完結型フレームワークを開発する。
• G_F の分解（Iwasawa、Cartan、Bruhat）を確立し、設定間で根系を関連づける。
• unipotent 部群に対する BCH を証明し、この文脈で Jacobson–Morozov 冪を検証する。
• 半代数的 Kostant 凸性定理を提示し、モデル理論的転送原理と結びつける。」],
• objective_placeholders_count? to?
• method/省略?
• method（日本語訳） - 実閉体と転送原理を用いて代数的実体、実 Lie、半代数的設定を結びつける。 - G を実閉体上の semisimple 線形代数群として定義し、F-点 G_F へ拡張する。 - 自己共役な最大の K-分解トーラスとその拡張から A、K、N、M のサブ群を構成・分析する。 - G_F に対して Iwasawa（G=KAU）、Cartan（G=KAK）、Bruhat（G=BWB）分解を証明する。 - U_F に対して Baker–Campbell–Hausdorff を示し、代数的および F-点の文脈で Jacobson–Morozov を適用する。 - A^+_F に制限した半代数的 Kostant 凸性定理を証明し、Weyl 群の作用と関連づける。

提案手法

• 実閉体と転送原理を用いて代数的・実 Lie・半代数的設定を結ぶ。
• G を実閉体 K 上の semisimple 線形代数群として定義し、G_F（F-点）へ拡張する。
• 自己共役な最大 K-分解トーラスとその拡張から A、K、N、M のサブ群を構築・分析する。
• G_F に対して Iwasawa（G=KAU）、Cartan（G=KAK）、Bruhat（G=BWB）分解を証明する。
• U_F に対する Baker–Campbell–Hausdorff を示し、代数的および F-点の文脈で Jacobson–Morozov を適用する。
• A^+_F に制限する半代数的 Kostant 凸性定理を証明し、K_F の作用下での A 要素と関連づける。

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 が実閉体上で定義された semisimple algebraic group のとき、G_F に対して古典的分解（Iwasawa、Cartan、Bruhat）を確立できるか？
• RQ2 最大 K-分解トーラスは実閉体間で一様に振る舞い、A_F が一貫した Cartan 分解を提供するか？
• RQ3 半代数/ F-Context で Baker–Campbell–Hausdorff 公式は unipotent 部群に対して成り立つか？
• RQ4 Jacobson–Morozov を代数群および G_F に拡張でき、基底場上で definable か？
• RQ5 実閉体上の半代数的設定で Kostant の凸性定理を保存できるか、また Weyl 群とどのように相互作用するか？

主な発見

• G_F は Iwasawa（G=KAU）、Cartan（G=KAK）、Bruhat（G=BWB）分解を意味的に持ち、分解の一意性を含む。
• G_F では指数写像が fail する場合があるが、U_F には存在し、U_F に対して BCH は有限回の交換子からなることで成立。
• Jacobson–Morozov 導関は代数群に対して成立し、実閉体上の半代数的版も存在する。
• Levi 分解の半単純部分としての L_{±α} が rank-1 の部分群として存在し、実 rank と F-rank が一致する。
• A^+_F 室の半代数的 Kostant 凸性の版本が確立され、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.