Galois structure of the holomorphic differentials of curves
Abstract
Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show that the decomposition of the space of holomorphic differentials of $X$ into a direct sum of indecomposable $k[G]$-modules is uniquely determined by the lower ramification groups and the fundamental characters of closed points of $X$ that are ramified in the cover $X\to X/G$. We apply our method to determine the $\mathrm{PSL}(2,\mathbb{F}_\ell)$-module structure of the space of holomorphic differentials of the reduction of the modular curve $\mathcal{X}(\ell)$ modulo $p$ when $p$ and $\ell$ are distinct odd primes and the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on this reduction is not tamely ramified. This provides some non-trivial congruences modulo appropriate maximal ideals containing $p$ between modular forms arising from isotypic components with respect to the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on $\mathcal{X}(\ell)$.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2017
- DOI:
- 10.48550/arXiv.1707.07133
- arXiv:
- arXiv:1707.07133
- Bibcode:
- 2017arXiv170707133B
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Primary 11G20;
- Secondary 14H05;
- 14G17;
- 20C20
- E-Print:
- 51 pages. In this version, we corrected some typos