On holomorphic polydifferentials in positive characteristic

DOI10.1002/MANA.201000114MaRDI QIDQ2888903zbMATH OpenOpenAlexFDO

Authors Sotiris Karanikolopoulos

Publication date 4 June 2012

Published in Mathematische Nachrichten (Search for Journal in Brave)

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

zbMATH Keywords

automorphismscurvesdeformation theory of curves with automorphismsdifferentialsGalois module structure

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) Automorphisms of curves (14H37)

Abstract: In this paper we study the space $Omega(m)$, of holomorphic $m$-(poly)differentials of a function field of a curve defined over an algebraically closed field of characteristic $p>0$ when $G$ is cyclic or elementary abelian group of order $p^n$; we give bases for each case when the base field is rational, introduce the Boseck invariants and give an elementary approach to the $G$ module structure of $Omega(m)$ in terms of Boseck invariants. The last computation is achieved without any restriction on the base field in the cyclic case, while in the elementary abelian case it is assumed that the base field is rational. An application to the computation of the tangent space of the deformation functor of curves with automorphisms is given.

Review text

The author studies the Galois module structure of spaces of holomorphic polydifferentials of certain curves with function field \(F\) of the form NEWLINE\[NEWLINE \Omega_F(m)=\{ f dg^{\otimes m}: f,g\in F \text{ and } \mathrm{div}(f dg^{\otimes m}) \geq 0\}, NEWLINE\]NEWLINE where \(g\) is a separating element. This is a classical object of study when the field is algebraically closed of characteristic zero, that goes back to Hurwitz.NEWLINENEWLINEThe author focusses on the case of an algebraically closed field \(K\) of positive characteristic. The situation is much more difficult than the characteristic zero: there is wild ramification in the covering and also phenomena of modular representation theory occur. Describing the Galois module structure means describing the indecomposable summands that appear in the \(K[G]\)-module \(\Omega_F(m)\) and their multiplicities.NEWLINENEWLINEThe method of study is based on previous work of Valentini, Madan, Calderon, Salvador and Madden [\textit{D. J. Madden}, J. Number Theory 10, 303--323 (1978; Zbl 0384.12008); \textit{M. Rzedowski-Calderón, G. Villa-Salvador} and \textit{M. L. Madan}, Arch. Math. 66, No.2, 150--156 (1996; Zbl 0854.11061); \textit{R. C. Valentini} and \textit{M. L. Madan}, J. Number Theory 13, 106--115 (1981Zbl 0468.14008)] who considered the \(m=1\) case. First a basis of holomorphic polydifferentials is described and then the \(K[G]\)-summands are studied. The multiplicities are described in terms of Boseck invariants. These are invariants first introduced by \textit{H. Boseck} [``Zur Theorie der Weierstrasspunkte, Math. Nachr. 19, 29--63 (1958; Zbl 0085.02701)]. The author extends their definition to any ramified cover of the projective line. The cases that are studied are the two extreme cases of \(p\)-abelian covers of the projective line, namely elementary abelian groups, that are expressed in terms of Artin-Schreier extensions and cyclic groups that are described as a tower of normalized \(p\)-cyclic covers of the projective line. The method of proof in these two cases are different but the final results are similar.NEWLINENEWLINEThe main application given in this article is the computation of the tangent space of the global deformation functor of curves with automorphisms. According to [\textit{A. Kontogeorgis}, J. Pure Appl. Algebra 210, No. 2, 551--558 (2007; Zbl 1120.14020)] this dimension is equal to the space of coinvariants NEWLINE\[NEWLINE \mathrm{dim}_K ( \Omega_F(2) \otimes_{K[G]} K). NEWLINE\]NEWLINENEWLINENEWLINEA closed formula for the above dimension is given using the Galois module structure previously computed.

Recommendations

• 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
• Holomorphic differentials of certain solvable covers of the projective line over a perfect field
• Equivariant form of the Deuring-Šafarevič formula for Hasse-Witt invariants
• scientific article; zbMATH DE number 1974563
• scientific article; zbMATH DE number 3861322
• Infinitesimal deformation of Galois covering space and its application to Galois closure curves
• Galois module structure of holomorphic differentials
• Group representations on Riemann-Roch spaces of some Hurwitz curves

Cites work

• Algebraic Function Fields and Codes
• Arithmetic in generalized Artin-Schreier extensions of k(x)
• Automorphisms and holomorphic differentials in characteristic \(p\).
• Cohomology of \(G\)-sheaves in positive characteristic
• Cyclic p-extensions of function fields with null Hasse-Witt map
• Equivariant deformation of Mumford curves and of ordinary curves in positive characteristic
• Formal deformations of wildly ramified coverings of algebraic curves
• Galois module structure of holomorphic differentials in characteristic \(p\)
• scientific article; zbMATH DE number 5363597 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1957384 (Why is no real title available?)
• scientific article; zbMATH DE number 5060435 (Why is no real title available?)
• Local-to-global extensions of representations of fundamental groups
• On the Galois module structure of semisimple holomorphic differentials
• On the tangent space of the deformation functor of curves with automorphisms
• On unramified extensions of algebraic function fields
• On Weierstrass Points on Artin-Schreier Extensions ofk(x)
• On weierstrass points on certain elementary abelian extensions Of k(x)
• Polydifferentials and the deformation functor of curves with automorphisms
• Representations of automorphisms on differentials of function fields of characteristic p.
• Some arithmetic properties of Weierstrass points: Hyperelliptic curves
• The Magma algebra system. I: The user language
• The p-rank of Artin-Schreier curves
• Weierstrass points on cyclic covers of the projective line
• Zur Theorie der Weierstraßpunkte.Hermann Ludwig Schmid zum Gedächtnis
• Über die Automorphismengruppe eines algebraischen Funktionenkörpers von Primzahlcharakteristik. II: Ein spezieller Typ von Funktionenkörpern

Cited in

(12)

• Infinitesimal deformation of Galois covering space and its application to Galois closure curves
• Representation of cyclic groups in positive characteristic and Weierstrass semigroups
• On the semisimple holomorphic differentials in characteristic p
• Galois module structure of holomorphic differentials
• Holomorphic differentials of certain solvable covers of the projective line over a perfect field
• Integral representations of cyclic groups acting on relative holomorphic differentials of deformations of curves with automorphisms
• On holomorphic differentials of some algebraic function field of one variable over C
• The Galois module structure of holomorphic poly-differentials and Riemann-Roch spaces
• Representations on canonical models of generalized Fermat curves and their syzygies
• Quadratic differentials and equivariant deformation theory of curves
• Explicit Galois representations of automorphisms on holomorphic differentials in characteristic \(p\)
• Polydifferentials and the deformation functor of curves with automorphisms

Describes a project that uses

Uses Software

• Magma

This page was built for publication: On holomorphic polydifferentials in positive characteristic

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