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.2Ext嵌入定理对于非负整数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 技术路线与创新点证明这些定理需要综合运用多种高级工具Bernstein分解与仿射Hecke代数我们将表示范畴分解为Bernstein块并利用仿射Hecke代数的模理论来研究Ext群。完备化范畴理论引入了Fu提出的完备化范畴概念建立了有限生成表示与完备化Hecke代数模之间的联系。抛物诱导函子的全忠实性证明了在特定完备化范畴上抛物诱导函子保持Hom空间这是Ext嵌入定理的关键步骤。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)由两部分组成有限Hecke代数由生成元T₁,...,T_{n-1}构成满足辫子关系T_iT_{i1}T_i T_{i1}T_iT_{i1}二次关系(T_i - q)(T_i 1) 0交换关系|i-j|1时T_iT_j T_jT_iLaurent多项式子代数与有限Hecke代数通过特定关系结合 T_i y_i T_i q y_{i1} T_i y_j y_j T_i (j ≠ i,i1)这个代数的中心由对称群Sₙ不变的Laurent多项式组成Lusztig证明了它有自然的基。2.4 表示的分类GLₙ(F)的不可约表示可以通过多种方式分类Langlands分类给定不相互链接的多分节{m}标准模λ(m)有唯一不可约商Q(m)。Zelevinsky分类类似地Zelevinsky标准模ζ(m)有唯一不可约子模Z(m)。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) 的唯一不可约商。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(σ′)要么ρ ∈ csupp(ω)ρ ∉ (csupp_Z(ω) - csupp(ω))这里csupp_Z(ω) {νᵏρ | ρ ∈ csupp(ω), k ∈ ℤ}是ω的cuspidal线。这个范畴的关键性质是当π ∈ Cω是长度为2的表示时π不可分解当且仅当ω × π不可分解。这一结果为研究Ext群的行为提供了基础。3.2 Ext嵌入定理的陈述与意义定理3.1Ext嵌入定理设i是非负整数τ₁, τ₂ ∈ Cω。则存在单射 ϕ : Extⁱ_{GLₘ(F)}(τ₁, τ₂) ↪ Extⁱ_{GLₘ₊ₖ(F)}(ω × τ₁, ω × τ₂)这个定理有几个重要推论如果Extⁱ(τ₁, τ₂) ≠ 0那么Extⁱ(ω × τ₁, ω × τ₂) ≠ 0。这说明Ext群的非零性在特定条件下可以通过抛物诱导保持。由于与Speh表示的乘积在构造Arthur型表示和酉表示中至关重要这个结果对研究这些表示的Ext群非常有用。例子表明ϕ一般不是满射。例如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 × ϕ给出。证明分为两部分单射性因为抛物诱导是正合函子且将非零对象映到非零对象由范畴论引理可知它是忠实的。满射性需要构造性的论证利用完备化范畴的性质和Hecke代数的结构。这个全忠实性结果是证明Ext嵌入定理的关键步骤因为它允许我们将问题从群表示范畴转移到更容易处理的Hecke代数模范畴。3.5 Ext嵌入定理的证明利用前述准备工作定理3.1的证明可以概述如下首先将Ext群的计算转移到完备化范畴Ĉ(J)。应用抛物诱导的全忠实性定理建立Hom空间的同构。通过谱序列或长正合列技术将Hom的结果推广到Ext。利用有限长表示的特定性质将完备化范畴的结果转回原始表示范畴。一个技术难点是处理无限生成表示与有限生成表示之间的关系。我们使用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情形下主要进展包括AGRS10建立了Hom空间的重数一定理JPSS83, Pr93得到了generic表示的Hom分支律Pr18提出了Ext分支律的概念CS21证明了generic表示的Ext分支律对于非调和情形GGP20提出了Arthur型表示的非调和GGP猜想Ch22完全解决了p-adic一般线性群的情形。Ch23确定了任意不可约表示的Hom分支律。4.2 强Ext相关性的定义定义4.1设π和π′分别是GLₙ(F)和GLₙ₋₁(F)的Arthur型表示。称这对表示是强Ext相关的如果满足它们的cuspidal支持满足特定链接条件涉及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嵌入定理和一系列约化步骤首先将Arthur型表示分解为Speh表示的乘积。利用Ext嵌入定理将问题转化为更小的群上的Ext计算。通过Bernstein-Zelevinsky导数分析表示的局部结构。应用Nori-Prasad的有限生成性结果处理无限长表示的限制。一个关键观察是虽然π|GLₙ₋₁(F)通常是无限长的但它在每个Bernstein分量上是有限生成的。这使得我们可以使用完备化范畴的技术来研究Ext群。4.5 例子与具体计算考虑最简单的非平凡情形设π uρ(2,2)是GL₄(F)的Speh表示π′ uρ(1,2)是GL₃(F)的Speh表示。首先验证这对表示是强Ext相关的。计算显示Ext¹(π, π′) ≠ 0。通过抛物诱导和导数分析可以具体构造非零的扩展类。这个例子展示了定理4.1的具体表现也说明了强Ext相关条件的几何意义。5. 应用与未来方向5.1 在表示构造中的应用Ext嵌入定理为构造不可分解表示提供了新方法。由于GLₙ(F)的表示范畴不是半单的理解长度≥2的不可分解表示是个基本问题。我们的结果为系统性地构造这类表示提供了工具。特别地对于范畴Cω中的表示τ如果知道Extⁱ(τ₁, τ₂)的结构就可以通过抛物诱导构造更大群上的不可分解表示。这在研究Arthur型表示的扩展性质时特别有用。5.2 与酉对偶的联系Speh表示是酉对偶的基本组成块。由于我们的结果涉及与Speh表示的乘积它们自然与酉表示的研究相关。特别是Ext群的计算在理解酉表示的变形和连续参数方面起着重要作用。一个有趣的方向是探索Ext嵌入定理在酉对偶的边界问题中的应用这可能为某些经典问题提供新的视角。5.3 有待解决的问题尽管我们的工作取得了一些进展但仍有许多开放问题完全的同调分支律目前的强Ext相关性只是充分条件寻找充要条件是个重要问题。更高阶Ext群对于i ≥ 2Extⁱ群的行为还很不清楚。其他经典群将结果推广到其他p-adic群特别是正交群和酉群。几何解释为Ext嵌入寻找几何或拓扑的解释可能涉及Schubert簇或仿射Grassmannian。最近的工作CLLTZ25提出了一些相关思路表明这个领域仍在快速发展中。5.4 与其他领域的联系这项研究还与以下几个领域有深刻联系仿射Hecke代数的表示论我们的完备化范畴技术与Hecke代数的局部化理论密切相关。p-adic群的谐波分析Ext群的非零性与某些积分算子的可逆性有关。数论中的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)中导出函子可以通过以下步骤计算选择H-模的投射分解。应用完备化函子得到Ĥ-模的分解。计算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_{i1} ≅ ν¹/²π⁽ⁱ⁺¹⁾ × 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嵌入定理的具体运作方式以及如何利用已知的小群扩展构造大群的扩展。