[論文レビュー] 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) $ に対する既知の上界を改善すること。
• 奇数次 $ n \geq 5 $ の普遍除法代数に対して、整数格子上の対称群作用を用いて鋭いパラメータ削減を確立すること。
• ガロア群の生成性を分析することにより、これらの結果を交叉積代数へと拡張すること。

提案手法

• 除法代数に関連する多様体への代数的群作用をモデル化するため、$ \mathcal{G} $-格子と $ (G,H) $-断片を活用すること。
• 自然な $ \mathcal{S}_n $-作用をもつ、整数格子 $ A_{n-1} = \{ (a_1,\dots,a_n) \in \mathbb{Z}^n \mid \sum a_i = 0 \} $ の対称平方および外積平方を用いること。
• 奇数 $ n $ の場合に $ \operatorname{Sym}^2 A_{n-1} $ に対して安定置換論を適用し、代数的次元が低い有理中心を構成すること。
• 代数的変換群論における線形化および圧縮技法を用いて、問題を格子論的問題に還元すること。
• 群の生成性と位数に基づいて $ \tau(A) $ を $ \mathcal{G} = \operatorname{Gal}(L^{\text{norm}}/F) $ および $ \mathcal{H} = \operatorname{Gal}(L^{\text{norm}}/L) $ のガロア群の部分群を分析することにより、限界を付けること。
• コホロロジー的技法、特に $ H^2 $-消滅論的議論とインフレーション・制限列を用いて、パラメータ削減プロセスにおける障害を除外すること。

実験結果

リサーチクエスチョン

• RQ1 奇数次 $ n \geq 5 $ の普遍除法代数 $ \operatorname{UD}(n) $ は、基底体 $ k $ から見て超越次数 $ \leq \frac{1}{2}(n-1)(n-2) $ の体上に定義可能だろうか？
• RQ2 特に $ n $ が奇数であるか、代数が交叉積である場合に、中心的単純代数を定義するのに必要な最小パラメータ数は何か？
• RQ3 $ \bigwedge^2 A_{n-1} $ における $ \mathcal{S}_n $-作用を含む、整数格子上の群作用が $ \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 $-消滅とインフレーション・制限列を用いて、削減プロセスにおける障害を除外しており、特に次数4の場合に有効である。