Three dimensional canonical singularities in codimension two in positive characteristic (Q2377432)

Let \(X\) be a three dimensional algebraic variety over an algebraically closed field \(K\) of characteristic \(p>0\) with at most canonical singularities. It is proved that the following holds: (1) \(X\) is Cohen--Macaulay in codimension two. (2) Suppose \(p>2\) and a general hyperplane section \(H\) has at most rational singularities. Then there exists a zero--dimensional subvariety \(Z\subset X\) such that for any \(x\in X\smallsetminus Z\) the complete local ring \(\widehat{\mathcal{O}}_{X,x}\) is either regular or isomorphic to one of the following: (2.1) \(K[[x,y,z]]/\langle g\rangle \widehat{\otimes} K[[t]]\) with a rational double point \(K[[x,y,z]]/\langle g\rangle\) (2.2) \(K[[x,y,z, w]]/\langle z^2+x^3+y^4+y^3w\rangle\) with \(p=3\) (2.3) \(K[[x,y,z, w]]/\langle z^2+x^3+y^4+x^2y^2+y^3 w\rangle\) with \(p=3\).