On natural deformations of symplectic automorphisms of manifolds of \(K3^{[n]}\) type (Q373679)

Let \(S\) be a \(K3\) surface and \(G\) a group of symplectic automorphisms of \(S\). A natural pair is \((S^{[n]}, \tilde G)\), where \(S^{[n]}\) is the Hilbert scheme of subschemes of length \(n\) of \(S\) and \(\tilde G\) is the group of symplectic automorphisms on \(S^{[n]}\) induced by \(G\) (\(\tilde G\) is usually still denoted as \(G\)). Now let \(X\) be a hyperkähler manifold of \(K3^{[n]}\)-type and let \(G\subset\) Aut\((X)\). The article is devoted to prove that it is possible to deform \((X,G)\) to a natural pair whenever \(G\) is a finite symplectic group such that its action on \(H^2(X,\mathbb Z)\) is the natural one and \(n-1\) is a prime power.