ricci flow is now a standard tool in geometry and topology , and one of its main uses is to provide a means of deforming a given riemannian metric , hopefully into one that is `` distinguished '' in some sense . on a fixed riemannian manifold
, ricci flow may be viewed as a dynamical system on the space of riemannian metrics , modulo diffeomorphisms . in this context , distinguished metrics are einstein or ricci soliton metrics , and we phrase the problem of `` deforming into a distinguished metric '' in terms of dynamical stability .
namely , given a stationary solution @xmath0 of ricci flow and some topology on the space of metrics , does there exist a neighborhood @xmath1 of @xmath0 such that all ricci flow solutions with initial data in @xmath1 converge to @xmath0 ?
many authors have considered stability for solutions of ricci flow ; see the introduction of @xcite for a description of some of the results and techniques used .
the approach to stability that we take in this paper follows the program initiated by guenther , isenberg , and knopf in @xcite , which , roughly speaking , has three steps :    1 .   modify ricci flow ( e.g. , by diffeomorphisms and rescaling ) so that it has a suitable class of fixed points . 2 .
compute the linearization at a fixed point and prove linear stability .
3 .   set up a sequence of tensor spaces with certain interpolation properties and apply a theorem of simonett to get dynamical stability .
since its introduction in @xcite , this program has been used to prove a variety of other stability results @xcite .    for step 1 ,
the flow that we wish to study appeared in @xcite .
given a manifold @xmath2 , @xmath3 , and a vector field @xmath4 , the _ curvature - normalized ricci flow _
is @xmath5 a ricci soliton @xmath6 , which satisfies @xmath7 is clearly a stationary solution of .
( recall that an einstein metric corresponds to a ricci soliton where the field @xmath4 is a killing field . )    for step 2 , the linearization of the flow was also considered in @xcite .
after modification by deturck diffeomorphisms , the linearization is @xmath8 where @xmath9 is the lichnerowicz laplacian acting on symmetric 2-tensors .
a stationary solution of is _ strictly _ ( resp .
_ weakly _ ) _ linearly stable _ if the operator @xmath10 has negative ( resp
.  non - positive ) spectrum , that is , if there exists some @xmath11 ( resp .
@xmath12 ) such that @xmath13 for all symmetric 2-tensors @xmath14 taken from some appropriate tensor space .
we emphasize that the notion of linear stability for a given metric depends on a particular linear operator .
for example , koiso studied stability of einstein metrics with respect to the second variation of the total scalar curvature functional @xcite .
other authors have studied stability of shrinking ( @xmath15 ) , gradient ( @xmath16 for some @xmath17 ) ricci solitons with respect to the second variation of perelman s @xmath18-functional ; see , for example @xcite .    in this paper
, we will not be directly concerned with step 3 and the aspects of dynamical stability .
indeed , our goal is to study the _ linear stability _ of homogeneous einstein and ricci soliton metrics on non - compact manifolds , with respect to the operator from .
( step 3 is , however , the primary focus of a companion paper by wu and the third author @xcite , see theorem [ thm : dynamical - all ] below . )
the first results for such metrics are found in @xcite , where the authors give a detailed analysis of homogeneous solitons on three spaces :  @xmath19 , @xmath20 , and @xmath21 .    since that work ,
much has been discovered about homogeneous solitons .
it turns out that the only non - trivial homogeneous ricci solitons occur in the non - compact , expanding ( @xmath22 ) , and non - gradient ( @xmath23 for any @xmath17 ) case ; see section 2 of @xcite for a discussion of this fact .
additionally , all known examples can be realized as left - invariant metrics on simply connected solvable lie groups ( or , equivalently , as inner products on solvable lie algebras
well use both interpretations ) , such that @xmath24 where @xmath25 is the ricci endomorphism , @xmath26 , and @xmath27 is a derivation of the lie algebra .
a metric satisfying this equation is called an _ algebraic soliton _ ; on nilpotent and solvable lie groups , such metrics are called _ nilsolitons _ and _ solvsolitons _ , respectively .
an algebraic soliton is in fact a ricci soliton ( see , e.g. , @xcite ) ; conversely , a ricci soliton on a solvable lie group is isometric to a solvsoliton ( on a possibly different lie group ) . also , a solvable lie group admitting a non - flat algebraic soliton is diffeomorphic to @xmath28 .
these last two facts appear in @xcite .
lauret has also proven strong structural results for algebraic solitons @xcite .
essentially , nilsolitons are the nilpotent parts of solvsolitons  a solvsoliton implies the existence of a nilsoliton on the nilradical , and conversely , any nilsoliton can be extended in a specific way to a solvsoliton .
see theorem [ thm : lauret ] for more details .
this new knowledge allows us to expand upon the linear stability work done in @xcite .
here is an outline of the paper and a description of the results . in section [ sec : lin - criteria
] , we analyze the linearized ricci flow operator from and derive a sufficient condition for linear stability of soliton metrics ( including einstein metrics ) under the flow .
this condition covers a somewhat general class of metrics , but our main focus is the algebraic soliton case , where @xmath29 .    [
prop : stab - conds ] let @xmath6 be a ricci soliton with constant scalar curvature .
the following condition implies that @xmath30 is strictly linearly stable : @xmath31 for all symmetric 2-tensors @xmath14 .
when @xmath30 is @xmath32-einstein , this condition is @xmath33    here , @xmath34 is the action of the riemann curvature tensor on symmetric 2-tensors .
we also have criteria based on sectional curvature bounds .
[ prop : sec - stab ] let @xmath6 be a ricci soliton with constant scalar curvature , and suppose that the sectional curvature satisfies @xmath35 for some constant @xmath36 .
a sufficient condition for @xmath30 to be strictly linearly stable is that @xmath37    we emphasize that these results only give _ sufficient _ conditions for linear stability , as they do not involve the full operator from .
the hope is that , in the case of solvable lie groups , one can use algebraic methods to verify these conditions relatively simply .
it turns out that this hope is too optimistic , as there are examples of metrics  both einstein and non - einstein  for which these propositions fail to give stability ; see subsection [ subsec : abelian - einstein ] .
however , as we will see in theorem [ thm : stab - all ] , these propositions succeed in many other cases .    in section [ sec : extensions ] , we explore the relationship between linear stability of a solvable einstein metric and its associated nilsoliton in the case of codimension - one nilradical . using proposition [ prop : stab - conds ] , we show that stability of the einstein metric implies stability of the nilsoliton when the eigenvalues of the nilsoliton derivation are not too large , relative to the trace of the derivation .
[ prop : ext - stab ] let @xmath38 be a solvable lie algebra with codimension - one nilradical @xmath39 $ ] . if a @xmath32-einstein metric on @xmath38 satisfies , then a sufficient condition for the nilsoliton on @xmath40 to be strictly linearly stable is that @xmath41 where @xmath42 are the eigenvalues of the nilsoliton derivation @xmath27 .
also in that section we use the continuity of the curvature operators to show that any non - nilpotent solvsoliton satisfying is contained in an open set of stable solvsolitons .
this set is open in the moduli space of solvsoliton extensions of the nilradical of the original stable metric .    in section
[ sec : abelian ] , we consider abelian nilsolitons ( which are trivially stable ) and their solvsoliton extensions .
we calculate the sectional curvatures and use proposition [ prop : sec - stab ] to find an open set ( in an appropriate moduli space ) of stable solvsolitons whose nilradicals have codimension one ; see proposition [ prop : abelian - sec ] .    in section [ sec:2step ] ,
we use proposition [ prop : stab - conds ] to derive conditions for stability of two - step nilsolitons . using structural results due to eberlein @xcite , and analyzing the possible ricci tensors of nilsoliton metrics , we prove that all two - step nilsolitons are stable ; see proposition [ prop:2step - stab ] .
the space of all such solitons is quite large ; in particular , there are continuous families @xcite .
in section [ sec:3step ] , we consider linear stability of solvable einstein metrics whose nilradicals are two - step and codimension - one . while the techniques of section [ sec:2step ] do not work in all cases here , we are able to obtain stability for two countably infinite families of metrics .
first are those where the nilradical is a generalized heisenberg group , and second are where the nilradical is a free two - step nilpotent lie group ; see proposition [ prop : stab - solv - heis - free ] .
we also briefly discuss spaces of negative curvature and proposition [ prop : sec - stab ] .
in particular , we use results of heber @xcite to find high - dimensional families of stable einstein metrics that arise as deformations of certain quaternionic and cayley hyperbolic spaces .    in section [ sec : low - dim ] , we consider `` low - dimensional '' examples .
namely , we prove linear stability of all nilsolitons in dimension six or less , using the classification found in @xcite .
we also prove linear stability for the corresponding one - dimensional solvable einstein extensions , except in the case of the hyperbolic space @xmath43 , which is only weakly linearly stable .
this gives almost 100 examples of stable metrics on solvable lie groups .
see proposition [ prop : low - dim ] and tables [ table : solitons ] and [ table : solitons2 ] .
we show that each metric in a curve of seven - dimensional nilsolitons is strictly linearly stable , and also their one - dimensional einstein extensions .
finally , we show that each solvsoliton extension of the three - dimensional heisenberg algebra is strictly linearly stable .
here is a summary of the spaces shown to be stable .
[ thm : stab - all ] the following algebraic solitons are strictly linearly stable with respect to the curvature - normalized ricci flow :    1 .
[ item1 ] every nilsoliton of dimension six or less , and every member of a certain one - parameter family of seven - dimensional nilsolitons ; 2 .
every abelian or two - step nilsoliton ; 3 .
every four - dimensional solvsoliton whose nilradical is the three - dimensional heisenberg algebra ; 4 .
an open set of solvsolitons whose nilradicals are codimension - one and abelian ; 5 .
every solvable einstein metric whose nilradical is codimension - one and 1 .
found in [ item1 ] and has dimension greater than one , or 2 .   a generalized heisenberg algebra , or 3 .   a free two - step nilpotent algebra ; 6 .   for each @xmath44 , an @xmath45-dimensional family of negatively - curved einstein metrics containing the quaternionic hyperbolic space @xmath46 ; 7
an @xmath47-dimensional family of negatively - curved einstein metrics containing the cayley hyperbolic plane @xmath48 .
further , any non - nilpotent solvsoliton @xmath49 satisfying and @xmath50 is contained in an open set of stable solvsolitons .
this list is , of course , not complete .
one might be tempted to conjecture that all solvsolitons are strictly linearly stable , but this is not clear .
as mentioned above , in subsection [ subsec : abelian - einstein ] we give examples of metrics for which both propositions [ prop : stab - conds ] and [ prop : sec - stab ] fail to give stability .
these metrics are possibly stable , but our methods are insufficient to prove it .
as the focus of this paper is linear stability , we will not directly consider the dynamical aspects of stability .
however , using the results of @xcite , we have dynamical stability for each metric in theorem [ thm : stab - all ] .
[ thm : dynamical - all ] each metric from theorem [ thm : stab - all ] is dynamically stable in the context of ( * ? ? ?
* theorem 1.1 ) for einstein metrics and of ( * ? ? ? * theorem 1.2 ) for non - einstein solitons .
this theorem adds to the understanding of long - time behavior of ricci flow solutions .
indeed , expanding homogeneous solitons are expected to act as singularity models for ( at least some ) type - iii ricci flow singularities , and this is known to be true in some cases @xcite . theorem [ thm : dynamical - all ] exhibits many more examples of ricci flow solutions that converge to expanding homogeneous solitons .
in this section we find conditions that imply linear stability , and doing so requires us to understand the linear operator @xmath10 from . in particular , we analyze the various components that make up the @xmath51 inner product @xmath52 , which include various curvature operators , laplace operators , and lie derivatives .
the main results of this section , propositions [ prop : stab - conds ] and [ prop : sec - stab ] , give sufficient conditions for linear stability in the case of constant scalar curvature .
the first requires estimating the eigenvalues of @xmath53 , acting on symmetric 2-tensors , and the second requires sectional curvature bounds .
the results are also adapted to the case of algebraic solitons .
let @xmath54 be a riemannian manifold .
the lichnerowicz laplacian , acting on symmetric 2-tensors , has the form @xmath55 here , @xmath56 is the connection laplacian on 2-tensors .
the second term is the action of the riemann tensor on symmetric 2-tensors . in local coordinates , this is @xmath57 this operator satisfies @xmath58 , so @xmath59 .
when @xmath30 is @xmath32-einstein , @xmath60 , so @xmath32 is an eigenvalue of @xmath34 .
additionally , when @xmath30 is @xmath32-einstein , we have @xmath61 , so that it is actually an operator on trace - free symmetric @xmath62-tensors .
we will not need this fact , however .
the last two terms in are an abuse of notation for the action of the ricci tensor on symmetric 2-tensors . in local coordinates , this is @xmath63 we can combine these two curvature operators to form @xmath64 , the _ weitzenbck curvature operator _ , acting on symmetric 2-tensors - tensors by @xmath65 in an orthonormal frame @xmath66 . here , the action of the curvature tensor @xmath67 on a tensor @xmath68 is @xmath69 one gets a lichnerowicz laplacian on @xmath70 tensors by @xmath71 . ] : @xmath72 note that when @xmath30 is @xmath32-einstein , this becomes @xmath73 .
this operator allows us to write as @xmath74    an important formula involving the lichnerowicz laplacian is koiso s bochner formula @xcite , which we adapt here in a slightly more general setting .
[ prop : koiso ] on a riemannian manifold @xmath54 , let @xmath14 be a symmetric 2-tensor with compact support and define a 3-tensor @xmath68 by @xmath75 then @xmath76    we sketch the proof .
first , it is easy to see that @xmath77 integrate by parts and commute covariant derivatives to obtain @xmath78 now follows from combining these two equations .
we saw `` the '' lichnerowicz laplacian above , @xmath79 but there is actually a family of laplacians depending on a parameter @xmath80 , @xmath81 as a special case , let us consider the _
codazzi laplacian _ :
@xmath82 the name arises from the fact that the kernel of this operator , acting on symmetric 2-tensors , consists of codazzi tensors . by
, we have @xmath83 so this operator is non - positive .
consider a ricci soliton @xmath6 satisfying . using the expression of the lie derivative in terms of covariant derivatives , we have @xmath84 where @xmath85 this gives an equivalent soliton equation on the endomorphism level : @xmath86    express the lie derivative of a compactly supported symmetric 2-tensor @xmath14 as @xmath87 writing @xmath88 and integrating by parts gives @xmath89 if @xmath90 is constant ( which happens when @xmath30 has constant scalar curvature ) , this becomes @xmath91    next , consider @xmath92 and @xmath14 on the endomorphism level , so that @xmath93 using this and the endomorphism inner product @xmath94 , we have @xmath95 now , combining this with gives @xmath96      we now use the various formulas above to rewrite the linearized operator @xmath10 , and describe some sufficient conditions for linear stability .
define the quadratic form @xmath97    let @xmath6 be a ricci soliton with constant scalar curvature .
the following condition implies that @xmath30 is strictly linearly stable : @xmath98 when @xmath30 is @xmath32-einstein , this condition is @xmath99    the linearization is @xmath100 using and , we have @xmath101 the curvature terms are exactly @xmath102 , and since we want @xmath103 , the result follows .    in the einstein case ,
the condition for linear stability is the same as the stability condition considered by koiso and others ; see @xcite or @xcite .
recall that a homogeneous metric has constant scalar curvature .
furthermore , in the case of an algebraic soliton on a simply connected solvable lie group @xmath104 with lie algebra @xmath38 , we have @xmath105 , where @xmath106 .
tracing this and comparing with the traced version of yields @xmath29 .
we also note that in the homogeneous case , we only need pointwise estimates
. therefore , we do nt need the ( integrated ) @xmath51 inner product , only a single inner product , so it suffices to consider @xmath107 .
[ cor : alg - stab - cond ] let @xmath108 be an algebraic ricci soliton .
the following condition implies that @xmath30 is strictly linearly stable : @xmath109    in estimating @xmath10 , one may not want to use the codazzi laplacian , in which case we use to get @xmath110 this gives another condition for stability , @xmath111 .
it has the advantage of only requiring estimates of the riemann curvature , but the estimates must be better than those for @xmath112 .
we also describe conditions for stability when the sectional curvature is bounded .
let @xmath6 be a ricci soliton with constant scalar curvature , and suppose that @xmath35 for some constant @xmath36 .
a sufficient condition for @xmath30 to be strictly linearly stable is that @xmath113 or @xmath114 in the case of an algebraic soliton .
select an orthonormal basis that diagonalizes @xmath14 and consider the ( unintegrated ) operator @xmath102 .
@xmath115 now , we use above .
@xmath116 we want this to be less than zero , so the result follows .
if we take @xmath117 , then the condition reduces to @xmath118 or @xmath119 .
also , we can allow for @xmath120 by using the inequality @xmath121 .
the condition then becomes @xmath122 but it is not clear how useful this is .
simply connected solvable lie groups provide a rich class of non - compact spaces that often admit ricci solitons and einstein metrics .
indeed , as mentioned above , all known examples of non - compact homogeneous expanding ricci solitons can be realized as left - invariant metrics on solvable lie groups .
building on the work of heber @xcite , lauret has exploited the algebraic structure of these spaces to prove many powerful results regarding these metrics .
before we state these results , recall that , given a lie algebra @xmath40 with @xmath123 , the semi - direct product @xmath124 has the bracket structure @xmath125 = 0 , \qquad   [ a , b ] = 0 , \qquad   [ a , x ] = a(x),\ ] ] for all @xmath126 , @xmath127 . also recall that the _ mean curvature vector _ of a metric lie algebra @xmath124 is @xmath128 such that @xmath129 for all @xmath130 .
[ thm : lauret ]    *   * let @xmath131 be a nilsoliton with ricci operator @xmath132 , @xmath22 and @xmath133 . consider an abelian subalgebra @xmath134 of @xmath135-symmetric derivations of @xmath40 .
then the simply connected solvmanifold @xmath104 with lie algebra @xmath136 has an inner product @xmath137 that is a solvsoliton with @xmath105 .
this inner product satisfies @xmath138 and the derivation @xmath106 satisfies @xmath139 where @xmath140 is the mean curvature vector of @xmath141 .
furthermore , the inner product is einstein if and only if @xmath142 , or equivalently , @xmath143 . *
all solvsolitons are of the form described in ( a ) , with @xmath144 $ ] .
* let @xmath104 and @xmath145 be two solvsolitons which are isomorphic as lie groups
. then @xmath104 is isometric to @xmath145 up to scaling .
this essentially says that nilsolitons are the nilpotent parts of solvsolitons .
in particular , given a nilsoliton metric on a nilpotent lie algebra @xmath40 , it is always possible to construct a one - dimensional extension of @xmath40 that admits an einstein metric .
we can form the solvable lie algebra @xmath146 , where @xmath27 is the nilsoliton derivation , and its einstein metric is the one described in part ( a ) of the theorem .    our goal in this section is to relate the linear stability of a left - invariant @xmath32-einstein metric on a solvable lie group @xmath104 with that of the corresponding nilsoliton in the case of a codimension - one nilradical @xmath147 .
namely , we suppose that the einstein metric satisfies the condition of proposition [ prop : stab - conds ] : @xmath148 .
then we then use this to estimate the spectrum of the operator @xmath112 on the nilradical .
this comes down to comparing the eigenvalues of the soliton derivation to its trace .
note again that all estimates are pointwise as the fixed - point metrics are homogeneous .
also note that the einstein metric will be a fixed point of the flow @xmath149 for metrics on @xmath104 , and the nilsoliton is a fixed point of the flow for metrics on @xmath147 : @xmath150    in terms of notation , geometric quantities on @xmath38 will not have subscripts , but those on @xmath40 or @xmath134 will .
suppose that @xmath151 and @xmath152 , and let @xmath153 be an orthonormal basis of @xmath49 and let @xmath154 , @xmath155 , and @xmath156 . in this section , we will use roman indices for elements of @xmath40 , greek indices for elements of @xmath134 .
recall that the covariant derivative corresponding to a left - invariant metric is given by @xmath157 where @xmath158 , see @xcite .
write @xmath159 for the orthogonal projection of @xmath160 onto @xmath134 . using that @xmath161 , @xmath162 , and @xmath163 , it is easy to see that @xmath164 the riemann curvature tensor satisfies @xmath165 } v , w \rangle.\ ] ] using this and , @xmath166,z),a \rangle \\ r(x , y , z , w ) & = r_{\ensuremath \mathfrak{n}}(x , y , z , w ) \\
& \quad + \langle { \ensuremath \mathrm{pr}}_{\ensuremath \mathfrak{a } } \sigma(x , z),{\ensuremath \mathrm{pr}}_{\ensuremath \mathfrak{a } } \sigma(y , w ) \rangle          - \langle { \ensuremath \mathrm{pr}}_{\ensuremath \mathfrak{a } } \sigma(y , z),{\ensuremath \mathrm{pr}}_{\ensuremath \mathfrak{a } } \sigma(x , w ) \rangle .
\end{aligned}\ ] ] the ricci curvature ( see also ( * ? ? ?
* lemma 1.4 ) or ( * ? ? ?
* lemma 4.4 ) ) is @xmath167    since we re ultimately interested in the operators @xmath34 and @xmath112 , we calculate @xmath168 and @xmath169 .
the idea is to exploit the product structure of the algebra .
first , note that a symmetric 2-tensor has the form @xmath170 and @xmath171 we use capital roman letters to refer to indices ranging over both @xmath172 ( from @xmath40 ) and @xmath173 ( from @xmath134 ) , that is , @xmath174 .
then summing over repeated indices , @xmath175 and @xmath176 these types of expansions will also appear later in the paper .
let @xmath177 be @xmath32-einstein and suppose that @xmath178 for all symmetric 2-tensors @xmath179 on @xmath38 . by corollary [ cor : alg - stab - cond ] , the metric is strictly linearly stable .
suppose further that @xmath38 has a codimension - one nilradical @xmath40 , which admits a nilsoliton by theorem [ thm : lauret ] .
we want to show that @xmath180 , where @xmath14 now lives on @xmath40 .
such an @xmath14 can be thought of as a certain type of tensor on @xmath38 , where @xmath181 for all @xmath182 , @xmath126 .
this will allow us to use the estimate for @xmath168 .
we begin with an observation about the quantity @xmath159 .
[ lem:1-dim - d ] let @xmath183 be a nilsoliton with @xmath105 .
consider the 1-dimensional einstein extension @xmath184 , where @xmath185 .
then we have @xmath186    let @xmath187 be a unit vector spanning @xmath134 , so that @xmath188 for some @xmath189 to be determined , and let @xmath127 . the decomposition of the covariant derivative from involves the quantity @xmath159 , which in this case is essentially the second fundamental form , @xmath190 , thought of as a real - valued bilinear map .
we compute @xmath191 this means that on the endomorphism level , @xmath192 . to find @xmath193
, we use the form of the metric on @xmath134 as in theorem [ thm : lauret ] ( a ) : @xmath194 and since @xmath195 , we have @xmath196 . the desired formula follows .
now , using together with and the lemma , it is not hard to compute @xmath197 similarly , from , , and the lemma we obtain @xmath198    now we can prove the main result of this section .
let @xmath38 be a solvable lie algebra with codimension - one nilradical @xmath39 $ ] .
if a @xmath32-einstein metric on @xmath38 satisfies @xmath199 for all symmetric 2-tensors @xmath14 , then a sufficient condition for the nilsoliton on @xmath40 to be strictly linearly stable is that @xmath41 where @xmath42 are the eigenvalues of the nilsoliton derivation @xmath27 .
our assumption on @xmath137 says that @xmath200 , and we want to show that @xmath201 . using and it is easy to see that @xmath202 therefore , we need to show that @xmath203    select an orthonormal basis of @xmath40 such that @xmath27 is diagonalized , with ( positive ) diagonal entries @xmath204 .
then we have @xmath205 the first inequality uses the arithmetic / geometric mean inequality . for the second inequality to hold ,
it is enough for the following two inequalities to hold : @xmath206 we rewrite as follows : @xmath207 this is equivalent to one the following statements @xmath208 or @xmath209 the second condition in the first statement is never satisfied , since @xmath210 for all @xmath211 , so we consider the second statement .
the inequalities there can be rewritten @xmath212 and the second is always satisfied .
therefore is equivalent to @xmath213 .
now , notice that follows from : @xmath214      here we verify the last statement in theorem [ thm : stab - all ] by applying corollary [ cor : alg - stab - cond ] and observing that @xmath112 and @xmath27 vary continuously as we vary the lie structure of the underlying solvable lie group . in all of the following ,
we normalize our soliton metric by fixing the soliton constant @xmath32 appearing in the equation @xmath215 .
consider a nilpotent lie algebra @xmath40 which admits a nilsoliton metric .
as described in theorem [ thm : lauret ] , for any abelian subalgebra @xmath134 of symmetric derivations , the solvable lie algebra @xmath216 admits a solvsoliton .
further , the solvsoliton derivation @xmath27 on @xmath38 satisfies @xmath217 where @xmath140 is the mean curvature of @xmath38 and @xmath218 is the soliton derivation of @xmath40 .
the metric on @xmath38 is einstein precisely when @xmath219 .    to see more precisely how a choice of abelian subalgebra of symmetric derivations effects the resulting solvsoliton , we recall a corollary of lauret s theorem ; see , e.g. , @xcite .
let @xmath220 denote symmetric linear maps on @xmath40 , with respect to the nilsoliton metric .
define the _
rank _ of the nilpotent lie algebra to be @xmath221 , where @xmath222 is a maximal abelian subalgebra .
[ prop : sol - space ] let @xmath223 .
the moduli space of @xmath224-dimensional solvsoliton extensions of @xmath40 , up to isometry and scaling , is parametrized by @xmath225 where @xmath226 is the weyl group of @xmath227 .
note that when @xmath228 or @xmath229 the moduli space is a point consisting of the original nilsoliton in the former case , or a single einstein metric in the latter .
now we consider changing @xmath230 , which amounts to moving within the grassmannian @xmath231 .
the mean curvature vector @xmath128 , which satisfies @xmath129 for all @xmath232 , can be alternately described as the unique vector @xmath128 that solves @xmath233 from this and we see that the solvsoliton derivation @xmath27 of @xmath38 depends continuously on @xmath134 .
we also observe that the geometric quantities @xmath34 and @xmath25 depend continuously on @xmath134 , since these quantities are completely determined by the structure constants of the lie algebra , which are determined by @xmath134 and @xmath40 ; see subsection [ subsec : solv - curv ] .
hence , @xmath112 also depends continuously on @xmath134 .
finally , suppose that the soliton on @xmath49 satisfies the condition of corollary [ cor : alg - stab - cond ] .
as long as @xmath234 , the condition of corollary [ cor : alg - stab - cond ] is preserved under sufficiently small perturbations of @xmath134 .
the result is an open set in @xmath231 of stable metrics . taking the quotient by the finite group @xmath226
, we have an open set of stable metrics in the moduli space of solvsoliton extensions of @xmath40 .
consider an abelian nilsoliton @xmath40 , which we identify with @xmath235 through an orthonormal basis @xmath236 . since the metric is flat , @xmath237 and we may choose any @xmath22 as the soliton constant .
if we pick @xmath238 , then the soliton derivation is @xmath239 . strict linear stability of these solitons follows from corollary [ cor : alg - stab - cond ] , since @xmath240 when @xmath241 .
solvable extensions of abelian nilpotent lie groups are called two - step solvable lie groups .
for example , real hyperbolic space is obtained by adjoining to @xmath235 the 1-dimensional algebra spanned by the identity map ( which is a derivation ) .
similarly , any other linear map yields a two - step solvable space admitting a solvsoliton . using [ prop :
sec - stab ] , we construct an open set of strictly linearly stable two - step solvsolitons .      as described in see ( * ? ? ? * section 3.1 ) , the algebra of derivations of @xmath40 is @xmath242 , and with respect to the chosen orthonormal basis , a maximal abelian subalgebra @xmath243 is the @xmath244-dimensional space of all diagonal matrices .
a choice of a subalgebra @xmath245 defines a solvsoliton extension of @xmath40 that is unique up to the action of the symmetric group @xmath246 on @xmath247 ( which permutes diagonal entries ) .
solvsoliton extensions of @xmath40 are therefore parametrized by the union of the spaces @xmath248 , where @xmath249 is the dimension of @xmath134 . when @xmath250 this space is @xmath251 , and when @xmath252 or @xmath253 this space is a point consisting of only the nilsoliton or an einstein metric , respectively .
select a subalgebra @xmath245 of dimension @xmath254 , which we describe with an orthonormal basis @xmath255 consisting of diagonal matrices : @xmath256 ( as before , roman indices will refer to vectors in @xmath257 and greek to vectors in @xmath134 ) . by theorem [ thm : lauret ]
, we get a solvsoliton metric on @xmath258 that makes @xmath235 and @xmath134 orthogonal , and on elements of @xmath134 it is given by @xmath259 in particular , we have @xmath260    the lie algebra structure on @xmath261 is the semi - direct product , so we have the bracket relations described in . in terms of structure constants , we have @xmath262 from this we can compute the transposes of the adjoint maps . for example , @xmath263    the mean curvature vector is @xmath128 such that @xmath129 for all @xmath130 . from this
it is easy to compute that @xmath264 and so @xmath265 its adjoint satisfies @xmath266 this means @xmath267 is diagonal in any orthonormal basis , and the diagonal entries are @xmath268 or @xmath269 .
we also have that @xmath270 we can say more about this quantity .    [
lem : abelian - norm - h ] the mean curvature vector corresponding to a two - step solvsoliton satisfies @xmath271 , with equality if and only if the metric is einstein .
think of elements of the orthonormal basis @xmath272 as column vectors and put them into a matrix @xmath187 ( which satisfies @xmath273 , by ) .
next , complete this basis to an orthonormal basis of the @xmath244-dimensional maximal abelian subalgebra @xmath247 .
adding these new columns to @xmath187 , we get a matrix @xmath274 .
then @xmath275 and so @xmath276 summing over @xmath211 and @xmath277 we get @xmath278 this implies that @xmath271 .    noting that the nilsoliton derivation @xmath279 is represented by the vector @xmath280
the above calculation also gives us the following equivalent statements .
@xmath281 by theorem [ thm : lauret ] ( a ) , this happens if and only if the extension is einstein .
we want to compute the curvatures of @xmath38 , so recall the formulas from section [ sec : extensions ] .
since @xmath282 is abelian , we have that @xmath283 for all @xmath127 . also recall that @xmath284 , and that @xmath159 is the orthogonal projection of @xmath160 onto @xmath134 . using the above formulas , it is easy to see that @xmath285 now ,
using this and , we calculate the riemann curvatures .
@xmath286    now , let @xmath1 and @xmath287 be a pair of orthonormal vectors in @xmath38 .
we will compute the sectional curvature @xmath288 in a manner similar to , with similar cancellations .
first , we introduce the short - hand notation @xmath289 now , sum over all repeated indices .
@xmath290 we will use this to prove the main result of this section .    [
prop : abelian - sec ] there is an open set of strictly linearly stable solvsolitons whose nilradicals have codimension one , are abelian , and have dimension two or greater .
when @xmath250 , the above curvature formula reduces to @xmath291 where @xmath269 refers to the @xmath134-component of the vectors . clearly , if @xmath292 then the sectional curvature is non - positive .
since @xmath293 satisfies @xmath294 , we may think of @xmath187 as an element of the unit sphere @xmath295 .
the set of @xmath187 satisfying contains an open set on @xmath295 .
as mentioned above , the moduli space of non - isometric solvsolitons is parametrized by @xmath251 .
so , after taking the quotient of @xmath295 by several finite groups , we still have an open set of non - positively curved solvsolitons in the moduli space . from theorem [ thm : lauret ] ,
the soliton derivations satisfy @xmath296 , which is positive in the non - einstein case by lemma [ lem : abelian - norm - h ] .
the single einstein metric has negative curvature ; see the next subsection .
therefore , each metric in this set is stable by proposition [ prop : sec - stab ] .
here we describe some properties of two - step solvable einstein metrics .
of particular interest are examples of metrics for which both corollary [ cor : alg - stab - cond ] and proposition [ prop : sec - stab ] fail to give stability .
let @xmath152 , with @xmath297 .
the solvsoliton extension of @xmath235 is determined by @xmath134 , independent of any basis . in the einstein case
, we can always pick a basis of @xmath134 such that @xmath298 ( normalized as in lemma [ lem:1-dim - d ] ) , and @xmath299 for @xmath300 .    when @xmath250 , the extension is real hyperbolic space @xmath301 and the matrix we adjoin is @xmath302 . taking this a bit further , we see that every two - step solvable einstein metric is an extension of an abelian algebra by a hyperbolic space .
indeed , @xmath303 is an ideal in @xmath261 , so we have a short exact sequence : @xmath304    when @xmath305 , the hyperbolic space @xmath301 has constant negative curvature , so it is stable by proposition [ prop : sec - stab ] . when @xmath306 , one can check that @xmath43 is only weakly linearly stable .
compact quotients of this space are dynamically stable , however , and proving this requires more detailed analysis of the null - space of the operator in [ eq : cnrf - lin ] ; see ( * ? ? ?
* lemma 5 ) .    also , by ( * ? ? ?
* theorem 3 ) , a metric with strictly negative curvature must have @xmath307 , so hyperbolic spaces are the only two - step solvable einstein metrics with strictly negative curvature .    [
ex : hyp - prod ] when @xmath253 , it is convenient to represent the basis of @xmath134 as a matrix as in the proof of lemma [ lem : abelian - norm - h ] . in this case
we take @xmath308 .
it is not hard to see that the resulting @xmath309-dimensional space is isometric to the @xmath244-fold riemannian product @xmath310 this space is einstein with @xmath238 .
one can compute the eigenvalues of @xmath34 and see that the largest is in fact @xmath311 , so we only have weak linear stability , as with @xmath43 .    note that by ( * ? ? ?
* proposition 2.1 ) , any two - step solvable einstein metric that has non - positive sectional curvature will be a product of @xmath254 real hyperbolic spaces .
let us consider two more concrete metrics .
let @xmath312 and @xmath313 , and consider the following matrix @xmath187 describing the basis for @xmath134 ( again as in the proof of lemma [ lem : abelian - norm - h ] ) .
@xmath314 the resulting einstein metric does not satisfy the conditions of either corollary [ cor : alg - stab - cond ] or proposition [ prop : sec - stab ] .
indeed , using one can see that @xmath315 one can also see easily that the sectional curvatures have mixed sign .
we note that taking @xmath187 to be only the first two columns yields a soliton that is stable according to corollary [ cor : alg - stab - cond ] .
thinking of the soliton above as a 1-dimensional extension of this one , we see that a converse of proposition [ prop : ext - stab ] can not always hold , at least in the non - nilpotent case .
next , let @xmath316 this gives a non - einstein solvsoliton with @xmath238 and @xmath317 so that @xmath318 .
again , the condition of corollary [ cor : alg - stab - cond ] is not satisfied , since @xmath319 it is also easy to see that the sectional curvature has mixed sign , so that proposition [ prop : sec - stab ] does not apply .    taking any 1-dimensional extension of this example will yield an einstein metric as in example [ ex : hyp - prod ] , meaning it is possible to `` improve '' the spectrum of @xmath112 under extensions .
in this section , we prove that all two - step nilsolitons are strictly linearly stable .
the idea is to use corollary [ cor : alg - stab - cond ] and extra information from the two - step nilpotent structure .
let @xmath40 be a two - step nilpotent lie algebra .
suppose that @xmath320 $ ] has dimension @xmath70 , and let @xmath321 be a complementary subspace of dimension @xmath322 , so that @xmath323 and @xmath324 . the dimensions @xmath70 and @xmath322 must satisfy @xmath325    suppose that @xmath40 has an inner product @xmath137 such that @xmath326 .
we obtain a homomorphism of @xmath327-algebras , @xmath328 , which is defined implicitly by the relation @xmath329 \rangle\ ] ] for all @xmath330 and @xmath331 .
each map @xmath332 is therefore skew - symmetric .
the map @xmath328 is called the _ j - map_.    [ ex : heis - def ] we call a two - step nilpotent metric lie algebra @xmath40 a _ generalized heisenberg algebra _ if @xmath333 for all @xmath331 , or equivalently if @xmath334 for all @xmath335 .
the unique simply connected lie group @xmath147 with lie algebra @xmath40 is then called a _ generalized heisenberg group_. these spaces were introduced by a.  kaplan @xcite ; see also @xcite .
if @xmath336 is the quadratic form on @xmath337 induced by the inner product ( that is , @xmath338 ) , then condition implies that @xmath339 extends to a representation of the clifford algebra @xmath340 on @xmath321 .
it is not hard to see that the converse is true , namely , that every representation of a clifford algebra corresponds to a generalized heisenberg algebra .
the classification of clifford algebras therefore provides a classification of generalized heisenberg algebras .
[ ex : free-2step - def ] let @xmath341 be a semi - simple lie algebra , and let @xmath342 be a faithful representation
. then we can give @xmath343 the structure of a two - step nilpotent metric lie algebra as follows .
first , give @xmath344 an inner product such that each @xmath345 is skew - symmetric , give @xmath341 an @xmath346-invariant inner product , and declare that the summands @xmath344 and @xmath341 are orthogonal .
now , the bracket structure is determined as in equation .
a special case is the usual representation of @xmath347 on @xmath344 .
we call the resulting algebra the _ free two - step nilpotent lie algebra on @xmath322 generators _ and write @xmath348 .
this means @xmath349 .
the ricci tensor of a two - step nilpotent metric lie algebra @xmath350 is _ optimal _ ( in the sense of @xcite ) if @xmath351 for some @xmath352 .
it is easy to see that metrics with optimal ricci tensors are nilsolitons .
in fact , using the remarks following propositions 7.3 and 7.4 in @xcite , the constant @xmath353 can be eliminated : @xmath354 and @xmath355 .
the nilsoliton metrics on generalized heisenberg algebras and free two - step nilpotent algebras all have optimal ricci tensors ; see subsections [ subsec:3step - heis ] and [ subsec:3step - free ] for more information .
it turns out that the property of having optimal ricci tensor is equivalent to being a nilsoliton with eigenvalue type @xmath356 , which means that the eigenvalues of the nilsoliton derivation are @xmath311 and @xmath62 ( perhaps after rescaling ) .
this property is `` generic '' among two - step nilpotent metric lie algebras in a specific sense ; see ( * ? ? ?
* proposition 7.9 ) or ( * ? ? ?
* theorem 4 ) .
we use the results of eberlein @xcite to describe the riemann curvature tensor on a two - step nilpotent lie group @xmath323 .
let @xmath357 be an orthonormal basis for @xmath40 , with @xmath358 and @xmath359 .
now we will use roman indices for elements of @xmath40 and greek indices for elements of @xmath337 .
the ( non - zero ) riemann , sectional , and ricci curvatures are @xmath360,[w , w ' ] \rangle                  + { { \textstyle{\frac{1}{4 } } } } \langle [ u , w],[v , w ' ] \rangle                  -{{\textstyle{\frac{1}{4 } } } } \langle [ u , w'],[v , w ] \rangle \\ r(u , v , x , y )   & = { { \textstyle{\frac{1}{4 } } } } \langle j_x u , j_y v \rangle                 - { { \textstyle{\frac{1}{4 } } } } \langle j_x v , j_y u \rangle \\ r(u , x , v , y ) & = -{{\textstyle{\frac{1}{4 } } } } \langle j_x v , j_y u \rangle \end{aligned}\ ] ] @xmath361|^2 & & & \operatorname{rc}(u , v ) & = { { \textstyle{\frac{1}{2 } } } } \sum_\alpha \langle j_\alpha^2 u , v \rangle \\ \sec(u , x ) & = { { \textstyle{\frac{1}{4 } } } } |j_x u|^2   & & & \operatorname{rc}(x , y ) & = - { { \textstyle{\frac{1}{4 } } } } \operatorname{tr}(j_x \circ j_y)\end{aligned}\ ] ] for all @xmath362 and @xmath363
. in terms of structure constants , the ricci curvatures are @xmath364 and , recalling that @xmath25 is negative - definite on @xmath321 and positive - definite on @xmath337 , we define for @xmath365 and @xmath331 , @xmath366    [ lem:2step - ric - est ] when @xmath40 is a two - step nilsoliton of type @xmath367 , rescaled so that @xmath368 , we have @xmath369 be a simply - connected lie group with a left - invariant metric . as the group acts by isometries on itself , all of the geometry is encoded in a single tangent space with inner product .
we take the lie algebra @xmath370 of @xmath371 to be our tangent space of interest and write it as @xmath372 , where @xmath373 denotes the lie bracket on the underlying vector space @xmath374 .
we denote the inner product on this vector space by @xmath375 .
( we choose our identification of @xmath376 with @xmath374 so that the ` standard basis ' is orthonormal relative to our fixed inner product on @xmath376 . )
we study @xmath371 and @xmath376 by viewing the lie bracket @xmath373 as an element of the space @xmath377 of ( anti - symmetric ) algebra structures on @xmath374 .
this perspective has proven very effective for working with nilsolitons , cf .
@xcite . for the sake of consistency and ease of referencing , we hold closely to the notation used by lauret .
take @xmath378 to be the standard basis of @xmath374 and denote by @xmath379 the element of @xmath380 which is dual to @xmath381 .
then @xmath382 is a basis for @xmath287 .
the element @xmath383 is the element such that , when evaluated on basis vectors of @xmath374 , we have @xmath384 and zero otherwise .
we define an inner product on @xmath287 such that the above basis is orthonormal .
recall that the vector space @xmath287 comes naturally equipped with an action @xmath385 of @xmath386 defined by @xmath387 where @xmath388 , @xmath389 , and @xmath390 .
as we will see , the basis @xmath391 of @xmath287 actually consists of weight vectors for this representation .    in the following ,
we equip @xmath386 with the inner product @xmath392 . then for a diagonal matrix @xmath393
, we have @xmath394 where @xmath395 and @xmath396 is the matrix with a 1 in the @xmath397 position along the diagonal and zero elsewhere .
thus the diagonal matrices @xmath398 are the weights of the representation ( relative to the inner product that we have fixed on @xmath386 ) .    for a given element @xmath399 , we write @xmath400 .
when @xmath373 is a lie algebra structure on @xmath374 , we see that the @xmath401 are the usual structure constants which satisfy @xmath402 .
let @xmath399 be a nilpotent lie algebra structure on @xmath374 .
as discussed above , the metric lie algebra @xmath403 corresponds to a simply - connected lie group with left - invariant metric which we denote by @xmath404 .
denote the ricci and scalar curvatures of @xmath404 by @xmath405 and @xmath406 , respectively . in terms of the norm on @xmath287
given above , we have @xmath407 and , further , @xmath408 where @xmath409 is the moment map of the representation , which is defined by @xmath410 for all @xmath388 .
now let @xmath404 be a nilsoliton , so that @xmath411 for some @xmath412 and @xmath27 a derivation of the lie algebra @xmath413 .
first observe that @xmath373 is an eigenvector of @xmath405 with eigenvalue @xmath414 .
( this follows from the fact that @xmath415 , as @xmath27 is a derivation , and @xmath416 acts by @xmath417 . )
we may assume that the ricci tensor is diagonal with respect to @xmath378 and , encoding the previous statement using the weights of our representation , we have @xmath418 now applying the definition of the moment map given above , we also see that @xmath419 from which we obtain @xmath420 .
if we normalize so that @xmath421 , we see that @xmath422 and so @xmath423 .
this yields @xmath424    finally we consider the case of interest , namely when @xmath373 is 2-step nilpotent . from @xcite
, we know @xmath405 preserves the commutator subalgebra @xmath425 ( and also its orthogonal complement ) .
furthermore , the eigenvalues of @xmath405 on the commutator subalgebra @xmath425 are positive and non - positive on its orthogonal compliment .
applying we see that @xmath426 for any eigenvalue @xmath427 of @xmath405 and so we have .    for , recall that for any nilsoliton , we have @xmath428 for @xmath429 such that @xmath430 .
as the @xmath398 are all of the same length , this implies that @xmath405 is the minimal convex combination of @xmath431 , i.e. the element of minimal length in the convex combination .    from this
, we see that @xmath432 is greater than or equal to the minimal convex combination of all the @xmath398 such that @xmath433 and @xmath434 .
we denote said minimal convex combination by @xmath435 and observe that it satisfies @xmath436 for all @xmath429 such that @xmath433 and @xmath434 . by fixing any two of @xmath437 and varying the third , and applying , we see that @xmath438 now implies @xmath439 as @xmath435 is a convex combination of the @xmath398 , and each @xmath398 has trace @xmath417 , we have @xmath440 from these two equations , we see that @xmath441 and thus @xmath442 .
this means @xmath443      our goal is to estimate the eigenvalues of the operator @xmath444 .
namely , according to corollary [ cor : alg - stab - cond ] , we want to show that @xmath445 , where @xmath14 is any symmetric 2-tensor .
these tensors have the same form as in .    for @xmath112
, we will consider the riemann and ricci parts separately . a computation similar to shows that @xmath446 assume that the orthonormal basis of @xmath40 is chosen so that the variation @xmath14 is diagonal on @xmath447 and on @xmath448 .
( we can not assume that @xmath14 has any special form on @xmath449 . )
then the first term is @xmath450|^2 \\ & = { { \textstyle{\frac{3}{4 } } } } \sum_{i } h_{ii}^2 \sum_{j\alpha } ( c_{ij}^\alpha)^2   = { { \textstyle{\frac{3}{4 } } } } \sum_{i } h_{ii}^2 \ , 2 |r_{ii}| \\ &
\leq { { \textstyle{\frac{3}{2 } } } } \rho_{- } \sum_{i } h_{ii}^2 \end{aligned}\ ] ] where the first inequality uses the arithmetic / geometric mean inequality .
the middle term is @xmath451 and last term is @xmath452    for the ricci part of @xmath112 , we assume that the orthonormal basis of @xmath40 is chosen such that the ricci operator is diagonal . then , as in , @xmath453 noticing that the right - hand expression in is invariant under change of orthonormal basis , we combine the above calculations to obtain @xmath454    we now have another criterion for stability of nilsolitons in the two - step case .    [ prop:2step - stab - cond ] a two - step nilsoliton is strictly linearly stable if all of the following hold .
@xmath455    we now use this to prove the main result of this section .
[ prop:2step - stab ] every two - step nilsoliton is strictly linearly stable .
we will use proposition [ prop:2step - stab - cond ] and the results of lemma [ lem:2step - ric - est ] . as in the lemma , we normalize so that @xmath456
. first , we have @xmath457 and we can rewrite the trace of @xmath27 as @xmath458 also , implies that @xmath459    by , for the first two conditions in proposition [ prop:2step - stab - cond ] to be satisfied it is enough that @xmath460 using , it is therefore enough to show that @xmath461 similarly , for third condition in proposition [ prop:2step - stab - cond ] to be satisfied it is enough that @xmath462 again using , it is enough to show that @xmath463 one other condition is the restriction on the dimensions of @xmath321 and @xmath337 from before , @xmath464 which must hold for any two - step nilpotent lie algebra . as @xmath465
, one can rewrite conditions , , and as @xmath466 the curves from the first two conditions intersect at @xmath467 , and the second and third intersect at @xmath468 ; see figure [ fig:2step ] , where the solid line represents the third inequality . from this , it is not difficult to see that all pairs @xmath367 satisfy these three conditions simultaneously , except those of the form @xmath356 , @xmath469 , and @xmath470 .
but these satisfy @xmath471 and are covered in section [ sec : low - dim ] .
-plane corresponding to conditions , , and , and the three types @xmath356 , @xmath469 , @xmath470 not satisfying those conditions.,scaledwidth=80.0% ]
let @xmath38 be a three - step solvable lie algebra .
that is , @xmath472 = { \ensuremath \mathfrak{v } } \oplus { \ensuremath \mathfrak{z}}$ ] is two - step nilpotent , and @xmath49 where @xmath134 is abelian .
assume that @xmath473 ( as in the previous section ) and that @xmath134 is one - dimensional ( as in the construction following theorem [ thm : lauret ] ) . the goal of this section is to prove that einstein metrics on certain spaces of this form are linearly stable .
[ prop : stab - solv - heis - free ] let @xmath38 be a solvable lie algebra whose nilradical is codimension - one , and either a generalized heisenberg algebra or a free two - step nilpotent lie algebra .
then the natural einstein metric on @xmath38 is strictly linearly stable .
the idea is to use corollary [ cor : alg - stab - cond ] , which means we must understand the operator @xmath34 on the relevant spaces .
the analysis similar in spirit to that in the previous section , but more complicated due to the added complexity of the solvable spaces involved .
let @xmath475 be an orthonormal basis for @xmath38 , with @xmath358 , @xmath359 , and @xmath130 .
we will use capital roman indices for elements of @xmath40 , lowercase roman indices for elements of @xmath321 , greek indices for elements of @xmath337 , and 0 as the index for @xmath134 .    with respect to this basis ,
let us describe the riemann curvature .
writing @xmath476 to mean @xmath477 , here are all the curvature components sorted according to the number of indices from @xmath321 , @xmath337 , and @xmath134 .
nilpotent lie groups admitting nilsoliton metrics have been completely classified in low dimensions ; a list of nilsolitons in dimensions up to six appears in @xcite ( progress has also been made in dimensions 7 and 8 @xcite ) . in this section ,
we show that all such nilsolitons are linearly stable , and each has a one - dimensional einstein extension ( described following theorem [ thm : lauret ] ) that is linearly stable as well .
see tables [ table : solitons ] and [ table : solitons2 ] for a list of these nilsolitons ( as described in @xcite ) , which includes the dimension , step , soliton constant , trace of the soliton derivation , and largest eigenvalue of the operator @xmath112 .
the tables also includes the largest eigenvalue of the operator @xmath34 for each 1-dimensional solvable einstein extension .
the method to determine stability is to use corollary [ cor : alg - stab - cond ] and see that the required bounds on the relevant operators are indeed satisfied . using a computer algebra system , it is possible to input the structure constants for a lie algebra and from them calculate all related geometric quantities
. in particular , with respect to an orthonormal basis for the space of symmetric 2-tensors , one can describe @xmath34 and @xmath112 as matrices and calculate their respective eigenvalues .
while the eigenvalues in tables [ table : solitons ] and [ table : solitons2 ] are only approximate , they can be described to great precision as roots of characteristic polynomials .
[ prop : low - dim ] each nilsoliton metric on a nilpotent lie algebra of dimension six or less is strictly linearly stable .
each einstein metric on the corresponding 1-dimensional extension is strictly linearly stable .
[ ex : mu11 ] here we consider the 6-dimensional algebra listed as # 11 in table [ table : solitons2 ] .
this does appear in the classifications in @xcite , but the explicit nilsoliton is incorrect ; see ( * ? ? ? * remark 5.3 ) .
what follows is an alternate description .    with respect to an orthonormal basis @xmath478
, the non - zero structure constants are @xmath479 & = x_4   & & &   [ x_1,x_4 ] & = x_5   & & &   [ x_1,x_5 ] & = x_6 \\ [ x_2,x_3 ] & = x_6   & & &   [ x_2,x_4 ] & = x_6   & & &   \end{aligned}\ ] ] represent this structure as @xmath480 , where @xmath481 is the variety of 6-dimensional nilpotent bracket structures .
the ricci tensor is @xmath482 consider @xmath483 so that under the action of @xmath484 on @xmath485 given by @xmath486 we have an isomorphic lie algebra @xmath487 whose non - zero structure constants are @xmath479 & = \frac{3}{5 } \sqrt{\frac{3}{2 } } x_3   + \frac{3}{10 } x_4 & & &   [ x_1,x_3 ] & = \frac{3}{\sqrt{10 } } x_5 & & & [ x_1,x_5 ] & = \frac{3}{5 } \sqrt{\frac{3}{2 } } x_6 \\ [ x_2,x_3 ] & = \frac{3}{10 } x_6 & & & [ x_2,x_4 ] & = \frac{3}{5 } \sqrt{\frac{3}{2 } } x_6 \end{aligned}\ ] ] this new bracket representation results in a diagonal ricci tensor , and one can check that the soliton derivation and constant are as follows : @xmath488 the maximum eigenvalues of q ( and of @xmath34 for the one - dimensional einstein extension ) can now be computed , and appear in table [ table : solitons2 ] .
[ ex : jorgescurve ] lauret has produced a curve of pairwise non - isometric @xmath489-dimensional einstein solvmanifolds @xcite that depend on a parameter @xmath490 . with respect to an orthonormal basis @xmath491 , the corresponding codimension - one nilradical has lie bracket relations @xmath479 & = ( 1-t)^{1/2 } x_3   & & &   [ x_2,x_3 ] & = x_5 \\ [ x_1,x_3 ] & = x_4               & & &   [ x_2,x_4 ] & = x_6 \\ [ x_1,x_4 ] & = t^{1/2 } x_4       & & &   [ x_2,x_5 ] & = t^{1/2 } x_7 \\ [ x_1,x_5 ] & = x_6               & & &   [ x_3,x_4 ] & = ( 1-t)^{1/2 } x_7 \\ [ x_1,x_6 ] & = x_7               & & &   & \end{aligned}\ ] ]
this is a nilsoliton : @xmath492 note that these quantities do not depend on @xmath493 .
we can form the einstein extensions , and compute the curvatures numerically and see that the eigenvalues of @xmath494 are less than @xmath495 for each @xmath490 , so we have strict linear stability .
see figure [ fig : curve ] .
linear stability of the nilsolitons follows from proposition [ prop : ext - stab ] , since @xmath496      [ ex : nil3-solv - ext ] here we consider a family of non - einstein solvsolitons .
recall that for a given nilsoliton there is a moduli space of corresponding solvsoliton extensions , and will has described all such moduli spaces in low dimensions @xcite .
we consider the 1-parameter space of non - einstein solvsolitons constructed from @xmath498 , found in ( * ? ? ?
* section 4.1 ) . for @xmath499
, we have non - zero bracket relations @xmath479 = 3 \quad   [ a , x_1 ] = t x_1 \quad   [ a , x_2 ] = \sqrt{1-t^2 } x_2 \quad [ a , x_3 ] = ( t+\sqrt{1-t^2 } ) x_3 \end{aligned}\ ] ] and the solvsoliton metrics are given by @xmath500 one can compute all curvatures and see that for each @xmath493 , @xmath501 for all non - zero @xmath14 , so all solvsolitons are stable . see figure [ fig : nil3-moduli ] .