Liftable \(D_{4}\)-covers (Q948923)

From MaRDI portal
Revision as of 01:42, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Liftable \(D_{4}\)-covers
scientific article

    Statements

    Liftable \(D_{4}\)-covers (English)
    0 references
    0 references
    16 October 2008
    0 references
    Let \(k\) an algebraically closed field of characteristic \(p>0\). Let \(G\) be a finite group which is the extension of a cyclic group of order prime to \(p\) by a \(p\)-group. A local \(G\)-action is a faithful action \(\rho:G \hookrightarrow \text{Aut}_k(k[[t]])\). Such actions occur by localizing and completing Galois covers of curves in positive characteristic at a ramification point. The \textsl{local lifting problem} asks which local \(G\)-actions lift to characteristic zero. This paper gives the first examples of local \(G\)-actions which lift to characteristic zero, where \(G\) is a nonabelian \(p\)-group. The question whether such actions exist was asked by [\textit{M. Matignon}, Lifting Galois covers of a smooth curve. In: Problems from the workshop on automorphisms of curves. Rend. Sem. Math. Univ. Padova. 113, 25--30 (2005)]. The author proves liftability of a class of local \(D_4\)-actions, called supersimple, in characteristic \(2\). Here \(D_4\) is the dihedral group of order \(8\). Let \(\rho:G \hookrightarrow \text{Aut}_k(k[[t]])\) be a local \(G=D_4\) action in characteristic \(2\). With it, we may associate a \(G\)-Galois cover of smooth projective curves \(f:C\to {\mathbb{P}}^1\) in characteristic \(2\), which is totally branched over \(\infty\) and unramified elsewhere. The local action \(\rho\) is called supersimple if the quotient of \(C\) by the center of \(G\) has genus zero. The author gives a classification of these covers in term of a non-Galois quotient \(\bar{C}\to {\mathbb{P}}^1\) of degree \(4\). Such covers may be constructed explicitly by equations. The proof of the liftability combines explicit computations of equations with group-cohomology considerations.
    0 references
    local lifting problem
    0 references
    0 references

    Identifiers