The Galois Structure of the Spaces of polydifferentials on the Drinfeld Curve

TL;DR

This paper investigates the Galois module structure of spaces of polydifferentials on the Drinfeld curve under the action of SL_2 over finite fields, providing a full decomposition for q=p and partial results otherwise.

Contribution

It offers the first explicit decomposition of polydifferential spaces on the Drinfeld curve under SL_2 actions, especially for the case q=p, advancing understanding of Galois representations in positive characteristic.

Findings

Full decomposition of polydifferentials for q=p

Partial decomposition for arbitrary q

Explicit basis construction for the space of polydifferentials

Abstract

Let $C$ be a smooth projective curve over an algebraically closed field ${\mathbb{F}}$ equipped with the action of a finite group $G$. When $p =\textrm{char}(\mathbb{F})$ divides the order of $G$, the long-standing problem of computing the induced representation of $G$ on the space $H^0(C,\Omega^{\otimes m}_C)$ of globally holomorphic polydifferentials remains unsolved in general. In this paper, we study the case of the group $G = \mathrm{SL}_2(\mathbb{F}_q)$ (where $q$ is a power of~$p$) acting on the Drinfeld curve $C$ which is the projective plane curve given by the equation $XY^q-X^qY-Z^{q+1} = 0$. When $q = p$, we fully decompose $H^0(C,\Omega^{\otimes m}_C)$ as a direct sum of indecomposable $\mathbb{F}[G]$-modules. For arbitrary $q$, we give a partial decomposition in terms of an explicit $\mathbb{F}$-basis of $H^0(C,\Omega^{\otimes m}_C)$.