Classification of Equivariant Line Bundles on the Drinfeld Upper Half Plane

Basic Information

• Paper ID: 2510.10330
• Title: Classification of Equivariant Line Bundles on the Drinfeld Upper Half Plane
• Author: Georg Linden
• Classification: math.AG (Algebraic Geometry), math.NT (Number Theory)
• Publication Date: October 11, 2025
• Paper Link: https://arxiv.org/abs/2510.10330v1

Abstract

This paper explicitly determines the isomorphism classes of equivariant line bundles on the non-Archimedean Drinfeld upper half plane for $\mathrm{GL}_2(F)$, its subgroup with determinant valuation zero, and $\mathrm{GL}_2(\mathcal{O}_F)$. The results extend the recent classification by Ardakov and Wadsley of torsion equivariant line bundles with connections, but employ a different approach. Key tools include the Van der Put construction (relating invertible analytic functions on the Drinfeld upper half plane to currents on the Bruhat-Tits tree) and coherent group cohomology theory.

Research Background and Motivation

Problem Background

1. Drinfeld Upper Half Plane: An important non-Archimedean analytic space defined as $\Omega_F = \mathbb{P}^1_F \setminus \mathbb{P}^1(F)$, namely the projective line with all $F$-rational points removed.
2. Equivariant Line Bundle Classification Problem: In algebraic geometry, classifying equivariant line bundles on a given space is a fundamental problem intimately connected with group actions, cohomology theory, and representation theory.
3. Limitations of Existing Work:
   • Ardakov and Wadsley AW25 classified only torsion equivariant line bundles with integrable connections
   • Junger Jun23b studied equivariant line bundles on formal models
   • Lack of complete classification in the general case

Research Motivation

This paper aims to provide a complete classification of equivariant line bundles on the Drinfeld upper half plane, filling gaps in existing theory and providing new tools for $p$-adic geometry and representation theory.

Core Contributions

1. Complete Classification Theorem: Explicitly determines the structure of the Picard group of equivariant line bundles under the action of three important groups ($G = \mathrm{GL}_2(F)$, $G^0$, $G_0 = \mathrm{GL}_2(\mathcal{O}_F)$).
2. Novel Methodology: Employs the Van der Put transformation and coherent group cohomology theory, providing an alternative approach to Ardakov-Wadsley.
3. Theoretical Extension: Extends the existing torsion case to the general case and establishes profound connections with currents on the Bruhat-Tits tree.
4. Computational Tools: Develops new computational techniques for handling equivariant line bundles on non-Archimedean analytic spaces.

Detailed Methodology

Core Strategy

The paper's approach transforms the classification problem for equivariant line bundles into a group cohomology computation problem:

$\text{Pic}^H(\Omega) \cong H^1(H, \mathcal{O}^×(\Omega))$

where $H$ is the relevant group and $\mathcal{O}^×(\Omega)$ is the sheaf of invertible functions.

Van der Put Transformation

This is the key tool of the method, establishing the short exact sequence: $1 \to K^× \to \mathcal{O}^×(\Omega) \xrightarrow{P} F(A,\mathbb{Z}) \to 0$

where:

• $F(A,\mathbb{Z})$ is the space of currents on the Bruhat-Tits tree
• $P$ is the Van der Put transformation, mapping invertible functions to currents on the tree

Definition of Currents

A current $\phi \in F(A,\mathbb{Z})$ satisfies:

1. Antisymmetry: $\phi((v,w)) = -\phi((w,v))$
2. Harmonicity: For each vertex $v$, $\sum_{(v,w) \in A} \phi((v,w)) = 0$

Coherent Group Cohomology

Uses the coherent mathematics framework of Clausen-Scholze to handle cohomology of topological groups:

• Treats topological $G$-modules $M$ as coherent $G$-modules
• Defines coherent group cohomology $H^n(G,M)$
• Under appropriate conditions, $H^n(G,M)^{(*)} = H^n(G,M)$

Main Results

Theorem A: Complete Classification of Equivariant Line Bundles

For $G = \mathrm{GL}_2(F)$: $\mathbb{Z} \oplus \text{Hom}_{\text{cts}}(F^×, K^×) \xrightarrow{\sim} \text{Pic}^G(\Omega)$$(n, \chi) \mapsto [\mathcal{O}(n) \otimes \mathcal{O}_{\chi \circ \det}]$

For $G^0$ (matrices with determinant valuation zero): $\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)$$(n, k, \chi) \mapsto [\mathcal{O}(n) \otimes L^{\otimes k} \otimes \mathcal{O}_{\chi \circ \langle\det\rangle}]$

For $G_0 = \mathrm{GL}_2(\mathcal{O}_F)$: $\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)$$(\lambda, k, \psi) \mapsto [L \otimes \mathcal{O}(1)]^{\otimes \lambda} \otimes [L^{\otimes k} \otimes \mathcal{O}_\psi]$

where $L$ is a special $G_0$-equivariant line bundle satisfying $[L]^{\otimes(q+1)} = [\mathcal{O}_{\widehat{\det}^{-1}}]$.

Technical Innovations

1. Mayer-Vietoris Type Theorem: Exploits the amalgamated free product structure $G_0 = G_0 *_I {}^s G_0$.
2. Treatment of Principal Units: Systematically handles characters on the principal units group $\mathcal{O}^{××}$.
3. Lifting Theorem: Proves the existence of lifts of cohomology classes from $G_0$ to $G^0$ and $G$.

Proof Strategy

Step One: Cohomology of the Van der Put Sequence

Utilizes the short exact sequence of the Van der Put transformation to obtain the long exact cohomology sequence: $H^1(G_0, K^×) \to H^1(G_0, \mathcal{O}^×(\Omega)) \xrightarrow{P_*} H^1(G_0, F(E,\mathbb{Z}))$

Step Two: Cohomology Computation of Current Spaces

Through analysis of the combinatorial structure of the Bruhat-Tits tree, computes:

• $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,\mathbb{Z})) \cong \mathbb{Z}_p \oplus \mathbb{Z}/(q+1)\mathbb{Z}$

Step Three: Construction of Torsion Classes

Constructs key torsion classes $[\alpha] \in H^1(G_0, \mathcal{O}^×(\Omega))$ satisfying:

• Order $q^2-1$
• $[\alpha]^{q+1} = \widehat{\det}^{-1}$
• $s_*[\alpha] = [\alpha]^q$ under conjugation action

Step Four: Lifting Analysis

Uses the Mayer-Vietoris sequence of the amalgamated free product and the Hochschild-Serre spectral sequence to analyze class lifts.

Relationship with Existing Work

Comparison with Ardakov-Wadsley

1. Extended Scope: Extends from the torsion case to the general case
2. Methodological Difference: Uses Van der Put transformation rather than quaternion algebra methods
3. Result Consistency: Agrees with AW25 results in the torsion case

Connection with Taylor's Work

Taylor Tay25b proved that the forgetful map of connections is an isomorphism on the torsion part; this paper provides an alternative proof of this result.

Technical Difficulties and Solutions

Handling Topological Group Cohomology

Difficulty: Managing continuous group actions and topological structures Solution: Uses the coherent mathematics framework, transforming the problem into coherent group cohomology

Infinite-Dimensional Inverse Systems

Difficulty: Handling $\mathcal{O}^×(\Omega) = \lim_{\leftarrow} \mathcal{O}^×(\Omega_n)$Solution: Proves the inverse system satisfies the Mittag-Leffler condition and applies corresponding cohomology theorems

Technical Aspects of Lifting Problems

Difficulty: Proving the existence of lifts of cohomology classes from $G_0$ to $G^0$Solution: Detailed analysis of restrictions on the Iwahori subgroup $I$, using explicit cocycle computations

Applications and Significance

Theoretical Significance

1. Geometric Representation Theory: Provides foundational tools for geometric representation theory of the Drinfeld upper half plane
2. $p$-Adic Geometry: Advances the development of non-Archimedean analytic geometry
3. Cohomology Theory: Demonstrates the power of coherent group cohomology in concrete problems

Potential Applications

1. Higher-Dimensional Generalizations: Methods may extend to higher-dimensional Drinfeld symmetric spaces
2. Arithmetic Geometry: Applications in arithmetic geometry and the Langlands program
3. Representation Theory: Provides geometric tools for local Langlands correspondence

Conclusion and Outlook

Main Achievements

This paper completes the classification of equivariant line bundles on the Drinfeld upper half plane, provides new methodology, and establishes profound connections with current theory on trees.

Limitations

1. Methods primarily apply to the $\mathrm{GL}_2$ case
2. Requires characteristic zero assumptions in certain results
3. High technical complexity

Future Directions

1. Higher-Dimensional Generalizations: Extension to $\mathrm{GL}_n$ and general reductive groups
2. Arithmetic Applications: Applications in arithmetic geometry
3. Computational Aspects: Development of more efficient computational methods

In-Depth Evaluation

Strengths

1. Completeness: Provides a complete solution to the problem
2. Methodological Innovation: Cleverly combines tools from multiple mathematical branches
3. Technical Depth: Demonstrates high technical proficiency
4. Theoretical Value: Provides important theoretical foundations for related fields

Technical Assessment

The paper is rigorous and complete in technique, with detailed proofs and clear logical structure. The use of coherent group cohomology is innovative, and the application of the Van der Put transformation is skillful.

Impact Prediction

This represents important progress in the field and is expected to have sustained impact on $p$-adic geometry, representation theory, and arithmetic geometry, potentially inspiring further research directions.

References

Primarily references the following important works:

• AW25 Ardakov-Wadsley's work on equivariant line bundles with connections
• Jun23b Junger's research on formal models
• vdP92 Van der Put's original construction
• CS19 Clausen-Scholze's coherent mathematics theory