Derived invariants of the fixed ring of enveloping algebras of semisimple Lie algebras (Q2223518)

Let \(\mathfrak{g}\) be a semisimple complex Lie algebra, and let \(W\) be a finite subgroup of \(\mathbb{C}\)-algebra automorphisms of the enveloping algebra \(U(\mathfrak{g})\). The author shows that the derived category of \(U(\mathfrak{g})^W\)-modules determines isomorphism classes of both \(\mathfrak{g}\) and \(W.\) The main results are the following. Theorem 1.1. Let \(\mathfrak{g}, \mathfrak{g'}\) be semisimple complex Lie algebras. Let \(W\subset \Aut(U(\mathfrak{g}))\) and \(W'\subset \Aut(U(\mathfrak{g'}))\) be finite subgroups of \(\mathbb{C}\)-algebra automorphisms. If the fixed-point algebras \(U(\mathfrak{g})^W\) and \(U(\mathfrak{g'})^{W'}\) are derived equivalent, then \(\mathfrak{g}\cong\mathfrak{g'}\) and \(W\cong W'.\) In fact there exists a Lie algebra isomorphism \(f:\mathfrak{g}\to\mathfrak{g}\)' and finite subgroups \(W\subset \Aut(\mathfrak{g}), W'\subset \Aut(\mathfrak{g}')\) such that \(f_*(W)=W'\) and then \(W\cong W_1, W'\cong W'_1.\) Theorem. Let \(X, Y\) be smooth affine simply connected varieties over \(\mathbb{C}\). Let \(W\) and \(W'\) be finite subgroups of automorphisms of \(D(X)\) and \(D(Y)\) respectively. If the fixed-point algebras \(D(X)^{W}\) and \(D(Y)^{W'}\) are derived equivalent, then \(W\cong W'.\) The proofs are based reduction modulo large prime and consideration Poisson structure from the center of such reduction.