We explicitly determine the group of isomorphism classes of equivariant line bundles on the non-archimedean Drinfeld upper half plane for $\mathrm{GL}_2(F)$, for its subgroup of matrices whose determinant has trivial valuation, and for $\mathrm{GL}_2(\mathcal{O}_F)$. Our results extend a recent classification of torsion equivariant line bundles with connection due to Ardakov and Wadsley, but we use a different approach. A crucial ingredient is a construction due to Van der Put which relates invertible analytic functions on the Drinfeld upper half plane to currents on the Bruhat-Tits tree. Another tool we use is condensed group cohomology.
论文ID : 2510.10330标题 : Classification of Equivariant Line Bundles on the Drinfeld Upper Half Plane作者 : Georg Linden分类 : math.AG (代数几何), math.NT (数论)发表时间 : 2025年10月11日论文链接 : https://arxiv.org/abs/2510.10330v1 本文显式确定了非阿基米德Drinfeld上半平面上等变线束的同构类群，针对G L 2 ( F ) \mathrm{GL}_2(F) GL 2 ( F ) G L 2 ( O F ) \mathrm{GL}_2(\mathcal{O}_F) GL 2 ( O F )
Drinfeld上半平面 ：这是一个重要的非阿基米德解析空间，定义为Ω F = P F 1 ∖ P 1 ( F ) \Omega_F = \mathbb{P}^1_F \setminus \mathbb{P}^1(F) Ω F = P F 1 ∖ P 1 ( F ) F F F 等变线束分类问题 ：在代数几何中，分类给定空间上的等变线束是一个基本问题，它与群作用、上同调理论和表示论密切相关。已有工作的局限性 ：Ardakov和Wadsley AW25 仅分类了带可积连接的扭转等变线束 Junger Jun23b 研究了形式模型上的等变线束 缺乏对一般情况的完整分类 本文旨在提供Drinfeld上半平面上等变线束的完整分类，填补现有理论的空白，并为p-进几何和表示论提供新的工具。
完整分类定理 ：显式确定了三个重要群(G = G L 2 ( F ) G = \mathrm{GL}_2(F) G = GL 2 ( F ) G 0 G^0 G 0 G 0 = G L 2 ( O F ) G_0 = \mathrm{GL}_2(\mathcal{O}_F) G 0 = GL 2 ( O F ) 新方法论 ：采用Van der Put变换和凝聚群上同调理论，提供了不同于Ardakov-Wadsley的方法路径。理论扩展 ：将已有的扭转情况扩展到一般情况，并建立了与Bruhat-Tits树上电流的深刻联系。计算工具 ：开发了处理非阿基米德解析空间上等变线束的新计算技术。本文的方法基于将等变线束的分类问题转化为群上同调的计算问题：
Pic H ( Ω ) ≅ H 1 ( H , O × ( Ω ) ) \text{Pic}^H(\Omega) \cong H^1(H, \mathcal{O}^×(\Omega)) Pic H ( Ω ) ≅ H 1 ( H , O × ( Ω ))
其中H H H O × ( Ω ) \mathcal{O}^×(\Omega) O × ( Ω )
这是方法的关键工具，建立了短正合列：
1 → K × → O × ( Ω ) → P F ( A , Z ) → 0 1 \to K^× \to \mathcal{O}^×(\Omega) \xrightarrow{P} F(A,\mathbb{Z}) \to 0 1 → K × → O × ( Ω ) P F ( A , Z ) → 0
其中：
F ( A , Z ) F(A,\mathbb{Z}) F ( A , Z ) P P P 电流ϕ ∈ F ( A , Z ) \phi \in F(A,\mathbb{Z}) ϕ ∈ F ( A , Z )
反对称性 ：ϕ ( ( v , w ) ) = − ϕ ( ( w , v ) ) \phi((v,w)) = -\phi((w,v)) ϕ (( v , w )) = − ϕ (( w , v )) 调和性 ：对每个顶点v v v ∑ ( v , w ) ∈ A ϕ ( ( v , w ) ) = 0 \sum_{(v,w) \in A} \phi((v,w)) = 0 ∑ ( v , w ) ∈ A ϕ (( v , w )) = 0 使用Clausen-Scholze的凝聚数学框架处理拓扑群的上同调：
将拓扑G G G M M M G G G 定义凝聚群上同调H n ( G , M ) H^n(G,M) H n ( G , M ) 在适当条件下，有H n ( G , M ) ( ∗ ) = H n ( G , M ) H^n(G,M)^{(*)} = H^n(G,M) H n ( G , M ) ( ∗ ) = H n ( G , M ) 对于G = G L 2 ( F ) G = \mathrm{GL}_2(F) G = GL 2 ( F ) ：
Z ⊕ Hom cts ( F × , K × ) → ∼ Pic G ( Ω ) \mathbb{Z} \oplus \text{Hom}_{\text{cts}}(F^×, K^×) \xrightarrow{\sim} \text{Pic}^G(\Omega) Z ⊕ Hom cts ( F × , K × ) ∼ Pic G ( Ω ) ( n , χ ) ↦ [ O ( n ) ⊗ O χ ∘ det ] (n, \chi) \mapsto [\mathcal{O}(n) \otimes \mathcal{O}_{\chi \circ \det}] ( n , χ ) ↦ [ O ( n ) ⊗ O χ ∘ d e t ]
对于G 0 G^0 G 0 ：
Z ⊕ Z / ( q 2 − 1 ) Z ⊕ Hom cts ( O F × × , O K × × ) → ∼ Pic G 0 ( Ω ) \mathbb{Z} \oplus \mathbb{Z}/(q^2-1)\mathbb{Z} \oplus \text{Hom}_{\text{cts}}(\mathcal{O}_F^{××}, \mathcal{O}_K^{××}) \xrightarrow{\sim} \text{Pic}^{G^0}(\Omega) Z ⊕ Z / ( q 2 − 1 ) Z ⊕ Hom cts ( O F ×× , O K ×× ) ∼ Pic G 0 ( Ω ) ( n , k , χ ) ↦ [ O ( n ) ⊗ L ⊗ k ⊗ O χ ∘ ⟨ det ⟩ ] (n, k, \chi) \mapsto [\mathcal{O}(n) \otimes L^{\otimes k} \otimes \mathcal{O}_{\chi \circ \langle\det\rangle}] ( n , k , χ ) ↦ [ O ( n ) ⊗ L ⊗ k ⊗ O χ ∘ ⟨ d e t ⟩ ]
对于G 0 = G L 2 ( O F ) G_0 = \mathrm{GL}_2(\mathcal{O}_F) G 0 = GL 2 ( O F ) ：
Z p ⊕ Z / ( q 2 − 1 ) Z ⊕ Hom cts ( G 0 , O K × × ) → ∼ Pic G 0 ( Ω ) \mathbb{Z}_p \oplus \mathbb{Z}/(q^2-1)\mathbb{Z} \oplus \text{Hom}_{\text{cts}}(G_0, \mathcal{O}_K^{××}) \xrightarrow{\sim} \text{Pic}^{G_0}(\Omega) Z p ⊕ Z / ( q 2 − 1 ) Z ⊕ Hom cts ( G 0 , O K ×× ) ∼ Pic G 0 ( Ω ) ( λ , k , ψ ) ↦ [ L ⊗ O ( 1 ) ] ⊗ λ ⊗ [ L ⊗ k ⊗ O ψ ] (\lambda, k, \psi) \mapsto [L \otimes \mathcal{O}(1)]^{\otimes \lambda} \otimes [L^{\otimes k} \otimes \mathcal{O}_\psi] ( λ , k , ψ ) ↦ [ L ⊗ O ( 1 ) ] ⊗ λ ⊗ [ L ⊗ k ⊗ O ψ ]
其中L L L [ L ] ⊗ ( q + 1 ) = [ O det ^ − 1 ] [L]^{\otimes(q+1)} = [\mathcal{O}_{\widehat{\det}^{-1}}] [ L ] ⊗ ( q + 1 ) = [ O d e t − 1 ] G 0 G_0 G 0
Mayer-Vietoris型定理 ：利用G 0 = G 0 ∗ I s G 0 G_0 = G_0 *_I {}^s G_0 G 0 = G 0 ∗ I s G 0 主单位的处理 ：系统性地处理主单位群O × × \mathcal{O}^{××} O ×× 提升定理 ：证明了从G 0 G_0 G 0 G 0 G^0 G 0 G G G 利用Van der Put变换的短正合列，得到长正合上同调序列：
H 1 ( G 0 , K × ) → H 1 ( G 0 , O × ( Ω ) ) → P ∗ H 1 ( G 0 , F ( E , Z ) ) H^1(G_0, K^×) \to H^1(G_0, \mathcal{O}^×(\Omega)) \xrightarrow{P_*} H^1(G_0, F(E,\mathbb{Z})) H 1 ( G 0 , K × ) → H 1 ( G 0 , O × ( Ω )) P ∗ H 1 ( G 0 , F ( E , Z ))
通过分析Bruhat-Tits树的组合结构，计算出：
H 1 ( G 0 , F ( E , Z ) ) ≅ 1 q − 1 Z ⊕ Z / ( q + 1 ) Z H^1(G_0, F(E,\mathbb{Z})) \cong \frac{1}{q-1}\mathbb{Z} \oplus \mathbb{Z}/(q+1)\mathbb{Z} H 1 ( G 0 , F ( E , Z )) ≅ q − 1 1 Z ⊕ Z / ( q + 1 ) Z H 1 ( G 0 , F ( E , Z ) ) ≅ Z p ⊕ Z / ( q + 1 ) Z H^1(G_0, F(E,\mathbb{Z})) \cong \mathbb{Z}_p \oplus \mathbb{Z}/(q+1)\mathbb{Z} H 1 ( G 0 , F ( E , Z )) ≅ Z p ⊕ Z / ( q + 1 ) Z 构造关键的扭转类[ α ] ∈ H 1 ( G 0 , O × ( Ω ) ) [\alpha] \in H^1(G_0, \mathcal{O}^×(\Omega)) [ α ] ∈ H 1 ( G 0 , O × ( Ω ))
阶为q 2 − 1 q^2-1 q 2 − 1 [ α ] q + 1 = det ^ − 1 [\alpha]^{q+1} = \widehat{\det}^{-1} [ α ] q + 1 = det − 1 在共轭作用下s ∗ [ α ] = [ α ] q s_*[\alpha] = [\alpha]^q s ∗ [ α ] = [ α ] q 使用amalgamated free product的Mayer-Vietoris序列和Hochschild-Serre谱序列分析类的提升。
范围扩展 ：从扭转情况扩展到一般情况方法差异 ：使用Van der Put变换而非四元数代数方法结果一致性 ：在扭转情况下与AW25 的结果一致Taylor Tay25b 证明了遗忘连接的映射在扭转部分是同构，本文提供了这一结果的另一种证明。
难点 ：处理连续群作用和拓扑结构
解决方案 ：使用凝聚数学框架，将问题转化为凝聚群上同调
难点 ：处理O × ( Ω ) = lim ← O × ( Ω n ) \mathcal{O}^×(\Omega) = \lim_{\leftarrow} \mathcal{O}^×(\Omega_n) O × ( Ω ) = lim ← O × ( Ω n ) 解决方案 ：证明逆系统满足Mittag-Leffler条件，应用相应的上同调定理
难点 ：证明上同调类从G 0 G_0 G 0 G 0 G^0 G 0 解决方案 ：精细分析Iwahori子群I I I
几何表示论 ：为Drinfeld上半平面的几何表示论提供基础工具p-进几何 ：推进非阿基米德解析几何的发展上同调理论 ：展示凝聚群上同调在具体问题中的威力高维推广 ：方法可能推广到高维Drinfeld对称空间算术几何 ：在算术几何和朗兰兹纲领中的应用表示论 ：为局部朗兰兹对应提供几何工具本文完成了Drinfeld上半平面上等变线束的完整分类，提供了新的方法论，并建立了与树上电流理论的深刻联系。
方法主要适用于G L 2 \mathrm{GL}_2 GL 2 需要特征零的假设（在某些结果中） 技术复杂性较高 高维推广 ：扩展到G L n \mathrm{GL}_n GL n 算术应用 ：在算术几何中的应用计算方面 ：开发更有效的计算方法完整性 ：提供了问题的完整解决方案方法创新 ：巧妙结合了多个数学分支的工具技术深度 ：展现了高超的技术水平理论价值 ：为相关领域提供了重要的理论基础论文在技术上是严谨和完整的，证明详细且逻辑清晰。凝聚群上同调的使用是创新性的，Van der Put变换的应用也很巧妙。
这是该领域的重要进展，预期将对p-进几何、表示论和算术几何产生持续影响，并可能启发进一步的研究方向。
主要参考了以下重要工作：
AW25 Ardakov-Wadsley关于等变线束with连接的工作Jun23b Junger关于形式模型的研究vdP92 Van der Put的原始构造CS19 Clausen-Scholze的凝聚数学理论