Welcome to MathOverflow

Question

1

If $$f:\mathscr{X} \to \mathscr{Y}$$ is a map between (possibly ineffective) orbifolds (in the sense of differentiable stacks, or orbifold groupoids), does it follow that $f$ induces a map between their underlying effective orbifolds? At first, I thought it should always be true, but now that I think about it, you might need $f$ to be open (in this case, I can prove it). Is this known? (by this I mean, is it known to always hold, even without this open assumption?) Note, this really has nothing to do with the differentiable structure, so you may as well ask this for proper etale topological stacks, in fact, I doubt properness plays a role.

edited Nov 13 2010 at 22:34

asked Nov 13 2010 at 22:23

David Carchedi
7,747●10●27

	Remind me the definition of an effective groupoid.... – David Roberts Nov 13 2010 at 23:55
	@David: In terms of orbifold groupoids, by using the fact that it is etale and proper, you can show that for every point $x \in G_0$ in the groupoid, there exists a neighborhood $U$ on which $G_x$ acts, where $G_x$ is the stabilizing group (i.e. Hom_G(x,x)). (This is done by taking a local inverse of the source map that goes through $g$ and applying the target map). $G$ is effective if each of these actions are faithful. – David Carchedi Nov 14 2010 at 1:10
	Even better, look at this other question I asked: mathoverflow.net/questions/39531/… – David Carchedi Nov 14 2010 at 1:50

André Henriques · Accepted Answer · 2010-11-23 21:03:41Z UTC

2

Not true:
Take X to be a non-trivial Z/2-gerbe on S^2, take Y to be a faithful vector bundle over X, and take f to be the inclusion of the zero section.

The effective quotient of X is S^2, and it has no map back to X. In particular, it has no map to Y that's compatible with f.

answered Nov 23 2010 at 21:03

André Henriques
14.9k●2●30●83

Thanks Andre. In fact, I realized this is not true later, but forgot to answer my own question on here. I give some sufficient conditions for a map to descend however in the preprint you are reading. I call these conditions "etale invariance" – David Carchedi Nov 23 2010 at 23:09

When do maps of ineffective orbifolds descend to their effective part?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.