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 decomposa