Product of 3-sphere and circle

This article is about a particular topological space (uniquely determined up to homeomorphism)|View a complete list of particular topological spaces

Definition

This topological space is defined as the Cartesian product of the 3-sphere $S^{3}$ and the circle $S^{1}$ , equipped with the product topology. It is denoted $S^{3} \times S^{1}$ or $S^{1} \times S^{3}$ .

Topological space properties

Property	Satisfied?	Is the property a homotopy-invariant property of topological spaces?	Explanation	Corollary properties satisfied/dissatisfied
manifold	Yes	No	product of manifolds is manifold	satisfies: metrizable space, second-countable space, and all the separation axioms down from perfectly normal space and monotonically normal space, including normal, completely regular, regular, Hausdorff, etc.
path-connected space	Yes	Yes	path-connectedness is product-closed	satisfies: connected space, connected manifold, homogeneous space (via connected manifold, see connected manifold implies homogeneous)
simply connected space	No	Yes	Product of two spaces, one of which (the circle) is not simply connected.	dissatisfies: simply connected manifold
rationally acyclic space	No	Yes	Product of spaces neither of which is rationally acyclic.	dissatisfies: acyclic space, weakly contractible space, contractible space
space with Euler characteristic zero	Yes	Yes	Product of two spaces, both of which have Euler characteristic zero. Note that Euler characteristic of product is product of Euler characteristics
space with Euler characteristic one	No	Yes	See above, the Euler characteristic is zero
compact space	Yes	No	Product of compact spaces, see Tychonoff's theorem	satisfies: compact manifold, compact polyhedron, polyhedron (via compact manifold), compact Hausdorff space, and all properties weaker than compactness

Algebraic topology

Homology groups

Further information: homology of product of spheres

The homology groups with coefficients in integers are as follows:

$H_{p} (S^{3} \times S^{1}; Z) = {\begin{matrix} Z, & p = 0, 1, 3, 4 \\ 0, & p = 2, p \geq 5 \end{matrix}$

The homology groups with coefficients in a module $M$ are as follows:

$H_{p} (S^{3} \times S^{1}; M) = {\begin{matrix} M, & p = 0, 1, 3, 4 \\ 0, & p = 2, p \geq 5 \end{matrix}$

Cohomology groups

Further information: cohomology of product of spheres

The cohomology groups with coefficients in integers are as follows:

$H^{p} (S^{3} \times S^{1}; Z) = {\begin{matrix} Z, & p = 0, 1, 3, 4 \\ 0, & p = 2, p \geq 5 \end{matrix}$

The cohomology groups with coefficients in a module $M$ are as follows:

$H^{p} (S^{3} \times S^{1}; M) = {\begin{matrix} M, & p = 0, 1, 3, 4 \\ 0, & p = 2, p \geq 5 \end{matrix}$

Homology-based invariants

Invariant	General description	Description of value for $S^{3} \times S^{1}$	Comment
Betti numbers	The $k^{t h}$ Betti number $b_{k}$ is the rank of the torsion-free part of the $k^{t h}$ homology group.	$b_{0} = b_{1} = b_{3} = b_{4} = 1$ , $b_{2}$ and all higher $b_{k}$ s are zero.
Poincare polynomial	Generating polynomial for Betti numbers, i.e., the polynomial $\sum b_{k} x^{k}$	$(1 + x) (1 + x^{3}) = 1 + x + x^{3} + x^{4}$	See also Poincare polynomial of product is product of Poincare polynomials. The Poincare polynomial for $S^{m_{1}} \times S^{m_{2}} \times \dots \times S^{m_{r}}$ is $\prod_{i = 1}^{r} (1 + x^{m_{i}})$
Euler characteristic	$\sum_{k = 0}^{\infty} (- 1)^{k} b_{k}$	0	Follows from Euler characteristic of product is product of Euler characteristics. In particular, the Euler characteristic of a product space is zero if any of the factor spaces has Euler characteristic zero. In this case, both the factor spaces have Euler characteristic zero.