Smooth manifolds with prescribed rational cohomology ring

From MaRDI portal
Publication:292065




Abstract: The Hirzebruch signature formula provides an obstruction to the following realization question: given a rational Poincar'e duality algebra mathcalA, does there exist a smooth manifold M such that H(M;mathbbQ)=mathcalA? This problem is especially interesting for rational truncated polynomial algebras whose corresponding integral algebra is not realizable. For example, there are number theoretic constraints on the dimension n in which there exists a closed smooth manifold Mn with H(Mn;mathbbQ)=mathbbQ[x]/langlex3angle. We limit the possible existence dimension to n=8(2a+2b). For n=32, such manifolds are not two-connected. We show that the next smallest possible existence dimension is n=128. As there exists no integral mathbbOPm for m>2, the realization of the truncated polynomial algebra mathbbQ[x]/langlexm+1angle,|x|=8 is studied. Similar considerations provide examples of topological manifolds which do not have the rational homotopy type of a smooth closed manifold. The appendix presents a recursive algorithm for efficiently computing the coefficients of the L-polynomials which arise in the signature formula.









This page was built for publication: Smooth manifolds with prescribed rational cohomology ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q292065)