Quasitoric spaces were introduced by Davis and Januskiewicz in their 1991 Duke paper. There they extensively studied topological invariants of quasitoric manifolds.
These manifolds are generalizations or topological counterparts of nonsingular projective toric varieties. In this article we study structures and invariants of quasitoric orbifolds. In particular, we discuss equivalent definitions and determine the orbifold fundamental group, rational homology groups and cohomology ring of a quasitoric orbifold. We determine whether any quasitoric orbifold can be the quotient of a smooth manifold by a finite group action or not. We prove existence of stable almost complex structure and describe the Chen-Ruan cohomology groups of an almost complex quasitoric orbifold.
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 show Mckay correspondence of Betti numbers of Chen-Ruan coho- mology for omnioriented quasitoric orbifolds. In previous articles with M. Poddar [8], [9], we proved the correspondence for four dimension and six dimensions. Here we deal with the general case.
We give hodge structures on quasitoric orbifolds. We define orbifold hodge numbers and show a correspondence of orbifold hodge numbers for crepant resolutions of quasitoric orbifolds. In short we extend hodge structures to a non complex setting .
We prove the existence of torus invariant almost complex structure on any positively omnioriented four dimensional primitive quasitoric orbifold. We construct pseudo-holomorphic blowdown maps for such orbifolds. We prove a version of McKay correspondence when the blowdowns are crepant.
We show that the higher homotopy groups of the moduli space of torus-invariant positive scalar curvature metrics on certain quasitoric manifolds are non-trivial.
For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is the separable Banach (Frechet) space of C^r (C^infty, resp.) orbisections of the tangent orbibundle.
Manifolds all of whose geodesics are closed have been studied a lot, but there are only few examples known. The situation is different if one allows in addition for orbifold singularities. We show, nevertheless, that the abundance of new examples is restricted to even dimensions. As one key ingredient we provide a characterization of orientable manifolds among orientable orbifolds in terms of characteristic classes.
We prove the formality and the evenness of odd-degree Betti numbers for compact Kähler orbifolds, by adapting the classical proofs for Kähler manifolds. As a consequence, we obtain examples of symplectic orbifolds not admitting any Kähler orbifold structure. We also review the known examples of non-formal simply connected Sasakian manifolds, and produce an example of a non-formal quasi-regular Sasakian manifold with Betti numbers $b_1=0$ and $b_2\,> 1$.
A Riemannian orbifold is a mildly singular generalization of a Riemannian manifold which is locally modeled on the quotient of a connected, open manifold under a finite group of isometries. If all of the isometries used to define the local structures of an entire orbifold are orientation preserving, we call the orbifold locally orientable. We use heat invariants to show that a Riemannian orbifold which is locally orientable cannot be Laplace isospectral to a Riemannian orbifold which is not locally orientable. As a corollary we observe that a Riemannian orbifold that is not locally orientable …
In recent years a lot of attention has been paid to topological spaces which are a bit more general than smooth manifolds - orbifolds. Orbifolds are intuitively speaking manifolds with some singularities. The formal definition is also modelled on that of manifolds, an orbifold is a topological space which locally is homeomorphic to the orbit space of a finite group acting on $R^n$. Orbifolds were defined by Satake, as V-manifolds, then studied by W. Thurston, who introduced the term "orbifold". Due to their importance in physics, and in particular in the string theory, orbifolds have been draw…
In [4] and [5], we generalized the concept of completion of an infinitesimal group action $ζ: {\mathfrak g} \to \mathfrak X (M)$ to an actual group action on a (non-compact) manifold $M$, originally introduced by R. Palais [9], and showed by examples that this completion may have quite pathological properties (much like the leaf space of a foliation). In the present paper, we introduce and investigate a tamer class of $\mathfrak g$-manifolds, called orbifold--like, for which the completion has an orbifold structure. This class of $\mathfrak g$-manifolds is reasonably well-behaved with respect …
We present an analytic construction of complete non-compact 8-dimensional Ricci-flat manifolds with holonomy Spin(7). The construction relies on the study of the adiabatic limit of metrics with holonomy Spin(7) on principal Seifert circle bundles over asymptotically conical G2 orbifolds. The metrics we produce have an asymptotic geometry, so-called ALC geometry, that generalises to higher dimensions the geometry of 4-dimensional ALF hyperkähler metrics. We apply our construction to asymptotically conical G2 metrics arising from self-dual Einstein 4-orbifolds with positive scalar curvature. As …
We examine the relationship between the singular set of a compact Riemannian orbifold and the spectrum of the Hodge Laplacian on $p$-forms by computing the heat invariants associated to the $p$-spectrum. We show that the heat invariants of the $0$-spectrum together with those of the $1$-spectrum for the corresponding Hodge Laplacians are sufficient to distinguish orbifolds with singularities from manifolds as long as the singular sets have codimension $\le 3.$ This is enough to distinguish orbifolds from manifolds for dimension $\le 3.$
We construct bi-Lipschitz embeddings into Euclidean space for manifolds and orbifolds of bounded diameter and curvature. The distortion and dimension of such embeddings is bounded by diameter, curvature and dimension alone. Our results also apply for bounded subsets of complete Riemannian manifolds, and complete flat and elliptic orbifolds. Our approach is based on analysing the structure of a bounded curvature manifold at various scales by specializing methods from collapsing theory to a certain class of model spaces.
We develop the Gompf fiber connected sum operation for symplectic orbifolds. We use it to construct a symplectic 4-orbifold with $b_1=0$ and containing symplectic surfaces of genus 1 and 2 that are disjoint and span the rational homology. This is used in turn to construct a K-contact Smale-Barden manifold with specified 2-homology that satisfies the known topological constraints with sharper estimates than the examples constructed previously. The manifold can be chosen spin or non-spin.
We characterize Riemannian orbifolds with an upper curvature bound in the Alexandrov sense as reflectofolds, i.e. Riemannian orbifolds all of whose local groups are generated by reflections, with the same upper bound on the sectional curvature. Combined with a result by Lytchak--Thorbergsson this implies that a quotient of a Riemannian manifold by a closed group of isometries has locally bounded curvature (from above) in the Alexandrov sense if and only if it is a reflectofold.
An old problem asks whether a Riemannian manifold can be isospectral to a Riemannian orbifold with nontrivial singular set. In this short note we show that under the assumption of Schanuel's conjecture in transcendental number theory, this is impossible whenever the orbifold and manifold in question are length-commensurable compact locally symmetric spaces of nonpositive curvature associated to simple Lie groups.
In this paper, we prove several structure theorems for locally conformally flat, positive Yamabe orbifolds and nonnegative scalar curvature, ALE manifolds. These two kinds of spaces can be related by conformal blow-up and conformal compactification. For the orbifolds, we prove that such orbifolds admit a manifold cover. For the ALE manifolds, the homomorphism of the fundamental group for the ALE space induced by the embedding of the ALE end is always injective. Using these properties, several classifications of such ALE manifolds and orbifolds are given in low dimensions. As an application to …
We show that if $g$ is a Riemannian metric on a closed piecewise locally symmetric manifold $M$, then the lift of $g$ to the universal cover $\widetilde{M}$ has a discrete isometry group. We also show that the index $[\Isom(\widetilde{M}): π_1(M)]$ is bounded by a constant independent of $g$.
This is a long summary of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html . A shorter survey paper on the book, focussing on d-manifolds without boundary, is arXiv:1206.4207, and readers just wanting a general overview are advised to start there. We introduce a 2-category dMan of "d-manifolds", new geometric objects which are 'derived' smooth manifolds, in the sense of the 'derived algebraic geometry' of Toen and Lurie. They are a 2-category truncation of Spivak's 'derived manifolds' (s…
We find new examples of compact Spin(7)-manifolds using a construction of Joyce. The essential ingredient in Joyce's construction is a Calabi-Yau 4-orbifold with particular singularities admitting an antiholomorphic involution, which fixes the singularities. We search the class of well-formed quasismooth hypersurfaces in weighted projective spaces for suitable Calabi-Yau 4-orbifolds. We find that different hypersurfaces within the same family of Calabi-Yau 4-orbifolds may result in different Spin(7)-manifolds.
In this paper we study non-negatively curved and rationally elliptic GKM$_4$ manifolds and orbifolds. We show that their rational cohomology rings are isomorphic to the rational cohomology of certain model orbifolds. These models are quotients of isometric actions of finite groups on non-negatively curved torus orbifolds. Moreover, we give a simplified proof of a characterisation of products of simplices among orbit spaces of locally standard torus manifolds. This characterisation was originally proved in [Wiemeler, Torus manifolds and non-negative curvature, arXiv:1401.0403] and was used ther…
We present reformulation of Mathieu's result on representing cohomology classes of symplectic manifold with symplectically harmonic forms. We apply it to the case of foliated manifolds with transversally symplectic structure and to symplectic orbifolds. We obtain in particular that such representation is always possible for compact Kähler orbifolds.
We study the Yamabe invariants of cylindrical manifolds and compact orbifolds with a finite number of singularities, by means of conformal geometry and the Atiyah-Patodi-Singer $L^2$-index theory. For an $n$-orbifold $M$ with singularities $Σ_Γ = \{(\check{p}_1, Γ_1), ..., (\check{p}_s, Γ_s)\}$ (where each group $Γ_j<O(n)$ is of finite order), we define and study the \emph{orbifold Yamabe invariant} $Y^{\orb}(M)$. We prove that $Y^{\orb}(M)$ coincides with the corresponding $h$-$\emph{cylindrical Yamabe invariant}$ $Y^{h\textrm{-}\cyl}(M \setminus \{\check{p}_1, ..., \check{p}_s\})$ defined by…
We establish connections between contact isometry groups of certain contact manifolds and compactly supported symplectomorphism groups of their symplectizations. We apply these results to investigate the space of symplectic embeddings of balls with a single conical singularity at the origin. Using similar ideas, we also prove the longstanding expected result that the space of Lagrangian $\RR P^2$ in $T^*\RR P^2$ is weakly contractible.
We present two versions of the Egorov theorem for orbifolds. The first one is a straightforward extension of the classical theorem for smooth manifolds. The second one considers an orbifold as a singular manifold, the orbit space of a Lie group action, and deals with the corresponding objects in noncommutative geometry.
We propose an infinite-dimensional generalization of Kronheimer's construction of families of hyperkahler manifolds resolving flat orbifold quotients of $\mathbb{R}^4$. As in [Kro89], these manifolds are constructed as hyperkahler quotients of affine spaces. This leads to a study of \emph{singular equivariant instantons} in various dimensions. In this paper, we study singular equivariant Nahm data to produce the family of $D_2$ asymptotically locally flat (ALF) manifolds as a deformation of the flat orbifold $(\mathbb{R}^3 \times S^1)/Z_2$. We furthermore introduce a notion of stability for Na…
A theorem of Anderson and Bando-Kasue-Nakajima from 1989 states that to compactify the set of normalized Einstein metrics with a lower bound on the volume and an upper bound on the diameter in the Gromov-Hausdorff sense, one has to add singular spaces called Einstein orbifolds, and the singularities form as blow-downs of Ricci-flat ALE spaces. This raises some natural issues, in particular: can all Einstein orbifolds be Gromov-Hausdorff limits of smooth Einstein manifolds? Can we describe more precisely the smooth Einstein metrics close to a given singular one? In this first paper, we prove th…
Given an integer b and a finitely presented group G we produce a compact symplectic six-manifold with c_1 = 0, b_2 > b, b_3 > b and fundamental group G. In the simply-connected case we can also arrange for b_3 = 0; in particular these examples are not diffeomorphic to Kähler manifolds with c_1 = 0. The construction begins with a certain orientable four-dimensional hyperbolic orbifold assembled from right-angled 120-cells. The twistor space of the hyperbolic orbifold is a symplectic Calabi-Yau orbifold; a crepant resolution of this last orbifold produces a smooth symplectic manifold with the re…
This is a survey of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html We introduce a 2-category dMan of "d-manifolds", new geometric objects which are 'derived' smooth manifolds, in the sense of the 'derived algebraic geometry' of Toen and Lurie. They are a 2-category truncation of the 'derived manifolds' of Spivak (see arXiv:0810.5174, arXiv:1212.1153). The category of manifolds Man embeds in dMan as a full subcategory. We also define 2-categories dMan^b,dMan^c of "d-manifolds with bound…
We provide an algebraic description of the Teichmüller space and moduli space of flat metrics on a closed manifold or orbifold and study its boundary, which consists of (isometry classes of) flat orbifolds to which the original object may collapse. It is also shown that every closed flat orbifold can be obtained by collapsing closed flat manifolds, and the collapsed limits of closed flat 3-manifolds are classified.
The main result of this paper is a formula for calculating the Seiberg-Witten invariants of 4-manifolds with fixed-point free circle actions. This is done by showing under suitable conditions the existence of a diffeomorphism between the moduli space of the 4-manifold and the moduli space of the quotient 3-orbifold. Two corollaries include b_+>1 4-manifolds with fixed-point free circle actions are simple type and a new proof that the four dimensional invariants of $Y \times S^1$ are equal to the the three dimensional invariants of $Y$. An infinite number of b_+=1 4-manifolds where the Seiberg-…
For a closed Riemannian orbifold $O$, we compare the spectra of the Laplacian, acting on functions or differential forms, to the Neumann spectra of the orbifold with boundary given by a domain $U$ in $O$ whose boundary is a smooth manifold. Generalizing results of several authors, we prove that the metric of $O$ can be perturbed to ensure that the first $N$ eigenvalues of $U$ and $O$ are arbitrarily close to one another. This involves a generalization of the Hodge decomposition to the case of orbifolds with manifold boundary. Using these results, we study the behavior of the Laplace spectrum o…
In this paper, we compute the Gerstenhaber bracket on the Hoch-schild cohomology of $C^\infty(M)\rtimes G$ for a finite group $G$ acting on a compact manifold $M$. Using this computation, we obtain geometric descriptions for all noncommutative Poisson structures on $C^\infty(M)\rtimes G$ when $M$ is a symplectic manifold. We also discuss examples of deformation quantizations of these noncommutative Poisson structures.
We consider four notions of maps between smooth C^r orbifolds O, P with O compact (without boundary). We show that one of these notions is natural and necessary in order to uniquely define the notion of orbibundle pullback. For the notion of complete orbifold map, we show that the corresponding set of C^r maps between O and P with the C^r topology carries the structure of a smooth C^\infty Banach (r finite)/Frechet (r=infty) manifold. For the notion of complete reduced orbifold map, the corresponding set of C^r maps between O and P with the C^r topology carries the structure of a smooth C^\inf…
We study the size of the isometry group Isom(M, g) of Riemannian manifolds (M, g) as g varies. For M not admitting a circle action, we show that the order of Isom(M, g) can be universally bounded in terms of the bounds on Ricci curvature, diameter, and injectivity radius of M. This generalizes results known for negative Ricci curvature to all manifolds. More generally we establish a similar universal bound on the index of the deck group pi_1(M) in the isometry group Isom(X, g) of the universal cover X in the absence of suitable actions by connected groups. We apply this to characterize locally…
We show that the orbifold fundamental group of an effective compact K{ä}hler orbifold with nef anticanonical bundle has polynomial growth, which generalizes M.P ăun's results for manifolds [P ău97, Theorem 1,Theorem 2]
