7
$\begingroup$

I was interested in whether a manifold which admits a metric of constant sectional curvature can be homotopy equivalent to a product of non-contractible manifolds. Of course, there are three cases: positive, negative, and zero.

Positive

If $M$ is a connected $n$-manifold which admits a metric with constant positive curvature, then it is finitely covered by $S^n$. Suppose $M$ were homotopy equivalent to $M_1\times M_2$ where $M_1$ and $M_2$ are manifolds. Then $S^n = \widetilde{M} = \widetilde{M_1}\times\widetilde{M_2}$ where the tilde is used to denote the universal cover. As $\pi_k(S^n) = \pi_k(\widetilde{M_1})\oplus\pi_k(\widetilde{M_2})$, both $\widetilde{M_1}$ and $\widetilde{M_2}$ are $(n-1)$-connected. Moreover, as $\pi_n(S^n) \cong \mathbb{Z}$, either $\pi_n(\widetilde{M_1}) \cong \mathbb{Z}$ and $\pi_n(\widetilde{M_2}) = 0$, or vice versa; without loss of generality, suppose $\pi_n(\widetilde{M_1}) \cong \mathbb{Z})$. It follows that $\widetilde{M_1}$ is homotopy equivalent to $S^n$ and $\widetilde{M_2}$ is contractible, so $M_2$ is a $K(\pi_1(M_2), 1)$. As the cover $S^n \to M$ is finite, $\pi_1(M)$, and hence $\pi_1(M_2)$, is finite. If $\pi_1(M_2) \neq 0$, then $M_2$ has infinite cohomological dimension which contradicts the fact that it is a manifold; therefore $\pi_1(M_2) = 0$ and hence $M_2$ is contractible.

So a manifold which admits a metric with constant positive curvature cannot be homotopy equivalent to a product of non-contractible manifolds.

Negative

If $M$ is a compact connected $n$-manifold which admits a metric with constant negative curvature (i.e. $M$ is hyperbolic), then by the Cartan-Hadamard Theorem, the universal cover of $M$ is isometric to $\mathbb{H}^n$; in particular, $M$ is aspherical. Suppose $M$ were homotopy equivalent to $M_1\times M_2$ where $M_1$ and $M_2$ are manifolds; as $M$ is aspherical, so are $M_1$ and $M_2$. Now by Priessman's theorem, every non-trivial abelian subgroup of $M$ is isomorphic to $\mathbb{Z}$. If both $M_1$ and $M_2$ are not contractible, then there are non-zero elements $\gamma_i \in \pi_1(M_i)$ which individually generate subgroups isomorphic to $\mathbb{Z}$, and because $\gamma_1$ and $\gamma_2$ commute, $\langle\gamma_1, \gamma_2\rangle \cong \mathbb{Z}^2$. This contradicts Priessman's Theorem, so one of $M_1$ and $M_2$ must be contractible.

So a compact manifold which admits a metric with constant negative curvature cannot be homotopy equivalent to a non-trivial product of manifolds.

What if we drop the compactness hypothesis?

Question 1: Let $M$ be a connected, non-compact, hyperbolic manifold. Can $M$ be homotopy equivalent to a product of non-contractible manifolds?

If such a manifold exists, its fundamental group would be a direct sum of non-trivial groups. As such, $O^+(n, 1)$, the isometry group of $n$-dimensional hyperbolic space, contains such a subgroup. So we could also ask:

Question 2: Is there a subgroup of $O^+(n, 1)$ which is isomorphic to $G_1\oplus G_2$ where $G_1$ and $G_2$ are non-trivial groups?

Note, question 2 is not equivalent to question 1 as the group may not act freely. However, a negative answer to question 2 provides a negative answer to the question 1.

Zero

Flat manifolds can be products (e.g. tori). More generally, the product of flat manifolds is again flat.

$\endgroup$
3
  • 3
    $\begingroup$ For question 1, take two commuting parabolic elements that generate a discrete subgroup. Then the quotient (say in dimension 3) is diffeomorphic to $T^2 \times R = (S^1 \times R) \times S^1$. Is that what you're asking for? $\endgroup$ Feb 27, 2019 at 18:03
  • $\begingroup$ I don't think you want to call the positive isometry group $O^+(n,1)$, because the action of $SO(n,1)$ is not faithful when $n$ is odd; rather $PO_0(n,1)$. Anyway, this does not matters so much for the question. $\endgroup$
    – YCor
    Feb 27, 2019 at 18:17
  • $\begingroup$ The answer to Question 2 is a trivial "yes" for every $n\ge 2$. $\endgroup$
    – YCor
    Feb 27, 2019 at 18:18

1 Answer 1

9
$\begingroup$

Question 1:

in $\mathrm{Isom}(\mathbf{H}^n)$, the centralizer of any loxodromic element preserves its axis, and hence is contained in a closed subgroup isomorphic to $\mathrm{O}(n-1)\times\mathrm{Isom}(\mathbf{R})$. In particular, discrete subgroups of the latter are virtually cyclic.

In addition, if a subgroup has no loxodromic element, either it has compact closure, or is horocyclic, in the sense that it fixes a unique point at infinity and is contained in the leafwise stabilizer of the corresponding horosphere foliation with respect to some point at infinity, which is isomorphic to $\mathrm{Isom}(\mathbf{R}^{n-1})$. The centralizer of a horocyclic subgroup fixes the same point at infinity, hence, in turn, is either relatively compact (pointwise fixing an axis), horocyclic, axial, or focal in the sense that it preserve (maybe not leafwise) the corresponding foliation. As regards discrete subgroups, they can't be focal.

Hence, if we have two discrete subgroups $G_1,G_2$ of $\mathrm{Isom}(\mathbf{H}^n)$ centralizing each other, we have one of the following, showing that there are fery few subgroups decomposing as direct products.

  • both are virtually cyclic (each with a loxodromic element)
  • one is virtually cyclic (with a loxodromic element) and the other one is virtually abelian (being horocyclic). This case is not possible if $G_1\cap G_2$ is finite and $G_1G_2$ is discrete (because the stabilizer of an axis does not contain a discrete $\mathbf{Z}^2$)
  • both are virtually abelian (horocyclic)
  • one is finite (and the other has to preserve its subspace of fixed points). In particular, if the other one does not preserve any proper geodesic subspace (e.g., is Zariski-dense), then it has a trivial centralizer.

As I said in a comment, Question 2 is too naive: just consider a cyclic subgroup of order 6. But also there are torsion-free subgroups decomposing as nontrivial direct products, for $n\ge 3$, such as a horocyclic copy of $\mathbf{Z}^2$. Geometrically this correspond to a 3-dimensional cusp, homeomorphic to $\mathbf{R}\times\mathbf{T}^2$, so well, this is indeed homeomorphic to a product of two non-contractible manifolds. By the previous description, this is essentially the only possibility, namely every real hyperbolic manifold that homotopically decomposes as a product has a finite covering homeomorphic to the product of a Euclidean space (of dimension $\ge 1$) and a torus (of dimension $\ge 2$), and moreover is "horocyclic" (cusp-like) in the sense that its $\pi_1$ acts horocyclically on the universal cover.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.