Counterexample disproves HK-conjecture for flat manifolds of dimension 9 and higher.
problem Disproving the HK-conjecture for flat manifolds of various dimensions.
method Using flat manifolds of dimension 9 and higher, constructing counterexamples.
result Minimal dimension 9 is required for counterexamples, and higher dimensions are possible.