Skip to main content
MathOverflow

Return to Question

added 13 characters in body; added 1 characters in body
Source Link
Benjamin Horowitz
Benjamin Horowitz
  • 213
  • 3
  • 7

According to the Kneser-Milnor prime decomposition theorem for 3-manifolds, any compact, connected, orientable 3-manifold $M$ is diffeomorphic to $S^3 / \Gamma_1$ # $\cdots$ # $S^3/ \Gamma_n$ # $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_r$ # $K( \pi_1,1)$ # $\cdots$ # $K( \pi_m,1)$, where # is the connect sum, and $\Gamma_i$ is a non-trivial finite subgroup of $SO(4)$ acting orthogonally to $S^3$ (so that the result is a spherical space form).

I suppose my question boils down to if $\pi_1(M)=\mathbb{Z}^k$$\pi_1(M)=\mathbb{Z} \times \cdots \times \mathbb{Z}$, where $k$ is an integerk times, does that uniquely identify a manifold as a $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_k$, or can the various quotient manifolds or aspherical factors create a more complicated topology without changing the fundamental group?

According to the Kneser-Milnor prime decomposition theorem for 3-manifolds, any compact, connected, orientable 3-manifold $M$ is diffeomorphic to $S^3 / \Gamma_1$ # $\cdots$ # $S^3/ \Gamma_n$ # $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_r$ # $K( \pi_1,1)$ # $\cdots$ # $K( \pi_m,1)$, where # is the connect sum, and $\Gamma_i$ is a non-trivial finite subgroup of $SO(4)$ acting orthogonally to $S^3$ (so that the result is a spherical space form).

I suppose my question boils down to if $\pi_1(M)=\mathbb{Z}^k$, where $k$ is an integer, does that uniquely identify a manifold as a $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_k$, or can the various quotient manifolds or aspherical factors create a more complicated topology without changing the fundamental group?

According to the Kneser-Milnor prime decomposition theorem for 3-manifolds, any compact, connected, orientable 3-manifold $M$ is diffeomorphic to $S^3 / \Gamma_1$ # $\cdots$ # $S^3/ \Gamma_n$ # $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_r$ # $K( \pi_1,1)$ # $\cdots$ # $K( \pi_m,1)$, where # is the connect sum, and $\Gamma_i$ is a non-trivial finite subgroup of $SO(4)$ acting orthogonally to $S^3$ (so that the result is a spherical space form).

I suppose my question boils down to if $\pi_1(M)=\mathbb{Z} \times \cdots \times \mathbb{Z}$, k times, does that uniquely identify a manifold as a $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_k$, or can the various quotient manifolds or aspherical factors create a more complicated topology without changing the fundamental group?

ah, yeah, non-trivial finite
Source Link
Benjamin Horowitz
Benjamin Horowitz
  • 213
  • 3
  • 7

According to the Kneser-Milnor prime decomposition theorem for 3-manifolds, any compact, connected, orientable 3-manifold $M$ is diffeomorphic to $S^3 / \Gamma_1$ # $\cdots$ # $S^3/ \Gamma_n$ # $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_r$ # $K( \pi_1,1)$ # $\cdots$ # $K( \pi_m,1)$, where # is the connect sum, and $\Gamma_i$ is a non-finite trivialtrivial finite subgroup of $SO(4)$ acting orthogonally to $S^3$ (so that the result is a spherical space form).

I suppose my question boils down to if $\pi_1(M)=\mathbb{Z}^k$, where $k$ is an integer, does that uniquely identify a manifold as a $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_k$, or can the various quotient manifolds or aspherical factors create a more complicated topology without changing the fundamental group?

According to the Kneser-Milnor prime decomposition theorem for 3-manifolds, any compact, connected, orientable 3-manifold $M$ is diffeomorphic to $S^3 / \Gamma_1$ # $\cdots$ # $S^3/ \Gamma_n$ # $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_r$ # $K( \pi_1,1)$ # $\cdots$ # $K( \pi_m,1)$, where # is the connect sum, and $\Gamma_i$ is a non-finite trivial subgroup of $SO(4)$ acting orthogonally to $S^3$ (so that the result is a spherical space form).

I suppose my question boils down to if $\pi_1(M)=\mathbb{Z}^k$, where $k$ is an integer, does that uniquely identify a manifold as a $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_k$, or can the various quotient manifolds or aspherical factors create a more complicated topology without changing the fundamental group?

According to the Kneser-Milnor prime decomposition theorem for 3-manifolds, any compact, connected, orientable 3-manifold $M$ is diffeomorphic to $S^3 / \Gamma_1$ # $\cdots$ # $S^3/ \Gamma_n$ # $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_r$ # $K( \pi_1,1)$ # $\cdots$ # $K( \pi_m,1)$, where # is the connect sum, and $\Gamma_i$ is a non-trivial finite subgroup of $SO(4)$ acting orthogonally to $S^3$ (so that the result is a spherical space form).

I suppose my question boils down to if $\pi_1(M)=\mathbb{Z}^k$, where $k$ is an integer, does that uniquely identify a manifold as a $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_k$, or can the various quotient manifolds or aspherical factors create a more complicated topology without changing the fundamental group?

Source Link
Benjamin Horowitz
Benjamin Horowitz
  • 213
  • 3
  • 7

Is a compact, connected, orientable 3-manifold with $\mathbb{Z}^K$ fundemental group uniquely determined?

According to the Kneser-Milnor prime decomposition theorem for 3-manifolds, any compact, connected, orientable 3-manifold $M$ is diffeomorphic to $S^3 / \Gamma_1$ # $\cdots$ # $S^3/ \Gamma_n$ # $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_r$ # $K( \pi_1,1)$ # $\cdots$ # $K( \pi_m,1)$, where # is the connect sum, and $\Gamma_i$ is a non-finite trivial subgroup of $SO(4)$ acting orthogonally to $S^3$ (so that the result is a spherical space form).

I suppose my question boils down to if $\pi_1(M)=\mathbb{Z}^k$, where $k$ is an integer, does that uniquely identify a manifold as a $(S^2 \times S^1)_1$ # $\cdots$ # $(S^2 \times S^1)_k$, or can the various quotient manifolds or aspherical factors create a more complicated topology without changing the fundamental group?