Complex cobordism of quasitoric orbifolds (Q500949): Difference between revisions

Quasitoric orbifolds are defined in this work as smooth orbifolds (i.e., singular spaces that are locally quotients of open subsets of Euclidean space by an action of a finite group) together with a toric action such that the orbit space is diffeomorphic to a simple polytope, satisfying some additional local conditions. The main point of this paper is the definition and study of complex cobordism for quasitoric orbifolds. The first sections recall the basic facts on orbifolds, stable complex structures on orbifolds, and quasitoric orbifolds. Of special importance is a corollary of Proposition 3.6., classifying equivariantly homeomorphic quasitoric orbifolds (over the same polytope) by their equivalent di-characteristic models, a result that is used in subsequent sections (A \textit{di-characteristic model} \((P,\xi)\) consists of a simple polytope \(P\) and a function \(\xi : {\mathcal F} (P) \rightarrow {\mathbb Z}^n\), where \({\mathcal F} (P)\) denotes the set of codimension one faces of \(P\), such that the images for a set of codimension one faces of \(P\) are linearly independent whenever those faces intersect; the author constructed in previous work a quasitoric orbifold from such a model \((P, \xi)\) and proved that any quasitoric orbifold provides a di-characteristic model that is unique up to a choice of signs for the vectors arising from \(\xi\)). Section 4 presents a construction of some oriented orbifolds with quasitoric boundary. The process uses isotropy functions, which are a generalization of the previous \(\xi\): one considers \((n+1)\)-dimensional simple polytopes \(Q\) on \(\mathbb R^n\), with a set of {exceptional} codimension one faces -- that is, non-intersecting and exhausting all the vertices of the polytope -- and then for an isotropy function \(\lambda\) one considers only non-exceptional codimension one faces. Each pair \((Q,\lambda)\) provides a \((2n+1)\)-dimensional oriented orbifold \(W(Q,\lambda)\) with boundary a disjoint union of \(2n\)-dimensional quasitoric orbifolds. The core of the work is Section 5. Here, the equivalence relation of bordism between orbifolds with stable complex structure is presented, and the corresponding complex orbifold bordism rings are defined. The author starts by proving that the previous orbifolds \(W(Q,\lambda)\) have a stable complex structure, and provides a complex bordism ring relation on some quasitoric orbifolds constructed from the exceptional codimension one faces of \(Q\) (this is Theorem 5.5). The important Theorem 5.6. declares that the complex bordism class of a (omnioriented) quasitoric orbifold \(X\) over a simple polytope is given as a sum of complex bordism classes for complex orbifold projective spaces; these arise from characteristic models with polytope taken from \(X\) by cutting off neighborhoods of each vertex by affine hyperplanes. Theorem 5.6. implies that the set of complex bordism classes of complex orbifold projective spaces with fixed dimension is not linearly independent. The paper ends with some computations in the complex cobordism ring \(\Omega^U\) for smooth manifolds, allowing for the result in Theorem 5.11., stating that some complex cobordism classes necessarily contain an almost complex quasitoric manifold, and a computation of the Chern numbers of a quasitoric manifold over a simplex.