p-adic GL群的Ext嵌入定理与同调分支律研究

1. p-adic GL群的Ext嵌入定理与同调分支律研究

在p-adic群的表示理论中，抛物诱导函子扮演着核心角色。这个函子不仅用于构造表示，还深刻影响着表示之间的扩展关系。最近，我们团队在p-adic一般线性群GLn(F)的同调性质研究中取得了一系列突破性进展，特别是在Ext群的抛物诱导行为和同调分支律方面。

这项工作的起源可以追溯到经典的Gan-Gross-Prasad猜想，该猜想最初关注的是典型群的限制问题。随着研究的深入，非调和情形和同调分支律逐渐成为前沿课题。我们的研究正是沿着这一方向，系统性地探索了Ext群在抛物诱导下的行为规律，并建立了与分支问题的深刻联系。

特别值得注意的是，我们发现当表示τ₁和τ₂属于特定范畴Cω时，Ext群的非零性在抛物诱导下得以保持。这一结果为理解更一般的同调分支问题提供了关键工具。

1.1 研究背景与动机

表示理论中的一个基本现象是：非分裂的短正合序列可能在抛物诱导后变得分裂。这一现象最早由Zelevinsky在1980年观察到，他给出了GL₂(F)的一个具体例子：

考虑GL₂(F)上的非分裂短正合序列： 0 → 1₂ → ν⁻¹/² × ν¹/² → St₂ → 0

然而，当这个序列通过抛物诱导到GL₃(F)时： 0 → 1₂ × ν⁻¹/² → ν⁻¹/² × ν¹/² × ν⁻¹/² → St₂ × ν⁻¹/² → 0 它却变成了分裂的。

这个例子清楚地表明，要期望扩展关系在抛物诱导下保持不变，必须对cuspidal支持施加适当的条件。正是这一观察引导我们定义了特定的范畴Cω，其中ω是由离散系列构建的Speh表示。

1.2 主要结果概述

我们的研究得出了两个核心定理：

定理1.2（Ext嵌入定理）：对于非负整数i和属于范畴Cω的表示τ₁, τ₂，存在单射： Extⁱ_{GLₘ(F)}(τ₁, τ₂) ↪ Extⁱ_{GLₘ₊ₖ(F)}(ω × τ₁, ω × τ₂)

这个结果表明，在特定范畴内，Ext群的非零性可以通过抛物诱导"传递"到更大的群。作为推论，如果Extⁱ(τ₁, τ₂) ≠ 0，那么Extⁱ(ω × τ₁, ω × τ₂)也必然非零。

定理1.3（同调分支律）：如果π和π′分别是GLₙ(F)和GLₙ₋₁(F)的Arthur型表示，并且它们是强Ext相关的，那么对某个i ≥ 0有： Extⁱ_{GLₙ₋₁(F)}(π, π′) ≠ 0

这一结果为非调和Gan-Gross-Prasad猜想的同调版本提供了部分解答，尽管强Ext相关性目前还不是必要条件，但它已经为完全理解同调分支律奠定了重要基础。

1.3 技术路线与创新点

证明这些定理需要综合运用多种高级工具：

1. Bernstein分解与仿射Hecke代数：我们将表示范畴分解为Bernstein块，并利用仿射Hecke代数的模理论来研究Ext群。

2. 完备化范畴理论：引入了Fu提出的完备化范畴概念，建立了有限生成表示与完备化Hecke代数模之间的联系。

3. 抛物诱导函子的全忠实性：证明了在特定完备化范畴上，抛物诱导函子保持Hom空间，这是Ext嵌入定理的关键步骤。

4. Bernstein-Zelevinsky导数：用于分析表示的限制结构，特别是在处理分支问题时。

这些技术的创新性组合使得我们能够突破传统方法的局限，在表示的同调性质研究中取得实质性进展。

2. 预备知识：表示理论与代数工具

2.1 基本设定与表示范畴

设F是一个非阿基米德局部域，特征为p。对于每个正整数n，记Gₙ = GLₙ(F)。我们考虑Gₙ上的光滑表示，即满足每个向量都被某个开紧子群固定的表示。所有光滑表示的范畴记为Rep(Gₙ)，其不可约表示集记为Irr(Gₙ)。

在表示理论中，两个基本操作尤为重要：

• 抛物诱导：对于表示π₁ ∈ Rep(Gₙ₁)和π₂ ∈ Rep(Gₙ₂)，定义它们的抛物诱导表示： π₁ × π₂ = Ind^{Gₙ₁₊ₙ₂}{Pₙ₁,ₙ₂}(π₁ ⊗ π₂ ⊗ 1{Nₙ₁,ₙ₂})

  其中Pₙ₁,ₙ₂是Gₙ₁₊ₙ₂的标准抛物子群，Levi因子为Gₙ₁ × Gₙ₂，Nₙ₁,ₙ₂是其幂幺根。

• Jacquet函子：这是抛物诱导的左伴随函子。对于抛物子群P = MN和表示π ∈ Rep(Gₙ)，定义归一化Jacquet模： r_P(π) = δ_P^{-1/2} · π/⟨π(n)v - v | v ∈ π, n ∈ N⟩

2.2 Bernstein分解与类型理论

Bernstein分解将Rep(Gₙ)分解为不可分解的子范畴（称为Bernstein块）。每个Bernstein块Rₛ(Gₙ)对应一个惯性等价类s = [M,σ]，其中M是Levi子群，σ是M的超尖表示。

关键的是，每个Bernstein块Rₛ(Gₙ)等价于某个仿射Hecke代数Hₛ的模范畴。具体地，存在类型(K,τ)，其中K是开紧子群，τ是K的有限维表示，使得函子： π ↦ Hom_K(τ, π) 实现Rₛ(Gₙ)与H(K,τ)-模范畴的等价。

对于GLₙ(F)，相关的Hecke代数总可以分解为类型A的仿射Hecke代数的张量积： Hₛ = H(n₁,q₁) ⊗ H(n₂,q₂) ⊗ ··· ⊗ H(nₖ,qₖ)

2.3 仿射Hecke代数

类型A的仿射Hecke代数H(n,q)由两部分组成：

1. 有限Hecke代数：由生成元T₁,...,T_{n-1}构成，满足：

   • 辫子关系：T_iT_{i+1}T_i = T_{i+1}T_iT_{i+1}
   • 二次关系：(T_i - q)(T_i + 1) = 0
   • 交换关系：|i-j|>1时T_iT_j = T_jT_i

2. Laurent多项式子代数：与有限Hecke代数通过特定关系结合： T_i y_i T_i = q y_{i+1} T_i y_j = y_j T_i (j ≠ i,i+1)

这个代数的中心由对称群Sₙ不变的Laurent多项式组成，Lusztig证明了它有自然的基。

2.4 表示的分类

GLₙ(F)的不可约表示可以通过多种方式分类：

1. Langlands分类：给定不相互链接的多分节{m}，标准模λ(m)有唯一不可约商Q(m)。

2. Zelevinsky分类：类似地，Zelevinsky标准模ζ(m)有唯一不可约子模Z(m)。

3. Speh表示：由离散系列构建的重要表示类。设ρ是酉尖表示，δρ(a) = Q([-(a-1)/2, (a-1)/2]ρ)是离散系列，则Speh表示uρ(a,b)可以构造为： ν^{(b-1)/2}δρ(a) × ν^{(b-1)/2-1}δρ(a) × ··· × ν^{-(b-1)/2}δρ(a) 的唯一不可约商。

4. Arthur型表示：来自Arthur参数的表示，可以分解为Speh表示的张量积。

2.5 Bernstein-Zelevinsky导数

对于π ∈ Rep(Gₙ)，定义其第i个Bernstein-Zelevinsky导数π⁽ⁱ⁾如下：

设Uᵢ < Gₙ₋ᵢ × Gᵢ是Gᵢ中的上三角幂幺子群，ψᵢ是Uᵢ的非退化特征。定义扭曲Jacquet函子： Tᵢ(σ) = σ/⟨σ(u)·x - ψᵢ(u)·x | x ∈ σ, u ∈ Uᵢ⟩

然后π⁽ⁱ⁾ = Tᵢ ∘ r_{(n-i,i)}(π)，其中r_{(n-i,i)}是对应于划分(n-i,i)的Jacquet函子。

最高导数是指最大的i使得π⁽ⁱ⁾ ≠ 0。Bernstein-Zelevinsky证明了表示限制到Gₙ₋₁有自然滤过，其商与导数相关。

3. 抛物诱导函子的同调性质

3.1 范畴Cω的定义与性质

设ω ∈ Rep(GLₖ(F))是由离散系列构建的Speh表示。定义范畴Cω为Rep(GLₘ(F))的满子范畴，包含所有有限长表示σ，满足：

对于σ的任意合成因子σ′和任意ρ ∈ csupp(σ′)，要么：

1. ρ ∈ csupp(ω)
2. ρ ∉ (csupp_Z(ω) - csupp(ω))

这里csupp_Z(ω) = {νᵏρ | ρ ∈ csupp(ω), k ∈ ℤ}是ω的cuspidal线。

这个范畴的关键性质是：当π ∈ Cω是长度为2的表示时，π不可分解当且仅当ω × π不可分解。这一结果为研究Ext群的行为提供了基础。

3.2 Ext嵌入定理的陈述与意义

定理3.1（Ext嵌入定理）：设i是非负整数，τ₁, τ₂ ∈ Cω。则存在单射： ϕ : Extⁱ_{GLₘ(F)}(τ₁, τ₂) ↪ Extⁱ_{GLₘ₊ₖ(F)}(ω × τ₁, ω × τ₂)

这个定理有几个重要推论：

1. 如果Extⁱ(τ₁, τ₂) ≠ 0，那么Extⁱ(ω × τ₁, ω × τ₂) ≠ 0。这说明Ext群的非零性在特定条件下可以通过抛物诱导保持。

2. 由于与Speh表示的乘积在构造Arthur型表示和酉表示中至关重要，这个结果对研究这些表示的Ext群非常有用。

3. 例子表明ϕ一般不是满射。例如，Ext⁶_{GL₅(F)}(1₅, St₅) = 0，但Ext⁶_{GL₁₀(F)}(1₅ × 1₅, 1₅ × St₅) ≠ 0。

3.3 完备化范畴与Hecke代数模

为了证明Ext嵌入定理，我们需要在更一般的框架下工作，而不仅仅是有限长表示。为此引入完备化范畴的概念：

设π ∈ Cω是不可约表示，s是其惯性类，H是对应Hecke代数，J是中心Z中零化π的极大理想。定义完备化代数Ĥ = lim H/JⁱH。

定义完备化范畴Ĉ(J)，其对象形如： τ̂ = lim (τ/Jⁱτ) 其中τ ∈ Repₛ(Gₙ)且τ/Jⁱτ有限长。

关键结果是Ĉ(J)等价于有限生成Ĥ-模范畴Mod_{fg}(Ĥ)。通过这个等价，我们可以将表示论问题转化为Hecke代数的同调代数问题。

3.4 抛物诱导的全忠实性

定理3.2：设τ̂₁, τ̂₂ ∈ Ĉ(J)。则： Hom_{Ĉ(J)}(τ̂₁, τ̂₂) ≅ Hom_{Ĉ(J′)}(ω × τ̂₁, ω × τ̂₂) 其中同构由ϕ ↦ Id × ϕ给出。

证明分为两部分：

1. 单射性：因为抛物诱导是正合函子且将非零对象映到非零对象，由范畴论引理可知它是忠实的。

2. 满射性：需要构造性的论证，利用完备化范畴的性质和Hecke代数的结构。

这个全忠实性结果是证明Ext嵌入定理的关键步骤，因为它允许我们将问题从群表示范畴转移到更容易处理的Hecke代数模范畴。

3.5 Ext嵌入定理的证明

利用前述准备工作，定理3.1的证明可以概述如下：

1. 首先将Ext群的计算转移到完备化范畴Ĉ(J)。

2. 应用抛物诱导的全忠实性定理，建立Hom空间的同构。

3. 通过谱序列或长正合列技术，将Hom的结果推广到Ext。

4. 利用有限长表示的特定性质，将完备化范畴的结果转回原始表示范畴。

一个技术难点是处理无限生成表示与有限生成表示之间的关系。我们使用Nori和Prasad的一个结果：

命题3.1：设π₁, π₂是Repₛ(Gₘ)中的有限生成表示，视为H-模。则对i ≥ 0： Extⁱ_H(π₁, π̂₂) ≅ Ẑ ⊗_Z Extⁱ_H(π₁, π₂) ≅ Extⁱ_{Ĉ(J)}(π̂₁, π̂₂)

当π₁或π₂有限长且dim Extⁱ_H(π₁, π₂) < ∞时，有： Extⁱ_H(π₁, π₂) ≅ Extⁱ_{Ĉ(J)}(π̂₁, π̂₂)

这个命题允许我们在有限生成和完备化表示之间自由转换，是连接代数与表示论的关键桥梁。

4. 同调分支律与非调和GGP猜想

4.1 分支问题的历史发展

Gan-Gross-Prasad(GGP)猜想最初针对典型群的限制问题提出，后来扩展到一般线性群和非调和情形。在Hom情形下，主要进展包括：

1. AGRS10建立了Hom空间的重数一定理
2. JPSS83, Pr93得到了generic表示的Hom分支律
3. Pr18提出了Ext分支律的概念
4. CS21证明了generic表示的Ext分支律

对于非调和情形，GGP20提出了Arthur型表示的非调和GGP猜想，Ch22完全解决了p-adic一般线性群的情形。Ch23+确定了任意不可约表示的Hom分支律。

4.2 强Ext相关性的定义

定义4.1：设π和π′分别是GLₙ(F)和GLₙ₋₁(F)的Arthur型表示。称这对表示是强Ext相关的，如果满足：

1. 它们的cuspidal支持满足特定链接条件
2. 涉及Aubert-Zelevinsky对偶的某种对称性

这个概念源于GGP相关性的原始定义和Nori-Prasad的一个对偶定理。直观上，它捕捉了表示之间足够强的几何联系，以保证非零Ext群的存在。

4.3 同调分支律的主要定理

定理4.1：如果π和π′是强Ext相关的Arthur型表示，那么对某个i ≥ 0有： Extⁱ_{GLₙ₋₁(F)}(π, π′) ≠ 0

这个结果部分解决了Qa25中的猜想1.3。值得注意的是，强Ext相关性目前还不是必要条件——存在Ext非零但不强Ext相关的例子。因此，完全的同调分支律仍有待进一步研究。

4.4 证明思路与技术要点

定理4.1的证明依赖于Ext嵌入定理和一系列约化步骤：

1. 首先将Arthur型表示分解为Speh表示的乘积。
2. 利用Ext嵌入定理，将问题转化为更小的群上的Ext计算。
3. 通过Bernstein-Zelevinsky导数分析表示的局部结构。
4. 应用Nori-Prasad的有限生成性结果处理无限长表示的限制。

一个关键观察是：虽然π|GLₙ₋₁(F)通常是无限长的，但它在每个Bernstein分量上是有限生成的。这使得我们可以使用完备化范畴的技术来研究Ext群。

4.5 例子与具体计算

考虑最简单的非平凡情形：设π = uρ(2,2)是GL₄(F)的Speh表示，π′ = uρ(1,2)是GL₃(F)的Speh表示。

1. 首先验证这对表示是强Ext相关的。
2. 计算显示Ext¹(π, π′) ≠ 0。
3. 通过抛物诱导和导数分析，可以具体构造非零的扩展类。

这个例子展示了定理4.1的具体表现，也说明了强Ext相关条件的几何意义。

5. 应用与未来方向

5.1 在表示构造中的应用

Ext嵌入定理为构造不可分解表示提供了新方法。由于GLₙ(F)的表示范畴不是半单的，理解长度≥2的不可分解表示是个基本问题。我们的结果为系统性地构造这类表示提供了工具。

特别地，对于范畴Cω中的表示τ，如果知道Extⁱ(τ₁, τ₂)的结构，就可以通过抛物诱导构造更大群上的不可分解表示。这在研究Arthur型表示的扩展性质时特别有用。

5.2 与酉对偶的联系

Speh表示是酉对偶的基本组成块。由于我们的结果涉及与Speh表示的乘积，它们自然与酉表示的研究相关。特别是，Ext群的计算在理解酉表示的变形和连续参数方面起着重要作用。

一个有趣的方向是探索Ext嵌入定理在酉对偶的边界问题中的应用，这可能为某些经典问题提供新的视角。

5.3 有待解决的问题

尽管我们的工作取得了一些进展，但仍有许多开放问题：

1. 完全的同调分支律：目前的强Ext相关性只是充分条件，寻找充要条件是个重要问题。
2. 更高阶Ext群：对于i ≥ 2，Extⁱ群的行为还很不清楚。
3. 其他经典群：将结果推广到其他p-adic群，特别是正交群和酉群。
4. 几何解释：为Ext嵌入寻找几何或拓扑的解释，可能涉及Schubert簇或仿射Grassmannian。

最近的工作CLLTZ25提出了一些相关思路，表明这个领域仍在快速发展中。

5.4 与其他领域的联系

这项研究还与以下几个领域有深刻联系：

1. 仿射Hecke代数的表示论：我们的完备化范畴技术与Hecke代数的局部化理论密切相关。
2. p-adic群的谐波分析：Ext群的非零性与某些积分算子的可逆性有关。
3. 数论中的L函数：同调分支律可能反映在L函数的特殊值行为中。

这些联系表明，同调方法在表示论中的发展可能对多个数学领域产生深远影响。

6. 技术细节与补充材料

6.1 仿射Hecke代数的中心结构

设Hₙ = H(n,q)是类型A的仿射Hecke代数。其中心Z由Sₙ不变的Laurent多项式组成，有自然的基：

z_M = ∑_{w∈Sₙ} y₁^{i_{w(1)}} y₂^{i_{w(2)}} ··· yₙ^{i_{w(n)}}

其中M = (i₁,...,iₙ)跑遍ℤⁿ/Sₙ。

这个中心结构在Bernstein分解和范畴等价中起着关键作用。特别是，极大理想J ⊂ Z对应于不可约表示，而完备化Ĥ = lim H/JⁱH允许我们研究表示的同调性质。

6.2 完备化范畴的导出函子

在完备化范畴Ĉ(J)中，导出函子可以通过以下步骤计算：

1. 选择H-模的投射分解。
2. 应用完备化函子得到Ĥ-模的分解。
3. 计算Hom空间和同调群。

由于Ĥ是Noetherian环，有限生成Ĥ-模的Ext群有良好的性质。特别是，当模来自有限长表示时，维数有限性保证了计算的合理性。

6.3 抛物诱导与Jacquet函子的伴随性

抛物诱导Ind和Jacquet函子r_P形成一对伴随函子：

Hom_{Gₙ}(Ind^Gₙ_P(σ), π) ≅ Hom_M(σ, r_P(π))

这个伴随关系在同调代数中表现为各种谱序列和长正合列。例如，有Lyndon-Hochschild-Serre谱序列连接不同Levi子群的Ext群。

在我们的工作中，需要仔细分析这些函子在完备化范畴中的行为，特别是它们与局部化函子的交换性。

6.4 Bernstein-Zelevinsky滤过的同调解释

对于表示π ∈ Rep(Gₙ)，其限制π|_{Gₙ₋₁}有Bernstein-Zelevinsky滤过：

0 = Vₙ ⊊ Vₙ₋₁ ⊊ ··· ⊊ V₀ = π|_{Gₙ₋₁}

满足Vᵢ/V_{i+1} ≅ ν¹/²π⁽ⁱ⁺¹⁾ × c-ind^{Gᵢ}_{Uᵢ} ψᵢ

这个滤过在同调限制问题中非常有用，因为它将整体Ext群分解为更简单的部分。特别是，通过分析最高导数，可以得到Ext非零性的必要条件。

6.5 例子：Ext¹的计算

考虑最简单的非分裂扩展情形。设τ₁ = St₂，τ₂ = 1₂是GL₂(F)的表示。已知：

Ext¹_{GL₂(F)}(St₂, 1₂) ≅ ℂ

通过Ext嵌入定理，对于ω = uρ(1,2)（即离散系列），有：

Ext¹_{GL₄(F)}(ω × St₂, ω × 1₂) ≠ 0

可以具体构造这个扩展类：设0 → ω × 1₂ → E → ω × St₂ → 0是ω × (0 → 1₂ → ν⁻¹/² × ν¹/² → St₂ → 0)的像。由于原始序列在GL₂(F)中非分裂，且ω × · 在Cω上是忠实的，新序列也非分裂。

这个例子展示了Ext嵌入定理的具体运作方式，以及如何利用已知的小群扩展构造大群的扩展。