Finiteness of local fundamental groups for quotients of affine varieties under reductive groups (Q1311206)

Let \(X\) be an irreducible normal algebraic variety over \(\mathbb{C}\). The author introduces a notion of the local fundamental group of \(X\) at a point \(x\). His main concern in this paper is the following conjecture: Let \(X\) be affine and \(G\) be a reductive linear group acting algebraically on \(X\). If the local fundamental groups of \(X\) at all the points of \(X\) are finite, then the same is true for the (categorical) quotient variety \(X//G\), provided \(\dim X//G \geq 2\). The aim of this paper is to prove this conjecture in the case when all the local rings of \(X\) have fully-torsion divisor class groups (in fact a more general result is proved). It is mentioned that \textit{Gurjar} obtained a proof of this conjecture as well but in the case when \(X\) is smooth. -- \textit{C. T. C. Wall's} conjecture follows from this result: If \(X = \mathbb{C}^ n\) and the action is linear then \(\dim \mathbb{C}^ 2//G = 2\) implies that \(\mathbb{C}^ 2//G\) is isomorphic to \(\mathbb{C}^ 2/ \Gamma\), where \(\Gamma\) is some finite group acting linearly on \(\mathbb{C}^ 2\).