[论文解读] On the Cayley degree of an algebraic group

Nicole Lemire, Vladimir L. Popov+1 more|arXiv (Cornell University)|Aug 18, 2006

Algebraic Geometry and Number Theory参考文献 2被引用 3

一句话总结

本文引入了Cayley度作为衡量连通线性代数群偏离Cayley性质程度的指标，推广了经典的Cayley映射。通过双有理几何与Weyl群在极大环面及李代数上的作用，建立了特殊线性群$\mathrm{SL}_n$与例外群$\mathrm{G}_2$的Cayley度的上界，证明了$\mathrm{Cay}(\mathrm{SL}_n) \leq n-2$与$\mathrm{Cay}(\mathrm{G}_2) = 2$。

ABSTRACT

A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the classical Cayley map, X \mapsto (I_n-X)/(I_n+X), between the special orthogonal group SO_n and its Lie algebra so_n, shows that SO_n is a Cayley group. In an earlier paper (see math.AG/0409004) we classified the simple Cayley groups defined over an algebraically closed field of characteristic zero. Here we consider a new numerical invariant of G, the Cayley degree, which "measures" how far G is from being Cayley, and prove upper bounds on Cayley degrees of some groups.

研究动机与目标

• 定义并研究Cayley度作为衡量线性代数群非Cayley性质的数值不变量。
• 将Cayley群的分类从已知的度数1推广至更高度数。
• 利用有理等变映射，为半单群（特别是$\mathrm{SL}_n$与$\mathrm{G}_2$）建立Cayley度的上界。
• 通过Weyl群在极大环面函数域上的作用，将Cayley度与表示理论联系起来。

提出的方法

• 将Cayley度$\mathrm{Cay}(G)$定义为从$G$到其李代数$\mathfrak{g}$的具有$G$-等变性的主导有理映射的最小次数，推广经典Cayley映射。
• 利用极大环面$T$与$\mathbb{A}^n$中超曲面$X$之间的双有理同构$\psi$，再复合到李代数$\mathfrak{t}$上的投影，构造广义Cayley映射。
• 借助Weyl群$W = N_G(T)/T$将问题约化为有限群在域$k(T)$上的作用，从而实现对次数的代数控制。
• 通过对称函数与$T$上的有理函数（如$z_i = t_i - t_i^{-1}$）构造显式有理映射，生成$k(T)$的子域$k(M) \subset k(T)$，且次数受控。
• 利用域扩张次数$[k(T):k(M)]$来界定所得广义Cayley映射的次数，利用恒等式$\deg \varphi = [k(G):\varphi^*(k(\mathfrak{g}))]$。
• 通过$\mathfrak{t}^*$与$k(T)$中$W$-不变子模$M$之间的同构，将映射次数与超越次数及域扩张联系起来。

实验结果

研究问题

• RQ1 对于半单群$G$，从$G$到其李代数的$G$-等变有理映射的最小次数是多少？该值在不同群中如何变化？
• RQ2 如何计算或界定$\mathrm{SL}_n$与$\mathrm{G}_2$等非Cayley群的Cayley度？
• RQ3 Weyl群在极大环面函数域上的作用在构造与分析广义Cayley映射方面能发挥多大作用？
• RQ4 基于$k(T)$中$W$-模的表示理论方法，能否有效给出Cayley度的上界？
• RQ5 为何$\mathrm{G}_2$的Cayley度为2，尽管它不是Cayley群？这与其稳定Cayley性质有何关联？

主要发现

• 当$n=4$时，$\mathrm{SL}_n$的Cayley度至多为$n-2$，且等号成立，即$\mathrm{Cay}(\mathrm{SL}_4) = 2$。
• $\mathrm{G}_2$的Cayley度恰好为2，表明尽管该群非Cayley，但其与Cayley性质非常接近。
• 当$n=3$时，本文给出的新证明简化了$\mathrm{Cay}(\mathrm{SL}_3) = 1$的推导，确认$\mathrm{SL}_3$是Cayley群。
• 广义Cayley映射的构造依赖于从极大环面到超曲面的双有理映射，再复合到李代数上的线性投影。
• 映射次数由域扩张次数$[k(T):k(M)]$控制，其中$M$是$k(T)$中同构于$\mathfrak{t}^*$的$W$-不变子模。
• 通过$k(T)$中$W$-模的表示理论方法，可得$\mathrm{Cay}(\mathrm{G}_2)$的上界为6，但最优上界实际为2。