Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces Inequality conjectures on derivations of local \(k\)-th Hessain algebras associated to isolated hypersurface singularities 