Homology cycles in manifolds with locally standard torus actions

From MaRDI portal
(Redirected from Publication:303902)



Abstract: Let X be a 2n-manifold with a locally standard action of a compact torus Tn. If the free part of action is trivial and proper faces of the orbit space Q are acyclic, then there are three types of homology classes in X: (1) classes of face submanifolds; (2) k-dimensional classes of Q swept by actions of subtori of dimensions <k; (3) relative k-classes of Q modulo partialQ swept by actions of subtori of dimensions geqslantk. The submodule of H∗(X) spanned by face classes is an ideal in H∗(X) with respect to the intersection product. It is isomorphic to (mathbbZ[SQ]/Theta)/W, where mathbbZ[SQ] is the face ring of the Buchsbaum simplicial poset SQ dual to Q; Theta is the linear system of parameters determined by the characteristic function; and W is a certain submodule, lying in the socle of mathbbZ[SQ]/Theta. Intersections of homology classes different from face submanifolds are described in terms of intersections on Q and Tn.


The paper studies the homology of closed manifolds with locally standard action of a half-dimensional torus under the assumption that proper faces of their orbit spaces are acyclic and the free part of action is trivial. It is proved that homology classes of those manifolds are of three types: the classes of face submanifolds, spine classes, i.e. the classes represented by \(k\)-cycles of the orbit space lifted to the manifold and swept by actions of \(l\)-dimensional subtori with \(l<k\), and diaphragm classes, i.e. the classes represented by relative \(k\)-cycles of the orbit space modulo the boundary of the the orbit space lifted in appropriate way to the manifold and swept by actions of \(l\)-dimensional subtori with \(l<k\).NEWLINENEWLINEThe submodule spanned by face classes of such a manifold \(X\) is an ideal in the homology \(H_{\ast} (X)\) with respect to the intersection product and it is isomorphic as a ring to \((\mathbb{Z}[S_Q]/\Theta)/W\) where \(Q\) is the orbit space, \(\mathbb{Z}[S_Q]\) is the face ring of the Buchsbaum simplicial poset dual to \(Q\), \(\Theta\) is an ideal generated by a linear system of parameters, and \(W\) is a submodule lying in the socle of \(\mathbb{Z}[S_Q]\).NEWLINENEWLINEThe manifolds studied in the article provide a topological interpretation for the results of Novik and Swartz concerning socles of Buchsbaum face rings. The author considers some particular examples of manifolds with special treatment of toric origami manifolds. The results and necessary definitions with overview of the basic results are presented in a clear way.











This page was built for publication: Homology cycles in manifolds with locally standard torus actions

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