Compact geodesic orbit spaces with a simple isotropy group

Let M=G/H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M=G/H$$\end{document} be a compact, simply connected, Riemannian homogeneous space, where G is (almost) effective and H is a simple Lie group. In this paper, we first classify all G-naturally reductive metrics on M, and then all G-geodesic orbit metrics on M.


Introduction
A Riemannian manifold (M, g) is called a geodesic orbit manifold (or a manifold with homogeneous geodesics, or a GO manifold) if any geodesic of M is an orbit of a 1parameter subgroup of the full isometry group of (M, g) (without loss of generality, one can replace the full isometry group by its connected identity component).A Riemannian manifold (M = G/H, g), where H is a compact subgroup of the Lie group G and g is a G-invariant Riemannian metric on M, is called a G-geodesic orbit space (or a space with G-homogeneous geodesics, or a G-GO space) if any geodesic of M is an orbit of a 1-parameter subgroup of the group G. Hence a Riemannian manifold (M, g) is a geodesic orbit manifold, if it is a geodesic orbit space with respect to its full isometry group.This terminology was introduced in [22] by O. Kowalski and L. Vanhecke who initiated the systematic study of such spaces.
The GO property which plays the central role in this paper is a very general geometric phenomenon: it is extensively studied in Riemannian, Lorentzian and general pseudo-Riemannian settings, in Finsler geometry (see recent papers [13,37,38] and bibliographies therein), in affine geometry [12], and even for finite metric spaces [8].In all these cases, is not hard to see that the GO property implies homogeneity, but is much stronger.
The class of (Riemannian) geodesic orbit spaces includes (but is not limited to) symmetric spaces, weakly symmetric spaces [4,35,39], normal and generalised normal homogeneous spaces, naturally reductive spaces [10], Clifford-Wolf homogeneous manifolds [6] and δ-homogeneous manifolds [5].For the current state of knowledge in the theory of geodesic orbit spaces and manifolds we refer the reader to the book [7] and the papers [2,14,28] and the bibliographies therein.
Let (M = G/H, g) be a homogeneous Riemannian space and let g = h ⊕ p be an Ad(H)-invariant decomposition, where g is the Lie algebra of G, h is the Lie algebra of H and p is identified with the tangent space of M at eH.The Riemannian metric g is G-invariant and is determined by an Ad(H)-invariant inner product (•, •) on p.The metric g is called naturally reductive if an Ad(H)-invariant complement p can be chosen in such a way that ([X, Y ] p , X) = 0 for all X, Y ∈ p, where the subscript p denotes the p-component.In this case, we say that the (naturally reductive) metric g is generated by the pair (p, (•, •)).For comparison, on the Lie algebra level, g is geodesic orbit if and only if for any X ∈ p (with any choice of p), there exists Z ∈ h such that ([X + Z, Y ] p , X) = 0 for all Y ∈ p [22, Proposition 2.1].It immediately follows that any naturally reductive space is a G-geodesic orbit space; the converse is false when dim M ≥ 6.Clearly, the property of being naturally reductive depends on the choice of the group G (the choice of the presentation M = G/H); both enlarging and reducing G may result in gaining or losing this property.In this paper, the presentation M = G/H (and hence the group G) will be fixed, and so "naturally reductive" will always mean "G-naturally reductive", unless explicitly stated otherwise.
Our setup in this paper is as follows.Let M = G/H be a compact, connected, simply connected, Riemannian homogeneous space, with G acting almost effectively (this means that any normal subgroup of G contained in H is discrete).We classify all the G-GO metrics on M, both naturally reductive and not, under the assumption that H is a simple Lie group (that is, any normal proper subgroup of H is discrete).Note that H is then closed (compact) and connected and G is connected.Moreover, the fundamental group of H must be finite, and since G is compact (and hence reductive), with a finite fundamental group (from the exact sequence of the fibration H → G → G/H), G must be a compact semisimple Lie group.
We first characterise naturally reductive metrics on G/H.Let g = ⊕ N i=1 g i , N ≥ 1, be a decomposition of g into simple ideals.The inclusion h ֒→ g followed by the linear projection g → g i relative to this decomposition defines a projection of h to each of g i , which is a homomorphism of Lie algebras.As h is simple, every such homomorphism is either trivial or injective.Relabel the ideals g i in such a way that g = i=N 1 +1 g i , where 0 ≤ N 0 ≤ N 1 ≤ N, N 0 < N, and the projection of h to g i is trivial for i = 1, . . ., N 0 , is injective, but not surjective for i = N 0 + 1, . . ., N 1 , and is bijective for i = N 1 + 1, . . ., N (so that g N 1 +1 , . . ., g N are isomorphic to h).Denote by •, • i minus the Killing form on g i , for i = 1, . . ., N 0 .For i = N 0 + 1, . . ., N, denote by •, • i the (negative) multiple of the Killing form on g i normalised in such a way that its restriction to the projection of h to g i equals minus the Killing form on h.
Theorem 1.Let M = G/H be a compact, connected, simply connected, Riemannian homogeneous space, where G is almost effective and H is a simple Lie group.An invariant metric on M is (G-)naturally reductive if and only if it is generated by a pair (p, (•, •)) such that, in the above notation, (a) either p = ⊕ i =j g i is an ideal in g, for some j ∈ {N 1 + 2, • • • , N} (so that g j is isomorphic to h), and (•, •) is an ad(p)-invariant inner product on p, that is, (•, •) = i =j β i •, • i , where β i > 0. (b) or p is the orthogonal complement to h ⊂ g relative to an ad(g)-invariant quadratic form Q = N i=1 γ i •, • i on g and (•, •) = Q |p , where (i) either γ i > 0 for all i = 1, . . ., N, (ii) or there exists j ∈ {N 1 + 1, . . ., N} such that γ j < 0 and γ i > 0 for all i = j, and N i=N 0 +1 γ i < 0. Remark 1.Note that all the metrics from (a) are reducible when N > 2; this is not necessarily true for metrics in (b).Also note that if g contains no simple ideals isomorphic to h, then any naturally reductive metric is normal (that is, it is a restriction to p of a bi-invariant metric on g; a normal metric is always naturally reductive).Theorem 1 generalises the result of [27,Theorem 1] for Ledger-Obata spaces.In fact, a Ledger-Obata space is the homogeneous space G/H with N 1 = 0 in our notation.
The classification of G-GO metrics which are not naturally reductive is given in the following Theorem.
Theorem 2. Let M = G/H be a compact, connected, simply connected, Riemannian homogeneous space, where G is almost effective and H is a simple Lie group.Suppose M is a G-GO space.Then either M is (G-)naturally reductive, or one of the following is true.
(A) If M is an irreducible Riemannian manifold, then G is simple and M belongs to the following list, up to a finite cover (the corresponding metrics are given in Table 1).
Note that the cases in (A) are mutually exclusive.We also note that many of these spaces already appeared in the literature.For example, the spaces (1), (8) and (5) with p = 1 are spheres with a GO metric [29]; the spaces (1), ( 4), (9), (10) and (5) with p = 1 are weakly symmetric [36]; the spaces (1), ( 4), (7), (10) and (5) with p = 1 are GO spaces with exactly two irreducible isotropy components [9] 1 .Moreover, the space (6) with n even (and several others from our list) is fibered over a compact symmetric space, with the GO metric having the property that its restriction to the tangent space of the fiber is proportional to the restriction of the Killing form on G (so that the tangent space of the fiber at eH is an eigenspace of the metric endomorphism -see Section 2.1) [33].It should be noted that the GO metrics on the spaces (6) with n even and with n odd are very different -see the details in Table 1; in particular, in the odd case, a nontrivial algebraic condition has to be satisfied.
We note that in the other "extremal" case, when the isotropy subgroup is abelian, any GO metric is naturally reductive by the result of [31] (these two classifications very nicely complement one another; note that some authors include SO(2) in the list of simple groups).
The paper is organised as follows.In Section 2 we provide the necessary background material and also give a detailed description of the GO metrics on the spaces listed in Theorem 2(A) (see Table 1).In Section 3 we prove Theorem 1.In the rest of the paper we give the proof of Theorem 2. The proof is based on the study of different types of submodules in the decomposition of p: trivial, large and adjoint modules are considered in Section 4, and tiny modules, in Section 5 (we refer to Section 2 for unexplained terminology).

Preliminaries
2.1.Generalities.Throughout the paper, we will adopt the assumptions of Theorem 1 and Theorem 2 (although some notions and facts below do not require all of them).Namely, we work with a compact, connected, simply connected, Riemannian homogeneous space M = G/H, where the Lie group G acts almost effectively, and H is a simple Lie group.As we noted above, H is then compact and connected and G is a compact, connected, semisimple Lie group.
Let g be the Lie algebra of G and h ⊂ g the Lie algebra of H. Denote by •, • minus the Killing form on g.Throughout the paper, "orthogonal" means "orthogonal relative to •, • " unless otherwise is explicitly stated.Let g = h ⊕ p be an Ad(H)reductive decomposition (one possibility is to take p as the orthogonal complement m to h in g).Then p can be naturally identified with the tangent space T eH (G/H), and the Riemannian metric g is determined by some positive •, • -symmetric Ad(H)-equivariant endomorphism A : p → p by the formula g eH (X, Y ) = AX, Y , for X, Y ∈ p.We call A the metric endomorphism.
Lemma 1.A homogeneous Riemannian manifold (M = G/H, g) with a semisimple group G and an Ad(H)-reductive decomposition g = h ⊕ p is a G-geodesic orbit space if and only if for any X ∈ p there exists Z ∈ h such that Note that the claim of the Lemma does not depend on a particular choice of p; in particular, one can take p to be the orthogonal complement m to h.In the assumptions of the Lemma, we call any map Z : p → h such that [X + Z(X), AX] = 0 for all X ∈ p, a geodesic graph.In general, a geodesic graph may not be unique, but if it at all exists (that is, if M is a G-GO space), then it can be chosen Ad(H)-equivariant.One obvious, but potentially confusing point here is that although for almost all objects (decompositions, modules, inner products, etc.) throughout the paper Ad(H)-invariancy/equivariancy is synonymous with ad(h)-invariancy/equivariancy respectively, this is not necessarily true for a geodesic graph: an Ad(H)-equivariant geodesic graph does not have to be ad(h)equivariant (the obvious reason being non-linearity -cf.Lemma 3 in Section 2.3).
In the proof of Theorem 2 below we choose and fix p to be the orthogonal complement m to h in g.Let α 1 , . . ., α m > 0 be the (distinct) eigenvalues of the metric endomorphism A, and let m 1 , . . ., m m be the corresponding eigenspaces.Each m i is an H-module and the decomposition m = m 1 ⊕ m 2 ⊕ • • • ⊕ m m is orthogonal and Ad(H)-invariant.Since H is connected, a submodule of m is Ad(H)-irreducible (respectively Ad(H)-invariant) if and only if it is ad(h)-irreducible (respectively ad(h)-invariant).
We can further decompose every submodule m i in the decomposition m = ⊕ m i=1 m i into an orthogonal sum of irreducible modules.Labelling them through we get the orthogonal decomposition (2) m = ⊕ p r=1 n r into irreducible h-modules n r each of which lies in some m i .Note that at least one of the modules n r is nontrivial, as G acts almost effectively (here and below, by a trivial module we mean a module on which the group/algebra acts trivially).
We call an H-module n ⊂ m large if the principal stationary subgroup of the action of Ad(H) on n is discrete.On the level of Lie algebras, n is large if for some X ∈ n (and then for all X in an open and dense subset of n), the centraliser z h (X) in h is trivial.In the context of GO spaces, if m is large (in particular, if one of its submodules is large), then by (1) the geodesic graph Z is uniquely determined on an open, dense subset.
An H-module is called small if it is not large.Clearly a trivial module is always small; the adjoint module is also small.Irreducible small modules for compact simple and semisimple Lie groups are given in [18, Table 1 and 2].In the case of simple groups, the list includes the adjoint representations, the standard representations of the classical groups, the "defining" representations of the exceptional groups, two infinite series and five low-dimensional modules of the classical groups.Note that a small module can be the sum of more than one nontrivial irreducible submodules (see also [15,Section 3]).We call a module tiny if it is small, irreducible, nontrivial and not adjoint; tiny modules are listed in Table 2.
The GO condition imposes strong restrictions on the decompositions of m into the eigenspaces of A and on the decomposition (2).
Lemma 2 ([28, Section 5]).In the assumptions of Theorem 2 (and in the above notation), we have the following.
(a) For any X ∈ m i , Y ∈ m j , with i = j, there exists Remark 2. Note that the last inclusion in Lemma 2(a) is a very powerful fact which will be used in many places in the proofs below (see also Remark 4).Moreover, it defines an Ad(H)-equivariant homomorphism n r × n s → n r ⊗ n s , for all r = s.So in particular, if the irreducible decomposition of the H-module n r × n s contains no modules isomorphic to either n r or n s , we get [n r , n s ] = 0.It would substantially simplify our arguments if a complete or even a partial classification of such pairs of modules would be known (for our purposes, we can assume that at least one of the modules is small), but we were not able to find it in the literature; in many cases in Section 5, we use this condition for individual pairs of modules.

The table.
In the above notation, we give an explicit description of the GO metrics in Theorem 2(A) in the table below (for the proofs, see Lemma 5(g) and Section 5).
In the table, the direct sum always means the orthogonal direct sum; note that in many cases, the modules m i (the eigenspaces of the metric endomorphism A) are reducible.The condition on the eigenvalues of A in the last column in all but one case simply says that for any positive α 1 , . . ., α m , the resulting metric is GO, and that it is naturally reductive only when A is a multiple of the identity (so that the metric is normal); the only exception is case (6 1 ): the eigenvalues of the metric endomorphism A of a GO metric on the space SO(2n + 1)/SU(n) where n ≥ 3 is odd, have to satisfy a certain algebraic condition.
The dimension of the space of GO metrics which are not naturally reductive in all the cases except two is 2 (but note that in case (6 1 ), A has three eigenspaces).The exceptions are case (9) where the dimension is 3 and A can have two or three eigenspaces, and case (10) where A has two eigenspaces which are isomorphic as h-modules, and so the dimension of the space of GO metrics is again 3 (any invariant metric is GO [39]).

H ⊂ G
Modules m i Condition (1) Spin(7) ⊂ SO(8) ⊂ SO(9) m 1 ⊕so(8) = so(9), m 2 ⊕so(7 m 1 , m 2 are any two isomorphic 7-dimensional g 2 -modules in g ⊥ 2 ⊂ so( 8) The following fact, which is a stronger version of [22, Proposition 2.10] (see also [32]), will be useful to detect whether a GO space is naturally reductive, without the necessity to produce a specific p.Lemma 3. Suppose a homogeneous Riemannian manifold (M = G/H, g) is a G-geodesic orbit space.Then (M, g) is naturally reductive if and only if for some (and then for any) Ad(H)-reductive decomposition g = h ⊕ p, there is a geodesic graph Z : p → h which is linear.
Proof.The claim will follow from [22,Proposition 2.10] if we can show that the existence of a linear geodesic graph implies the existence of a linear Ad(H)-equivariant geodesic graph.This is similar to the fact that a geodesic graph can be always chosen Ad(H)equivariant (see the paragraph after Lemma 1 in Section 1).
Suppose we have a linear geodesic graph Z : p → h.It is easy to see that for any h ∈ H, the map X → Ad h Z(Ad h −1 X) is also a geodesic graph.But a convex linear combination of geodesic graphs is also a geodesic graph.Integrating the latter expression over H by the Haar measure µ such that µ(H) = 1 we obtain an Ad(H)-equivariant geodesic graph X → Z ′ (X) := H Ad h Z(Ad h −1 X)dµ(h).Note that Z ′ is linear as Z is such.

Naturally reductive spaces. Proof of Theorem 1
In this section we prove Theorem 1 following the approach in [27, Section 3] (which corresponds, in our notation, to the special case N 1 = 0).Suppose p is an ad(h)-invariant complement to h in g.Then the space q = [p, p] + p is an ideal in g.
By [19,Theorem 4], if a naturally reductive metric is generated by a pair (p, (•, •)), then there is a (unique) ad(q)-invariant, non-degenerate quadratic form Q on q such that (3) The converse is also true: if Q is an ad(q)-invariant, non-degenerate quadratic form which satisfies the first equation of (3) and whose restriction to p is positive definite, then that restriction defines a naturally reductive metric; this follows from ad(q)-invariancy of Q and from the fact that q is complemented in g by an ideal.We clearly have p + h = g, and so in the notation of Section 1, there are only two possible cases.
In the first case, we have q = ⊕ N −1 i=1 g i (up to relabelling the modules g N 1 +1 , . . ., g N ), and then the (linear) projection of h ⊂ g to g N is an isomorphism (so in particular, N 1 < N).Then q ∩ h = 0 and g = q ⊕ h, and so p = q, an ideal.Furthermore, Q = (•, •) by the second equation of (3) and has the form given in (a).
In the second case, q = g.The quadratic form Q is ad(g)-invariant, and so we have Then by (3) the space p is the Q-orthogonal complement to h in g.Note that N − N 0 ≥ 2, for if N = N 0 + 1, we get h = g N and then p = q = ⊕ N −1 i=1 g i .We need to choose γ i in such a way that the restriction of Q to p is positive definite.Clearly, for i = 1, . . ., N 0 we have g i ⊂ p, and so γ i > 0.
Similarly, we must have γ i > 0 for i = N 0 + 1, . . ., N 1 , as every such g i contains a nonzero vector Q-orthogonal to h.The restriction of Q to p will obviously be positive definite if γ i > 0 for all i = N 1 + 1, . . ., N; then Q itself is positive definite and so the metric (•, •) is normal; this gives case (b)(i).Suppose Q is indefinite.If γ j , γ k < 0 for some j, k ∈ {N 1 + 1, . . ., N}, j = k, then Q is negative definite on the Q-orthogonal complement to h in g j ⊕ g k .It therefore remains to consider the case when γ j < 0 for exactly one j ∈ {N 1 + 1, . . ., N}.Up to relabelling we can assume that j = N and so γ i > 0 for all i < N. Identify the images of the (linear) projections of h to g i , i = N 0 + 1, . . ., N, with h (recall that each of these projections is an isomorphism on its image and that every inner product •, • i is normalised in such a way that the corresponding projection is a linear isometry).Then the restriction of Q to p is positive definite if and only if for any Y N 0 +1 , . . ., Y N ∈ h such that N i=N 0 +1 γ i Y i = 0 and not all Y i are zeros, we have N i=N 0 +1 γ i Y i 2 > 0 (where the norm is computed relative to minus the Killing form on h).Equivalently, But this condition is also sufficient, as from , that is, when all Y i are zeros.This gives the condition in (b)(ii) and completes the proof.Remark 3. Using Theorem 1 one can easily write down the inner product and the metric endomorphism A on the orthogonal complement m to h in g.Note that first every γ i , i = N 0 + 1, . . ., N 1 , has to be re-scaled by the ratio of the restriction of the Killing form of g i to the projection of h to g i and the Killing form of h.

G-GO spaces. Trivial, large and adjoint modules
In this section, we study trivial, large and adjoint modules in the decomposition of m.In the next section, we will complete the proof of Theorem 2 by a case-by-case study of tiny modules.
Throughout both sections (in particular, in all the Lemmas and the Propositions), we adopt the assumptions of Theorem 2 and we use the terminology and the notation introduced in Section 2.
Recall that M = G/H is a compact, connected, simply connected, Riemannian homogeneous space, with G acting almost effectively and H being a simple Lie group.Then G is compact, connected and semi-simple and H is compact and connected.We denote by •, • minus the Killing form on g and consider the orthogonal decomposition g = h ⊕ m, where the h-module m is identified with the tangent space of M at eH.The metric on M is defined by the metric endomorphism A whose eigenspaces m i , i = 1, . . ., m, are orthogonal h-modules with corresponding eigenvalues α i > 0. We will use Lemmas 1 and 3 to check when M is a G-GO space and when M is not naturally reductive respectively.
Our strategy is to consider the decomposition of m = ⊕ m i=1 m i into the eigenspaces m i of A together with the "finer" decomposition (2).In this section, we will first study the trivial modules which may occur in (2).Next we show that if at least one module in the decomposition ( 2) is either large or adjoint, then any G-GO metric is naturally reductive (with two exceptions, SU(3)/SU(2) and Sp(2)/Sp(1)).Our main tools will be Lemma 1, Lemma 2 and Lemma 3. It will therefore follow that a G-GO space may be not naturally reductive only when all the modules in the decomposition (2) are either trivial or tiny (recall that this means that the module is irreducible, nontrivial, not adjoint, and that its generic element has a nontrivial centraliser in h).We will then use the classification of such modules given in [18,Table 1] to complete the proof of Theorem 2.
We can assume that m > 1, as otherwise the metric is normal and hence naturally reductive.Another easy but useful observation is as follows.
Lemma 4. In the assumptions of Theorem 2, suppose that one of the eigenspaces of A contains a nonzero ideal of g.Then M is the Riemannian product of a compact, simply connected Lie group with a bi-invariant metric and a compact, connected, simply connected homogeneous space M = Ĝ/H.Moreover, M is a G-GO space (respectively G-naturally reductive) if and only if M is a Ĝ-GO space (respectively Ĝ-naturally reductive).
Proof.We can assume that in the presentation M = G/H both G and H are simply connected (by replacing, if necessary, G by its universal cover and H by the identity component of its full preimage under the covering map).It is sufficient to prove the lemma when the ideal is simple.Let g = ⊕ N l=1 g l be the decomposition of g into simple ideals and suppose g k ⊂ m i for some i = 1, . . ., m. Denote ĝ = g ⊥ k and m = g ⊥ k ∩ m.We compute the linear holonomy algebra of M using the construction in [20].Extend the metric endomorphism A to the operator C on g which is symmetric relative to •, • and is defined by where the subscript m denotes the m-component.Then by [20,Theorem 2.3], the linear holonomy algebra of M = G/H is the Lie algebra generated by all the operators on m of the form (note that C −1 is only applied to elements of m).As g k ⊂ g is an ideal and is Cinvariant we obtain that Γ Z (g k ) ⊂ g k , for all Z ∈ g, and so the linear holonomy algebra preserves the orthogonal decomposition m = m ⊕ g k .As M is simply connected, it is the Riemannian product M × M k , where the tangent spaces to M and M k at eH are m and g k respectively.Now g k is an ideal orthogonal to (and hence commuting with) h and the restriction of A to g k is a multiple of the identity.It follows that M k is the simply connected, compact Lie group with the Lie algebra g k and with a bi-invariant metric.Furthermore, h ⊂ ĝ and so H ⊂ Ĝ, where Ĝ is the compact, simply connected Lie group with the Lie algebra ĝ.Then M = Ĝ/H, with the metric defined (relative to minus the Killing form of ĝ) by the metric endomorphism Â which is the restriction of A to m.Now if M is a G-GO space, then M is Ĝ-GO (and the converse is also true).One way to see that is to define the geodesic graph Ẑ : m → h (see Lemma 1) by restricting a geodesic graph Z : m → h to m and using the fact that [h, g k ] = [ m, g k ] = 0.By Lemma 3 this also implies that if M is naturally reductive, then M also is (relative to Ĝ). 4.1.Trivial modules.For every eigenvalue α i of A, denote by t i the maximal h-trivial submodule of m i , and We will need the following Lemma (note that statement (d) is well known [25]).Lemma 5.In the assumptions of Theorem 2, suppose the metric is GO.In the above notation, we have the following.
(a) The submodules t i are commuting, reductive ideals of the subalgebra The restrictions of ad t and ad h commute on every m ′ i .Moreover, ad t i respects any irreducible decomposition of m ′ j if j = i, and the decomposition of m ′ i into the sums of isomorphic modules.
The Lie algebra of skew-symmetric operators on an irreducible module n which commute with the restriction of ad h to n is either trivial, or is isomorphic to one of so(2) or so(3); then the module n is said to be of real, complex or quaternionic type, respectively.In particular, the adjoint module is of real type.Suppose additionally that no eigenspace m i contains a nonzero ideal of g (cf.Lemma 4).Then we have the following.
(f) If no irreducible module n r in the decomposition (2) is adjoint, then g is simple.
(g) If no more than one irreducible module n r in the decomposition (2) is nontrivial, then either the metric is normal, or M is one of the following spaces: The spaces in (g) are spaces of cases ( 7), ( 5) with p = 1, ( 4) and ( 8) of Theorem 2(A) respectively (cf.[9, Theorem 2]).
Remark 4. As a side remark we note that assertion (b) combined with Lemma 2(a) imposes further restrictions on the brackets of nontrivial irreducible submodules of m (similar to the second statement in (c)).For example, if n 1 and n 2 are irreducible submodules lying in different eigenspaces m i and m j of A and ad t acts nontrivially on Proof.(a) Clearly t is the centraliser of h and hence is a subalgebra in g.Furthermore, by Lemma 2(b) we have [t i , t j ] = 0 for i = j and by Lemma 2 from the fact that t i is a subalgebra.The restrictions of ad t and ad h clearly commute on every m ′ i ; then by Schur's Lemma, ad t i preserves the isotopic components of m ′ i .(c) The first statement is obvious, as n is irreducible and (ad 2 T ) |n is a symmetric operator commuting with ad h by (b).To prove the second statement, consider the three-form acts on n as −id |n and leaves ω invariant, so ω = 0.
(d) Both statements are well known.
(e) Suppose the centraliser k of m ′ in t is nontrivial.Then by (b), k is an ideal in t and hence also in g, as [k, h ⊕ m ′ ] = 0. Then k ∩ t i , i = 1, . . ., m, is an ideal of g by (a).As k ∩ t i ⊂ m i , it must be zero by our assumption.It follows that [k, t i ] = 0, for all i = 1, . . ., m, and so k lies in the centre of g contradicting the fact that g is semisimple.
(f) Let g = ⊕ N l=1 g l be the decomposition of g into simple ideals.As h is simple, the projection of h to each of them is either a monomorphism or trivial, and it is nontrivial for at least one l, say for l = N.If the projection to any other ideal g l , l < N, is also nontrivial, then m contains an adjoint module, and hence so does (2).Otherwise, h ⊂ g N and so g ′ = ⊕ N −1 l=1 g l lies in m and is a trivial h-module.Then g ′ ⊂ t by (a) and so m ′ ⊂ g N .It follows that [g ′ , m ′ ] = 0, and therefore g ′ = 0 by (e).
(g) If all the modules in (2) are trivial (that is, if m is a trivial module), then say t 1 = m 1 is an ideal of g by (a), a contradiction.Let n = n 1 ⊂ m 1 be the only nontrivial irreducible module.Then m = n ⊕ t, and so by (b), (e) and (d), we have dim t ∈ {0, 1, 3}.
If t = 0, then m = n = m 1 and so the metric is normal.If dim t = 1, the module t cannot lie in m 1 (otherwise the metric is normal), so m has exactly two irreducible submodules, m 1 = n and m 2 = t 2 = R.By (e) and (d), the module n is not adjoint, and so g is simple by (f).Consulting the classification in [9, Theorem 2] we find that the spaces M for which h is simple and one of the irreducible submodules in m is onedimensional are SO(4n + 2)/SU(2n + 1) for n ≥ 2, SU(n + 1)/SU(n) for n ≥ 2 and E 6 /Spin (10).
Now suppose dim t = 3.Then by (b), (e) and (d), t is a subalgebra isomorphic to so(3) and so by (a) it is a single ideal t i .That ideal cannot lie in m 1 (as otherwise the metric is normal) and so we have m = m 1 ⊕ m 2 , where m 1 = n and m 2 = t 2 .Similar to the above, g is simple and t 2 acts on n nontrivially.But then h ′ = h ⊕ t 2 is a subalgebra of g and (g, h ′ ) is a symmetric pair by (c).Examining the list in [33,Theorem 4.1] we find that M = Sp(n + 1)/Sp(n), n ≥ 1.

Large modules.
Recall that a module (not necessarily irreducible) is said to be large if it contains an element whose centraliser in h is trivial.It is clear that the set of such elements in a large module is open and dense and that a module is large if its submodule is large.Moreover, from (1) it follows that a geodesic graph is uniquely defined on an open, dense subset of a large module.As usual, we adopt the assumptions of Theorem 2 and use the notation of Section 2.
We start with the following technical fact.
Lemma 6. Suppose a module n := n 1 ⊂ m i in the decomposition (2) is nontrivial and that its orthogonal complement n ′ = ⊕ p r=2 n r in m is a large module.Denote by U ⊂ n ′ the (open and dense) set of those elements whose centraliser in h is trivial.Then the restriction of a geodesic graph Z to the subset U × n is uniquely determined and there exist a unique linear map L : n ′ → h and a unique map Ω : U → Lin(n, h) such that for all X ∈ U, Y ∈ n, we have Moreover, for all X ∈ U and Y ∈ n, we have From the fact that the second term is linear in Y and that Z(X + Y ) and F (X) are uniquely determined we find that the element Z(X + Y ) − F (X) ∈ h depends linearly on Y , for every X ∈ n ′ .Therefore there exists a map Ω : U → Lin(n, h) such that for all X ∈ U, Y ∈ n, we have Z(X + Y ) = F (X) + Ω(X)Y .Substituting into (8) and using (9 Considering the left-hand side, for every fixed X ∈ U, as a polynomial in Y we obtain (5).To prove ( 6) and ( 7) it remains to show that the map F : U → h is in fact linear.Projecting the latter equation to The fact that F is homogeneous of degree 1 in X ∈ U follows from (9).Therefore there exists a linear map L : n ′ → h whose restriction to U coincides with F .Note that from (7) it follows that the map Ω : U → Lin(n, h) is analytic on U: relative to some bases for n and h, the entries of its matrix are given by rational functions of X ∈ U [21].We also note that as Z is unique, it is Ad(H)-equivariant, which implies that L is a homomorphism of h-modules.In particular, if n ′ contains no adjoint submodules, then L = 0 by Schur's Lemma, and then [AX, X] = 0, for all X ∈ n ′ , by (6) (this implies that all the modules m i ∩ n ⊥ and m j , j = i pairwise commute).
Furthermore, we have the following useful fact.
Lemma 7. Suppose the decomposition (2) contains nontrivial modules n 1 = n 2 whose orthogonal complements are both large.Then the metric is naturally reductive.
Proof.Denote q = ⊕ p r=3 n r .Let U r ⊂ n r ⊕ q, r = 1, 2, be the sets of elements whose centraliser in h is trivial.Each of the subsets U r is open and dense in n r ⊕ q.For r = 1, 2, let U ′ r be the set of those elements X ∈ q for which there exists an open and dense subset V r,X ⊂ n r such that for all Y r ∈ V r,X we have Y r + X ∈ U r .Note that both U ′ 1 and U ′ 2 are open and dense in q, as also is the set By Lemma 6, for r = 1, 2, there exist linear maps L r : n r ⊕ q → h and maps Ω r : U r → Lin(n r , h) such that for any X ∈ U ′ and any where the latter equations follows from (7) and we assume that n 1 ⊂ m 1 and n 2 ⊂ m j (note that we can have j = 1).Projecting (11) Therefore there exists a map Ψ 1 : and so the metric is naturally reductive by Lemma 3.
The following Proposition effectively reduces the list of possible irreducible modules which may appear in the decomposition (2) to a finite number of candidates, for every given group H.
Proposition 1.If one of the irreducible modules in the decomposition (2) is large, then either the metric is naturally reductive or M is SU(3)/SU (2) or Sp(2)/Sp(1).
Proof.By Lemma 4 we can assume that no m i contains a nonzero ideal of g.Otherwise, that ideal would be a trivial module, and so by factoring it out we would not lose a large module in decomposition (2).By Lemma 5(g) we can assume that at least two modules in the decomposition (2) are nontrivial (one can easily check that all the irreducible modules in the corresponding decompositions are small except for in the two cases given in the proposition).Furthermore, by Lemma 7, we can assume that the decomposition (2) has exactly two nontrivial modules, one of them being large and another one, small.Denote by them n and n ′ respectively.
We first suppose n ′ is the adjoint module.Then by Lemma 6 applied to n ′ we obtain that for an open, dense subset U ⊂ (n ′ ) ⊥ ∩ m, a map Ω : U → Lin(n ′ , h) and a linear map L : U → h, the geodesic graph is given by Z = LX + Ω(X)Y for all X ∈ U, Y ∈ n ′ .Moreover, by (5) we have [Ω(X)Y, Y ] = 0, for all X ∈ U, Y ∈ n ′ .As n ′ is the adjoint module, there exists a linear isomorphism ι : 3).For X ∈ U define an endomorphism P X ∈ End(h) by P X V = Ω(X)ιV .Then for all V ∈ h we have [P X V, V ] = 0, and so by [24, Theorem 5.28], P X commutes with all ad V , V ∈ h.As the adjoint module is of real type, P X = f (X)id h , for some function f : and the intersection of Span(X 1 , X 2 ) with the trivial submodule of m is zero (the set of such pairs (X 1 , X 2) is open end dense in U × U) we find from (7) that the function f is locally a constant, say c ∈ R.
on an open subset of m, hence on the whole m and so the metric is naturally reductive by Lemma 3.
We can therefore assume that n ′ is a tiny module.As m contains no adjoint modules, the algebra g is simple by Lemma 5(f).Furthermore, assuming that both n and n ′ lie in the same m i and applying Lemma 6 to n ′ we obtain that on the right-hand side of (7), the vector AX − α i X lies in a trivial submodule of m orthogonal to m i , and so [AX −α i X, Y ] ∈ n ′ , by Lemma 2(a).Projecting (7) to (n ′ ) ⊥ we obtain [Ω(X)Y, AX] = 0, and so Ω(X)Y = 0, for all X ∈ U ⊂ (n ′ ) ⊥ and all Y ∈ n ′ .Then Z = LX which implies that the metric is naturally reductive (note that in fact Z = L = 0 -see the comment before Lemma 7).
We can therefore assume that n and n ′ lie in different eigenspaces of A. We have m = n⊕n ′ ⊕t, where t is trivial, and so h⊕t is a subalgebra of g having exactly two irreducible isotropy modules, n and n ′ (by Lemma 5(b)).Moreover, by Lemma 1, the restriction of A to n ⊕ n ′ gives a GO metric on the space G/(HK), where K is the centraliser of H in G (the Lie algebra of K is t).That metric is not normal, as n and n ′ lie in different eigenspaces of A. Since G is simple, by examining the list in [9, Theorem 2] we get the following candidates for M (we have omitted the spaces in Lemma 5(g), as for them only one submodule in m is nontrivial): . All these spaces are perfectly good GO spaces and they appear in the list in Theorem 2(A), but from the decompositions given in Table 1 one can see that for each of them, all the nontrivial submodules of m are tiny (and are listed in Table 2).This contradicts the assumption that n is large.4.3.Adjoint modules.For any adjoint module s ⊂ m, there is a well-defined linear bijections ι : h → s such that for all U, V ∈ h, Lemma 8.The direct sum of the adjoint module and a nontrivial module is a large module.
Proof.Suppose s is the adjoint module and n is an irreducible, nontrivial module.Identifying s with h via ι as in (12) we see that it is sufficient to find two elements X ∈ h, Y ∈ n whose centralisers have trivial intersection.This latter condition means that the rank of the linear system [Z, X] = [Z, Y ] = 0 in the variable Z is maximal (equals dim h); the set of pairs (X, Y ) for which it is not is Zariski closed in the complexification h C × n C , and so it is sufficient to construct X ∈ h C , Y ∈ n C whose centralisers in h C have trivial intersection.To do that, take X to be regular and denote c ⊂ h C the Cartan subalgebra defined by X.Let γ be the dominant weight of n C .Then every element of its orbit under the action of the Weyl group W of h C on c * is also a weight of n C .Furthermore, the orbit W(γ) spans c * as h C is simple.Take Y to be a linear combination of nonzero vectors Y g ∈ V g(γ) , for all g ∈ W, where V g(γ) is the weight space corresponding to the root g(γ).Now the centraliser of X is c, but no nonzero vector from c centralises Y .
Furthermore, we have the following proposition.
Proposition 2. If one of the irreducible modules in the decomposition (2) is adjoint, then the metric is naturally reductive.
Proof.Suppose the decomposition (2) contains an adjoint module s.In the assumption that the metric is GO but not naturally reductive, by Lemma 8, Lemma 7 and Lemma 5(g) we can assume that exactly one other module n in (2) is nontrivial, so that m = s ⊕ n ⊕ t, where t is trivial.By Proposition 1 we can assume that such n is small.Furthermore, we can assume that m contains no simple ideals of g.For if g a ⊂ m is a simple ideal of g, then h lies in the sum of other ideals of g, and so g a is a trivial h-module.But then by Lemma 5(a) it entirely lies in one of the eigenspaces m i and we can factor it out by Lemma 4. We first assume that both s and n lie in the same eigenspace m 1 of A. Then m 2 is a nonzero, trivial module.Take a nonzero T ∈ m 2 .As s is of real type we have [T, s] = 0. Take X = S + N + T , where S ∈ s, N ∈ n.By (1), there exists Z ∈ h such that 0 Let c ⊂ h be a Cartan subalgebra and let V ∈ c be a regular vector.Taking S = ιV we obtain that Z ∈ c by (12).By Lemma 5(e), (c) we can assume, up to scaling, that the restriction of (1 −α −1 1 α 2 ) ad T to n is an almost Hermitian structure, and then by Lemma 5(b), the restriction of ad h to n is a subalgebra of su(n) (it lies in u(n), the centraliser of (ad T ) |n and hence in su(n) as h is simple).Then (ad c ) |n is an abelian subalgebra of su(n) which lies in a Cartan subalgebra c ′ of su(n).But then choosing a unitary basis for n we find that the equation [Z is equivalent to the fact that for x ∈ C n (2n = dim n), there is a real, diagonal n × n matrix D with Tr D = 0 such that iDx = ix, which is false for a generic x ∈ C n , a contradiction.Now suppose s and n lie in different eigenspaces of A. The homogeneous space M = G/(HK) where K is the connected subgroup of G whose Lie algebra is t has exactly two irreducible components in its isotropy representations (note that t acts separately on s and on n by Lemma 5(b)) and moreover, the restriction of A to s⊕n defines a GO metric on M which is not normal.By [9, Proposition 1] we can have one of three cases (note that g must be semisimple and no ideal of it is allowed to be orthogonal to h).In the first case, g = h ⊕ h ⊕ h and h ⊂ g is the diagonal (then t = 0).Then M is a Ledger-Obata space and the metric is naturally reductive by [9, Proposition 3] (see also [27,Proposition 1]; in fact, any invariant metric on the Ledger-Obata space H 3 /H is naturally reductive, even without imposing the GO condition).In the second case, the algebra g is simple.
Examining the cases in [9, Theorem 2], we find that in neither of them m contains an adjoint module.In the third case, we have g = g 1 ⊕ g 2 , where g 1 , g 2 are simple ideals, with both projections h 1 and h 2 from h to g 1 and to g 2 respectively being isomorphic to h, and with g 1 = h 1 .Then g 2 = h 2 ⊕ n ⊕ t, the algebra h ⊂ g is the diagonal in h 1 ⊕ h 2 , and the adjoint module s is its orthogonal complement in h 1 ⊕ h 2 .Note that then [s, n] ⊂ n, and moreover, the action of s on n coincides with that of h, that is, [S, N] = [ι −1 S, N], for S ∈ s, N ∈ n (note that ι is defined up to scaling and we can take it to be a linear isometry).Up to relabelling, we have s ⊂ m 1 , n ⊂ m 2 .Suppose T ∈ t j , the trivial submodule of m j , j = 1, 2, . . ., m.Then (1) with X = S + N + T, S ∈ s, N ∈ n, gives that there exists (we used the fact that [T, s] = 0).Set V = ι −1 S ∈ h.Then [S, N] = [V, N], and so the GO condition is equivalent to (13) [ If (α j − α 2 )T = 0, we argue as in the previous paragraph: by Lemma 5(e), (c), (α j − α 2 )(ad T ) |n is a nonzero multiple of an almost Hermitian structure on n, and then for a regular V ∈ h, from the first equation of ( 13), Z lies in the Cartan subalgebra defined by V which lies in a Cartan subalgebra of su(n).But then the second equation of ( 13) cannot be satisfied with a generic N ∈ n, a contradiction.It now follows from Lemma 5(a) that t = t 2 ⊂ m 2 , and then ( 13) is satisfied with So the metric is naturally reductive by Lemma 3.

G-GO spaces. Tiny modules
Now we are in a position to complete the proof of Theorem 2.
In the assumptions of Theorem 2 we assume that the GO metric is not naturally reductive.Summarising the results of the previous sections we can additionally assume the following: • all nontrivial modules in the decomposition (2) are tiny, and there are at least two of them (by Propositions 1 and 2 and Lemma 5(g)); • there are not "too many" of them: there is no more than one nontrivial module whose complement is large (by Lemma 7);  1] is given in Table 2.Note that some simple groups (e.g.SU(2) and E 8 ) have no tiny representations, while some others may have up to three.In the second column, for representations coming from the s-representations of compact symmetric spaces, we give those spaces.The fourth column indicates the type: real, complex or quaternionic; the fifth, the principal stationary subgroup.
In the rest of the proof, we consider the groups in Table 2 one-by-one.Our strategy, for every individual group, will be first to consider all the possible decompositions (2); there will be a finite number of them: the nontrivial submodules are controlled by the above assumptions, and the trivial ones, by Lemma 5. Some of those cases will be then sorted out by the dimension count, as g must be simple.The remaining ones, when there are only two nontrivial modules, can be reduced to the classification in [9, Theorem 2] (in particular, if the trivial submodule t ⊂ m is zero, this classification applies directly).For the small number of remaining cases, we consider possible "distributions" of the modules in the decomposition (2) among the eigenspaces m i , i = 1, . . ., m, of the metric endomorphism A (note that m ≥ 2) using Lemma 2, the decompositions of the tensor products and the external squares into irreducible modules and the classification of compact irreducible symmetric spaces.If no contradiction is reached up to this point, we apply the GO criterion from Lemma 1 to determine the GO metric; then we identify the corresponding space from the list in Theorem 2(A) (and in Table 1).
Throughout this section we use the notation introduced earlier (in Sections 2 and 4.1); the direct sum of a ≥ 0 copies of a module n is abbreviated to an.  2, there is only one tiny module, R n , the standard one.It follows that in the decomposition (2), all the modules are either standard or trivial. Let two eigenspaces of A, where a 1 , a 2 ≥ 0 and t 1 , t 2 are trivial.We have [t 1 , t 2 ] = 0 by Lemma 5(a), and then for any = 0 by Lemma 5(b) and (d) and [n 1 , n 2 ] = 0 as the irreducible decomposition of R n ⊗R n contains no module R n .It follows that [m 1 , m 2 ] = 0. Therefore all the modules m i pairwise commute, and so the metric is naturally reductive (we can take Z = 0 in (1)).(7).From Table 2, there are only two tiny modules, the 8-dimensional module s for the spin representation and the 7-dimensional module R 7 for the standard representation of SO (7).If there are no spin modules, we have a representation of SO (7) and then any GO metric must be naturally reductive as we have shown above.We therefore assume that there is at least one spin module.We claim that the sum of any four modules each of which is either spin or standard (and at least one is spin) is large.Indeed, if we have four spin modules, then choosing a generic element in one of them we get the stationary subgroup G 2 represented on R 8 as the automorphism group of the algebra of octonions O.As any three non-associating octonions generate O we obtain that the stationary subgroup of a generic quadruple of elements is trivial.Next, suppose we have one standard module R 7 and three spin modules.Then the stationary subgroup of a nonzero element from R 7 is Spin(6) = SU(4), and its representation on each of the spin modules is the standard representation of SU(4) on C 4 = R 8 .The stationary subgroup of a generic triple of elements is trivial.Next, suppose we have two standard R 7 modules and two spin modules.Then the stationary subgroup of a generic pair of elements from R 7 is Spin(5) = Sp(2), and its representation on each of the spin modules is the standard representation of Sp(2) on H 2 = R 8 .The stationary subgroup of a generic pair of elements is again trivial.Finally, if we have three standard R 7 modules and one spin module, the stationary subgroup of a generic triple of elements from R 7 is Spin(4) = Sp(1) × Sp(1), and its representation on the spin module is the sum of the two standard representations of Sp(1) on H = R 4 .The stationary subgroup of a generic element in R 8 (the sum of two elements from each copy of H) is again trivial.

Spin
Up to relabelling, the decomposition (2) takes the form m = ⊕ q r=1 n r ⊕ t, where t is a trivial module, and from among the modules n r , for r = 1, . . ., q, we have s ≥ 1 spin modules and a ≥ 0 standard R 7 modules, with s+a = q.By Lemma 7 and the arguments above we can assume that q ≤ 4, and by Lemma 5(g), that q ≥ 2. We will consider several cases depending on the value of q ∈ {2, 3, 4} and the "distribution" of nontrivial modules among the eigenspaces m i .For i = 1, . . ., m, we have m i = s i s ⊕ a i R 7 ⊕ t i , where t i are trivial modules.We have s = m i=1 s i , a = m i=1 a i , with s ≥ 1 and 2 ≤ q(= s + a) ≤ 4. Note that m > 1 (otherwise the metric is normal).As both the spin module and the standard module are of real type, Lemma 5(a), (b) implies that each t i commutes with all m j , j = i, and may not commute with m ′ i only when m ′ i contains at least two isomorphic modules.Then by Lemma 5(e) we obtain that for no i = 1, . . ., m, the module m i can be trivial (so that a i + s i > 1, for all i = 1, . . ., m), and that t i can only be nonzero when either s i > 1 or a i > 1, and in that case, t i is isomorphic to a subalgebra of so(s i ) ⊕ so(a i ).
The above argument shows that if q = 2, then m contains no trivial submodules (for if both nontrivial submodules lie in the same m 1 , then m = m 1 ).Then by the result of [9, Theorem 2], we get the GO space M = Spin(9)/Spin (7) in Theorem 2(A) (1), with m = m 1 ⊕ m 2 , where m 1 is the spin module and m 2 is the standard module.
Assume that q = 3 or q = 4. Furthermore, we have the following irreducible decompositions of Spin(7) modules: where so( 7) is the adjoint module and the dots denote the sums of irreducible large modules (these modules cannot occur in the decomposition of g viewed as the Spin(7) module).It then follows from Lemma 2(a) that any two spin modules lying in different eigenspaces m i , m j , i = j, commute.Therefore if m contains no standard submodules R 7 , then any two different eigenspaces m i commute and hence the metric is normal.We can therefore further assume that a ≥ 1.
As g must be simple, from the dimension count and the above conditions we obtain the following list of candidates (where s j are spin modules).
(i) q = 4, g = f 4 , and , where t 1 = so(2).(iv) q = 4, g = so (11) or g = sp(5), and (10), and Note that in cases (i, ii) and (iii) the irreducible submodules n r may lie either in the same or in different eigenspaces m i .
By Lemma 2(a), (d) and from ( 14) we find that the sum h ′ of h = so( 7) and all the trivial and all the standard submodules of m is a subalgebra of g (not necessarily simple) and that its orthogonal complement p (which is the sum of all the spin submodules of m) satisfies [p, p] ⊂ h ′ .It follows that (g, h ′ ) is a symmetric pair, and additionally dim(g/h ′ ) is a multiple of 8.
In particular, if g = f 4 , the classification in [17] shows that there is only one such pair, (g, h ′ ) = (f 4 , so( 9)), which corresponds to the Cayley projective plane.We immediately see that case (i) is not possible by the dimension count.Case (ii) is also not possible, because from Lemma 5(b), t 1 would lie in the centre of h ′ = so(9) which is trivial.In case (iii) we have h ′ = h⊕R 7 ⊕R 7 ⊕t 1 = so(9) (note that t 1 acts nontrivially on R 7 ⊕R 7 ).Moreover, the modules s 1 and s 2 commute -this follows from Lemma 2(a) and ( 14) if they lie in two different eigenspaces of the metric automorphism A, and from Lemma 2(d) and ( 14) if they lie in the same eigenspace.But this is a contradiction as no two linear independent vectors in the tangent space of the Cayley projective plane may commute (as elements of f 4 ), since otherwise the sectional curvature of the two-plane spanned by them would equal zero.
We now separately consider two remaining cases.
By Lemma (1), the GO condition is equivalent to the fact that for any X r ∈ s r , r = 1, 2, 3, and . By (14) and Lemma 2(a), the four terms on the right-hand side belong to s 1 , s 2 , s 3 and R 7 respectively, and so the GO condition is equivalent to the existence of Z ∈ h such that (15) [ Now if Y = 0, one can take Z = 0.If Y = 0, then from the first equation, Z belongs to the stationary subalgebra so(6) = su(4) ⊂ so(7) of Y .Identifying three modules s 1 , s 2 , s 3 with a single spin module s via an isomorphism we see that relative to some unitary basis for s = C 4 , the operator (ad Y ) |s is proportional to the multiplication by i, and the action of su( 4) commutes with it.Then ( 15) is equivalent to [Z, X r ] = µiX r , r = 1, 2, 3, where µ ∈ R, µ = 0.It is sufficient to show that a required Z ∈ su(4) exists for X 1 , X 2 , X 3 unitary orthonormal.Extending {X 1 , X 2 , X 3 } to a unitary basis {X 1 , X 2 , X 3 , X 4 } we can take Z ∈ su(4) such that (ad Z ) |s = diag(µi, µi, µi, −3µi) relative to this basis.It follows that the metric is GO; it is not naturally reductive unless it is normal.This gives space (3) in Theorem 2(A).
(v) In this case, h ⊕ R 7 = so(8) and t 1 lies in the centre of h ′ .We obtain the symmetric pair (g, h ′ ) = (so (10), so(8) ⊕ so(2)).The corresponding homogeneous space is SO(10)/Spin (7), where Spin(7) ⊂ SO(8) ⊂ SO(8) × SO(2), which is an S 7 -fibration over the Stieffel manifold SO(10)/SO (8) with a normal metric.The fact that the metric is GO, can be established by repeating the arguments for the previous case, with obvious modifications.This is the space (2) in Theorem 2(A).5.1.3.Spin (9).From Table 2, there are only two tiny modules, the 16-dimensional module s for the spin representation and the 9-dimensional module R 9 for the standard representation of SO (9).Then in the decomposition (2), all the modules n r are either spin or standard or trivial.We have the following irreducible decompositions of Spin(9) modules: (16) s ⊗ s = R ⊕ R 9 ⊕ so(9) ⊕ . . ., Λ 2 s = so(9) ⊕ . . ., where so( 9) is the adjoint module and dots denote the sums of irreducible large modules (these modules cannot occur in the decomposition of g viewed as the Spin(9) module).
Let m 1 and m 2 be two eigenspaces of the metric endomorphism A and let t i , i = 1, 2, be the (maximal) trivial submodule of m i .Suppose s i ⊂ m i , i = 1, 2, are spin submodules and (R 9 ) i ⊂ m i , i = 1, 2, are standard submodules.Then by Lemma 2(a) and ( 16) we have [s 1 , s 2 ] = 0 and [(R 9 ) 1 , (R 9 ) 2 ] = 0, and by Lemma 5(a), [t 1 , t 2 ] = 0. Furthermore, as both the spin and the standard modules are of real type, Lemma Finally, from Lemma 2(a) and ( 16) we get [(R 9 ) 1 , s 2 ] ⊂ s 2 , which gives a homomorphism from (R 9 ) 1 to Λ 2 s 2 .But this must be trivial by (16), which implies that Therefore all the modules m i pairwise commute, and so the metric is naturally reductive.
5.1.4.Spin (10).From Table 2, there are only two tiny modules, the 32-dimensional module s for the spin representation and the 10-dimensional module R 10 for the standard representation of SO (10).If m contains no spin modules, we can take H = SO (10) and then any GO metric must be naturally reductive by 5.1.1.We can therefore assume that m contains at least one spin module, and moreover, at least one other nontrivial module, by Lemma 5(g).We first show that the sum of two spin modules is large.The spin representation comes from the s-representation: it is the representation of Spin (10) on the tangent space of the symmetric space Q = E 6 /Spin(10)SO(2).This symmetric space has rank 2, with the restricted root system of type BC 2 ; there are 6 roots: ε 1 and ε 2 of multiplicity 8 each, ε 1 ± ε 2 of multiplicity 6 each and 2ε 1 and 2ε 2 of multiplicity 1 each [34, Table 1].The stationary subalgebra k(0) of a regular element of a maximal abelian subalgebra a ⊂ q = T o Q is su(4) ⊕ so (2).By [26, Lemma 2.25(a)], for every 6-dimensional root space q(λ), λ = ε 1 ± ε 2 , the subalgebra spanned by [q(λ), q(λ)] is an ideal of k(0) isomorphic to so (6), and it acts as the standard representation of so(6) on q(λ).By [26, Corollary 2.26(a)], for every 8-dimensional root space q(λ), λ = ε 1 , ε 2 , the subalgebra spanned by [q(λ), q(λ)] is an ideal of k(0) isomorphic to su(4), and it acts as the standard representation of su(4) on q(λ).It is easy to see that the stationary subalgebra in k(0) of the element X + + X − + Y 1 + Y 2 , where X ± ∈ q(ε 1 ± ε 2 ) and Y r ∈ q(ε r ), r = 1, 2, are generic vectors, is trivial.Therefore the sum of two copies of s is a large module.
We next show that the sum of s and three copies of R 10 is large.Indeed, the stationary subgroup of a triple of linear independent elements of R 10 is Spin(7) ⊂ Spin (10).Then s is the sum of four 8-dimensional irreducible Spin(7) submodules, and so is large by the argument in 5.1.2.
We can therefore assume by Lemma 7 that the decomposition (2) takes either the form m = s 1 ⊕ s 2 ⊕ t, where t is a trivial module, or the form m = s ⊕ aR 10 ⊕ t, where t is a trivial module and 1 ≤ a ≤ 3.
In the first case, as s is of complex type, we find by Lemma 5 that t is isomorphic to either a subalgebra of u(2) if s 1 and s 2 lie in the same eigenspace m i , or of u(1) ⊕ u(1), if they lie in different eigenspaces.The dimension count shows that, in any case, 109 ≤ dim g ≤ 113, but there are no simple Lie algebras of such dimensions, a contradiction.
In the second case, if a = 1, as s is of complex type and R 10 is of real type, we obtain by Lemma 5 that t is isomorphic to a subalgebra of u(1).Then dim g ∈ {87, 88}.Similarly, if a = 3, we obtain that t is isomorphic to a subalgebra of u(1) ⊕ so(3), and so 107 ≤ dim g ≤ 111.But in both cases, there are no simple Lie algebras of such dimensions.For a = 2, t is isomorphic to a subalgebra of u(1) ⊕ so(2), and from the dimension count, the only candidate for g is su (10).But Spin(10) cannot be a subgroup of SU (10) as Spin (10) has no faithful real representation on R 20 .
So in the case H = Spin (10), any GO metric is naturally reductive.
5.1.5.Spin (12).From Table 2, there are only two tiny modules, the 64-dimensional spin module s and the 12-dimensional module R 12 for the standard representation of SO (12).We can assume that m contains at least one spin module by 5.1.1,and at least one other nontrivial module by Lemma 5(g).We claim that the sum of the spin module and either of the spin or the standard module is large.Indeed, if the second module is the standard module R 12 , the stationary subgroup of a nonzero element of it is Spin(11) ⊂ Spin (12).Its representation on s is still irreducible, with the trivial principal stationary subgroup (no Spin (11) entry in Table 2).Now suppose the second module is also spin.The spin representation comes from the s-representation for the symmetric space Q = E 7 /Spin(12)SU(2).The symmetric space Q has rank 4, with the restricted root system of type F 4 ; there are 12 roots of multiplicity 1 and 12 roots of multiplicity 4 [34, Table 1].The stationary subalgebra k(0) of a regular element of a maximal abelian subalgebra a ⊂ q = T o Q is so(3) ⊕ so(3) ⊕ so (3).By [26, Lemma 2.25(a)], for every 4-dimensional root space q(λ), the subalgebra spanned by [q(λ), q(λ)] is an ideal of k(0) isomorphic to so(4), and it acts as the standard representation of so(4) on q(λ).Take three 4-dimensional root spaces q(λ) such that [q(λ), q(λ)] span the same ideal so(4) ⊂ k(0) and choose three generic vectors, X 1 , X 2 , X 3 , one in each of them.Then the stationary subalgebra of X 1 + X 2 + X 3 in k(0) is the "remaining" ideal so(3).Now choose a nonzero vector Y in a 4-dimensional root space q(λ) such that [q(λ), q(λ)] contains that ideal.Then the stationary subalgebra of Therefore the sum of two copies of s is a large module.We can therefore assume that the decomposition (2) takes either the form m = s 1 ⊕ s 2 ⊕t, where t is a trivial module, or the form m = s⊕R 12 ⊕t, where t is a trivial module.
In the second case, both s and R 12 are ad(t)-invariant by Lemma 5(b).As s is of quaternionic type and R 12 is of real type, t is a subalgebra of sp(1), by Lemma 5(e),(d).It follows that 142 ≤ dim g ≤ 145.The only simple Lie algebra g whose dimension lies in this range is su (12), but Spin( 12) cannot be a subgroup of SU (12) as Spin (12) has no faithful real representation on R 24 .Similarly, in the first case, t must be a subalgebra of sp(2), which gives 194 ≤ dim g ≤ 204.The only simple Lie algebra g whose dimension lies in this range is su (15), but Spin( 12) is not a subgroup of SU (15) as Spin (12) has no faithful real representation on R 30 .
So in the case H = Spin (12), any GO metric is naturally reductive.

Type
From Table 2, we can have the following tiny SU(n) modules.For all n ≥ 3, we have the standard module of dimension 2n, and for all n ≥ 5, we have the module p of dimension n(n − 1) coming from the s-representation for the symmetric space Q = SO(2n)/U(n) (note that for n = 3 this module is standard, and for n = 4 it is reducible).In addition, for n = 4 we have the tiny module of dimension 6 coming from the standard representation of SO(6) = SU(4)/Z 2 , and for n = 6, there is a tiny module q of dimension 40 from the s-representation for the symmetric space Before considering various cases we prove the following lemma.Consider the homogeneous space G/H = SO(2n + 1)/SU(n), where n ≥ 3 and At the level of Lie algebras, we have h = su(n) ⊂ u(n) ⊂ so(2n) ⊂ so(2n + 1) = g.We have an orthogonal decomposition into h-modules: g = h ⊕ t ⊕ n ⊕ s, where t is the one-dimensional trivial module which is the orthogonal complement to h in u(n), the module n is the orthogonal complement to u(n) in so(2n) and the module s is the standard 2n-dimensional module which is the orthogonal complement to so(2n) in so(2n + 1) (note that the module n is reducible when n = 4 and is standard when n = 3).Lemma 9.In the above notation, suppose the metric on SO(2n + 1)/SU(n), n ≥ 3, is defined by a metric automorphism A such that the modules s, n, t lie in the eigenspaces of A with the eigenvalues α 1 , α 2 , α 3 > 0 respectively.Then if n is even, the metric is GO if and only if α 2 = α 3 ; if n is odd, the metric is GO if and only if Choose an almost Hermitian structure in s = C n in such a way that (ad t ) |s 1 is a real multiple of the multiplication by i.Then for w = X ∈ C n we have [Z, X] = Mw, where M is an n × n skew-Hermitian matrix with trace zero, [T, X] = itw, where t ∈ R, and [Y, X] = NCw, where N is an n × n complex skew-symmetric matrix (depending on Y ) and C is the componentwise complex conjugation.The above GO condition is then equivalent to the following: for any w ∈ C n , t ∈ R and N ∈ so(n, C), there exists an n × n traceless, skew-Hermitian matrix M such that (17) (M + σtiI n )N + N(M + σtiI n ) t = 0, (M + ρNC + τ ti)w = 0.
We consider two cases depending on the parity of n.Suppose n is even; let n = 2k.Take N in (17) to be generic (that is, rk N = n and all the eigenvalues of N are pairwise distinct).We can choose a unitary basis for C n relative to which N = diag(µ 1 J, µ 2 J, . . ., µ k J), where J = ( 0 1 −1 0 ) and ±µ 1 , ±µ 2 , . . ., ±µ k ∈ C are nonzero and pairwise distinct.Then from the first equation of ( 17) we obtain M +σtiI n = diag(F 1 , F 2 , . . ., F k ), where F 1 , F 2 , . . ., F k ∈ su (2).It follows that Tr(M + σtiI n ) = 0 and so σ = 0.This gives α 2 = α 3 and τ = ρ.Now the second equation of (17) gives where the coordinates of the vector w j = w j 1 w j 2 ∈ C 2 are the (2j − 1)-st and the 2j-th coordinates of w respectively.If w j = 0, the latter equation is trivially satisfied, with an arbitrary F j .Otherwise, a direct calculation gives F j = a j i z j −z j −a j i , where a j ∈ R and z j ∈ C are given by 2 ) 2 + µ j (w j 1 ) 2 .As the right-hand side is continuous in µ j , the entries of N, we deduce that a traceless skew-Hermitian matrix M which satisfies (17) exists for all N ∈ so(n, C) (and all t ∈ R and w ∈ C n ).Hence the metric so defined is GO.Now suppose n is odd; let n = 2k +1.The proof is similar to that in the even case with some modifications.We again take a generic N and choose a unitary basis for C n relative to which N = diag(µ 1 J, µ 2 J, . . ., µ k J, 0), where J = ( 0 1 −1 0 ) and ±µ 1 , ±µ 2 , . . ., ±µ k ∈ C are nonzero and pairwise distinct.The first equation of (17) gives M + σtiI n = diag(F 1 , F 2 , . . ., F k , c), where F 1 , F 2 , . . ., F k ∈ su(2) and c ∈ C. Comparing the traces we find that c = nσti and so Then the second equation of (17) gives where the coordinates of the vector w j = w j 1 w j 2 ∈ C 2 are the (2j − 1)-st and the 2j-th coordinates of w respectively.From the last equation we obtain nα −1 3 = (n−1)α −1 2 +α −1 1 .From the first k equations we find, provided w j = 0, that the entries of the matrix (recall that p ≤ n − 1) we can take Z ∈ su(n) such that (ad Z ) |s relative to this basis is given by the diagonal matrix whose first p entries are µi and the remaining n − p, are −p(n − p) −1 µi.It follows that the metric is GO.
5.2.2.SU(n), n ≥ 5 and n = 6.From Table 2, there are two tiny modules, the standard module s = C n and the n(n − 1)-dimensional module p, and so in the decomposition (2), every nontrivial submodule is isomorphic to either s or p.There are at least two of them, and we can assume that at least one is isomorphic to p by 5.2.1.Note that both p ⊕ p and p ⊕ s are large modules.Indeed, for a generic element of p we have the set of [n/2] mutually unitary orthogonal subspaces C 2 ⊂ C n such that the stationary subalgebra is the sum of [n/2] copies of su(2) each acting in its own C 2 .To see that the principal stationary subalgebra of p ⊕ s is trivial we take an element in s = C n all whose components in the subspaces C 2 are nonzero; for p ⊕ p, we take two generic elements of p sharing no common subspaces C 2 in the corresponding sets.It follows that the only possible cases for the decomposition (2) are m = p ⊕ p ⊕ t and m = p ⊕ s ⊕ t, where t is a trivial module.
We will need the irreducible decompositions of the tensor products of s and p: where R is the trivial module, su(n) is the adjoint module and dots denote the sums of irreducible large modules.
We now consider the case m = p⊕p⊕t.From Lemma 5 we find t ⊂ u(2).Furthermore, by (19), p ⊗ p does not contain p, and so (g, h ′ = su(n) ⊕ t) is a symmetric pair, with the corresponding symmetric space of dimension 2n(n − 1).From the classification in [17] we find that there are no such pairs for n ≥ 5, and so this case is not possible.
Next consider the case m = p⊕s⊕t.From Lemma 5 we have t ⊂ R 2 .First suppose that n ≥ 7. Then by (19), (g, h ′ = su(n) ⊕ p ⊕ t) is a symmetric pair, with the corresponding symmetric space of dimension 2n and with 2n 2 − n − 1 ≤ dim h ′ ≤ 2n 2 − n + 1 and rk h ′ ≥ n − 1.From the classification in [17] we find that there is only one such pair: (g, h ′ ) = (so(2n + 1), so(2n)).Then we get dim t = 1 and su(n) ⊕ p ⊕ t = so(2n) and we obtain a family of GO metrics as in Lemma 9.
The last case to consider is m = p ⊕ s ⊕ t and n = 5.We again have dim t ≤ 2 and then from the dimension count, dim g ∈ {54, 55, 56}.Then we get dim t = 1 and g = sp (5) or g = so (11).The first case is not possible, as the only way to realise the algebra u(5) = su(5) ⊕ t as a subalgebra of sp( 5) is the one corresponding to the symmetric pair (sp(5), u(5)).But as both p and s are ad(t)-invariant, the 30-dimensional irreducible u(5)-module which is the tangent space of the corresponding symmetric space remains irreducible for the subalgebra su(5).In the case g = so (11) there is again, the only way to realise u(5) = su(5) ⊕ t as a subalgebra of so(11): we have u(5) ⊂ so(10) ⊂ so (11), and then this case is completed by application of Lemma 9.
Thus we obtain the spaces in Theorem 2(A) (6) with n ≥ 7 and n = 5.
5.2.3.SU (3).From Table 2, there is only one tiny module, the standard one, of dimension 6.Note that the sum of two of them is a large module, and so by Lemma 7 and Lemma 5(g) we can assume that the decomposition (2) takes the form m = s 1 ⊕ s 2 ⊕ t, where s 1 and s 2 are standard and t is a trivial module.As the standard module is of complex type and as there are two of them, from Lemma 5 we find that t is a subalgebra of u(2).It follows that 20 ≤ dim g ≤ 24.This gives three possibilities: either g = sp(3), dim t = 1, or g = so(7), dim t = 1, or g = su(5), dim t = 4.In the first case, there is only one way, up to conjugation, to realise the algebra u(3) = h⊕t as a subalgebra of g = sp(3), namely the one corresponding to the symmetric pair (sp(3), u(3)).As we have at least two different eigenspaces m i of A, and dim t = 1, we obtain by Lemma 5(b) that both s 1 and s 2 are ad(t)-invariant.But then they are u(3)-invariant which contradicts the fact that the representation of u(3) on the tangent space of the corresponding symmetric space is irreducible.
In the second case, there is again only one way, up to conjugation, to realise the algebra u(3) = h ⊕ t as a subalgebra of g = so(7): we have u(3) ⊂ so(6) ⊂ so (7), where the first inclusion corresponds to the symmetric pair (so(6), u(3)).We have therefore the following modules in the decomposition (2): the standard module s 1 which is the orthogonal complement to so(6) in so (7), the standard module s 2 which is the orthogonal complement to u(3) in so( 6), and the one-dimensional module t, the centre of u(3).By Lemma 9 we get GO metrics on the space SO(7)/SU(3) from Theorem 2(A) (6) with n = 3.
In the third case, from Lemma 5 we obtain that t can have dimension 4 only if, up to relabelling, the eigenspaces of A are given by m 1 = s 1 ⊕ s 2 ⊕ t 1 , m 2 = t 2 , where t 1 is isomorphic to su(2) and dim t 2 = 1.Repeating the arguments in the last two paragraphs of 5.2.1, we obtain a family of GO metrics on SU(5)/SU(3) (the space (5) in Theorem 2(A) with n = 3 and p = 2).5.2.4.SU(4).From Table 2, there are two tiny modules, the standard module s = C 4 and the module n = R 6 coming from the standard representation of SO(6) = SU(4)/Z 2 (note that the orthogonal complement to u(4) in so( 8) is reducible and is the direct sum of two copies of n).
The cases when all nontrivial modules in the decomposition (2) are isomorphic to n or all are standard have already been considered in 5.1.1 and 5.2.1 respectively.We can therefore assume that at least one module in (2) is standard and at least one is isomorphic to n.Note that the module 2n ⊕ s is large.Indeed, the stationary subgroup of a nonzero element from s = C 4 is SU(3), and the restriction of the representation of SU(4) on n to SU(3) is the standard representation of SU(3) on n = R 6 = C 3 .Then the stationary subgroup of a pair of linear independent vectors from C 3 is trivial.Similarly, the module n ⊕ 2s is large, as the stationary subgroup of a nonzero element from n is Sp(2) = Spin(5) ⊂ Spin(6) = SU(4), and so s can be viewed as the standard module for Sp (2).Then the stationary subgroup of a pair of linear independent vectors from s = H 2 is trivial.
It therefore follows that the decomposition (2) takes the form m = qs ⊕ rn ⊕ t, where t is a trivial module and (q, r) = (1, 1), (2, 1), (1, 2).Note that s is of complex type and n is of real type.Then in the case (q, r) = (1, 1), by Lemma 5(b), (e) and (d) we obtain dim t ≤ 1, and so dim g ∈ {29, 30}, which is a contradiction as there are no simple groups of these dimensions.Similarly, in the case (q, r) = (2, 1) we obtain that t is a subalgebra of u(2), and so 37 ≤ dim g ≤ 41, which again leads to a contradiction.In the case (q, r) = (1, 2), Lemma 5 gives dim t ≤ 2, and from the dimension count we obtain one of the following three cases: either t = 0 and g = su(6), or dim t = 1 and then g = sp(4) or g = so (9).
We have the following irreducible decompositions of SU(4) modules: where su(4) is the adjoint module and dots denote the sums of irreducible large modules.It follows that h ′ = h ⊕ 2n ⊕ t is a subalgebra of g and that (g, h ′ ) is a symmetric pair.The corresponding symmetric space must be of dimension 8, and from the classification in [17] we find that the only possible case is g = so(9), h ′ = so(8), and then s is the orthogonal complement to so(8) is so(9), t is the one-dimensional centraliser of su(4) in so(8) and 2n is the orthogonal complement to u(4) = su(4) ⊕ t in so (8).5.2.5.SU (6).We have three tiny modules, the standard module s of dimension 12, the module p of dimension 30 and the module q of dimension 40 which comes from the srepresentation for the symmetric space Q = E 6 /SU(6)SU (2).As above, we can assume that in the decomposition (2) we have at least two nontrivial modules and that at least one of them is not standard.We claim that the sum of any two modules each of which is isomorphic to s, p or q and at least one is not standard is a large module.For the modules p ⊕ p and p ⊕ s the argument is similar to that in the first paragraph of 5.2.2.
In the remaining cases, one of the modules is q with the stationary subalgebra R 2 (see Table 2) which is a subalgebra of a Cartan subalgebra of su (6).It follows that the sum of q and any nontrivial module is large, by the argument in the proof of Lemma 8. Therefore the decomposition (2) takes the form m = n 1 ⊕n 2 ⊕t, where n 1 , n 2 ∈ {s, p, q} and at least one of them is not standard, and t is trivial.Note that s and p are of complex type and q of quaternionic type.We consider all possible cases.with t a nonzero ideal in h ′ .The dimension of the corresponding symmetric space is 4n, and we also know that dim h ′ ∈ {4n 2 , 4n 2 + 2}, rk h ′ ≥ n + 1 and that h ′ contains a nonzero ideal t ⊂ sp (1).From the classification in [17] we find that the only possibility is (g, h ′ ) = (su(2n + 1), su(2n) ⊕ R).Then s is the orthogonal complement to su(2n) in su(2n + 1) and p is the orthogonal complement to h in su(2n) (note that the only way, up to automorphism, to realise sp(n) as a subalgebra of su(2n) is the one corresponding to the symmetric pair (su(2n), sp(n))).
We now consider the GO condition.Suppose s, p and t lie in the eigenspaces of A with the eigenvalues α 1 , α 2 and α 3 respectively (some of them, but not all three, may be equal).Then ( 1) is equivalent to the fact that for any X ∈ s, Y ∈ p and T ∈ t, there exists Z ∈ h such that (21) [ We can now identify s with C 2n in such a way that the action of ad t is the multiplication by a real multiple of i and choose a unitary basis in such a way that su(2n) is the space of complex matrices of the form where K 1 and K 2 are skew-Hermitian with Tr K 1 + Tr K 2 = 0 and L is an arbitrary n × n complex matrix, and sp(n) ⊂ su(2n) is the space of complex matrices of the form K S −S K , where K is skew-Hermitian and S is an n × n symmetric complex matrix.Then p is the space of matrices of the form K L L −K , where K is skew-Hermitian with Tr K = 0 and L ∈ so(n, C).Choose a generic Y ∈ p.We can specify the basis further (conjugate by an element of Sp(n)) in such a way that the maximal abelian subalgebra of p containing Y is the space ( iD 0 0 iD ) where D is a real diagonal matrix with Tr D = 0. Taking Y of this form with D = diag(d 1 , . . ., d n ) such that d i ∈ R are nonzero and pairwise distinct we obtain from the first equation of ( 21) that Z = K S −S K , where K = diag(ix 1 , . . ., ix n ), S = diag(z 1 , . . ., z n ), x j ∈ R, z j ∈ C. We also have ad T = itI 2n , t ∈ R. Then the second equation of ( 21) splits into n pairs of equations of the form i(x j + ρd j + τ t)w j + z j w n+j = 0, −z j w j + i(−x j + ρd j + τ t)w n+j = 0, j = 1, . . ., n, where w j , w n+j ∈ C are the corresponding coordinates of X ∈ s relative to the chosen basis.Now if w j = w n+j = 0 we can choose x j and z j arbitrarily.If not, a direct calculation gives x j = (|w n+j | 2 − |w j | 2 )(|w n+j | 2 + |w j | 2 ) −1 (ρd j + τ t), z j = −2iw j w n+j (|w n+j | 2 + |w j | 2 ) −1 (ρd j + τ t).As these expressions are continuous in d j , the equations ( 21) have a solution Z ∈ h for all Y ∈ p, X ∈ s and T ∈ t.Hence the metric so defined is GO which gives the space SU(2n + 1)/Sp(n), n ≥ 2, in Theorem 2(A)(9).5.4.Exceptional groups.
5.4.1.G 2 .From Table 2, there is only one tiny module, the space of imaginary octonions O ′ := O ∩ 1 ⊥ which is the space of the defining representation for G 2 , and so the decomposition (2) takes the form m = qO ′ ⊕ t, where t is a trivial module.As any three non-associating imaginary octonions generate the whole algebra of octonions O, modules is a large module (the sum of two is still small, by the dimension count 52 = dim F 4 < 2 dim Spin(8) = 56).To see that, we note that the module n of dimension 26 can be viewed as the space of 3 × 3 traceless, octonion, Hermitian matrices.The algebra h = f 4 can be represented as the direct sum of two subspaces, the Lie subalgebra g 2 whose elements act on a matrix N ∈ n componentwise, and the subspace so(3, O) of the 3 × 3 traceless, octonion, anti-Hermitian matrices whose elements act on a matrix N ∈ n as a matrix commutator [3,Theorem 5].Now take N 1 ∈ n to be diagonal (then it is real), with pairwise non-equal entries.The corresponding stationary subalgebra of h is the direct sum of g 2 and the subspace {diag(a 1 , a 2 , a 3 ) | a 1 , a 2 , a 3 ∈ O ′ , a 1 + a 2 + a 3 = 0} ⊂ so(3, O) (note that the stationary subalgebra is so(8), as per Table 2).Take N 2 , N 3 ∈ n defined by where the octonions x, y, z are non-associating.Note that the action of g 2 on N 2 is trivial as all the entries of N 2 are real, and that a matrix Q = diag(a 1 , a 2 , a 3 ) with a 1 , a 2 , a 3 ∈ O ′ , a 1 + a 2 + a 3 = 0, commutes with N 2 only when Q = 0.It follows that the stationary subalgebra of the pair of matrices (N 1 , N 2 ) is the subalgebra g 2 ⊂ h acting on the matrices from n componentwise.But as the entries x, y, z of the matrix N 3 generate the whole algebra of octonions O, the only element of g 2 which maps all of them to zero is zero.It follows that the stationary subalgebra of the triple (N 1 , N 2 , N 3 ) is trivial.Now by the arguments similar to those in (5.4.1) we get that the decomposition (2) takes the form m = qn ⊕ t, where t is a trivial module and q = 2, 3.As the module n is of real type, Lemma 5(b) and (e) imply that no m i can be trivial and that m i may contain a nonzero trivial submodule only if it also contains at least two copies of n.Then for q = 2, the only possibility is m = m 1 ⊕ m 2 and m 1 = n 1 , m 2 = n 2 , where n 1 , n 2 are isomorphic to n, which is not possible by [9,Theorem 2].Suppose q = 3.If the modules n 1 , n 2 , n 3 isomorphic to n lie in three different eigenspaces of A, then m = n 1 ⊕ n 2 ⊕ n 3 , and so dim g = 130, a contradiction, as there is no simple algebra of this dimension.Otherwise, up to relabelling, we have m = m 1 ⊕ m 2 , where m 1 = n 1 ⊕ n 2 ⊕ t 1 , m 2 = n 3 , where t 1 is a trivial module.As n is of real type, by Lemma 5(b) we get [t 1 , n 3 ] = 0, and so by Lemma 5(b) and (e) t 1 ⊂ so(2) acting on n 1 ⊕ n 2 .This is a contradiction, as there is no simple Lie algebra whose dimension lies in {130, 131}.It follows that in the case H = F 4 , any GO metric is naturally reductive.5.4.3.E 6 .From Table 2, there is only one tiny module n, of dimension 54, which comes from the s-representation for the symmetric space Q = E 7 /E 6 SO(2).The sum of three such modules is a large module.Indeed, the symmetric space Q has rank 3, with the restricted root system of type C 3 ; there are three roots of multiplicity 1 and six roots of multiplicity 8 [34,Table 1].The stationary subalgebra of a regular element of a maximal abelian subalgebra a ⊂ q = T o Q is so(8) ⊂ e 6 , and by [26,Lemma 2.25(a)], it acts as the standard representation of so(8) on each of the six 8-dimensional root spaces (and acts trivially on the three 1-dimensional root spaces).If we choose a generic 6-tuple of vectors, one in each of the six 8-dimensional root spaces, the stationary subalgebra of their sum will be so(2) ⊂ so(8) ⊂ e 6 , but if we choose two such 6-tuples, the stationary subalgebra will be trivial.We now argue as in the previous cases.The decomposition (2) takes the form m = qn ⊕ t, where t is a trivial module and q ∈ {2, 3}.In the case q = 2, as n is of complex type, the centraliser of ad h in so(n 1 ⊕ n 2 ) (where n 1 , n 2 are isomorphic copies of n) is u(2), and so by Lemma 5(b), (e) and (d), the maximal dimension of t is 4. Then 186 ≤ dim g ≤ 190.The only simple Lie algebra g whose dimension satisfies this inequality is so (20), but e 6 is not a subalgebra of so (20) as it has no nontrivial real representation on R 20 .Suppose q = 3.If all three submodules n 1 , n 2 and n 3 isomorphic to n lie in different m i , then by Lemma 5(b), each of them is ad(t)-invariant, and so from Lemma 5(e) and (d), we obtain dim t ≤ 3.If (up to relabelling) m 1 ⊃ n 1 ⊕ n 2 and m 2 ⊃ n 3 we get ad T ∈ u(2) ⊕ u(1), for all T ∈ t and so dim t ≤ 5. Finally, if m 1 = n 1 ⊕ n 2 ⊕ n 3 ⊕ t 1 , where t 1 is trivial, then all the other modules m i , 1 < i ≤ m, are trivial.By [9,Theorem 2] we can assume that m ≥ 3, and then by Lemma 5, t = ⊕ m i=1 t i is a subalgebra of u(3), with t i being commuting ideals and t 2 , t 3 = 0.It follows that dim t ≤ 5. Therefore in all three cases, we have 240 ≤ dim g ≤ 245, but there is no simple algebra whose dimension satisfies this inequality.It follows that in the case H = E 6 , any GO metric is naturally reductive.5.4.4.E 7 .From Table 2, there is only one tiny module n, of dimension 112, which comes from the s-representation for the symmetric space Q = E 8 /E 7 SU(2).We show that the sum of two such modules is a large module.The symmetric space Q has rank 4, with the restricted root system of type F 4 ; there are 12 roots of multiplicity 1 and 12 roots of multiplicity 8 [34, Table 1].The stationary subalgebra of a regular element of a maximal abelian subalgebra a ⊂ q = T o Q is so(8) ⊂ e 7 , and by [26,Lemma 2.25(a)], it acts as the standard representation of so(8) on each of the twelve 8-dimensional root spaces.If we choose a generic 12-tuple of vectors, one in each of the twelve 8-dimensional root spaces, the stationary subalgebra will be trivial.We can therefore assume that the decomposition (2) takes the form m = 2n ⊕ t, where t is a trivial module.But now from Lemma 5 we get t ⊂ sp(2).It follows that 357 ≤ dim g ≤ 367.The only simple Lie algebra g whose dimension lies in this range is su (19), but e 7 cannot be its subalgebra as e 7 has no nontrivial real representation on R 38 .So in the case H = E 7 , any GO metric must be naturally reductive.
This completes the proof of Theorem 2.
by the Cauchy-Schwarz inequality, with the equality only possible when

Table 2 .
Tiny modules [18, m i contains an ideal of g by Lemma 4;• g is simple (by Lemma 5(f));• and finally, note that no GO metric constructed below is naturally reductive, unless it is normal (by Propositions 2 and Remark 1).The list of tiny modules from[18, Table