[论文解读] On the period of the Ikeda lift for U(m,m)

Hidenori Katsurada|EPrints - Department of Mathematics, Hokkaido University|Feb 22, 2011

Advanced Algebra and Geometry参考文献 18被引用 4

一句话总结

本文证明了伊凯达关于酉群 U(m,m) 上的赫尔米特伊凯达提升周期的猜想，将内积 ⟨Iₘ(f), Iₘ(f)⟩ 表示为模形式 f 及其关于狄利克雷特征 χ 的扭曲的伴随 L 函数的特殊值。该结果通过朗克-塞尔伯格 L 系列与局部西格尔级数计算得出，建立了赫尔米特模形式的自守周期与特殊 L 值之间的精确联系。

ABSTRACT

Let K be an imaginary quadratic field, and x the Dirichlet character corresponding to the extension K/Q. Let m=2n or 2n+1 with n a positive integer. Let f be a primitive form of weight 2k+1 and and nebentype x, or a primitive form of weight 2k for SL(2,Z) according as m=2n, or m=2n+1. For such an f let I_m(f) be the lift of f to the space of modular forms of weight 2k+2n for the Hermitian modular group of degree m constructed by Ikeda. We then express the period of I_m(f) in terms of special values of the adjoint L-functions of f. This poves the conjecture concerning the period of the Ikeda lift proposed by Ikeda.

研究动机与目标

• 解决伊凯达关于酉群 U(m,m) 上赫尔米特伊凯达提升周期的猜想。
• 将内积 ⟨Iₘ(f), Iₘ(f)⟩ 表示为 f 的伴随 L 函数及其关于 χ 的扭曲的特殊值。
• 建立赫尔米特模形式的自守周期与特殊 L 值之间的精确算术关系。
• 将朗克-塞尔伯格级数与局部西格尔级数的方法推广至赫尔米特情形，特别是处理虚二次域中分歧素数的情形。

提出的方法

• 构造模形式 f 到 U(m,m) 上权为 2k+2n 且特征为 det⁻ᵏ⁻ⁿ 的赫尔米特伊凯达提升 Iₘ(f)。
• 定义与该提升相关的朗克-塞尔伯格型狄利克雷级数 R(s, Iₘ(f))，其在 s = 2k+2n 处的留数与周期 ⟨Iₘ(f), Iₘ(f)⟩ 相关。
• 通过局部西格尔级数将 R(s, Iₘ(f)) 的计算约化为形式幂级数 Ĥₘ,ₚ(d; X, Y, t) 的局部计算。
• 对所有素数 p（包括虚二次域 K = ℚ(√−D) 中的分歧情形）显式计算 Ĥₘ,ₚ(d; X, Y, t)。
• 利用显式局部公式，将 R(s, Iₘ(f)) 的全局表达式表示为包含 L 函数 L(s, f, Ad, χⁱ⁻¹) 与 L(s, χⁱ) 的欧拉乘积。
• 通过引理 3.1 比较 R(s, Iₘ(f)) 在 s = 2k+2n 处的留数与周期 ⟨Iₘ(f), Iₘ(f)⟩，从而导出主公式。

实验结果

研究问题

• RQ1 赫尔米特伊凯达提升 Iₘ(f) 的周期 ⟨Iₘ(f), Iₘ(f)⟩ 的精确表达式如何用 f 及其扭曲的 L 函数表示？
• RQ2 伊凯达关于赫尔米特伊凯达提升周期的猜想是否对所有 m = 2n 或 m = 2n+1 成立？
• RQ3 伴随 L 函数 L(s, f, Ad) 及其关于 χ 的扭曲的特殊值如何与提升的内积相关？
• RQ4 朗克-塞尔伯格方法能否被调整以计算赫尔米特模形式的周期，即使该提升并非 theta 提升？

主要发现

• 周期 ⟨Iₘ(f), Iₘ(f)⟩ 被表达为特殊值的乘积：L(1, f, Ad) × ∏ᵢ₌₂ᵐ L(i, f, Ad, χⁱ⁻¹) × ∏ᵢ₌₂ᵐ L(i, χⁱ)，至多相差一个初等因子。
• 朗克-塞尔伯格级数 R(s, Iₘ(f)) 在 s = 2k+2n 处的留数被证明与内积 ⟨Iₘ(f), Iₘ(f)⟩ 一致，从而确认了周期公式。
• 局部级数 Ĥₘ,ₚ(d; X, Y, t) 已对所有素数 p（包括分歧素数）显式计算，使得全局计算成为可能。
• 当 m = 2n 时，公式包含 i = 1 到 m 的 L(s, f, Ad, χⁱ⁻¹) 与 L(s, χⁱ)；当 m = 2n+1 时，特征 χ 在中心特征上平凡，公式相应调整。
• 结果证实赫尔米特伊凯达提升通常并非 theta 提升（仅当 m = 2 时为例外），从而说明了超越 theta 提升方法的必要性。
• 该方法成功将先前关于杜克-伊玛莫古-伊凯达提升的结果推广至赫尔米特情形，通过精细处理局部因子，证明了该猜想。