New series of Einstein homogeneous metrics (Q1974069): Difference between revisions

Let \(G_1,G_2,\dots, G_n\) be \(n\) \((n\geq 2)\) copies of a compact real semisimple Lie group \(G, T\subset G\) a fixed maximal torus in \(G\), \(g\) and \(t\) the corresponding algebras of the groups \(G\) and \(T\). Consider the group \(\widetilde G= G_1\times G_2\times\cdots\times G_n\) and its Lie algebra \(\widetilde g= g_1\oplus g_2\oplus\cdots\oplus g_n\), which is equipped with the inner product \(\langle\cdot,\cdot\rangle= B|_{g_1}+ B|_{g_2}+\cdots+ B|_{g_n}\), where \(B\) is the negative of the Killing form. Consider also a maximal torus \(T_i\) in \(G_i\), which is identified with \(T\) by using the isomorphism between \(G_i\) and \(G\), and denote by \(t_i\) the corresponding Lie subalgebras of the algebras \(g_i\). Then, \(\widetilde T= T_1\times T_2\times\cdots\times T_n\) is a maximal torus in the group \(\widetilde G\), and \(\widetilde t= t_1\oplus t_2\oplus\cdots\oplus t_n\) is a maximal commutative subalgebra. Fix some vector \(\lambda= (\lambda_1,\lambda_2,\dots, \lambda_n)\in \mathbb{R}^n\), \(\|\lambda\|= 1\), with rational coordinates and the subalgebra \(s_\lambda\subseteq\widetilde T\) which consists of elements of the type \(\{\lambda_1x, \lambda_2x,\dots, \lambda_nx\}\), where \(x\in t\), \(\lambda_ix\in t_i\). Denote by \(h_\lambda\) the \(\langle\cdot,\cdot\rangle\)-orthogonal complement to \(s_\lambda\) in \(\widetilde t\), and by \(H_\lambda\) the corresponding Lie subgroup in \(\widetilde G\). The main result of the article is a construction of an infinite set of nonisometric and nonhomothetic invariant Einstein metrics on the Riemannian homogeneous spaces \(\widetilde G/H_\lambda\).