A characteristic \(p\) proof of Wahl's vanishing theorem for rational surface singularities (Q1961700)

Let \(f:X\to\text{Spec} R\) denote the smallest resolution for the local ring \(R={\mathcal O}_{Y,y}\) of a normal surface singularity \((Y,y)\), whose exceptional divisor \(E\) consists of intersecting transversally smooth curves \(E_1,\dots, E_s\). The singularity \((Y,y)\) is called Du Bois if the natural map \(R^1f_*{\mathcal O}_X \to H^1(E, {\mathcal O}_E)\) is an isomorphism. The author proves a slightly generalized version of \textit{J. M. Wahl}'s vanishing theorem [Invent. Math. 31, 17-41 (1975; Zbl 0314.14010)]. Namely if \((Y,y)\) is a Du Bois singularity with weighted dual graph \(\Gamma\) and \(\text{char} k=0\) or \(\text{char} k=p\) is greater than a certain bound given explicitly by \(\Gamma\), then \(H^1_E(X,\Omega^1_X (\log E))=0\), where \(\Omega^1_X (\log E)\) is the sheaf of differential 1-forms with log poles along \(E\).