典型群与箭图的半线性自同构

对于域 $F$ 上的典型群 $G$ 以及在其上相容作用的有穷阶自同构 $\theta$，我们用带对合的循环箭图描述 $\theta$ 在 $G$ 上的不动点子群以及 $\theta$ 在李代数 $\mathfrak{g}$ 上的特征空间。当 $\mathfrak{g}$ 为 loop 李代数（即 $F=\mathbb{C}((t))$）时，给出更精细的分类。