A Hasse diagram for rational toral ranks

From MaRDI portal



Abstract: Let X be a simply connected CW complex with finite rational cohomology. For the finite quotient set of rationalized orbit spaces of X obtained by almost free toral actions, mathcalT0(X)=[Yi], induced by an equivalence relation based on rational toral ranks, we order as [Yi]<[Yj] if there is a rationalized Borel fibration YioYjoBTQn for some n>0. It presents a variation of almost free toral actions on X. We consider about the Hasse diagram mathcalH(X) of the poset mathcalT0(X), which makes a based graph GmathcalH(X), with some examples. Finally we will try to regard GmathcalH(X) as the 1-skeleton of a finite CW complex mathcalT(X) with base point XQ.


Let \(X\) be a simply connected CW complex with finite rational cohomology. We denote by \(E_n\) the set of rational homotopy types of orbit spaces of almost free actions of the torus \(T^n\) on CW complexes in the rational homotopy type of \(X\). Then two elements \(Y\) and \(Z\) of \(E_n\) are called equivalent if they have same rational torus rank. Finally, in \(E = \cup_n E_n\), we say that \(Y<Z\) if \(Y\sim Y'\) in some \(E_n\), \(Z\sim Z'\) in some \(E_m\), \(m>n\), and \(Z'\) is the quotient of \(Y'\) by an almost free action of the torus \(T^{m-n}\). The set of equivalence classes, equipped with the relation \(<\), is called the Hasse diagram for torus actions on \(X\). The text makes a first study of this notion and contains a series of examples with torus rank \(\leq 4\)











This page was built for publication: A Hasse diagram for rational toral ranks

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