 Together with John Lott of the University of Michigan, he filled in details of Grigori Perelman's proof of the Geometrization conjecture (from which the Poincaré conjecture follows) in the years 2003–2006.Theirs was the first publication acknowledging Perelman's accomplishment (in May, 2006), which was shortly followed by similar papers by Huai-Dong Cao and Xi-Ping Zhu (in June) and John Morgan and Gang Tian (in July).Kleiner found a relatively simple proof of Gromov's theorem on groups of polynomial growth.