Wild quotient singularities of surfaces (Q379198): Difference between revisions

The aim of this paper is to give some information about the resolution graphs of wild cyclic quotient surface singularities. Let \((B,n,l)\) be a 2-dimensional regular local ring on which a cyclic group \(H\) acts freely off \(\{n\}\). Assume that the characteristic of \(l\) is \(p>0\) and let \((A,m,k)\) be the invariant subring of \(B\) by \(H\). The cyclic surface singularity \(Z= \text{Spec}(A)\) is said to be wild if the order of \(H\) is divisible by \(p\). Assume that there exists a resolution of the singularity \(f: X\to Z\) which is minimal with the irreducible components \(C_i\) of the exceptional divisor \(E= f^{-1}(m)\) being smooth with normal crossing. Denote the intersection matrix \((C_i\cdot C_j)\) and the resolusion graph of \(f\) by \(N\) and \(G\), respectively. First, the author gives under suitable assumtions three results on wild cyclic singularities: (1) the irreducible components of \(E\) are rational and the resolution graph \(G\) is a tree, (2) the multiplicity \(e(A)\) of \(A\) is less or equal to \(|H|\), (3) the order of any element of the group \(\Phi_N= \mathbb{Z}^n/N(\mathbb{Z}^n)\) divide \(|H|\). Then, towards the explicit determination of invariants of wild cyclic surface singularities, the author studies detailed combinatorial properties of intersection matrix \(N\).