1. Galois structure of the holomorphic differentials of curves
- Author
-
Aristides Kontogeorgis, Ted Chinburg, and Frauke M. Bleher
- Subjects
Algebra and Number Theory ,Galois cohomology ,010102 general mathematics ,Modular form ,Sylow theorems ,Holomorphic function ,Primary 11G20, Secondary 14H05, 14G17, 20C20 ,010103 numerical & computational mathematics ,16. Peace & justice ,01 natural sciences ,Modular curve ,Combinatorics ,Mathematics - Algebraic Geometry ,FOS: Mathematics ,Perfect field ,Galois extension ,0101 mathematics ,Indecomposable module ,Algebraic Geometry (math.AG) ,Mathematics - 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)$., 51 pages. In this version, we corrected some typos
- Published
- 2020