Visible actions on flag varieties of type D and a generalization of the Cartan decomposition (Q371215): Difference between revisions

Let \(G\) be a simple connected compact Lie group, \(L, H\) be two compact Lie subgroups containing a same maximal connected abelian subgroup \(T\) of \(G\) such that their root systems are subsystems of the root systems of \(G\). Following \textit{T. Kobayashi} [Transform. Groups 12, No. 4, 671--694 (2007; Zbl 1147.53041)], the author defines the action of \(L\) on the generalized flag manifold \(M=G/H\) (which is also a compact complex manifold and is projective and rational) to be strongly visible if (i) there is a real submanifold \(S\) such that \(O=LS\) is an open subset of \(M\); (ii) there is an anti-holomorphic involution \(\tau\) on \(O\) such that \(S\) is in the fixed point set of \(\tau\). Now let \(\tau\) be an involution of \(G\) such that \(\tau (t)=t^{ -1}\) for all \(t\) in \(T\). Define \(N\) to be the fixed point set of \(G\) with respect to \(\tau\), then \(NH\) defines a real submanifold \(S\) in \(G/H\). The author classifies all the triples \((G,H,L)\) such that \(G=LNH\) with \(G=SO(2n)\). The author calls this a generalized Cartan decomposition of the given matrix group \(G\) with respect to the triple \((H,L,\tau )\). We notice that \(L\) acts on \(G/H\) strongly visible with \(S=NH/H\). This also has something to do with multiplicity-free representations of \(G\) induced from \(G/H\). The cases in which \(G=SU(n)\) was first treated by \textit{T. Kobayashi} [J. Math. Soc. Japan 59, No. 3, 669--691 (2007; Zbl 1124.22003)]. The author finished the classification program started therein, for all the simple Lie groups \(G\). The announcement appeared in [\textit{Y. Tanaka}, Proc. Japan Acad., Ser. A 88, No. 6, 91--96 (2012; Zbl 1250.32021)]. The details for the cases in which \(G=SO(2n+1)\) appeared in [Bull. Aust. Math. Soc. 88, No. 1, 81--97 (2013; Zbl 1347.22012)]. The details for the cases in which \(G=Sp(2n)\) appeared in [Tohoku Math. J. (2) 65, No. 2, 281--295 (2013; Zbl 1277.22014)]. The details in which \(G\) are exceptional appeared in [J. Algebra 399, 170--189 (2014; Zbl 1305.22013)]. Possibly, the author should mention these related works.