Abstract:Recently, by studying an explicit basis, Köck and Laurent give the decomposition of the $\overline{\mathbb{F}}_q[\mathrm{SL}_2(\mathbb{F}_q)]$-module of holomorphic forms on the Drinfeld curve. We present a crystalline cohomological proof of this decomposition, without specifying a basis.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the decomposition problem of the canonical representation of Drinfeld curves. Specifically, the author focuses on how to decompose the space of holomorphic forms \( H^0(C_k, \Omega^1_{C_k}) \) on Drinfeld curves into irreducible \( kG_F \)-modules.
### Problem Background
The Drinfeld curve \( C \) is a projective curve defined over the finite field \( \mathbb{F}_q \), given by the equation
\[
XY^q - X^q Y - Z^{q + 1}=0
\]
The group \( G = SL_2(\mathbb{F}_q) \) acts on this curve by left - multiplying the matrix on the coordinates \( [X:Y] \). Studying the decomposition of the space of holomorphic differential forms \( H^0(C_k, \Omega^1_{C_k}) \) under this action is a classical and important problem, which can be traced back to Hecke's work [Hec28].
### Specific Problem
Laurent and Köck proposed a specific basis in their work [LK24] and gave the decomposition of \( H^0(C_k, \Omega^1_{C_k}) \) based on this:
\[
H^0(C_k, \Omega^1_{C_k})\cong\bigoplus_{i = 0}^{q-2}V_i,
\]
where \( V_i:=\text{Sym}^i(k^2) \), and \( k^2 \) is the natural representation of \( G_F\subseteq GL_2(k) \).
### Main Contributions of the Paper
The main contribution of this paper is to provide a new proof method using crystalline cohomology without constructing a specific basis. This method is not only more conceptual but also avoids complex calculations, thus providing a more concise proof path.
### Key Results
By using crystalline cohomology and other tools, the author proved the above decomposition theorem. The specific steps include:
1. **Application of Crystalline Cohomology**: Using the theory of crystalline cohomology, the equivalence between \( H^1(C_k/W)\otimes_W K \) and \( H^1(C,\mathbb{Q}_\ell) \) was proved.
2. **Decomposition in Grothendieck Group**: Through the decomposition map \( d \) in the Grothendieck group, the decomposition of \( H^1_{dR}(C_k/k) \) was obtained.
3. **Application of Poincaré Duality**: Using the Poincaré duality relationship, the decomposition of \( H^0(C_k, \Omega^1_{C_k}) \) was finally obtained.
### Conclusion
In summary, this paper re - proved the decomposition theorem of the space of holomorphic forms on Drinfeld curves by introducing the method of crystalline cohomology, providing a more concise and conceptual proof method.