Equivariant form of the Deuring-Šafarevič formula for Hasse-Witt invariants
type: Item
instance of: scholarly article
title: Equivariant form of the Deuring-Šafarevič formula for Hasse-Witt invariants
zbMATH Open document ID: 0559.14022
DOI: 10.1007/BF01214754
published in: Mathematische Zeitschrift
publication date: 1985-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/173649
review text: Let \(\pi: X\to Y\) be a finite Galois covering of complete non-singular curves over an algebraically closed field k of characteristic p, and let \(\tau_ X\) and \(\tau_ Y\) be the Hasse-Witt invariants of X and Y respectively. We assume \(G=Gal(X/Y)\) is a p-group. The Deuring- Šafarevič formula expresses \(\tau_ X\) by using \(\tau_ Y\), \(| G|\) and the ramification indices of \(\pi\). Recall \(\tau_ X=_{k} \Omega_ X(O)^ s,\) where \(\Omega_ X(O)\) is the space of holomorphic differentials and \(\Omega_ X(O)^ s\) is its ''semi-simple'' part with respect to the Cartier operator. Equivariant form of the Deuring-Šafarevič formula means determining \(\Omega_ X(O)^ s\) as k[G]-module, not only its dimension over k. In the paper we treat a more general problem. Namely, we consider differentials with poles, and give the k[G]-module structure of \(\Omega_ X(-D)^ s\) for G-invariant effective divisors D on X, where \(\Omega_ X(-D)^ s\) is the ''semi- simple'' part of \(\Omega_ X(-D)=\{\omega | (\omega)\geq -D\}.\) When \(\pi\) is unramified, we can also determine the k[G]-module structure of the ''nilpotent'' part of \(\Omega_ X(-D)\).
Mathematics Subject Classification ID: 14H30
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 11R32
Mathematics Subject Classification ID: 11R58
zbMATH DE Number: 3891521
zbMATH Keywords: Galois covering of complete non-singular curves
zbMATH Keywords: Hasse-Witt invariants
zbMATH Keywords: differentials with poles
zbMATH Keywords: invariant effective divisors
zbMATH Keywords: Deuring- Shafarevich formula
author: Shoichi Nakajima
MaRDI profile type: Publication
cites work: Q3922829
cites work: Q4143433
cites work: Zyklische unverzweigte Erweiterungskörper vom Primzahlgradep über einem algebraischen Funktionenkörper der Charakteristikp
cites work: Generalized Hasse-Witt invariants and unramified Galois extensions of an algebraic function field
cites work: On a theorem of M. Deuring and I. R. Šafarevič
cites work: Q3310754
cites work: On Galois module structure of the cohomology groups of an algebraic variety
cites work: The p-rank of Artin-Schreier curves
OpenAlex ID: W1592008387
description: scientific article; zbMATH DE number 3891521