arXiv research

The paper studies orbifold splice quotients and log covers of surface pairs.

Given a rational homology sphere M, whose splice diagram satisfy the semigroup condition, Neumann and Wahl were able to define a complete intersection surface singularity called splice diagram singularity from the splice diagram of M. They were also able to show that under an additional hypothesis on M called the congr…

It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "s…

To a rational homology sphere graph manifold one can associate a weighted tree invariant called splice diagram. In this article we prove a sufficient numerical condition on the splice diagram for a graph manifold to be a singularity link. We also show that if two manifolds have the same splice diagram, then their unive…

We prove the "End Curve Theorem," which states that a normal surface singularity $(X,o)$ with rational homology sphere link $Σ$ is a splice-quotient singularity if and only if it has an end curve function for each leaf of a good resolution tree. An "end-curve function" is an analytic function $(X,o)\to (\C,0)$ whose ze…

Quotients of torus endomorphisms have parabolic orbifolds.

We study Deraux's non arithmetic orbifold ball quotient surfaces obtained as birational transformations of a quotient $X$ of a particular Abelian surface $A$. Using the fact that $A$ is the Jacobian of the Bolza genus $2$ curve, we identify $X$ as the weighted projective plane $\mathbb{P}(1,3,8)$. We compute the equati…

For a finitely generated discrete group $Γ$, the $Γ$-sectors of an orbifold $Q$ are a disjoint union of orbifolds corresponding to homomorphisms from $Γ$ into a groupoid presenting $Q$. Here, we show that the inertia orbifold and $k$-multi-sectors are special cases of the $Γ$-sectors, and that the $Γ$-sectors are orbif…

Develops new methods for isospectral orbifolds and regulator quotients.

We introduce the $Γ$-Euler-Satake characteristics of a general orbifold $Q$ presented by an orbifold groupoid $\mathcal{G}$, generalizing to orbifolds that are not necessarily global quotients the generalized orbifold Euler characteristics of Bryan-Fulman and Tamanoi. Each of these Euler characteristics is defined as t…

Characterizes orbifolds with upper curvature bounds as reflectofolds.

The paper examines gradient Ricci solitons on orbifolds and proves their rigidity properties.

We construct a Laplace isospectral deformation of metrics on an orbifold quotient of a nilmanifold. Each orbifold in the deformation contains singular points with order two isotropy. Isospectrality is obtained by modifying a generalization of Sunada's Theorem due to DeTurck and Gordon.

New method constructs non-arithmetic hyperbolic orbifolds from complex arithmetic ball quotients.

We present generating functions for extensions of multiplicative invariants of wreath symmetric products of orbifolds presented as the quotient by the locally free action of a compact, connected Lie group in terms of orbifold sector decompositions. Particularly interesting instances of these product formulas occur for …

We construct a new family of compact orbifolds with a positive self dual Einstein metric and a one-dimensional group of isometries. Together with another known family, these examples classify all 4-dimensional orbifolds that are quaternion Kaehler quotients by a torus of real Grassmannians.

This paper completes a classification of the types of orientable and non-orientable cusps that can arise in the quotients of hyperbolic knot complements. In particular, $S^2(2,4,4)$ cannot be the cusp cross-section of any orbifold quotient of a hyperbolic knot complement. Furthermore, if a knot complement covers an orb…

Study of $D_2$ ALF manifolds via hyperkahler quotients of affine spaces.

We study groups generated by three half-turns in the Lobachevsky $3$-space and their quotient orbifolds. These generalized triangle groups are closely related to the arbitrary 2-generator Kleinian groups. Our main result is a classification of the singular sets of the generalized triangle orbifolds. We also present a m…

We prove that any asymptotically locally Euclidean scalar-flat Kähler 4-orbifold whose isometry group contains a 2-torus is isometric, up to an orbifold covering, to a quaternionic-complex quotient of a $k$-dimensional quaternionic vector space by a $(k-1)$-torus. In order to do so, we first prove that any compact anti…

This is the writeup of a lecture given at the May Wisconsin workshop on mathematical aspects of orbifold string theory. In the first part of this lecture, we review recent work on discrete torsion, and outline how it is currently understood in terms of the B field. In the second part of this lecture, we discuss the rel…

Linear bound on Betti numbers of negatively curved orbifolds.

We deal with a Lie group G acting by isometries on a Riemannian manifold M, such that the quotient M/G is an orbifold, or, equivalently, all slice representations are polar. We show that any smooth orbifold symmetric 2-tensor on M/G lifts to a smooth G-invariant symmetric 2-tensor on M. The proof relies on a fact about…

We construct pairs of compact Riemannian orbifolds which are isospectral for the Laplace operator on functions such that the maximal isotropy order of singular points in one of the orbifolds is higher than in the other. In one type of examples, isospectrality arises from a version of the famous Sunada theorem which als…

We study the Bott-Chern cohomology of complex orbifolds obtained as quotient of a compact complex manifold by a finite group of biholomorphisms.

Polynomial Duistermaat-Heckman measure on symplectic groupoid quotients.

Generalizes mean-value inequality to orbifold setting.

The paper extends a fibration theorem to all orbifolds, proving an isomorphism conjecture.

This paper classifies ball quotients of the complex projective plane.

We classify representations of compact connected Lie groups whose induced action on the unit sphere has an orbit space isometric to a Riemannian orbifold.

In this paper we introduce the Cheeger-Simons cohomology of a global quotient orbifold. We prove that the Cheeger-Simons cohomology of the orbifold is isomorphic to its Beilinson-Deligne cohomology. Furthermore we construct a string connection (à la Segal) from a global gerbe with connection over the loop orbifold, ref…

We develop a graphical representation of polynomial invariants of unitary gauge groups, and use it to find the algebraic curve corresponding to a hyperkahler quotient of a linear space. We apply this method to four dimensional ALE spaces, and for the A_k, D_k, and E_6 cases, derive the explicit relation between the def…

We proved the convergence of a sequence of 2 dimensional comapct Kahler-Einstein orbifolds with rational quotient singularities and with some uniform bounds on the volumes and on the Euler characteristics of our orbifods to a Kahler-Einstein 2-dimensional orbifold. Our limit orbifold can have worse singularities than t…

We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent to Satake's notion of a V-manifold and to Haefliger's notion of an orbifold. This…

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 ${\rm C}^r$-orbifold, $1\leq r\leq \infty$, has a real analytic structure. This allows us to triangulate differ…

We prove that any compact selfdual Einstein 4-orbifold of positive scalar curvature whose isometry group contains a 2-torus is, up to an orbifold covering, a quaternion Kaehler quotient of (k-1)-dimensional quaternionic projective space by a (k-2)-torus for some $k\geq 2$. We also obtain a topological classification in…

We prove that the quotient space of a variationally complete group action is a good Riemannian orbifold. The result is generalized to singular Riemannian foliations without horizontal conjugate points.

Smooth Freund-Rubin backgrounds of eleven-dimensional supergravity of the form AdS_4 x X^7 and preserving at least half of the supersymmetry have been recently classified. Requiring that amount of supersymmetry forces X to be a spherical space form, whence isometric to the quotient of the round 7-sphere by a freely-act…

This paper identifies knot projections with reductivity two.

We derive a cut-and-paste surgery formula of Seiberg--Witten invariants for negative definite plumbed rational homology 3-spheres. It is similar to (and motivated by) Okuma's recursion formula [arXiv:math.AG/0610464, 4.5] targeting analytic invariants of splice quotient singularities. The two formulas combined provide …

Inspired by work of Borzellino and Brunsden, we generalize the notion of a submanifold identifying a natural and sufficiently general condition which guarantees that a subset of an (effective) orbifold carries itself a canonical induced orbifold structure. We illustrate the strength of this approach generalizing typica…

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 orbifol…

Hypertoric varieties are hyperkähler analogues of toric varieties, and are constructed as abelian hyperkähler quotients of a quaternionic affine space. Just as symplectic toric orbifolds are determined by labelled polytopes, orbifold hypertoric varieties are intimately related to the combinatorics of hyperplane arrange…

Study on harmonic forms on K3 surfaces converging to a flat 4D orbifold.

We introduce an equivariant Pontrjagin-Thom construction which identifies equivariant cohomotopy classes with certain fixed point bordism classes. This provides a concrete geometric model for equivariant cohomotopy which works for any compact Lie group G. In the special case when G is finite or a torus, we show that ou…

Uniformizes klt pairs using bounded symmetric domains.

We give an explicit description of the 3-ball quotients constructed by Couwenberg-Heckman-Looijenga, and deduce the value of their orbifold Euler characteristics. For each lattice, we also give a presentation in terms of generators and relations.

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 invarian…