Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.
Toric orbifolds are a generalization of simplicial projective toric varieties. In this paper, we show that there is a resolution of singularities of a toric orbifold. In a different category, the class of quasi-contact toric manifolds contains the class of good contact toric manifolds. We prove that a quasi-contact toric manifold is equivariantly a boundary. Moreover, we conclude that good contact toric manifolds and generalized lens spaces are equivariantly boundaries.
Integral bases for the second degree cohomology of 4-dimensional toric orbifolds
Institute of Mathematical Science, Pusan National University(釜山国立大学数学科学研究所);Department of Mathematics Education, Pusan National University(釜山国立大学数学教育学系)
Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy theory using such groupoids. A different sort of twisted sector, along with a classical theorem of tom Dieck, allows for a natural definition of stable orbifold homotopy groups, and motivates defining extended unstable orbifold homotopy groups generalizing previous definitions.
We examine the integral cohomology rings of certain families of $2n$-dimensional orbifolds $X$ that are equipped with a well-behaved action of the $n$-dimensional real torus. These orbifolds arise from two distinct but closely related combinatorial sources, namely from characteristic pairs $(Q,λ)$, where $Q$ is a simple convex $n$-polytope and $λ$ a labelling of its facets, and from $n$-dimensional fans $Σ$. In the literature, they are referred as toric orbifolds and singular toric varieties respectively. Our first main result provides combinatorial conditions on $(Q,λ)$ or on $Σ$ which ensure…
We investigate the homotopy type of the space of tuples of polynomials inducing base-point preserving algebraic maps from the circle S1 to a toric variety XΣ. In particular, we prove a homotopy stability result for this space by combining the Vassiliev spectral sequence and the scanning map.
The integral cohomology rings of four-dimensional toric orbifolds
Shanghai Institute for Mathematics and Interdisciplinary Sciences(上海数学与交叉学科研究院);Institute of Mathematical Science, Pusan National University(釜山国立大学数学科学研究所);Department of Mathematics Education, Pusan National University(釜山国立大学数学教育系)
We give $p$-local homotopy decompositions of the suspensions of real toric spaces for odd primes $p$. Our decomposition is compatible with the one given by Bahri, Bendersky, Cohen, and Gitler for the suspension of the corresponding real moment-angle complex, or more generally, the polyhedral product. As an application, we obtain a stable rigidity property for real toric spaces.
Torus orbifolds are topological generalization of symplectic toric orbifolds. We give a construction of smooth orbifolds with torus actions whose boundary is a disjoint union of torus orbifolds using toric topological method. As a result, we show that any orientable locally standard torus orbifold is equivariantly cobordant to some copies of orbifold complex projective spaces. We also discuss some further equivariant cobordism results including the cases when torus orbifolds are actually torus manifolds.
Spaces of holomorphic maps from the Riemann sphere to various complex manifolds (holomorphic curves ) have played an important role in several area of mathematics. In a seminal paper G. Segal investigated the homotopy type of holomorphic curves on complex projective spaces and M. Guest on compact smooth toric varieties.. Recently Mostovoy and Villanueva, obtained a far reaching generalisation of these results, and in particular (for holomorphic curves) improved the stability dimension obtained by Guest. In this paper, we generalize their result to holomorphic curves, on certain non-compact smo…
The simplicial wedge construction on simplicial complexes and simple polytopes has been used by a variety of authors to study toric and related spaces, including non-singular toric varieties, toric manifolds, intersections of quadrics and more generally, polyhedral products. In this paper we extend the analysis to include toric orbifolds. Our main results yield infinite families of toric orbifolds, derived from a given one, whose integral cohomology is free of torsion and is concentrated in even degrees, a property which might be termed \emph{integrally equivariantly formal}. In all cases, it …
Toric orbifolds are a topological generalization of projective toric varieties associated to simplicial fans. We introduce some sufficient conditions on the combinatorial data associated to a toric orbifold to ensure the existence of an invariant cell structure on it and call such a toric orbifold retractable. In this paper, our main goal is to study equivariant cohomology theories of retractable toric orbifolds. Our results extend the corresponding results on divisive weighted projective spaces.
We study the GKM theory for a equivariant stratified space having orbifold structures in tis successive quotients. Then, we introduce the notion of an \emph{almost simple polytope}, as well as a \emph{divisive toric variety} generalizing the concept of a divisive weighted projective space. We employ the GKM theory to compute the generalized equivariant cohomology theories of toric varieties associated to almost simple polytopes and divisive toric varieties.
We prove a version of homological mirror symmetry statement for toric Calabi-Yau $3$-orbifolds, thus extending arXiv:1604.06448 to the case of orbifolds under the mirror symmetry setting considered in arXiv:1604.07123. The B-model is the matrix factorization category for the toric Calabi-Yau $3$-orbifold with a superpotential; while the A-model is a topologically defined Fukaya-type category on its mirror curve.
The space of non-resultant systems of bounded multiplicity for a toric variety X is a generalization of the space of rational curves on it. In our earlier work we proved a homotopy stability theorem and determined explicitly the homotopy type of this space for the case X = CP^m. In this paper we consider the case of a general non-singular toric variety and prove a homotopy stability theorem generalising the one for CP^m.
This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the construction of a set of algebraic invariants -- the homotopy groups, and (2) an analog of CW-complex theory. As a corollary of this machinery, the classical Whitehead theorem which asserts that a weak homotopy equivalence is a homotopy equivalence is extended to the orbifold category.
We show that the rational homotopy type of the complement of a toric arrangement is completely determined by two sets of combinatorial data. This is obtained by introducing a differential graded algebra over Q whose minimal model is equivalent to the Sullivan minimal model of the arrangement.
We propose a notion of 1-homotopy for generalized maps. This notion generalizes those of natural transformation and ordinary homotopy for functors. The 1-homotopy type of a Lie groupoid is shown to be invariant under Morita equivalence. As an application we consider orbifolds as groupoids and study the notion of orbifold 1-homotopy type induced by a 1-homotopy between presentations of the orbifold maps.
The CW structure of certain spaces, such as effective orbifolds, can be too complicated for computational purposes. In this paper we use the concept of $\mathbf{q}$-CW complex structure on an orbifold, to detect torsion in its integral cohomology. The main result can be applied to well known classes of orbifolds or algebraic varieties having orbifold singularities, such as toric orbifolds, simplicial toric varieties, torus orbifolds and weighted Grassmannians.
Let X be a complete toric variety of dimension n and \del the fan in a lattice N associated to X. For each cone σof \del there corresponds an orbit closure V(σ) of the action of complex torus on X. The homology classes {[V(σ)]| \dim σ=k} form a set of specified generators of H_{n-k}(X,Q). Then any x\in H_{n-k}(X,Q) can be written in the form \[ x=\sum_{σ\in\del_X, \dimσ=k}μ(x,σ)[V(σ)]. \] A question occurs whether there is some canonical way to express μ(x,σ). Morelli gave an answer when X is non-singular and at least for x= \T_{n-k}(X) the Todd class of X. However his answer takes coefficient…
A toric arrangement is a finite set of hypersurfaces in a complex torus, every hypersurface being the kernel of a character. In the present paper we build a CW-complex homotopy equivalent to the arrangement complement, with a combinatorial description similar to that of the well-known Salvetti complex. If the toric arrangement is defined by a Weyl group we also provide an algebraic description, very handy for cohomology computations. In the last part we give a description in terms of tableaux for a toric arrangement appearing in robotics.
In this paper we study the relationship between the moment-angle complex Z_k and the Davis-Januskiewicz space DJ(K) for a class of complexes K named missing-face complexes. If K has n vertices we consider the homotopy fibration sequence Z_k --> DJ(K) --> M where M is a product of n copies of infinite complex projective space. We observe that for such K, Z_k is homotopy equivalent to a wedge of spheres, and then show that under this equivalence the map Z_k --> DJ(K) is homotopic to a wedge sum of higher Whitehead products and iterated Whitehead products.
We describe Bott towers as sequences of toric manifolds M^k, and identify the omniorientations which correspond to their original construction as toric varieties. We show that the suspension of M^k is homotopy equivalent to a wedge of Thom complexes, and display its complex K-theory as an algebra over the coefficient ring. We extend the results to KO-theory for several families of examples, and compute the effects of the realification homomorphism; these calculations breathe geometric life into Bahri and Bendersky's recent analysis of the Adams Spectral Sequence. By way of application we inves…
We introduce the_inertial cohomology ring_ NH^*_T(Y) of a stably almost complex manifold carrying an action of a torus T. We show that in the case that Y has a locally free action by T, the inertial cohomology ring is isomorphic to the Chen-Ruan orbifold cohomology ring H_{CR}^*(Y/T) of the quotient orbifold Y/T. For Y a compact Hamiltonian T-space, we extend to orbifold cohomology two techniques that are standard in ordinary cohomology. We show that NH^*_T(Y) has a natural ring surjection onto H_{CR}^*(Y//T), where Y//T is the symplectic reduction of Y by T at a regular value of the moment ma…
Informally, an orbifold is a smooth space whose points may have finitely many internal symmetries. Formally, however, the notion of orbifold has been presented in a number of different guises -- from Satake's V-manifolds to Moerdijk and Pronk's proper étale groupoids -- which do not on their face resemble the informal definition. The reason for this divergence between formalism and intuition is that the points of spaces cannot have internal symmetries in traditional, set-level foundations. The extra data of these symmetries must be carried around and accounted for throughout the theory. More d…
We describe various equivalent ways of associating to an orbifold, or more generally a higher étale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we show that for a differentiable stack X arising from a Lie groupoid G, the weak homotopy type of X agrees with that of BG. Using this machinery, we are able to find new presentations for the weak homotopy type of certain classifying spaces. In particular, we give a new presentation for the Borel construction of an almost free action of a Lie group G on a smooth …
We study some properties of A^1-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of quotients by free actions of connected solvable groups in terms of covering spaces in the sense of A^1-homotopy theory. These concepts and results are well-suited to the study of certain quotients via geometric invariant theory. As a case study in the geometry of solvable group quotients, we investigate A^1-homotopy groups of smooth toric varieties. We give simple combinatorial conditions (in terms of fans) guaranteeing vanishing of low degree A^1-homotopy gr…
In 1985, physicists Dixon, Harvey, Vafa and Witten studied string theories on Calabi-Yau orbifolds (cf. [DHVW]). An interesting discovery in their paper was the prediction that a certain physicist's Euler number of the orbifold must be equal to the Euler number of any of its crepant resolutions. This was soon related to the so called McKay correspondence in mathematics (cf. [McK]). Later developments include stringy Hodge numbers (cf. [Z], [BD]), mirror symmetry of Calabi-Yau orbifolds (cf. [Ro]), and most recently the Gromov-Witten invariants of symplectic orbifolds (cf. [CR1-2]). One common …
Given a root system $Φ$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $Φ$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_Φ)$ of the toric variety $X_Φ$ associated to (the normal fan to) $P_W$ has been studied by various authors. Let $\{s_1,\ldots,s_n\}$ be a complete set of simple reflections in $W$. For $K \subseteq [n]$, let $W_K$ be the standard parabolic subgroup of …
For an orbifold M we define a homology group, called t-singular homology group t-H_q(M), which depends not only on the topological structure of the underlying space of M, but also on the orbifold structure of M. We prove that it is a b-homotopy invariant of orbifolds. If M is a manifold, t-H_q(M) coincides with the usual singular homology group. We calculate the t-singular homology groups with Z-coefficients of several orbifolds. The t-singular homology group with rational coefficients of an orbifold M is isomorphic to the singular homology group with rational coefficients of M (and to that of…
We give a characterization of all complete smooth toric varieties whose rational homotopy is of elliptic type. All such toric varieties of complex dimension not more than three are explicitly described.
We prove the existence of invariant almost complex structure on any positively omnioriented quasitoric orbifold. We construct blowdowns. We define Chen-Ruan cohomology ring for any omnioriented quasitoric orbifold. We prove that the Euler characteristic of this cohomology is preserved by a crepant blowdown. We prove that the Betti numbers are also preserved if dimension is less or equal to six. In particular, our work reveals a new form of McKay correspondence for orbifold toric varieties that are not Gorenstein. We illustrate with an example.
We propose a new homotopy invariant for Lie groupoids which generalizes the classical Lusternik-Schnirelmann category for topological spaces. We use a bicategorical approach to develop a notion of contraction in this context. We propose a notion of homotopy between generalized maps given by the 2-arrows in a certain bicategory of fractions. This notion is invariant under Morita equivalence. Thus, when the groupoid defines an orbifold, we have a well defined LS-category for orbifolds. We prove an orbifold version of the classical Lusternik-Schnirelmann theorem for critical points.
After surveying higher K-theory of toric varieties, we present Totaro's old (c. 1997) unpublished result on expressing the corresponding homotopy theory via singular cohomology. It is a higher analog of the rational Chern character isomorphism for general toric schemes. In the special case of a projective simplicial toric scheme over a regular ring one obtains a rational isomorphism between the homotopy K-theory and the direct sum of m copies of the K-theory of the ground ring, m being the number of maximal cones in the underlying fan. Apart from its independent interest, in retrospect, Totaro…
We argue for the addition of category theory to the toolkit of toric topology, by surveying recent examples and applications. Our case is made in terms of toric spaces X_K, such as moment-angle complexes Z_K, quasitoric manifolds M, and Davis-Januszkiewicz spaces DJ(K). We first exhibit X_K as the homotopy colimit of a diagram of spaces over the small category cat(K), whose objects are the faces of a finite simplicial complex K and morphisms their inclusions. Then we study the corresponding cat(K)-diagrams in various algebraic Quillen model categories, and interpret their homotopy colimits as …
We prove that the complement of a toric arrangement has the homotopy type of a minimal CW complex. As a corollary we obtain that the integer cohomology of these spaces is torsion free. We use Discrete Morse Theory, providing a sequence of cellular collapses that leads to a minimal complex.
In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data.
Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting "twisted" diagram of modules satisfies a certain gluing condition, stating that the data is compatible with restriction to smaller open sets. In case X is a regular toric scheme over an arbitrary commutative ring, we prove that the unbounded derived category D(X) of quasi-coherent sheaves on X can be obtained from a category of twisted diagrams which do not n…