Multiplicative preprojective algebras of Dynkin quivers (Q2161112)

Let \(R\) be a commutative ring \(R\) and \(Q\) be an ADE Dynkin quiver. Assuming that the parameter \(q=1\), D. Kaplan proves that the multiplicative preprojective algebra of Crawley-Boevey and Shaw is isomorphic to the additive preprojective algebra as \(R\)-algebras if and only if the bad primes for \(Q\) (2 in type D, 2 and 3 for \(Q = E_{6}\), \(E_{7}\) and 2, 3 and 5 for \(Q= E_{8}\)) are invertible in \(R\). He constructs an explicit isomorphism over \(\mathbb{Z}[1/2]\) for type D, over \(\mathbb{Z}[1/2, 1/3]\) for \(Q = E_{6}\), \(E_{7}\) and over \(\mathbb{Z}[1/2, 1/3, 1/5]\) for \(Q=E_{8}\). Conversely, if some bad prime is not invertible in \(R\), the author shows that the additive and multiplicative preprojective algebras differ in zeroth Hochschild homology, and therefore are not isomorphic. In the setting of Ginzburg dg-algebras, these obstructions are new in type \(E\). The zeroth Hochschild homology of the multiplicative preprojective algebra can be interpreted as the space of unobstructed deformations of the multiplicative Ginzburg dg-algebra by Van den Bergh duality. Finally, Kaplan observes that the multiplicative preprojective algebra is not symmetric Frobenius if \(Q \neq A_1\), a departure from the additive preprojective algebra in characteristic 2 for \(Q = D_{2n}\), \(n \geq 2\), and \(Q =E_{7}\), \(E_{8}\).