Return to Revisions

Unless I miscomputed, the left-invariant metric $Q(dg,dg)=\operatorname{Tr}\bigl(\overline{g^{-1}dg}\,g^{-1}dg\bigr)$ (bar $=$ transpose) on \begin{equation} G=\left\{g=\begin{pmatrix}a&b&c\\0&1&e\\0&0&1\end{pmatrix}: \begin{matrix}a>0,\\b,c,e\in\mathbf R\end{matrix}\right\}, \qquad N=\left\{n=\begin{pmatrix}a&b&0\\0&1&0\\0&0&1\end{pmatrix}: \begin{matrix}a>0,\\b\in\mathbf R\end{matrix}\right\} \end{equation} provides a counterexample. Indeed, taking $g=\smash[b]{\begin{pmatrix}1&0&c\\0&1&e\\0&0&1\end{pmatrix}}$ and following Milnor (1976, pp. 303, 312–314), one finds that the metric \begin{equation} \ \\ (\operatorname{Ad}_g^*Q)(dn,dn)=(a^{-1}da\quad a^{-1}db) \begin{pmatrix}1+c^2&ce\\ce&1+e^2\end{pmatrix} \begin{pmatrix}a^{-1}da\\a^{-1}db\end{pmatrix} \end{equation} (restricted to $N$) has scalar curvature $\ -\dfrac{1+e^2}{1+c^2+e^2},\ $ which depends on $g$.