[论文解读] Elementary divisor theory for the modular group over quadratic field extensions and quaternion algebras

Martin Raum|arXiv (Cornell University)|Jul 16, 2009

Advanced Algebra and Geometry参考文献 11被引用 3

一句话总结

本文为二次域扩张和数域上四元数代数中的极大序环上的模形式与单模群建立了初等因子理论。在类群平凡的条件下，证明了模形式双陪集与单模矩阵之间的一一对应关系，表明辛结构可补偿维度加倍的影响，并通过局部不变量与理想理论约束，提供了对某些初等因子构型存在的显式障碍。

ABSTRACT

We develop an elementary divisor theory for the unimodular and the modular group over quadratic field extensions and quaternion algebras. In particular, we investigate which sets of elementary divisors can occur. Under an additional hypothesis we establish a correspondence of unimodular and modular double cosets.

研究动机与目标

• 为二次域扩张和四元数代数中极大序环上的模形式与单模群发展全面的初等因子理论。
• 在数域条件下，确定模形式与单模情形下可能出现的初等因子集合。
• 在基域整环的类群平凡时，建立模形式双陪集与单模等价类之间的对应关系。
• 研究在非主理想情形下，具有指定初等因子的矩阵存在的障碍。
• 通过理想理论与赋值理论方法，提供显式构造与局部不变量，以分类等价类。

提出的方法

• 为极大序环 $ \Lambda $ 的有限素点 $ \mathfrak{p} $ 定义局部初等因子 $ e_{\mathfrak{p},i}(M) \in \Lambda_{\mathfrak{p}} $。
• 通过矩阵 $ J = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \end{pmatrix} $ 和对合 $ \imath $ 定义满足 $ M^* J M = m J $ 的相似矩阵的幺半群 $ \Delta_n(\Omega_{\mathbb{A}}, m) $。
• 将扩展的辛群 $ \mathrm{Sp}_n(\Lambda_{\mathbb{A}}) $ 表示为 $ \Delta_n(\Lambda_{\mathbb{A}}, m) $ 关于 $ m \in H = \mathrm{Fix}_\imath(\Lambda_{\mathbb{A}}^\times) $ 的并集。
• 应用史密斯标准形及局部化上的初等行/列变换，将矩阵约化为保持初等因子的分块对角形式。
• 利用归一化的指数赋值 $ \nu_{\mathfrak{p}} $ 和范数 $ N(a) = a\imath(a) $，分析初等因子的全局约束。
• 利用类群 $ \mathrm{Cl}(\mathfrak{o}_{\mathbb{K}}) $ 的平凡性，建立模形式双陪集与满足对所有有限素点 $ \mathfrak{p} $ 有 $ \nu_{\mathfrak{p}}(N(e_n(M))) \leq \nu_{\mathfrak{p}}(m) $ 的单模矩阵 $ M \in \mathrm{Inv}_n(\Lambda) $ 之间的双射。

实验结果

研究问题

• RQ1 在二次域扩张或四元数代数中的极大序环上，模形式群 $ \mathrm{Sp}_n(\Lambda) $ 中的矩阵可能出现哪些初等因子集合？
• RQ2 在涉及非主理想时，具有指定初等因子的矩阵在模形式群中存在的确切条件是什么？
• RQ3 在全局类群条件下，是否存在单模与模形式双陪集类之间的典范对应？
• RQ4 能否将双陪集分解为局部分量（如 2- 和 3-进部分），还是由于非主理想而存在障碍？
• RQ5 范数条件 $ \nu_{\mathfrak{p}}(N(e_n(M))) \leq \nu_{\mathfrak{p}}(m) $ 在决定初等因子构型可实现性方面起什么作用？

主要发现

• 在 $ \mathrm{Cl}(\mathfrak{o}_{\mathbb{K}}) $ 平凡的假设下，模形式双陪集空间 $ \Delta_n(\Lambda, m)/\sim_m $ 与满足对所有有限素点 $ \mathfrak{p} $ 有 $ \nu_{\mathfrak{p}}(N(e_n(M))) \leq \nu_{\mathfrak{p}}(m) $ 的单模矩阵 $ M \in \mathrm{Inv}_n(\Lambda) $ 的等价类之间建立了一一对应。
• 由于辛结构导致的自由度损失，通过从 $ n $ 到 $ 2n $ 的维度加倍得到补偿，这体现在与 $ n $ 维单模模的对应关系中。
• 存在对某些初等因子构型的实现障碍：例如，在在 17 和 $ \infty $ 处分歧的四元数代数中，不存在初等因子为 $ \mathfrak{m}_2 $ 和 $ 2 $ 的矩阵，其中 $ \mathfrak{m}_2 $ 是 2 上的非主极大左理想。
• 在四元数情形下，矩阵 $ \mathrm{diag}(M, 12(M^*)^{-1}) $，其中 $ M = \begin{pmatrix} -2 & 6 \\ -h_2 & 2h_2 \end{pmatrix} $，具有初等因子 $ (\mathfrak{m}_2, 2) $ 和 $ (1, \mathfrak{m}_3) $，但其双陪集无法分解为 2- 和 3-进分量，原因在于非主理想。
• 局部初等因子通过 $ e_{\mathfrak{p},i}(M) \in \Lambda_{\mathfrak{p}} $ 计算，全局初等因子 $ e_n(M) $ 为所有 $ \mathfrak{p} $ 上的乘积，且在类群假设下，范数条件 $ \nu_{\mathfrak{p}}(N(e_n(M))) \leq \nu_{\mathfrak{p}}(m) $ 是初等因子构型可实现的充要条件。
• 对于 $ \mathbb{K} = \mathbb{Q}(\sqrt{-6}) $ 上的 $ \mathrm{M}_2(\Lambda) $ 中的矩阵 $ T $，局部初等因子为 $ (1, \mathfrak{m}_{4\rho-1}) $、$ (\mathfrak{m}_3, 3\mathfrak{m}_3) $ 和 $ (2\mathfrak{m}_\rho, 2\rho) $，通过满足 $ mT^{-1} \in \mathrm{M}_2(\Lambda) $ 的最小 $ m $ 计算得出。