[论文解读] The Bessel Period Functional on SO(5): The Nontempered Case

Yannan Qiu|arXiv (Cornell University)|Dec 20, 2013

Advanced Algebra and Geometry参考文献 26被引用 9

一句话总结

本文研究了在非温和情形下，分裂正交群 SO(5) 上的贝塞尔周期泛函，重点关注由四元数代数 D 在域 k 上导出的内形 SO(4,1)。论文建立了四元数酉群 GU₂(D) 与 SO(V_D) 之间的联系，表明 GU₂(D) 在一个 5 维二次型空间 V_D 上作用且行列式为 1，并证明了同构 PGU₂(D) ≅ SO(V_D)，为在非温和情形下研究 Soudry 包提供了关键工具。

ABSTRACT

For automorphic representations in the nontempered cuspidal spectrum of $\mathrm{SO}_5$, we prove the refined Gan-Gross-Prasad conjecture by establishing a precise Bessel period formula, in which the square of the global Bessel period is expressed as an Euler product of regularized local Bessel period integrals of matrix coefficients.

研究动机与目标

• 分析 SO(5) 上的贝塞尔周期泛函在非温和情形下的表现，特别是针对内形 SO(4,1)。
• 从域 k 上的四元数代数 D 构造一个 5 维二次型空间 V_D，要求其行列式为 1，且当 D 非分裂时 Witt 指数为 1。
• 定义四元数酉群 GU₂(D)，并证明其通过共轭作用在 V_D 上。
• 建立同构 PGU₂(D) ≅ SO(V_D)，将酉群与 V_D 上的正交群联系起来。
• 为在非温和情形下构造 Soudry 包提供基础工具，利用群 SO(V_D) 及其相关结构。

提出的方法

• 通过域 k 上的四元数代数 D 定义一个 5 维二次型空间 V_D，其中元素 Y = (x′₁Dx′′₁D̄X) ∈ M₂×₂(D)，x′, x′′ ∈ F，且满足 Tr_D/k(X) = 0。
• 定义二次型 q_D(Y) = ¼ Tr_D/k[Tr(Y²)] = x′x′′ - Nm_D/k(X)，该式确定了 V_D 的结构。
• 证明当 D 分裂时 V_D 的 Witt 指数为 2，当 D 非分裂时为 1，从而区分 SO(3,2) 与 SO(4,1) 两种情形。
• 将四元数酉群 GU₂(D) 定义为满足 tḡ(1_D 1_D; 0 g) = ν(g)(1_D 1_D; 0 1_D) 的 g ∈ GL₂(D)，其中 ν(g) ∈ k×。
• 证明 GU₂(D) 通过 g∘Y = gYg⁻¹ 的作用在 V_D 上，且该作用诱导出群同构 PGU₂(D) ≅ SO(V_D)。
• 利用希尔伯特定理 90 及投影映射 pr(x′) = x′ι/x′ 分析二次扩张 k′/k 下的 k′× 结构，该结构与 O₂ 构造密切相关。

实验结果

研究问题

• RQ1 当限制在非温和情形时，贝塞尔周期泛函在 SO(5) 上的行为如何，特别是针对内形 SO(4,1)？
• RQ2 与域 k 上的四元数代数 D 相关的 5 维二次型空间 V_D 的结构是什么？其 Witt 指数如何依赖于 D 的分裂或非分裂性质？
• RQ3 四元数酉群 GU₂(D) 与正交群 SO(V_D) 之间有何关系？同构 PGU₂(D) ≅ SO(V_D) 的性质是什么？
• RQ4 GU₂(D) 通过共轭作用在 V_D 上的行为在非温和情形下构造 Soudry 包的过程中起什么作用？
• RQ5 对于不同 D 的 SO(V_D) 群如何穷尽所有类型为 SO(3,2) 和 SO(4,1) 的群？这一分类具有何种重要意义？

主要发现

• 群 SO(V_D) 同构于 PGU₂(D)，为 SO(V_D) 提供了在四元数代数 D 上的投影酉群的显式实现。
• 当 D 分裂（即 D = M₂×₂(F)）时，GU₂(D) 与相似辛群 {g ∈ GL₄ : gJ₁tg = ν(g)J₁} 重合，将经典构造与四元数构造联系起来。
• 5 维空间 V_D 的行列式为 1，当 D 分裂时 Witt 指数为 2（对应 SO(3,2)），当 D 非分裂时 Witt 指数为 1（对应 SO(4,1)）。
• 通过共轭作用 g∘Y = gYg⁻¹，GU₂(D) 在 V_D 上的作用是良定义的，并保持二次型 q_D，因此是自然的群作用。
• 同构 PGU₂(D) ≅ SO(V_D) 由共轭作用诱导，建立了非温和情形下酉群与正交群之间的深刻联系。
• 通过四元数代数构造 SO(V_D) 可穷尽所有类型为 SO(3,2) 和 SO(4,1) 的群，表明这些正是由此类代数导出的 SO(5) 的所有内形。