[论文解读] Invariants and discriminant ideals of orthogonal complements in a quadratic space

Manabu Murata|arXiv (Cornell University)|Dec 12, 2011

Advanced Algebra and Geometry参考文献 5被引用 5

一句话总结

本文确定了数域 $F$ 上二次空间 $(V, \varphi)$ 中向量 $h$ 的正交补 $W = (Fh)^\perp$ 的不变量，并建立了 $W$ 的判别式理想与理想 $|\varphi(h, L)|$ 之间的精确关系，其中 $L$ 是 $V$ 中的一个极大格。关键结果是一个将理想 $[M/L \cap W]$ 与 $|\varphi(h, L)|$、$|\varphi|$ 和 $|\psi|$ 的判别式理想联系起来的公式，从而为 $L \cap W$ 在 $W$ 中的最大性提供了一个判别准则。

ABSTRACT

This paper studies two topics concerning on the orthogonal complement of one dimensional subspace with respect to a given quadratic form on a vector space over a number field. One is to determine the invariants for the isomorphism class of such a complement in the sense of Shimura. The other is to investigate an ideal of the base field, which may be viewed as a difference between the genus of maximal lattices and an integral lattice in the complement. We shall discuss about the class number of the genus of maximal lattices as an application.

研究动机与目标

• 确定二次空间 $(W, |\psi|)$ 的不变量，其中 $W$ 是数域 $F$ 上非退化二次空间 $(V, |\varphi|)$ 中向量 $h$ 的正交补。
• 研究 $F$ 中的分数理想 $[M / L \cap W]$，其中 $M$ 是 $W$ 中的极大格，$L$ 是 $V$ 中的极大格，并探讨其与 $|\varphi(h, L)|$ 的关系。
• 利用 $|\varphi|$ 和 $|\psi|$ 的判别式理想，建立 $L \cap W$ 在 $W$ 中最大时的判别准则。
• 将这些结果应用于计算当 $V$ 为偶数维且 $L \cap W$ 最大时，$W$ 中极大格的类数。
• 推导出一个普遍的理想 $|\mathrm{b}(q)|$，使得 $|\varphi(h, L)|[M / L \cap W] = 2^{-1} |\mathrm{b}(q)|$，且该理想与 $h$ 和 $L$ 的选择无关。

提出的方法

• 通过使用志村关于二次空间的分类方法（即维数、判别域、特征四元数代数以及实位处的符号型），以 $(V, |\varphi|)$ 的不变量和值 $|\varphi(h, h) = q \neq 0$ 表达 $(W, |\psi|)$ 的不变量。
• 通过 $W$ 的判别式理想 $[|\widetilde{M} / M]|$ 分析分数理想 $[M / L \cap W]|$，其中 $[|\widetilde{M} / M]|$ 定义为 $\{x \in W \mid 2|\psi(x, M) \subset \mathfrak{g}\}$，该理想与极大格 $M$ 的选择无关。
• 推导出一个关键恒等式：$|\mathrm{b}(q)|^2 [|\widetilde{M} / M]| = 2q [|\widetilde{L} / L]|$，其中 $|\mathrm{b}(q)|$ 是仅依赖于 $q = |\varphi(h, h)|$ 的 $F$ 中的分数理想。
• 利用志村 [2, 定理 11.6] 中的类数公式，将 $W$ 中极大格的类数的亏格与指标 $[D(L \cap W) : H^{\bullet}_{\mathbf{A}} \cap D(L)]$ 联系起来。
• 在每个素数 $v$ 处进行局部计算，利用偶数 Clifford 代数的结构以及 $A^+(V)_v$ 中的极大序，特别是在 $v = q$ 处，其中 $q = |\varphi(h, h)|$。
• 证明过程涉及构造一个自同构 $\gamma \in O^\varphi(V)_q$，满足 $\det(\gamma) = -1$ 且 $\gamma \in H^{\bullet}_q \cap D(L)_q$，并证明 $[D(L \cap W) : H^{\bullet}_{\mathbf{A}} \cap D(L)] = 2$，从而推出类数公式成立。

实验结果

研究问题

• RQ1 如何用 $(V, |\varphi|)$ 的不变量和值 $q = |\varphi(h, h)|$ 表达正交补 $(W, |\psi|)$ 的不变量？
• RQ2 理想 $[M / L \cap W]$ 与理想 $|\varphi(h, L)|$ 之间的精确关系是什么？它如何与 $|\varphi|$ 和 $|\psi|$ 的判别式理想相关联？
• RQ3 在什么条件下，格 $L \cap W$ 在 $W$ 中是最大的？能否用判别式理想来刻画这一条件？
• RQ4 当 $V$ 为偶数维时，$W$ 中极大格的类数的亏格与 $V$ 中类数的亏格之间有何关系？
• RQ5 是否存在一个普遍的理想 $|\mathrm{b}(q)|$，使得 $|\varphi(h, L)|[M / L \cap W] = 2^{-1} |\mathrm{b}(q)|$？该理想如何独立于 $h$ 和 $L$ 确定？

主要发现

• $(W, |\psi|)$ 的不变量——维数、判别域、特征四元数代数以及实位处的符号型——完全由 $(V, |\varphi|)$ 的不变量和值 $q = |\varphi(h, h)|$ 决定，如定理 1.1 所述。
• 存在一个 $F$ 中的普遍分数理想 $|\mathrm{b}(q)|$，使得 $|\varphi(h, L)|[M / L \cap W] = 2^{-1} |\mathrm{b}(q)|$，且该理想满足 $|\mathrm{b}(q)|^2 [|\widetilde{M} / M]| = 2q [|\widetilde{L} / L]|$，且与 $h$ 和 $L$ 的选择无关。
• $L \cap W$ 在 $W$ 中最大当且仅当 $|\varphi(h, L)| = 2^{-1} |\mathrm{b}(q)|$，这为基于判别式理想的极大性提供了一个新判别准则。
• $[D(L \cap W) : H^{\bullet}_{\mathbf{A}} \cap D(L)] = 2$ 成立，由此推出在给定条件下，$W$ 中极大格的类数的亏格等于 $V$ 的类数。
• 当 $V$ 为偶数维且 $L \cap W$ 最大时，$W$ 中极大格的类数的亏格可通过 [2, 定理 11.6] 中的类数公式计算，利用指标 $[D(L \cap W) : H^{\bullet}_{\mathbf{A}} \cap D(L)] = 2$。
• 构造一个自同构 $\gamma \in O^\varphi(V)_q$，满足 $\det(\gamma) = -1$ 且 $\gamma \in H^{\bullet}_q \cap D(L)_q$，确认了指标为 2 的结果，这对类数计算至关重要。