Globally minimal homogeneous subspaces in compact homogeneous symplectic spaces (Q1181705)

It is well known that regular orbits of the adjoint representation of a compact Lie group are diffeomorphic to the quotient \(G/T_ G\), where \(T_ G\) is a maximal torus in \(G\). The author considers the following problem: When does a homogeneous subspace, whose isometry group is one of the classical groups, turn out to be a globally minimal submanifold in a regular orbit \(G/T_ G\) of the adjoint representation of the classical group \(G\). It is obvious that globally minimal submanifolds realize cycles in their underlying manifolds. Let \(G\) be a compact Lie group and \(H\) a compact subgroup of \(G\). First, the author shows that the quotient space \(H/H\cap T_ G\) realizes a nontrivial cycle of \({\mathcal H}^*(G/T_ G,R)\) if and only if the intersection \(H\cap T_ G\) is a maximal torus in \(G\). Suppose \(G/T_ G\) is supplied with a \(G\)-invariant metric induced from the Killing form on the algebra \(g\). Then it is shown, that \(H/T_ h\) is a completely geodesic submanifold in \(G/T_ G\). The author gets an explicit formula for the second variation for completely geodesic homogeneous spaces. Using the formula and many lemmas on the decompositions of tensor products, symmetric squares and exterior powers of irreducible representations of compact Lie groups, he proves the nonstability of homogeneous submanifolds in \(G/T_ G\) generated by representations of high dimension in \(G\). Finally the author obtains the following main result: Suppose \(H\), \(G\) are classical Lie groups. Then the inclusion \(\rho_ *: H/T_ G\to G/T_ G\) is globally minimal if and only if \(\rho: H\to G\) is one of the representations listed below: (1) \(\rho=\oplus[k_ i]\pi_ i\), \(k_ i\geq 0\), \(0\leq i\leq n\) for \(G=SU_ m\), \(H=SU_{n+1}\), (2) \(\rho=\oplus[k_ i]\pi_ i\), \(k_ i=k_{n+i-1}\) for \(G=SO_ m\), \(H=SU_{n+1}\) or \(G=Sp_ m\), \(H=SU_{n+1}\), (3) \(\rho=[k]\pi_ 1\oplus[r]\pi_ 0\) for \(G=SO_ m\), \(H=SO_{2n+1}\), \(G=SU_ m\), \(H=Sp_ m\), \(G=SU_ m\), \(H=SO_{2n}\), \(n\geq 4\) or \(G=Sp_ m\), \(H=SO_{2n}\), \(n\geq 4\), (4) \(\rho=[2k]\pi_ 1\oplus[r]\pi_ 0\) for \(G=SO_ m\), \(H=Sp_ n\) or \(G=Sp_ m\), \(H=SO_{2n}\), \(n\geq 4\). Here \(\pi_ i\) is the \(i\)-th fundamental representation of the group \(H\), and \([k]\pi_ i\) denotes the direct sum of \(k\) representations equivalent to \(\pi_ i\).