A Riemannian manifold $(M, g)$ is said to be an almost Ricci soliton if there exists a complete vector field $X \in \Gamma(TM)$ and a smooth function $\lambda: M \to \mathbb{R}$ such that
$$\operatorname{Ric} + \frac{1}{2}\mathscr{L}\_{X} g = \lambda g$$ When this vector field is the gradient of a smooth function $f: M \to \mathbb{R}$, we say $M$ is a gradient almost Ricci soliton, and this equation becomes:
$$\operatorname{Ric} + \operatorname{Hess}(f) = \lambda g$$
Obviously, any Einstein manifold is a Ricci soliton and hence an almost Ricci soliton (gradient as well, trivially), so these are trivial examples.  

If $M$ satisfies: $$\operatorname{div}({\operatorname{Rm}}) = 0$$
we then say $M$ has harmonic curvature (notice this happens if and only if $M$ has harmonic Weyl curvature and constant scalar curvature. I think that part of some work I've been doing with some other people shows that any gradient almost Ricci soliton with harmonic curvature satisfies the property that for any $p \in M$, there is a neighborhood $U\_p \ni p$ such that $U\_p$ has constant sectional curvature (and is therefore necessarily Einstein) (**EDIT AT NOVEMBER 27:** this supposes the dimension is $\geq 4$. Also, I've come to realize since the initial writing of this post that the Einstein examples might not be exhaustive).


As a sanity check, I'm looking for some explicit examples of nontrivial (i.e, not Einstein and with nonconstant $\lambda$) gradient almost Ricci solitons (preferably of dimension $\geq 5$) with harmonic curvature. Can anyone here provide some examples? I'd appreciate any help. Thanks in advance!



What are some explicit examples of nontrivial gradient almost Ricci solitons with harmonic curvature?
**I'm revising my answer to shorten it, since there is a much simpler way to describe these solutions more fully.**


Let $(N^n,h)$ be a metric of constant sectional curvature $k$ and consider the quadratic form
$$
g = \frac{\mathrm{d}u^2}{k-a\,u^2+ b\,u^{1-n}} + u^2\,h
$$
on $M^{n+1} = \mathbb{R}^+\times N$, where $a$ and $b$ are constants and $u>0$ is the coordinate on $\mathbb{R}^+$. If $I\subset\mathbb{R}^+$ is an interval on the $u$-line on which $k-a\,u^2+ b\,u^{1-n} >0$, then $g$ is a Riemannian metric on $I\times N$ that is conformally flat and has constant scalar curvature $S = n(n{+}1)a$. Hence it has harmonic curvature. The Ricci curvature is
$$
\mathrm{Ric}(g) = \bigl(n\,a - \tfrac{1}{2}\,b\,u^{-n-1}\bigr)\,g 
+ \frac{(n^2{-}1)b\,\mathrm{d}u^2}{2\bigl(b\,u^2+k\,u^{n+1}-a\,u^{n+3}\bigr)},
$$
so $g$ is Einstein if and only if $b=0$.


Moreover, it is now easy to construct (by quadrature) a function $f = f(u)$ on $I$ such that $\mathrm{Ric}(g) + \mathrm{Hess}\_g(f) = \lambda\,g$ for some function $\lambda$. When $b\not=0$, $\lambda$ will not be constant. Thus, this gives a completely explicit $3$-parameter family of non-trivial almost Ricci solitons with harmonic curvature.


If $I = (r\_1,r\_2)$ where $r\_2>r\_1>0$ are simple roots of $k-a\,u^2+ b\,u^{1-n}=0$, then the curve $v^2 = k-a\,u^2+ b\,u^{1-n}$ in the $uv$-plane has a smooth circle component $C$ between the lines $u=r\_1$ and $u=r\_2$. In this case, the metric $g$ extends to a smooth complete metric on $C\times N$ (assuming that $(N,h)$ is complete). In this way, one can construct many complete or compact examples of such metrics. However, when $b\not=0$, the functions $f$ and $\lambda$ will only be locally defined unless one passes to the simply-connected cover of $C$, so that $M = \mathbb{R}\times N$. On this covering space, $f$ (and $\lambda$) can be globally defined.


*Remark:* In dimension $3$, it turns out that *every* conformally flat metric $(M^3,g)$ with constant scalar curvature (i.e., every metric in dimension $3$ with harmonic curvature) that admits a 'Ricci potential', i.e., a function $f$ such that $\mathrm{Ric}(g)+\mathrm{Hess}\_g(f) = \lambda\,g$ for some function $\lambda$, is locally of the above form for some $(N^2,h)$ with constant curvature. It was after I worked out this fact, via an exterior differential system analysis, that I realized that the above construction could be used to produce examples in any dimension.


In dimensions above $3$, it is not likely that every metric with harmonic curvature that admits a Ricci potential in the above sense is of the form given above, but I don't know a classification, even when $n=4$.


