Clearly HR and other upper management were concerned since they asked you about it and they allegedly have a file on him. Toxic people should be outed and let go. That's how HR can protect the company and by an extent you as an employee.