The Ricci tensor of a gradient Ricci soliton with harmonic Weyl tensor
In this article, we investigate gradient Ricci solitons of dimension $n\geq4$ with harmonic Weyl tensor. We prove the equivalence of several conditions involving the Ricci eigendistributions, the geometry and the intrinsic Ricci tensor of the level sets of the potential function, the local decomposability of the corresponding net, and local multiply warped product representations. Under the local decomposability assumption, we provide a short proof of Kim's bound on the number of distinct Ricci eigenvalues which does not require the use of specialized moving frames. Combining Kim's theorem with our equivalence result, we also obtain the remaining geometric conditions without any additional hypothesis.