Skip to main content
Fixed an error in the formula for O'Neill's T
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453

Remark: Because the horizontal distribution of $\pi_n$ is defined by the equations $\alpha_1 = \cdots = \alpha_n = 0$, the above structure equations imply that the horizontal $n$-plane field of $\pi_n$ (i.e., the orthogonal plane field to the fibers of $\pi_n)$ must be integrable. In particular, O'Neill's $A$ tensor vanishes identically in this example. If we let $A_i$ and $B_i$ be the dual vector fields to $\alpha_i$ and $\beta_i$, then we find that O'Neill's $T$ tensor is $$ T = B_1\otimes\alpha_1{\circ}\alpha_n +\cdots+ B_{n-1}\otimes\alpha_{n-1}{\circ}\alpha_n + B_n\otimes\bigl({\alpha_1}^2+\cdots+{\alpha_{n-1}}^2\bigr). $$$$ T = B_1\otimes 2\alpha_1{\circ}\alpha_n +\cdots+ B_{n-1}\otimes2\alpha_{n-1}{\circ}\alpha_n + B_n\otimes\bigl({\alpha_1}^2+\cdots+{\alpha_{n-1}}^2+2{\alpha_n}^2\bigr). $$

Remark: Because the horizontal distribution of $\pi_n$ is defined by the equations $\alpha_1 = \cdots = \alpha_n = 0$, the above structure equations imply that the horizontal $n$-plane field of $\pi_n$ (i.e., the orthogonal plane field to the fibers of $\pi_n)$ must be integrable. In particular, O'Neill's $A$ tensor vanishes identically in this example. If we let $A_i$ and $B_i$ be the dual vector fields to $\alpha_i$ and $\beta_i$, then we find that O'Neill's $T$ tensor is $$ T = B_1\otimes\alpha_1{\circ}\alpha_n +\cdots+ B_{n-1}\otimes\alpha_{n-1}{\circ}\alpha_n + B_n\otimes\bigl({\alpha_1}^2+\cdots+{\alpha_{n-1}}^2\bigr). $$

Remark: Because the horizontal distribution of $\pi_n$ is defined by the equations $\alpha_1 = \cdots = \alpha_n = 0$, the above structure equations imply that the horizontal $n$-plane field of $\pi_n$ (i.e., the orthogonal plane field to the fibers of $\pi_n)$ must be integrable. In particular, O'Neill's $A$ tensor vanishes identically in this example. If we let $A_i$ and $B_i$ be the dual vector fields to $\alpha_i$ and $\beta_i$, then we find that O'Neill's $T$ tensor is $$ T = B_1\otimes 2\alpha_1{\circ}\alpha_n +\cdots+ B_{n-1}\otimes2\alpha_{n-1}{\circ}\alpha_n + B_n\otimes\bigl({\alpha_1}^2+\cdots+{\alpha_{n-1}}^2+2{\alpha_n}^2\bigr). $$

Simplified the example and extended it to all n and computed the A and T tensors
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453

I don't have a complete answer, but here are a few remarks about this that you may find interesting or useful:

YouThe OP didn't specify exactly what youwas meant by 'complex hyperbolic space' $\mathbb{CH}^n$ and 'hyperbolic space' $\mathbb{H}^n$, in the sense that you didn't specify the sectional curvatures of the two spaces weren't specified. I will take the meaning of $\mathbb{H}^n$ to be the simply-connected complete Riemannian manifold of constant sectional curvature $-1$ and $\mathbb{CH}^n$ to be the simply-connected, complete Hermitian symmetric space of constant holomorphic sectional curvature that contains $\mathbb{H}^n$ as a totally geodesic real submanifold. (Note that the sectional curvature of tangent $2$-planes in $\mathbb{CH}^n$ that are complex lines is $-4$, not $-1$. The sectional curvature function of $\mathbb{CH}^n$ takes values in the interval $[-4,-1]$. By convention, the sectional curvature of $\mathbb{CH}^1$ is $-4$ (so that the natural complex linear embedding $\mathbb{CH}^1\subset\mathbb{CH}^2$ will be an isometry), so $\mathbb{CH}^1$ is not isometric to $\mathbb{H}^2$, but to $\mathbb{H}^2$ with its metric divided by $4$.)

The next obvious thing to try (especially since you wantif one wants a 'canonical' Riemannian submersion) is to look for one that is as homogeneous as possible. Whether Now, a 'homogeneous'homogeneous example existsdoes exist for all $n$ or(see a construction at the end of this answer), and the O'Neill tensors are easy to compute from the formuale.

Now, it's not clear (to me) that this homogeneous example is the only one or even the 'most homogeneous' one, I don't knowso it's not obvious that it should be regarded as 'canonical. However, but a little calculation shows that such a homogeneous Riemannian submersion does existis unique (and essentially uniquelyup to a natural notion of equivalence) when $n=2$, the first nontrivial case. More precisely, one has the following resultresults:

Fact A: (1) There exists a subgroup $G\subset\mathrm{Isom}(\mathbb{CH}^2)$$G_n\subset\mathrm{Isom}(\mathbb{CH}^n)$ that acts simply transitively on $\mathbb{CH}^2$$\mathbb{CH}^n$, a homomorphism $\rho:G\to\mathrm{Isom}(\mathbb{H}^2)$$\rho_n:G_n\to\mathrm{Isom}(\mathbb{H}^n)$ such that $\rho(G)$$\rho_n(G_n)$ acts transitively on $\mathbb{H}^2$$\mathbb{H}^n$, and a Riemannian submersion $\pi:\mathbb{CH}^2\to \mathbb{H}^2$$\pi_n:\mathbb{CH}^n\to \mathbb{H}^n$ such that $\pi\bigl(g(m)\bigr) = \rho(g)\bigl(\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$$m\in\mathbb{CH}^n$. (2) Moreover

Fact B: When $n=2$, thisthe homogeneous Riemannian submersion $\pi$$\pi_2$ is unique up to composition with isometries in $\mathbb{CH}^2$ and $\mathbb{H}^2$: If $\widehat\pi:\mathbb{CH}^2\to\mathbb{H}^2$ is a Riemannian submersion with the property that the group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$$G\subset \mathrm{Isom}(\mathbb{CH}^2)\times\mathrm{Isom}(\mathbb{H}^2)$ consisting of the pairs $(g,h)$ such that $\widehat\pi\bigl(g(m)\bigr) = h\bigl(\widehat\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$ acts transitively on $\mathbb{CH}^2$, then $\widehat\pi = h\circ \pi\circ g$$\widehat\pi = h\circ \pi_2\circ g$ for some $(g,h)\in \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$.

Meanwhile, thereRemark: There exist many Riemannian submersions $\pi:\mathbb{CH}^2\to\mathbb{H}^2$ that are not homogeneous. For example, there exist examples whose commuting isometry group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ (as defined above) acts in cohomogeneity $1$ or $2$ on $\mathbb{CH}^2$.

Details (Version 2): Let

Let $\mathrm{SU}(1,2)\subset\mathrm{GL}(3,\mathbb{C})$$\mathrm{SU}(1,n)\subset\mathrm{GL}(n{+}1,\mathbb{C})$ be the connected subgroup such that its canonical left-invariant form has the expression $$ \gamma = g^{-1}\mathrm{d}g = \pmatrix{ -(\phi_{1\bar1}{+}\phi_{2\bar2}) & \overline{\omega_1} & \overline{\omega_2} \\ \omega_1 & \phi_{1\bar1} & \phi_{1\bar2}\\ \omega_2 & \phi_{2\bar1} &\phi_{2\bar2}} $$$$ \gamma = g^{-1}\mathrm{d}g = \pmatrix{ -\mathrm{tr}(\phi) & {}^t\bar\omega \\ \omega & \phi} $$ where $\phi_{i\bar{j}}+\overline{\phi_{j\bar i}} = 0$$\phi$ is of size $n$-by-$n$ satisfying $\phi + {}^t\bar\phi = 0$, and where $\omega$ is a column of $1$-forms of height $n$, and let $\mathrm{U}(2)\subset \mathrm{SU}(1,2)$$\mathrm{U}(n)\subset \mathrm{SU}(1,n)$ be the connected subgroup on which the $\omega_i$ vanish$\omega$ vanishes. Then $\mathbb{CH}^2 = \mathrm{SU}(1,2)/\mathrm{U}(2)$$\mathbb{CH}^n = \mathrm{SU}(1,n)/\mathrm{U}(n)$, and the pullback of its metric to $\mathrm{SU}(1,2)$$\mathrm{SU}(1,n)$ is $\omega_1{\circ}\overline{\omega_1}+\omega_2{\circ}\overline{\omega_2}$${}^t\omega\circ\bar\omega$.

Now let $\iota:G\hookrightarrow\mathrm{SU}(1,2)$$\iota:G_n\hookrightarrow\mathrm{SU}(1,n)$ be the connected subgroup of (real) dimension $4$$2n$ such that $$ \iota^*(\gamma) = \pmatrix{ (\alpha{-}\bar{\alpha}) & \sqrt{2}(\beta{+}\alpha) & \sqrt{2}(\bar\beta{-}\bar\alpha)\\ \sqrt{2}(\bar\beta{+}\bar\alpha) & \frac12(\bar\alpha{-}\alpha)+\bar\beta-\beta & \frac12(\alpha{+}3\bar\alpha)\\ \sqrt{2}(\beta{-}\alpha) & -\frac12(\bar\alpha{+}3\alpha) & \frac12(\bar\alpha{-}\alpha)-\bar\beta+\beta} $$$$ \iota^*(\gamma) = \pmatrix{ -i\,\alpha_n & \alpha_1-i\,\beta_1 & \cdots & \alpha_{n-1}-i\,\beta_{n-1} &\alpha_n-i\,\beta_n\\ \alpha_1+i\,\beta_1 & 0 & \cdots & 0 & -\beta_1+i\,\alpha_1\\ \vdots & \vdots & & \vdots&\vdots\\ \alpha_{n-1}+i\,\beta_{n-1} & 0 & \cdots& 0 & -\beta_{n-1} + i\,\alpha_{n-1}\\ \alpha_n-i\,\beta_n & \beta_1+i\,\alpha_1 & \cdots & \beta_{n-1} + i\,\alpha_{n-1} &i\,\alpha_n } $$ where $\alpha,\bar\alpha,\beta,\bar\beta$$\alpha_1,\ldots,\alpha_n,\beta_1,\cdots\beta_n$ are linearly independent andleft-invariant $1$-forms on $G_n$ that satisfy $$ \begin{aligned} \mathrm{d}\alpha &= -\tfrac12(\alpha\wedge\beta+5\,\alpha\wedge\bar\beta-3\,\bar\alpha\wedge\beta +\bar\alpha\wedge\bar\beta)\\ \mathrm{d}\beta &= \bar\beta \wedge\beta. \end{aligned} $$$$ \begin{aligned} \mathrm{d}\alpha_i &= \alpha_i\wedge\beta_n\,,\quad 1\le i < n\\ \mathrm{d}\alpha_n &= 2\,\alpha_1\wedge\beta_1+2\,\alpha_2\wedge\beta_2 +\cdots + 2\,\alpha_n\wedge\beta_n\,,\quad\\ \mathrm{d}\beta_i &= \beta_i\wedge\beta_n\,,\quad 1\le i < n\\ \mathrm{d}\beta_n &= 0. \end{aligned} $$ Note that $\iota^*(\omega_1{\circ}\overline{\omega_1}+\omega_2{\circ}\overline{\omega_2}) = 4(\alpha{\circ}\bar\alpha+\beta{\circ}\bar\beta)$$\iota^*({}^t\omega\circ\bar\omega) = {\alpha_1}^2+\cdots+{\alpha_n}^2+{\beta_1}^2+\cdots+{\beta_n}^2$, which implies that the projection $g\mapsto g\mathrm{U}(n)$ from $G_n$ to $\mathbb{CH}^n$ is a submersion, and completeness and left-invariance imply that it is a surjective covering map, so it is a diffeomorphism. Meanwhile In particular, $G_n$ is simply-connected.

Meanwhile, the above structure equations imply that there exists a unique Lie group homomorphism $\rho:G\to\mathrm{SU}(1,1)$$\rho:G\to\mathrm{SO}(1,n)$ such that $$ \rho^{-1}\mathrm{d}(\rho) = \pmatrix{\frac12(\bar\beta{-}\beta) & \bar\beta \\ \beta & \frac12(\beta{-}\bar\beta)}. $$ Let$$ \rho^{-1}\mathrm{d}\rho = \pmatrix{0 & \beta_1 & \cdots & \beta_{n-1} & \beta_n \\ \beta_1 & 0 & \cdots & 0 & -\beta_1\\ \vdots & \vdots& & \vdots & \vdots\\ \beta_{n-1} & 0 & \cdots & 0 & -\beta_{n-1}\\ \beta_n & \beta_1 & \cdots &\beta_{n-1} & 0}. $$

Let $\mathrm{U}(1)\subset\mathrm{SU}(1,1)$$\mathrm{SO}(n)\subset\mathrm{SO}(1,n)$ be the diagonal subgroup that fixes the vector $(1,0,\ldots,0)\in\mathbb{R}^{1,n}$, so that $\mathbb{CH}^1 = \mathrm{SU}(1,1)/\mathrm{U}(1)$$\mathbb{H}^n = \mathrm{SO}(1,n)/\mathrm{SO}(n)$. Then the above structure equations imply that there exists a unique smooth map $\pi:\mathbb{CH}^2\to\mathbb{CH}^1$$\pi_n:\mathbb{CH}^n\to\mathbb{H}^n$ such that $\pi\bigl(g\mathrm{U}(2)\bigr) = \rho(g)\mathrm{U}(1)$$\pi\bigl(g\mathrm{U}(n)\bigr) = \rho(g)\mathrm{SO}(n)$ for all $g\in G$$g\in G_n$. Since $\rho$ pulls back the natural metric on $\mathbb{CH}^1$$\mathbb{H}^n$ to be $\beta{\circ}\bar\beta$${\beta_1}^2+\cdots+{\beta_n}^2$, and since this is the natural metric on $\mathbb{H}^2$ divided by $4$ (as explained above). Itit follows that, $\pi$ can be viewed as$\pi_n$ is a Riemannian submersion of $\mathbb{CH}^2$$\mathbb{CH}^n$ onto $\mathbb{H}^2$$\mathbb{H}^n$.

ThatRemark: Because the horizontal distribution of $G$$\pi_n$ is defined by the equations $\alpha_1 = \cdots = \alpha_n = 0$, the above structure equations imply that the horizontal $\rho$ and$n$-plane field of $\pi$ have$\pi_n$ (i.e., the properties claimed is now a matterorthogonal plane field to the fibers of routine checking$\pi_n)$ must be integrable. In particular, O'Neill's $A$ tensor vanishes identically in this example. If we let $A_i$ and $B_i$ be the dual vector fields to $\alpha_i$ and $\beta_i$, then we find that O'Neill's $T$ tensor is $$ T = B_1\otimes\alpha_1{\circ}\alpha_n +\cdots+ B_{n-1}\otimes\alpha_{n-1}{\circ}\alpha_n + B_n\otimes\bigl({\alpha_1}^2+\cdots+{\alpha_{n-1}}^2\bigr). $$

I don't have a complete answer, but here are a few remarks about this that you may find interesting:

You didn't specify exactly what you meant by 'complex hyperbolic space' $\mathbb{CH}^n$ and 'hyperbolic space' $\mathbb{H}^n$, in the sense that you didn't specify the sectional curvatures of the two spaces. I will take the meaning of $\mathbb{H}^n$ to be the simply-connected complete Riemannian manifold of constant sectional curvature $-1$ and $\mathbb{CH}^n$ to be the simply-connected, complete Hermitian symmetric space of constant holomorphic sectional curvature that contains $\mathbb{H}^n$ as a totally geodesic real submanifold. (Note that the sectional curvature of tangent $2$-planes in $\mathbb{CH}^n$ that are complex lines is $-4$, not $-1$. The sectional curvature function of $\mathbb{CH}^n$ takes values in the interval $[-4,-1]$. By convention, the sectional curvature of $\mathbb{CH}^1$ is $-4$ (so that the natural complex linear embedding $\mathbb{CH}^1\subset\mathbb{CH}^2$ will be an isometry), so $\mathbb{CH}^1$ is not isometric to $\mathbb{H}^2$, but to $\mathbb{H}^2$ with its metric divided by $4$.)

The next obvious thing to try (especially since you want a 'canonical' Riemannian submersion) is to look for one that is as homogeneous as possible. Whether a 'homogeneous' example exists for all $n$ or not, I don't know, but a little calculation shows that such a Riemannian submersion does exist (and essentially uniquely) when $n=2$, the first nontrivial case. More precisely, one has the following result:

Fact: (1) There exists a subgroup $G\subset\mathrm{Isom}(\mathbb{CH}^2)$ that acts simply transitively on $\mathbb{CH}^2$, a homomorphism $\rho:G\to\mathrm{Isom}(\mathbb{H}^2)$ such that $\rho(G)$ acts transitively on $\mathbb{H}^2$, and a Riemannian submersion $\pi:\mathbb{CH}^2\to \mathbb{H}^2$ such that $\pi\bigl(g(m)\bigr) = \rho(g)\bigl(\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$. (2) Moreover, this homogeneous Riemannian submersion $\pi$ is unique up to composition with isometries in $\mathbb{CH}^2$ and $\mathbb{H}^2$: If $\widehat\pi:\mathbb{CH}^2\to\mathbb{H}^2$ is a Riemannian submersion with the property that the group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ consisting of the pairs $(g,h)$ such that $\widehat\pi\bigl(g(m)\bigr) = h\bigl(\widehat\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$ acts transitively on $\mathbb{CH}^2$, then $\widehat\pi = h\circ \pi\circ g$ for some $(g,h)\in \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$.

Meanwhile, there exist many Riemannian submersions $\pi:\mathbb{CH}^2\to\mathbb{H}^2$ that are not homogeneous. For example, there exist examples whose commuting isometry group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ (as defined above) acts in cohomogeneity $1$ or $2$ on $\mathbb{CH}^2$.

Details: Let $\mathrm{SU}(1,2)\subset\mathrm{GL}(3,\mathbb{C})$ be the connected subgroup such that its canonical left-invariant form has the expression $$ \gamma = g^{-1}\mathrm{d}g = \pmatrix{ -(\phi_{1\bar1}{+}\phi_{2\bar2}) & \overline{\omega_1} & \overline{\omega_2} \\ \omega_1 & \phi_{1\bar1} & \phi_{1\bar2}\\ \omega_2 & \phi_{2\bar1} &\phi_{2\bar2}} $$ where $\phi_{i\bar{j}}+\overline{\phi_{j\bar i}} = 0$, and let $\mathrm{U}(2)\subset \mathrm{SU}(1,2)$ be the connected subgroup on which the $\omega_i$ vanish. Then $\mathbb{CH}^2 = \mathrm{SU}(1,2)/\mathrm{U}(2)$, and the pullback of its metric to $\mathrm{SU}(1,2)$ is $\omega_1{\circ}\overline{\omega_1}+\omega_2{\circ}\overline{\omega_2}$.

Now let $\iota:G\hookrightarrow\mathrm{SU}(1,2)$ be the connected subgroup of (real) dimension $4$ such that $$ \iota^*(\gamma) = \pmatrix{ (\alpha{-}\bar{\alpha}) & \sqrt{2}(\beta{+}\alpha) & \sqrt{2}(\bar\beta{-}\bar\alpha)\\ \sqrt{2}(\bar\beta{+}\bar\alpha) & \frac12(\bar\alpha{-}\alpha)+\bar\beta-\beta & \frac12(\alpha{+}3\bar\alpha)\\ \sqrt{2}(\beta{-}\alpha) & -\frac12(\bar\alpha{+}3\alpha) & \frac12(\bar\alpha{-}\alpha)-\bar\beta+\beta} $$ where $\alpha,\bar\alpha,\beta,\bar\beta$ are linearly independent and satisfy $$ \begin{aligned} \mathrm{d}\alpha &= -\tfrac12(\alpha\wedge\beta+5\,\alpha\wedge\bar\beta-3\,\bar\alpha\wedge\beta +\bar\alpha\wedge\bar\beta)\\ \mathrm{d}\beta &= \bar\beta \wedge\beta. \end{aligned} $$ Note that $\iota^*(\omega_1{\circ}\overline{\omega_1}+\omega_2{\circ}\overline{\omega_2}) = 4(\alpha{\circ}\bar\alpha+\beta{\circ}\bar\beta)$. Meanwhile, the above structure equations imply that there exists a unique Lie group homomorphism $\rho:G\to\mathrm{SU}(1,1)$ such that $$ \rho^{-1}\mathrm{d}(\rho) = \pmatrix{\frac12(\bar\beta{-}\beta) & \bar\beta \\ \beta & \frac12(\beta{-}\bar\beta)}. $$ Let $\mathrm{U}(1)\subset\mathrm{SU}(1,1)$ be the diagonal subgroup, so that $\mathbb{CH}^1 = \mathrm{SU}(1,1)/\mathrm{U}(1)$. Then the above structure equations imply that there exists a unique smooth map $\pi:\mathbb{CH}^2\to\mathbb{CH}^1$ such that $\pi\bigl(g\mathrm{U}(2)\bigr) = \rho(g)\mathrm{U}(1)$ for all $g\in G$. Since $\rho$ pulls back the natural metric on $\mathbb{CH}^1$ to be $\beta{\circ}\bar\beta$, and since this is the natural metric on $\mathbb{H}^2$ divided by $4$ (as explained above). It follows that, $\pi$ can be viewed as a Riemannian submersion of $\mathbb{CH}^2$ onto $\mathbb{H}^2$.

That $G$, $\rho$ and $\pi$ have the properties claimed is now a matter of routine checking.

I don't have a complete answer, but here are a few remarks about this that you may find interesting or useful:

The OP didn't specify exactly what was meant by 'complex hyperbolic space' $\mathbb{CH}^n$ and 'hyperbolic space' $\mathbb{H}^n$, in the sense that the sectional curvatures of the two spaces weren't specified. I will take the meaning of $\mathbb{H}^n$ to be the simply-connected complete Riemannian manifold of constant sectional curvature $-1$ and $\mathbb{CH}^n$ to be the simply-connected, complete Hermitian symmetric space of constant holomorphic sectional curvature that contains $\mathbb{H}^n$ as a totally geodesic real submanifold. (Note that the sectional curvature of tangent $2$-planes in $\mathbb{CH}^n$ that are complex lines is $-4$, not $-1$. The sectional curvature function of $\mathbb{CH}^n$ takes values in the interval $[-4,-1]$. By convention, the sectional curvature of $\mathbb{CH}^1$ is $-4$ (so that the natural complex linear embedding $\mathbb{CH}^1\subset\mathbb{CH}^2$ will be an isometry), so $\mathbb{CH}^1$ is not isometric to $\mathbb{H}^2$, but to $\mathbb{H}^2$ with its metric divided by $4$.)

The next obvious thing to try (especially if one wants a 'canonical' Riemannian submersion) is to look for one that is as homogeneous as possible. Now, a homogeneous example does exist for all $n$ (see a construction at the end of this answer), and the O'Neill tensors are easy to compute from the formuale.

Now, it's not clear (to me) that this homogeneous example is the only one or even the 'most homogeneous' one, so it's not obvious that it should be regarded as 'canonical. However, a little calculation shows that a homogeneous Riemannian submersion is unique (up to a natural notion of equivalence) when $n=2$, the first nontrivial case. More precisely, one has the following results:

Fact A: There exists a subgroup $G_n\subset\mathrm{Isom}(\mathbb{CH}^n)$ that acts simply transitively on $\mathbb{CH}^n$, a homomorphism $\rho_n:G_n\to\mathrm{Isom}(\mathbb{H}^n)$ such that $\rho_n(G_n)$ acts transitively on $\mathbb{H}^n$, and a Riemannian submersion $\pi_n:\mathbb{CH}^n\to \mathbb{H}^n$ such that $\pi\bigl(g(m)\bigr) = \rho(g)\bigl(\pi(m)\bigr)$ for all $m\in\mathbb{CH}^n$.

Fact B: When $n=2$, the homogeneous Riemannian submersion $\pi_2$ is unique up to composition with isometries in $\mathbb{CH}^2$ and $\mathbb{H}^2$: If $\widehat\pi:\mathbb{CH}^2\to\mathbb{H}^2$ is a Riemannian submersion with the property that the group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times\mathrm{Isom}(\mathbb{H}^2)$ consisting of the pairs $(g,h)$ such that $\widehat\pi\bigl(g(m)\bigr) = h\bigl(\widehat\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$ acts transitively on $\mathbb{CH}^2$, then $\widehat\pi = h\circ \pi_2\circ g$ for some $(g,h)\in \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$.

Remark: There exist many Riemannian submersions $\pi:\mathbb{CH}^2\to\mathbb{H}^2$ that are not homogeneous. For example, there exist examples whose commuting isometry group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ (as defined above) acts in cohomogeneity $1$ or $2$ on $\mathbb{CH}^2$.

Details (Version 2):

Let $\mathrm{SU}(1,n)\subset\mathrm{GL}(n{+}1,\mathbb{C})$ be the connected subgroup such that its canonical left-invariant form has the expression $$ \gamma = g^{-1}\mathrm{d}g = \pmatrix{ -\mathrm{tr}(\phi) & {}^t\bar\omega \\ \omega & \phi} $$ where $\phi$ is of size $n$-by-$n$ satisfying $\phi + {}^t\bar\phi = 0$, and where $\omega$ is a column of $1$-forms of height $n$, and let $\mathrm{U}(n)\subset \mathrm{SU}(1,n)$ be the connected subgroup on which $\omega$ vanishes. Then $\mathbb{CH}^n = \mathrm{SU}(1,n)/\mathrm{U}(n)$, and the pullback of its metric to $\mathrm{SU}(1,n)$ is ${}^t\omega\circ\bar\omega$.

Now let $\iota:G_n\hookrightarrow\mathrm{SU}(1,n)$ be the connected subgroup of (real) dimension $2n$ such that $$ \iota^*(\gamma) = \pmatrix{ -i\,\alpha_n & \alpha_1-i\,\beta_1 & \cdots & \alpha_{n-1}-i\,\beta_{n-1} &\alpha_n-i\,\beta_n\\ \alpha_1+i\,\beta_1 & 0 & \cdots & 0 & -\beta_1+i\,\alpha_1\\ \vdots & \vdots & & \vdots&\vdots\\ \alpha_{n-1}+i\,\beta_{n-1} & 0 & \cdots& 0 & -\beta_{n-1} + i\,\alpha_{n-1}\\ \alpha_n-i\,\beta_n & \beta_1+i\,\alpha_1 & \cdots & \beta_{n-1} + i\,\alpha_{n-1} &i\,\alpha_n } $$ where $\alpha_1,\ldots,\alpha_n,\beta_1,\cdots\beta_n$ are linearly independent left-invariant $1$-forms on $G_n$ that satisfy $$ \begin{aligned} \mathrm{d}\alpha_i &= \alpha_i\wedge\beta_n\,,\quad 1\le i < n\\ \mathrm{d}\alpha_n &= 2\,\alpha_1\wedge\beta_1+2\,\alpha_2\wedge\beta_2 +\cdots + 2\,\alpha_n\wedge\beta_n\,,\quad\\ \mathrm{d}\beta_i &= \beta_i\wedge\beta_n\,,\quad 1\le i < n\\ \mathrm{d}\beta_n &= 0. \end{aligned} $$ Note that $\iota^*({}^t\omega\circ\bar\omega) = {\alpha_1}^2+\cdots+{\alpha_n}^2+{\beta_1}^2+\cdots+{\beta_n}^2$, which implies that the projection $g\mapsto g\mathrm{U}(n)$ from $G_n$ to $\mathbb{CH}^n$ is a submersion, and completeness and left-invariance imply that it is a surjective covering map, so it is a diffeomorphism. In particular, $G_n$ is simply-connected.

Meanwhile, the above structure equations imply that there exists a unique Lie group homomorphism $\rho:G\to\mathrm{SO}(1,n)$ such that $$ \rho^{-1}\mathrm{d}\rho = \pmatrix{0 & \beta_1 & \cdots & \beta_{n-1} & \beta_n \\ \beta_1 & 0 & \cdots & 0 & -\beta_1\\ \vdots & \vdots& & \vdots & \vdots\\ \beta_{n-1} & 0 & \cdots & 0 & -\beta_{n-1}\\ \beta_n & \beta_1 & \cdots &\beta_{n-1} & 0}. $$

Let $\mathrm{SO}(n)\subset\mathrm{SO}(1,n)$ be the subgroup that fixes the vector $(1,0,\ldots,0)\in\mathbb{R}^{1,n}$, so that $\mathbb{H}^n = \mathrm{SO}(1,n)/\mathrm{SO}(n)$. Then the above structure equations imply that there exists a unique smooth map $\pi_n:\mathbb{CH}^n\to\mathbb{H}^n$ such that $\pi\bigl(g\mathrm{U}(n)\bigr) = \rho(g)\mathrm{SO}(n)$ for all $g\in G_n$. Since $\rho$ pulls back the natural metric on $\mathbb{H}^n$ to be ${\beta_1}^2+\cdots+{\beta_n}^2$, it follows that, $\pi_n$ is a Riemannian submersion of $\mathbb{CH}^n$ onto $\mathbb{H}^n$.

Remark: Because the horizontal distribution of $\pi_n$ is defined by the equations $\alpha_1 = \cdots = \alpha_n = 0$, the above structure equations imply that the horizontal $n$-plane field of $\pi_n$ (i.e., the orthogonal plane field to the fibers of $\pi_n)$ must be integrable. In particular, O'Neill's $A$ tensor vanishes identically in this example. If we let $A_i$ and $B_i$ be the dual vector fields to $\alpha_i$ and $\beta_i$, then we find that O'Neill's $T$ tensor is $$ T = B_1\otimes\alpha_1{\circ}\alpha_n +\cdots+ B_{n-1}\otimes\alpha_{n-1}{\circ}\alpha_n + B_n\otimes\bigl({\alpha_1}^2+\cdots+{\alpha_{n-1}}^2\bigr). $$

Added an explicit description of the Riemannian submersion
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453

I don't have a complete answer, but here are a few remarks about this that you may find interesting:

You didn't specify exactly what you meant by 'complex hyperbolic space' $\mathbb{CH}^n$ and 'hyperbolic space' $\mathbb{H}^n$, in the sense that you didn't specify the sectional curvatures of the two spaces. I will take the meaning of $\mathbb{H}^n$ to be the simply-connected complete Riemannian manifold of constant sectional curvature $-1$ and $\mathbb{CH}^n$ to be the simply-connected, complete Hermitian symmetric space of constant holomorphic sectional curvature that contains $\mathbb{H}^n$ as a totally geodesic real submanifold. (Note that the sectional curvature of tangent $2$-planes in $\mathbb{CH}^n$ that are complex lines is $-4$, not $-1$. The sectional curvature function of $\mathbb{CH}^n$ takes values in the interval $[-4,-1]$. By convention, the sectional curvature of $\mathbb{CH}^1$ is $-4$ (so that the natural complex linear embedding $\mathbb{CH}^1\subset\mathbb{CH}^2$ will be an isometry), so $\mathbb{CH}^1$ is not isometric to $\mathbb{H}^2$, but to $\mathbb{H}^2$ with its metric divided by $4$.)

Now, the obvious thing to try to construct a Riemannian submersion from $\mathbb{CH}^n$ to $\mathbb{H}^n$ doesn't work: The 'nearest point' projection from $\mathbb{CH}^n$ to the submanifold $\mathbb{H}^n\subset \mathbb{CH}^n$ (which is a smooth submersion) is not a Riemannian submersion.

The next obvious thing to try (especially since you want a 'canonical' Riemannian submersion) is to look for one that is as homogeneous as possible. Whether a 'homogeneous' example exists for all $n$ or not, I don't know, but a little calculation shows that such a Riemannian submersion does exist (and essentially uniquely) when $n=2$, the first nontrivial case. More precisely, one has the following result:

Fact: (1) There exists a subgroup $G\subset\mathrm{Isom}(\mathbb{CH}^2)$ that acts simply transitively on $\mathbb{CH}^2$, a homomorphism $\rho:G\to\mathrm{Isom}(\mathbb{H}^2)$ such that $\rho(G)$ acts transitively on $\mathbb{H}^2$, and a Riemannian submersion $\pi:\mathbb{CH}^2\to \mathbb{H}^2$ such that $\pi\bigl(g(m)\bigr) = \rho(g)\bigl(\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$. (2) Moreover, this homogeneous Riemannian submersion $\pi$ is unique up to composition with isometries in $\mathbb{CH}^2$ and $\mathbb{H}^2$: If $\widehat\pi:\mathbb{CH}^2\to\mathbb{H}^2$ is a Riemannian submersion with the property that the group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ consisting of the pairs $(g,h)$ such that $\widehat\pi\bigl(g(m)\bigr) = h\bigl(\widehat\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$ acts transitively on $\mathbb{CH}^2$, then $\widehat\pi = h\circ \pi\circ g$ for some $(g,h)\in \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$.

Meanwhile, there exist many Riemannian submersions $\pi:\mathbb{CH}^2\to\mathbb{H}^2$ that are not homogeneous. For example, there exist examples whose commuting isometry group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ (as defined above) acts in cohomogeneity $1$ or $2$ on $\mathbb{CH}^2$.

If youDetails: Let $\mathrm{SU}(1,2)\subset\mathrm{GL}(3,\mathbb{C})$ be the connected subgroup such that its canonical left-invariant form has the expression $$ \gamma = g^{-1}\mathrm{d}g = \pmatrix{ -(\phi_{1\bar1}{+}\phi_{2\bar2}) & \overline{\omega_1} & \overline{\omega_2} \\ \omega_1 & \phi_{1\bar1} & \phi_{1\bar2}\\ \omega_2 & \phi_{2\bar1} &\phi_{2\bar2}} $$ where $\phi_{i\bar{j}}+\overline{\phi_{j\bar i}} = 0$, and let $\mathrm{U}(2)\subset \mathrm{SU}(1,2)$ be the connected subgroup on which the $\omega_i$ vanish. Then $\mathbb{CH}^2 = \mathrm{SU}(1,2)/\mathrm{U}(2)$, and the pullback of its metric to $\mathrm{SU}(1,2)$ is $\omega_1{\circ}\overline{\omega_1}+\omega_2{\circ}\overline{\omega_2}$.

Now let $\iota:G\hookrightarrow\mathrm{SU}(1,2)$ be the connected subgroup of (real) dimension $4$ such that $$ \iota^*(\gamma) = \pmatrix{ (\alpha{-}\bar{\alpha}) & \sqrt{2}(\beta{+}\alpha) & \sqrt{2}(\bar\beta{-}\bar\alpha)\\ \sqrt{2}(\bar\beta{+}\bar\alpha) & \frac12(\bar\alpha{-}\alpha)+\bar\beta-\beta & \frac12(\alpha{+}3\bar\alpha)\\ \sqrt{2}(\beta{-}\alpha) & -\frac12(\bar\alpha{+}3\alpha) & \frac12(\bar\alpha{-}\alpha)-\bar\beta+\beta} $$ where $\alpha,\bar\alpha,\beta,\bar\beta$ are interestedlinearly independent and satisfy $$ \begin{aligned} \mathrm{d}\alpha &= -\tfrac12(\alpha\wedge\beta+5\,\alpha\wedge\bar\beta-3\,\bar\alpha\wedge\beta +\bar\alpha\wedge\bar\beta)\\ \mathrm{d}\beta &= \bar\beta \wedge\beta. \end{aligned} $$ Note that $\iota^*(\omega_1{\circ}\overline{\omega_1}+\omega_2{\circ}\overline{\omega_2}) = 4(\alpha{\circ}\bar\alpha+\beta{\circ}\bar\beta)$. Meanwhile, Ithe above structure equations imply that there exists a unique Lie group homomorphism $\rho:G\to\mathrm{SU}(1,1)$ such that $$ \rho^{-1}\mathrm{d}(\rho) = \pmatrix{\frac12(\bar\beta{-}\beta) & \bar\beta \\ \beta & \frac12(\beta{-}\bar\beta)}. $$ Let $\mathrm{U}(1)\subset\mathrm{SU}(1,1)$ be the diagonal subgroup, so that $\mathbb{CH}^1 = \mathrm{SU}(1,1)/\mathrm{U}(1)$. Then the above structure equations imply that there exists a unique smooth map $\pi:\mathbb{CH}^2\to\mathbb{CH}^1$ such that $\pi\bigl(g\mathrm{U}(2)\bigr) = \rho(g)\mathrm{U}(1)$ for all $g\in G$. Since $\rho$ pulls back the natural metric on $\mathbb{CH}^1$ to be $\beta{\circ}\bar\beta$, and since this is the natural metric on $\mathbb{H}^2$ divided by $4$ (as explained above). It follows that, $\pi$ can supply detailsbe viewed as a Riemannian submersion of $\mathbb{CH}^2$ onto $\mathbb{H}^2$.

That $G$, $\rho$ and $\pi$ have the properties claimed is now a matter of routine checking.

I don't have a complete answer, but here are a few remarks about this that you may find interesting:

You didn't specify exactly what you meant by 'complex hyperbolic space' $\mathbb{CH}^n$ and 'hyperbolic space' $\mathbb{H}^n$, in the sense that you didn't specify the sectional curvatures of the two spaces. I will take the meaning of $\mathbb{H}^n$ to be the simply-connected complete Riemannian manifold of constant sectional curvature $-1$ and $\mathbb{CH}^n$ to be the simply-connected, complete Hermitian symmetric space of constant holomorphic sectional curvature that contains $\mathbb{H}^n$ as a totally geodesic real submanifold. (Note that the sectional curvature of tangent $2$-planes in $\mathbb{CH}^n$ that are complex lines is $-4$, not $-1$. The sectional curvature function of $\mathbb{CH}^n$ takes values in the interval $[-4,-1]$. By convention, the sectional curvature of $\mathbb{CH}^1$ is $-4$ (so that the natural complex linear embedding $\mathbb{CH}^1\subset\mathbb{CH}^2$ will be an isometry), so $\mathbb{CH}^1$ is not isometric to $\mathbb{H}^2$, but to $\mathbb{H}^2$ with its metric divided by $4$.)

Now, the obvious thing to try to construct a Riemannian submersion from $\mathbb{CH}^n$ to $\mathbb{H}^n$ doesn't work: The 'nearest point' projection from $\mathbb{CH}^n$ to the submanifold $\mathbb{H}^n\subset \mathbb{CH}^n$ (which is a smooth submersion) is not a Riemannian submersion.

The next obvious thing to try (especially since you want a 'canonical' Riemannian submersion) is to look for one that is as homogeneous as possible. Whether a 'homogeneous' example exists for all $n$ or not, I don't know, but a little calculation shows that such a Riemannian submersion does exist (and essentially uniquely) when $n=2$, the first nontrivial case. More precisely, one has the following result:

Fact: (1) There exists a subgroup $G\subset\mathrm{Isom}(\mathbb{CH}^2)$ that acts simply transitively on $\mathbb{CH}^2$, a homomorphism $\rho:G\to\mathrm{Isom}(\mathbb{H}^2)$ such that $\rho(G)$ acts transitively on $\mathbb{H}^2$, and a Riemannian submersion $\pi:\mathbb{CH}^2\to \mathbb{H}^2$ such that $\pi\bigl(g(m)\bigr) = \rho(g)\bigl(\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$. (2) Moreover, this homogeneous Riemannian submersion $\pi$ is unique up to composition with isometries in $\mathbb{CH}^2$ and $\mathbb{H}^2$: If $\widehat\pi:\mathbb{CH}^2\to\mathbb{H}^2$ is a Riemannian submersion with the property that the group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ consisting of the pairs $(g,h)$ such that $\widehat\pi\bigl(g(m)\bigr) = h\bigl(\widehat\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$ acts transitively on $\mathbb{CH}^2$, then $\widehat\pi = h\circ \pi\circ g$ for some $(g,h)\in \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$.

Meanwhile, there exist many Riemannian submersions $\pi:\mathbb{CH}^2\to\mathbb{H}^2$ that are not homogeneous. For example, there exist examples whose commuting isometry group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ (as defined above) acts in cohomogeneity $1$ or $2$ on $\mathbb{CH}^2$.

If you are interested, I can supply details.

I don't have a complete answer, but here are a few remarks about this that you may find interesting:

You didn't specify exactly what you meant by 'complex hyperbolic space' $\mathbb{CH}^n$ and 'hyperbolic space' $\mathbb{H}^n$, in the sense that you didn't specify the sectional curvatures of the two spaces. I will take the meaning of $\mathbb{H}^n$ to be the simply-connected complete Riemannian manifold of constant sectional curvature $-1$ and $\mathbb{CH}^n$ to be the simply-connected, complete Hermitian symmetric space of constant holomorphic sectional curvature that contains $\mathbb{H}^n$ as a totally geodesic real submanifold. (Note that the sectional curvature of tangent $2$-planes in $\mathbb{CH}^n$ that are complex lines is $-4$, not $-1$. The sectional curvature function of $\mathbb{CH}^n$ takes values in the interval $[-4,-1]$. By convention, the sectional curvature of $\mathbb{CH}^1$ is $-4$ (so that the natural complex linear embedding $\mathbb{CH}^1\subset\mathbb{CH}^2$ will be an isometry), so $\mathbb{CH}^1$ is not isometric to $\mathbb{H}^2$, but to $\mathbb{H}^2$ with its metric divided by $4$.)

Now, the obvious thing to try to construct a Riemannian submersion from $\mathbb{CH}^n$ to $\mathbb{H}^n$ doesn't work: The 'nearest point' projection from $\mathbb{CH}^n$ to the submanifold $\mathbb{H}^n\subset \mathbb{CH}^n$ (which is a smooth submersion) is not a Riemannian submersion.

The next obvious thing to try (especially since you want a 'canonical' Riemannian submersion) is to look for one that is as homogeneous as possible. Whether a 'homogeneous' example exists for all $n$ or not, I don't know, but a little calculation shows that such a Riemannian submersion does exist (and essentially uniquely) when $n=2$, the first nontrivial case. More precisely, one has the following result:

Fact: (1) There exists a subgroup $G\subset\mathrm{Isom}(\mathbb{CH}^2)$ that acts simply transitively on $\mathbb{CH}^2$, a homomorphism $\rho:G\to\mathrm{Isom}(\mathbb{H}^2)$ such that $\rho(G)$ acts transitively on $\mathbb{H}^2$, and a Riemannian submersion $\pi:\mathbb{CH}^2\to \mathbb{H}^2$ such that $\pi\bigl(g(m)\bigr) = \rho(g)\bigl(\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$. (2) Moreover, this homogeneous Riemannian submersion $\pi$ is unique up to composition with isometries in $\mathbb{CH}^2$ and $\mathbb{H}^2$: If $\widehat\pi:\mathbb{CH}^2\to\mathbb{H}^2$ is a Riemannian submersion with the property that the group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ consisting of the pairs $(g,h)$ such that $\widehat\pi\bigl(g(m)\bigr) = h\bigl(\widehat\pi(m)\bigr)$ for all $m\in\mathbb{CH}^2$ acts transitively on $\mathbb{CH}^2$, then $\widehat\pi = h\circ \pi\circ g$ for some $(g,h)\in \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$.

Meanwhile, there exist many Riemannian submersions $\pi:\mathbb{CH}^2\to\mathbb{H}^2$ that are not homogeneous. For example, there exist examples whose commuting isometry group $G\subset \mathrm{Isom}(\mathbb{CH}^2)\times \mathrm{Isom}(\mathbb{H}^2)$ (as defined above) acts in cohomogeneity $1$ or $2$ on $\mathbb{CH}^2$.

Details: Let $\mathrm{SU}(1,2)\subset\mathrm{GL}(3,\mathbb{C})$ be the connected subgroup such that its canonical left-invariant form has the expression $$ \gamma = g^{-1}\mathrm{d}g = \pmatrix{ -(\phi_{1\bar1}{+}\phi_{2\bar2}) & \overline{\omega_1} & \overline{\omega_2} \\ \omega_1 & \phi_{1\bar1} & \phi_{1\bar2}\\ \omega_2 & \phi_{2\bar1} &\phi_{2\bar2}} $$ where $\phi_{i\bar{j}}+\overline{\phi_{j\bar i}} = 0$, and let $\mathrm{U}(2)\subset \mathrm{SU}(1,2)$ be the connected subgroup on which the $\omega_i$ vanish. Then $\mathbb{CH}^2 = \mathrm{SU}(1,2)/\mathrm{U}(2)$, and the pullback of its metric to $\mathrm{SU}(1,2)$ is $\omega_1{\circ}\overline{\omega_1}+\omega_2{\circ}\overline{\omega_2}$.

Now let $\iota:G\hookrightarrow\mathrm{SU}(1,2)$ be the connected subgroup of (real) dimension $4$ such that $$ \iota^*(\gamma) = \pmatrix{ (\alpha{-}\bar{\alpha}) & \sqrt{2}(\beta{+}\alpha) & \sqrt{2}(\bar\beta{-}\bar\alpha)\\ \sqrt{2}(\bar\beta{+}\bar\alpha) & \frac12(\bar\alpha{-}\alpha)+\bar\beta-\beta & \frac12(\alpha{+}3\bar\alpha)\\ \sqrt{2}(\beta{-}\alpha) & -\frac12(\bar\alpha{+}3\alpha) & \frac12(\bar\alpha{-}\alpha)-\bar\beta+\beta} $$ where $\alpha,\bar\alpha,\beta,\bar\beta$ are linearly independent and satisfy $$ \begin{aligned} \mathrm{d}\alpha &= -\tfrac12(\alpha\wedge\beta+5\,\alpha\wedge\bar\beta-3\,\bar\alpha\wedge\beta +\bar\alpha\wedge\bar\beta)\\ \mathrm{d}\beta &= \bar\beta \wedge\beta. \end{aligned} $$ Note that $\iota^*(\omega_1{\circ}\overline{\omega_1}+\omega_2{\circ}\overline{\omega_2}) = 4(\alpha{\circ}\bar\alpha+\beta{\circ}\bar\beta)$. Meanwhile, the above structure equations imply that there exists a unique Lie group homomorphism $\rho:G\to\mathrm{SU}(1,1)$ such that $$ \rho^{-1}\mathrm{d}(\rho) = \pmatrix{\frac12(\bar\beta{-}\beta) & \bar\beta \\ \beta & \frac12(\beta{-}\bar\beta)}. $$ Let $\mathrm{U}(1)\subset\mathrm{SU}(1,1)$ be the diagonal subgroup, so that $\mathbb{CH}^1 = \mathrm{SU}(1,1)/\mathrm{U}(1)$. Then the above structure equations imply that there exists a unique smooth map $\pi:\mathbb{CH}^2\to\mathbb{CH}^1$ such that $\pi\bigl(g\mathrm{U}(2)\bigr) = \rho(g)\mathrm{U}(1)$ for all $g\in G$. Since $\rho$ pulls back the natural metric on $\mathbb{CH}^1$ to be $\beta{\circ}\bar\beta$, and since this is the natural metric on $\mathbb{H}^2$ divided by $4$ (as explained above). It follows that, $\pi$ can be viewed as a Riemannian submersion of $\mathbb{CH}^2$ onto $\mathbb{H}^2$.

That $G$, $\rho$ and $\pi$ have the properties claimed is now a matter of routine checking.

Clarified the relation between the complex hyperbolic line and the real hyperbolic 2-plane.
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453
Loading
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453
Loading