[论文解读] Harish-Chandra Modules over $\Bbb Z$

Günter Harder|arXiv (Cornell University)|Jul 2, 2014

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

一句话总结

本文引入了整数 ℤ 上的哈里什-钱德拉模，为 GL₂(ℝ) 的离散系列表示构造了整数结构，并研究了其上同调。结果表明，诱导模之间的交错算子给出 π 的有理倍数与幂次，证明了一项有理性结果，支持了算术几何中上同调周期的整性。

ABSTRACT

In this note we discuss the concept of Harish-Chandra modules over the integers. The main result is a rationality result for certain intertwining operator which is used in a joint paper with Raghuram. We also discuss an interesting question concerning the arithmetic properties of this intertwining operator.

研究动机与目标

• 定义并构造实半单李群上的 ℤ-哈里什-钱德拉模作为整数结构。
• 研究这些模作为有限生成 ℤ-模的上同调，特别是在离散系列表示的背景下。
• 分析 ℚ(s) 上诱导模之间的交错算子，表明其可表示为 Γ(s)R(s)，其中 R(s) ∈ ℚ(s)。
• 研究交错算子在上同调上诱导的同构是否在基环 ℤ 上定义，而不仅在 ℚ 上。
• 将周期的有理性与 L-函数及埃斯泰因类的算术性质联系起来。

提出的方法

• 将 ℤ 上的哈里什-钱德拉模定义为 ℤ-模，配备与李代数 𝔤_ℤ 和极大紧子群概形 𝒦/ℤ 相容的作用。
• 通过在 ℚ(s) 上的局部化与扭量，构造 Bernstein-Gelfand 赋函子 𝔻_λ^ε 的整数版本。
• 计算上同调群 H^•(𝔤_ℤ, 𝒦, 𝔻_λ^ε ⊗ ℳ_λ,ℤ[𝑖,1/2]) 作为有限生成 ℤ-模。
• 通过 ℚ(s) 上的积分变换定义交错算子，表明其形式为 Γ(s)R(s)，其中 R(s) ∈ ℚ(s)。
• 在 s=0 处求值交错算子，证明其结果为 π 的非零有理倍数。
• 利用伽罗瓦不变性与局部平凡化，定义代数周期 Ω_i(π_f,ι,ε)，并将其与上同调 L-值关联。

实验结果

研究问题

• RQ1 GL₂(ℝ) 的离散系列表示能否在 ℤ 上实现为整数结构？
• RQ2 ℤ 上哈里什-钱德拉模的上同调群是否为有限生成 ℤ-模？
• RQ3 在 s=0 处求值时，ℚ(s) 上诱导哈里什-钱德拉模之间的交错算子是否给出 π 的有理倍数？
• RQ4 交错算子在上同调上诱导的同构是否在基环 ℤ 上定义，而不仅在 ℚ 上？
• RQ5 周期 Ω_i(π_f,ι,ε) 的素因子如何与埃斯泰因类和 L-值的分母相关？

主要发现

• GL₂ 的 ℤ-整数离散系列模的上同调在上度数上是秩为一的自由 ℤ-模。
• 诱导模之间的交错算子形式为 Γ(s)R(s)，其中 R(s) ∈ ℚ(s)，且在 s=0 处的取值为 π 的非零有理倍数。
• 交错算子在上同调上诱导的同构在 ℤ 上定义，支持了算术上同调中周期的整性。
• 周期 Ω_i(π_f,ι,ε) 在系数域整数环的单位模下定义良好，其比值属于该整数环的单位群。
• 在精化周期定义下，L-值比值 L^coh(ι,σ×σ′^v, m₀)/L^coh(ι,σ×σ′^v, 1+m₀) 的有理性得以保持，现在具有算术意义。
• 周期分解为素理想可能反映埃斯泰因类的分母，尽管这一关系可能被因子 c_∞(μ̃) 所掩盖。