Noncommutative rational double points (Q5925820)

Let \(k\) be an algebraically closed field of characteristic zero, let \(P=k\langle \langle u,v\rangle \rangle\) be the noncommutative power series ring in the two indeterminates \(u,v\), and \(r\in P\). Suppose that the leading term of \(r\) is quadratic with no linear factors. Then \(B=P/(r)\) is a regular ring of dimension two. In fact, it is a noncommutative analog of the power series ring \(k[[u,v]]\). The author studies the ring of invariants \(B^G\), where \(G\) is a finite subgroup of \(\text{SL}(V)\), \(V=ku+kv\). Such a ring is called a special quotient surface singularity and can be considered as a noncommutative analog of a rational double point. When \(G\) is cyclic an explicit description of such algebras in terms of generators and relations is given. It is also proved that these algebras are AS-Gorenstein of dimension two, they have finite representation type and, in many cases, are regular in codimension one.