Intereting Posts

Prove a graph Containing $2k$ odd vertices contains $k$ distinct trails
Need help finding limit $\lim \limits_{x\to \infty}\left(\frac{x}{x-1}\right)^{2x+1}$
Prove that $f$ is one-to-one iff $f \circ h = f \circ k$ implies $h = k$.
Operator norm and tensor norms
Equivalence of knots: ambient isotopy vs. homeomorphism
To find area of the curves that are extension of ellipse
Kernel of a substitution map
Ring isomorphism (polynomials in one variable)
Tautological line bundle over $\mathbb{RP}^n$ isomorphic to normal bundle? Also “splitting” of transition functions
An entire function $f(z)$ is real iff $z$ is real
Lie group, differential of multiplication map
Proper maps and families of compact complex manifolds
Prove the following (algebra of polynomials)
What are the generators for $SL_n(\mathbb{R})$ (Michael Artin's Algebra book)
Generalization of $f(\overline{S}) \subset \overline{f(S)} \iff f$ continuous

Let $M$ be a compact connected topological manifold of dimension $n>1$. Suppose the corepresented functor $[M,-]\colon Top_{\ast}\rightarrow Set$ lifts to monoids or equivalently that $M$ is a co-h-space: I must prove this implies that the manifold is simply connected and its homology is given by

$H_k(M)\cong \begin{cases} \mathbb{Z} \quad \text{if} \ k \in \{0,n\} \\ 0 \quad \text{else.} \end{cases}$

I don’t have much confidence with co-h-spaces but here I really don’t know what approach I have to follow: my first idea was to prove that $\pi_1(M)=1$, form this deduce that $M$ is orientable and try to use PoincarĂ¨ duality to work out the other homology groups. But form the assumption of $M$ to be co-h-space I can only deduce that $\pi_1(M)$ is a free group and nothing else.

Thanks for any help and advice.

- Almost complex structure on $\mathbb CP^2 \mathbin\# \mathbb CP^2$
- What is a natural isomorphism?
- Fundamental group of quotient of $S^1 \times $
- Applications of algebra and/or topology to stochastic (or Markov) processes
- Follow-up on $H_n(\mathbb{R}^3 - S^1)$
- Compact $n$-manifold has same integral cohomology as $S^n$?

- Homotopy lifting property of $\mathbb{R} \to S^1$ in Hatcher
- Question about Hatcher's book CW complex
- How to distinguish between walking on a sphere and walking on a torus?
- Help fixing my broken example of Arf invariant
- Homotopy groups of $S^2$
- Finding when $\mathbb{C}P^n / \mathbb{C}P^{n-2}$ is homotopy equivalent to $S^{2n} \vee S^{2n-2}$ using Steenrod squares
- Simplicial Complexes, Triangulation general question.
- How to determine space with a given fundamental group.
- Definition of a universal cover and the universal cover of a point
- What's the loop space of a circle?

I should have found a proof of the statement.

First I state the following claims that are well known results about co-h-spaces (for a reference see the literature cited in the comments).

Claim 1: if X is a co-h-space then $\pi_1(X)$ is free.

Claim 2: if X is a co-h-space then taken $\alpha \in H^{p_1}(X; G_1)$, $\beta \in H^{p_2}(X; g_2)$ the cup product $\alpha \cup \beta=0$ in $H^{p_1+p_2}(X; G_1 \otimes G_2)$.

By 1) we have $\pi_1(M) \cong F_r$ and $H_1(M)\cong \mathbb{Z}^r$. Now we know that avery compact manifold is always $\mathbb{Z}/_{2 \mathbb{Z}}$ orientable so we can use the PoincarĂ¨ duality with coefficients mod 2. It can be proved that if the PD holds then for M without boundary connected compact $R$-orientable manifold then the pairing $H^{k}(M;R)\otimes H^{n-k}(M;R)\rightarrow R$ given by $\alpha \otimes \beta \mapsto\langle \alpha \cup \beta, [M]\rangle$ is perfect.

Therefore we have using 2) for $n>2$ that $H^k(M; \mathbb{Z}/_2)=0$ if $0<k<n$. Now consider the s.e.s. $0 \rightarrow \mathbb{Z} \xrightarrow{2}\mathbb{Z}\rightarrow \mathbb{Z}/_{2 \mathbb{Z}}\rightarrow 0$ and by the associated Bockstein sequence we have

$0=H_2(M;\mathbb{Z}/_{2 \mathbb{Z}})\rightarrow H_1(M)\xrightarrow{2}H_1(M)\rightarrow H_{1}(M; \mathbb{Z}/_{2 \mathbb{Z}})=0$

(we need the assumption $n>2$ to get $H_2=H_1=0$ by the PD).

We have proved therefore $\mathbb{Z}^r \xrightarrow{2} \mathbb{Z}^r$ is an iso implying $r=0$ and the fundamental group of $M$ is trivial. This implies that $M$ is $\mathbb{Z}$-orientable (i.e. the classical orientation) and now we can use PD with integer coefficients. Reasoning just as before (use the pairing and claim 2)) we get $H_k(M)=0$ for $0 <k<n$ and trivially $H_0(M)=H_n(M)=\mathbb{Z}$ proving finally the statement of the exercise.

For the case $n=1,2$ we can easily use the classification theorems of $1,2$-dimensional manifolds to get the claim.

If $n=1$ being $M$ compact $M$ must be homeomorphic to the circle $S^1$ which, being the reduced suspension of $S^0$ is a co-h-space.

If $n=2$ recall we proved $H_1(M)=\mathbb{Z}^r$ thus $M$ cannot be a not-orietable surface (since their $H_1$ has torsion): we have $M \cong \Sigma_g$ for some $g \in \mathbb{N}$. We have therefore that $M$ is orientable and as above we argue $H_1(M)\cong H^{1}(M)=0$ leaving the sphere $S^2$ as only possible candidate but $S^2= \Sigma S^1$ a reduced suspension then it is actually a co-h-space.

- Dense and locally compact subset of a Hausdorff space is open
- Proving there are infinitely many pairs of square-full consecutive integers
- Complex Polynomial with roots in uppar half plane.
- Proof that $C\exp(x)$ is the only set of functions for which $f(x) = f'(x)$
- Contradiction! Any Symbol for?
- Hamilton,Euler circuit,path
- Verifying Ito isometry for simple stochastic processes
- Interesting math-facts that are visually attractive
- Convergence of $\frac{a_n}{n}$ where $a_0=1$ and $a_n=a_{\frac{n}{2}}+a_{\frac{n}{3}}+a_{\frac{n}{6}}$
- What is $\frac{x^{10} + x^8 + x^2 + 1}{x^{10} + x^6 + x^4 + 1}$ given $x^2 + x – 1 = 0$?
- Triangle problem – finding the angle
- Integral domain with fraction field equal to $\mathbb{R}$
- how to calculate the integral of $\sin^2(x)/x^2$
- Investigations about the trace form
- Prove that if function f is monotonic, then it one-to-one