11
$\begingroup$

What is the "right" analog in the orbifold case of a singular homology of a topological space? We can not just take the homology of the underlying space, because it does not contain much information. For example, is there any kind homology of orbifolds such that the first homology group is the abelianization of the fundamental group of the orbifold? And such that an $n$-dim orbifold will have all homology group higher than $n$-dim equal to zero? And if there is such a homology, will there be Poincare duality in the orbifold case???

Thanks very much!

$\endgroup$
4
  • 1
    $\begingroup$ See also this MO question: "Why isn't the orbifold cohomology of pt/G equal to the cohomology of BG?" mathoverflow.net/questions/57186 $\endgroup$ Commented Oct 5, 2011 at 16:15
  • 2
    $\begingroup$ Have you looked at Kai Behrend's notes defining singular cohomology for topological stacks? ictp.it/%7Epub_off/lectures/lns019/Behrend/Behrend.pdf $\endgroup$ Commented Oct 5, 2011 at 16:35
  • $\begingroup$ I second Tyler's remark, where we understand that orbifolds can be thought of as stacks (see Lerman's nice article 'Orbifolds as stacks?') $\endgroup$
    – David Roberts
    Commented Oct 6, 2011 at 0:16
  • $\begingroup$ sorry, quick question: why do you say that the homology of the underlying space does not contain much information? $\endgroup$ Commented Feb 27, 2012 at 5:09

4 Answers 4

8
$\begingroup$

If your orbifold is given to you as a proper etale Lie/topological groupoid, you can:

  • take the nerve of this groupoid, to get a simplicial manifold/space,
  • take the levelwise singular set to get a bisimplicial set,
  • take the diagonal to get a simplicial set,
  • take geometric realisation to get a topological space,
  • and then take (co)homology.

This recipe at the very least gives you the homotopy type of the orbifold as a space (to which you can apply the (co)homology functor you want), but it perhaps too big and unwieldy for your purposes.

$\endgroup$
6
$\begingroup$

A math definition of orbifold Euler characteristic appears in On the Euler Number of an Orbifold. If there is a group acting on a manifold $X / G$ we could try to write \[ \chi(X/G) = \frac{1}{|G|} \sum_{g \in G} \chi(X^g) \] where $X^g$ is the fixed-point set of $g \in G$. Instead it seems to be better to sum over conjugacy classes $[g]$ of $G$. \[ \chi(X,G) = \sum_{[g]} \chi(X/C(g)) \] where $C(g) = \{ h: hgh^{-1}=g\}$ is the centralizer of $g \in G$. For any group action $|[g]|\cdot |C(g)| = G$.

This definition was motivated by some physicists in the last 1980's and by the mid 90's this idea was extended to homology. See A Strong Coupling Test of S-Duality \[ H^(X/G) = \bigoplus_g H^(X^g)^{C(g)} \]

The direct sum of the centralizer-invariant part $[\cdot] ^{C(g)}$ of the cohomology classes $H^*(\cdot)$ of fixed point sets $X^g$. As $g$ runs over the conjugacy classes of $G$.

This was used to find the Euler characteristic of the Hilbert scheme of points on a non-singular space (originally found by Lothar Göttsche)

\[ \sum_{n=0}^\infty q^n \chi(X^{[n]}) = \frac{1}{\prod_{i=1}^\infty (1-q^n)^{\chi(X)}}\]

So there's connection to the Dedekind η-function. This generating function might be different if $X$ itself is singular.

$\endgroup$
4
$\begingroup$

One can define singular homology directly for an orbifold, mimicking the standard constructions, but I don't know if this has been written up. The alternative is to take a space that is homotopy equivalent to your orbifold, and take the homology of that. This has been worked out by Behrang Noohi in https://arxiv.org/abs/0808.3799.

If $G$ is a group, then the homology of the classifying orbifold of $G$ (the stack quotient of a point by the trivial action of $G$) is the group homology of $G$; so you see that it does not vanish above the dimension of the orbifold, which is 0, except in the trivial case.

$\endgroup$
2
$\begingroup$

I do not know the current state of the art, but I can point you to the paper of Chen and Ruan which should have everything you are asking for.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .