You can hear the local orientability of an orbifold

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 cannot be Laplace isospectral to a Riemannian manifold.     

Orbifold genera, product formulas and power operations

We generalize the definition of orbifold elliptic genus and introduce orbifold genera of chromatic level h, using h-tuples rather than pairs of commuting elements. We show that our genera are in fact orbifold invariants, and we prove integrality results for them. If the genus arises from an H_∞-map into the Morava-Lubin-Tate theory E_h, then we give a formula expressing the orbifold genus of the symmetric powers of a stably almost complex manifold M in terms of the genus of M itself. Our formula is the p-typical analogue of the Dijkgraaf-Moore-Verlinde-Verlinde formula for the orbifold elliptic genus [R. Dijkgraaf et al., Elliptic genera of symmetric products and second quantized strings Comm. Math. Phys. 185(1) (1997) 197-209]. It depends only on h and not on the genus.     

Symplectic convexity for orbifolds

Let a connected compact Lie group G act on a connected symplectic orbifold of orbifold fundamental group Г. If the action preserves the symplectic structure and there is a G-equivariant and mod-Г proper momentum map for the lifted action on the universal branch covering orbifold, and if the lifted G-action commutes with that of Г, then the symplectic convexity theorem is still true for this kind of lifted Hamiltonian action.     

F-structure on collapsed orbifolds

In this paper, we prove the existence of nilpotent Killing structures and F-structures on collapsed Riemannian orbifolds. Therefore a sufficiently collapsed orbifold X is the union of orbits, each orbit is an infranil orbifold of positive dimension; in particular, the F-structure provides a decomposition of X into compact flat orbifolds.     

On folded coverings of quasi-manifolds with boundary

LetM andN be quasi-manifolds possibly with boundary, we call afolded-covering p: N→M to a non-degenerate simplicial map, such thatp: N/p ^?1(?M)→M/?M is a branched covering. The purpose of this paper will be to classify the folded coverings of a given quasi-manifold by using the representations of a particular group on permutation groups, similar to the monodromy representations for coverings and in such a way that includes these ones a particular case. We shall apply our result to the theory of orbifolds to obtain a presentation (alternative to the one in [H-Q]) of the fundamental group for an orbifold defined on a quasi-manifold.     

When is a symplectic quotient an orbifold?

Let K be a compact Lie group of positive dimension. We show that for most unitary K-modules the corresponding symplectic quotient is not regularly symplectomorphic to a linear symplectic orbifold (the quotient of a unitary module of a finite group). When K is connected, we show that even a symplectomorphism to a linear symplectic orbifold does not exist. Our results yield conditions that preclude the symplectic quotient of a Hamiltonian K  -manifold from being locally isomorphic to an orbifold. As an application, we determine which unitary _SU2${\mathrm{SU}}_2$-modules yield symplectic quotients that are Z⁺${\mathbb{Z}}^{+}$-graded regularly symplectomorphic to a linear symplectic orbifold. We similarly determine which unitary circle representations yield symplectic quotients that admit a regular diffeomorphism to a linear symplectic orbifold.     

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.     

t-Balanced Cayley maps of dihedral groups

A Cayley map is an embedding of a Cayley graph where the cyclic ordering of generators around every vertex is the same. The involution indicating the position of mutually inverse generators in the cyclic ordering is called the distribution of inverses of a Cayley map. The Cayley maps whose distribution of inverses is linear (modulo the degree of the map) with 'slope' t are called t-balanced. An exponent of a Cayley map is a number e with the property that, roughly speaking, the Cayley map is isomorphic to its 'e-fold rotational image'.In the contribution we present results related to the construction of t-balanced Cayley maps which are not regular and do not have t as an exponent.     

The ws-singular cohomology of orbifolds

We define a cohomology with integral coefficients of an orbifold M, which we call the ws-singular cohomology ws-Hq(M) of M.     

Refinable and monotone maps revisited

Generalizing results by J. Ford, J. W. Rogers, Jr. and H. Kato we prove that (1) a map f from a G-like continuum onto a graph G is refinable iff f is monotone; (2) a graph G is an arc or a simple closed curve iff every G-like continuum that contains no nonboundary indecomposable subcontinuum admits a monotone map onto G.We prove that if bonding maps in the inverse sequence of compact spaces are refinable then the projections of the inverse limit onto factor spaces are refinable. We use this fact to show that refinable maps do not preserve completely regular or totally regular continua.     

Torsion in the full orbifold <Emphasis Type="Italic">K</Emphasis>-theory of abelian symplectic quotients

Let (M, ω, Φ) be a Hamiltonian T-space and let H í T{H\subseteq T} be a closed Lie subtorus. Under some technical hypotheses on the moment map Φ, we prove that there is no additive torsion in the integral full orbifold K-theory of the orbifold symplectic quotient [M//H]. Our main technical tool is an extension to the case of moment map level sets the well-known result that components of the moment map of a Hamiltonian T-space M are Morse-Bott functions on M. As first applications, we conclude that a large class of symplectic toric orbifolds, as well as certain S ¹-quotients of GKM spaces, have integral full orbifold K-theory that is free of additive torsion. Finally, we introduce the notion of semilocally Delzant which allows us to formulate sufficient conditions under which the hypotheses of the main theorem hold. We illustrate our results using low-rank coadjoint orbits of type A and B.     

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.     

A generalization of Caffarelli’s contraction theorem via (reverse) heat flow

A theorem of L. Caffarelli implies the existence of a map, pushing forward a source Gaussian measure to a target measure which is more log-concave than the source one, which contracts Euclidean distance (in fact, Caffarelli showed that the optimal-transport Brenier map T _opt is a contraction in this case). We generalize this result to more general source and target measures, using a condition on the third derivative of the potential, by providing two different proofs. The first uses a map T, whose inverse is constructed as a flow along an advection field associated to an appropriate heat-diffusion process. The contraction property is then reduced to showing that log-concavity is preserved along the corresponding diffusion semi-group, by using a maximum principle for parabolic PDE. In particular, Caffarelli??s original result immediately follows by using the Ornstein?CUhlenbeck process and the Prékopa?CLeindler Theorem. The second uses the map T _opt by generalizing Caffarelli??s argument, employing in addition further results of Caffarelli. As applications, we obtain new correlation and isoperimetric inequalities.     

A class of affinely equivalent Voronoi parallelohedra

Given any parallelohedron P, its affine class A (P), i.e., the set of all parallelohedra affinely equivalent to it, is considered. Does this affine class contain at least one Voronoi parallelohedron, i.e., a parallelohedron which is a Dirichlet domain for some lattice? This question, more commonly known as Voronoi’s conjecture, has remained unanswered for more than a hundred years. It is shown that, in the case where the subset of Voronoi parallelohedra in A (P) is nonempty, this subset is an orbifold, and its dimension (as a real manifold with singularities) is completely determined by its combinatorial type; namely, it is equal to the number of connected components of the so-called Venkov subgraph of the given parallelohedron. Nevertheless, the structure of this orbifold depends not only on the combinatorial properties of the parallelohedron but also on its affine properties.     

Ordered groupoid quotients and congruences on inverse semigroups

We introduce a preorder on an inverse semigroup S associated to any normal inverse subsemigroup N, that lies between the natural partial order and Green’s \({\mathcal {J}}\)–relation. The corresponding equivalence relation \(\simeq _N\) is not necessarily a congruence on S, but the quotient set does inherit a natural ordered groupoid structure. We show that this construction permits the factorisation of any inverse semigroup homomorphism into a composition of a quotient map and a star-injective functor, and that this decomposition implies a classification of congruences on S. We give an application to the congruence and certain normal inverse subsemigroups associate to an inverse monoid presentation.     

Local planarity in one-dimensional continua

In this paper we address a problem posed by W. Lewis at the Second International Conference on Continuum Theory held at BUAP, Puebla, Mexico. Lewis asked for a characterization of local-planarity in inverse limit spaces of finite graphs in terms of the dynamics of the bonding maps. We give some sufficiency conditions and show that points at which our sufficiency conditions do not guarantee the space is locally planar, the problem requires a solution to the harder problem of characterizing planarity in inverse limits of graphs. We also examine the case of an inverse limit generated by a single map, f, on a single graph, G. Assuming that f has finitely many turning points and is non-contracting, we characterize local planarity in terms of the dynamics of f.     

Asymptotic arc-components of unimodal inverse limit spaces

We consider the inverse limit space (I,f) of a unimodal bonding map f as fixed bonding map. If f has a periodic turning point, then (I,f) has a finite non-empty set of asymptotic arc-components. We show how asymptotic arc-components can be determined from the kneading sequence of f. This gives an alternative to the substitution tiling space approach taken by Barge and Diamond [Ergodic Theory Dynamical Systems 21 (2001) 1333].     

Orbifolds and groupoids

We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper étale effective groupoid objects over the complex manifolds. Both on (Pre-Orb) and (Grp) there are natural equivalence relations on objects: (a natural extension of) equivalence of orbifold atlases on (Pre-Orb) and Morita equivalence in (Grp). We prove that F induces a bijection between the equivalence classes of its source and target.     

Uniform spherical grids via equal area projection from the cube to the sphere

We construct an area preserving map from a cube to the unit sphere S², both centered at the origin. More precisely, each face F_i of the cube is first projected to a curved square S_i of the same area, and then each S_i is projected onto the sphere by inverse Lambert azimuthal equal area projection, with respect to the points situated at the intersection of the coordinate axes with S². This map is then used to construct uniform and refinable grids on a sphere, starting from any grid on a square.     

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.