A subanalytic triangulation theorem for real analytic orbifolds

Let X be a real analytic orbifold. Then each stratum of X is a subanalytic subset of X. We show that X has a unique subanalytic triangulation compatible with the strata of X. We also show that every Cr-orbifold, 1?r?∞, has a real analytic structure. This allows us to triangulate differentiable orbifolds. The results generalize the subanalytic triangulation theorems previously known for quotient orbifolds.     

Two Gauss-Bonnet and Poincaré-Hopf theorems for orbifolds with boundary

We generalize the Gauss-Bonnet and Poincaré-Hopf theorems to the case of orbifolds with boundary. We present two such generalizations, the first in the spirit of Satake, in which the local data (i.e. integral of the curvature in the case of the Gauss-Bonnet theorem and the index of the vector field in the case of the Poincaré-Hopf theorem) is related to Satake's orbifold Euler-Satake characteristic, a rational number which depends on the orbifold structure.For the second pair of generalizations, we use the Chen-Ruan orbifold cohomology to express the local data in a way which can be related to the Euler characteristic of the underlying space of the orbifold.     

The tangential end fibration of an aspherical Poincaré complex

We construct a sphere fibration over a finite aspherical Poincaré complex X, which we call the tangential end fibration, under the condition that the universal cover of X is forward tame and simply connected at infinity. We show that it is tangent to X if the formal dimension of X is even or, when the formal dimension is odd, if the diagonal X→X×X admits a Poincaré embedding structure.     

Orbifold homeomorphism finiteness based on geometric constraints

We show that any collection of n-dimensional orbifolds with sectional curvature and volume uniformly bounded below, diameter bounded above, and with only isolated singular points contains orbifolds of only finitely many orbifold homeomorphism types. This is a generalization to the orbifold category of a similar result for manifolds proven by Grove, Petersen, and Wu. It follows that any Laplace isospectral collection of orbifolds with sectional curvature uniformly bounded below and having only isolated singular points also contains only finitely many orbifold homeomorphism types. The main steps of the argument are to show that any sequence from the collection has subsequence that converges to an orbifold, and then to show that the homeomorphism between the underlying spaces of the limit orbifold and an orbifold from the subsequence that is guaranteed by Perelman’s stability theorem must preserve orbifold structure.     

The t-singular homology of orbifolds

For an orbifold M we define a new homology group, called t-singular homology group t-Hq(M) by using singular simplicies intersecting ‘transversely’ with ΣM. The rightness of this homology group is ensured by the facts that the 1-dimensional homology group t-H₁(M) is isomorphic to the abelianization of the orbifold fundamental group π₁(M,x₀). If M is a manifold, t-Hq(M) coincides with the usual singular homology group. We prove that it is a ‘b-homotopy’ invariant of orbifolds and develop many algebraic tools for the calculations. Consequently we calculate the t-singular homology groups of several orbifolds.     

Convergence of Kähler-Einstein orbifolds

We proved the convergence of a sequence of two-dimensional compact Kähler-Einstein orbifolds with rational quotient singularities and with some uniform bounds on the volumes and on the Euler characteristics of our orbifolds, to a Kähler-Einstein two-dimensional orbifold. Our limit orbifold can have worse singularities than the orbifolds in our sequence. We will also derive some estimates on the norms of the sections of plurianticanonical bundles of our orbifolds in the sequence that we are considering and our limit orbifold.     

Topological structure of complete Riemannian manifolds with cyclic holonomy groups

Let M be a complete m-dimensional Riemannian manifold with cyclic holonomy group, let X be a closed flat manifold homotopy equivalent to M, and let L→X be a nontrivial line bundle over X whose total space is a flat manifold with cyclic holonomy group. We prove that either M is diffeomorphic to X×Rm-dimX or M is diffeomorphic to L×Rm-dimX−1.     

Fisher information metric and Poisson kernels

A complete Riemannian manifold X with negative curvature satisfying −b²?KX?−a²<0 for some constants a,b, is naturally mapped in the space of probability measures on the ideal boundary ∂X by assigning the Poisson kernels. We show that this map is embedding and the pull-back metric of the Fisher information metric by this embedding coincides with the original metric of X up to constant provided X is a rank one symmetric space of non-compact type. Furthermore, we give a geometric meaning of the embedding.     

Free and free abelian Euler-Satake characteristics of nonorientable 2-orbifolds

We compute the Γ-sectors and Γ-Euler-Satake characteristic of a closed, effective 2-dimensional orbifold Q where Γ is a free or free abelian group. Using this information, we determine a family of orbifolds such that the complete collection of Γ-Euler-Satake characteristics associated to free and free abelian groups determines the number and type of singular points of Q as well as the Euler characteristic of the underlying space. Additionally, we show that any collection of these groups whose Euler-Satake characteristics determine this information contains both free and free abelian groups of arbitrarily large rank. It follows that the collection of Euler-Satake characteristics associated to free and free abelian groups constitute a finer orbifold invariant than the collection of Euler-Satake characteristics associated to free groups or free abelian groups alone.     

Equivariant cohomology of real flag manifolds

Let P=G/K be a semisimple non-compact Riemannian symmetric space, where G=I₀(P) and K=Gp is the stabilizer of p∈P. Let X be an orbit of the (isotropy) representation of K on Tp(P) (X is called a real flag manifold). Let K₀⊂K be the stabilizer of a maximal flat, totally geodesic submanifold of P which contains p. We show that if all the simple root multiplicities of G/K are at least 2 then K₀ is connected and the action of K₀ on X is equivariantly formal. In the case when the multiplicities are equal and at least 2, we will give a purely geometric proof of a formula of Hsiang, Palais and Terng concerning H^∗(X). In particular, this gives a conceptually new proof of Borel's formula for the cohomology ring of an adjoint orbit of a compact Lie group.     

Ricci Deformation of the Metric on Riemannian Orbifolds

In this note we generalize the Huisken’s (J Diff Geom 21:47–62, 1985) result to Riemannian orbifolds. We show that on any n-dimensional (n ≥ 4) orbifold of positive scalar curvature the metric can be deformed into a metric of constant positive curvature, provided the norm of the Weyl conformal curvature tensor and the norm of the traceless Ricci tensor are not large compared to the scalar curvature at each point, and therefore generalize 3-orbifolds result proved by Hamilton [Three- orbifolds with positive Ricci curvature. In: Cao HD, Chow B, Chu SC, Yau ST (eds) Collected Papers on Ricci Flow, Internat. Press, Somerville, 2003] to n-orbifolds (n ≥ 4).     

The Chen-Ruan cohomology of almost contact orbifolds

Comparing to the Ch-~Ruan cohomology theory for the almost complex orbifolds, we study the orbifold cohomology theory for almost contact orbifolds. We define the Chen-Ruan cohomology group of any almost contact orbifold. Using the methods for almost complex orbifolds, we define the obstruction bundle for any 3-multisector of the almost contact orbifolds and the Chen~Ruan cup product for the Che-Ruan cohomology. We also prove that under this cup product the direct sum of all dimensional orbifold cohomology groups constitutes a cohomological ring. Finally we calculate two examples.     

Equivariant Cobordism of Torus Orbifolds

Torus orbifolds are topological generalizations of symplectic toric orbifolds.The authours give a construction of smooth orbifolds with torus actions whose boundary is a disjoint union of torus orbifolds using a toric topological method. As a result, they show that any orientable locally standard torus orbifold is equivariantly cobordant to some copies of orbifold complex projective spaces. They also discuss some further equivariant cobordism results including the cases when torus orbifolds are actually torus manifolds.     

Chern character for twisted K-theory of orbifolds

For an orbifold X and α∈H³(X,Z), we introduce the twisted cohomology and prove that the non-commutative Chern character of Connes-Karoubi establishes an isomorphism between the twisted K-groups and the twisted cohomology . This theorem, on the one hand, generalizes a classical result of Baum-Connes, Brylinski-Nistor, and others, that if X is an orbifold then the Chern character establishes an isomorphism between the K-groups of X tensored with C, and the compactly-supported cohomology of the inertia orbifold. On the other hand, it also generalizes a recent result of Adem-Ruan regarding the Chern character isomorphism of twisted orbifold K-theory when the orbifold is a global quotient by a finite group and the twist is a special torsion class, as well as Mathai-Stevenson's theorem regarding the Chern character isomorphism of twisted K-theory of a compact manifold.     

The Automorphism Groups of Finite Type G-Structures on Orbifolds

The automorphism group of a G-structure of finite type and order k on a smooth n-dimensional orbifold is proved to be a Lie group of dimension n+dim(g+g ₁+...+g _k-1), where g _i is the ith prolongation of the Lie algebra g of a given group G. This generalizes the corresponding result by Ehresmann for finite type G-structures on manifolds. The presence of orbifold points is shown to sharply decrease the dimension of the automorphism group of proper orbifolds. Estimates are established for the dimension of the isometry group and the dimension of the group of conformal transformations of Riemannian orbifolds, depending on the types of orbifold points.     

The quantum orbifold cohomology of weighted projective spaces

We calculate the small quantum orbifold cohomology of arbitrary weighted projective spaces. We generalize Givental’s heuristic argument, which relates small quantum cohomology to S ¹-equivariant Floer cohomology of loop space, to weighted projective spaces and use this to conjecture an explicit formula for the small J-function, a generating function for certain genus-zero Gromov–Witten invariants. We prove this conjecture using a method due to Bertram. This provides the first non-trivial example of a family of orbifolds of arbitrary dimension for which the small quantum orbifold cohomology is known. In addition we obtain formulas for the small J-functions of weighted projective complete intersections satisfying a combinatorial condition; this condition naturally singles out the class of orbifolds with terminal singularities.     

Calibrated lifts of minimal submanifolds

A canonical real line bundle associated to a minimal Lagrangian submanifold in a Kähler-Einstein manifold X is known to be special Lagrangian when considered as a subset of the canonical line bundle of X with a natural Calabi-Yau structure. We first verify this result by standard moving frame computation, and obtain a uniform lower bound for the mass of compact minimal Lagrangian submanifolds in CPn. Similar correspondence is then proved for integrable G₂ and Spin(7) structures on the bundle of anti self dual 2-forms and a Spin bundle respectively of a self dual Einstein 4-manifold N constructed by Bryant and Salamon. In this case, analogues of tangent and normal bundles of certain minimal surfaces in N are calibrated, i.e., associative, coassociative, or Cayley.     

Geometric quantization for proper actions

We first introduce an invariant index for G-equivariant elliptic differential operators on a locally compact manifold M admitting a proper cocompact action of a locally compact group G. It generalizes the Kawasaki index for orbifolds to the case of proper cocompact actions. Our invariant index is used to show that an analog of the Guillemin-Sternberg geometric quantization conjecture holds if M is symplectic with a Hamiltonian action of G that is proper and cocompact. This essentially solves a conjecture of Hochs and Landsman.     

Splice diagram singularities and the universal abelian cover of graph orbifolds

Given a rational homology 3-sphere M whose splice diagram \(\varGamma (M)\) satisfies the semigroup condition, Neumann and Wahl define a complete intersection surface singularity called a splice diagram singularity. Under an additional hypothesis on M called the congruence condition they show that the link of this singularity is the universal abelian cover of M. They ask if this still holds if the congruence condition fails. In this article we generalize the congruence condition to orientable graph orbifolds. We show that under a small additional hypothesis this orbifold congruence condition implies that the link of the splice diagram singularity is the universal abelian cover. By showing that any two-node splice diagram satisfying the semigroup condition is the splice diagram of an orbifold satisfying the orbifold congruence condition, we answer the question of Neumann and Wahl affirmatively for two-node diagrams. However, examples show this approach to their question no longer works for three nodes.     

On an existence theorem of Wagner manifolds

In their common paper [An. Stiint. Univ. Al. I. Cuza Iasi. Mat. (N.S.) 43 (1997) 307-321] the authors give a condition for a 1-form β to be the perturbation of a Riemannian manifold (M, α) such that the manifold equipped with any (α, β) -metric is a Wagner manifold with respect to the Wagner connection induced by β. The condition shows that its covariant derivative with respect to the Lévi-Civita connection must be of a special form

(∇β)(X,Y)=∥β^#∥2α(X,Y)−β(X)β(Y)