リッチテンソル
という形の繰り込み群方程式を持つことを、彼は示した。ここの は対象多様体のリッチテンソルである。