Abstract
Let X be an algebraic curve with a faithful action of a finite group G over a field k. We show that if the Hodge–de Rham short exact sequence of X splits G-equivariantly then the action of G on X is weakly ramified. In particular, this generalizes the result of Köck and Tait for hyperelliptic curves. We discuss also converse statements and tie this problem to lifting coverings of curves to the ring of Witt vectors of length 2.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let X be a smooth proper algebraic variety over a field k. Recall that its de Rham cohomology may be computed in terms of Hodge cohomology via the spectral sequence
Suppose that the spectral sequence (1.1) degenerates at the first page. This is automatic if \({{\,\mathrm{char}\,}}k = 0\). For a field of positive characteristic, this happens for instance if X is a smooth projective curve or an abelian variety, or (by a celebrated result of Deligne and Illusie from [4]) if \(\dim X > {{\,\mathrm{char}\,}}k\) and X lifts to \(W_2(k)\), the ring of Witt vectors of length 2. Under this assumption we obtain the following exact sequence:
If X is equipped with an action of a finite group G, the terms of the sequence (1.2) become k[G]-modules. In case when \({{{\,\mathrm{char}\,}}k \not \mid \# G}\), Maschke theorem allows one to conclude that the sequence (1.2) splits equivariantly. However, this might not be true in case when \({{{\,\mathrm{char}\,}}k = p > 0}\) and \(p | \# G\), as shown in [10]. The goal of this article is to show that for curves the sequence (1.2) usually does not split equivariantly.
Let X be a curve over an algebraically closed field of characteristic \(p > 0\) with an action of a finite group G. For \(P \in X\), denote by \(G_{P, n}\) the n-th ramification group of G at P. Let also:
Following [9], we say that the action of G is weakly ramified if \(n_P \le 1\) for every \(P \in X\).
MainTheorem
Suppose that X is a smooth projective curve over an algebraically closed field k of a finite characteristic \(p > 2\) with a faithful action of a finite group G. If
as k[G]-modules then the action of G on X is weakly ramified.
The example below is a direct generalization of results proven in [10].
Example 1.1
Suppose that k is an algebraically closed field of characteristic p. Let X/k be the smooth projective curve with the affine part given by the equation:
where f is a separable polynomial and \(p \not \mid m\). Denote by \(\mathscr {P}\) the set of points of X at infinity. One checks that \(\# \mathscr {P} = \delta := {{\,\mathrm{GCD}\,}}(m, \deg f)\) (cf. [22, Section 1]). The group \(G = {\mathbb {Z}}/p\) acts on X via the automorphism \(\varphi (z, y) = (z+1, y)\). In this case
(cf. Example 4.3). Thus if the exact sequence (1.2) splits G-equivariantly, then by Main Theorem either \(p = 2\), or \(m|\deg f\).
The main idea of the proof of Main Theorem is to compare \(H^1_{dR}(X/k)^G\) and \(H^1_{dR}(Y/k)\), where \(Y := X/G\). The discrepancy between those groups is measured by the sheafified version of group cohomology, introduced by Grothendieck in [6]. This allows us to compute the ’defect’
in terms of some local terms connected to Galois cohomology (cf. Proposition 3.1). We compute these local terms in case of Artin-Schreier coverings, which leads to the following theorem.
Theorem 1.2
Suppose that X is a smooth projective curve over an algebraically closed field k of characteristic \(p > 0\) with a faithful action of the group \(G = {\mathbb {Z}}/p\). Then:
Theorem 1.2 shows that if the group action of \(G = {\mathbb {Z}}/p\) on a curve is not weakly ramified and \(p > 2\) then \(\delta (X, G) > 0\). This immediately implies Main Theorem for \(G \cong {\mathbb {Z}}/p\). The general case may be easily derived from this special one.
The natural question arises: to which extent is the converse of Main Theorem true? We give some partial answers. In particular, we prove the following theorem.
Theorem 1.3
Suppose that the action of G on a smooth projective curve X over an algebraically closed field k is weakly ramified. Assume also that there exists \(Q_0 \in Y := X/G\) such that \(p \not \mid \# \pi ^{-1}(Q_0)\). Then the sequence
is exact also on the right.
To derive Theorem 1.3 we use the method of proof of Main Theorem and a result of Köck from [9]. We were also able to show the splitting of the Hodge–de Rham exact sequence of a curve with a weakly ramified group action under some additional assumptions.
Theorem 1.4
Keep the above notation. If any of the following conditions is satisfied:
-
(1)
the action of G on X is weakly ramified, a p-Sylow subgroup of G is cyclic and there exists \(Q_0 \in Y\) such that \(p \not \mid \# \pi ^{-1}(Q_0)\),
-
(2)
the action of G on X lifts to \(W_2(k)\),
-
(3)
X is ordinary.
then there exists an isomorphism (1.4) of \({\mathbb {F}}_p[G]\)-modules.
Parts (1), (2), (3) of Theorem 1.4 are proven in Lemma 5.3, Theorem 5.4 and Corollary 5.9 respectively. In fact, we prove more precise statements, involving the conjugate spectral sequence. This allows to prove that the conditions (2) and (3) of Theorem 1.4 imply that the action of G on X is weakly ramified. In order to prove (1) we use a description of modular representations of cyclic groups. (2) and (3) are easy corollaries of the equivariant version of results of Deligne and Illusie from [4]. The connection of [4] with the splitting of the Hodge–de Rham exact sequence was observed by Piotr Achinger.
Notation. Throughout the paper we will use the following notation (unless stated otherwise):
-
k is an algebraically closed field of a finite characteristic p.
-
G is a finite group.
-
X is a smooth projective curve equipped with a faithful action of G.
-
\(Y := X/G\) is the quotient curve, which is of genus \(g_Y\).
-
\(\pi : X \rightarrow Y\) is the canonical projection.
-
\(R \in {{\,\mathrm{Div}\,}}(X)\) is the ramification divisor of \(\pi \).
-
\(R' := \left[ \frac{\pi _* R}{\# G} \right] \in {{\,\mathrm{Div}\,}}(Y)\), where for \(\delta \in {{\,\mathrm{Div}\,}}(Y) \otimes _{{\mathbb {Z}}} {\mathbb {Q}}\), we denote by \([\delta ]\) the integral part taken coefficient by coefficient.
-
k(X), k(Y) are the function fields of X and Y.
-
\({{\,\mathrm{ord}\,}}_Q(f)\) denotes the order of vanishing of a function f at a point Q.
-
\(\underline{A}_X\) denotes the constant sheaf on X associated to a ring A.
Fix now a (closed) point P in X. Denote:
-
\(G_{P, i}\) – the ith ramification group of \(\pi \) at P, i.e.
$$\begin{aligned} G_{P, i} := \{ g \in G : g(f) \equiv f \pmod {\mathfrak m_{X, P}^{i + 1}} \quad \text { for all } f \in \mathscr {O}_{X, P} \}. \end{aligned}$$Note in particular that (since k is algebraically closed) the inertia group \(G_{P, 0}\) coincides with the decomposition group at P, i.e. the stabilizer of P in G.
-
\(d_P\) – the different exponent at P, i.e.
$$\begin{aligned} d_P := \sum _{i \ge 0} (\# G_{P, i} - 1). \end{aligned}$$Recall that \(R = \sum _{P \in X} d_P \cdot (P)\) (cf. [18, IV §1, Proposition 4]).
-
\(e_P\) – the ramification index of \(\pi \) at P, i.e. \(e_P = \# G_{P, 0}\).
-
\(n_P\) is given by the formula (1.3).
Also, by abuse of notation, for \(Q \in Y\) we write \(e_Q := e_P\), \(d_Q := d_P\), \(n_Q := n_P\) for any \(P \in \pi ^{-1}(Q)\). Note that these quantities don’t depend on the choice of P.
Let for any abelian category \({\mathscr {A}}\), \(\mathscr {C}_+({\mathscr {A}})\) denote the category of non-negative cochain complexes in \({\mathscr {A}}\). We denote by \(h^i(\mathscr {F}^{\bullet })\) the ith cohomology of a complex \(\mathscr {F}^{\bullet }\).
Outline of the paper Section 2 presents some preliminaries on the group cohomology of sheaves. We focus on the sheaves coming from Galois coverings of a curve. We use this theory to express the ’defect’ \(\delta (X, G)\) as a sum of local terms coming from Galois cohomology of certain modules in Sect. 3. In Sect. 4 we compute these local terms for Artin-Schreier coverings, which allows us to prove of Main Theorem and Theorem 1.2. In the final section we discuss the converse statements to Main Theorem and its relation to the problem of lifting curves with a given group action.
2 Review of group cohomology
Recall that our goal is to compare \(H^1_{dR}(X/k)^G\) and \(H^1_{dR}(Y/k)\), where \(Y := X/G\). To this end, we need to work in the G-equivariant setting.
2.1 Group cohomology of sheaves
Let A be any commutative ring and G a finite group. We define the i-th group cohomology, \(H^i_A(G, -)\), as the i-th derived functor of the functor
One checks that if \(A \rightarrow B\) is a morphism of rings and M is a B[G]-module then \(H^i_B(G, M)\) and \(H^i_A(G, M)\) are isomorphic A-modules for all \(i \ge 0\) (cf. [19, Lemma 0DVD]). In particular, \(H^i_A(G, M)\) is isomorphic as a \({\mathbb {Z}}\)-module to the usual group cohomology (\(H^i_{{\mathbb {Z}}}(G, M)\) in our notation). Thus without ambiguity we will denote it by \(H^i(G, M)\). For a future use we note the following properties of group cohomology:
-
If \(M = {{\,\mathrm{Ind}\,}}_H^G N\) is an induced module (which for finite groups is equivalent to being a coinduced module) then
$$\begin{aligned} H^i(G, M) \cong H^i(H, N), \end{aligned}$$(2.1)(this property is known as Shapiro’s lemma, cf. [18, Proposition VIII.2.1.]).
-
If M is a \({\mathbb {F}}_p[G]\)-module and G has a normal p-Sylow subgroup P then:
$$\begin{aligned} H^i(G, M) \cong H^i(P, M)^{G/P} \end{aligned}$$(2.2)(for a proof observe that \(H^i(G/P, N)\) is killed by multiplication by p for any \({\mathbb {F}}_p[G/P]\)-module N and use [18, Theorem IX.2.4.] to obtain \(H^i(G/P, N) = 0\) for \(i \ge 1\). Then use Lyndon–Hochschild–Serre spectral sequence).
-
Suppose that A is a local ring with the maximal ideal \(\mathfrak m\). If M is a finitely generated A-module then
$$\begin{aligned} H^i(G, M) \cong H^i(G, \widehat{M}_{\mathfrak m}), \end{aligned}$$(2.3)where \(\widehat{M}_{\mathfrak m}\) denotes the completion of M with respect to \(\mathfrak m\) (see e.g. proof of [1, Lemme 3.3.1] for a brief justification).
The above theory extends to sheaves, as explained e.g. in [1, 6]. We briefly recall this theory. Let \((Y, \mathscr {O})\) be a ringed space and let G be a finite group. By an \(\mathscr {O}[G]\)-sheaf on \((Y, \mathscr {O})\) we understand a sheaf \(\mathscr {F}\) equipped with an \(\mathscr {O}\)-linear action of G on \(\mathscr {F}(U)\) for every open subset \(U \subset Y\), compatible with respect to the restrictions. The \(\mathscr {O}[G]\)-sheaves form a category \(\mathscr {O}[G] {{\,\mathrm{-mod}\,}}\), which is abelian and has enough injectives. For any \(\mathscr {O}[G]\)-sheaf \(\mathscr {F}\) one may define a sheaf \(\mathscr {F}^G\) by the formula
We denote the i-th derived functor of
by \(\mathscr {H}^i_{(Y, \mathscr {O})}(G, -)\). Similarly as in the case of modules, one may neglect the dependence on the sheaf \(\mathscr {O}\) and write simply \(\mathscr {H}^i(G, M)\). If \(\mathscr {F} = \widetilde{M}\) is a quasicoherent \(\mathscr {O}[G]\)-module coming from a \(\mathscr {O}(Y)[G]\)-module M, one may compute the group cohomology of sheaves via the standard group cohomology:
In particular, group cohomology of a quasicoherent \(\mathscr {O}[G]\)-sheaf is a quasicoherent \(\mathscr {O}\)-module. Moreover for any \(Q \in Y\):
The sheaf group cohomology may be also computed using Čech complex (cf. [1, section 3.1]). However, we will not use this fact in any way.
2.2 Galois coverings of curves
We now turn to the case of curves over a field k. Let X/k be a smooth projective curve with a faithful action of a finite group G, i.e. a homomorphism \(G \rightarrow {{\,\mathrm{Aut}\,}}_k(X)\). In this case one can define the quotient \(Y := X/G\) of X by the G-action. It is a smooth projective curve. Its underlying space is the topological quotient X/G and the structure sheaf is given by \(\pi _*^G(\mathscr {O}_X)\), where \(\pi : X \rightarrow Y\) is the quotient morphism. We say that X is a G-covering of Y.
In this section we will investigate the G-sheaves on Y coming from its G-coverings. Suppose that \(\pi : X \rightarrow Y\) is a G-covering of Y. Let \(\mathscr {F}\) be a \(\mathscr {O}_X\)-sheaf on X with a G-action lifting that on X. Then \(\pi _* \mathscr {F}\) is an \(\mathscr {O}_Y [G]\)-module. It is natural to try to relate the group cohomology of \(\pi _* \mathscr {F}\) to the ramification of \(\pi \). Suppose for a while that the action of G on X is free, i.e. that \(\pi : X \rightarrow Y\) is unramified. In this case the functors
![](http://media.springernature.com/lw292/springer-static/image/art%3A10.1007%2Fs00209-021-02839-y/MediaObjects/209_2021_2839_Equ120_HTML.png)
are exact and provide an equivalence between the category of coherent \(\mathscr {O}_Y\)-modules and coherent \(\mathscr {O}_X[G]\)-modules (cf. [13, Proposition II.7.2, p. 70]). In particular, \(\mathscr {H}^i(G, \pi _* \mathscr {F}) = 0\) for all \(i \ge 1\) and every coherent \(\mathscr {O}_X[G]\)-module \(\mathscr {F}\). The following Proposition treats the general case.
Proposition 2.1
Keep the notation introduced in Sect. 1. Let \(\mathscr {F}\) be a coherent \(\mathscr {O}_X\)-module, which is G-equivariant. Then for every \(i \ge 1\)
is a torsion sheaf, supported on the wild ramification locus of \(\pi \).
To prove Proposition 2.1 we shall need the following lemma involving group cohomology of modules over Dedekind domains.
Lemma 2.2
Let k be an algebraically closed field. Let B be a k-algebra, which is a Dedekind domain equipped with a k-linear action of the group G. Suppose that \(A := B^G\) is a discrete valuation ring with a maximal ideal \(\mathfrak q\). Let \(G_{\mathfrak p, i}\) denote the i-th higher ramification group of a prime ideal \(\mathfrak p \in {{\,\mathrm{Spec}\,}}B\) over \(\mathfrak q\). Then for every B-module M we have an isomorphism of B-modules:
(here \(M_{\mathfrak p}\) denotes the localisation of M at \(\mathfrak p\)).
Proof
One easily sees that we have an isomorphism of B[G]-modules
(see [18, II §3, Proposition 4] for a proof for \(M = B\). The general case follows by tensoring both sides by M). Thus by (2.3) and (2.1) \(H^i(G, M) \cong H^i(G_{\mathfrak p, 0}, M_{\mathfrak p})\). Moreover, \(G_{\mathfrak p, 1}\) is a normal p-Sylow subgroup of \(G_{\mathfrak p, 0}\) (cf. [18, Corollary 4.2.3., p. 67]). Hence the proof follows by (2.2). \(\square \)
Proof of Proposition 2.1
Denote by \(\xi \) the generic point of Y. Recall that by the Normal Base Theorem (cf. [8, sec. 4.14]), \(k(X) = {{\,\mathrm{Ind}\,}}^G k(Y)\) is an induced G-module. Therefore \((\pi _* \mathscr {F})_{\xi }\) is also an induced G-module (since it is a k(X)-vector space of finite dimension) and by (2.1):
Thus, since the sheaf \(\mathscr {H}^i(G, \pi _* \mathscr {F})\) is coherent, it must be a torsion sheaf. Note that if a point \(Q \in Y\) is tamely ramified then \(G_{P, 1} = 0\) for any \(P \in \pi ^{-1}(Q)\) and thus \(\mathscr {H}^i(G, \pi _* \mathscr {F})_Q = 0\) by Lemma 2.2. This concludes the proof. \(\square \)
We will recall now a standard formula describing G-invariants of a \(\mathscr {O}_Y[G]\)-module coming from an invertible \(\mathscr {O}_X\)-module. For a reference see e.g. the proof of [1, Proposition 5.3.2].
Lemma 2.3
For any G-invariant divisor \(D \in {{\,\mathrm{Div}\,}}(X)\):
where for \(\delta \in {{\,\mathrm{Div}\,}}(Y) \otimes _{{\mathbb {Z}}} {\mathbb {Q}}\), we denote by \([\delta ]\) the integral part taken coefficient by coefficient.
Corollary 2.4
Keep the notation of Sect. 1. Let:
Then:
In particular:
Proof
The first claim follows by Lemma 2.3 by taking D to be the canonical divisor of X and using the Riemann-Hurwitz formula. To prove the second claim, observe that
and apply the Riemann–Roch theorem (cf. [7, Theorem IV.1.3]). \(\square \)
We end this section with one more elementary observation.
Lemma 2.5
\(R'\) (given as above) vanishes if and only if the morphism \(\pi : X \rightarrow Y\) is tamely ramified.
Proof
Recall that \(R = \sum _{P \in X} d_P \cdot (P)\). Hence
Note however that \(d_Q \ge e_Q - 1\) with an equality if and only if \(\pi \) is tamely ramified at Q. This completes the proof. \(\square \)
3 Computing the defect
The goal of this section is to prove the following Proposition.
Proposition 3.1
We follow the notation introduced in Sect. 1. Suppose that there exists \(Q_0 \in Y\) such that \(p \not \mid \# \pi ^{-1}(Q_0)\).
Then:
where
is the map induced by the differential \(\mathscr {O}_X \rightarrow \varOmega _{X/k}\).
3.1 Proof: Preparation
Recall that the i-th hypercohomology \({\mathbb {H}}^i(Y, -)\) can be defined as the i-th derived functor of
(cf. [24, ex. 5.7.4 (2)]). The hypercohomology may be computed in terms of the usual cohomology using the spectral sequences:
The de Rham cohomology of X is defined as the hypercohomology of the de Rham complex \(\varOmega _{X/k}^{\bullet }\). Note that \(\pi \) is an affine morphism. Therefore \(\pi _*\) is an exact functor on the category of quasicoherent sheaves. Thus using the spectral sequence (3.1) we obtain:
We start with the following observation.
Lemma 3.2
The spectral sequence
degenerates at the first page.
Proof
We have a morphism of complexes \(\varOmega _{Y/k}^{\bullet } \rightarrow \pi _*^G \varOmega _{X/k}^{\bullet }\), which is an isomorphism on the zeroth term. Thus for \(j = 0, 1\) we obtain a commutative diagram:
![](http://media.springernature.com/lw241/springer-static/image/art%3A10.1007%2Fs00209-021-02839-y/MediaObjects/209_2021_2839_Equ121_HTML.png)
where the upper arrow is an isomorphism. Note also that the left arrow in the above diagram is zero for \(j = 0, 1\), since the Hodge–de Rham spectral sequence for Y degenerates on the first page. Therefore for \(j = 0, 1\) the maps
are zero. This is the desired conclusion. \(\square \)
Corollary 3.3
Proof
By Lemma 3.2 we obtain an exact sequence:
Hence:
\(\square \)
Corollary 3.3 implies that we need to compare the hypercohomology groups
for \(\mathscr {F}^{\bullet } = \pi _* \mathscr {O}_X\) (treated as a complex concentrated in degree 0) and \(\mathscr {F}^{\bullet } = \pi _* \varOmega _{X/k}^{\bullet }\) (note that it is a complex of \(\underline{k}_Y[G]\)-modules rather than \(\mathscr {O}_Y\)-modules, since the differentials in the de Rham complex are not \(\mathscr {O}_Y\)-linear).
Consider the commutative diagram:
![](http://media.springernature.com/lw243/springer-static/image/art%3A10.1007%2Fs00209-021-02839-y/MediaObjects/209_2021_2839_Equ12_HTML.png)
Note that the categories in the diagram (3.3) are abelian and have enough injectives (cf. [17, Theorem 10.43. and the following Remark]). By applying the Grothendieck spectral sequence to compositions of the functors in the diagram (3.3), we obtain two spectral sequences:
(note that here \(\mathscr {H}^j(G, \mathscr {F}^{\bullet })\) denotes a complex of \(\underline{k}_Y\)-modules with lth term being \(\mathscr {H}^j(G, \mathscr {F}^l)\)). For motivation, suppose at first that the ’obstructions’
vanish for all \(i \ge 1\) and \(l \ge 0\) (this happens e.g. if \({{\,\mathrm{char}\,}}k = 0\)). Then the spectral sequences (3.4) and (3.5) lead us to the isomorphisms:
In general case the relation between \({\mathbb {H}}^i(Y, (\mathscr {F}^{\bullet })^G)\) and \({\mathbb {H}}^i(Y, \mathscr {F}^{\bullet })^G\) is more complicated. However, in the case of the first hypercohomology group, one can extract some information from the low-degree exact sequences of (3.4) and (3.5):
and
This will be done in the Sect. 3.2.
3.2 Proof: Low-degree exact sequences
Note that if \(p \not \mid \# G\), then Proposition 3.1 is immediate. Thus, we may assume that \(\pi \) is wildly ramified and by Lemma 2.5 we have \(R' \ne 0\). Then, as one easily sees by Lemma 3.2, Corollary 2.4 and the Riemann–Roch theorem (cf. [7, Theorem IV.1.3]):
By (3.6) we see that
On the other hand, (3.7) yields:
where
Thus by comparing (3.8) and (3.9):
By repeating the same argument for \(\pi _* \mathscr {O}_X\), we obtain:
where:
By combining (3.11), (3.12) and Corollary 3.3 we obtain:
Note that since \(\mathscr {H}^1(G, \pi _* \mathscr {O}_X)\), \(\mathscr {H}^1(G, \pi _* \varOmega _{X/k})\) are torsion sheaves, we can compute their sections by taking stalks and using (2.4):
Thus we are left with showing that \(c_1 = c_2\). This will be done in Sect. 3.3.
3.3 Proof: The end
Recall that in order to prove Proposition 3.1 we have to investigate the map
arising from the exact sequence (3.7). Note that for any complex \(\mathscr {F}^{\bullet }\) of \(\mathscr {O}[G]\)-sheaves on Y there exists a natural map:
We will investigate this map for \(\mathscr {F}^{\bullet } = \pi _* \mathscr {O}_X\) (treated as a complex concentrated in degree 0). Note that by Proposition 2.1, the support of the quasicoherent sheaf \(\mathscr {H}^2(G, \pi _* \mathscr {O}_X)\) is finite. Therefore:
where \(i_Q : {{\,\mathrm{Spec}\,}}(\mathscr {O}_{Y, Q}) \rightarrow Y\) is the natural morphism.
Lemma 3.4
Keep the above notation. The map (3.15) for \(\mathscr {F}^{\bullet } = \pi _* \mathscr {O}_X\) is an isomorphism. Moreover, the map:
(composition of maps (3.14) and (3.15) for \(\mathscr {F}^{\bullet } = \pi _* \mathscr {O}_X\)) is induced by the natural maps \(k \rightarrow (\pi _* \mathscr {O}_X)_Q\).
Proof
Observe that for \(\mathscr {F}^{\bullet } = \pi _* \mathscr {O}_X\) one has \(_IE^{ij}_2 = 0\) for \(i, j \ge 1\) and for \(i \ge 2\). Therefore \({}_IE^{11}_{\infty } = {}_IE^{11}_2 = 0\) and \(_IE^{20}_{\infty } = {}_IE^{20}_2 = 0\), which leads to the proof of the first claim.
The morphism of sheaves:
induces by functoriality the commutative diagram:
![](http://media.springernature.com/lw467/springer-static/image/art%3A10.1007%2Fs00209-021-02839-y/MediaObjects/209_2021_2839_Equ25_HTML.png)
Note that \(H^i(Y, \mathscr {G}) = \bigoplus _{Q \in Y} H^i(Y, i_{Q, *}((\pi _* \mathscr {O}_X)_Q)) = 0\) for \(i \ge 1\). Therefore for \(\mathscr {F}^{\bullet } := \mathscr {G}\) we have \(_{I}E^{ij}_{2} = 0\) for \(i \ge 1\) and \(_{II}E^{ij}_2 = 0\) for \(j \ge 1\). This implies that the two lower arrows in the diagram (3.16) are isomorphisms. Moreover, the composition of those arrows is given by the composition of the natural maps:
Thus the second claim follows by the diagram (3.16). \(\square \)
We are now ready to finish the proof of Proposition 3.1. Recall that we are left with showing that \(c_1 = c_2\) (where \(c_1\) and \(c_2\) are given by (3.10) and (3.13) respectively).
In fact, we will show that \(c_1 = c_2 = 0\). We start by proving that the map:
is injective. It suffices to show that the map:
is injective. Choose any \(P_0 \in \pi ^{-1}(Q_0)\). Observe that by Lemma 2.2 we have:
But \(\mathscr {O}_{X, P_0} \cong k \oplus \mathfrak m_{X, P_0}\) as a \(k[G_{P_0, 1}]\)-module and therefore
Note that G acts trivially on k. Hence the map (3.18) factors as
where the first map is the restriction map \({{\,\mathrm{res}\,}}_{G_{P_0, 1}}^G\). Now note that \(p \not \mid \# \pi ^{-1}(Q_0) = [G : G_{P_0}]\) and thus \(G_{P_0, 1}\) is a p-Sylow subgroup of G by [18, Corollary 4.2.3., p. 67]. Thus by [18, Theorem IX.4, p. 140] \({{\,\mathrm{res}\,}}_{G_{P_0, 1}}^G\) is injective. This shows the injectivity of (3.17). Hence \(c_2 = 0\). Consider now the diagram:
![](http://media.springernature.com/lw306/springer-static/image/art%3A10.1007%2Fs00209-021-02839-y/MediaObjects/209_2021_2839_Equ122_HTML.png)
which is obtained by functoriality for the map of complexes \(\pi _* \varOmega _{X/k}^{\bullet } \rightarrow \pi _* \mathscr {O}_X\) (where \(\pi _* \mathscr {O}_X\) is treated as a complex concentrated in degree zero). Note that the left arrow is an isomorphism and the upper arrow is injective, as shown above. Therefore also the lower arrow must be injective, which proves that \(c_1 = 0\). This concludes the proof of Proposition 3.1. Note that we obtain by (3.12) the following Corollary:
Corollary 3.5
In the notation of Sect. 1 suppose that there exists \(Q_0 \in Y\) such that \({p \not \mid \# \pi ^{-1}(Q_0)}\). Then:
4 Computation of local terms
4.1 Proofs of main results
The main goal of this section is to compute the local terms occuring in Proposition 3.1. This is achieved in the following proposition.
Proposition 4.1
Keep the notation introduced in Sect. 1 and suppose that \(G \cong {\mathbb {Z}}/p\). Then for any \(Q \in Y\) the dimension of
equals
Proposition 4.1 will be proven in the Sect. 4.2. We now show how the Proposition 4.1 implies the Theorems announced in the Introduction.
Proof of Theorem 1.2
If \(\pi \) is unramified, the action of G on X lifts to \(W_2(k)\), cf. [21, Theorem 5.7.9]. Hence \(\delta (X, G) = 0\) by Theorem 5.4. Suppose now that \(\pi \) is ramified. In this case Theorem 1.2 follows by combining Propositions 3.1 and 4.1. \(\square \)
Proof of Main Theorem
We consider first the case \(G = {\mathbb {Z}}/p\). An easy computation shows that for any \(n \ge 1\), \(p \ge 3\) one has:
with an equality only for \(n = 1\) (here is where we use the assumption \(p > 2\)). Thus by Theorem 1.2, \(\delta (X, G) = 0\) holds if and only if \(\pi \) is weakly ramified.
Suppose now that G is arbitrary and \(G_{P, 2} \ne 0\) for some \(P \in X\). Note that \(G_{P, 2}\) is a p-group (cf. [18, Corollary 4.2.3., p. 67]) and thus contains a subgroup H of order p. Observe that \(\pi : X \rightarrow X/H\) is an Artin-Schreier covering and it is non-weakly ramified, since \(H_{P, 2} = H \ne 0\). Therefore by the first paragraph of the proof, the sequence (1.2) does not split H-equivariantly and therefore it cannot split as a sequence of k[G]-modules.
\(\square \)
4.2 Galois cohomology of sheaves on Artin–Schreier coverings
We start by recalling the most important facts concerning Artin–Schreier coverings. For a reference see e.g. [16, sec. 2.2]. Let X be a smooth algebraic curve with a faithful action of \(G = {\mathbb {Z}}/p\) over an algebraically closed field k of characteristic p. By Artin–Schreier theory, the function field of X is given by the equation
for some \(f \in k(Y)\), where \(Y := X/G\). The action of \(G = \langle \sigma \rangle \cong {\mathbb {Z}}/p\) is then given by \(\sigma (z) := z+1\). Let \(\mathscr {P} \subset Y\) denote the set of points at which \(\pi \) is ramified. Note that \(\mathscr {P}\) is contained in the set of poles of f and moreover for any \(Q \in Y\):
Lemma 4.2
Keep the above setting. Fix a point \(Q \in \mathscr {P}\) and let \(\pi ^{-1}(Q) = \{ P \}\). Suppose that \(p \not \mid n:= -{{\,\mathrm{ord}\,}}_Q(f)\). Then for some \(t \in \widehat{\mathscr {O}}_{X, P}\) and \(x \in \widehat{\mathscr {O}}_{Y, Q}\):
-
\(\widehat{\mathscr {O}}_{X, P} = k[[t]]\), \(\widehat{\mathscr {O}}_{Y, Q} = k[[x]]\),
-
\(t^{-np} - t^{-n} = x^{-n}\),
-
the action of \(G \cong {\mathbb {Z}}/p\) on t is given by an automorphism:
$$\begin{aligned} \sigma (t) = \frac{t}{(1 + t^n)^{1/n}} = t - \frac{1}{n} t^{n + 1} + \text { (terms of order }\ge n+2). \end{aligned}$$(4.2)
In particular, n is equal to \(n_Q\) as defined by (1.5).
Proof
Let x, t be arbitrary uniformizers at Q and P respectively. Then \(\widehat{\mathscr {O}}_{Y, Q} = k[[x]]\) and \(\widehat{\mathscr {O}}_{X, P} = k[[t]]\). Before the proof observe that an equation \(u^m = h(x)\) has a solution \(u \in k[[x]]\), whenever \(p \not \mid m\) and \(m | {{\,\mathrm{ord}\,}}(h)\) (this follows easily from Hensel’s lemma). We will denote any solution by \(h(x)^{1/m}\). Note that:
By comparing the valuations we see that \({{\,\mathrm{ord}\,}}_P(z) = -n\). Thus we may replace t by \(z^{-1/n}\) to ensure that \(z = t^{-n}\). Then:
and thus we can assume without loss of generality (by replacing \(\sigma \) by its power if necessary) that \(\sigma (t) = \frac{t}{(1 + t^n)^{1/n}}\). Finally, we replace x by \(f(x)^{-1/n}\) to ensure that \(t^{-np} - t^{-n} = x^{-n}\).
\(\square \)
Example 4.3
Let X be the curve considered in Example 1.1. Then X is a \({\mathbb {Z}}/p\)-covering of a curve Y with the affine equation:
The function field of X is given by the equation \(z^p - z = x\). As proven in [22] the function \(x \in k(Y)\) has \(\delta := {{\,\mathrm{GCD}\,}}(m, \deg f)\) poles, each of them of order \(m/\delta \). This establishes the formula (1.5).
Remark 4.4
Suppose that \(\pi : X \rightarrow Y\) is an Artin-Schreier covering. For every point \(Q \in \mathscr {P}\) we can find functions \(f_Q \in k(Y)\), \(z_Q \in k(X)\) such that the function field of X is given by the equation \(z_Q^p - z_Q = f_Q\) and either \(f_Q \in \mathscr {O}_{Y, Q}\), or \(p \not \mid {{\,\mathrm{ord}\,}}_Q(f_Q)\). Indeed, in order to obtain \(f_Q\) one can repeatedly subtract from f a function of the form \(h^p - h\), where h is a power of a uniformizer at Q.
Example 4.5
It might not be possible to find a function f such the function field of X is given by (4.1) and for any pole Q of f one has \(p \not \mid {{\,\mathrm{ord}\,}}_Q(f)\). Take for example an ordinary elliptic curve \(X / \overline{{\mathbb {F}}}_p\). Let \(\tau \in {{\,\mathrm{Aut}\,}}(X)\) be a translation by a p-torsion point. Consider the action of \(G = \langle \tau \rangle \cong {\mathbb {Z}}/p\) on X. This group action is free and hence \(n_P = 0\) for all \(P \in X\). Thus, if k(X) would have an equation of the form \(z^p - z = f\), where \(p \not \mid {{\,\mathrm{ord}\,}}_Q(f)\) for all \(Q \in \mathscr {P}\), then f would have no poles. This easily leads to a contradiction.
Keep the notation of Lemma 4.2. Fix an integer \(a \in {\mathbb {Z}}\) and denote:
-
\(B := \widehat{\mathscr {O}}_{X, P} = k[[t]]\), \(L := k((t))\), \(I := t^a B\),
-
\(A := \widehat{\mathscr {O}}_{Y, Q} = k[[x]]\), \(K := k((x))\).
In the below Lemma we will compute \(H^1(G, I)\). The dimension of \(H^1(G, I)\) is computed also in [1, Théorème 4.1.1] (see also [11, formula (18)]). However, we need an explicit description of a basis of \(H^1(G, I)\).
Lemma 4.6
-
1.
\(H^1(G, I)\) may be identified with
$$\begin{aligned} M := {{\,\mathrm{coker}\,}}(L^G \rightarrow (L/I)^G). \end{aligned}$$ -
2.
A basis of \(H^1(G, I)\) is given by the images of the elements \((t^i)_{i \in J}\) in M, where
$$\begin{aligned} J := \{ a - n \le i \le a - 1 : p \not \mid i \}. \end{aligned}$$ -
3.
\(\dim _k H^1(G, I) = n - \left[ \frac{a - 1}{p} \right] + \left[ \frac{a - 1 - n}{p} \right] \).
-
4.
The images of the elements:
$$\begin{aligned} t^i \quad \text { for } a - n \le i \le a - 1, \quad p | i \end{aligned}$$are zero in M.
Proof
For any \(h \in L\), we will denote its image in L/I by \([h]_{L/I}\). Analogously, if \(h \in L^G\), we denote its image in M by \([h]_M\).
-
1.
The proof follows by taking the long exact sequence of cohomology for the short exact sequence of k[G]-modules:
$$\begin{aligned} 0 \rightarrow I \rightarrow L \rightarrow L/I \rightarrow 0 \end{aligned}$$and using the Normal Base Theorem (cf. [8, sec. 4.14]).
-
2.
Note that for any \(a-n \le i \le a-1\), we have \([t^i]_{L/I} \in (L/I)^G\), since
$$\begin{aligned} \sigma ([t^i]_{L/I})= & {} [\sigma (t^i)]_{L/I} = [(t - \frac{1}{n}t^{n+1} + O(t^{2n}))^i]_{L/I}\\= & {} [t^i - \frac{i}{n} t^{i + n} + O(t^{i+2n})]_{L/I} = [t^i]_{L/I}. \end{aligned}$$We’ll show now that the set \(([t^i]_{M})_{i \in J}\) spans M. Note that \(L^G = K\). Therefore it suffices to show that for any \([h]_{L/I} \in (L/I)^G\), one has
$$\begin{aligned} h \in K + \bigoplus _{i \in J} k \cdot t^i. \end{aligned}$$(4.3)Let \(h = \sum _{i = N}^{a - 1} a_i t^i \in L\), where \(a_N \ne 0\). Observe that if p|j and \(a_j \ne 0\), then we may replace h by \(h - c \cdot x^{j/p}\) for a suitable constant \(c \in k\), since valuation of x in L equals p. Thus without loss of generality we may assume that \(a_j = 0\) for p|j and that \(p \not \mid N\). The equality \(\sigma ([h]_{L/I}) = [h]_{L/I}\) is equivalent to
$$\begin{aligned} \sum _{i = N}^{a - 1} a_i \sigma (t)^i = \sum _{i = N}^{a - 1} a_i t^i + \sum _{i = a}^{\infty } b_i t^i \end{aligned}$$for some \(b_a, b_{a + 1}, \ldots \in k\). By using equality (4.2) this implies:
$$\begin{aligned} \sum _{i = N}^{a - 1} a_i t^i \cdot \left( 1 - \frac{i}{n}t^n + O(t^{2n})\right) = \sum _{i = N}^{a - 1} a_i t^i + \sum _{i = a}^{\infty } b_i t^i. \end{aligned}$$By comparing coefficients of \(t^{N + n}\), we see that either \(N+n \ge a\), or
$$\begin{aligned} a_N \cdot \left( -\frac{N}{n} \right) + a_{N+n} = a_{N+n}. \end{aligned}$$The second possibility easily leads to a contradiction. This proves (4.3). We check now linear independence of the considered elements. Suppose that for some \(a_i \in k\) not all equal to zero:
$$\begin{aligned} \sum _{i \in J} a_i [t^i]_M = 0 \end{aligned}$$or equivalently,
$$\begin{aligned} \sum _{i \in J} a_i t^i = \sum _{j \ge N} b_j x^j + \sum _{j \ge a} c_j t^j \end{aligned}$$(4.4)for some \(b_j, c_j \in k\), \(b_N \ne 0\). Consider the coefficient of \(t^{pN}\) in (4.4). Observe that \(x = t^p + O(t^{p+1})\), since \({{\,\mathrm{ord}\,}}_P(x) = p\). We see that either \(pN \ge a\) (which is impossible, since \(\sum _{i \in J} a_i t^i \not \in I\)) or \(0 = b_N + 0\), which also leads to a contradiction. This ends the proof.
-
3.
Follows immediately by (2).
-
4.
Note that
$$\begin{aligned} x= & {} \frac{1}{(t^{-np} - t^{-n})^{1/n}} = \frac{t^p}{(1 - t^{n \cdot (p - 1)})^{1/n}}\\= & {} t^p \cdot (1 + O(t^{n \cdot (p-1)})) \end{aligned}$$and thus for any \(a - n \le i \le a - 1\), p|i:
$$\begin{aligned} x^{i/p} = t^i \cdot (1 + O(t^{n \cdot (p-1)})) = t^i + O(t^a), \end{aligned}$$and \([t^i]_{L/I} = [x^{i/p}]_{L/I}\), which shows that \([t^i]_M = 0\).
\(\square \)
Proof of Proposition 4.1
Fix a point \(Q \in \mathscr {P}\) and keep the above notation. Note that \(\widehat{(\pi _* \mathscr {O}_X)_Q} \cong B\), \(\widehat{\pi _*\varOmega _{X/k}} = B \, dt\). Moreover, note that \(\frac{dt}{t^{n+1}}\) is a G-invariant form, since from the equation \(t^{-np} - t^{-n} = x^{-n}\) one obtains:
Thus we have the following isomorphism of B[G]-modules:
(cf. [11, proof of Lemma 1.11.] for the “dual” version of this isomorphism). Lemma 4.6 implies that \(H^1(G, B)\) and \(H^1(G, B \, dt)\) may be identified with
respectively. One easily checks that the morphism \(d : H^1(G, B) \rightarrow H^1(G, B \, dt)\) corresponds to
By using Lemma 4.6 (2), (4) for \(a = 0\) and \(a = n+1\) we see that the basis of \({{\,\mathrm{im}\,}}(d : M_1 \rightarrow M_2)\) is
An elementary calculation allows one to compute the dimension of this space. \(\square \)
5 Converse results
This section will be devoted to proving various converse statements to Main Theorem.
5.1 The G-fixed subspaces
The methods used throughout the article seem to be insufficient to obtain a positive result regarding splitting of the exact sequence (1.2). However, we may say something about the G-fixed subspaces in the sequence (1.2).
Proof of Theorem 1.3
By Proposition 3.1 it is sufficient to show that the map
is zero for every \(P \in X\). Just as in Sect. 3.3 we observe that
However, the map \(d : k \rightarrow \varOmega _{X/k}\) is zero and thus the induced map
is also zero. Moreover, since \(\pi \) is weakly ramified, by a result of Köck (cf. [9, Theorem 1.1]), \(H^1(G_{P, 0}, \mathfrak m_{X, P}) = 0\). This ends the proof. \(\square \)
Note that if an action of a finite group G on X is weakly ramified then the action of any subgroup of G on X is also weakly ramified. Therefore the condition imposed by Theorem 1.3 on the Hodge–de Rham exact sequence of X seems to be strong from the group theoretical point of view. This raises the following question:
Question 5.1
Suppose that k is a field of characteristic \(p > 0\) and G is a finite group. Let also
be an exact sequence of k[G]-modules of finite dimension over k. Assume that for every subgroup \(H \le G\) the sequence
is exact also on the right. Does it follow that the exact sequence (5.1) splits G-equivariantly?
The following lemma reduces the Question 5.1 to the case of p-groups.
Lemma 5.2
Let k be a field of characteristic \(p > 0\) and let G be a finite group with a p-Sylow subgroup P. Suppose that
is an exact sequence of k[G]-modules. Then (5.2) splits as an exact sequence of k[G]-modules if and only if it splits as an exact sequence of k[P]-modules.
Proof
The proof is adapted from the proof of Maschke theorem. Suppose that \(s : C \rightarrow B\) is a k[P]-equivariant section of the map \(B \rightarrow C\). Let \(P {\setminus } G = \{Pg_1, \ldots , Pg_m\}\), where \(p \not \mid m = [G:P]\). Then, as one easily checks
is a k[G]-equivariant section of \(B \rightarrow C\). \(\square \)
Unfortunately we are able to answer Question 5.1 only for the class of groups that have ’tame’ modular representation theory, i.e. groups with a cyclic p-Sylow subgroup.
Lemma 5.3
Suppose that k is a field of characteristic \(p > 0\) and G is a finite group with a cyclic p-Sylow subgroup. Let
be an exact sequence of k[G]-modules. If the sequence
is exact on the right then the exact sequence (5.3) splits G-equivariantly.
Proof
Without loss of generality we can assume that \(G = {\mathbb {Z}}/p^n\) is a cyclic p-group (by Lemma 5.2). Note that \(k[{\mathbb {Z}}/p^n] \cong k[x]/(x - 1)^{p^n}\). The classification theorem of finitely generated modules over the principal ideal domain k[x] (cf. [5, Theorem 12.1.5]) implies that every finitely generated indecomposable \(k[{\mathbb {Z}}/p^n]\)-module is of the form:
Denote also \(J_0 := 0\). Using Smith’s Normal Form theorem (cf. [5, Theorem 12.1.4]) we obtain a commutative diagram:
![](http://media.springernature.com/lw161/springer-static/image/art%3A10.1007%2Fs00209-021-02839-y/MediaObjects/209_2021_2839_Equ123_HTML.png)
where \(l \le m\), \(a_i \le b_i\) and \(J_{a_i} \hookrightarrow J_{b_i}\) is the natural inclusion. Hence we are reduced to proving the claim for the exact sequence:
where \(a + b = c\), \(0 \le a, b, c \le p^n\). However, the equality
makes it obvious that \(a = 0\) or \(c = 0\). This finishes the proof. \(\square \)
5.2 Relation to the problem of lifting coverings
Let X be a smooth variety over an algebraically closed field k of characteristic p. Denote by \(X'\) the Frobenius twist of X and by \(F : X \rightarrow X'\) – the absolute Frobenius morphism of X. Recall that in this case we have the following Cartier isomorphism (cf. [2]) of \(\mathscr {O}_{X'}\)-modules:
Therefore the spectral sequence (3.2) for the de Rham cohomology becomes:
Let for any k-vector space V, \(V'\) denote the k-vector space with the same underlying abelian group as V and the scalar multiplication \((\lambda , v) \mapsto \lambda ^p \cdot v\). Then one easily checks that:
Therefore if the spectral sequence (5.5) degenerates on the second page, we obtain the following exact sequence:
Suppose now that X is equipped with a faithful action of a finite group G. We say that the pair (X, G) lifts to \(W_2(k)\), if there exists a smooth scheme \(\mathbf{X} \) over \(W_2(k)\) and a homomorphism \(G \rightarrow {{\,\mathrm{Aut}\,}}_{W_2(k)}(\mathbf{X} )\) such that
The following Theorem is a G-equivariant version of the main result of [4] and follows from the functoriality of the result of Deligne and Illusie.
Theorem 5.4
Suppose that the pair (X, G) lifts to \(W_2(k)\) and that \(\dim X < p\). Then the exact sequence (5.6) of k[G]-modules splits. In particular, there is an isomorphism (1.4) of \({\mathbb {F}}_p[G]\)-modules.
Proof
The article [4] provides for each lift \(\widetilde{X}/W_2(k)\) of X/k an isomorphism:
in \(D(X')\), the derived category of coherent \(\mathscr {O}_{X'}\)-modules. The isomorphism \(\varphi _{\widetilde{X}}\) is functorial with respect to open embeddings (in particular to isomorphisms). Recall that \(\varphi _{\widetilde{X}}^0\) is defined as the composition:
(see [4, proof of Théorème 2.1, part (a)]). Thus, by applying the first cohomology to (5.7) we obtain an isomorphism:
which yields a splitting of (5.6). Suppose now that (X, G) lifts to \(W_2(k)\). Then (5.8) becomes an isomorphism of k[G]-modules by functoriality of \(\varphi _{\widetilde{X}}\) and \(\phi _{\widetilde{X}}\). \(\square \)
Remark 5.5
If G is a cyclic p-group and V is a k[G]-module with \(\dim _k V {<} \infty \), one may easily prove that \(V \cong V'\) as k[G]-modules.
The following important question remains open.
Question 5.6
Suppose that the pair (X, G) lifts to \(W_2(k)\). Does it follow that the exact sequence of k[G]-modules (1.2) splits?
Proposition 5.7
Keep the notation introduced in Sect. 1. If the exact sequence (5.6) of k[G]-modules splits, then the action of G on X is weakly ramified.
Proof
Note that for a k[G]-module V of finite k-dimension, \(\dim V^G = \dim (V')^G\). Thus the proof follows by the method of proof of Main Theorem. \(\square \)
The following is an immediate consequence of Theorem 5.4 and Proposition 5.7.
Corollary 5.8
Suppose that \(p > 2\), X is a smooth projective curve over k and the pair (X, G) lifts to \(W_2(k)\). Then the action of G on X is weakly ramified.
Note that it was known previously that non-weakly ramified actions on curves do not lift to W(k) (cf. [14, Corollary, Sec. 4]).
The problem of lifting Galois coverings of curves from characteristic p to \(W_2(k)\) and W(k) has been studied extensively in the literature, cf. e.g. [15] for the case \(G = {\mathbb {Z}}/p\). In particular, it is possible to classify all weakly ramified group actions into liftable and non-liftable ones (cf. [1, Section 4.2] and [3, Section 4.1]). However, we weren’t able to extract any information that would help us to understand the behaviour of the sequence (1.2) for curves with weakly ramified group action.
Corollary 5.9
Suppose that a finite group G acts on an ordinary curve X. Then the exact sequences (1.2) and (5.6) split G-equivariantly and
as k[G]-modules.
Proof
Let A be the Jacobian variety of X. Observe that the Abel-Jacobi map induces an isomorphism between the Hodge-de Rham sequences of X and A (cf. [12, Proposition III.2.1, Lemma III.9.5.]). The same applies to the conjugate Hodge-de Rham sequences. Moreover, A is ordinary, and thus the natural inclusions:
induce an isomorphism \(H^1_{dR}(A/k) \cong H^0(A, \varOmega _{A/k}) \oplus H^1(A, \mathscr {O}_A)'\) (cf. [23, §2.1]). This isomorphism is clearly functorial and thus is an isomorphism of k[G]-modules. The remaining statement is clear. \(\square \)
Note in particular that Corollary 5.9 implies that ordinary curves admit only weakly ramified group actions. This follows also from the Deuring–Shafarevich formula (cf. [20]).
References
Bertin, J., Mézard, A.: Déformations formelles des revêtements sauvagement ramifiés de courbes algébriques. Invent. Math. 141(1), 195–238 (2000). https://doi.org/10.1007/s002220000071
Cartier, P.: Une nouvelle opération sur les formes différentielles. C. R. Acad. Sci. Paris 244, 426–428 (1957)
Cornelissen, G., Kato, F.: Equivariant deformation of Mumford curves and of ordinary curves in positive characteristic. Duke Math. J. 116(3), 431–470 (2003). https://doi.org/10.1215/S0012-7094-03-11632-4
Deligne, P., Illusie, L.: Relèvements modulo \(p^2\) et décomposition du complexe de de Rham. Invent. Math. 89(2), 247–270 (1987). https://doi.org/10.1007/BF01389078
Dummit, D.S., Foote, R.M.: Abstract Algebra, 3rd edn. Wiley, Hoboken (2004)
Grothendieck, A.: Sur quelques points d’algèbre homologique. Tôhoku Math. J. 2(9), 119–221 (1957). https://doi.org/10.2748/tmj/1178244839
Hartshorne, R.: Algebraic Geometry. Graduate Texts in Mathematics, no. 52. Springer, New York, Heidelberg (1977)
Jacobson, N.: Basic Algebra. I, 2nd edn. W. H. Freeman and Company, New York (1985)
Köck, B.: Galois structure of Zariski cohomology for weakly ramified covers of curves. Am. J. Math. 126(5), 1085–1107 (2004). http://muse.jhu.edu/journals/american_journal_of_mathematics/v126/126.5k”ock.pdf
Köck, B., Tait, J.: On the de-Rham cohomology of hyperelliptic curves. Res. Number Theory 4(2), 4:19 (2018). https://doi.org/10.1007/s40993-018-0111-4
Kontogeorgis, A.: On the tangent space of the deformation functor of curves with automorphisms. Algebra Number Theory 1(2), 119–161 (2007). https://doi.org/10.2140/ant.2007.1.119
Milne, J.S.: Abelian varieties (v 2.00) (2008). Available online www.jmilne.org/math/CourseNotes/AV.pdf
Mumford, D.: Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, 2nd edn., vol. 5. Tata Institute of Fundamental Research, Bombay; by Hindustan Book Agency, New Delhi (2008) [with appendices by C. P. Ramanujam and Yuri Manin, Corrected reprint of the second (1974) edition]
Nakajima, S.: Action of an automorphism of order \(p\) on cohomology groups of an algebraic curve. J. Pure Appl. Algebra 42(1), 85–94 (1986). https://doi.org/10.1016/0022-4049(86)90062-9
Pop, F.: The Oort conjecture on lifting covers of curves. Ann. Math. (2) 180(1), 285–322 (2014). https://doi.org/10.4007/annals.2014.180.1.6
Pries, R., Zhu, H.J.: The \(p\)-rank stratification of Artin–Schreier curves. Ann. Inst. Fourier (Grenoble) 62(2), 707–726 (2012). https://doi.org/10.5802/aif.2692
Rotman, JJ.: An Introduction to Homological Algebra, 2nd edn. Universitext, Springer, New York (2009). https://doi.org/10.1007/b98977
Serre, J.P.: Local Fields, Graduate Texts in Mathematics, vol. 67. Springer, New York, Berlin (1979) (translated from the French by Marvin Jay Greenberg)
The Stacks Project Authors. Stacks Project (2021). http://stacks.math.columbia.edu
Subrao, D.: The \(p\)-rank of Artin–Schreier curves. Manuscr. Math. 16(2), 169–193 (1975). https://doi.org/10.1007/BF01181639
Szamuely, T.: Galois groups and fundamental groups. Cambridge Studies in Advanced Mathematics, vol 117. Cambridge University Press, Cambridge (2009). https://doi.org/10.1017/CBO9780511627064
Towse, C.: Weierstrass points on cyclic covers of the projective line. Trans. Am. Math. Soc. 348(8), 3355–3378 (1996). https://doi.org/10.1090/S0002-9947-96-01649-2
Wedhorn, T.: De Rham cohomology of varieties over fields of positive characteristic. In: Higher-dimensional geometry over finite fields. In: NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., vol. 16, pp. 269–314. IOS, Amsterdam (2008)
Weibel, C.A.: An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol 38. Cambridge University Press, Cambridge (1994). https://doi.org/10.1017/CBO9781139644136
Acknowledgements
The author wishes to express his sincere thanks to Wojciech Gajda and Piotr Achinger for many stimulating conversations and their patience. The author also thanks Bartosz Naskręcki and Adrian Langer for valuable feedback. Finally, the author would like to express his gratitude to the anonymous referee for helpful comments and corrections, which helped to improve the article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was supported by NCN research grant UMO-2017/27/N/ST1/00497 and by the doctoral scholarship of Adam Mickiewicz University. Part of the work was done during the author’s stay during Simons Semester at IMPAN in Warsaw (November 2018), supported by the National Science Center grant 2017/26/D/ST1/00913, the grant 346300 for IMPAN from the Simons Foundation and the matching 2015-2019 Polish MNiSW fund. This paper is part of the author’s Ph.D. thesis.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Garnek, J. Equivariant splitting of the Hodge–de Rham exact sequence. Math. Z. 300, 1917–1938 (2022). https://doi.org/10.1007/s00209-021-02839-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02839-y