English

Holomorphic differentials of Klein four covers

Algebraic Geometry 2023-06-01 v2 Number Theory

Abstract

Let kk be an algebraically closed field of characteristic two, and let GG be isomorphic to Z/2×Z/2\mathbb{Z}/2\times\mathbb{Z}/2. Suppose XX is a smooth projective irreducible curve over kk with a faithful GG-action, and assume that the cover XX/GX\to X/G is totally ramified, in the sense that it is ramified and every branch point is totally ramified. We study to what extent the lower ramification groups of the closed points of XX determine the isomorphism types of the indecomposable kGkG-modules and the multiplicities with which they occur as direct summands of the space H0(X,ΩX/k)\mathrm{H}^0(X,\Omega_{X/k}) of holomorphic differentials of XX over kk. In the case when X/G=Pk1X/G=\mathbb{P}^1_k, we completely determine the decomposition of H0(X,ΩX/k)\mathrm{H}^0(X,\Omega_{X/k}) into a direct sum of indecomposable kGkG-modules. Moreover, we show that the isomorphism classes of indecomposable kGkG-modules that actually occur as direct summands belong to an infinite list of non-isomorphic indecomposable kGkG-modules that contain modules of arbitrarily large kk-dimension. In particular, our results show that [14, Theorem 6.4] is incorrect.

Keywords

Cite

@article{arxiv.2206.04559,
  title  = {Holomorphic differentials of Klein four covers},
  author = {Frauke M. Bleher and Nicholas Camacho},
  journal= {arXiv preprint arXiv:2206.04559},
  year   = {2023}
}

Comments

25 pages; changed name of covered curve from $U$ to $Y$, fixed statement of Theorem 1.1, fixed typo in Example 2.19; added explanation why [14, Theorem 6.4] is incorrect in general (see Remark 2.21)

R2 v1 2026-06-24T11:45:17.843Z