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 |M|).
For each q we define a homomorphism from the orbifold homotopy group π_q(M,x_0) to t-H_q(M) by using of t-modifications. Especially, t-H_1(M) is isomorphic to the abelianization of π_1(M,x_0) if M is arcwise connected.
We will provide bounds on both the Betti numbers and the torsion part of the homology of hyperbolic orbifolds. These bounds are linear in the volume and are a direct consequence of an efficient simplicial model of the thick part, which we will construct as well. The homology statements complement previous work of Bader, Gelander and Sauer (torsion homology of manifolds), Samet (Betti numbers of orbifolds) and a classical theorem of Gromov (Betti numbers of manifolds). For arithmetic, non-compact hyperbolic orbifolds -- i.e. in the case of arithmetic, non-uniform lattices in $\operatorname{Isom…
To each connected component in the space of semisimple representations from the orbifold fundamental group of the base orbifold of a Seifert fibered homology 3-sphere into the Lie group U(2,1), we associate a real number called the "orbifold Toledo invariant." For each such orbifold, there exists an elliptic surface over it, called a Dolgachev surface. Using the theory of Higgs bundles on these Dolgachev surfaces, we explicitly compute all values taken on by the orbifold Toledo invariant.
Using bordered Floer theory, we construct an invariant $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ for $3$-orbifolds $Y^{\text{orb}}$ with singular set a knot that generalizes the hat flavor $\widehat{\mathit{HF}}(Y)$ of Heegaard Floer homology for closed $3$-manifolds $Y$. We show that for a large class of $3$-orbifolds, $\widehat{\mathit{HFO}}$ behaves like $\widehat{\mathit{HF}}$ in that $\widehat{\mathit{HFO}}$, together with a relative $\mathbb{Z}_2$-grading, categorifies the order of $H_1^{\text{orb}}$. When $Y^{\text{orb}}$ arises as Dehn surgery on an integer-framed knot in $S^3$, we use …
Let ${\mathfrak M}$ be a closed, orientable, hyperbolic 3-orbifold whose singular set is a link, and such that $π_1({\mathfrak M})$ contains no hyperbolic triangle group. We show that if the underlying manifold $|{\mathfrak M}|$ is irreducible, and $|{\mathfrak M}|$ is irreducible for every two-sheeted (orbifold) covering $\widetilde{\mathfrak M}$ of ${\mathfrak M}$, and if ${\rm vol} {\mathfrak M}\le1.72$, then $\dim H_1({\mathfrak M};{\mathbb Z}_2)\le 15$. Furthermore, if ${\rm vol} {\mathfrak M}\le1.22$ then $\dim H_1({\mathfrak M};{\mathbb Z}_2)\le 11$, and if ${\rm vol} {\mathfrak M}\le0.…
We study the general properties of the moduli spaces of SO(3) vortices over orbifold Riemann surfaces and use these to characterize the solutions of the SO(3) monopole equations on Seifert manifolds following in the footsteps of Mrowka, Ozsváth and Yu. We also study the solutions to the SO(3) monopole equations on S1 x (Riemann Surface) in order to motivate the construction of a version of monopole Floer homology, which we call framed monopole Floer homology, in analogy with the construction given by Kronheimer and Mrowka for the case of instanton Floer homology. Finally, the SO(3) vortex modu…
A three-dimensional orbifold $(Σ, γ_i, n_i)$, where $Σ$ is a rational homology sphere, has a universal abelian orbifold covering, whose covering group is the first orbifold homology. A singular pair $(X,C)$, where $X$ is a normal surface singularity with $\mathbb Q$HS link and $C$ is a Weil divisor, gives rise on its boundary to an orbifold. One studies the preceding orbifold notions in the algebro-geometric setting, in particular defining the universal abelian log cover of a pair. A first key theorem computes the orbifold homology from an appropriate resolution of the pair. In analogy with th…
Measure homology is a variation of singular homology designed by Thurston in his discussion of simplicial volume. Zastrow and Hansen showed independently that singular homology (with real coefficients) and measure homology coincide algebraically on the category of CW-complexes. It is the aim of this paper to prove that this isomorphism is isometric with respect to the l^1-seminorm on singular homology and the seminorm on measure homology induced by the total variation. This, in particular, implies that one can calculate the simplicial volume via measure homology -- as already claimed by Thurst…
In this paper we introduce various associative products on the homology of the space of knots and singular knots in $S^n$. We prove that these products are related through a desingularization map. We also compute some of these products and prove the nontriviality of the desingularization morphism.
Let ${\mathfrak M}$ be a closed, orientable, hyperbolic 3-orbifold such that $π_1({\mathfrak M})$ contains no hyperbolic triangle group. We show that strict upper bounds of 0.07625, 0.1525 and 0.22875 for ${\rm vol}\ {\mathfrak M}$ imply respective upper bounds of 23, 43 and 79 for $\dim H_1({\mathfrak M};{\mathbb F}_2 )$. Stronger results hold if we assume that the singular set $Σ$ is a link; specifically, under this assumption, strict upper bounds of 0.305, 0.4575, 0.61, 0.7625 and 0.915 for ${\rm vol}\ {\mathfrak M}$ imply respective upper bounds of 7, 13, 14, 28 and 29 for ${\rm dim}\ H_1(…
In this note, we prove the existence of a closed geodesic of positive length on any compact developable orbifold of dimension 3, 5, or 7. The argument uses the stratification of the singular locus, and reduces the problem of existence of a closed geodesic on a compact developable orbifold to the case of even dimensional orbifolds with zero-dimensional singular locus and orbifold fundamental group infinite torsion and of odd exponent.
This paper proves lower bounds on the volume of a hyperbolic 3-orbifold whose singular locus is a link. We identify the unique smallest volume orbifold whose singular locus is a knot or link in the 3-sphere, or more generally in a Z_6 homology sphere. We also prove more general lower bounds under mild homological hypotheses.
We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3-manifold. The conjectures we must assume are the Generalized Riemann Hypothesis and a mild strengthening of results of Taylor et al on part of the Langlands Program for GL_2 of an imaginary quadratic field. The proof of this theorem involves ruling out the existence of an irreducible two …
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 method to obtain the parameters defining a generalized triangle group from the structure of the singular set of its quotient orbifold and illustrate it by examples.
Let V be a representation space of a finite group G. We determine the group structure of the first homology of the equivariant diffeomorphism group of V. Then we can apply it to the calculation of the first homology of the corresponding automorphism groups of smooth orbifolds, compact Hausdorff foliations, codimension one or two compact foliations and a locally free circle action on the 3-sphere.
We consider groups G which have a cocompact, 3-manifold model for the classifying space \underline{E}G. We provide an algorithm for computing the rationalized equivariant K-homology of \underline{E}G. Under the additional hypothesis that the quotient 3-orbifold \underline{E}G/G is geometrizable, the rationalized K-homology groups coincide with the rationalized K-theory of the reduced C*-algebra of G. We illustrate our algorithm on some concrete examples.
Indices of singular points of a vector field or of a 1-form on a smooth manifold are closely related with the Euler characteristic through the classical Poincaré--Hopf theorem. Generalized Euler characteristics (additive topological invariants of spaces with some additional structures) are sometimes related with corresponding analogues of indices of singular points. Earlier there was defined a notion of the universal Euler characteristic of an orbifold. It takes values in a ring R, as an abelian group freely generated by the generators, corresponding to the isomorphism classes of finite groups…
We construct a combinatorial invariant of 3-orbifolds with singular set a link that generalizes the Turaev torsion invariant of 3-manifolds. We give several gluing formulas from which we derive two consequences. The first is an understanding of how the components of the invariant change when we remove a curve from the singular set. The second is a formula relating the invariant of the 3-orbifold to the Turaev torsion invariant of the underlying 3-manifold in the case when the singular set is a nullhomologous knot.
Functorial semi-norms on singular homology give refined "size" information on singular homology classes. A fundamental example is the l^1-semi-norm. We show that there exist finite functorial semi-norms on singular homology that are exotic in the sense that they are not carried by the l^1-semi-norm.
We define Floer homology theories for oriented, singular knots in S^3 and show that one of these theories can be defined combinatorially for planar singular knots.
We define a grid presentation for singular links i.e. links with a finite number of rigid transverse double points. Then we use it to generalize link Floer homology to singular links. Besides the consistency of its definition, we prove that this homology is acyclic under some conditions which naturally make its Euler characteristic vanish.
The (untwisted) oriented cube of resolutions for knot Floer homology assigns a complex $C_{F}(S)$ to a singular resolution $S$ of a knot $K$. Manolescu conjectured that when $S$ is in braid position, the homology $H_{*}(C_{F}(S))$ is isomorphic to the HOMFLY-PT homology of $S$. Together with a naturality condition on the induced edge maps, this conjecture would prove the spectral sequence from HOMFLY-PT homology to knot Floer homology. Using a basepoint filtration on $C_{F}(S)$, a recursion formula for HOMFLY-PT homology, and additional $sl_{n}$-like differentials on $C_{F}(S)$, we prove this …
In this paper we prove that the zeroth Milnor-Thurston homology group coincides with singular homology for Peano Continua. More- over, we show that the canonical homomorphism between these ho- mology theories may not be injective. However, it is proved that it is injective when a space has Borel path-components.
We prove an excision theorem for the singular instanton Floer homology that allows the excision surfaces to intersect the singular locus. This is an extension of the non-singular excision theorem by Kronheimer and Mrowka and the genus-zero singular excision theorem by Street. We use the singular excision theorem to define an instanton Floer homology theory for sutured manifolds with tangles. As applications, we prove that the annular Khovanov homology (1) detects the unlink, (2) detects the closure of the trivial braid, and (3) distinguishes braid closures from other links; we also prove that …
Let O be a compact orientable 3-orbifold with non-empty singular locus and a finite volume hyperbolic structure. (Equivalently, O is the quotient of hyperbolic 3-space by a lattice in PSL(2,C) with torsion.) Then we prove that O has a tower of finite-sheeted covers {O_i} with linear growth of p-homology, for some prime p. This means that the dimension of the first homology, with mod p coefficients, of the fundamental group of O_i grows linearly in the covering degree. The proof combines techniques from 3-manifold theory with group-theoretic methods, including the Golod-Shafarevich inequality a…
Each lens space has a canonical contact structure which lifts to the distribution of complex lines on the three-sphere. In this paper, we show that a symplectic homology cobordism between two lens spaces, which is given with the canonical contact structure on the boundary, must be diffeomorphic to the product of a lens space with the unit interval. As one of the main ingredients in the proof, we also derive in this paper the adjunction and intersection formulae for pseudoholomorphic curves in an almost complex 4-orbifold, extending the relevant work of Gromov and McDuff in the manifold setting…
