Simply connected hyper-Kähler symmetric spaces can be described by so-called hyper-Kähler symmetric triples. Such a triple consists of the Lie algebra of the transvection group of the symmetric space, an invariant non-degenerate inner product on this Lie algebra and a certain $\mathit{S}\mathit{p}\left(1\right)$  -action which is called quaternionic grading, see Section  2 for an exact definition. In Section  4 we will describe an extension procedure which yields a hyper-Kähler symmetric triple starting with a Lie algebra with quaternionic grading $(\mathfrak{l},\Phi \mathfrak{l})$  , a pseudo-Euclidean vector space $\mathfrak{a}$  with quaternionic grading $\Phi \mathfrak{a}$  and a pair $(\alpha ,\gamma )\in Hom({\wedge }^2\mathfrak{l},\mathfrak{a})\oplus Hom({\wedge }^3\mathfrak{l},\text{R})$  of $\mathit{S}\mathit{p}\left(1\right)$  -invariant forms satisfying certain cocycle conditions. Note that the transvection group of a Hyper-Kähler symmetric space is always nilpotent, see Corollary  2.4 . Therefore the same is true for the Lie algebra $\mathfrak{l}$  .

In Section  5 we will use this general construction to give concrete examples. We construct hyper-Kähler symmetric triples whose associated symmetric spaces have a metric of signature $(4n+4,4n+12)$  , $n\ge 0$  , and a non-abelian holonomy group. Using the tangent bundle construction we obtain further examples which also have non-abelian holonomy. All these examples are indecomposable, i.e. they cannot be written as the direct sum of triples of smaller dimension. Thus, there are much more hyper-Kähler symmetric spaces than those which arise by the construction due to Alekseevsky and Cortés [AC] mentioned at the beginning. In particular, the existence of these examples contradicts the classification result for hyper-Kähler symmetric spaces in [AC] and also has consequences for the results in [ABCV] and [DJS] . For more information see Remark  5.3 .

Furthermore, we show that there is a canonical way to represent each hyper-Kähler symmetric triple as an extension of the kind described above. Such extensions of $(\mathfrak{l},\Phi \mathfrak{l})$  by $\mathfrak{a}$  which are associated with a hyper-Kähler symmetric space in this canonical way are classified by a cohomology set $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_{♯}$  (introduced in Section  3 ). The isomorphism classes of underlying hyper-Kähler symmetric triples are in correspondence with the orbits of the action of the product of the automorphism groups of $(\mathfrak{l},\Phi \mathfrak{l})$  and $\mathfrak{a}$  on $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_{♯}$  . This yields a general classification scheme for hyper-Kähler symmetric triples. Theorem  6.1 states the corresponding result for indecomposable triples, i.e. for the objects one really wants to classify.

This general classification scheme can be used to find explicit classification results (i.e. lists) if one considers only hyper-Kähler symmetric spaces with a metric of a given small index. In Section  7 we will demonstrate this for indecomposable spaces of index 4.

They are exhausted by the flat space $\text{H}$  , a one-parameter family of hyper-Kähler symmetric spaces of signature $(4,4)$  obtainable by the Alekseevsky-Cortés construction, and one single space of signature $(4,12)$  (the one constructed in Section  5 , Example 1).

See Theorem  7.4 for the precise statement.

2 Hyper-Kähler symmetric triples

We will say that $(\mathfrak{l},{\Phi }_{\mathfrak{l}})$  is a Lie algebra with quaternionic grading, if $\mathfrak{l}$  is a Lie algebra and ${\Phi }_{\mathfrak{l}}:\mathit{S}\mathit{p}\left(1\right)\to Aut(\mathfrak{l})$  is an $\mathit{S}\mathit{p}\left(1\right)$  -action of the following kind. We assume that $\mathfrak{l}={\mathfrak{l}}_{+}\oplus {\mathfrak{l}}_{-}$  such that the representation of $\mathit{S}\mathit{p}\left(1\right)$  on ${\mathfrak{l}}_{+}$  is trivial and the representation of $\mathit{S}\mathit{p}\left(1\right)$  on ${\mathfrak{l}}_{-}$  is a multiple of the standard representation. In particular, ${\mathfrak{l}}_{-}$  is a left $\text{H}$  -module. If in addition $[{\mathfrak{l}}_{-},{\mathfrak{l}}_{-}]={\mathfrak{l}}_{+}$  we call the grading proper.

Similarly, we will say that $(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}},\Phi \mathfrak{a})$  (or $\mathfrak{a}$  in abbreviated notation) is a vector space with orthogonal quaternionic grading, if $(\mathfrak{a},\Phi \mathfrak{a})$  is an abelian Lie algebra with quaternionic grading and the image of $\Phi \mathfrak{a}$  is in $O(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}})$  .

Proposition 2.1 If $(\mathfrak{l},{\Phi }_{\mathfrak{l}})$  is a Lie algebra with proper quaternionic grading, then $\mathfrak{l}$  is nilpotent.

Proof. We consider the semi-simple Lie algebra $\mathfrak{s}=\mathfrak{l}/\mathfrak{r}$  , where $\mathfrak{r}$  is the solvable radical of $\mathfrak{l}$  . The grading ${\Phi }_{\mathfrak{l}}$  induces a proper quaternionic grading ${\Phi }_{\mathfrak{s}}$  . Being a connected subgroup of the automorphism group of $\mathfrak{s}$  , the image of ${\Phi }_{\mathfrak{s}}$  consists of inner automorphisms which respect the decomposition $\mathfrak{s}={\mathfrak{s}}_{+}\oplus {\mathfrak{s}}_{-}$  . Therefore its Lie algebra can be identified with a subalgebra $\mathfrak{k}\subset {\mathfrak{s}}_{+}$  . It follows that the adjoint representation of $\mathfrak{k}$  on ${\mathfrak{s}}_{+}$  , and hence on $\mathfrak{k}$  , is trivial. On the other hand, $\mathfrak{k}\sim =\mathfrak{s}\mathfrak{p}\left(1\right)$  unless ${\mathfrak{s}}_{-}=\left\{0\right\}$  .

We conclude that $\mathfrak{s}=\left\{0\right\}$  , i.e., $\mathfrak{l}$  is solvable.

We finish the proof by showing that solvable Lie algebras $\mathfrak{l}={\mathfrak{l}}_{+}\oplus {\mathfrak{l}}_{-}$  , ${\mathfrak{l}}_{+}=[{\mathfrak{l}}_{-},{\mathfrak{l}}_{-}]$  , admitting an automorphism $F$  such that $F^2{|}_{{\mathfrak{l}}_{-}}=-Id$  and $F{|}_{{\mathfrak{l}}_{+}}=Id$  are nilpotent.

We look at the decreasing chain of ideals of $\mathfrak{l}$  $$\mathfrak{l}:=R_0(\mathfrak{l})\supset R_1(\mathfrak{l})\supset R_2(\mathfrak{l})...,$$  where $R_{k+1}(\mathfrak{l})$  is the minimal $\mathfrak{l}$  -ideal in $R_k(\mathfrak{l})$  such that the induced action of $\mathfrak{l}$  on $R_k(\mathfrak{l})/R_{k+1}(\mathfrak{l})$  is semi-simple. Note that these ideals are invariant under all automorphisms of $\mathfrak{l}$  . There exists a number $m$  such that $R_m(\mathfrak{l})=\left\{0\right\}$  .

We consider the automorphism $F={\Phi }_{\mathfrak{l}}\left(i\right)$  . We look at the semi-simple representation of $\mathfrak{l}$  on the complexification $W_k$  of $R_k(\mathfrak{l})/R_{k+1}(\mathfrak{l})$  . Since ${\mathfrak{l}}^{\prime }$  is a nilpotent ideal of $\mathfrak{l}$  , the Lie algebra ${\mathfrak{l}}_{+}=[{\mathfrak{l}}_{-},{\mathfrak{l}}_{-}]\subset {\mathfrak{l}}^{\prime }$  acts trivially on $W_k$  . It follows that $W_k$  is the direct sum of weight spaces $E_{\lambda }$  with $\lambda \in ({\mathfrak{l}}_{-}^{*}{)}_{\mathbb{C}}$  . Note that $F$  acts naturally on $({\mathfrak{l}}_{-}^{*}{)}_{\mathbb{C}}$  and on $W_k$  with the property $F\left(E_{\lambda }\right)=E_{F\left(\lambda \right)}$  . Assume that $\lambda \ne 0$  . Then the elements $F^n\left(\lambda \right)$  , $n=0,1,2,3$  , are pairwise different. Therefore the sum of the weight spaces $E_{F^n\left(\lambda \right)}$  , $n=0,1,2,3$  , is direct. Take $v\in E_{\lambda }$  . Then $F^n\left(v\right)\in E_{F^n\left(\lambda \right)}$  , and $$v^{-}:=v-F\left(v\right)+F^2\left(v\right)-F^3\left(v\right)$$  satisfies $F\left(v^{-}\right)=-v^{-}$  . However, the only possible eigenvalues of $F$  on $W_k$  are $1$  , $i$  and $-i$  . We conclude that $v^{-}=0$  , hence $v=0$  . It follows that $W_k=E_0$  , i.e. $\mathfrak{l}$  acts trivially on $W_k$  . We conclude that $\mathfrak{l}$  is nilpotent. $\square$ 

Definition 2.2 A hyper-Kähler symmetric triple is a triple $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  , where $(\mathfrak{g},{\Phi }_{\mathfrak{g}})$  is a Lie algebra with proper quaternionic grading and $\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}}$  is an $\mathfrak{l}-$  and ${\Phi }_{\mathfrak{l}}$  -invariant non-degenerate symmetric bilinear symmetric bilinear form.

There is an obvious notion of isomorphism between hyper-Kähler symmetric triples.

Note that ${\theta }_{\mathfrak{g}}:={\Phi }_{\mathfrak{g}}(-1)$  is an isometric involution of $\mathfrak{g}$  and $(\mathfrak{g},{\theta }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is a symmetric triple in the sense of [KO2] .

Proposition 2.3 The Lie algebra of the transvection group of a hyper-Kähler symmetric space carries the structure of a hyper-Kähler symmetric triple in a canonical way.

There is a one-to-one correspondence between isometry classes of simply connected hyper-Kähler symmetric spaces and isomorphism classes of hyper-Kähler symmetric triples.

Proof. The proposition is a slight variant of the well-known correspondence between pseudo-Riemannian symmetric spaces and symmetric triples (see [CP] , compare [KO2] , Section 2). If $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is a hyper-Kähler symmetric triple and $(M,g)$  is a symmetric space with associated symmetric triple $(\mathfrak{g},{\theta }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  , then $I={\Phi }_{\mathfrak{g}}\left(i\right){|}_{{\mathfrak{g}}_{-}}$  and $J={\Phi }_{\mathfrak{g}}\left(j\right){|}_{{\mathfrak{g}}_{-}}$  are ${\mathfrak{l}}_{+}$  -invariant anticommuting complex structures on ${\mathfrak{g}}_{-}\sim =T_{o}M$  respecting the metric and therefore induce a hyper-Kähler structure on $M$  .

The only non-obvious point is the opposite direction. Let $(M,g,I,J)$  be a hyperKähler symmetric space and let $(\mathfrak{g},{\theta }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  be the associated symmetric triple. Then $I,J,K:=IJ$  span a Lie algebra $\mathfrak{k}\sim =\mathfrak{s}\mathfrak{p}\left(1\right)$  which acts orthogonally on ${\mathfrak{g}}_{-}\sim =T_{o}M$  .

This action commutes with the one of ${\mathfrak{g}}_{+}$  . We extend the $\mathfrak{k}$  -action to $\mathfrak{g}$  by the trivial action on ${\mathfrak{g}}_{+}$  . For $X,Y\in {\mathfrak{g}}_{-}$  , $Z\in {\mathfrak{g}}_{+}$  , and $Q\in \mathfrak{k}$  we compute

$$\begin{array}{ccc}\langle [QX,Y]+[X,QY],Z\rangle & =& \langle QX,[Y,Z]\rangle +\langle X,[QY,Z]\rangle \end{array}$$

$$\begin{array}{ccc}& =& \langle QX,[Y,Z]\rangle +\langle X,Q[Y,Z]\rangle =0.\end{array}$$

It follows that $\mathfrak{k}$  acts by derivations on $\mathfrak{g}$  . Integrating the resulting homomorphism of $\mathfrak{s}\mathfrak{p}\left(1\right)$  into the derivations of $\mathfrak{g}$  we obtain the desired homomorphism ${\Phi }_{\mathfrak{g}}:\mathit{S}\mathit{p}\left(1\right)\to Aut(\mathfrak{g})$  . $\square$  Taking Proposition  2.1 into account we obtain

Corollary 2.4 The transvection group of a hyper-Kähler symmetric space is nilpotent.

A hyper-Kähler symmetric triple is called decomposable, if it is the orthogonal direct sum of two non-zero hyper-Kähler symmetric triples, and indecomposable otherwise.

The simply connected hyper-Kähler symmetric spaces which correspond to indecomposable hyper-Kähler triples are precisely those which are indecomposable in the differential geometric sense. This follows from the de Rham–Wu decomposition theorem.

The underlying metric Lie algebra of a hyper-Kähler symmetric triple $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is the tuple $(\mathfrak{g},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  . There are analogous notions of indecomposability for symmetric triples and for metric Lie algebras.

Lemma 2.5 Let $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  be a hyper-Kähler symmetric triple with $\mathfrak{g}$  non-abelian.

Then the following conditions are equivalent:

• (i) $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is indecomposable.
• (ii) The symmetric triple $(\mathfrak{g},{\theta }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is indecomposable.
• (iii) The metric Lie algebra $(\mathfrak{g},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is indecomposable.

Proof. The implications $\left(iii\right)\Rightarrow \left(ii\right)\Rightarrow \left(i\right)$  are obvious. We have to prove $\left(i\right)\Rightarrow \left(iii\right)$  .

Assume $\left(i\right)$  . We first observe that the center $\mathfrak{z}(\mathfrak{g})$  is isotropic, i.e. $\mathfrak{z}(\mathfrak{g})\subset \mathfrak{z}(\mathfrak{g}{)}^{\perp }={\mathfrak{g}}^{\prime }$  .

Indeed, any $\mathit{S}\mathit{p}\left(1\right)$  -invariant complement of $\mathfrak{z}(\mathfrak{g})\cap \mathfrak{z}(\mathfrak{g}{)}^{\perp }$  in $\mathfrak{z}(\mathfrak{g})$  is a non-degenerate abelian ideal of $\mathfrak{g}$  . It has to be zero by assumption. Let

$$\begin{array}{c}\mathfrak{g}{=}^n{\oplus }_{k=1}{\mathfrak{i}}_k\end{array}$$

(1)

be an orthogonal decomposition of $(\mathfrak{g},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  into non-trivial indecomposable ideals.

Let $\mathfrak{j}\subset \mathfrak{g}$  be a further non-degenerate indecomposable ideal. According to [A] , Theorem 3, there exists $l\in \{1,...,n\}$  such that ${\mathfrak{j}}^{\prime }={{\mathfrak{i}}_l}^{\prime }$  . In particular, the set of derivatives of non-degenerate indecomposable ideals is finite. Therefore the action of the connected group $\mathit{S}\mathit{p}\left(1\right)$  on this set is trivial. It follows that the ideals ${{\mathfrak{i}}_1}^{\prime }$  and $({\oplus }_{k=2}^n{\mathfrak{i}}_k^{\prime }{)}^{\perp }={\mathfrak{i}}_1+\mathfrak{z}(\mathfrak{g})$  are $\mathit{S}\mathit{p}\left(1\right)$  -invariant. The above observation concerning the center yields $\mathfrak{z}\left({\mathfrak{i}}_1\right)={{\mathfrak{i}}_1}^{\prime }\cap \mathfrak{z}(\mathfrak{g})$  . It follows that this ideal is $\mathit{S}\mathit{p}\left(1\right)$  -invariant, too. Therefore $\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}}$  induces an $\mathit{S}\mathit{p}\left(1\right)$  -equivariant surjective map $$\psi :{\mathfrak{i}}_1+\mathfrak{z}(\mathfrak{g})⟶\mathfrak{z}({\mathfrak{i}}_1{)}^{*}.$$  Note that ${{\mathfrak{i}}_1}^{\prime }\subset ker\left(\psi \right)$  . Let $s:\mathfrak{z}({\mathfrak{i}}_1{)}^{*}\to {\mathfrak{i}}_1+\mathfrak{z}(\mathfrak{g})$  be an $\mathit{S}\mathit{p}\left(1\right)$  -equivariant section of $\psi$  .

Then ${\tilde{\mathfrak{i}}}_1:={{\mathfrak{i}}_1}^{\prime }\oplus s(\mathfrak{z}({\mathfrak{i}}_1{)}^{*})$  is a non-degenerate and $\mathit{S}\mathit{p}\left(1\right)$  -invariant ideal of $\mathfrak{g}$  . Moreover, the projection ${\tilde{\mathfrak{i}}}_1\to {\mathfrak{i}}_1$  with respect to ( 1 ) is an isomorphism. Indecomposability of the triple $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  now implies $\mathfrak{g}={\tilde{\mathfrak{i}}}_1$  . Thus $\mathfrak{g}\sim ={\mathfrak{i}}_1$  is indecomposable as a metric Lie algebra. $\square$ 

3 Quaternionic quadratic cohomology

Let us first recall the notion of quadratic cohomology introduced in [KO1] . Let $\mathfrak{l}$  be a finite-dimensional Lie algebra. An orthogonal $\mathfrak{l}$  -module is a tuple $(\rho ,\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}})$  (also $\mathfrak{a}$  in abbreviated notation) such that $\rho$  is a representation of the Lie algebra $\mathfrak{l}$  on the finite-dimensional real vector space $\mathfrak{a}$  and $\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}}$  is a scalar product on $\mathfrak{a}$  such that $\rho \left(L\right)\in \mathfrak{s}\mathfrak{o}(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}})$  for all $L\in \mathfrak{l}$  .

For $\mathfrak{l}$  and (any $\mathfrak{l}$  -module) $\mathfrak{a}$  we have the standard cochain complex $\left(C^{*}\right(\mathfrak{l},\mathfrak{a}),d)$  , where $C^p(\mathfrak{l},\mathfrak{a})=Hom({\wedge }^p\mathfrak{l},\mathfrak{a})$  and we have the corresponding cocycle groups $Z^p(\mathfrak{l},\mathfrak{a})$  and cohomology groups $H^p(\mathfrak{l},\mathfrak{a})$  . If $\mathfrak{a}$  is the one-dimensional trivial representation, then we denote this cochain complex also by $C^{*}(\mathfrak{l})$  .

We have a product $$\langle \cdot \wedge \cdot \rangle :C^p(\mathfrak{l},\mathfrak{a})\times C^q(\mathfrak{l},\mathfrak{a})⟶C^{p+q}(\mathfrak{l})$$  defined by the composition $$C^p(\mathfrak{l},\mathfrak{a})\times C^q(\mathfrak{l},\mathfrak{a})\stackrel{\wedge }{⟶}{C}^{p+q}(\mathfrak{l},\mathfrak{a}\otimes \mathfrak{a})\stackrel{\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}}}{⟶}{C}^p(\mathfrak{l}).$$  The group of quadratic $1$  -cochains is the group $${\mathcal{C}}_Q^1(\mathfrak{l},\mathfrak{a})=C^1(\mathfrak{l},\mathfrak{a})\oplus C^2(\mathfrak{l})$$  with group operation defined by $$({\tau }_1,{\sigma }_1)*({\tau }_2,{\sigma }_2)=({\tau }_1+{\tau }_2,{\sigma }_1+{\sigma }_2+\frac{1}{2}\langle {\tau }_1\wedge {\tau }_2\rangle ).$$  We consider now the set $${\mathcal{Z}}_Q^2(\mathfrak{l},\mathfrak{a})=\left\{\right(\alpha ,\gamma )\in C^2(\mathfrak{l},\mathfrak{a})\oplus C^3(\mathfrak{l}\left)\right|d\alpha =0,d\gamma =\frac{1}{2}\langle \alpha \wedge \alpha \rangle \}$$  whose elements are called quadratic $2$  -cocycles. The group ${\mathcal{C}}_Q^1(\mathfrak{l},\mathfrak{a})$  acts on ${\mathcal{Z}}_Q^2(\mathfrak{l},\mathfrak{a})$  by $$(\alpha ,\gamma )(\tau ,\sigma )=\left(\alpha +d\tau ,\gamma +d\sigma +\langle (\alpha +\frac{1}{2}d\tau )\wedge \tau \rangle \right).$$  Ordinary quadratic cohomology is then the orbit space of this action: $$\mathcal{\mathscr{H}}2Q(\mathfrak{l},\mathfrak{a})=\mathcal{Z}2Q(\mathfrak{l},\mathfrak{a})/\mathcal{C}1Q(\mathfrak{l},\mathfrak{a}).$$  Now let $(\mathfrak{l},\Phi \mathfrak{l})$  be a Lie algebra with quaternionic grading and let $(\mathfrak{a},\Phi \mathfrak{a})$  be a vector space with orthogonal quaternionic grading. We consider $\mathfrak{a}$  as a trivial $\mathfrak{l}$  -module. Then ${\Phi }_{\mathfrak{a}}$  and $\Phi \mathfrak{l}$  define $\mathit{S}\mathit{p}\left(1\right)$  -actions on $\mathcal{Z}2Q(\mathfrak{l},\mathfrak{a})$  and $\mathcal{C}1Q(\mathfrak{l},\mathfrak{a})$  . More precisely, for $q\in \mathit{S}\mathit{p}\left(1\right)$  the pair of morphisms $(\Phi \mathfrak{l}(q),\Phi \mathfrak{a}(q{)}^{-1})$  induces pullback maps on $C^2(\mathfrak{l},\mathfrak{a})\oplus C^3(\mathfrak{l})$  and on $\mathcal{C}1Q(\mathfrak{l},\mathfrak{a})=C^1(\mathfrak{l},\mathfrak{a})\oplus C^2(\mathfrak{l})$  , which leave invariant $\mathcal{Z}2Q(\mathfrak{l},\mathfrak{a})$  and are compatible with the $\mathcal{C}1Q(\mathfrak{l},\mathfrak{a})$  -action on $\mathcal{Z}2Q(\mathfrak{l},\mathfrak{a})$  . We consider the sets of invariants $$\mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}):=\mathcal{Z}2Q(\mathfrak{l},\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}\text{and}\mathcal{C}1Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}):=\mathcal{C}1Q(\mathfrak{l},\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}.$$  The group $\mathcal{C}1Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  acts on $\mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  and we can define the (second) quaternionic quadratic cohomology by $$\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}):=\mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})/\mathcal{C}1Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}).$$  For a Lie algebra $\mathfrak{l}$  we denote by ${\mathfrak{l}}^1=\mathfrak{l},...,{\mathfrak{l}}^k=[\mathfrak{l},{\mathfrak{l}}^{k-1}],...$  the lower central series.

Definition 3.1 Let $(\mathfrak{l},\Phi \mathfrak{l})$  be a Lie algebra with a proper quaternionic grading and let $\mathfrak{a}$  be a vector space with orthogonal quaternionic grading. Let $m$  be such that ${\mathfrak{l}}^{m+2}=0$  . Let $(\alpha ,\gamma )\in \mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  . Then the cohomology class $[\alpha ,\gamma ]\in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  is called admissible if and only if the following conditions $\left(T\right)$  , $\left(A_k\right)$  and $\left(B_k\right)$  hold for all $0\le k\le m$  .

• $\left(T\right)$  ${\mathfrak{a}}_{+}=\alpha (ker[\cdot ,\cdot {]}_{{\mathfrak{l}}_{-}})$  .
• $\left(A_k\right)$  Let $L_0\in \mathfrak{z}(\mathfrak{l})\cap {\mathfrak{l}}^{k+1}$  be such that there exist elements $A_0\in \mathfrak{a}$  and $Z_0\in ({\mathfrak{l}}^{k+1}{)}^{*}$  satisfying
  • (i) $\alpha (L,L_0)=0$  ,
  • (ii) $\gamma (L,L_0,\cdot )=-\langle A_0,\alpha (L,\cdot ){\rangle }_{\mathfrak{a}}+\langle Z_0,[L,\cdot {]}_{\mathfrak{l}}\rangle$  as an element of $({\mathfrak{l}}^{k+1}{)}^{*}$  ,
  for all $L\in \mathfrak{l}$  , then $L_0=0$  .
• $\left(B_k\right)$  The subspace $\alpha (ker[\cdot ,\cdot {]}_{\mathfrak{l}\otimes {\mathfrak{l}}^{k+1}})\subset \mathfrak{a}$  is non-degenerate, where $ker[\cdot ,\cdot {]}_{\mathfrak{l}\otimes {\mathfrak{l}}^{k+1}}$  is the kernel of the map $[\cdot ,\cdot ]:\mathfrak{l}\otimes {\mathfrak{l}}^{k+1}\to \mathfrak{l}$  .

We denote the set of all admissible cohomology classes by $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_{♯}$  .

The admissibility conditions are specializations of the ones in [KO2] , Definition 5.2, to the case that $\mathfrak{l}$  is nilpotent and that the representation of $\mathfrak{l}$  on $\mathfrak{a}$  is trivial. As in [KO2] , they do not depend on the choice of the cocycle representing the cohomology class $[\alpha ,\gamma ]$  .

Now let ${\mathfrak{l}}_i$  , ${\mathfrak{a}}_i$  , $i=1,2$  , be Lie algebras (vector spaces, resp.) with (orthogonal) quaternionic grading. We form $\mathfrak{l}={\mathfrak{l}}_1\oplus {\mathfrak{l}}_2$  , $\mathfrak{a}={\mathfrak{a}}_1\oplus {\mathfrak{a}}_2$  and consider the corresponding projections $p{r}_i:\mathfrak{l}\to {\mathfrak{l}}_i$  . If $({\alpha }_i,{\gamma }_i)\in {\mathcal{Z}}_Q^2({\mathfrak{l}}_i,{\Phi }_{l_i},{\mathfrak{a}}_i)$  , then $$(p{r}_1^{*}{\alpha }_1\oplus p{r}_2^{*}{\alpha }_2,p{r}_1^{*}{\gamma }_1+p{r}_2^{*}{\gamma }_2)\in \mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}).$$  This operation induces a map $$\oplus :{\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_1,{\Phi }_{l_1},{\mathfrak{a}}_1)\oplus {\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_2,{\Phi }_{l_2},{\mathfrak{a}}_2)⟶\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}).$$ 

Definition 3.2 A cohomology class $\phi \in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  is called decomposable, if there are a decomposition $\mathfrak{l}={\mathfrak{l}}_1\oplus {\mathfrak{l}}_2$  into ${\Phi }_{\mathfrak{l}}$  -invariant ideals, a ${\Phi }_{\mathfrak{a}}$  -invariant orthogonal decomposition $\mathfrak{a}={\mathfrak{a}}_1\oplus {\mathfrak{a}}_2$  (at least one of these decompositions should be non-trivial), and cohomology classes ${\phi }_i\in {\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_i,{\Phi }_{l_i},{\mathfrak{a}}_i)$  such that $\phi ={\phi }_1\oplus {\phi }_2$  . Otherwise we call $\phi$  indecomposable.

We denote the set of all indecomposable elements in $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_{♯}$  by $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0$  .

4 A construction method

Now we will present a construction method which yields hyper-Kähler symmetric triples starting with a Lie algebra with proper quaternionic grading $(\mathfrak{l},\Phi \mathfrak{l})$  , a vector space $\mathfrak{a}$  with orthogonal quaternionic grading and an admissible cocycle in $\mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  (i.e. a cocycle which represents an admissible cohomology class). This construction is a special case of the construction method for symmetric triples presented in [KO2] , Section 4.2. In Section  6 we will see that each hyper-Kähler symmetric triple arises by this construction in a canonical way.

Let $(\mathfrak{l},\Phi \mathfrak{l})$  be a Lie algebra with proper quaternionic grading and let $(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}},\Phi \mathfrak{a})$  be a vector space with orthogonal quaternionic grading. We consider the vector space $$\mathfrak{d}:={\mathfrak{l}}^{*}\oplus \mathfrak{a}\oplus \mathfrak{l}.$$  Now we choose an admissible cocycle $(\alpha ,\gamma )\in \mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  and define a Lie bracket $[\cdot ,\cdot ]:\mathfrak{d}\times \mathfrak{d}\to \mathfrak{d}$  by $[{\mathfrak{l}}^{*}\oplus \mathfrak{a},{\mathfrak{l}}^{*}\oplus \mathfrak{a}]=0$  and

$$\begin{array}{ccc}[L_1,L_2]& =& \gamma (L_1,L_2,\cdot )+\alpha (L_1,L_2)+[L_1,L_2{]}_{\mathfrak{l}}\end{array}$$

(2)

$$\begin{array}{ccc}[L,A]& =& -\langle A,\alpha (L,\cdot )\rangle \end{array}$$

(3)

$$\begin{array}{ccc}[L,Z]& =& a{d}^{*}\left(L\right)\left(Z\right)\end{array}$$

(4)

for $Z\in {\mathfrak{l}}^{*}$  , $A\in \mathfrak{a}$  and $L,L_1,L_2\in \mathfrak{l}$  . Moreover we define an inner product $\langle \cdot ,\cdot \rangle$  and a quaternionic grading $\Phi$  on $\mathfrak{d}$  by

$$\begin{array}{ccc}\langle Z_1+A_1+L_1,Z_2+A_2+L_2\rangle & :=& \langle A_1,A_2{\rangle }_{\mathfrak{a}}+Z_1\left(L_2\right)+Z_2\left(L_1\right)\end{array}$$

$$\begin{array}{ccc}\Phi (Z+A+L)& :=& {\Phi }_{\mathfrak{l}}^{*}\left(Z\right)+\Phi \mathfrak{a}\left(A\right)+\Phi \mathfrak{l}\left(L\right)\end{array}$$

for $Z,Z_1,Z_2\in {\mathfrak{l}}^{*}$  , $A,A_1,A_2\in \mathfrak{a}$  and $L,L_1,L_2\in \mathfrak{l}$  .

Proposition 4.1 The tuple $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}):=(\mathfrak{d},\Phi ,\langle \cdot ,\cdot \rangle )$  is a hyper-Kähler symmetric triple. It is indecomposable if and only if $[\alpha ,\gamma ]\in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_{♯}$  is indecomposable.

Proof. This follows from the results of [KO2] , especially Prop. 4.1, Lemma 5.2, and Prop. 6.2. $\square$ 

Remark 4.2 If $(\alpha ,\gamma )\in \mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  is arbitrary, then $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  is still a Lie algebra with quaternionic grading and an invariant inner product. One needs some conditions on the cocycle in order to ensure properness. For this purpose, conditions much weaker than admissibility would suffice (e.g. $\left(T\right)$  together with $\left(A_0\right)$  ). However, we can detect indecomposability of $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  for admissible cocycles $(\alpha ,\gamma )$  only. The main reason for considering the admissibility conditions is that any hyper-Kähler symmetric triple is isomorphic to $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  for an essentially unique tuple $(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a},[\alpha ,\gamma ]\in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_{♯})$  , see Theorem  6.1 below.

Remark 4.3 The signature $(p,q)$  of a hyper-Kähler symmetric triple $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is defined to be the signature of the restriction of $\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}}$  to ${\mathfrak{g}}_{-}$  . Here $p$  is the dimension of a maximal negativ definite subspace of ${\mathfrak{g}}_{-}$  . Sometimes $p$  is called index of the triple.

The signature (the index) of a hyper-Kähler symmetric triple equals the signature (the index) of the metric of any pseudo-Riemannian (hyper-Kähler) symmetric space which is associated with the triple. The signature $(p,q)$  of the above constructed hyper-Kähler symmetric triple $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  is determined by the signature $(p_{\mathfrak{a}},q_{\mathfrak{a}})$  of the restriction of $\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}}$  to ${\mathfrak{a}}_{-}$  and the dimension of ${\mathfrak{l}}_{-}$  :

$$\begin{array}{c}(p,q)=(p_{\mathfrak{a}}+dim{\mathfrak{l}}_{-},q_{\mathfrak{a}}+dim{\mathfrak{l}}_{-})\end{array}$$

(5)

5 Examples of hyper-Kähler symmetric spaces with non-abelian holonomy

Now we will use the method described above to construct various hyper-Kähler symmetric triples whose associated symmetric spaces have non-abelian holonomy. In particular, these spaces are missing in the classification result for hyper-Kähler symmetric triples claimed by Alekseevsky and Cortés [AC] .

Example 1 First let us define the structure of a Lie algebra with proper quaternionic grading on the vector space ${\mathfrak{l}}_0=\text{H}\oplus Im\text{H}$  . For all $q\in \text{H}$  we denote $(q,0)$  only by $q$  and $(0,i)$  , $(0,j)$  , $(0,k)$  by $I$  , $J$  , and $K$  respectively. On ${\mathfrak{l}}_0$  we define a Lie bracket $[\cdot ,\cdot ]$  by $$I,J,K\in \mathfrak{z}\left({\mathfrak{l}}_0\right),[q_1,q_2]=(0,Im{\overline{q}}_1{q}_2)\in \text{H}\oplus Im\text{H}.$$  Moreover, on ${\mathfrak{l}}_0=\text{H}\oplus Im\text{H}$  we consider the $\mathit{S}\mathit{p}\left(1\right)$  -action ${\Phi }_{{\mathfrak{l}}_0}$  which is the left multiplication on the first summand and which is trivial on the second summand.

Now we will describe a suitable vector space ${\mathfrak{a}}_0$  with orthogonal quaternionic grading such that ${\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},{\mathfrak{a}}_0{)}_0$  is not empty. Let $e_1,e_2,e_3$  be the standard basis of ${\text{R}}^3$  and define $A_1=e_1-e_2$  , $A_2=e_2-e_3$  and $A_3=e_3-e_1$  . We consider the 2-dimensional vector space ${\mathfrak{a}}_{\mathbb{R}}=span\{A_1,A_2,A_3\}.$  Let $\langle \cdot ,\cdot \rangle$  be the restriction of the (positive definite) standard scalar product on ${\text{R}}^3$  to ${\mathfrak{a}}_{\mathbb{R}}$  and let $\langle \cdot ,\cdot {\rangle }_{\mathbb{H}}$  be the standard scalar product on $\text{H}$  , i.e. $\langle p,q{\rangle }_{\mathbb{H}}=\overline{p}q$  . Then $\langle \cdot ,\cdot {\rangle }_0:=\langle \cdot ,\cdot {\rangle }_{\mathbb{H}}\otimes \langle \cdot ,\cdot \rangle$  is a scalar product on ${\mathfrak{a}}_0:=\text{H}{\otimes }_{\mathbb{R}}{\mathfrak{a}}_{\mathbb{R}}$  .

Furthermore, if we let ${\Phi }_{{\mathfrak{a}}_0}$  be the left multiplication on ${\mathfrak{a}}_0$  we obtain a vector space with orthogonal quaternionic grading $({\mathfrak{a}}_0,\langle \cdot ,\cdot {\rangle }_0,{\Phi }_{{\mathfrak{a}}_0})$  .

We define ${\alpha }_0\in C^2({\mathfrak{l}}_0,{\mathfrak{a}}_0)$  by

$$\begin{array}{c}{\alpha }_0(q,I)=qi{A}_1,{\alpha }_0(q,J)=qj{A}_2,{\alpha }_0(q,K)=qk{A}_3\end{array}$$

(6)

for all $q\in \text{H}$  and by ${\alpha }_0\left(\right({\mathfrak{l}}_0{)}_{+},\left({\mathfrak{l}}_0{)}_{+}\right)={\alpha }_0\left(\right({\mathfrak{l}}_0{)}_{-},\left({\mathfrak{l}}_0{)}_{-}\right)=0$  . Furthermore, we define ${\gamma }_0\in C^3\left({\mathfrak{l}}_0\right)$  by ${\gamma }_0(I,J,K)=2$  and ${\gamma }_0\left(\right({\mathfrak{l}}_0{)}_{-},{\mathfrak{l}}_0,{\mathfrak{l}}_0)=0$  .

Lemma 5.1 We have $({\alpha }_0,{\gamma }_0)\in {\mathcal{Z}}_Q^2({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},{\mathfrak{a}}_0)$  . Moreover, $({\alpha }_0,{\gamma }_0)$  is admissible and indecomposable.

Proof. Obviously, ${\alpha }_0$  and ${\gamma }_0$  are $\mathit{S}\mathit{p}\left(1\right)$  -invariant. Let us compute

$$\begin{array}{ccc}d{\alpha }_0(1,i,j)& =& -{\alpha }_0\left(\right[1,i],j)+{\alpha }_0\left(\right[1,j],i)-{\alpha }_0\left(\right[i,j],1)\end{array}$$

$$\begin{array}{ccc}& =& -{\alpha }_0(I,j)+{\alpha }_0(J,i)+{\alpha }_0(K,1)\end{array}$$

$$\begin{array}{ccc}& =& ji{A}_1-ij{A}_2-k{A}_3=0.\end{array}$$

Because of the $\mathit{S}\mathit{p}\left(1\right)$  -invariance of ${\alpha }_0$  this implies $$d{\alpha }_0(1,i,k)=d{\alpha }_0(1,j,k)=d{\alpha }_0(i,j,k)=0.$$  Since all other components of $d{\alpha }_0$  vanish obviously, we obtain $d{\alpha }_0=0$  .

Now we will check the condition $d{\gamma }_0=\frac{1}{2}\langle {\alpha }_0\wedge {\alpha }_0\rangle$  . Obviously we have $$d{\gamma }_0({\mathfrak{l}}_0,({\mathfrak{l}}_0{)}_{+},({\mathfrak{l}}_0{)}_{+},({\mathfrak{l}}_0{)}_{+})=\langle {\alpha }_0\wedge {\alpha }_0\rangle ({\mathfrak{l}}_0,({\mathfrak{l}}_0{)}_{+},({\mathfrak{l}}_0{)}_{+},\left({\mathfrak{l}}_0{)}_{+}\right)=0$$  and $$d{\gamma }_0({\mathfrak{l}}_0,({\mathfrak{l}}_0{)}_{-},({\mathfrak{l}}_0{)}_{-},({\mathfrak{l}}_0{)}_{-})=\langle {\alpha }_0\wedge {\alpha }_0\rangle ({\mathfrak{l}}_0,({\mathfrak{l}}_0{)}_{-},({\mathfrak{l}}_0{)}_{-},\left({\mathfrak{l}}_0{)}_{-}\right)=0.$$  By $\mathit{S}\mathit{p}\left(1\right)$  -invariance of $({\alpha }_0,{\gamma }_0)$  it remains to prove $$d{\gamma }_0(1,q,P,Q)=\frac{1}{2}\langle {\alpha }_0\wedge {\alpha }_0\rangle (1,q,P,Q)$$  for all imaginary $q\in \text{H}$  and all $P,Q\in \{I,J,K\}$  . We will show this for $q=i$  . The remaining equations can be proved similarly. We have

$$\begin{array}{ccc}\frac{1}{2}\langle {\alpha }_0\wedge {\alpha }_0\rangle (1,i,I,J)& =& \langle {\alpha }_0(I,1),{\alpha }_0(i,J){\rangle }_0+\langle {\alpha }_0(i,I),{\alpha }_0(1,J){\rangle }_0\end{array}$$

$$\begin{array}{ccc}& =& \langle -i{A}_1,k{A}_2{\rangle }_0+\langle -A_1,j{A}_2{\rangle }_0\end{array}$$

$$\begin{array}{ccc}& =& 0=-{\gamma }_0(I,I,J)=d{\gamma }_0(1,i,I,J)\end{array}$$

$$\begin{array}{ccc}\frac{1}{2}\langle {\alpha }_0\wedge {\alpha }_0\rangle (1,i,I,K)& =& \langle {\alpha }_0(I,1),{\alpha }_0(i,K){\rangle }_0+\langle {\alpha }_0(i,I),{\alpha }_0(1,K){\rangle }_0\end{array}$$

$$\begin{array}{ccc}& =& \langle -i{A}_1,-j{A}_3{\rangle }_0+\langle -A_1,k{A}_3{\rangle }_0\end{array}$$

$$\begin{array}{ccc}& =& 0=-{\gamma }_0(I,I,K)=d{\gamma }_0(1,i,I,K)\end{array}$$

$$\begin{array}{ccc}\frac{1}{2}\langle {\alpha }_0\wedge {\alpha }_0\rangle (1,i,J,K)& =& \langle {\alpha }_0(J,1),{\alpha }_0(i,K){\rangle }_0+\langle {\alpha }_0(i,J),{\alpha }_0(1,K){\rangle }_0\end{array}$$

$$\begin{array}{ccc}& =& \langle -j{A}_2,-j{A}_3{\rangle }_0+\langle k{A}_2,k{A}_3{\rangle }_0\end{array}$$

$$\begin{array}{ccc}& =& -2=-{\gamma }_0(I,J,K)=d{\gamma }_0(1,i,J,K).\end{array}$$

It is easy to see that $({\alpha }_0,{\gamma }_0)$  is admissible. Indeed, Condition $\left(T\right)$  is satisfied because of $({\mathfrak{a}}_0{)}_{+}=0$  and $\left(B_0\right)$  and $\left(B_1\right)$  hold since $\langle \cdot ,\cdot {\rangle }_0$  is definite. As for Conditions $\left(A_0\right)$  and $\left(A_1\right)$  we observe that $\mathfrak{z}\left({\mathfrak{l}}_0\right)\cap {\mathfrak{l}}_0=\mathfrak{z}\left({\mathfrak{l}}_0\right)\cap {\mathfrak{l}}_0^{\prime }=span\{I,J,K\}$  and that for all $Q\in span\{I,J,K\}$  there is an element $L\in {\mathfrak{l}}_0$  such that ${\alpha }_0(L,Q)\ne 0$  . Hence, $\left(A_0\right)$  and $\left(A_1\right)$  are also satisfied, thus $({\alpha }_0,{\gamma }_0)$  is admissible. Obviously, $({\alpha }_0,{\gamma }_0)$  is also indecomposable since ${\mathfrak{l}}_0$  is indecomposable and ${\alpha }_0({\mathfrak{l}}_0,{\mathfrak{l}}_0)={\mathfrak{a}}_0$  . $\square$ 

Corollary 5.2 The triple ${\mathfrak{d}}_{{\alpha }_0,{\gamma }_0}({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},{\mathfrak{a}}_0)$  is an indecomposable hyper-Kähler symmetric triple of signature $(4,12)$  . The holonomy group of a symmetric space associated with this triple is non-abelian.

Proof. The first statement follows from Proposition  4.1 , Lemma  5.1 and Equation ( 5 ). It remains to prove the assertion on the holonomy group. The Lie algebra of this group is isomorphic to ${\mathfrak{d}}_{+}=({\mathfrak{l}}_0^{*}{)}_{+}\oplus ({\mathfrak{a}}_0{)}_{+}\oplus ({\mathfrak{l}}_0{)}_{+}$  with Lie bracket defined by ( 2 ) – ( 4 ). Since $\gamma (I,J,K)\ne 0$  this Lie algebra is not abelian. $\square$ 

Remark 5.3 Let us briefly recall a general construction of hyper-Kähler symmetric triples from [AC] . Let $(E,\omega )$  be a complex symplectic vector space. Any $S\in S^{4}E$  defines a complex linear subspace ${\mathfrak{h}}_S\subset \mathfrak{s}\mathfrak{p}(E,\omega )\sim =S^{2}E$  by $${\mathfrak{h}}_S=span\{S_{v,w}\in S^{2}E|v,w\in E\},$$  where $S_{v,w}$  is the contraction of $S$  with $v$  and $w$  defined by the symplectic form $\omega$  . If

$$\begin{array}{c}S\in (S^{4}E{)}^{{\mathfrak{h}}_S},\end{array}$$

(7)

then ${\mathfrak{h}}_S\subset \mathfrak{s}\mathfrak{p}(E,\omega )$  is a Lie subalgebra and, moreover, there is a natural Lie bracket on ${\mathfrak{h}}_S\oplus \left(\text{H}{\otimes }_{\mathbb{C}}E\right)$  . If there exists a Lagrangian subspace $E_{+}\subset E$  such that $S\in S^4{E}_{+}\subset S^{4}E$  , then $S$  is a solution of ( 7 ). Let us call solutions of this kind tame. If $S$  is tame, then the Lie algebra ${\mathfrak{h}}_S$  is abelian.

Let $J$  be a quaternionic structure on $E$  such that $J^{*}\omega =\overline{\omega }$  . Then $J$  induces real structures, all denoted by $\tau$  , on $S^{4}E$  , $S^{2}E\sim =\mathfrak{s}\mathfrak{p}(E,\omega )$  , and on $\text{H}{\otimes }_{\mathbb{C}}E$  . If $S\in (S^{4}E{)}^{\tau }$  satisfies ( 7 ), then the real Lie algebra $${\mathfrak{g}}_S:=({\mathfrak{h}}_S{)}^{\tau }\oplus (\text{H}{\otimes }_{\mathbb{C}}E{)}^{\tau }$$  carries a canonical structure of a hyper-Kähler symmetric triple. Moreover, all hyper-Kähler symmetric triples arise in this way. The Alekseevsky-Cortés construction mentioned in the introduction produces a hyper-Kähler symmetric triple ${\mathfrak{g}}_S$  starting with a tame $\tau$  -invariant solution $S$  .

Now it is not difficult to show that ${\mathfrak{d}}_{{\alpha }_0,{\gamma }_0}({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},{\mathfrak{a}}_0)\sim ={\mathfrak{g}}_S$  for $(E,\omega ,J,S)$  as follows:

$(E,\omega )$  is $8$  -dimensional with standard symplectic basis $p_1,...,p_4,q_1,...,q_4$  , the quaternionic structure $J$  is characterized by $J\left(p_1\right)=p_2$  , $J\left(p_i\right)=q_i$  for $i=3,4$  , and $$S=p_1^3{q}_3+\sqrt{3}{p}_1^2{p}_2{p}_4-\sqrt{3}{p}_1{p}_2^2{q}_4-p_2^3{p}_3.$$  Let us verify directly that $S$  satisfies ( 7 ). Using the $\tau$  -invariance of $S$  we find that ${\mathfrak{h}}_S=V+\tau \left(V\right)$  , where

$$\begin{array}{ccc}V& =& span\{S_{q_1,q_1},S_{q_1,q_2},S_{q_1,q_4},S_{q_1,p_3},S_{q_1,p_4}\}\end{array}$$

$$\begin{array}{ccc}& =& span\{\sqrt{3}{p}_1{q}_3+p_2{p}_4,p_1{p}_4-p_2{q}_4,p_1{p}_2,p_1^2,p_2^2\}.\end{array}$$

It suffices to check that $P\left(S\right)=0$  for $P$  running through the above set of basis elements of $V$  . Since $S_{p_1}=S_{p_2}=0$  we immediately see that $P\left(S\right)=0$  if $P$  is one of the last three basis elements. It remains to compute

$$\begin{array}{ccc}(\sqrt{3}{p}_1{q}_3+p_2{p}_4)\left(S\right)& =& 2(\sqrt{3}{p}_1{S}_{q_3}+p_2{S}_{p_4})=\frac{1}{2}(\sqrt{3}{p}_1{p}_2^3+p_2(-\sqrt{3}{p}_1{p}_2^2\left)\right)=0,\end{array}$$

$$\begin{array}{ccc}(p_1{p}_4-p_2{q}_4)\left(S\right)& =& 2(p_1{S}_{p_4}-p_2{S}_{q_4})=\frac{1}{2}\left(p_1\right(-\sqrt{3}{p}_1{p}_2^2)-p_2(-\sqrt{3}{p}_1^2{p}_2\left)\right)=0.\end{array}$$

Equation ( 7 ) follows. On the other hand, $S$  is not tame since $\{v\in E|S_v=0\}=span\{p_1,p_2\}$  is only two-dimensional. This shows that Theorem 3 in [AC] claiming that all solutions of ( 7 ) are tame is not true. In particular, those results of [AC] ,[ABCV] ,[DJS] which are based on this theorem have to be reconsidered.

Example 2 We look at ${\text{H}}^2$  as an abelian Lie algebra equipped with the quaternionic grading given by the left $\text{H}$  -module structure. We equip $Im\text{H}\oplus Im\text{H}$  with the trivial $\mathit{S}\mathit{p}\left(1\right)$  -action.

Let $A:Im\text{H}\to Im\text{H}$  be a real linear traceless and bijectiv map which is symmetric with respect to the standard scalar product $\langle \cdot ,\cdot {\rangle }_{\mathbb{H}}{|}_{Im\mathbb{H}}$  . Then we define an inner product on $Im\text{H}\oplus Im\text{H}$  by $$\langle (P_1,P_2),(Q_1,Q_2)\rangle :=\langle P_1,A{Q}_2{\rangle }_{\mathbb{H}}+\langle Q_1,A{P}_2{\rangle }_{\mathbb{H}}$$  and denote the resulting vector space with orthogonal quaternionic grading by ${\mathfrak{a}}_A$  . We define ${\alpha }_{+}\in C^2({\text{H}}^2,{\mathfrak{a}}_A{)}^{\mathit{S}\mathit{p}\left(1\right)}$  by $${\alpha }_{+}\left(\right(p,q),(r,s\left)\right):=(Im(\overline{p}s+\overline{q}r),Im(\overline{q}s\left)\right).$$  We claim that

$$\begin{array}{c}({\alpha }_{+},0)\in {\mathcal{Z}}_Q^2({\text{H}}^2,{\Phi }_{{\mathbb{H}}^2},{\mathfrak{a}}_A).\end{array}$$

(8)

We have to check that $\langle {\alpha }_{+}\wedge {\alpha }_{+}\rangle =0$  . We decompose ${\wedge }^4{\text{H}}^2={\oplus }_{k+l=4}{\wedge }^{k,l}$  , where ${\wedge }^{k,l}={\wedge }^k\text{H}\otimes {\wedge }^l\text{H}$  . First we observe that $\langle {\alpha }_{+}\wedge {\alpha }_{+}\rangle$  vanishes on ${\wedge }^{k,l}$  for $(k,l)\ne (1,3)$  .

Next we compute

$$\begin{array}{ccc}\frac{1}{2}\langle {\alpha }_{+}\wedge {\alpha }_{+}\rangle \left(\right(1,0),(0,i),(0,j),(0,k\left)\right)& =& \langle i,A(-i){\rangle }_{\mathbb{H}}+\langle k,A(-k){\rangle }_{\mathbb{H}}+\langle -j,A\left(j\right){\rangle }_{\mathbb{H}}\end{array}$$

$$\begin{array}{ccc}& =& -trA=0,\end{array}$$

and for $p,q\in Im\text{H}\subset \text{H}$  $$\frac{1}{2}\langle {\alpha }_{+}\wedge {\alpha }_{+}\rangle \left(\right(1,0),(0,p),(0,q),(0,1\left)\right)=\langle p,A(-q){\rangle }_{\mathbb{H}}+\langle -q,A(-p){\rangle }_{\mathbb{H}}=0.$$  $\mathit{S}\mathit{p}\left(1\right)$  -invariance implies that $\langle {\alpha }_{+}\wedge {\alpha }_{+}\rangle$  vanishes on ${\wedge }^{1,3}$  as well. This proves ( 8 ).

Let ${\mathfrak{l}}_0,{\mathfrak{a}}_0,{\alpha }_0,{\gamma }_0$  be as in Example 1. Fix $n\in \text{N}$  and choose a vector $\mathfrak{A}=(A_1,...,A_n)$  of traceless symmetric bijective maps $A_k:Im\text{H}\to Im\text{H}$  . We equip $$\mathfrak{l}:={\mathfrak{l}}_0\oplus {\text{H}}^n,{\mathfrak{a}}_{\mathfrak{A}}:={\mathfrak{a}}_0{\oplus }^n{\oplus }_{k=1}{\mathfrak{a}}_{A_k}$$  with their natural quaternionic gradings. Then we have natural projections $${\phi }_0:\mathfrak{l}⟶{\mathfrak{l}}_0$$  and for $k=1,...,n$  $${\phi }_k:\mathfrak{l}⟶{\text{H}}^2,{\phi }_k(p,P,p_1,...,p_n):=(p,p_k).$$  We define $$\alpha :={\phi }_0^{*}{\alpha }_0{\oplus }^n{\oplus }_{k=1}{\phi }_k^{*}{\alpha }_{+}\in C^2(\mathfrak{l},{\mathfrak{a}}_{\mathfrak{A}}{)}^{\mathit{S}\mathit{p}\left(1\right)},\gamma :={\phi }_0^{*}{\gamma }_0\in C^3(\mathfrak{l}).$$  Combining ( 8 ) with Lemma  5.1 we see that $(\alpha ,\gamma )\in {\mathcal{Z}}_Q^2(\mathfrak{l},{\Phi }_{\mathfrak{l}},{\mathfrak{a}}_{\mathfrak{A}})$  .

Lemma 5.4 The cocycle $(\alpha ,\gamma )\in {\mathcal{Z}}_Q^2(\mathfrak{l},{\Phi }_{\mathfrak{l}},{\mathfrak{a}}_{\mathfrak{A}})$  is admissible and indecomposable.

Proof. A straightforward verification shows that $(\alpha ,\gamma )$  satisfies the admissibility conditions of Definition  3.1 . In particular, $\alpha$  enjoys the following properties

• (a) $\alpha ({\wedge }^2\mathfrak{l})=\mathfrak{a}$  ,
• (b) For all $L\in \mathfrak{l}\backslash \left\{0\right\}$  there exists $L^{\prime }\in \mathfrak{l}$  such that $\alpha (L,L^{\prime })\ne 0$  .

Now we use Properties (a) and (b) in order to show indecomposability of $(\alpha ,\gamma )$  . Assume that we have decompositions $$\mathfrak{l}={\mathfrak{l}}_1\oplus {\mathfrak{l}}_2,\mathfrak{a}={\mathfrak{a}}_1\oplus {\mathfrak{a}}_2,\alpha =p{r}_1^{*}{\alpha }_1\oplus p{r}_2^{*}{\alpha }_2,$$  for certain ${\alpha }_i\in C^2({\mathfrak{l}}_i,{\mathfrak{a}}_i{)}^{\mathit{S}\mathit{p}\left(1\right)}$  . We may assume that ${\mathfrak{l}}_1$  is non-abelian. Then $\mathit{S}\mathit{p}\left(1\right)$  -invariance of ${\mathfrak{l}}_1$  implies that ${\mathfrak{l}}_{+}=({\mathfrak{l}}_0{)}_{+}=({\mathfrak{l}}_1{)}_{+}$  . This forces $({\mathfrak{l}}_2{)}_{+}=[({\mathfrak{l}}_2{)}_{-},({\mathfrak{l}}_2{)}_{-}]=0$  , which in turn implies ${\mathfrak{l}}_2\subset {\text{H}}^n$  . It follows that ${\mathfrak{a}}_2=\alpha \left({\wedge }^2{\mathfrak{l}}_2\right)$  is isotropic, hence ${\mathfrak{a}}_2=\left\{0\right\}$  , ${\alpha }_2=0$  . Therefore $\alpha =p{r}_1^{*}{\alpha }_1$  . Now (b) implies that ${\mathfrak{l}}_2=\left\{0\right\}$  . It follows that $(\alpha ,\gamma )$  is indecomposable. $\square$  As in Example 1 we obtain

Corollary 5.5 ${\mathfrak{d}}_{\alpha ,\gamma }(\mathfrak{l},{\Phi }_{\mathfrak{l}},{\mathfrak{a}}_{\mathfrak{A}})$  is an indecomposable hyper-Kähler symmetric triple of signature $(4n+4,4n+12)$  . The holonomy group of a symmetric space associated with this triple is non-abelian.

Example 3 Let $(\mathfrak{l},\Phi \mathfrak{l})$  be a Lie algebra with proper quaternionic grading. Then we can form the cotangent Lie algebra $T^{*}\mathfrak{l}:=\mathfrak{l}\mathbb{⋉}{\mathfrak{l}}^{*}$  which possesses a quaternionic grading $T^{*}{\Phi }_{\mathfrak{l}}$  and an invariant metric $\langle \cdot ,\cdot {\rangle }_{T^{*}\mathfrak{l}}$  (given by the dual pairing) in a natural way. This construction could be viewed as a special case of the one presented in Section  4 – apart from the fact that the involved cocycle $(0,0)$  is not admissible. If we require in addition that

$$\begin{array}{c}\mathfrak{z}(\mathfrak{l})\subset {\mathfrak{l}}_{-},\end{array}$$

(9)

then $(T^{*}\mathfrak{l},T^{*}\Phi \mathfrak{l},\langle \cdot ,\cdot {\rangle }_{T^{*}\mathfrak{l}})$  is a hyper-Kähler symmetric triple.

If $(\mathfrak{g},\Phi \mathfrak{g},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is a hyper-Kähler symmetric triple, then $\mathfrak{g}$  satisfies ( 9 ), and the cotangent hyper-Kähler symmetric triple $(T^{*}\mathfrak{g},T^{*}\Phi \mathfrak{g},\langle \cdot ,\cdot {\rangle }_{T^{*}\mathfrak{g}})$  is isomorphic to the tangent triple $(T\mathfrak{g},T\Phi \mathfrak{g},\langle \cdot ,\cdot {\rangle }_{T\mathfrak{g}})$  , where $$T\mathfrak{g}:=\mathfrak{g}\mathbb{⋉}\mathfrak{g},\langle (X_1,Y_1),(X_2,Y_2){\rangle }_{T\mathfrak{g}}:=\langle X_1,Y_2{\rangle }_{\mathfrak{g}}+\langle X_2,Y_1{\rangle }_{\mathfrak{g}}.$$ 

Proposition 5.6

• (a) Let $(\mathfrak{l},\Phi \mathfrak{l})$  be a non-abelian Lie algebra with proper quaternionic grading satisfying ( 9 ). If $(\mathfrak{l},\Phi \mathfrak{l})$  is indecomposable as a Lie algebra with quaternionic grading, then the hyper-Kähler symmetric triple $(T^{*}\mathfrak{l},T^{*}\Phi \mathfrak{l},\langle \cdot ,\cdot {\rangle }_{T^{*}\mathfrak{l}})$  is indecomposable.
• (b) Let $(\mathfrak{g},\Phi \mathfrak{g},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  be an indecomposable hyper-Kähler symmetric triple with $\mathfrak{g}$  non-abelian. Then the hyper-Kähler symmetric triple $(T\mathfrak{g},T\Phi \mathfrak{g},\langle \cdot ,\cdot {\rangle }_{T\mathfrak{g}})$  is indecomposable as well.

Proof. Let $(\mathfrak{g},\Phi \mathfrak{g},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  be an indecomposable hyper-Kähler symmetric triple with $\mathfrak{g}$  non-abelian. By Lemma  2.5 the tuple $(\mathfrak{g},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is indecomposable as a metric Lie algebra. Then, according to [A] , Theorem 5, the metric Lie algebra $(T\mathfrak{g},\langle \cdot ,\cdot {\rangle }_{T\mathfrak{g}})$  is indecomposable as well. This implies $\left(b\right)$  .

Now let $(\mathfrak{l},\Phi \mathfrak{l})$  be as in $\left(a\right)$  . We consider the Lie algebra $\mathfrak{s}\mathfrak{p}\left(1\right)\mathbb{⋉}\mathfrak{l}$  , where $\mathfrak{s}\mathfrak{p}\left(1\right)$  acts on $\mathfrak{l}$  by the differential of $\Phi \mathfrak{l}$  . We let $\mathfrak{s}\mathfrak{p}\left(1\right)\mathbb{⋉}\mathfrak{l}$  act on $T^{*}\mathfrak{l}$  by $(Q,L)v:=d(T^{*}\Phi \mathfrak{l})\left(Q\right)v+[L,v]$  , $Q\in \mathfrak{s}\mathfrak{p}\left(1\right)$  , $L\in \mathfrak{l}$  , $v\in T^{*}\mathfrak{l}$  . Then $T^{*}\mathfrak{l}=\mathfrak{l}\oplus {\mathfrak{l}}^{*}$  is a decomposition into indecomposable $\mathfrak{s}\mathfrak{p}\left(1\right)\mathbb{⋉}\mathfrak{l}$  -submodules. Let us assume that there is a non-trivial decomposition into hyper-Kähler symmetric triples $T^{*}\mathfrak{l}={\mathfrak{h}}_1\oplus {\mathfrak{h}}_2$  . In particular, ${\mathfrak{h}}_1$  and ${\mathfrak{h}}_2$  are $\mathfrak{s}\mathfrak{p}\left(1\right)\mathbb{⋉}\mathfrak{l}$  -submodules. The Krull-Schmidt Theorem (see e.g. [J] , p. 115) implies that one of these modules, say ${\mathfrak{h}}_1$  , is isomorphic to $\mathfrak{l}$  . Pulling back the invariant bilinear form $\langle \cdot ,\cdot {\rangle }_{T^{*}\mathfrak{l}}{|}_{{\mathfrak{h}}_1}$  from ${\mathfrak{h}}_1$  to $\mathfrak{l}$  we obtain an inner product $\langle \cdot ,\cdot {\rangle }_{\mathfrak{l}}$  such that $(\mathfrak{l},\Phi \mathfrak{l},\langle \cdot ,\cdot {\rangle }_{\mathfrak{l}})$  is an indecomposable hyper-Kähler symmetric triple. Now we apply $\left(b\right)$  to this triple which yields a contradiction to the assumption that $T^{*}\mathfrak{l}\sim =T\mathfrak{l}$  is decomposable as a hyper-Kähler symmetric triple. This finishes the proof of $\left(a\right)$  . $\square$  If the symbol $\mathfrak{d}$  stands for a hyper-Kähler symmetric triple, then we simply write $T\mathfrak{d}$  or $T^1\mathfrak{d}$  for its tangential triple. We form higher tangential triples by $T^n\mathfrak{d}:=T(T^{n-1}\mathfrak{d})$  , $n\ge 2$  .

Corollary 5.7 Let $\mathfrak{d}$  be one of the hyper-Kähler symmetric triples constructed in Examples 1 and 2 of signature $(4k,4k+8)$  , $k\ge 1$  . Then $T^n\mathfrak{d}$  , $n\ge 1$  , is an indecomposable hyper-Kähler symmetric triple of neutral signature $\left(2^{n+2}\right(k+1),2^{n+2}(k+1\left)\right)$  . The holonomy group of a symmetric space associated with $T^n\mathfrak{d}$  is non-abelian.

Remark 5.8 If $\mathfrak{d}=\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  for some admissible cocycle $(\alpha ,\gamma )\in \mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  (as e.g.

in Corollary  5.7 ), then $T\mathfrak{d}\sim ={\mathfrak{d}}_{T\alpha ,T\gamma }(T\mathfrak{l},T{\Phi }_{\mathfrak{l}},T\mathfrak{a})$  , where

$$\begin{array}{ccc}T\alpha \left((L_1,L_1^{\prime }),(L_2,L_2^{\prime })\right)& =& \left(\alpha (L_1,L_2),\alpha (L_1,L_2^{\prime })+\alpha (L_1^{\prime },L_2)\right),\end{array}$$

$$\begin{array}{ccc}T\gamma \left((L_1,L_1^{\prime }),(L_2,L_2^{\prime }),(L_3,L_3^{\prime })\right)& =& \gamma (L_1,L_2,L_3^{\prime })+\gamma (L_1,L_2^{\prime },L_3)+\gamma (L_1^{\prime },L_2,L_3).\end{array}$$

Moreover, one can show that the cocycle $(T\alpha ,T\gamma )$  is admissible again. This last assertion is not true for the general symmetric triples ${\mathfrak{d}}_{\alpha ,\gamma }(\mathfrak{l},{\theta }_{\mathfrak{l}},\mathfrak{a})$  constructed in [KO2] from admissible cocycles $(\alpha ,\gamma )\in {\mathcal{Z}}_Q^2(\mathfrak{l},{\theta }_{\mathfrak{l}},\mathfrak{a})$  , only for those with nilpotent $\mathfrak{l}$  and a trivial $\mathfrak{l}$  -module $\mathfrak{a}$  .

6 A classification scheme

Let $(\mathfrak{l},\Phi \mathfrak{l})$  be a Lie algebra with proper quaternionic grading and let $(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}},\Phi \mathfrak{a})$  be a vector space with orthogonal quaternionic grading. We consider their automorphism groups $Aut(\mathfrak{l},\Phi \mathfrak{l})$  , and $Aut(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}},\Phi \mathfrak{a})$  and form $$G_{\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}}:=Aut(\mathfrak{l},\Phi \mathfrak{l})\times Aut(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}},\Phi \mathfrak{a}).$$  There is a natural right action of $G_{\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}}$  on $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  which leaves $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0$  invariant.

Theorem 6.1 There is a bijective map from the set of isomorphism classes of indecomposable hyper-Kähler symmetric triples to the union of orbit spaces $${\prod }_{(\mathfrak{l},{\Phi }_{\mathfrak{l}})}{\prod }_{(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}},\Phi \mathfrak{a})}\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0/G_{\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}},$$  where the union is taken over all isomorphism classes of Lie algebras $(\mathfrak{l},{\Phi }_{\mathfrak{l}})$  with proper quaternionic grading and all isomorphism classes of vector spaces $(\mathfrak{a},\langle \cdot ,\cdot {\rangle }_{\mathfrak{a}},\Phi \mathfrak{a})$  with orthogonal quaternionic grading.

The inverse of this map sends the orbit of $[\alpha ,\gamma ]\in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0$  to the isomorphism class of $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  .

Proof. The theorem is the hyper-Kähler analog of our classification scheme of symmetric triples [KO2] , Theorem 6.1. The proof of the latter is contained in [KO2] , Sections 4 – 6. It carries over to the present situation, one has to take care of the quaternionic gradings, only. For the convenience of the reader we describe the map which associates a cohomology class to a given hyper-Kähler symmetric triple $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  .

By Corollary  2.4 the Lie algebra $\mathfrak{g}$  is nilpotent. We look at its lower central series and form the isotropic ideal $$\mathfrak{i}:={\sum }_{k=2}^{\infty }{\mathfrak{g}}^k\cap ({\mathfrak{g}}^k{)}^{\perp }.$$  Then $\mathfrak{l}:=\mathfrak{g}/{\mathfrak{i}}^{\perp }$  and $\mathfrak{a}:={\mathfrak{i}}^{\perp }/\mathfrak{i}$  inherit the desired structures from $\mathfrak{g}$  . Moreover, the nilpotency of $\mathfrak{g}$  implies that the induced $\mathfrak{l}$  -action on $\mathfrak{a}$  is trivial. We choose an $Sp\left(1\right)$  -equivariant section $s:\mathfrak{l}\to \mathfrak{g}$  with isotropic image and set

$$\begin{array}{ccc}\alpha (L_1,L_2)& :=& \left[s\right(L_1),s(L_2){]}_{\mathfrak{g}}-s([L_1,L_2{]}_{\mathfrak{l}})mod\mathfrak{i}\end{array}$$

$$\begin{array}{ccc}\gamma (L_1,L_2,L_3)& :=& \langle \left[s\right(L_1),s(L_2){]}_{\mathfrak{g}},s(L_3){\rangle }_{\mathfrak{g}}.\end{array}$$

Then $(\alpha ,\gamma )$  is an admissible cocycle in $\mathcal{Z}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  . It is indecomposable if $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is so. The desired cohomology class is given by $[\alpha ,\gamma ]\in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0$  . $\square$ 

7 Classification in the case of signature $(4,4n)$ 

Our general classification scheme can be used to find explicit classification results (i.e. lists), if we only consider hyper-Kähler symmetric spaces of a given small index.

Here we will classify indecomposable hyper-Kähler symmetric spaces of index 4. We want to apply Theorem  6.1 . So we have to decide for which $(\mathfrak{l},\Phi \mathfrak{l})$  there is a vector space with orthogonal quaternionic grading $\mathfrak{a}$  and an element $[\alpha ,\gamma ]\in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0$  such that $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  has index $4$  .

Proposition 7.1 Let $(\mathfrak{l},\Phi \mathfrak{l})$  be a Lie algebra with proper quaternionic grading, let $\mathfrak{a}$  be a vector space with orthogonal quaternionic grading and suppose $[\alpha ,\gamma ]\in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0$  .

If $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  is a hyper-Kähler symmetric triple of index 4, then $\mathfrak{l}=0$  or $(\mathfrak{l},\Phi \mathfrak{l})$  is isomorphic either to $({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0})$  (as defined in Section  5 ) or to $(\text{H},{\Phi }_{\mathbb{H}})$  , where ${\Phi }_{\mathbb{H}}$  is the left multiplication on $\text{H}$  .

Proof. From ( 5 ) we know that $dim{\mathfrak{l}}_{-}\in \{0,4\}$  . If $dim{\mathfrak{l}}_{-}=0$  , then $\mathfrak{l}=0$  . Suppose now that $dim{\mathfrak{l}}_{-}=4$  , i.e. ${\mathfrak{l}}_{-}\sim =\text{H}$  . Consider now the map $adL{|}_{{\mathfrak{l}}_{-}}$  for an arbitrary $L\in {\mathfrak{l}}_{+}$  . This map commutes with the $\mathit{S}\mathit{p}\left(1\right)$  -action, i.e. it is $\text{H}$  -linear.

On the other hand it must be nilpotent, since $\mathfrak{l}$  is nilpotent by Proposition  2.1 . Hence the map is zero, and it follows that $[{\mathfrak{l}}_{-},{\mathfrak{l}}_{+}]=0$  . This gives $[{\mathfrak{l}}_{+},{\mathfrak{l}}_{+}]=\left[\right[{\mathfrak{l}}_{-},{\mathfrak{l}}_{-}],{\mathfrak{l}}_{+}]=0$  .

In particular, we have ${\mathfrak{l}}^{\prime }={\mathfrak{l}}_{+}\subset \mathfrak{z}(\mathfrak{l})$  .

Since $\mathit{S}\mathit{p}\left(1\right)$  acts by automorphisms we have $$[1,i]=-[j,k],[1,j]=[i,k],[1,k]=-[i,j].$$  In particular we get $dim{\mathfrak{l}}^{\prime }\le 3$  . If $dim{\mathfrak{l}}^{\prime }=0$  , then $\mathfrak{l}\sim =\text{H}$  , if $dim{\mathfrak{l}}^{\prime }=3$  , then $\mathfrak{l}\sim ={\mathfrak{l}}_0$  .

Assume $dim{\mathfrak{l}}^{\prime }=1$  . By an easy direct computation or using [KO1] , Prop. 6.2. one obtains $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_{♯}=\varnothing$  , a contradiction.

It remains to exclude the case $dim{\mathfrak{l}}^{\prime }=2$  . If $dim{\mathfrak{l}}^{\prime }=2$  , then we may assume $$[1,i]=-[j,k]=:X,[1,j]=[i,k]=:Y,[1,k]=-[i,j]=0.$$  Then $d\alpha =0$  implies $\alpha (X,Y)=0$  and $0=d\alpha (1,i,j)=\alpha \left(\right[1,i],j)+\alpha \left(\right[j,1],i)$  , thus $\alpha (X,j)=\alpha (Y,i)=:A.$  This together with the $\mathit{S}\mathit{p}\left(1\right)$  -invariance of $\alpha$  implies ${\mathfrak{a}}_{-}=\alpha ({\mathfrak{l}}_{-},{\mathfrak{l}}_{+})=span\{A,iA,jA,kA\}$  . But $d\gamma (i,j,X,Y)=0$  now implies $$0=\langle \alpha (j,X),\alpha (i,Y)\rangle +\langle \alpha (X,i),\alpha (j,Y)\rangle =2\langle A,A\rangle .$$  Hence $A$  is isotropic. Since ${\mathfrak{a}}_{-}$  is non-degenerate it follows that $A=0$  , thus $\alpha ({\mathfrak{l}}_{-},{\mathfrak{l}}_{+})=0$  . In particular, $\alpha (X,\mathfrak{l})=0$  . Hence $\alpha$  satisfies Condition $\left(i\right)$  of $\left(A_1\right)$  for $L_0=X$  . Let us show that Condition $\left(ii\right)$  is also satisfied. Because of the $\mathit{S}\mathit{p}\left(1\right)$  -invariance of $\gamma$  we have $\gamma ({\mathfrak{l}}_{+},{\mathfrak{l}}_{+},{\mathfrak{l}}_{-})=0$  . Since, moreover, $dim{\mathfrak{l}}_{+}=2$  we obtain $\gamma ({\mathfrak{l}}_{+},{\mathfrak{l}}_{+},\mathfrak{l})=0$  . In particular, $\gamma (L,X,\cdot )=0\in ({\mathfrak{l}}^{\prime }{)}^{*}$  for all $L\in \mathfrak{l}$  . Hence $\left(ii\right)$  is satisfied for $A_0=0$  and $Z_0=0$  . Now $\left(A_1\right)$  implies $X=0$  , a contradiction. $\square$  Next we have to determine $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0/G_{\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}}$  for all $(\mathfrak{l},\Phi \mathfrak{l})$  which appear in Proposition  7.1 and for all (suitable) $\mathfrak{a}$  . The case $\mathfrak{l}=0$  is trivial. Thus let us start with $(\mathfrak{l},\Phi \mathfrak{l})=(\text{H},{\Phi }_{\mathbb{H}})$  . For a fixed orthonormal basis $A_1,A_2$  of $\mathfrak{a}={\mathfrak{a}}_{+}={\text{R}}^{1,1}$  we define ${\alpha }^{\prime }\in Z^2(\text{H},\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}$  by $${\alpha }^{\prime }(1,i)=A_1,{\alpha }^{\prime }(1,j)=A_2,{\alpha }^{\prime }(1,k)=0.$$  Furthermore, for a fixed orthonormal basis $A_1,A_2,A_3$  of $\mathfrak{a}={\mathfrak{a}}_{+}={\text{R}}^{1,2}$  and each real number $0<r\le \pi /4$  we define ${\alpha }_r\in Z^2(\text{H},\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}$  by $${\alpha }_r(1,i)=A_1,{\alpha }_r(1,j)=sinr\cdot A_2,{\alpha }_r(1,k)=cosr\cdot A_3.$$  Analogously, for a fixed orthonormal basis $A_1,A_2,A_3$  of $\mathfrak{a}={\mathfrak{a}}_{+}={\text{R}}^{2,1}$  and each real number $0<s\le \pi /4$  we define ${\alpha }_s\in Z^2(\text{H},\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}$  by $${\alpha }_s(1,i)=sins\cdot A_1,{\alpha }_s(1,j)=coss\cdot A_2,{\alpha }_s(1,k)=A_3.$$  Then it is easy to verify that $\langle {\alpha }^{\prime }\wedge {\alpha }^{\prime }\rangle =0$  , $\langle {\alpha }_r\wedge {\alpha }_r\rangle =0$  , and $\langle {\alpha }_s\wedge {\alpha }_s\rangle =0$  holds, e.g.

$$\begin{array}{ccc}\langle {\alpha }_r\wedge {\alpha }_r\rangle (1,i,j,k)& =& \langle {\alpha }_r(1,i),{\alpha }_r(j,k)\rangle +\langle {\alpha }_r(j,1),{\alpha }_r(i,k)\rangle +\langle {\alpha }_r(i,j),{\alpha }_r(1,k)\rangle \end{array}$$

$$\begin{array}{ccc}& =& \langle A_1,-A_1\rangle +\langle -sinr\cdot A_2,sinr\cdot A_2\rangle +\langle -cosr\cdot A_3,cosr\cdot A_3\rangle \end{array}$$

$$\begin{array}{ccc}& =& 1-{sin}^{2}r-{cos}^{2}r=0.\end{array}$$

Proposition 7.2 We equip the spaces ${\text{R}}^{1,1}$  , ${\text{R}}^{1,2}$  and ${\text{R}}^{2,1}$  with the trivial $\mathit{S}\mathit{p}\left(1\right)$  -action.

Then we have

$$\begin{array}{ccc}{\mathcal{\mathscr{H}}}_Q^2(\text{H},{\Phi }_{\mathbb{H}},{\text{R}}^{1,1}{)}_0/G_{\mathbb{H},{\Phi }_{\mathbb{H}},{\mathbb{R}}^{1,1}}& =& \left\{\right[{\alpha }^{\prime },0\left]\right\}\end{array}$$

$$\begin{array}{ccc}{\mathcal{\mathscr{H}}}_Q^2(\text{H},{\Phi }_{\mathbb{H}},{\text{R}}^{1,2}{)}_0/G_{\mathbb{H},{\Phi }_{\mathbb{H}},{\mathbb{R}}^{1,2}}& =& \left\{\right[{\alpha }_r,0\left]\right|0<r\le \pi /4\}\end{array}$$

$$\begin{array}{ccc}{\mathcal{\mathscr{H}}}_Q^2(\text{H},{\Phi }_{\mathbb{H}},{\text{R}}^{2,1}{)}_0/G_{\mathbb{H},{\Phi }_{\mathbb{H}},{\mathbb{R}}^{2,1}}& =& \left\{\right[{\alpha }_s,0\left]\right|0<s\le \pi /4\}.\end{array}$$

If $\mathfrak{a}$  is a vector space with orthogonal quaternionic grading which is not isomorphic to ${\text{R}}^{1,1}$  , ${\text{R}}^{1,2}$  or ${\text{R}}^{2,1}$  with the trivial $\mathit{S}\mathit{p}\left(1\right)$  -action, then ${\mathcal{\mathscr{H}}}_Q^2(\text{H},{\Phi }_{\mathbb{H}},\mathfrak{a}{)}_0$  is empty.

Proof. Let $\mathfrak{a}$  be a vector space with orthogonal quaternionic grading. Since $C^3(\text{H}{)}^{\mathit{S}\mathit{p}\left(1\right)}$  vanishes and $H^2(\text{H},\mathfrak{a})=C^2(\text{H},\mathfrak{a})$  we have $${\mathcal{\mathscr{H}}}_Q^2(\text{H},{\Phi }_{\mathbb{H}},\mathfrak{a})=\left\{\right[\alpha ,0\left]\right|\alpha \in C^2(\text{H},\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)},\langle \alpha \wedge \alpha \rangle =0\}.$$  Each element $\alpha \in C^2(\text{H},\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}$  is given by the values

$$\begin{array}{c}\alpha (1,i)=A_1^{\prime },\alpha (1,j)=A_2^{\prime },\alpha (1,k)=A_3^{\prime },A_i^{\prime }\in {\mathfrak{a}}_{+},\end{array}$$

(10)

and $\langle \alpha \wedge \alpha \rangle =0$  holds if and only if $\langle A_1^{\prime },A_1^{\prime }\rangle +\langle A_2^{\prime },A_2^{\prime }\rangle +\langle A_3^{\prime },A_3^{\prime }\rangle =0.$  Moreover, $[\alpha ,0]$  is indecomposable if and only if $\mathfrak{a}={\mathfrak{a}}_{+}=span\{A_1^{\prime },A_2^{\prime },A_3^{\prime }\}$  . For admissibility we have to check only $\left(A_0\right)$  and $\left(B_0\right)$  . For an indecomposable cohomology class $[\alpha ,0]$  these conditions are satisfied if and only if $\alpha \ne 0$  . In particular, if ${\mathcal{\mathscr{H}}}_Q^2(\text{H},{\Phi }_{\mathbb{H}},\mathfrak{a}{)}_0$  is not empty, then $\mathfrak{a}={\mathfrak{a}}_{+}$  is isomorphic to ${\text{R}}^{1,1}$  , ${\text{R}}^{1,2}$  or ${\text{R}}^{2,1}$  . Now we study the action of $G_{\mathbb{H},{\Phi }_{\mathbb{H}},\mathfrak{a}}$  on ${\mathcal{\mathscr{H}}}_Q^2(\text{H},{\Phi }_{\mathbb{H}},\mathfrak{a}{)}_0$  . We have $Aut(\text{H},{\Phi }_{\mathbb{H}})\sim ={\text{H}}^{*}$  , where an element $q\in {\text{H}}^{*}$  acts by right multiplication (denoted by $R_q$  ) on $\text{H}$  . Take $q\in {\text{H}}^{*}$  . Then $q=r{q}_0$  with $r\in \text{R},r>0$  and $q_0\in \mathit{S}\mathit{p}\left(1\right)$  . Take $\alpha$  as in ( 10 ) and set $$R_q^{*}\alpha (1,i)={\overline{A}}_1,R_q^{*}\alpha (1,j)={\overline{A}}_2,R_q^{*}\alpha (1,k)={\overline{A}}_3.$$  Let $\lambda :\mathit{S}\mathit{p}\left(1\right)\to \mathit{S}\mathit{O}\left(3\right)$  be the double covering. Then we have $$({\overline{A}}_1,{\overline{A}}_2,{\overline{A}}_3)=r^2(A_1^{\prime },A_2^{\prime },A_3^{\prime })\cdot \lambda \left({\overline{q}}_0\right).$$  Hence, replacing $\alpha$  by an element in the same $G_{\mathbb{H},{\Phi }_{\mathbb{H}},\mathfrak{a}}$  -orbit we may assume that $A_1^{\prime },A_2^{\prime },A_3^{\prime }$  are pairwise orthogonal and that $$\langle A_1^{\prime },A_1^{\prime }\rangle =-1,\langle A_2^{\prime },A_2^{\prime }\rangle =1,A_3^{\prime }=0$$  or $$\langle A_1^{\prime },A_1^{\prime }\rangle =-1,\langle A_2^{\prime },A_2^{\prime }\rangle =t,\langle A_3^{\prime },A_3^{\prime }\rangle =1-t,0<t\le 1/2$$  or $$\langle A_1^{\prime },A_1^{\prime }\rangle =-t,\langle A_2^{\prime },A_2^{\prime }\rangle =t-1,\langle A_3^{\prime },A_3^{\prime }\rangle =1,0<t\le 1/2,$$  which immediately implies the assertion. $\square$  Now let us consider $({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0})$  . Let ${\mathfrak{a}}_0$  and $[{\alpha }_0,{\gamma }_0]\in {\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},{\mathfrak{a}}_0{)}_0$  be as defined in Section  5 .

Proposition 7.3 The orbit space ${\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},{\mathfrak{a}}_0{)}_0/G_{{\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},{\Phi }_{{\mathfrak{a}}_0}}$  contains exactly one element (represented by $[{\alpha }_0,{\gamma }_0]$  ). If $\mathfrak{a}$  is a vector space with orthogonal quaternionic grading which is not isomorphic to ${\mathfrak{a}}_0$  or to ${\mathfrak{a}}_0^{-}:=({\mathfrak{a}}_0,-\langle \cdot ,\cdot {\rangle }_0,{\Phi }_{{\mathfrak{a}}_0})$  , then ${\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},\mathfrak{a}{)}_0$  is empty.

Proof. Let $\mathfrak{a}$  be a vector space with orthogonal quaternionic grading. It is easy to verify that for $$Z_{{\mathfrak{l}}_0}^2:=\left\{\alpha \in C^2({\mathfrak{l}}_0,\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}|\begin{array}{c}i\alpha (1,I)+j\alpha (1,J)+k\alpha (1,K)=0\\ \alpha \left(\right({\mathfrak{l}}_0{)}_{+},\left({\mathfrak{l}}_0{)}_{+}\right)=\alpha \left(\right({\mathfrak{l}}_0{)}_{-},\left({\mathfrak{l}}_0{)}_{-}\right)=0\end{array}\right\}$$  the map $$Z_{{\mathfrak{l}}_0}^2⟶H^2({\mathfrak{l}}_0,\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)},\alpha \mapsto [\alpha ]$$  is correctly defined (similar computation as in the proof of Lemma  5.1 ) and an isomorphism. Now assume that ${\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},\mathfrak{a}{)}_0$  is not empty and take $[\alpha ,\gamma ]\in {\mathcal{\mathscr{H}}}_Q^2({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0},\mathfrak{a}{)}_0$  .

We may assume that $\alpha \in Z_{{\mathfrak{l}}_0}^2$  . We set $$A_1:=-\alpha (i,I),A_2:=-\alpha (j,J),A_3=-\alpha (k,K)$$  and $\gamma (I,J,K)=2c$  . Since $(\alpha ,\gamma )$  is indecomposable we have $$\mathfrak{a}={\mathfrak{a}}_{-}=\text{H}{\otimes }_{\mathbb{R}}span\{A_1,A_2,A_3\}.$$  By the same computation as in the proof of Lemma  5.1 the equation $$\frac{1}{2}\langle \alpha \wedge \alpha \rangle (1,q,P,Q)=d\gamma (1,q,P,Q)$$  for all $q\in \text{H}$  , $P,Q\in \{I,J,K\}$  yields $$\langle q_1{A}_1,q_2{A}_2{\rangle }_{\mathfrak{a}}=\langle q_1{A}_1,q_2{A}_3{\rangle }_{\mathfrak{a}}=\langle q_1{A}_2,q_2{A}_3{\rangle }_{\mathfrak{a}}=-\frac{1}{2}\langle q_1,q_2{\rangle }_{\mathbb{H}}\cdot \gamma (I,J,K)=-c\langle q_1,q_2{\rangle }_{\mathbb{H}}.$$  This implies $$0=\langle p(A_1+A_2+A_3),q{A}_i\rangle =\langle p{A}_i,q{A}_i{\rangle }_{\mathfrak{a}}-2c\langle p,q{\rangle }_{\mathbb{H}},$$  thus $\langle p{A}_i,q{A}_i{\rangle }_{\mathfrak{a}}=2c\langle p,q{\rangle }_{\mathbb{H}}$  for $i=1,2,3$  , $p,q\in \text{H}$  . Assume $c=0$  . Then $\alpha =0$  and $\gamma \left(\right({\mathfrak{l}}_0{)}_{+},({\mathfrak{l}}_0{)}_{+},{\mathfrak{l}}_0)=0$  . Then it follows in the same way as in the proof of Proposition  7.1 , that $[\alpha ,\gamma ]$  is not admissible. Hence $c\ne 0$  . If $c>0$  , then by the above equations $\mathfrak{a}$  is isomorphic to ${\mathfrak{a}}_0$  as a vector space with orthogonal quaternionic grading and if $c<0$  , then $\mathfrak{a}$  is isomorphic to ${\mathfrak{a}}_0^{-}$  .

Hence we may assume that $\mathfrak{a}={\mathfrak{a}}_0$  , $\alpha =|c{|}^{1/2}{\alpha }_0$  , or $\mathfrak{a}={\mathfrak{a}}_0^{-}$  , $\alpha =|c{|}^{1/2}{\alpha }_0$  . Let us now show that $[\alpha ,\gamma ]=[\alpha ,\tilde{\gamma }]\in \mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a}{)}_0$  with $\tilde{\gamma }(I,J,K)=2c$  and $\tilde{\gamma }\left(\right({\mathfrak{l}}_0{)}_{-},\left({\mathfrak{l}}_0\right),\left({\mathfrak{l}}_0\right))=0$  .

We consider the subspaces $$\{\langle \alpha \wedge \tau \rangle \in C^3({\mathfrak{l}}_0{)}^{\mathit{S}\mathit{p}\left(1\right)}|\tau \in Z^1({\mathfrak{l}}_0,\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}\}\subset \{{\gamma }^{\prime }\in Z^3\left({\mathfrak{l}}_0{)}^{\mathit{S}\mathit{p}\left(1\right)}\right|{\gamma }^{\prime }(I,J,K)=0\}$$  of $C^3({\mathfrak{l}}_0{)}^{\mathit{S}\mathit{p}\left(1\right)}$  . By definition of $\mathcal{\mathscr{H}}2Q(\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  it suffices to show that both subspaces are equal. Note that the latter of these spaces is $8$  -dimensional. Since $Z^1({\mathfrak{l}}_0,\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}$  is also $8$  -dimensional it remains to prove that the map $$Z^1({\mathfrak{l}}_0,\mathfrak{a}{)}^{\mathit{S}\mathit{p}\left(1\right)}\ni \tau \mapsto \langle \alpha \wedge \tau \rangle \in C^3({\mathfrak{l}}_0{)}^{\mathit{S}\mathit{p}\left(1\right)}$$  is injective. Assume that $\tau$  is in the kernel of this map. Then we have $$0=\langle \alpha \wedge \tau \rangle (1,q,Q)=\langle \alpha (q,Q),\tau \left(1\right)\rangle -\langle \alpha (1,Q),\tau \left(q\right)\rangle =2\langle \alpha (q,Q),\tau \left(1\right)\rangle$$  for all $q\in Im\text{H}$  and all $Q\in \{I,J,K\}$  . Since $$\mathfrak{a}=span\left\{\alpha \right(q,Q\left)\right|q\in Im\text{H},Q\in \{I,J,K\}\}$$  this implies $\tau \left(1\right)=0$  , hence $\tau =0$  .

Hence we may assume that $\mathfrak{a}={\mathfrak{a}}_0$  , $\alpha =|c{|}^{1/2}{\alpha }_0$  , and $\gamma =\left|c\right|{\gamma }_0$  or $\mathfrak{a}={\mathfrak{a}}_0^{-}$  , $\alpha =|c{|}^{1/2}{\alpha }_0$  , and $\gamma =-\left|c\right|{\gamma }_0$  . If we now take $S=|c{|}^{-1/3}Id\oplus |c{|}^{-1/6}Id:({\mathfrak{l}}_0{)}_{+}\oplus ({\mathfrak{l}}_0{)}_{-}\to ({\mathfrak{l}}_0{)}_{+}\oplus ({\mathfrak{l}}_0{)}_{-}$  , then $S\in Aut({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0})$  and we get $(S^{*}\alpha ,S^{*}\gamma )=({\alpha }_0,\pm {\gamma }_0)$  . $\square$  As a consequence of Theorem  6.1 , Equation ( 5 ) and Propositions  7.1 –  7.3 we obtain the following classification.

Theorem 7.4 If $(\mathfrak{g},{\Phi }_{\mathfrak{g}},\langle \cdot ,\cdot {\rangle }_{\mathfrak{g}})$  is a hyper-Kähler symmetric triple which is associated with an indecomoposable hyper-Kähler symmetric space of index 4, then it is isomorphic to $(\text{H},{\Phi }_{\mathbb{H}},-\langle \cdot ,\cdot {\rangle }_{\mathbb{H}})$  or to $\mathfrak{d}\alpha ,\gamma (\mathfrak{l},\Phi \mathfrak{l},\mathfrak{a})$  for exactly one of the data in the following table:

$(\mathfrak{l},\Phi \mathfrak{l})$	$\mathfrak{a}$	$\alpha$	$\gamma$	parameters
$(\text{H},{\Phi }_{\mathbb{H}})$	$\mathfrak{a}={\mathfrak{a}}_{+}={\text{R}}^{1,1}$	${\alpha }^{\prime }$	$0$	–
	$\mathfrak{a}={\mathfrak{a}}_{+}={\text{R}}^{1,2}$	${\alpha }_r$	$0$	$0<r\le \pi /4$
	$\mathfrak{a}={\mathfrak{a}}_{+}={\text{R}}^{2,1}$	${\alpha }_s$	$0$	$0<s\le \pi /4$
$({\mathfrak{l}}_0,{\Phi }_{{\mathfrak{l}}_0})$	${\mathfrak{a}}_0$	${\alpha }_0$	${\gamma }_0$	–

References

1. D. Alekseevsky, N. Blažić, V. Cortés, S. Vukmirović, A class of Osserman spaces. J. Geom. Phys. 53 (2005), no. 3, 345–353.
2. D. Alekseevsky, V. Cortés, Classification of indefinite hyper-Kähler symmetric spaces. Asian J. Math. 5 (2001), no. 4, 663–684. See also arXiv:math.DG/0007189.
3. V. V. Astrahancev, On the decomposability of metrizable Lie algebras. (Russian) Funktsional. Anal. i Prilozhen. 12 (1978), no. 3, 64–65.
4. M. Cahen, M. Parker, Pseudo-Riemannian symmetric spaces. Mem. Amer. Math. Soc. 24 (1980), no. 229.
5. A. S. Dancer, H. R. Jorgensen, A. F. Swann, Metric geometries over the split quaternions. arXiv:math.DG/0412215, 2004.
6. N. Jacobson, Basic Algebra II. W. H. Freeman and Co., San Francisco, 1980.
7. I. Kath, M. Olbrich, Metric Lie algebras and quadratic extensions. arXiv:math.DG/0312243, 2003. To appear in Transform. groups.
8. I. Kath, M. Olbrich, On the structure of pseudo-Riemannian symmetric spaces. arXiv:math.DG/0408249, 2004.

Ines Kath Max-Planck-Institut für Mathematik in den Naturwissenschaften Inselstraße 22-26, D-04103 Leipzig, Germany email: ikath@mis.mpg.de Martin Olbrich Mathematisches Institut der Georg-August-Universität Göttingen Bunsenstr. 3-5, D-37073 Göttingen, Germany email: olbrich@uni-math.gwdg.de