[论文解读] Semisimple algebraic groups over real closed fields

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

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

一般化关键的李群结果到实闭域上的半简单代数群与半代数群，利用传输原理为F-point建立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.

研究动机与目标

• 促使将经典李群理论推广到实闭域上的半简单代数群。
• 建立一个关于实闭域上的线性代数群和半代数群的自包含框架。
• 为G_F建立分解（Iwasawa、Cartan、Bruhat），并在不同设置之间建立根系统的联系。
• 证明对单元子群的BCH，并在此情境中验证Jacobson–Morozov引理。
• 给出一个半代数Kostant凸性定理，并将其与模型论传输原理联系起来。

提出的方法

• 利用实闭域及传输原理将代数、实李群与半代数设定连接起来。
• 将G定义为一个实域K上的半简单线性代数群，并扩展到F点G_F。
• 从自伴随的K-可分裂极大 torus 及其扩展构造并分析子群A、K、N、M。
• 证明G_F的Iwasawa（G=KAU）、Cartan（G=KAK）和Bruhat（G=BWB）分解。
• 在F点的U_F上演示Baker–Campbell–Hausdorff公式，并在代数与F点语境中应用Jacobson–Morozov。
• 证明一个半代数Kostant凸性定理，限制在A^+_F，并将其与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是定义在实闭域上的半简单代数群时，是否可以为G_F建立经典的Iwasawa、Cartan、Bruhat分解？
• RQ2 最大K-可分裂Realthfields域是否对不同实闭域表现出一致性，使A_F提供一致的Cartan分解？
• RQ3 在半代数/F上下文中，BCH公式是否对U_F成立？
• RQ4 Jacobson–Morozov是否可推广到代数群及G_F，并且是否在基域上可判定？
• RQ5 在实闭域上的半代数环境中，Kostant的凸性定理是否能够保持，并且它如何与Weyl群互动？

主要发现

• G_F具备Iwasawa（G=KAU）、Cartan（G=KAK）和Bruhat（G=BWB）分解，且具有唯一性陈述。
• 指数映射在G_F上可能失效，但在U_F上存在，且通过有限次交换子的迭代在U_F上成立BCH。
• Jacobson–Morozov引理对代数群成立，并在实闭域上具有半代数版本。
• 存在作为Levi子群的李群的秩一子群L_{±α}，其实部和F-秩匹配均为1。
• 在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.