Liftings of coverings of weakly ramified curves (Q852342)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5076560
Language Label Description Also known as
default for all languages
No label defined
    English
    Liftings of coverings of weakly ramified curves
    scientific article; zbMATH DE number 5076560

      Statements

      Liftings of coverings of weakly ramified curves (English)
      0 references
      0 references
      0 references
      29 November 2006
      0 references
      Let \(X\) be a smooth projective curve over a perfect field \(k\) of characteristic \(p>0\) with a finite group \(G \subset \text{Aut}_k(X)\). Let \(R(X,G)\) be the versal equivariant deformation ring of \((X,G)\). The authors prove the following result: Theorem. Let us assume that the action of \(G\) is weakly ramified (i.e. for all \(P \in X\) with uniformizer \(x\), \(G_{P,2}:=\{\sigma \in G, \text{ord}_x(\sigma x-x)>2\}\) is trivial). Then one of the following properties is satisfied : 1) \(R(X,G)\) is cancelled by \(p\). 2) the non trivial ramification groups of \(G\) whose order is divisible by \(p\) are either a) \(\mathbb{Z}/p\mathbb{Z}\) ; b) the dihedral group \(\mathbb{Z}/p\mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z} \) if \(p>2\) or \((\mathbb{Z}/2\mathbb{Z})^2\) if \(p=2\) ; c) \(A_4=(\mathbb{Z}/2\mathbb{Z})^2 \rtimes \mathbb{Z}/3\mathbb{Z}\) for \(p=2\). In any of these cases \(R(X,G)\) is a relative complete intersection over the ring of Witt vectors \(W(k)\); in particular \(R(X,G)\) is flat over \(W(k)\). Thus the characteristic of \(R(X,G)\) is either \(0\) or \(p\). As the authors point out, if the curve \(X\) is ordinary then the action of \(G\) is weakly ramified [\textit{S. Nakajima}, Trans. Am. Math. Soc. 303, 595--607 (1987; Zbl 0644.14010)].
      0 references
      versal equivariant deformation ring
      0 references
      characteristic \(p\)
      0 references

      Identifiers