Classifying Poincaré complexes via fundamental triples

The user responsible for this page is Bea Bleile. No other user may edit this page at present.

This page is being refereed under the supervision of the editorial board. Hence the page may not be edited at present. As always, the discussion page remains open for observations and comments.

Let $\textup{CW}_0$$\newcommand{\Z}{\mathbb{Z}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\N}{\mathbb{N}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\F}{\mathbb{F}} \newcommand{\bZ}{\mathbb{Z}} \newcommand{\bR}{\mathbb{R}} \newcommand{\bC}{\mathbb{C}} \newcommand{\bH}{\mathbb{H}} \newcommand{\bQ}{\mathbb{Q}} \newcommand{\bF}{\mathbb{F}} \newcommand{\bN}{\mathbb{N}} \DeclareMathOperator\id{id} % identity map \DeclareMathOperator\Sq{Sq} % Steenrod squares \DeclareMathOperator\Homeo{Homeo} % group of homeomorphisms of a topoloical space \DeclareMathOperator\Diff{Diff} % group of diffeomorphisms of a smooth manifold \DeclareMathOperator\SDiff{SDiff} % diffeomorphism under some constraint \DeclareMathOperator\Hom{Hom} % homomrphism group \DeclareMathOperator\End{End} % endomorphism group \DeclareMathOperator\Aut{Aut} % automorphism group \DeclareMathOperator\Inn{Inn} % inner automorphisms \DeclareMathOperator\Out{Out} % outer automorphism group \DeclareMathOperator\vol{vol} % volume \newcommand{\GL}{\text{GL}} % general linear group \newcommand{\SL}{\text{SL}} % special linear group \newcommand{\SO}{\text{SO}} % special orthogonal group \newcommand{\O}{\text{O}} % orthogonal group \newcommand{\SU}{\text{SU}} % special unitary group \newcommand{\Spin}{\text{Spin}} % Spin group \newcommand{\RP}{\Rr\mathrm P} % real projective space \newcommand{\CP}{\Cc\mathrm P} % complex projective space \newcommand{\HP}{\Hh\mathrm P} % quaternionic projective space \newcommand{\Top}{\mathrm{Top}} % topological category \newcommand{\PL}{\mathrm{PL}} % piecewise linear category \newcommand{\Cat}{\mathrm{Cat}} % any category \newcommand{\KS}{\text{KS}} % Kirby-Siebenmann class \newcommand{\Hud}{\text{Hud}} % Hudson torus \newcommand{\Ker}{\text{Ker}} % Kernel \newcommand{\underbar}{\underline} %Classifying Spaces for Families of Subgroups \newcommand{\textup}{\text} \newcommand{\sp}{^}\textup{CW}_0$ be the category of reduced CW-complexes, that is CW-complexes with $0$$0$-skeleton a point which is the base-point, and base-point preserving cellular maps. Given an object, $X$$X$, in $\textup{CW}_0$$\textup{CW}_0$, let $\widehat X$$\widehat X$ be the universal cover of $X$$X$, and let $C(\widehat X)$$C(\widehat X)$ be its cellular chain complex viewed as a complex of left modules over the integer group ring $\mathbb Z[\pi_1 X]$$\mathbb Z[\pi_1 X]$. To obtain a functor we assume that each object $X$$X$ in $\textup{CW}_0$$\textup{CW}_0$ is endowed with a base point in the universal covering $\widehat X$$\widehat X$ over the base point of $X$$X$. Then a map $f: X \rightarrow Y$$f: X \rightarrow Y$ in $\textup{CW}_0$$\textup{CW}_0$ induces a unique base point preserving covering map which, in turn, induces a map $f_{\ast}: C(\widehat X) \rightarrow C(\widehat Y)$$f_{\ast}: C(\widehat X) \rightarrow C(\widehat Y)$ ensuring that $C(\widehat X)$$C(\widehat X)$ is functorial in $X$$X$. Given a left $\mathbb Z[\pi_1 X]$$\mathbb Z[\pi_1 X]$-module $M$$M$, the right module $M^{\omega}$$M^{\omega}$ has the same underlying abelian group and action given by $m.\lambda = \overline{\lambda}.m$$m.\lambda = \overline{\lambda}.m$ for $m \in M$$m \in M$ and $\lambda \in \mathbb Z[\pi_1 X]$$\lambda \in \mathbb Z[\pi_1 X]$. For $n, k \in \mathbb Z$$n, k \in \mathbb Z$, we put

Tex syntax error

$$\displaystyle \begin{array}{rcl} {\rm H}_n(X;M^{\omega}) & = & {\rm H}_n(M^{\omega} \otimes_{\mathbb Z[\pi_1 X]} C(\widehat X)) \quad \rm{and} \\ {\rm H}^k(X;M) & = & {\rm H}_{-k}(\mbox{Hom}_{\mathbb Z[\pi_1 X]}(C(\widehat X),M)). \end{array}$$

A Poincaré duality complex of formal dimension $n$$n$, $X = (X, \omega_X, [X])$$X = (X, \omega_X, [X])$ (

Tex syntax error

$\rm PD^n$-complex), consists of an object $X$$X$ in

Tex syntax error

${\rm CW}_0$ with finitely presented fundamental group $\pi_1 X$$\pi_1 X$, a group homomorphism $\omega_X: \pi_1 X \rightarrow \mathbb Z/2 \mathbb Z$$\omega_X: \pi_1 X \rightarrow \mathbb Z/2 \mathbb Z$ and a fundamental class

Tex syntax error

$[X] \in {\rm H}_n(X; \mathbb Z^{\omega})$, such that

Tex syntax error

$$\displaystyle \cap [X]: {\rm H}^{r}(X; M) \rightarrow {\rm H}_{n-r}(X; M^{\omega}); \quad \alpha \mapsto \alpha \cap [X]$$

is an isomorphism of abelian groups for every $r \in \mathbb Z$$r \in \mathbb Z$ and every left $\mathbb Z [\pi_1 X]$$\mathbb Z [\pi_1 X]$-module $M$$M$. An oriented morphism of

Tex syntax error

$\rm PD^n$-complexes $f: (X, \omega_X, [X]) \rightarrow (Y, \omega_Y, [Y])$$f: (X, \omega_X, [X]) \rightarrow (Y, \omega_Y, [Y])$ is a morphism $f: X \rightarrow Y$$f: X \rightarrow Y$ in $\textup{CW}_0$$\textup{CW}_0$, such that $\omega_X = \omega_Y\pi_1(f)$$\omega_X = \omega_Y\pi_1(f)$ and $f_{\ast}[X] = [Y]$$f_{\ast}[X] = [Y]$. The category

Tex syntax error

${\rm\bf PD}^n_+$ is the category consisting of

Tex syntax error

${\rm PD}^n$-complexes and oriented or degree $1$$1$ morphisms of

Tex syntax error

${\rm PD}^n$-complexes.
Let $k$$k$-types be the full subcategory of the homotopy category

Tex syntax error

${\rm\bf CW}_0 /\simeq$ consisting of

Tex syntax error

$\rm CW$-complexes $X$$X$ in

Tex syntax error

${\rm\bf CW}_0$ with $\pi_i(X) = 0$$\pi_i(X) = 0$ for $i > k$$i > k$ and let

Tex syntax error

$$\displaystyle P_k: {\rm\bf CW}_0 \rightarrow k{\rm\bf-types}$$

be the $k$$k$-th Postnikov functor. For $n \geq 3$$n \geq 3$, a fundamental triple $T = (X, \omega, t)$$T = (X, \omega, t)$ of formal dimension $n$$n$ consists of an $(n-2)$$(n-2)$-type $X$$X$, a homomorphism $\omega: \pi_1X \rightarrow \mathbb Z / 2 \mathbb Z$$\omega: \pi_1X \rightarrow \mathbb Z / 2 \mathbb Z$ and an element

Tex syntax error

$t \in {\rm H}_n(X; \mathbb Z^{\omega})$. A morphism $(X, \omega_X, t_X) \rightarrow (Y, \omega_Y, t_Y)$$(X, \omega_X, t_X) \rightarrow (Y, \omega_Y, t_Y)$ between fundamental triples is a homotopy class $\{f\}: X \rightarrow Y$$\{f\}: X \rightarrow Y$ of maps of the $(n-2)$$(n-2)$-types, such that $\omega_X = \omega_Y \pi_1(f)$$\omega_X = \omega_Y \pi_1(f)$ and $f_{\ast}(t_X) = t_Y$$f_{\ast}(t_X) = t_Y$. We obtain the category

Tex syntax error

${\rm\bf Trp}^n$ of fundamental triples $T$$T$ of formal dimension $n$$n$.
Every degree $1$$1$ morphism $Y \rightarrow X$$Y \rightarrow X$ in

Tex syntax error

${\rm\bf PD}^n_+$ induces a surjection $\pi_1Y \rightarrow \pi_1X$$\pi_1Y \rightarrow \pi_1X$ on fundamental groups, see for example [Browder1972a]. The category

Tex syntax error

${\rm\bf Trp}^n_+ \subset {\rm\bf Trp}^n$ is the subcategory consisting of all morphisms inducing surjections on fundamental groups, and we obtain the functor

Tex syntax error

$$\displaystyle \tau_+: {\rm\bf PD}^n_+ /\simeq \ \longrightarrow {\rm\bf Trp}^n_+ \quad X \longmapsto (P_{n-2}X, \omega_X, p_{n-2 \ast}[X]).$$

Theorem 1.1. The functor $\tau_+$$\tau_+$ reflects isomorphisms and is full for $n \geq 3$$n \geq 3$, that is, $\tau$$\tau$ is surjective onto sets of morphisms and $\tau(f)$$\tau(f)$ is an isomorphism if and only if $f$$f$ is an isomorphism..

Theorem 1.1 is Theorem 3.1 in [Baues&Bleile2008]. It follows directly from Poincaré duality and Whitehead's Theorem that the functor $\tau_+$$\tau_+$ reflects isomorphisms. To show that $\tau_+$$\tau_+$ is full requires work. Given

Tex syntax error

${\rm PD}^n$-complexes $Y$$Y$ and $X$$X$, $n \geq 3$$n \geq 3$, and a morphism $f: \tau_+ Y \rightarrow \tau_+ X$$f: \tau_+ Y \rightarrow \tau_+ X$ in

Tex syntax error

${\rm\bf Trp}^n_+$, we first construct a chain map $\xi: \widehat C(Y) \rightarrow \widehat C(X)$$\xi: \widehat C(Y) \rightarrow \widehat C(X)$ preserving fundamental classes, that is, $\xi_{\ast}[Y] = [X]$$\xi_{\ast}[Y] = [X]$. Then we use the category

Tex syntax error

${\rm\bf H}^c_{k+1}$ of homotopy systems of order $(k+1)$$(k+1)$ introduced in [Baues1991] to realize $\xi$$\xi$ by a map $\overline f: Y \rightarrow X$$\overline f: Y \rightarrow X$ with $\tau_+(\overline f) = f$$\tau_+(\overline f) = f$.

Theorem 1.2. Take $n \geq 3$$n \geq 3$. Two

Tex syntax error

${\rm PD}^n$-complexes are orientedly homotopy equivalent if and only if their fundamental triples are isomorphic.

Theorem 1.2 is Theorem 3.2 in [Baues&Bleile2008] and extends results for dimension $3$$3$ by Thomas [Thomas1969], Swarup [Swarup1974], and Hendriks [Hendriks1977], to arbitrary dimension. It also establishes Turaev's conjecture [Turaev1989] on

Tex syntax error

${\rm PD}^n$-complexes whose $(n-2)$$(n-2)$-type is an Eilenberg-Mac Lane space $K(\pi_1X,1)$$K(\pi_1X,1)$. Theorem 1.1 also yields a criterion for the existence of a map of degree one between

Tex syntax error

${\rm PD}^n$-complexes, recovering Swarup's result for maps between $3$$3$-manifolds and Hendriks' result for maps between

Tex syntax error

${\rm PD}^3$-complexes.

In the oriented case, special cases of Theorem 1.1 were proved by Hambleton and Kreck [Hambleton&Kreck1988] for $n=4$$n=4$. Teichner extended their approach to the non-oriented case in his thesis [Teichner1992].

By early work of Milnor [Milnor1958] and Whitehead [Whitehead1949], the homotopy type of a simply-connected

Tex syntax error

${\rm PD}^4$-complex, $X$$X$, is completely determined by its quadratic form. The $2$$2$-type of such an $X$$X$, with $\pi_2(X) = A$$\pi_2(X) = A$, is an Eilenberg-Mac Lane space

Tex syntax error

${\rm K}(A, 2)$ with

Tex syntax error

${\rm H}_4({\rm K}(A, 2)) = \Gamma(A)$. The image of the fundamental class, $[X]$$[X]$, under the secondary boundary homomorphism in Whitehead's Certain Exact Sequence is the quadratic form of $X$$X$. Hence, in this case, the functor, $\tau$$\tau$, coincides with the functor

Tex syntax error

${\rm H}_{\ast}$ of Theorem 2.1.8 in [Baues2003].

Corollary 1.3. For $n \geq 3$$n \geq 3$,

Tex syntax error

${\rm PD}^n$-complexes $X$$X$ and $Y$$Y$ and a map $f: P_{n-2}X \rightarrow P_{n-2}Y$$f: P_{n-2}X \rightarrow P_{n-2}Y$, there is a degree $1$$1$ map, $\overline f$$\overline f$, rendering

$\displaystyle \xymatrix{ X \ar[r]^-{p_{n-2}} \ar@{..>}[d]_{\overline f} & P_{n-2}X \ar[d]^f \\ Y \ar[r]^-{p_{n-2}} & P_{n-2}Y}$

homotopy commutative, if and only if $f$$f$ induces a surjection on fundamental groups, is compatible with the orientations $\omega_X$$\omega_X$ and $\omega_Y$$\omega_Y$, that is, $\omega_X = \omega_Y \pi_1(f)$$\omega_X = \omega_Y \pi_1(f)$, and

$\displaystyle f_{\ast}p_{n-2 \ast}[X] = p_{n-2 \ast}[Y].$ $$\displaystyle f_{\ast}p_{n-2 \ast}[X] = p_{n-2 \ast}[Y].$$

Corollary 1.3 is Corollary 3.3 in [Baues&Bleile2008].

Corollary 1.4. Given a

Tex syntax error

${\rm PD}^3$-complex $X$$X$, let

Tex syntax error

${\rm Aut}_+(X)$ be the group of oriented homotopy equivalences of $X$$X$ in

Tex syntax error

${\rm\bf PD}^3_+ / \simeq$ and

Tex syntax error

${\rm Aut}(\tau(X))$ the group of automorphisms of the triple $\tau(X)$$\tau(X)$ in

Tex syntax error

${\rm\bf Trp}^3_+$. Then the latter is a subgroup of

Tex syntax error

${\rm Aut}(\pi_1X)$ and there is a surjection of groups

Tex syntax error

$$\displaystyle \tau_+: {\rm Aut}_+(X) \rightarrow {\rm Aut}(\tau(X)).$$

Corollary 1.4 is included in Corollary 4.4 in [Baues&Bleile2008].

Remark 1.5. For $n \geq 3$$n \geq 3$, let $[\frac{n}{2}]$$[\frac{n}{2}]$ be the integer part of $\frac{n}{2}$$\frac{n}{2}$. Associating with a

Tex syntax error

${\rm PD}^n$-complex, $X$$X$, the pre-fundamental triple $(P_{[\frac{n}{2}]}X, \omega_X, p_{[\frac{n}{2}]\ast}[X])$$(P_{[\frac{n}{2}]}X, \omega_X, p_{[\frac{n}{2}]\ast}[X])$, an orientation preserving map between

Tex syntax error

${\rm PD}^n$-complexes is a homotopy equivalence if and only if the induced map between pre-fundamental triples is an isomorphism. However, pre-fundamental triples do not determine the homotopy type of a

Tex syntax error

${\rm PD}^n$-complex, as is demonstrated by the fake products $X = (S^n \vee S^n) \cup_{\alpha} e^{2n}$$X = (S^n \vee S^n) \cup_{\alpha} e^{2n}$, where $\alpha$$\alpha$ is the sum of the Whitehead product, $[\iota_1 , \iota_2]$$[\iota_1 , \iota_2]$, of the inclusions of the factors in the wedge product, and an element $\iota_1 \beta$$\iota_1 \beta$ with a non-trivial element $\beta \in \pi_{2n-1}(S^n)$$\beta \in \pi_{2n-1}(S^n)$ having trivial Hopf invariant. Pre-fundamental triples coincide with the fundamental triple for $n = 3$$n = 3$ and $n = 4$$n = 4$. It remains an open problem to enrich the structure of a pre-fundamental triple to obtain an analogue of Theorem 1.2.

1 References

• [Baues&Bleile2008] H. J. Baues and B. Bleile, Poincaré duality complexes in dimension four, Algebr. Geom. Topol. 8 (2008), no.4, 2355–2389. MR2465744 (2010b:57028) Zbl 1164.57008
• [Baues1991] H. J. Baues, Combinatorial homotopy and $4$$4$-dimensional complexes, Walter de Gruyter & Co., 1991. MR1096295 (92h:55008) Zbl 0716.55001
• [Baues2003] H. Baues, The homotopy category of simply connected 4-manifolds, Cambridge University Press, 2003. MR1996198 (2004g:57039) Zbl 1039.55009
• [Browder1972a] W. Browder, Poincaré spaces, their normal fibrations and surgery, Invent. Math. 17 (1972), 191–202. MR0326743 (48 #5086) Zbl 0244.57007
• [Hambleton&Kreck1988] I. Hambleton and M. Kreck, On the classification of topological $4$$4$-manifolds with finite fundamental group, Math. Ann. 280 (1988), no.1, 85–104. MR928299 (89g:57020) Zbl 0616.57009
• [Hendriks1977] H. Hendriks, Obstruction theory in $3$$3$-dimensional topology: an extension theorem, J. London Math. Soc. (2) 16 (1977), no.1, 160–164. MR0454980 (56 #13222) Zbl 03605632
• [Milnor1958] J. Milnor, On simply connected $4$$4$-manifolds, Symposium internacional de topología algebraica International symposi um on algebraic topology, Universidad Nacional Autónoma de México and UNESCO, Mexico City (1958), 122–128. MR0103472 (21 #2240) Zbl 0105.17204
• [Swarup1974] G. A. Swarup, On a theorem of C. B. Thomas, J. London Math. Soc. (2) 8 (1974), 13–21. MR0341474 (49 #6225) Zbl 0281.57003
• [Teichner1992] P. Teichner, Topological 4-manifolds with finite fundamental group PhD Thesis, University of Mainz, Germany, Shaker Verlag 1992, ISBN 3-86111-182-9.

• [Thomas1969] C. B. Thomas, The oriented homotopy type of compact $3$$3$-manifolds, Proc. London Math. Soc. (3) 19 (1969), 31–44. MR0248838 (40 #2088) Zbl 0167.21502
• [Turaev1989] V. G. Turaev, Three-dimensional Poincaré complexes: homotopy classification and splitting, Mat. Sb. 180 (1989), no.6, 809–830, translation in Math. USSR-Sb. 67 (1990), 261–282. MR1015042 (91c:57031) Zbl 0717.57008
• [Whitehead1949] J. H. C. Whitehead, On simply connected, $4$$4$-dimensional polyhedra, Comment. Math. Helv. 22 (1949), 48–92. MR0029171 (10,559d) Zbl 0039.39503

2 External links

• The Encyclopedia of Mathematics article about Poincaré complexes
• The Wikipedia page about Poincaré complexes
• Poincaré complex in n-Lab