Cobordism category of plumbed 3-manifolds and intersection product structures (Q847581): Difference between revisions

The paper under review is a generalization of another paper of the author entitled ``Homology spin cobordism problem of plumbed 3-manifolds and the cup product structures'' (preprint). Let \({\mathcal C}_3\) be the cobordism category of closed oriented 3-manifolds whose objects \(M\in ob({\mathcal C}_3)\) are 3-manifolds and whose morphism \(W\in{\mathcal C}_3(M, M')\) between two 3-manifolds \(M\) and \(M'\) are cobordisms \((W;M, M')\). On the other hand, let \({\mathcal L}_3\) be a category whose objects \((H_*,\bullet)\in ob({\mathcal L}_3)\) are graded commutative rings of dimension 3 and whose morphisms \((L_*;i,i', \bullet)\in{\mathcal L}_3((H_*,\bullet), (H_*',\bullet))\) between two objects \((H_*,\bullet)\) and \((H_*',\bullet)\) are composed of graded modules \(L_*\) of dimension 4 with certain product structures \(\bullet\) and homomorphisms \(i: H_)\to L_*\) and \(i': H_*'\to L_*\) satisfying compatibility conditions on the product. Note that there exists a functor \(H_*:{\mathcal C}_3\to{\mathcal L}_3\). The paper is mainly about the question when the above functor is a ``surjection'' on morphisms. Necessary conditions are given for an abstract morphism between homologies of two plumbed 3-manifolds to be realized geometrically by a cobordism. Moreover the author considers the homology cobordism monoid, and gives a necessary condition using \(w\)-invariants for the homology 3-spheres to belong to the inertia group associated to some homology 3-spheres.