The Galois module structure of holomorphic poly-differentials and Riemann-Roch spaces

DOI10.1016/J.JALGEBRA.2023.05.010MaRDI QIDQ6169069zbMATH OpenOpenAlexFDO

Authors Frauke Bleher, Adam Wood

Publication date 11 July 2023

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.10789

zbMATH Keywords

cyclic Sylow subgroupsGalois module structureholomorphic poly-differentialsRiemann-Roch spaces

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) Positive characteristic ground fields in algebraic geometry (14G17) Algebraic functions and function fields in algebraic geometry (14H05) Modular representations and characters (20C20)

Abstract: Suppose $X$ is a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Let $G$ be a finite group acting faithfully on $X$ over $k$ such that $G$ has non-trivial, cyclic Sylow $p$-subgroups. If $E$ is a $G$-invariant Weil divisor on $X$ with $mathrmdeg(E)>2g(X)-2$, we prove that the decomposition of $mathrm{H}^0(X,mathcal{O}_X(E))$ into a direct sum of indecomposable $kG$-modules is uniquely determined by the class of $E$ modulo $G$-invariant principal divisors, together with the ramification data of the cover $XoX/G$. The latter is given by the lower ramification groups and the fundamental characters of the closed points of $X$ that are ramified in the cover. As a consequence, we obtain that if $m>1$ and $g(X)ge2$, then the $kG$-module structure of $mathrm{H}^0(X,Omeg{a}_X^{otimesm})$ is uniquely determined by the class of a canonical divisor on $X/G$ modulo principal divisors, together with the ramification data of $XoX/G$. This extends to arbitrary $m>1$ the $m=1$ case treated by the first author with T. Chinburg and A. Kontogeorgis. We discuss applications to the tangent space of the global deformation functor associated to $(X,G)$ and to congruences between prime level cusp forms in characteristic $0$. In particular, we complete the description of the precise $kmathrmPSL(2,mathbb{F}_{e}ll)$-module structure of all prime level $ell$ cusp forms of even weight in characteristic $p=3$.

Review text

This paper is partially based on the second author's PhD thesis under the direction of the first author. Generally, the authors fix a smooth, projective, geometrically irreducible curve \(X\) over a perfect field \(k\) of positive characteristic \(p\). However, in sections 4-6, the authors focus on special cases, such as hyperelliptic curves and modular curves. Assume \(G\) is a finite group acting faithfully on \(X\) over \(k\) such that \(G\) has non-trivial, cyclic Sylow \(p\)-subgroups. (In section 1, the authors collect the list of technical assumptions and specialized notations -- see pages 759--760.) Roughly speaking, one of the main results the authors establish is the following: For any \(G\)-invariant divisor \(E\) on \(X\) with sufficiently large degree, the space \(H^0(X,{\mathcal{O}}_X(E))\) of global sections of the line bundle \({\mathcal{O}}_X(E)\) can be decomposed into a direct sum of indecomposable \(kG\)-modules depending only on the class of \(E\) modulo \(G\)-invariant principal divisors, together with the ramification data of the cover \(X \to X/G\). Moreover, building on the work of \textit{E. Kani} [J. Reine Angew. Math. 367, 187--206 (1986; Zbl 0606.14027)] and \textit{S. Nakajima} [J. Number Theory 22, 115--123 (1986; Zbl 0602.14017)] from the 1980s, the authors give a complete solution to Hecke's classical problem of determining the precise module structure of all prime level cusp forms of even weight in the case \(p = 3\) (the case \(p=2\) remains open). In this paper, the authors prove a number of technical results which, roughly speaking, go towards describing the structure of \(H^0(X,{\mathcal{S}})\), for various sheaves \({\mathcal{S}}\) and various families of curves \(X\). For example, their Theorem 5.8 (describing the module structure of certain cohomology spaces attached to certain modular curves) requires over two full pages to even state. Instead of quoting such technical results, the reader is referred to the carefully explained, case-by-case analysis in the paper itself.

Recommendations

• Galois structure of the holomorphic differentials of curves
• The Galois-module structure of the space of holomorphic differentials of a curve.
• Galois module structure of holomorphic differentials
• On the Galois module structure of semisimple holomorphic differentials
• On holomorphic polydifferentials in positive characteristic

Cites work

• Arithmetic Moduli of Elliptic Curves. (AM-108)
• Automorphisms and holomorphic differentials in characteristic \(p\).
• Codes from Riemann-Roch spaces for \(y^{2} = x^{p} - x\) over \(\text{GF}(p)\)
• Cohomology of \(G\)-sheaves in positive characteristic
• Congruences between modular forms: Raising the level and dropping Euler factors
• Decomposing representations of finite groups on Riemann-Roch spaces
• Die Zerlegungsmatrizen der Gruppen \(PSL(2,p^f)\)
• Endliche Gruppen I
• Faithfulness of actions on Riemann-Roch spaces
• Formal deformations of wildly ramified coverings of algebraic curves
• Galois module structure of cohomology groups for tamely ramified coverings of algebraic varieties
• Galois module structure of holomorphic differentials in characteristic \(p\)
• Galois structure of the holomorphic differentials of curves
• Galois structure of Zariski cohomology for weakly ramified covers of curves
• Holomorphic differentials of certain solvable covers of the projective line over a perfect field
• scientific article; zbMATH DE number 3425708 (Why is no real title available?)
• scientific article; zbMATH DE number 3918468 (Why is no real title available?)
• scientific article; zbMATH DE number 3953037 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 2163149 (Why is no real title available?)
• scientific article; zbMATH DE number 3998066 (Why is no real title available?)
• scientific article; zbMATH DE number 872245 (Why is no real title available?)
• Modular forms with large coefficient fields via congruences
• On holomorphic polydifferentials in positive characteristic
• Polydifferentials and the deformation functor of curves with automorphisms
• Quadratic differentials and equivariant deformation theory of curves
• Representation of cyclic groups in positive characteristic and Weierstrass semigroups
• The Galois-module structure of the space of holomorphic differentials of a curve.

Cited in

(3)

• Modules of Square Integrable Holomorphic Germs
• Galois representations on holomorphic differentials
• The de Rham cohomology of covers with a cyclic p-Sylow subgroup

This page was built for publication: The Galois module structure of holomorphic poly-differentials and Riemann-Roch spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6169069)