## EINSTEIN METRICS ON ALIGNED HOMOGENEOUS SPACES WITH TWO FACTORS

JORGE LAURET AND CYNTHIA WILL

Abstract. Given two homogeneous spaces of the form G /K 1 and G /K 2 , where G 1 and G 2 are compact simple Lie groups, we study the existence problem for G 1 × G 2 -invariant Einstein metrics on the homogeneous space M = G 1 × G /K 2 . For the large subclass C of spaces having three pairwise inequivalent isotropy irreducible summands (12 infinite families and 70 sporadic examples), we obtain that existence is equivalent to the existence of a real root for certain quartic polynomial depending on the dimensions and two Killing constants, which allows a full classification and the possibility to weigh the existence and non-existence pieces of C .

## Contents

| 1.         | Introduction               |   1 |
|------------|----------------------------|-----|
| 2.         | Aligned homogeneous spaces |   3 |
| 2.1.       | Definition                 |   4 |
| 2.2.       | Examples                   |   5 |
| 2.3.       | Reductive decomposition    |   6 |
| 2.4.       | Ricci curvature            |   7 |
| 3.         | Structural constants       |   8 |
| 4.         | Einstein metrics           |   9 |
| 4.1.       | K abelian                  |  12 |
| 4.2.       | K semisimple               |  13 |
| 5.         | The class C                |  17 |
| References | References                 |  20 |

## 1. Introduction

A major open problem in homogeneous Riemannian geometry asks which compact homogeneous spaces M = G/K admit a G -invariant Einstein metric. The necessary and/or sufficient conditions may be in terms of algebraic or Lie theoretical properties of G K , and the embedding K ⊂ G , as well as of topological properties of M . However, it is not actually clear what would be a satisfactory answer, if any. Only three main general sufficient conditions for existence are known, which were obtained by Wang-Ziller [WZ2] and B¨ ohm-Wang-Ziller [BWZ], B¨hm [B2] and Graev [G] in terms of, respectively, a graph, a o simplicial complex and a compact semialgebraic set (nerve), all attached to the space of intermediate subalgebras k ⊂ h ⊂ g and their flags (see [BK2] for a recent exposition on all these deep results).

Date : February 20, 2025.

This research was partially supported by three grants from, respectively, CONICET, Univ. Nac. de C´ ordoba and Foncyt (Argentina).

In this light, as proposed in [BK2], given a large class C of homogeneous spaces such that the above sufficient conditions do not hold for any member of C , one may try to find a necessary and sufficient condition for the existence of an invariant Einstein metric and ponder the existence and non-existence parts of C . What is more likely? This was done for the class of all homogeneous spaces with only two irreducible isotropy representation components in [WZ2, Theorem 3.1]: existence is equivalent to the existence of a real root for a quadratic polynomial whose coefficients depend on the dimensions of the irreducible components, one Killing constant and two Casimir constants. A complete classification was obtained in [DK], providing several non-existence examples as well as existence cases which do not satisfy any of the known sufficient conditions. Existence is highly likely when G is classical but it almost ties with non-existence for G exceptional. Two other classes, denoted by N &lt; and N &gt; were studied from this point of view in [B1, BK2], though a ponderation of the existence part is still missing.

In this paper, we consider compact semisimple Lie groups with two simple factors G = G 1 × G 2 and homogeneous spaces M = G/K such that K projects non-trivially on both factors. It is well known that the third Betti number b 3 ( M ) is therefore ≤ 1 (see [LW2]). We are interested in the case when b 3 ( M ) = 1, so called aligned homogeneous spaces (see [LW2, LW3]). For instance, the space SU( m ) × SU( m / ) U( ) k p,q has b 3 = 1 if and only if p = q (see Example 2.4). Algebraically, the aligned condition is equivalent to

$$\mathsf B _ { \mathfrak g } ( Z, Z ) = c _ { 1 } \, \mathsf B _ { \mathfrak g _ { 1 } } ( Z _ { 1 }, Z _ { 1 } ) = c _ { 2 } \, \mathsf B _ { \mathfrak g _ { 2 } } ( Z _ { 2 }, Z _ { 2 } ), \quad \forall Z = ( Z _ { 1 }, Z _ { 2 } ) \in \mathfrak k \subset \mathfrak g = \mathfrak g _ { 1 } \oplus \mathfrak g _ { 2 },$$

for unique positive numbers c 1 , c 2 such that 1 c 1 + 1 c 2 = 1 (see Definition 2.2 for an alternative equivalent algebraic condition in terms of the Killing constants B π i ( k j ) = a ij B g i of the different simple factors of k supporting the name aligned). Note that G/K is aligned as soon as K is simple or one-dimensional and that k is automatically isomorphic to its projection on g i for i = 1 2. ,

On each aligned space M n = G 1 × G /K 2 , a 3-parameter family of G -invariant metrics g = ( x , x 1 2 , x 3 ) can be defined in the usual way by using the B -orthogonal reductive g decomposition g = k ⊕ p and the B -orthogonal Ad( g K )-invariant decomposition

$$\mathfrak { p } = \mathfrak { p } _ { 1 } \oplus \mathfrak { p } _ { 2 } \oplus \mathfrak { p } _ { 3 }, \quad \text{where} \ \mathfrak { p } _ { 3 } = \left \{ \left ( Z _ { 1 }, - \frac { 1 } { c _ { 1 } - 1 } Z _ { 2 } \right ) \colon Z \in \mathfrak { k } \right \},$$

and p i , i = 1 2, is identified , with the subspace of g i coming from the B g i -orthogonal reductive decomposition g i = π i ( k ) ⊕ p i of the homogeneous space M n i i := G /π i i ( K ). Note that n = n 1 + n 2 + , where d d := dim K . The Ricci curvature of these metrics was computed in [LW3], they have 3 + t Ricci eigenvalues (2 + t if K is semisimple), where t is the number of simple factors of K (see Proposition 2.10). Note that in general the space M G of all G -invariant metrics can be much larger.

Our main result concerns the existence problem for Einstein metrics of the form g = ( x , x 1 2 , x 3 ). The case when G 1 = G 2 and K is diagonally embedded, i.e., M = H × H/ ∆ K for some homogeneous space H/K , has already been studied in [LW4]: existence holds if and only if the Casimir operator of the isotropy representation of H/K satisfies that C χ = κI q for some κ ∈ R (i.e., the standard metric on H/K is Einstein), B k = a B h | k for some a ∈ R and (2 κ +1) 2 ≥ 8 a (1 -a + κ ). This inequality holds for most of the spaces satisfying the first two structural conditions, which consist of 17 infinite families and 50 sporadic examples.

Theorem 1.1. If an aligned homogeneous space M = G 1 × G /K 2 admits an Einstein metric of the form g = ( x , x 1 2 , x 3 ) , then, for i = 1 2 , , the Casimir operator of G /π i i ( K ) is given by C χ i = κ I i p i for some κ i &gt; 0 (i.e., the standard metric on G /π i i ( K ) is Einstein) and

- (i) either K is abelian and there exists exactly one Einstein metric up to scaling,
- (ii) or K is semisimple and B π i ( ) k = a i B g i | π i ( ) k for some 0 &lt; a i ≤ 1 , i = 1 2 , (e.g., K simple). In that case, the existence is equivalent to the existence of a real root for certain quartic polynomial p whose coefficients depend on n 1 , n 2 , d , a 1 , a 2 (here c i = a 1 + a 2 a i , κ i = d (1 -a i ) n i ).

Moreover, the Einstein metric g is always unstable as a critical point of the scalar curvature functional (see Figure 1).

The class of homogeneous spaces involved in the above theorem is quite large and can be described using the classification of isotropy irreducible spaces obtained by Wolf (see [Be]) and the classification given in [WZ1] by Wang and Ziller (see also [LL]):

- · K abelian: 1 infinite family and 7 sporadic examples. Here K is a maximal torus of both G 1 and G 2 (see § 4.1).
- · K simple: 12 infinite families and 99 sporadic examples (see § 4.2).
- · K semisimple, non-simple: 2 infinite families and 24 sporadic examples.

The quartic polynomial mentioned in part (ii) of Theorem 1.1 depends only on n 1 , n 2 , d , a 1 , a 2 but unfortunately, in a very complicated way (see (23)), making of the existence problem a really tricky task for K semisimple.

In § 5, we focus on the class C of all aligned spaces M = G 1 × G /K 2 such that

$$\mathcal { M } ^ { G } = \{ g = ( x _ { 1 }, x _ { 2 }, x _ { 3 } ) \colon x _ { i } > 0 \},$$

that is, G /π 1 1 ( K ) and G /π 2 2 ( K ) are two different isotropy irreducible spaces and K is simple. The existence of a G -invariant Einstein metric on a space in C is therefore equivalent to the existence of a real root for the quartic polynomial p (see Theorem 1.1, (ii)). Such existence cannot follow from global reasons since there are only three intermediate subalgebras, one of which is contained in the other two, so the graph is always connected and the B¨hm's simplicial complex and Graev's nerve are both contractible (see [BK2]). o

The class C is still huge, it consists of 12 infinite families and 70 sporadic examples (see Table 1). With the help of Maple, we compute the discriminant and other two invariants of the quartic polynomial p in order to solve the existence problem, obtaining the following results:

- · The 12 families are given in Table 2. Existence is much more likely, there are only 3 non-existence infinite families.
- · All the spaces such that G /π 1 1 ( K ) and G /π 2 2 ( K ) are both irreducible symmetric spaces are listed in Table 3 (1 family and 5 sporadic examples). There exists an Einstein metric only on one of them in this small subclass.
- · In Tables 4 and 5, the remaining 65 sporadic examples are given. An invariant Einstein metric exists on exactly 51 of these spaces.

Summarizing, among the 70 sporadic spaces in C , existence holds exactly for 52 of them and for 9 of the 12 families, so the existence rate on the class C is aproximately 75%.

In all the existence cases there are exactly two invariant Einstein metrics. We note that our exploration provides several new examples of homogeneous spaces with three isotropy irreducible summands which do not admit invariant Einstein metrics.

Acknowledgements. We are very grateful with Christoph B¨hm for many helpful comments o and suggestions on a first version of this paper.

## 2. Aligned homogeneous spaces

Homogeneous spaces with the richest third cohomology (other than Lie groups), i.e., the third Betti number satisfies that b 3 ( G/K ) = s -1 if G has s simple factors, are called

aligned homogeneous spaces. We overview in this section the case when s = 2, which are the homogeneous spaces studied in this paper regarding the existence of invariant Einstein metrics. See [LW2, LW3] for more complete treatments.

- 2.1. Definition. Given a compact and connected differentiable manifold M n which is homogeneous, we fix an almost-effective transitive action of a compact connected Lie group G on M . The G -action determines a presentation M = G/K of M as a homogeneous space, where K ⊂ G is the isotropy subgroup at some point o ∈ M .

We assume that G is semisimple with two simple factors and we consider the decompositions for the corresponding Lie algebras,

(1)

$$\mathfrak { g } = \mathfrak { g } _ { 1 } \oplus \mathfrak { g } _ { 2 }, \quad \mathfrak { k } = \mathfrak { k } _ { 0 } \oplus \mathfrak { k } _ { 1 } \oplus \cdots \oplus \mathfrak { k } _ { t },$$

where the g i 's and k j 's are simple ideals of g and k , respectively, and k 0 is the center of k . If π i : g → g i is the usual projection, then we set Z i := π i ( Z ) for any Z ∈ g , so Z = ( Z , Z 1 2 ).

Remark 2.1 . Up to finite cover, we have that

$$M = G _ { 1 } \times G _ { 2 } / K _ { 0 } \times K _ { 1 } \times \cdots \times K _ { t },$$

where each G i and K j is a Lie group with Lie algebra g i and k j , respectively.

The Killing form of a Lie algebra h will always be denoted by B . h We consider the Killing constants , defined by

$$B _ { \pi _ { i } ( \mathfrak { k } _ { j } ) } = a _ { i j } \, B _ { \mathfrak { g } _ { i } } \, | _ { \pi _ { i } ( \mathfrak { k } _ { j } ) }, \quad i = 1, 2, \ \ j = 0, 1, \dots, t.$$

Note that 0 ≤ a ij ≤ 1, a ij = 0 if and only if j = 0 or π i ( k j ) = 0, and a ij = 1 if and only if π i ( k j ) = g i (see [DZ] for a deep study of these constants).

̸

Definition 2.2. A homogeneous space G/K as above with K semisimple (i.e., k 0 = 0) is said to be aligned if π i ( k j ) = 0 (i.e., a ij &gt; 0) for all i, j and the vectors of R 2 given by

$$( a _ { 1 j }, a _ { 2 j } ), \quad j = 1, \dots, t,$$

are all collinear, i.e., there exist numbers c 1 , c 2 &gt; 0 with 1 c 1 + 1 c 2 = 1 such that

( a 1 j , a 2 j ) = λ j ( c 1 , . . . , c 2 ) for some λ j &gt; , 0 ∀ j = 1 , . . . , t (i.e., a ij = λ c j i ) .

̸

In the case when k 0 = 0, G/K is called aligned if in addition to the above conditions,

$$B _ { \mathfrak { g } _ { i } } ( Z _ { i }, W _ { i } ) = \frac { 1 } { c _ { i } } \, B _ { \mathfrak { g } } ( Z, W ), \quad \forall Z, W \in \mathfrak { k } _ { 0 }, \ \ i = 1, 2.$$

Since a i 0 = 0, we set λ 0 := 0.

̸

In other words, the ideals k j 's are uniformly embedded in each g i in some sense. Note that G/K is automatically aligned if k is simple or one-dimensional, provided that π i ( k ) = 0 for i = 1 2. Thus any pair , G /K G /K 1 , 2 with K simple determines an aligned space, which in particular shows that this is a wild class in some sense, it is just too large, a classification in the usual sense is out of reach.

The following properties of an aligned homogeneous space G/K easily follow (see [LW2]):

- · π i ( k ) ≃ k for i = 1 2. ,
- · For any Z, W ∈ k ,

$$B _ { \mathfrak { g } _ { i } } ( Z _ { i }, W _ { i } ) = \frac { 1 } { c _ { i } } \, \mathsf B _ { \mathfrak { g } } ( Z, W ), \quad i = 1, 2.$$

The existence of c 1 , c 2 &gt; 0 such that (3) holds is an alternative definition of the notion of aligned.

- · The Killing form of k j is given by

$$B _ { \mathfrak { k } _ { j } } = \lambda _ { j } B _ { \mathfrak { g } } \left | _ { \mathfrak { k } _ { j } }, \quad \forall j = 1, \dots, t.$$

̸

Under the assumption that π i ( k ) = 0 for i = 1 2, any homogeneous space , G/K of a semisimple G with two simple factors has b 3 ( G/K ) ≤ 1, where equality holds if and only if G/K is aligned, which is in turn equivalent to the existence of an inner product ⟨· , ·⟩ on k such that Q | k × k coincides with ⟨· , ·⟩ up to scaling for any bi-invariant symmetric bilinear form Q on g (see [LW2, Proposition 4.10]).

- 2.2. Examples. We now list some examples and constructions of aligned homogeneous spaces with two factors, as defined in the above section.

Example 2.3 . The lowest dimensional examples are

$$M ^ { 5 } = \text{SU} ( 2 ) \times \text{SU} ($$

where K = S 1 p,q is embedded with slope ( p, q ), i.e., k = R ( pZ, qZ ), Z := [ i 0 0 -i ] . Using that B su (2) ( X,Y ) = 4 tr XY , we obtain from (2) that c 1 = p 2 + q 2 p 2 and c 2 = p 2 + q 2 q 2 . Note that c 1 = c 2 = 2 if and only if p = q . All these manifolds are diffeomorphic to S 2 × S 3 , but two of them are equivariantly diffeomorphic if and only if p/q = p /q ′ ′ .

Example 2.4 . Consider the homogeneous spaces

$$M _ { p, q } = \text{SU} ( m ) \times \text{SU$$

where either p, q ∈ N are coprime or p = q = 1 and the center of K = U( k ) p,q is embedded with slope ( p, q ), say,

$$\mathfrak { k } = \Delta \mathfrak { s u } ( k ) \$$

Since a 11 = a 12 , it follows from Definition 2.2 that we must have c 1 = c 2 = 2, which implies that this space is aligned if and only if B su ( m ) ( pZ, pZ ) = B su ( m ) ( qZ, qZ ), that is, p = q = 1. Remarkably, when k = m -1, it is proved in [BK1] that M p,q admits an invariant Einstein metric if and only if p = q = 1. The authors notice that the homology group H M 4 ( p,q , Z ) is torsion-free if and only if p = q = 1, relating the existence to a topological property. We deduce from our viewpoint that there is an additional topological characterization for the existence of invariant Einstein metrics; indeed, b 3 ( M p,q ) ≤ 1 for all p, q and equality holds if and only if p = q = 1.

Example 2.5 . The following case was studied in [LW4]. If g 1 = g 2 = h and π 1 = π 2 , i.e., G = H × H H , simple and K ⊂ H a subgroup, then G/ ∆ K is aligned with

$$c _ { 1 } = c _ { 2 } = 2, \quad \lambda _ { 1 }$$

where B k j = a j B h | k j for each simple factor k j of k . It is easy to see that M = G/ ∆ K is diffeomorphic to ( H/K ) × H . In the particular case when K = H M , is a symmetric space.

Example 2.6 . Given two compact homogeneous spaces G /H 1 1 and G /H 2 2 such that G i is simple, H i ≃ K and B h i = a i B g i | h i , a i &gt; 0 (e.g. if K is simple, see [DZ, pp.35]) for i = 1 2, we consider , M = G/ ∆ K , where G := G 1 × G 2 , ∆ K := { ( θ 1 ( k , θ ) 2 ( k )) : k ∈ K } and θ i : K → H i a Lie group isomorphism. Note that K is necessarily semisimple. It is easy to see that M = G/ ∆ K is an aligned homogeneous space with

$$\begin{array} {$$

and also that any aligned homogeneous space with K semisimple and λ 1 = · · · = λ t can be constructed in this way. Note that if G 1 = G 2 , then a 1 = a 2 , c 1 = c 2 = 2 and so we recover Example 2.5. If a 1 ≤ a 2 then

$$1 < c _ { 1 } = \frac { a _ { 1 } + a _ { 2 } } { a _ { 2 } } \leq 2 \leq c _ { 2 } = \frac { a _ { 1 } + a _ { 2 } } { a _ { 1 } }, \quad \lambda _ { j } = \frac { a _ { 1 } a _ { 2 } } { a _ { 1 } + a _ { 2 } }, \quad \forall j.$$

Example 2.7 . Consider M = SU( n 1 ) × SU( n 2 ) / SU( k 1 ) ×···× SU( k t ), where k 1 + · · · + k t &lt; n i and the standard block diagonal embedding are taken. It follows from [DZ, pp.37] that a ij = k j n i , which implies that this space is aligned with

$$c _ { 1 } = \frac { n _ { 1 } + n _ { 2 } } { n _ { 1 } }, \quad c _ { 2 } = \frac { n _ { 1 } + n _ { 2 } } { n _ { 2 } }, \quad \lambda _ { j } = \frac { k _ { j } } { n _ { 1 } + \cdots + n _ { s } }.$$

These aligned spaces are therefore different from those provided by Examples 2.5 and 2.6.

Example 2.8 . It follows from [DZ, pp.38] and Example 2.6 that the spaces (with the standard embeddings)

$$M ^ { 4 5 } = \text{SU} ( 6 ) \times \text{SO} ( 8 ) / \text{SU} ( 3 ) \times \text{Sp} ( 2 ), \ \ M ^ { 1 0 6 } = \text{SO} ( 1 4 ) \times \text{E} _ { 6 } / \text{SU} ( 6 ) \times \text{SO} ( 8 ),$$

are both aligned with c 1 = c 2 = 2 and λ 1 = λ 2 = 1 4 , since all the Killing constants involved are equal to 1 2 (the embedding of SU(3) in SO(8) considered is ( C 3 ⊕ C 3 ) R ⊕ R 2 ). Note that the same holds with λ 1 = 1 4 if one considers only one of the simple factors of K .

We note that an aligned space has c 1 = c 2 = 2 if and only if a 1 j = a 2 j =: a j for any j = 1 , . . . , t (unless K is abelian). In that case, λ j = a j 2 for all j .

Example 2.9 . Given any compact homogeneous space G /K 2 with G 2 simple and K semisimple, we consider the homogeneous space SO( d /K ) , where d = dim K and the embedding is determined by the adjoint representation of K on R d = k (which is isotropy irreducible if K is simple, see [Be, 7.49]). According to the construction given in Example 2.6, if we assume that B k = a 2 B g 2 , then M n = SO( ) d × G / 2 ∆ K n , = d d ( -1) 2 + n 2 , is an aligned homogeneous space with

$$c _ { 1 } = \frac { ( d - 2 ) a _ { 2 } + 1 } { ( d - 2 ) a _ { 2 } }, \quad c _ { 2 } = ( d - 2 ) a _ { 2 } + 1, \quad \lambda _ { 1 } = \dots = \lambda _ { t } = \frac { a _ { 2 } } { ( d - 2 ) a _ { 2 } + 1 }.$$

We are using here that a 1 = 1 d -2 (see [LL, Section 7]).

2.3. Reductive decomposition. Let M G denote the finite-dimensional manifold of all G -invariant Riemannian metrics on a compact homogeneous space M = G/K . For any reductive decomposition g = k ⊕ p (i.e., Ad( K ) p ⊂ p ), giving rise to the usual identification T M o ≡ p , we identify any g ∈ M G with the corresponding Ad( K )-invariant inner product on p , also denoted by g .

We assume from now on that M = G/K is an aligned homogeneous space with two factors as in Definition 2.2. We consider the B -orthogonal reductive decomposition g g = k ⊕ p and the G -invariant metric g B defined by g B = -B g | p , so called standard , as a background metric, and the g B -orthogonal Ad( K )-invariant decomposition

$$\mathfrak { p } = \mathfrak { p } _ { 1 } \oplus \mathfrak { p } _ { 2 } \oplus \mathfrak { p } _ { 3 }, \quad \text{where} \ \mathfrak { p } _ { 3 } = \left \{ \left ( Z _ { 1 }, - \frac { 1 } { c _ { 1 } - 1 } Z _ { 2 } \right ) \colon Z \in \mathfrak { k } \right \},$$

(recall that c 2 = c 1 c 1 -1 ). Here each p i , i = 1 2, is identified with the subspace of , g i coming from the B g i -orthogonal reductive decomposition

$$\mathfrak { g } _ { i } = \pi _ { i } ( \mathfrak { k } ) \oplus \mathfrak { p } _ { i }, \quad i = 1, 2,$$

of the homogeneous space M i := G /π i i ( K ). In this way, as Ad( K )-representations, p i is equivalent to the isotropy representation of the homogeneous space G /π i i ( K ) for each i = 1 2 and , p 3 is equivalent to the adjoint representation of k . We note that π 1 ( k ) ⊕ π 2 ( k ) = p 3 ⊕ k is a Lie subalgebra of g , which is abelian if and only if k is abelian. It is therefore

easy to check that

$$[ \mathfrak { p } _ { 1 }, \mathfrak { p } _ { 1 } ] \subset \mathfrak { p } _ { 1 } + \mathfrak { p } _ { 3 } + \mathfrak { k },$$

$$[ \mathfrak { p } _ { 2 }, \mathfrak { p } _ { 2 } ] \subset \mathfrak { p } _ { 2 } + \mathfrak { p } _ { 3 } + \mathfrak { k },$$

(7)

[

p

3

,

p

1

]

⊂

p

1

,

[

p

3

,

p

2

]

⊂

p

2

, ,

- [ p 3 , p 3 ] ⊂ p 3 + k . (8)

The subspace p 3 in turn admits an Ad( K )-invariant decomposition

$$p _ { 3 } = p _ { 3 } ^ { 0 } \oplus p _ { 3 } ^ { 1 } \oplus \dots \oplus p _ { 3 } ^ { t },$$

which is also g B -orthogonal, and for any l = 0 , . . . , t , the subspace p l 3 is equivalent to the adjoint representation k l as an Ad( K )-representation (see [LW2, Proposition 5.1]); in particular, p l 3 is Ad( K )-irreducible for any 1 ≤ l and they are pairwise inequivalent.

We focus in this paper on the G -invariant metrics of the form

$$g = x _ { 1 } g _ { \text{B} } | _ { \mathfrak { p } _ { 1 } } + x _ { 2 } g _ { \text{B} } | _ { \mathfrak { p } _ { 2 } } + x _ { 3 } g _ { \text{B} } | _ { \mathfrak { p } _ { 3 } }, \quad x _ { 1 }, x _ { 2 }, x _ { 3 } > 0,$$

which will be denoted by

$$g & = ( x _ { 1 }, x _ { 2 }, x _ { 3 } ).$$

The following notation will be used throughout the paper:

$$& d \coloneqq \dim K, \quad \ \ d _ { l } \coloneqq \dim \mathfrak { H } _ { l }, \quad l = 0, \dots, t, \quad \text{so} \quad d = d _ { 0 } + d _ { 1 } + \dots + d _ { t }, \\ & n _ { i } \coloneqq \dim \mathfrak { p } _ { i } = \dim G _ { i } - d, \quad i = 1, 2, \quad n \coloneqq \dim M = n _ { 1 } + n _ { 2 } + d.$$

2.4. Ricci curvature. We consider, for i = 1 2, the homogeneous space , M i = G /π i i ( K ) (see Remark 2.1) with B g i -orthogonal reductive decomposition g i = π i ( k ) ⊕ p i endowed with its standard metric, which will be denoted by g i B . According to [WZ1, Proposition (1.91)] (see also [LW4, (5)] and [LL, (6)]),

$$\text{Ric} ( g _ { \text{B} } ^ { i } ) = \frac { 1 } { 2 } \, \text{C} _ { \chi _ { i } } + \frac { 1 } { 4 } I _ { \text{p} _ { i } } = \frac { 1 } { 4 } \sum _ { \alpha } ( \text{ad} _ { \mathfrak { p } _ { i } } \, e _ { \alpha } ^ { i } ) ^ { 2 } + \frac { 1 } { 2 } I _ { \mathfrak { p } _ { i } }, \quad i = 1, 2,$$

where

$$C _ { \chi _ { i } } \coloneqq C _ { \mathfrak { p } _ { i }, - \mathsf B _ { \mathfrak { g } _ { i } } | _ { \pi _ { i } ( \mathfrak { k } ) } } \colon \mathfrak { p } _ { i } \longrightarrow \mathfrak { p } _ { i }$$

is the Casimir operator of the isotropy representation χ i : π i ( K ) → End( p i ) of G /π i i ( K ) with respect to the bi-invariant inner product -B g i | π i ( ) k . Note that C χ i ≥ 0, where equality holds if and only if p i = 0 (i.e., M i is a point).

Proposition 2.10. [LW3, Proposition 3.2] The Ricci operator of a metric g = ( x , x 1 2 , x 3 ) on an aligned homogeneous space M = G/K with positive constants c 1 , λ 1 , . . . , λ t is given by

$$( \mathbf i ) \text{ Ric} ( g ) | _ { \mathbf p _ { 1 } } = \frac { 1 } { 2 x _ { 1 } } \left ( 1 - \frac { ( c _ { 1 } - 1 ) x _ { 3 } } { c _ { 1 } x _ { 1 } } \right ) C _ { \chi _ { 1 } } + \frac { 1 } { 4 x _ { 1 } } I _ { \mathbf p _ { 1 } }.$$

$$( \text{ii} ) \text{ Ric} ( g ) | _ { \mathfrak { p } _ { 2 } } = \frac { 1 } { 2 x _ { 2 } } \left ( 1 - \frac { x _ { 3 } } { c _ { 1 } x _ { 2 } } \right ) C _ { \chi _ { 2 } } + \frac { 1 } { 4 x _ { 2 } } I _ { \mathfrak { p } _ { 2 } }.$$

(iii) The decomposition p = p 1 ⊕ p 2 ⊕ p 0 3 ⊕··· ⊕ p t 3 is Rc( ) g -orthogonal.

$$( \text{iv} ) \text{ Ric} ( g ) | _ { \mathfrak { p } _ { 3 } ^ { l } } = r _ { 3, l } I _ { \mathfrak { p } _ { 3 } ^ { l } }, \ \ l = 0, 1, \dots, t, \, w h e r e$$

$$r _ { 3, l } \coloneqq & \frac { ( c _ { 1 } - 1 ) \lambda _ { l } } { 4 x _ { 3 } } \left ( \frac { c _ { 1 } ^ { 2 } } { ( c _ { 1 } - 1 ) ^ { 2 } } - \frac { x _ { 3 } ^ { 2 } } { x _ { 1 } ^ { 2 } } - \frac { x _ { 3 } ^ { 2 } } { ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } } \right ) + \frac { c _ { 1 } - 1 } { 4 x _ { 3 } } \left ( \frac { x _ { 3 } ^ { 2 } } { c _ { 1 } x _ { 1 } ^ { 2 } } + \frac { x _ { 3 } ^ { 2 } } { c _ { 1 } ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } } \right ).$$

Proof. We use the notation in [LW3, Sections 2 and 3] and the formula for the Ricci curvature of aligned homogeneous spaces given in [LW3, Proposition 3.2], where A 3 = -c 2 z 1 c 1 z 2 and B 3 = z 1 c 1 + A 2 3 z 2 c 2 . Since we are considering here g b = g B , i.e., z 1 = z 2 = 1, we have that A 3 = -1 c 1 -1 = -B 3 (recall that c 2 = c 1 c 1 -1 ), thus the proposition is a direct application of the formulas given in [LW3, Proposition 3.2], except for the formula for r 3 ,l , which is obtained as follows:

$$\text{application of the formulas given in [LW3, Proposition 3.2], except for the formula for r _ { 3, l }, \\ \text{which is obtained as follows:} \\ r _ { 3, l } = & \frac { \lambda _ { l } } { 4 B _ { 3 } x _ { 3 } } \left ( \frac { 2 x _ { 1 } ^ { 2 } - x _ { 2 } ^ { 2 } } { x _ { 1 } ^ { 2 } } + \frac { ( 2 x _ { 2 } ^ { 2 } - x _ { 3 } ^ { 2 } ) A _ { 3 } ^ { 2 } } { x _ { 2 } ^ { 2 } } - \frac { 1 + A _ { 3 } } { B _ { 3 } } \left ( \frac { 1 } { c _ { 1 } } + \frac { 1 } { c _ { 2 } } A _ { 3 } ^ { 3 } \right ) \right ) \\ & + \frac { 1 } { 4 B _ { 3 } x _ { 3 } } \left ( 2 \left ( \frac { 1 } { c _ { 1 } } + \frac { 1 } { c _ { 2 } } A _ { 3 } ^ { 2 } \right ) - \frac { 2 x _ { 2 } ^ { 2 } - x _ { 3 } ^ { 2 } } { c _ { 1 } x _ { 1 } ^ { 2 } } - \frac { ( 2 x _ { 2 } ^ { 2 } - x _ { 3 } ^ { 2 } ) A _ { 3 } ^ { 2 } } { c _ { 2 } x _ { 2 } ^ { 2 } } \right ) \\ = & \frac { ( c _ { 1 } - 1 ) \lambda _ { l } } { 4 x _ { 3 } } \left ( \frac { 2 x _ { 1 } ^ { 2 } - x _ { 2 } ^ { 2 } } { x _ { 1 } ^ { 2 } } + \frac { 2 x _ { 2 } ^ { 2 } - x _ { 3 } ^ { 2 } } { ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } } - \frac { ( c _ { 1 } - 2 ) \left ( \frac { 1 } { c _ { 1 } } - \frac { 1 } { c _ { 1 } } \right ) \right ) \\ & + \frac { c _ { 1 } - 1 } { 4 x _ { 3 } } \left ( 2 \left ( \frac { 1 } { c _ { 1 } } + \frac { 1 } { c _ { 1 } ( c _ { 1 } - 1 ) } \right ) - \frac { 2 x _ { 1 } ^ { 2 } - x _ { 3 } ^ { 2 } } { c _ { 1 } x _ { 1 } ^ { 2 } } - \frac { 2 x _ { 2 } ^ { 2 } - x _ { 3 } ^ { 2 } } { c _ { 1 } ( c _ { 1 } ) x _ { 2 } ^ { 2 } } \right ) \\ = & \frac { ( c _ { 1 } - 1 ) \lambda _ { l } } { 4 x _ { 3 } } \left ( \frac { 2 x _ { 1 } ^ { 2 } - x _ { 2 } ^ { 2 } } { x _ { 1 } ^ { 2 } } + \frac { 2 x _ { 2 } ^ { 2 } - x _ { 3 } ^ { 2 } } { ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } } - \frac { ( c _ { 1 } - 2 ) ^ { 2 } } { c _ { 1 } ( c _ { 1 } - 1 ) ^ { 2 } } + \frac { c _ { 1 } - 1 } { 4 x _ { 3 } } \left ( \frac { 2 } { c _ { 1 } - 1 } - \frac { 2 x _ { 1 } ^ { 2 } - x _ { 3 } ^ { 2 } } { c _ { 1 } ( c _ { 1 } ) - 1 } x _ { 2 } ^ { 2 } } \right ) \\ = & \frac { ( c _ { 1 } - 1 ) \lambda _ { l } } { 4 x _ { 3 } } \left ( \frac { c _ { 1 } ^ { 2 } } { ( c _ { 1 } - 1 ) ^ { 2 } } - \frac { x _ { 2 } ^ { 2 } } { x _ { 1 } ^ { 2 } } - \frac { x _ { 3 } ^ { 2 } } { ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } } \right ) + \frac { c _ { 1 } - 1 } { 4 x _ { 3 } } \left ( \frac { x _ { 2 } ^ { 2 } } { c _ { 1 } x _ { 1 } ^ { 2 } } + \frac { x _ { 2 } ^ { 2 } } { c _ { 1 } ( c _ { 1 } ) x _ { 2 } ^ { 2 } } \right ), \\ \text{concluding the proof.} & \quad \quad \quad$$

concluding the proof.

## 3. Structural constants

We provide in this section an alternative proof of the formula for the Ricci curvature of an aligned homogeneous space M = G 1 × G / 2 ∆ K given in Proposition 2.10, in the case when the existence of an Einstein metric of the form g = ( x , x 1 2 , x 3 ) is possible. We therefore make the following assumption in this section:

Assumption 3.1. C χ 1 = κ I 1 p 1 and C χ 2 = κ I 2 p 2 for some κ , κ 1 2 &gt; 0 and either K is semisimple and B π 1 ( ) k = a 1 B g 1 | π 2 ( ) k and B k = a 2 B g 2 | k (i.e., λ 1 = · · · = λ t =: λ and the construction given in Example 2.6 applies) or K is abelian (i.e., λ = 0).

Given any homogeneous space G/K and the Q -orthogonal reductive decomposition g = k ⊕ p with respect to a bi-invariant inner product Q on g , the so called structural constants of a Q -orthogonal decomposition p = p 1 ⊕···⊕ p r in Ad( K )-invariant subspaces (not necessarily Ad( K )-irreducible) are defined by

$$[ i j k ] \coloneqq \sum _ { \alpha, \beta, \gamma } Q ( [ e _ { \alpha } ^ { i }, e _ { \beta } ^ { j } ], e _ { \gamma } ^ { k } ) ^ { 2 },$$

where { e i α } , { e j β } and { e k γ } are Q -orthonormal basis of p i , p j and p k , respectively.

Lemma 3.2. The nonzero structural constants of the g B -orthogonal reductive complement p = p 1 ⊕ p 2 ⊕ p 3 are given by

$$\begin{array} { c } [ 1 1 1 ] = ( 1 - 2 \kappa _ { 1 } ) n _ { 1 }, & [ 2 2 2 ] = ( 1 - 2 \kappa _ { 2 } ) n _ { 2 }, & [ 3 3 3 ] = \frac { ( c _ { 1 } - 2 ) ^ { 2 } \lambda d } { c _ { 1 } - 1 }, \\ [ 1 1 3 ] = \frac { ( c _ { 1 } - 1 ) \kappa _ { 1 } n _ { 1 } } { c _ { 1 } }, & [ 2 2 3 ] = \frac { \kappa _ { 2 } n _ { 2 } } { c _ { 1 } }. \end{array}$$

Proof. The union of the g B -orthonormal basis { e 3 α = √ c 1 -1( Z , α 1 -1 c 1 -1 Z α 2 ) } of p 3 , where { Z α } is a -B -orthonormal basis of g k , and g B -orthonormal bases { e i α } dim p i α =1 of p i , i = 1 2, , form the g B -orthonormal basis of p which will be used in the computations.

According to (11), for i = 1 2, ,

$$[ i i i ] = \sum _ { \alpha, \beta, \gamma } g _ { B } ( [ e _ { \alpha } ^ { i }, e _ { \beta } ^ { i } ], e _ { \gamma } ^ { i } ) ^ { 2 } = - \sum _ { \alpha } t r \, ( \text{ad} _ { \mathfrak { p } _ { i } } \, e _ { \alpha } ^ { i } ) ^ { 2 } = - 2 \, t r \, C _ { \chi _ { i } } + t r \, I _ { \mathfrak { p } _ { i } } = ( 1 - 2 \kappa _ { i } ) n _ { i },$$

and on the other hand, using that -B ( g i Z ,Z α i β i ) = 1 c i δ αβ by (3), we obtain

$$[ 1 1 3 ] = \sum _ { \alpha, \beta, \gamma } g _ { B } ( [ e _ { \alpha } ^ { 3 }, e _ { \beta } ^ { 1 } ], e _ { \gamma } ^ { 1 } ) ^ { 2 } = ( c _ { 1 } - 1 ) \sum _ { \alpha, \beta, \gamma } g _ { B } ( [ Z _ { 1 } ^ { \alpha }, e _ { \beta } ^ { 1 } ], e _ { \gamma } ^ { 1 } ) ^ { 2 } = ( c _ { 1 } - 1 ) \sum _ { \alpha } - \text{tr} \left ( \text{ad} \, Z _ { 1 } ^ { \alpha } \right ) ^ { 2 }$$

$$= & ( c _ { 1 } - 1 ) \frac { \text{tr} \, C _ { \chi _ { 1 } } } { c _ { 1 } } = ( c _ { 1 } - 1 ) \frac { \kappa _ { 1 } n _ { 1 } } { c _ { 1 } },$$

$$& \stackrel { \cdots r, \cdot } { = } ( c _ { 1 } - 1 ) \frac { \text{tr} \, C _ { \chi _ { 1 } } } { c _ { 1 } } = ( c _ { 1 } - 1 ) \frac { \kappa _ { 1 } n _ { 1 } } { c _ { 1 } }, \\ [ 2 2 3 ] & = \sum _ { \alpha, \beta, \gamma } g _ { B } ( [ e _ { \alpha } ^ { 3 }, e _ { \beta } ^ { 2 } ], e _ { \gamma } ^ { 2 } ) ^ { 2 } = \frac { 1 } { c _ { 1 } - 1 } \sum _ { \alpha, \beta, \gamma } g _ { B } ( [ Z _ { 2 } ^ { \alpha }, e _ { \beta } ^ { 2 } ], e _ { \gamma } ^ { 2 } ) ^ { 2 } = \frac { 1 } { ( c _ { 1 } - 1 ) } \sum _ { \alpha } - \text{tr} \, ( \text{ad} \, Z _ { 2 } ^ { \alpha } ) ^ { 2 } \\ & = \frac { 1 } { c _ { 1 } - 1 } \frac { \text{tr} \, C _ { \chi _ { 2 } } } { c _ { 2 } } = \frac { \kappa _ { 2 } n _ { 2 } } { c _ { 1 } }. \\ \text{Finally, we have that}$$

Finally, we have that

$$\text{Finally, we have that} \\ [ 3 3 3 ] & = \sum _ { \alpha, \beta, \gamma } g _ { B } ( [ e _ { \alpha } ^ { 3 }, e _ { \beta } ^ { 3 } ], e _ { \gamma } ^ { 3 } ) ^ { 2 } = \sum _ { \alpha } - \text{tr} \left ( \text{ad} \, e _ { \alpha } ^ { 3 } | _ { \beta _ { 3 } } \right ) ^ { 2 } \\ & = ( c _ { 1 } - 2 ) \left ( \frac { 1 } { c _ { 1 } } - \frac { 1 } { c _ { 1 } ( c _ { 1 } - 1 ) ^ { 2 } } \right ) \lambda \sum _ { \alpha } g _ { B } \left ( \sqrt { c _ { 1 } - 1 } Z ^ { \alpha }, \sqrt { c _ { 1 } - 1 } Z ^ { \alpha } \right ) \\ & = ( c _ { 1 } - 2 ) \left ( \frac { 1 } { c _ { 1 } } - \frac { 1 } { c _ { 1 } ( c _ { 1 } - 1 ) ^ { 2 } } \right ) \lambda ( c _ { 1 } - 1 ) d = \frac { ( c _ { 1 } - 2 ) ^ { 2 } \lambda d } { c _ { 1 } - 1 }, \\ \text{conding the proof.} \\ \text{Corallar} \, v \, 3 \, \text{$3$} \, \text{ The Riccii cumulative of the metric} \, \alpha - ( r, \ r _ { \alpha }, \ r _ { \alpha } ) \quad \text{effective that} \, R c ( \lambda ) ( \lambda, \lambda ) -$$

concluding the proof.

̸

Corollary 3.3. The Ricci curvature of the metric g = ( x , x 1 2 , x 3 ) g B satisfies that Rc( )( g p i , p j ) = 0 for all i = j and Ric( g ) | p i = r I i p i , where

$$r _ { 1 } = \frac { 1 + 2 \kappa _ { 1 } } { 4 } \, \frac { 1 } { x _ { 1 } } - \frac { ( c _ { 1 } - 1 ) \kappa _ { 1 } } { 2 c _ { 1 } } \frac { x _ { 3 } } { x _ { 1 } ^ { 2 } }, \quad r _ { 2 } = \frac { 1 + 2 \kappa _ { 2 } } { 4 } \, \frac { 1 } { x _ { 2 } } - \frac { \kappa _ { 2 } } { 2 c _ { 1 } } \frac { x _ { 3 } } { x _ { 2 } ^ { 2 } },$$

$$r _ { 3 } = \left ( \frac { 1 } { 2 } - \frac { ( c _ { 1 } - 1 ) ( 1 - c _ { 1 } \lambda ) } { 2 c _ { 1 } } - \frac { ( c _ { 1 } - 1 - c _ { 1 } \lambda ) } { 2 c _ { 1 } ( c _ { 1 } - 1 ) } - \frac { ( c _ { 1 } - 2 ) ^ { 2 } \lambda } { 4 ( c _ { 1 } - 1 ) } \right ) \frac { 1 } { x _ { 3 } } + \frac { ( c _ { 1 } - 1 ) ( 1 - c _ { 1 } \lambda ) } { 4 c _ { 1 } } \frac { x _ { 3 } } { x _ { 1 } ^ { 2 } } + \frac { c _ { 1 } - 1 - c _ { 1 } \lambda } { 4 c _ { 1 } ( c _ { 1 } - 1 ) } \frac { x _ { 3 } } { x _ { 2 } ^ { 2 } }.$$

Remark 3.4 . These formulas coincide with those provided in Proposition 2.10.

Proof. We use the well-known formula for the Ricci eigenvalues in terms of structural constants (see e.g. [LW1, (18)]) to obtain that

$$& \text{Proof. We use the well-known formula for the Ricci eigenvalues in terms of structural} \\ & \text{constants (see e.g. [LW1, (18)])) to obtain that} \\ & \quad r _ { 1 } = \frac { 1 } { 2 z _ { 1 } } - \frac { 1 } { 4 n _ { 1 } } [ 1 1 1 ] \frac { 1 } { x _ { 1 } } - \frac { 1 } { 2 n _ { 1 } } [ 1 3 1 ] \frac { x _ { 2 } } { x _ { 2 } } = \left ( \frac { 1 } { 2 } - \frac { 1 - 2 z _ { 1 } } { 4 } \right ) \frac { 1 } { x _ { 1 } } - \frac { ( c _ { 1 } - 1 ) \kappa _ { 1 } } { x _ { 2 } } \frac { x _ { 3 } } { 2 c _ { 1 } } \frac { x _ { 2 } } { x _ { 2 } } \\ & \quad = 1 + 2 z _ { 1 } \frac { 1 } { 4 n _ { 1 } } - \left ( c _ { 1 } - 1 \right ) \kappa _ { 1 } \frac { x _ { 3 } } { 2 c _ { 1 } } \frac { 1 } { x _ { 2 } }, \\ & \quad r _ { 2 } = \frac { 1 } { 2 z _ { 2 } } - \frac { 1 } { 4 n _ { 2 } } [ 2 2 2 ] \frac { 1 } { x _ { 2 } } - \frac { 1 } { 2 n _ { 2 } } [ 2 3 2 ] \frac { x _ { 2 } } { x _ { 2 } } = \left ( \frac { 1 } { 2 } - \frac { 1 - 2 z _ { 2 } } { 4 } \right ) \frac { 1 } { x _ { 2 } } - \frac { \kappa _ { 2 } } { 2 c _ { 1 } } \frac { x _ { 2 } } { x _ { 2 } } \\ & \quad = 1 + 2 z _ { 2 } \frac { 1 } { 4 n _ { 2 } } - \kappa _ { 2 } \, x _ { 3 } \frac { 1 } { 2 c _ { 1 } } \frac { 1 } { x _ { 2 } }, \\ & \quad r _ { 3 } = \frac { 1 } { 2 z _ { 3 } } - \frac { 1 } { 4 d } [ 1 1 3 ] \left ( \frac { 2 } { x _ { 3 } } - \frac { x _ { 3 } } { x _ { 2 } } \right ) - \frac { 1 } { 4 d } [ 2 2 3 ] \left ( \frac { 2 } { x _ { 3 } } - \frac { x _ { 3 } } { x _ { 2 } } \right ) - \frac { 1 } { 4 d } [ 3 3 3 ] \frac { 1 } { x _ { 3 } } \\ & \quad = \left ( \frac { 1 } { 2 } - \frac { 1 } { 2 d } [ 1 1 3 ] - \frac { 1 } { 2 d } [ 2 2 3 ] - \frac { 1 } { 4 d } [ 3 3 3 ] \right ) \frac { 1 } { x _ { 3 } } + \frac { 1 } { 4 d } [ 1 1 3 ] \frac { x _ { 3 } } { x _ { 2 } } + \frac { 1 } { 4 d } [ 2 2 3 ] \frac { x _ { 3 } } { x _ { 2 } } \\ & \quad = \left ( \frac { 1 } { 2 } - \frac { ( c _ { 1 } - 1 ) ( 1 - c _ { 1 } \lambda ) } { 2 c _ { 1 } } - \frac { ( c _ { 1 } - c _ { 1 } \lambda ) } { 2 c _ { 1 } ( c _ { 1 } - 1 ) } - \frac { ( c _ { 1 } - 2 ) ^ { 2 } \lambda } { 4 ( c _ { 1 } - 1 ) } \frac { 1 } { x _ { 3 } } + \frac { ( c _ { 1 } - 1 ) ( 1 - c _ { 1 } \lambda ) } { 4 c _ { 1 } } \frac { x _ { 3 } } { x _ { 2 } } \frac { + c _ { 1 } - 1 - c _ { 1 } \lambda } { 4 c _ { 1 } ( c _ { 1 } - 1 ) } \frac { x _ { 2 } } { x _ { 2 } } \\ & \quad = 2 c _ { 1 } ( c _ { 1 } - 1 ) - 2 ( c _ { 1 } - 1 ) ^ { 2 } ( 1 - c _ { 1 } \lambda ) - 2 ( c _ { 1 } - 1 - c _ { 1 } \lambda ) - c _ { 1 } ( c _ { 1 } - 2 ) ^ { 2 } \lambda \frac { 1 } { 4 c _ { 1 } } + \frac { ( c _ { 1 } - 1 ) ( 1 - c _ { 1 } \lambda ) } { x _ { 2 } } \frac { + c _ { 1 } - 1 - c _ { 1 } \lambda } { x _ { 3 } }, \\ & \text{concluding the proof.} & \quad \quad \quad$$

concluding the proof.

## 4. Einstein metrics

In this section, we study the existence of Einstein metrics on aligned homogeneous spaces with two factors. The case when G 1 = G 2 and K is diagonally embedded, i.e., M = H × H/ ∆ K for some homogeneous space H/K , has already been considered in [LW4].

Theorem 4.1. On an aligned homogeneous space M = G 1 × G /K 2 with positive constants c 1 , λ 1 , . . . , λ t , the metric g = ( x , x 1 2 , 1) is Einstein if and only if C χ 1 = κ I 1 p 1 and C χ 2 = κ I 2 p 2 for some κ , κ 1 2 &gt; 0 and

- (i) either K is abelian and x , x 1 2 &gt; 0 solve the following system of equations:

$$c _ { 1 } ( 2 \kappa _ { 1 } + 1 ) x _ { 1 } x _ { 2 } ^ { 2 } & = x _ { 1 } ^ { 2 } + ( c _ { 1 } - 1 ) ( 2 \kappa _ { 1 } + 1 ) x _ { 2 } ^ { 2 },$$

$$c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 1 } ^ { 2 } x _ { 2 } = ( 2 \kappa _ { 2 } + 1 ) x _ { 1 } ^ { 2 } + ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 }.$$

- (ii) or K is semisimple, λ 1 = · · · = λ t =: λ and x , x 1 2 &gt; 0 solve the following system of equations:

$$( 1 5 ) \quad & - c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 1 } ^ { 2 } x _ { 2 } + c _ { 1 } ( 2 \kappa _ { 1 } + 1 ) x _ { 1 } x _ { 2 } ^ { 2 } + 2 \kappa _ { 2 } x _ { 1 } ^ { 2 } - 2 ( c _ { 1 } - 1 ) \kappa _ { 1 } x _ { 2 } ^ { 2 } = 0,$$

$$( 1 6 ) \quad \ \ - c _ { 1 } ^ { 3 } \lambda x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } + c _ { 1 } ( c _ { 1 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) x _ { 1 } ^ { 2 } x _ { 2 }$$

$$+ ( c _ { 1 } \lambda - ( c _ { 1 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) ) x _ { 1 } ^ { 2 } - ( 1 - c _ { 1 } \lambda ) ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } = 0.$$

Remark 4.2 . In order to admit an Einstein metric of this form, an aligned homogeneous space must therefore satisfy that the standard metric on both pieces G /π 1 1 ( K ) and G /π 2 2 ( K ) is Einstein and if K is semisimple as in part (ii), then B π 1 ( ) k = c 1 λ B g 1 | π 1 ( ) k and B π 2 ( ) k = c 2 λ B g 2 | π 2 ( ) k . This implies that the space can be constructed as in Example 2.6, i.e., M = G 1 × G / 2 ∆ K , from any two homogeneous spaces G /K 1 and G /K 2 such that their respective standard metrics are Einstein and B k = a 1 B g 1 | k and B k = a 2 B g 2 | k , which have been listed in [LW4, Tables 3-11]. There are 17 infinite families and 50 sporadic examples as possibilities for each G /K i . We assume from now on that a 1 ≤ a 2 (recall that 0 &lt; a , a 1 2 &lt; 1), which gives

$$1 < c _ { 1 } = \frac { a _ { 1 } + a _ { 2 } } { a _ { 2 } } \leq 2 \leq c _ { 2 } = \frac { a _ { 1 } + a _ { 2 } } { a _ { 1 } }, \quad \lambda = \frac { a _ { 1 } a _ { 2 } } { a _ { 1 } + a _ { 2 } } < \frac { 1 } { 2 }, \quad c _ { 1 } - 1 = \frac { a _ { 1 } } { a _ { 2 } }.$$

Recall that κ i = d (1 -a i ) n i , where d = dim K and n i = dim G i -d .

Remark 4.3 . For M = H × H/ ∆ K , i.e., a 1 = a 2 , κ 1 = κ 2 and c 1 = 2, it was proved in [LW4] that there is exactly one solution if K is abelian and the existence for K semisimple is equivalent to

$$( 2 \kappa _ { 1 } + 1 ) ^ { 2 } \geq 8 a _ { 1 } ( 1 - a _ { 1 } + \kappa _ { 1 } ),$$

which holds for most candidates H/K listed in [LW4, Tables 3-11].

Remark 4.4 . Conditions (13) and (15) are both equivalent to r 1 = r 2 (see Corollary 3.3). On the other hand, condition (14) is precisely condition (16) for λ = 0 and they are equivalent to r 2 = r 3 .

Proof. Assume that g is Einstein. It follows from Proposition 2.10, (i) and (ii) that C χ 1 = κ I 1 p 1 and C χ 2 = κ I 2 p 2 for some κ , κ 1 2 &gt; 0. Moreover, we obtain the following formulas for the Ricci eigenvalues r , r 1 2 , r 3 0 , , . . . , r 3 ,t of g on p 1 , p 2 , p 0 3 , . . . , p t 3 , respectively:

$$l _ { \pi } = c _ { 1 } - 1 \bigwedge.$$

$$r _ { 1 } = \frac { 1 } { 2 x _ { 1 } } \left ( 1 - \frac { c _ { 1 } - 1 } { c _ { 1 } x _ { 1 } } \right ) \kappa _ { 1 } + \frac { 1 } { 4 x _ { 1 } } = \frac { c _ { 1 } ( 2 \kappa _ { 1 } + 1 ) x _ { 1 } + 2 \kappa _ { 1 } ( 1 - c _ { 1 } ) } { 4 c _ { 1 } x _ { 1 } ^ { 2 } }, \\ r _ { 2 } = & \frac { 1 } { 2 x _ { 2 } } \left ( 1 - \frac { 1 } { c _ { 1 } x _ { 2 } } \right ) \kappa _ { 2 } + \frac { 1 } { 4 x _ { 2 } } = \frac { c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } } { 4 c _ { 1 } x _ { 2 } ^ { 2 } }, \\ r _ { 3, l } = & \frac { ( c _ { 1 } - 1 ) \lambda _ { l } } { 4 } \left ( \frac { c _ { 1 } ^ { 2 } } { ( c _ { 1 } - 1 ) ^ { 2 } } - \frac { 1 } { x _ { 1 } ^ { 2 } } - \frac { 1 } { ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } } \right ) + \frac { c _ { 1 } - 1 } { 4 } \left ( \frac { 1 } { c _ { 1 } x _ { 1 } ^ { 2 } } + \frac { 1 } { c _ { 1 } ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } } \right ). \\ \text{ Thus the factor multilingual} \lambda _ { l } \text{ in the formula for} \, r _ { 2 } \text{ vanishes if and only if}$$

Thus the factor multiplying λ l in the formula for r 3 ,l vanishes if and only if

$$x _ { 1 } ^ { 2 } & = \frac { ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } } { c _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } - 1 } \quad \text{and} \quad c _ { 1 } x _ { 2 } > 1,$$

and so in that case, equation r 2 = r 3 is equivalent to

$$\frac { c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } } { 4 c _ { 1 } x _ { 2 } ^ { 2 } } = \frac { c _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } + c _ { 1 } - 2 } { 4 ( c _ { 1 } - 1 ) c _ { 1 } x _ { 2 } ^ { 2 } }.$$

This implies that x 2 = (2 κ 2 +1)( c 1 -1) -1 c 1 and so c 1 x 2 ≤ 1, which contradicts (17). We therefore obtain from r 3 0 , = · · · = r 3 ,t that either K is abelian or K is semisimple and λ 1 = · · · = λ t .

On the other hand, it is straightforward to see that r 1 = r 2 is equivalent to equation (15), and in the case when K is abelian, we have that

$$r _ { 2 } = \frac { c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } } { 4 c _ { 1 } x _ { 2 } ^ { 2 } } = \frac { ( c _ { 1 } - 1 ) x _ { 1 } ^ { 2 } + ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } } { 4 c _ { 1 } ( c _ { 1 } - 1 ) x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } } = r _ { 3, 0 },$$

if and only if condition (14) holds. It is easy to see that condition (15) is equivalent to (13) by using (14).

It only remains to prove part (ii), that is, equation r 2 = r 3 is equivalent to condition (16), where r 3 := r 3 1 , = · · · = r 3 ,t , which follows from the following manipulations: if we multiply equation r 2 = r 3 , given by,

$$\frac { c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } } { 4 c _ { 1 } x _ { 2 } ^ { 2 } } = \frac { ( c _ { 1 } - 1 ) \lambda } { 4 } \left ( \frac { c _ { 1 } ^ { 2 } } { ( c _ { 1 } - 1 ) ^ { 2 } } - \frac { 1 } { x _ { 1 } ^ { 2 } } - \frac { 1 } { ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } } \right ) + \frac { c _ { 1 } - 1 } { 4 } \left ( \frac { 1 } { c _ { 1 } x _ { 1 } ^ { 2 } } + \frac { 1 } { c _ { 1 } ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } } \right ),$$

by the factor 4 c 1 ( c 1 -1) x x 2 2 ,

1 2 we obtain that

$$& ( c _ { 1 } - 1 ) x _ { 1 } ^ { 2 } ( c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } ) = \lambda \, ( c _ { 1 } ^ { 3 } x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } - c _ { 1 } ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } - c _ { 1 } x _ { 1 } ^ { 2 } ) + ( c _ { 1 } - 1 ) ^ { 2 } x _ { 2 } ^ { 2 } + ( c _ { 1 } - 1 ) x _ { 1 } ^ { 2 }, \\ & \text{from which } ( 1 6 ) \, \text{ easily follows, concluding the proof.} \quad \square$$

As known, G -invariant Einstein metrics on a compact homogeneous space M = G/K are precisely the critical points of the scalar curvature functional,

$$\text{Sc} \, \colon \mathcal { M } _ { 1 } ^ { G } \longrightarrow \mathbb { R },$$

where M G 1 is the space of all unit volume G -invariant metrics on M . An Einstein metric g ∈ M G 1 is called G -unstable if Sc ( ′′ g T, T ) &gt; 0 for some T ∈ T T G g , where T T G g is the space of G -invariant TT-tensors (see [LL, LW1] for further information). The stability type of the Einstein metrics that Theorem 4.1 may provide can be obtained following the lines of [LW1] (see also [LW4, Section 6]). Using the structural constants computed in Lemma 3.2, we obtain that if

$$\mathcal { M } ^ { G, d i a g } \coloneqq \{ g = ( x _ { 1 }, x _ { 2 }, x _ { 3 } ) \colon x _ { i } > 0 \},$$

then the Hessian of Sc : M G,diag → R at an Einstein metric g 0 = ( x , x 1 2 , x 3 ) with Einstein constant ρ is given by Hess(Sc) g 0 = 2 ρI -L , where

$$t \, \rho \, \text{is given by Hess} ( \text{Sc} ) _ { g _ { 0 } } = 2 \rho I - L, & \text{where} \\ L = \frac { 1 } { c _ { 1 } } \begin{bmatrix} \frac { ( c _ { 1 } - 1 ) \kappa _ { 1 } } { x _ { 1 } ^ { 2 } } & 0 & - \frac { ( c _ { 1 } - 1 ) \kappa _ { 1 } \sqrt { n _ { 1 } } } { \sqrt { d x _ { 1 } ^ { 2 } } } \\ 0 & \frac { \kappa _ { 2 } } { x _ { 2 } ^ { 2 } } & - \frac { \kappa _ { 2 } \sqrt { n _ { 2 } } } { \sqrt { d x _ { 2 } ^ { 2 } } } \\ - \frac { ( c _ { 1 } - 1 ) \kappa _ { 1 } \sqrt { n _ { 1 } } } { \sqrt { d x _ { 1 } ^ { 2 } } } & - \frac { \kappa _ { 2 } \sqrt { n _ { 2 } } } { \sqrt { d x _ { 2 } ^ { 2 } } } & \frac { \kappa _ { 2 } n _ { 2 } x _ { 1 } ^ { 2 } + ( c _ { 1 } - 1 ) \kappa _ { 1 } n _ { 1 } x _ { 2 } ^ { 2 } } { d x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } } \end{bmatrix}. \\ \cdots \, \text{$\dots $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ }$$

Proposition 4.5. Any Einstein metric on M = G 1 × G /K 2 provided by Theorem 4.1 is G -unstable.

Proof. It follows from the proof of Theorem 4.1 that ρ = c 1 (2 κ 2 +1) x 2 -2 κ 2 4 c 1 x 2 2 . Using that c 1 x 2 &gt; 1 (see (20) and (24) below) and κ 2 ≤ 1 2 , we obtain that

$$2 \rho - L _ { 2 2 } = \frac { c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } } { 2 c _ { 1 } x _ { 2 } ^ { 2 } } - \frac { \kappa _ { 2 } } { c _ { 1 } x _ { 2 } ^ { 2 } } = \frac { c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 4 \kappa _ { 2 } } { 2 c _ { 1 } x _ { 2 } ^ { 2 } } > \frac { - 2 \kappa _ { 2 } + 1 } { 2 c _ { 1 } x _ { 2 } ^ { 2 } } \geq 0.$$

Thus 2 ρ -L | T g 0 M G,diag 1 has at least one positive eigenvalue and the instability of these Einstein metrics as critical points of Sc : M → G 1 R follows. □

In Figure 1, the graph of Sc : M → G 1 R has been drawn for three examples.

Figure 1. Graph of Sc : M → G 1 R in the variables ( x , x 1 2 ) for, from left to right, M 48 = SU(5) × SO(8) /T 4 , M 21 = G 2 × Sp(2) / SU(2) and M 29 = SU(5) × SU(4) Sp(2), which admit one, two and none invariant / Einstein metrics (i.e., critical points, in blue), respectively. The standard metric g B ( x 1 = x 2 = 1) is in yellow and belongs to both the green curve of normal metrics and to the red curve defined by x 1 = x 2 .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00456v2-figure-c78998f5-52d5-4ad0-b833-91951cfc9154.jpg)

4.1. K abelian. We need to analyze the existence problem for positive solutions to the algebraic equations given in Theorem 4.1, starting in this section with the case when K is abelian.

Proposition 4.6. Any aligned homogeneous space M = G 1 × G /K 2 such that K is abelian and C χ 1 = κ I 1 p 1 , C χ 2 = κ I 2 p 2 for some κ , κ 1 2 &gt; 0 , admits exactly one Einstein metric of the form g = ( x , x 1 2 , 1) , which is always a saddle point.

Remark 4.7 . Alternatively, the existence follows from the Simplicial Complex Theorem in [B2]. Indeed, it is easy to see that the intermediate subalgebras k ⊕ p 1 and k ⊕ p 2 belong to distinct non-toral components of the graph attached to G 1 × G /K 2 .

Proof. It follows from (14) that necessarily,

$$( 1 8 ) & & x _ { 1 } = \frac { \sqrt { c _ { 1 } - 1 } x 2 } { \sqrt { ( 2 \kappa _ { 2 } + 1 ) ( c _ { 1 } x _ { 2 } - 1 ) } },$$

from which (13) becomes the following identity for x 2 :

$$2 \kappa _ { 1 } ( 2 \kappa _ { 2 } + 1 ) ( c _ { 1 } x _ { 2 } - 1 ) - \frac { c _ { 1 } } { \sqrt { c _ { 1 } - 1 } } ( 2 \kappa _ { 1 } + 1 ) x _ { 2 } \sqrt { ( 2 \kappa _ { 2 } + 1 ) ( c _ { 1 } x _ { 2 } - 1 ) } + c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } = 0.$$

If we set u := √ c 1 x 2 -1, then it is is easy to see that the above condition is equivalent to the cubic

$$& ( 1 9 ) & & q ( u ) \coloneqq u ^ { 3 } - \sqrt { ( c _ { 1 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) } u ^ { 2 } + u - \frac { \sqrt { c _ { 1 } - 1 } } { ( 2 \kappa _ { 1 } + 1 ) \sqrt { 2 \kappa _ { 2 } + 1 } } = 0,$$

which clearly admits al least one positive solution u 0 since q (0) &lt; 0. Thus

$$x _ { 2 } = \frac { u _ { 0 } ^ { 2 } + 1 } { c _ { 1 } } > \frac { 1 } { c _ { 1 } },$$

and so x 1 is well defined. Using that q ′ ( u ) = 3 u 2 -2 √ ( c 1 -1)(2 κ 2 +1) u +1 never vanishes (note that its discriminant is 4(( c 1 -1)(2 κ 2 +1) -3) &lt; 0), we conclude that q has only one root.

Concerning the type of critical point this metric is, we argue as in the proof of Proposition 4.5. Note first that

$$\text{vannual to: vouve mouv wouve} \\ 2 \rho - L _ { 3, 3 } = & \frac { c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } } { 2 c _ { 1 } x _ { 2 } ^ { 2 } } - \frac { x _ { 1 } ^ { 2 } + ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } } { c _ { 1 } x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } } = \frac { ( c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) x _ { 2 } - 2 \kappa _ { 2 } ) x _ { 1 } ^ { 2 } - 2 ( x _ { 1 } ^ { 2 } + ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } ) } { 2 c _ { 1 } x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } } \\ = & \frac { ( ( 2 \kappa _ { 2 } + 1 ) c _ { 1 } x _ { 2 } - 2 \kappa _ { 2 } - 2 ) x _ { 1 } ^ { 2 } - 2 ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } } { 2 c _ { 1 } x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } } = \frac { ( ( 2 \kappa _ { 2 } + 1 ) ( c _ { 1 } x _ { 2 } - 1 ) - 1 ) x _ { 1 } ^ { 2 } - 2 x _ { 2 } ^ { 2 } ( c _ { 1 } - 1 ) } { 2 c _ { 1 } x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } }. \\ \text{r} \quad \cdot \quad / \i \circ \, \quad \, \i \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot$$

Now using (18) we obtain that

$$\underset { 2 \rho - L _ { 3, 3 } } { = } & \frac { ( ( 2 \kappa _ { 2 } + 1 ) ( c _ { 1 } x _ { 2 } - 1 ) - 1 ) ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } - 2 x _ { 2 } ^ { 2 } ( c _ { 1 } - 1 ) ( c _ { 1 } x _ { 2 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) } { 2 c _ { 1 } x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } ( c _ { 1 } x _ { 2 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) } \\ & = \frac { ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } ( ( 2 \kappa _ { 2 } + 1 ) ( c _ { 1 } x _ { 2 } - 1 ) - 1 - 2 ( c _ { 1 } x _ { 2 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) ) } { 2 c _ { 1 } x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } ( c _ { 1 } x _ { 2 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) } \\ & = - \frac { ( c _ { 1 } - 1 ) x _ { 2 } ^ { 2 } ( ( 2 \kappa _ { 2 } + 1 ) ( c _ { 1 } x _ { 2 } - 1 ) + 1 ) } { 2 c _ { 1 } x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } ( c _ { 1 } x _ { 2 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) } < 0. \\ \text{im implies that 2 \theta - L _ { - } \ \. c d a s \ \text{ has at least one negative eigenvalue. which comb}.$$

This implies that 2 ρ -L | T g 0 M G,diag 1 has at least one negative eigenvalue, which combined with Proposition 4.5 gives that the Einstein metric is a saddle point of Sc : M → G 1 R , as was to be shown. □

The class involved in the above corollary is not that large, it can be obtained from [LW4, Table 8] and consists of

- · SU( m +1) × SO(2 m /T ) m , m ≥ 4,
- · SU(2) × SU(2) /T 1 , SU(6) × E 6 /T 6 ,

SU(7)

×

E

7

/T

7

,

SU(8)

×

E

8

/T

8

,

- · SO(12) × E 6 /T 6 , SO(14) × E 7 /T 7 , SO(16) × E 8 /T 8 .

Each one is actually an infinite family of homogeneous spaces since the torus can be embedded in G 1 × G 2 with any slope ( p, q ), p, q ∈ N , which gives c 1 = p 2 + q 2 p 2 in much the same way as in Example 2.3.

Example 4.8 . Consider the space M 48 = SU(5) × SO(8) /T 4 with c 1 = 2 (i.e., p = ), which q has n 1 = 11, n 2 = 7, d = 4, κ 1 = 1 5 , κ 2 = 1 6 . The cubic in (19) is given by

$$q ( u ) = u ^ { 3 } - \frac { 2 } { \sqrt { 3 } } u ^ { 2 } + u - \frac { 5 } { 1 4 \sqrt { 3 } },$$

and has discriminant ∆( q ) = -2323 588 &lt; 0. Thus there is exactly one real root, which is given by

$$\lambda _ { 0 } ^ { \quad \ \ } \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \	 \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ } \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,\quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,\ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \$$

and so g ≈ (0 8791 0 8532 1) (see Figure 1). . , . ,

4.2. K semisimple. In this section, we consider the case of an aligned homogeneous space M = G 1 × G /K 2 with K semisimple such that C χ 1 = κ I 1 p 1 and C χ 2 = κ I 2 p 2 for some κ , κ 1 2 &gt; 0. According to Theorem 4.1 and Remark 4.2, if the Killing constants are a , a 1 2 (i.e., c 1 = a 1 + a 2 a 2 , λ = a a 1 2 a 1 + a 2 , κ i = d (1 -a i ) n i ), then the Einstein equations for the metric g = ( x , x 1 2 , 1) g B can be written as

$$A x _ { 1 } ^ { 2 } x _ { 2 } + B x _ { 1 } x _ { 2 } ^ { 2 } + C x _ { 1 } ^ { 2 } + D x _ { 2 } ^ { 2 } = & 0,$$

$$E r _ { 2 } ^ { 2 } r _ { 2 } ^ { 2 } \rightharpoonup E r _ { 2 } ^ { 2 } r _ { 2 } \rightharpoonup C r _ { 2 } ^ { 2 } \rightharpoonup H r _ { 2 } ^ { 2 } - 0$$

$$E x _ { 1 } ^ { 2 } x _ { 2 } ^ { 2 } + F x _ { 1 } ^ { 2 } x _ { 2 } + G x _ { 1 } ^ { 2 } + H x _ { 2 } ^ { 2 } = & 0,$$

where

$$A \coloneqq - c _ { 1 } ( 2 \kappa _ { 2 } + 1 ) & < 0, \quad B \coloneqq c _ { 1 } ( 2 \kappa _ { 1 } + 1 ) > 0, \quad C \coloneqq 2 \kappa _ { 2 } > 0, \quad D \coloneqq - 2 ( c _ { 1 } - 1 ) \kappa _ { 1 } < 0, \\ & E \coloneqq - c _ { 1 } ^ { 3 } \lambda < 0, \quad F \coloneqq c _ { 1 } ( c _ { 1 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) > 0, \\ G \coloneqq c _ { 1 } \lambda - ( c _ { 1 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) < 0, \quad H \coloneqq - ( 1 - c _ { 1 } \lambda ) ( c _ { 1 } - 1 ) ^ { 2 } < 0.$$

Note that G &lt; 0 by condition (24) below.

Proposition 4.9. A metric g = ( x , x 1 2 , 1) g B on M = G 1 × G /K 2 with K semisimple such that C χ i = κ I i p i , i = 1 2 , , is Einstein if and only if x 2 is a root of the quartic polynomial (23) p x ( ) = ax 4 + bx 3 + cx 2 + dx + e, and x 2 1 = -Hx 2 2 Ex 2 2 + Fx 2 + G , where

$$& \stackrel { u } { a } \colon \dots \\ & a \colon = D ^ { 2 } E ^ { 2 } + B ^ { 2 } E H > 0, \quad b \colon = B ^ { 2 } F H - 2 D E ( A H - D F ) < 0, \\ & c \colon = ( A H - D F ) ^ { 2 } + 2 D E ( D G - C H ) + B ^ { 2 } G H > 0, \\ & d \colon = - 2 ( A H - D F ) ( D G - C H ) < 0, \quad e \colon = ( D G - C H ) ^ { 2 } > 0.$$

In that case,

$$\frac { 1 } { c _ { 1 } } < x _ { 2 } < \frac { ( c _ { 1 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) - c _ { 1 } \lambda } { c _ { 1 } ^ { 2 } \lambda } = \frac { c _ { 1 } G } { E }.$$

Proof. We consider the quadratic polynomial

$$q ( x ) \coloneqq E x ^ { 2 } + F x + G = ( c _ { 1 } x - 1 ) ( ( c _ { 1 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) - c _ { 1 } \lambda ( c _ { 1 } x + 1 ) ).$$

It follows from Remark 4.2 that its two roots satisfy

$$\frac { 1 } { c _ { 1 } } < \frac { ( c _ { 1 } - 1 ) ( 2 \kappa _ { 2 } + 1 ) - c _ { 1 } \lambda } { c _ { 1 } ^ { 2 } \lambda } \ \text{ if and only if } \ a _ { 2 } < \frac { 2 d + n _ { 2 } } { 2 d + 2 n _ { 2 } },$$

which always hold by [DZ, Theorem 1]. Thus condition (24) follows from the fact that q x ( 2 ) &gt; 0 by (22).

If g is Einstein, then by (22), q x ( 2 ) &gt; 0 and x 2 1 = -Hx 2 2 q x ( 2 ) . It now follows from (21) that

$$x _ { 1 } = & \frac { 1 } { B x _ { 2 } ^ { 2 } } ( - A x _ { 1 } ^ { 2 } x _ { 2 } - C x _ { 1 } ^ { 2 } - D x _ { 2 } ^ { 2 } ) = \frac { 1 } { B x _ { 2 } ^ { 2 } } ( - x _ { 1 } ^ { 2 } ( A x _ { 2 } + C ) - D x _ { 2 } ^ { 2 } ) \\ = & \frac { 1 } { B x _ { 2 } ^ { 2 } } \left ( \frac { H x _ { 2 } ^ { 2 } } { q ( x _ { 2 } ) } ( A x _ { 2 } + C ) - D x _ { 2 } ^ { 2 } \right ) = \frac { H ( A x _ { 2 } + C ) - D q ( x _ { 2 } ) } { B q ( x _ { 2 } ) }, \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

which implies that

$$\frac { - H x _ { 2 } ^ { 2 } } { q ( x _ { 2 } ) } = \left ( \frac { H ( A x _ { 2 } + C ) - D ( E x _ { 2 } ^ { 2 } + F x _ { 2 } + G ) } { B q ( x _ { 2 } ) } \right ) ^ { 2 }.$$

This is equivalent to

$$\text{$1$ nis equivalent to} \\ ( 2 6 ) & \quad - B ^ { 2 } H x _ { 2 } ^ { 2 } ( E x _ { 2 } ^ { 2 } + F x _ { 2 } + G ) = \left ( H ( A x _ { 2 } + C ) - D ( E x _ { 2 } ^ { 2 } + F x _ { 2 } + G ) \right ) ^ { 2 } \\ = & H ^ { 2 } ( A x _ { 2 } + C ) ^ { 2 } + D ^ { 2 } ( E x _ { 2 } ^ { 2 } + F x _ { 2 } + G ) ^ { 2 } - 2 D H ( A x _ { 2 } + C ) ( E x _ { 2 } ^ { 2 } + F x _ { 2 } + G ) \\ = & H ^ { 2 } \left ( A ^ { 2 } x _ { 2 } ^ { 2 } + C ^ { 2 } + 2 A C x _ { 2 } \right ) + D ^ { 2 } \left ( E ^ { 2 } x _ { 2 } ^ { 4 } + F ^ { 2 } x _ { 2 } ^ { 2 } + G ^ { 2 } + 2 E F x _ { 2 } ^ { 3 } + 2 E G x _ { 2 } ^ { 2 } + 2 F G x _ { 2 } \right ) \\ & \quad - 2 D H \left ( A E x _ { 2 } ^ { 3 } + ( A F + C E ) x _ { 2 } ^ { 2 } + ( A G + C F ) x _ { 2 } + C G \right ), \\ \text{which is useful checked to be non-sensitivity $n(r\lambda)=0$}$$

which is easily checked to be precisely p x ( 2 ) = 0.

̸

Conversely, we assume that p x ( 2 ) = 0 for some x 2 ∈ R (in particular, x 2 = 0). It follows from (26) that q x ( 2 ) ≥ 0, where equality holds if and only if x 2 = -C A = 2 κ 2 c 1 (2 κ 2 +1) &lt; 1 c 1 , a contradiction by (25). Thus q x ( 2 ) &gt; 0 and if we set x 2 1 = -Hx 2 2 q x ( 2 ) , then (21) and (22) hold and hence g is Einstein, concluding the proof. □

According to Proposition 4.9, Einstein metrics of the form g = ( x , x 1 2 , 1) g B are in oneto-one correspondence with the real roots of the quartic polynomial p given in (23), which can be analyzed by considering its discriminant

$$\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta = 2 5 6 a ^ { 3 } e ^ { 3 } - 1 9 2 a ^ { 2 } b d e ^ { 2 } - 1 2 8 a ^ { 2 } c ^ { 2 } e ^ { 2 } + 1 4 4 a ^ { 2 } c d ^ { 2 } e - 2 7 a ^ { 2 } d ^ { 4 } \\ & + 1 4 4 a b ^ { 2 } c e ^ { 2 } - 6 a b ^ { 2 } d ^ { 2 } e - 8 0 a b c ^ { 2 } d e + 1 8 a b c d ^ { 3 } + 1 6 a c ^ { 4 } e \\ & - 4 a c ^ { 3 } d ^ { 2 } - 2 7 b ^ { 4 } e ^ { 2 } + 1 8 b ^ { 3 } c d e - 4 b ^ { 3 } d ^ { 3 } - 4 b ^ { 2 } c ^ { 3 } e + b ^ { 2 } c ^ { 2 } d ^ { 2 },$$

Figure 2. Graph of the quartic polynomial p whose roots are in bijection with invariant Einstein metrics on M 21 = G 2 × Sp(2) / SU(2) (left) and M 29 = SU(5) × SU(4) Sp(2) (right), which admit two and none, respec-/ tively.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00456v2-figure-f91ecff3-8180-4245-8dcd-663c0531a04b.jpg)

and other three invariants given by,

R := 64 a e 3 -16 a c 2 2 +16 ab c 2 -16 a bd 2 -3 b 4 , S := 8 ac -3 b 2 , T := b 3 +8 a d 2 -abc.

The following results on the nature of the roots of p are well known (see [La, R]):

- (i) ∆ &lt; 0: two different real roots and two non-real complex roots.
- (ii) ∆ &gt; 0:
- a) R &lt; 0 and S &lt; 0: four different real roots.
- b) R ≥ 0 or S ≥ 0: no real roots.
- (iii) ∆ = 0:

̸

- a) S ≤ 0 or T = 0: at least one real root.
- b) S &gt; 0 and T = 0: no real roots.

In order to give an idea of the length of computations involved in deciding whether p has a real root or not, we next work out three examples with the aid of Maple. Note that any invariant metric is necessarily of the form g = ( x , x 1 2 , 1) g B up to scaling in the three cases (see § 5 below).

Example 4.10 . For the space M 21 = G 2 × Sp(2) / SU(2), we have that

$$n _ { 1 } = 1 1, \ \ n _ { 2 } = 7, \ \ d = 3, \ \ a _ { 1 } = \frac { 1 } { 5 6 }, \ \ a _ { 2 } = \frac { 1 } { 1 5 },$$

and so c 1 = 71 56 , λ = 1 71 , κ 1 = 15 56 and κ 2 = 2 5 . A straightforward computation gives that

$$p ( x ) = & \frac { 3 7 1 6 4 5 8 3 4 6 2 5 } { 4 8 3 5 8 6 5 5 7 8 7 0 0 8 } x ^ { 4 } - \frac { 1 5 9 9 2 0 4 5 0 8 5 3 7 5 } { 9 6 7 1 7 3 1 1 5 7 4 0 1 6 } x ^ { 3 } + \frac { 1 8 0 6 7 8 6 9 6 5 3 6 2 5 } { 9 6 7 1 7 3 1 1 5 7 4 0 1 6 } x ^ { 2 } - \frac { 1 6 4 9 8 1 8 1 2 5 } { 2 6 9 8 5 8 5 7 0 2 4 } x ^ { 4 } + \frac { 4 5 5 6 2 5 } { 3 0 1 8 1 4 4 } \\ & \approx 0. 0 0 7 6 x ^ { 4 } - 0. 1 6 5 3 x ^ { 3 } + 0. 1 8 6 8 x ^ { 2 } - 0. 0 6 1 1 x + 0. 0 1 5 1,$$

and

∆ = -0 000001495938639 . , S = -0 07053475834 . , R = -0 001656504408 . .

Thus p has exactly two real roots, that is, M 21 = G 2 × Sp(2) / SU(2) admits exactly two invariant Einstein metrics by Proposition 4.9 (see Figures 1 and 2).

Example 4.11 . Consider M 29 = SU(5) × SU(4) Sp(2), for which /

$$n _ { 1 } = 1 4, \ \ n _ { 2 } = 5, \ \ d = 1 0, \ \ a _ { 1 } = \frac { 3 } { 1 0 }, \ \ a _ { 2 } = \frac { 3 } { 4 },$$

Table 1. Isotropy irreducible homogeneous spaces G /K i with K simple (see [LW4, Tables 3,4,5,6,7,9]). For each K appearing in any of the last three families, the extra G i 's are underlined. We denote by SO( d ) the group on which K d is embedded via the adjoint representation. The notation G in ,a i i means that dim G /K i = n i and B k = a i B , e.g., in the third line, g i SO(8) 20 , 1 6 means that dim SO(8) / SU(3) = 20 and B su (3) = 1 6 B so (8) .

| K               | d            | G i                                                                                                                     |
|-----------------|--------------|-------------------------------------------------------------------------------------------------------------------------|
| SU(2)           | 3            | SU(3) 5 , 1 6 , Sp(2) 7 , 1 15 , G 2 11 , 1 56                                                                          |
| SU(3)           | 8            | G 2 6 , 3 4 , SO( 8 ) 20 , 1 6 , SU(6) 27 , 1 10 , E 6 70 , 1 36 , E 7 125 , 1 126                                      |
| G 2             | 14           | SO(7) 7 , 4 5 , E 6 64 , 1 9 , SO( 14 ) 77 , 1 12                                                                       |
| Sp(3)           | 21           | SO(14) 70 , 13 18 , SU(6) 14 , 2 3 , Sp(7) 84 , 1 10 , SO( 21 ) 189 , 1 19                                              |
| SU(6)           | 35           | SU(15) 189 , 1 10 , Sp(10) 175 , 1 11 , SU(21) 405 , 1 28 , SO( 35 ) 560 , 1 33                                         |
| SO(9)           | 36           | SO(10) 9 , 7 8 , F 4 16 , 7 9 , SU(9) 44 , 7 18 , SO(16) 84 , 1 4 , SO( 36 ) 594 , 1 , SO(44) 910 , 1                   |
| Sp(4)           | 36           | SU(8) 27 , 5 8 , SO(27) 315 , 23 30 , E 6 42 , 5 12 , SO( 36 ) 594 , 1 34 , SO(42) 825 , 1 56                           |
| SO(10)          | 45           | SO(11) 10 , 8 9 , SU(10) 54 , 2 5 , SU(16) 210 , 1 8 , SO( 45 ) 945 , 1 , SO(54) 1386 , 1 ,                             |
| F 4             | 52           | E 6 26 , 3 4 , SO(26) 273 , 1 8 , SO( 52 ) 1274 , 1 50                                                                  |
| SU(8)           | 63           | E 7 70 , 4 9 , SU(28) 720 , 1 21 , SU(36) 1232 , 1 45 , SO( 63 ) 1890 , 1 61 , SO(70) 2352 , 1                          |
| SO(12)          | 66           | SO(13) 12 , 10 11 , SU(12) 77 , 5 12 , Sp(16) 462 , 5 68 , SO( 66 ) 2079 , 1 64 , SO(77) 2860 , 1 105                   |
| E 6             | 78           | SU(27) 650 , 2 27 , SO( 78 ) 2925 , 1 76                                                                                |
| SU(9)           | 80           | E 8 168 , 3 10 , SU(36) 1215 , 1 28 , SU(45) 1944 , 1 55 , SO( 80 ) 3080 , 1 78                                         |
| SO(16)          | 120          | SO(17) 16 , 14 15 , E 8 128 , 7 15 , SU(16) 135 , 7 16 , SO( 120 ) 7020 , 1 118 , SO(128) 8008 , 1 , SO(135) 8925 , 1 , |
| E 7             | 133          | Sp(28) 1463 , 3 58 , SO( 133 ) 8645 , 1 131                                                                             |
| E 8             | 248          | SO( 248 )                                                                                                               |
| SO( m ) , m ≥ 5 | m ( m - 1) 2 | SO( m +1) , SU( m ) , SO( m ( m - 1 ) 2 ) , SO( ( m - 1)( m +2) 2 ) ,                                                   |
| SU( m ) , m ≥ 4 | m 2 - 1      | SU( m ( m - 1) 2 ) , SU( m ( m +1) 2 ) , SO( m 2 - 1 )                                                                  |
| Sp( m ) , m ≥ 3 | m (2 m +1)   | SU(2 m ) , SO(( m - 1)(2 m +1)) , SO( m ( 2m + 1 ))                                                                     |

and hence c 1 = 7 5 , λ = 3 14 , κ 1 = 1 2 and κ 2 = 1 2 . It is straightforward to see that

$$p ( x ) = & \frac { 2 2 3 2 9 3 } { 3 9 0 6 2 5 } x ^ { 4 } - \frac { 5 2 4 1 0 4 } { 3 9 0 6 2 5 } x ^ { 3 } + \frac { 4 5 5 4 0 6 } { 3 9 0 6 2 5 } x ^ { 2 } - \frac { 3 7 1 2 8 } { 7 8 1 2 5 } x + \frac { 1 5 2 1 } { 1 5 6 2 5 }$$

$$p ( x ) = & \frac { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ { \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \max _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ { \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _. \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \sum _ \text{ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } ) } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } { } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } _ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } }, } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } \, } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } }, \, } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } { }, } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } { \ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } ( } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } ; \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \, \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

and

∆ = 0 0001962504947 . , R = 0 1971272177 . , S = -0 06909613037 . .

This implies that p has no real roots, that is, M 29 = SU(5) × SU(4) Sp(2) does not admit / an invariant Einstein metric by Proposition 4.9 (see Figures 1 and 2).

Example 4.12 . Consider the space M n = SU( m ) × SO( m +1) SO( / m ), m ≥ 6, for which it is easy to see that

$$n = m ^ { 2 } + m - 1, \ \ d = \frac { m ( m - 1 ) } { 2 }, \ \ n _ { 1 } = \frac { ( m - 1 ) ( m + 2 ) } { 2 }, \ \ n _ { 2 } = m, \ \ \kappa _ { 1 } = \kappa _ { 2 } = \frac { 1 } { 2 },$$

and

$$a _ { 1 } = \frac { m - 2 } { 2 m }, \ \ a _ { 2 } = \frac { m - 2 } { m - 1 }, \ \ c _ { 1 } = \frac { 3 m - 1 } { 2 m }, \ \ \lambda = \frac { m - 2 } { 3 m - 1 }.$$

With the aid of Maple, it is straightforward to see that

$$\Delta = \frac { 4 7 8 2 9 6 9 \, ( m + 2 ) ^ { 4 } ( m - 1 ) ^ { 1 2 } ( m - 2 / 3 ) ^ { 2 } ( m + 1 ) ^ { 3 } ( m - 1 / 3 ) ^ { 1 2 } } { 4 2 9 4 9 6 7 2 9 6 m ^ { 4 4 } } q _ { 1 } ( m ),$$

$$\Delta & = \frac { 4 7 8 2 9 6 9 \, ( m + 2 ) ^ { 4 } ( m - 1 ) ^ { 1 2 } ( m - 2 / 3 ) ^ { 2 } ( m + 1 ) ^ { 3 } ( m - 1 / 3 ) ^ { 1 2 } } { 4 2 9 4 9 6 7 2 9 6 m ^ { 4 4 } } q _ { 1 } ( m ), \\ R & = \frac { ( m - 1 ) ^ { 6 } ( 3 m - 1 ) ^ { 1 0 } } { 1 6 7 7 7 2 1 6 m ^ { 3 2 } } q _ { 2 } ( m ), \quad S = \frac { ( 3 m - 1 ) ^ { 6 } ( m - 1 ) ^ { 4 } } { 4 0 9 6 m ^ { 1 6 } } q _ { 3 } ( m ), \\ \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \ tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde{ \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ }; \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \ \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \v \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \tilde { \ } \nu }.$$

where q , q 1 2 , q 3 are polynomials of degree 11, 16 and 6, respectively, and that q i ( m &gt; ) 0 for any m ≥ 6. We therefore obtain that ∆ , R, S &gt; 0 and so p has no real roots, which implies that these spaces do not admit invariant Einstein metrics by Proposition 4.9.

The aligned homogeneous spaces that can be constructed as in the above two examples from the other irreducible symmetric spaces H/K with K simple (listed in [LW4, Table 3]) are all given in Table 3. The existence problem can be solved in much the same way as the above examples, obtaining that only one of these seven spaces admits an invariant Einstein metric.

In the following example, we show that the existence problem is very sensitive to the embedding of K in G 1 and G 2 .

Example 4.13 . Using the isotropy irreducible space Sp(2) / SU(2) (see [LW4, Table 6]), we construct two aligned spaces

$$M _ { 1 } = S U ( 3 ) \times S p ( 2 ) / \Delta _ { 1 } S U ( 2 ), \quad M _ { 2 } = S U ( 3 ) \times S p ( 2 ) / \Delta _ { 2 } S U ( 2 ),$$

where π 1 (SU(2)) is the usual block SU(2) ⊂ SU(3) for M 1 and it is the symmetric pair SO(3) ⊂ SU(3) for M 2 . Thus in both cases, n = 15, d = 3, n 1 = 5, n 2 = 7 and the pair ( a , a 1 2 ) is respectively given by ( 2 3 , 1 15 ) and ( 1 6 , 1 15 ). Since the usual embedding does not satisfy that the Casimir operator is a multiple of the identity, it follows from Theorem 4.1 that there is no Einstein metric of the form g = ( x , x 1 2 , x 3 ) on the space M 1 . On the contrary, for M 2 , the Casimir condition holds since both spaces are isotropy irreducible and it is straightforward to see that ∆( p ) &lt; 0, so there exists two Einstein metrics of the form g = ( x , x 1 2 , x 3 ) on the space M 2 .

## 5. The class C

The isotropy representation of an aligned homogeneous space M = G/K is multiplicityfree (i.e., the sum of pairwise inequivalent irreducible representations) if and only if the following conditions hold:

- (i) G = G 1 × G 2 and the isotropy representations p 1 , p 2 of G /π 1 1 ( K ) and G /π 2 2 ( K ), respectively, are both multiplicity-free with pairwise inequivalent irreducible components.

## JORGE LAURET AND CYNTHIA WILL

| M = G/K                                                | m   | a 1                | a 2                |            |
|--------------------------------------------------------|-----|--------------------|--------------------|------------|
| SO( ( m - 1)( m +2) 2 ) × SO( m +1) / SO( m )          | ≥ 5 | 2 ( m +3)( m +2)   | m - 2 m - 1        | ∃ , m ≤ 8  |
| SO( ( m - 1)( m +2) 2 ) × SU( m ) / SO( m )            | ≥ 5 | 2 ( m +3)( m +2)   | m - 2 2 m          | ∃          |
| SU( m ) × SO( m +1) / SO( m )                          | ≥ 6 | m - 2 2 m          | m - 2 m - 1        | ∄          |
| SO( m ( m - 1) 2 ) × SO( m +1) / SO( m )               | ≥ 6 | 2 m ( m - 1) - 4   | m - 2 m - 1        | ∄          |
| SO( ( m - 1)( m +2) 2 ) × SO( m ( m - 1) 2 ) / SO( m ) | ≥ 5 | 2 ( m +3)( m +2)   | 2 m ( m - 1) - 4   | ∃          |
| SO( m ( m - 1) 2 ) × SU( m ) / SO( m )                 | ≥ 5 | 2 m ( m - 1) - 4   | m - 2 2 m          | ∃          |
| SU( m ( m +1) 2 ) × SO( m 2 - 1) / SU( m )             | ≥ 5 | 2 ( m +1)( m +2)   | 1 m 2 - 3          | ∃          |
| SU( m ( m - 1) 2 ) × SO( m 2 - 1) / SU( m )            | ≥ 5 | 2 ( m - 1)( m - 2) | 1 m 2 - 3          | ∃          |
| SU( m ( m +1) 2 ) × SU( m ( m - 1) 2 ) / SU( m )       | ≥ 5 | 2 ( m +1)( m +2)   | 2 ( m - 1)( m - 2) | ∃          |
| SO( m (2 m +1)) × SU(2 m ) / Sp( m )                   | ≥ 3 | 1 m (2 m +1) - 2   | m +1 2 m           | ∃          |
| SU(2 m ) × SO(( m - 1)(2 m +1)) / Sp( m )              | ≥ 3 | m +1 2 m           | a m                | ∃ , m ≥ 10 |
| SO( m (2 m +1)) × SO(( m - 1)(2 m +1)) / Sp( m )       | ≥ 3 | 1 m (2 m +1) - 2   | a m                | ∃          |

Table 2. All infinite families that can be constructed from two different isotropy irreducible spaces G /K i with K simple (see Table 1). Here a m := 1 -2 m 3 -3 m 2 -3 m +2 m m ( 2 -1)(2 m -3) .

| M n = G/K                     | n   | d            | n 1               | n 2   | a 1       | a 2         | c 1         | λ             |    |
|-------------------------------|-----|--------------|-------------------|-------|-----------|-------------|-------------|---------------|----|
| SU(5) × SU(4) / Sp(2)         | 29  | 10           | 14                | 5     | 3 10      | 3 4         | 7 5         | 3 14          | ∄  |
| SU(9) × F 4 / SO(9)           | 96  | 36           | 44                | 16    | 7 18      | 7 9         | 3 2         | 7 27          | ∄  |
| E 6 × SU(8) / Sp(4)           | 105 | 36           | 42                | 27    | 5 12      | 5 8         | 5 3         | 1 4           | ∄  |
| F 4 × SO(10) / SO(9)          | 61  | 36           | 16                | 9     | 7 9       | 7 8         | 17 9        | 7 17          | ∄  |
| SU(16) × E 8 / SO(16)         | 383 | 120          | 135               | 128   | 7 16      | 7 15        | 31 16       | 7 31          | ∃  |
| E 8 × SO(17) / SO(16)         | 264 | 128          | 16                | 120   | 7 15      | 14 15       | 3 2         | 14 45         | ∄  |
| SU( m ) × SO( m +1) / SO( m ) |     | m ( m - 1) 2 | ( m - 1)( m +2) 2 | m     | m - 2 2 m | m - 2 m - 1 | 3 m - 1 2 m | m - 2 3 m - 1 | ∄  |

Table 3. All examples that can be constructed from two different irreducible symmetric spaces G /K i with K simple (see [LW4, Table 3]). Here κ 1 = κ 2 = 1 2 , a i = 2 d -n i 2 d , c 1 = a 1 + a 2 a 2 and λ = a a 1 2 a 1 + a 2 . In the last line, m ≥ 6 and n = m 2 + m -1.

- (ii) The center of K has dimension ≤ 1 (i.e., either K is semisimple or dim k 0 = 1).
- (iii) None of the irreducible components of p 1 and p 2 is equivalent to any of the adjoint representations k 0 , k 1 , . . . , k t .

̸

Example 5.1 . The lowest dimensional examples of this situation are the spaces M 5 = SU(2) × SU(2) /S 1 p,q , p = q (see Example 2.3), which are the only cases with dim K = 1. It is well known that these spaces all admit a unique invariant Einstein metric (see [BWZ, Example 6.9]).

In this section, we study multiplicity-free aligned homogeneous spaces M = G/K = G 1 × G /K 2 which in addition satisfy that

$$\mathcal { M } ^ { G } = \{ g = ( x _ { 1 }, x _ { 2 }, x _ { 3 } ) \colon x _ { i } > 0 \},$$

so we need to assume that G /π 1 1 ( K ) and G /π 2 2 ( K ) are isotropy irreducible spaces and K is simple. This class of spaces will be called C .

The existence of a G -invariant Einstein metric on a space in C is therefore a case covered by Theorem 4.1 and Proposition 4.9. In this case, the graph is always connected and the B¨ ohm's simplicial complex and Graev's nerve are both contractible (see [BK2]). Indeed, the only intermediate subalgebras are

$$\tilde { \iota } \oplus \tilde { p } _ { 3 } \subset \tilde { \iota } \oplus \tilde { p } _ { 1 } \oplus \tilde { p } _ { 3 }, \quad \tilde { \iota } \oplus \tilde { p } _ { 1 } \oplus \tilde { p } _ { 3 }.$$

Thus the existence of a G 1 × G 2 -invariant Einstein metric on M = G 1 × G /K 2 does not follow from any known general existence theorem, it is actually equivalent by Proposition 4.9 to the existence of a real root for the quartic polynomial p given in (23), from which the following characterization follows.

Proposition 5.2. Let M = G 1 × G /K 2 be a homogeneous space in the class C , i.e., G /π 1 1 ( K ) , G /π 2 2 ( K ) are different isotropy irreducible spaces and K is simple, and set the numbers n 1 := dim G /K, 1 n 2 := dim G /K, 2 d := dim K, B = k a 1 B g 1 | k , B = k a 2 B g 2 | k .

Then M admits a G 1 × G 2 -invariant Einstein metric if and only if one of the following inequalities holds:

- (i) ∆ &lt; 0 .
- (ii) ∆ &gt; 0 , R &lt; 0 and S &lt; 0 .

̸

- (iii) ∆ = 0 , S ≤ 0 or T = 0 ,

where ∆ , R S , and T are given in terms of n , n 1 2 , d, a 1 , a 2 as in Section 4.2.

Remark 5.3 . The case when K is either semisimple (non-simple) or has a one-dimensional center will be considered in [LW5].

Example 5.4 . A general construction of homogeneous spaces in C can be given using Example 2.9 as follows: given any isotropy irreducible space H/K with K simple, consider SO( ) d /K , where d = dim K , and the aligned homogeneous space M n = SO( ) d × H/ ∆ K . Thus n = d d ( -1) 2 + n 2 , where n 2 = dim H -d , and if B k = a 2 B h | k , then

$$a _ { 1 } = \frac { 1 } { d - 2 }, \ \ c _ { 1 } = \frac { ( d - 2 ) a _ { 2 } + 1 } { ( d - 2 ) a _ { 2 } }, \ \ \lambda _ { 1 } = \frac { a _ { 2 } } { ( d - 2 ) a _ { 2 } + 1 }, \ \ \kappa _ { 1 } = \frac { 2 } { d - 2 }, \ \ \kappa _ { 2 } = \frac { d ( 1 - a _ { 2 } ) } { n _ { 2 } }.$$

This subclass of C consists of 7 infinite families, where H/K belongs to one of the families in lines 1,2,3 of [LW4, Table 3] and lines 2,3,5,6 of [LW4, Table 4], and 24 isolated spaces, where H/K is one of the spaces with K simple in [LW4, Tables 3,6,7].

The class C can be classified using Table 1, which contains all the isotropy irreducible homogeneous spaces G /K i with K simple and was obtained from [LW4, Tables 3,4,5,6,7,9]. A careful inspection of Table 1 gives that the class C consists of 12 infinite families and 70 sporadic examples. The existence problem for invariant Einstein metrics among C can be solved by computing the signs of the invariants ∆ , R, S given in § 4.2 with the help of Maple. The results obtained are shown in three tables:

- · Among the 12 families, existence mostly holds, there are only 3 non-existence infinite families (see Table 2).
- · All the spaces such that G /π 1 1 ( K ) and G /π 2 2 ( K ) are both irreducible symmetric spaces are listed in Table 3 (1 family and 6 examples). Non-existence prevails.
- · A number of 24 of the 70 sporadic examples are given in Table 4, among which existence holds for 16 of them. This table includes all the spaces with an exceptional K , as well as with the smallest K 's which do not belong to any infinite family: SU(2), SU(3), G , 2 Sp(3).
- · The remaining 41 sporadic examples are listed in Table 5. Only 6 of them do not admit an invariant Einstein metric.

Each sporadic case was worked out using Maple in two different ways: 1) by computing the signs of the invariants ∆ , R, S given in § 4.2, and 2) by directly solving the equations (21) and (22) (or equivalently, (15) and (16)).

The following observations on this classification are in order:

- · All the existence cases have ∆( p ) &lt; 0, so there are exactly two Einstein metrics on each space for which existence holds.
- · The non-existence cases all have ∆( p , R p ) ( ) &gt; 0 (cf. conditions above Example 4.10).
- · If both spaces G 1 × G /K 1 and G 2 × G /K 2 admit a diagonal Einstein metric, i.e., according to Remark 4.3,

$$( 2 \kappa _ { i } + 1 ) ^ { 2 } \geq 8 a _ { i } ( 1 - a _ { i } + \kappa _ { i } ), \quad i = 1, 2,$$

then there is an Einstein metric on the aligned space M = G 1 × G /K 2 .

- · The converse to the above assertion does not hold.

We do not know whether the above properties can be prove without using the classification, there may be a conceptual reason behind them.

## References

[Be] A. Besse , Einstein manifolds, Ergeb. Math. 10 (1987), Springer-Verlag, Berlin-Heidelberg.

- [B1] C. B¨hm o , Non-existence of homogeneous Einstein metrics, Comment. Math. Helv. 80 (2005), 123146.

[B2] C. B¨hm o , Homogeneous Einstein metrics and simplicial complexes, J. Diff. Geom. 67 (2004), 79165.

[BK1] C. B¨hm, M. Kerr o , Low-dimensional homogeneous Einstein manifolds, Trans. Amer. Math. Soc. 358 (2005), 1455-1468.

[BK2] C. B¨hm, M. Kerr o , Homogeneous Einstein manifolds and butterflies, Ann. Glob. Anal. Geom. 63 (2023), 29.

[BWZ] C. B¨hm, M.Y. Wang, W. Ziller o , A variational approach for compact homogeneous Einstein manifolds, Geom. Funct. Anal. 14 (2004), 681-733.

[DZ] J. D'Atri, W. Ziller , Naturally reductive metrics and Einstein metrics on compact Lie groups, Mem. Amer. Math. Soc. 215 (1979).

[DK] W. Dickinson, M. Kerr , The geometry of compact homogeneous spaces with two isotropy summands, Ann. Global Anal. Geom. 34 (2008), 329-350. Correction: Ann. Global Anal. Geom. 66 (2024), no. 2, Paper No. 8.

- [G] M. M. Graev , The existence of invariant Einstein metrics on a compact homogeneous space, Trans.Moscow Math. Soc. 73 (2012), 1-28.
- [LL] E.A. Lauret, J. Lauret , The stability of standard homogeneous Einstein manifolds, Math. Z. 303 , 16.

[LW1] J. Lauret, C.E. Will , On the stability of homogeneous Einstein manifolds II, J. London Math. Soc. 106 (2022), 3638-3669.

[LW2] J. Lauret, C.E. Will , Harmonic 3-forms on compact homogeneous spaces, J. Geom. Anal. 33 , 175.

[LW3] J. Lauret, C.E. Will , Bismut Ricci flat generalized metrics on compact homogeneous spaces, Transactions Amer. Math. Soc. 376 (2023), 7495-7519. Corrigendum: Transactions Amer. Math. Soc. , in press, DOI: https://doi.org/10.1090/tran/9179 (arXiv:2301.02335v4).

[LW4] J. Lauret, C.E. Will , Einstein metrics on homogeneous spaces M = H × H/ ∆ K , Comm. Contemp. Math , in press (arXiv).

[LW5] J. Lauret, C.E. Will , Ricci curvature of aligned homogeneous spaces, preprint 2024 (arXiv).

[La] D. Lazard , Quantifier elimination: Optimal solution for two classical examples, J. Symb. Comp. 5 (1988), 261-266.

[R] E.L. Rees , Graphical Discussion of the Roots of a Quartic Equation, Amer. Math. Monthly 29 (1922), 51-55.

[WZ1] M. Y. Wang, W. Ziller , On normal homogeneous Einstein manifolds, Ann. Sci. Ecole Norm. ´ Sup. 18 (1985), 563-633.

[WZ2] M.Y. Wang, W. Ziller , Existence and nonexistence of homogeneous Einstein metrics, Invent. Math. 84 (1986), 177-194.

FaMAF, Universidad Nacional de C´rdoba and CIEM, CONICET (Argentina) o

Email address : jorgelauret@unc.edu.ar

Email address : cynthia.will@unc.edu.ar

## JORGE LAURET AND CYNTHIA WILL

| M n = G/K              |     n |   d |   n 1 |   n 2 | a 1   | a 2   | c 1     | λ      |    |
|------------------------|-------|-----|-------|-------|-------|-------|---------|--------|----|
| Sp(2) × SU(3) / SU(2)  |    15 |   3 |     7 |     5 | 1 15  | 1 6   | 7 2     | 1 21   | ∃  |
| G 2 × SU(3) / SU(2)    |    19 |   3 |    11 |     5 | 1 56  | 1 6   | 31 28   | 1 62   | ∃  |
| G 2 × Sp(2) / SU(2)    |    21 |   3 |    11 |     7 | 1 56  | 1 15  | 71 56   | 1 71   | ∃  |
| SO(8) × G 2 / SU(3)    |    34 |   8 |    20 |     6 | 1 6   | 3 4   | 11 9    | 3 22   | ∄  |
| SU(6) × G 2 / SU(3)    |    41 |   8 |    27 |     6 | 1 10  | 3 4   | 17 15   | 3 34   | ∄  |
| E 6 × G 2 / SU(3)      |    84 |   8 |    70 |     6 | 1 36  | 3 4   | 28 27   | 3 112  | ∄  |
| E 7 × G 2 / SU(3)      |   139 |   8 |   125 |     6 | 1 126 | 3 4   | 191 189 | 3 382  | ∄  |
| SU(6) × SO(8) / SU(3)  |    55 |   8 |    27 |    20 | 1 10  | 1 6   | 8 5     | 1 16   | ∃  |
| E 6 × SO(8) / SU(3)    |    98 |   8 |    70 |    20 | 1 36  | 1 6   | 7 6     | 1 42   | ∃  |
| E 7 × SO(8) / SU(3)    |   153 |   8 |   125 |    20 | 1 126 | 1 6   | 22 21   | 1 132  | ∃  |
| E 6 × SU(6) / SU(3)    |   105 |   8 |    70 |    27 | 1 36  | 1 10  | 23 18   | 1 46   | ∃  |
| E 7 × SU(6) / SU(3)    |   160 |   8 |   125 |    27 | 1 126 | 1 10  | 68 63   | 1 136  | ∃  |
| E 7 × E 6 / SU(3)      |   203 |   8 |   125 |    70 | 1 126 | 1 36  | 9 7     | 1 162  | ∃  |
| E 6 × SO(7) / G 2      |    85 |  14 |    64 |     7 | 1 9   | 4 5   | 41 36   | 4 41   | ∄  |
| SO(14) × SO(7) / G 2   |    98 |  14 |    77 |     7 | 1 12  | 4 5   | 53 48   | 4 53   | ∄  |
| SO(14) × E 6 / G 2     |   155 |  14 |    77 |    64 | 1 12  | 1 9   | 7 4     | 1 21   | ∃  |
| Sp(7) × SO(14) / Sp(3) |   175 |  21 |    84 |    70 | 1 10  | 13 18 | 74 65   | 13 148 | ∄  |
| Sp(7) × SU(6) / Sp(3)  |   119 |  21 |    84 |    14 | 1 10  | 2 3   | 23 20   | 2 23   | ∃  |
| SO(21) × Sp(7) / Sp(3) |   295 |  21 |   189 |    84 | 1 19  | 1 10  | 29 19   | 1 29   | ∃  |
| SO(26) × E 6 / F 4     |   351 |  52 |   273 |    26 | 1 8   | 3 4   | 7 6     | 3 28   | ∄  |
| SO(52) × E 6 / F 4     |  1352 |  52 |  1274 |    26 | 1 50  | 3 4   | 77 75   | 3 154  | ∃  |
| SO(52) × SO(26) / F 4  |  1599 |  52 |  1274 |   273 | 1 50  | 1 8   | 29 25   | 1 58   | ∃  |
| SO(78) × SU(27) / E 6  |  3653 |  78 |  2925 |   650 | 1 76  | 2 27  | 179 152 | 2 179  | ∃  |
| SO(133) × Sp(28) / E 7 | 10291 | 133 |  8645 |  1463 | 1 131 | 3 58  | 451 393 | 3 451  | ∃  |

Table 4. A list of 24 sporadic examples. Here κ i = d (1 -a i ) n i , c 1 = a 1 + a 2 a 2 and λ = a a 1 2 a 1 + a 2 .

Table 5. Remaining 41 sporadic examples.

| M = G 1 × G 2 /K                                   |    | M = G 1 × G 2 /K                                           |    |
|----------------------------------------------------|----|------------------------------------------------------------|----|
| Sp(10) 175 , 1 11 × SU(15) 189 , 1 10 / SU(6) 35   | ∃  | SU(28) 720 , 1 21 × E 7 70 , 4 9 / SU(8) 63                | ∃  |
| SU(21) 405 , 1 28 × Sp(10) 175 , 1 11 / SU(6) 35   | ∃  | SU(36) 1232 , 1 45 × E 7 70 , 4 9 / SU(8) 63               | ∃  |
| SO( 35 ) 560 , 1 33 × Sp(10) 175 , 1 11 / SU(6) 35 | ∃  | SO( 63 ) 1890 , 1 61 × E 7 70 , 4 9 / SU(8) 63             | ∃  |
| SO(16) 84 , 1 4 × SO(10) 9 , 7 8 / SO(9) 36        | ∄  | SO(70) 2352 , 1 85 × E 7 70 , 4 9 / SU(8) 63               | ∃  |
| SO(16) 84 , 1 4 × F 4 16 , 7 9 / SO(9) 36          | ∄  | SO(70) 2352 , 1 85 × SU(28) 720 , 1 21 / SU(8) 63          | ∃  |
| SO( 36 ) 594 , 1 34 × F 4 16 , 7 9 / SO(9) 36      | ∃  | SO(70) 2352 , 1 85 × SU(36) 1232 , 1 45 / SU(8) 63         | ∃  |
| SO(44) 910 , 1 66 × F 4 16 , 7 9 / SO(9) 36        | ∃  | SO(70) 2352 , 1 85 × SO( 63 ) 1890 , 1 61 / SU(8) 63       | ∃  |
| SO(16) 84 , 1 4 × SU(9) 44 , 7 18 / SO(9) 36       | ∃  | Sp(16) 462 , 5 68 × SO(13) 12 , 10 11 / SO(12) 66          | ∄  |
| SO( 36 ) 594 , 1 34 × SO(16) 84 , 1 4 / SO(9) 36   | ∃  | Sp(16) 462 , 5 68 × SU(12) 77 , 5 12 / SO(12) 66           | ∃  |
| SO(44) 910 , 1 66 × SO(16) 84 , 1 4 / SO(9) 36     | ∃  | SO( 66 ) 2079 , 1 64 × Sp(16) 462 , 5 68 / SO(12) 66       | ∃  |
| SO(42) 825 , 1 56 × SU(8) 27 , 5 8 / Sp(4) 36      | ∃  | SO(77) 2860 , 1 105 × Sp(16) 462 , 5 68 / SO(12) 66        | ∃  |
| E 6 42 , 5 12 × SO(27) 315 , 23 30 / Sp(4) 36      | ∄  | SU(36) 1215 , 1 28 × E 8 168 , 3 10 / SU(9) 80             | ∃  |
| SO( 36 ) 594 , 1 34 × E 6 42 , 5 12 / Sp(4) 36     | ∃  | SU(45) 1944 , 1 55 × E 8 168 , 3 10 / SU(9) 80             | ∃  |
| SO(42) 825 , 1 56 × E 6 42 , 5 12 / Sp(4) 36       | ∃  | SO( 80 ) 3080 , 1 78 × E 8 168 , 3 10 / SU(9) 80           | ∃  |
| SO(42) 825 , 1 56 × SO(27) 315 , 23 30 / Sp(4) 36  | ∃  | SO(128) 8008 , 1 144 × SO(17) 16 , 14 15 / SO(16) 120      | ∄  |
| SO(42) 825 , 1 56 × SO( 36 ) 594 , 1 34 / Sp(4) 36 | ∃  | SO( 120 ) 7020 , 1 118 × E 8 128 , 7 15 / SO(16) 120       | ∃  |
| SU(16) 210 , 1 8 × SO(11) 10 , 8 9 / SO(10) 45     | ∄  | SO(128) 8008 , 1 144 × E 8 128 , 7 15 / SO(16) 120         | ∃  |
| SU(16) 210 , 1 8 × SU(10) 54 , 2 5 / SO(10) 45     | ∃  | SO(135) 8925 , 1 171 × E 8 128 , 7 15 / SO(16) 120         | ∃  |
| SO( 45 ) 945 , 1 43 × SU(16) 210 , 1 8 / SO(10) 45 | ∃  | SO(128) 8008 , 1 144 × SU(16) 135 , 7 16 / SO(16) 120      | ∃  |
| SO(54) 1386 , 1 78 × SU(16) 210 , 1 8 / SO(10) 45  | ∃  | SO(128) 8008 , 1 144 × SO( 120 ) 7020 , 1 118 / SO(16) 120 | ∃  |
|                                                    |    | SO(135) 8925 , 1 171 × SO(128) 8008 , 1 144 / SO(16) 120   | ∃  |
Jorge Lauret Cynthia Will
Einstein metrics on aligned homogeneous spaces with two factors
Given two homogeneous spaces of the form G_1/K and G_2/K, where G_1 and G_2
are compact simple Lie groups, we study the existence problem for
G_1xG_2-invariant Einstein metrics on the homogeneous space M=G_1xG_2/K. For
the large subclass C of spaces having three pairwise inequivalent isotropy
irreducible summands (12 infinite families and 70 sporadic examples), we obtain
that existence is equivalent to the existence of a real root for certain
quartic polynomial depending on the dimensions and two Killing constants, which
allows a full classification and the possibility to weigh the existence and
non-existence pieces of C.