$A_{\infty}$-structure on closed manifold

Question

Is there an exmaple of a closed smooth connected manifold $M$ having a structure of $A_{\infty}$-space (with unit) but $M$ is not homeomorphic to a compact connectd Lie group as space ?

Edit: First, I would like to thank Fernando, Vladimir and Jesper for the excellent answers! My original motivation was the following question: Suppose that $\mathcal{A}_{\infty}$ is a cofibrant replacement of the associative operad $\mathcal{A}$ in the category $\mathsf{Op}$ of topological operads (non-symmetric) and suppose that $X$ is a finite connected $CW$-complex. Is it true that $$Hom_{\mathsf{Op}}(\mathcal{A}_{\infty},End(X))\neq \emptyset \Rightarrow Hom_{\mathsf{Op}}(\mathcal{A},End(X))\neq \emptyset ?$$

Here is a counterexample: Suppose that $M$ is a smooth closed connected manifold with a structure of $\mathcal{A}_{\infty}$-space (i.e, Loop space) such that $M$ is not homotopy equivalent to a Lie group. By definition $Hom_{\mathsf{Op}}(\mathcal{A}_{\infty},End(M))\neq \emptyset$. On another hand if $Hom_{\mathsf{Op}}(\mathcal{A},End(M))\neq \emptyset$, this will implie that $M$ has at least one structure of topological monoid. By Wallace Theorem any closed manifold with a structure of topological monoid is a Lie group, hence $M$ is a Lie group. Contradiction.

Answer 1

Yes:

As has been pointed out, admitting the structure of a connected $A_\infty$-space is the same thing as being homotopy equivalent to a connected loop space.

The Hilton-Roitberg criminal, mentioned by Vladimir Dotsenko, was the first example of a closed manifold homotopy equivalent to a loop space, but not to a Lie group. The space has the rational homotopy type of the compact Lie group Sp(2).

In fact there exists "rational criminals", i.e., finite loop spaces that are homotopy equivalent to closed smooth manifolds (as always, by the Broto-Kitchloo-Notbohm-Pedersen theorem), but not even rationally homotopy equivalent to a Lie group. However, they only start occurring in rank 66 and onwards.

See this paper that I wrote with Andersen-Bauer-Pedersen

Answer 2

If you require just "not homeomeorphic", then there are very silly examples of all sorts. What you want to ask is "not homotopic", I suppose.

For that, I know some useful references in "Which H-spaces are manifolds? I" by Cappell and Weinberger (http://www.sciencedirect.com/science/article/pii/0040938388900171), e.g. you can look at the manifold appearing in Formula (1.4) in "On Principal S3-Bundles Over Spheres" by Hilton and Roitberg (http://www.jstor.org/stable/1970683).

Answer 3

Yes, any connected A-infinity space with finitely generated homology is homotopy equivalent to a closed smooth connected manifold, by results of Bauer-Kitchloo-Notbohm-Pedersen. Many of those are known not to be homotopy equivalent to Lie groups (see references therein).