[论文解读] Lattices and Parameter Reduction in Division Algebras

Martin Lorenz, Zinovy Reichstein|ArXiv.org|Jan 5, 2000

Polynomial and algebraic computation参考文献 9被引用 11

一句话总结

本文利用格理论方法，为除法代数建立了参数约化界。证明了每个奇数次 $ n \geq 5 $ 的除法代数可约化为至多 $ \frac{1}{2}(n-1)(n-2) $ 个参数，每个次数 $ n \geq 4 $ 的交叉积代数可约化为至多 $ (\lfloor \log_2 n \rfloor - 1)n + 1 $ 个参数，通过对称与外平方格及群作用于整格表示，显著改进了先前的界。

ABSTRACT

Let k be an algebraically closed field of characteristic 0 and let D be a division algebra whose center F contains k. We shall say that D can be reduced to r parameters if D = D_0 tensor_{F_0} F, where D_0 is a division algebra, the center F_0 of D_0 contains k and trdeg(F_0/k) = r. We show that every division algebra of odd degree n >= 5 can be reduced to at most (n-1)(n-2)/2 parameters. Moreover, every crossed product division algebra of degree n >= 4 can be reduced to at most (log_2(n) - 1)n + 1 parameters. Our proofs of these results rely on lattice-theoretic techniques.

研究动机与目标

• 为在特征零代数闭基域上包含的域上定义的除法代数减少所需参数数量。
• 改进关于中心单代数次数 $ n $ 的本质维数 $ \operatorname{ed}(\operatorname{PGL}_n) $（记为 $ d(n) $）的已知上界。
• 通过 $ \mathcal{S}_n $ 群作用于整格，为奇数次 $ n \geq 5 $ 的通用除法代数建立紧致的参数约化。
• 通过分析伽罗瓦群及其生成性质，将这些结果推广至交叉积代数。

提出的方法

• 利用 $ \mathcal{G} $-格与 $ (G,H) $-截面，对与除法代数相关的代数簇上的代数群作用进行建模。
• 使用整格 $ A_{n-1} = \{ (a_1,\dots,a_n) \in \mathbb{Z}^n \mid \sum a_i = 0 \} $ 的对称平方与外平方，其自然地带有 $ \mathcal{S}_n $-作用。
• 当 $ n $ 为奇数时，应用 $ \operatorname{Sym}^2 A_{n-1} $ 的稳定置换理论，构造具有低超越次数的有理中心。
• 通过代数变换群理论中的线性化与压缩技术，将问题约化为格论问题。
• 分析伽罗瓦群 $ \mathcal{G} = \operatorname{Gal}(L^{\text{norm}}/F) $ 与子群 $ \mathcal{H} = \operatorname{Gal}(L^{\text{norm}}/L) $，以群生成与阶为依据，界定 $ \tau(A) $。
• 使用上同调技术，包括 $ H^2 $-消去论证与上诱导-限制序列，排除参数约化过程中的障碍。

实验结果

研究问题

• RQ1 通用除法代数 $ \operatorname{UD}(n) $ 的奇数次 $ n \geq 5 $ 是否可在基域 $ k $ 上的超越次数 $ \leq \frac{1}{2}(n-1)(n-2) $ 的域上定义？
• RQ2 定义次数为 $ n $ 的中心单代数所需的最少参数数是多少，特别是当 $ n $ 为奇数或代数为交叉积时？
• RQ3 群作用于整格，特别是 $ \mathcal{S}_n $-作用于 $ \bigwedge^2 A_{n-1} $，如何影响 $ \operatorname{PGL}_n $ 的本质维数？
• RQ4 能否通过其伽罗瓦群的群生成性质，渐近地改进交叉积代数的参数约化界？
• RQ5 上同调障碍（如非零 $ H^2 $）在限制有理参数约化存在性方面起什么作用？

主要发现

• 每个奇数次 $ n \geq 5 $ 的除法代数可约化为至多 $ \frac{1}{2}(n-1)(n-2) $ 个参数，优于罗文先前的界 $ \frac{1}{2}(n-1)(n-2) + n $。
• 对于奇数 $ n \geq 5 $，约化后除法代数的中心 $ F $ 满足 $ \operatorname{trdeg}_k(F) = \frac{1}{2}(n-1)(n-2) $，且 $ Z(n) $ 是 $ F $ 的有理扩张，确保约化在几何上自然。
• 中心 $ F $ 显式实现为 $ k(\bigwedge^2 A_{n-1})^{\mathcal{S}_n} $，其中 $ A_{n-1} $ 是零和整数元组的 $ \mathcal{S}_n $-格。
• 对于次数 $ n \geq 4 $ 的交叉积代数，参数约化界为 $ \leq (\lfloor \log_2 n \rfloor - 1)n + 1 $，对大 $ n $ 显著优于二次界。
• 证明依赖于当 $ n $ 为奇数时 $ \operatorname{Sym}^2 A_{n-1} $ 的稳定置换性质，该性质通过格论技术建立。
• 使用上同调论证，包括 $ H^2 $-消去与上诱导-限制序列，排除了约化过程中的障碍，尤其在四次情形下。