[论文解读] Field of U-invariants of adjoint representation of the group GL(n,K)

K. A. Vyatkina, А. Н. Панов|arXiv (Cornell University)|Dec 5, 2012

Advanced Algebra and Geometry被引用 3

一句话总结

本文证明了GL(n,K)的伴随表示的U-不变量域是有理的，其由从矩阵子式及其伴随矩阵导出的特定代数系统J_{k,i}生成。通过嵌入到一个余维稠密开子集L中，并对有序坐标函数进行归纳，作者证明这些不变量构成一个超越基，从而解决了尽管Jordan-Hölder序列长度高达n²，U-不变量域仍为有理性的结论。

ABSTRACT

We obtain system of generators of the field of U-invariants of ajoint representation of the group GL(n,K).

研究动机与目标

• 确定GL(n,K)伴随表示的U-不变量域的结构，其中K为特征零的域。
• 克服由于Jordan-Hölder序列长度为n²而导致的标准不变量理论算法难以应用的困难。
• 为有理函数域K(M)^U构造一个显式的代数无关生成元系统。
• 证明该系统可生成整个域，从而确立其有理性。

提出的方法

• 定义U为GL(n,K)中单边上三角矩阵的子群，并考虑坐标环K[M]上由ρ_g(f)(A) = f(g⁻¹Ag)给出的伴随作用ρ_g。
• 构造矩阵𝕏 = (x_{ij})及其伴随矩阵𝕏* = (x*_{ij})，利用恒等式𝕏𝕏* = 𝕏*𝕏 = det(𝕏)E。
• 对每个1 ≤ k ≤ n和0 ≤ i ≤ k−1，定义J_{k,i}为结合𝕏的最后k−i行与𝕏*的前i行的混合子式，形成大小为k的左下角子式。
• 利用变换ρ_u(𝕏) = u⁻¹𝕏u和ρ_u(𝕏*) = u⁻¹𝕏*u，通过共轭下的分块矩阵不变性，证明每个J_{k,i}是U-不变的。
• 将注意力限制在所有子式J_k ≠ 0的Zariski稠密开子集Ω上，并进一步限制在具有非零元素b_{j,0} ≠ 0的下三角型矩阵子集ℒ上。
• 通过将不变量限制在ℒ上，建立映射π: K(M)^U → K(ℒ)，并证明ℒ上的坐标函数{s_{k,i}}代数无关且生成K(ℒ)。

实验结果

研究问题

• RQ1 GL(n,K)伴随表示的U-不变量域能否显式描述为一个有理函数域？
• RQ2 尽管无幺群作用复杂，如何构造K(M)^U的一组代数无关生成元？
• RQ3 K(M)^U是否为有理域？若是，哪些显式有理函数可生成它？
• RQ4 矩阵子式与伴随矩阵元素在构造U-不变有理函数中起什么作用？

主要发现

• U-不变量域K(M)^U是有理的，即同构于K的纯超越扩张。
• 集合{J_{k,i} | 1 ≤ k ≤ n, 0 ≤ i ≤ k−1}构成K(M)^U的一个超越基。
• 每个J_{k,i}是一个U-不变有理函数，由矩阵𝕏及其伴随矩阵𝕏*构造的混合子式。
• 限制映射π: K(M)^U → K(ℒ)是单射，且其像满足线性表达式π(J_{k,i}) = φ_{k,i} s_{k,i} + ψ_{k,i}，其中φ_{k,i} ≠ 0，ψ_{k,i}仅涉及更小的坐标函数。
• ℒ上的坐标函数{s_{k,i}}代数无关且生成域K(ℒ)，且J_{k,i}在π下的像也生成同一域。
• 由于π下生成元的像构成K(ℒ)的超越基，因此K(M)^U的有理性得证。