17
$\begingroup$

One makes precise the vague notion of "curve with a fractional point removed" (see for instance these slides) using stacks -- one should really consider Deligne-Mumford stacks whose coarse spaces are curves, and the "fractional points" correspond to the residual gerbes at the stacky points.

One example: let a,b,c > 1 be coprime integers and let S be the affine surface given by the equation x^a + y^b + z^c = 0. Then there is a weighted Gm action on S (t sends (x,y,z) to (t^bc x, t^ac y, t^ab z) and one can check that the stack quotient [S-{0}/Gm] has coarse space P^1 and, that since the action is free away from xyz = 0 but has stabilizers at those 3 points, one gets a stacky curve with three non-trivial residual gerbes.

Question: Are two 1-dimensional DM stacks with isomorphic coarse spaces and residual gerbes themselves isomorphic?

I have an idea for how to prove this when the coarse space is P^1, but in general don't know what I expect the answer to be. Also, one may have to restrict to the case when the coarse space is a smooth curve.

This might be analogous to the statement that the `angle' of a node of a rational nodal curve with one node doesn't affect the isomorphism class of the curve.

Also, the recent papers of Abromivich, Olsson, and Vistoli (on stacky GW theory) may be relevant.

$\endgroup$
2
  • $\begingroup$ "curve with a fractional point removed" - Why "removed"? $\endgroup$
    – Qfwfq
    May 29, 2015 at 5:57
  • 2
    $\begingroup$ Its just linguistic. I suppose that now, 6 years, later, I would just say "with fractional points". Incidentally, I've now figured out the answer to this; see Section 5 of arxiv.org/pdf/1501.04657.pdf $\endgroup$ May 30, 2015 at 18:27

2 Answers 2

23
$\begingroup$

Here's an example of two non-isomorphic Deligne-Mumford stacks whose coarse spaces are A1, and the only non-trivial residual gerbe in each case is B(Z/2) at the origin.

First, take the Z/2 action on A1 given by reflection around 0, given by x→-x. The stack quotient [A1/(Z/2)] has coarse space A1 and there's a B(Z/2) gerbe at the origin. Note that this stack is smooth since it has an etale cover by something smooth.

On the other hand, you can take the stack I defined in this answer: the stack quotient of the coordinate axes in A2 by the Z/2 action which switches the two axes. The coarse space is again A1 and the stack has a B(Z/2) gerbe at the origin. Note that this stack is not smooth since it has an etale cover by something singular, so it cannot be isomorphic to the previous stack.

An example where both stacks are smooth

The first stack will be the same [A1/(Z/2)] I used above.

Let G be the affine line with a doubled origin, regarded as a group over A1 (most of the fibers are trivial groups, but the fiber over the origin is Z/2). This G has the trivial action on A1. Consider the quotient stack [A1/G]=BA1 G. This is a DM stack whose coarse space is A1, and there's a B(Z/2) gerbe at the origin. Note that this stack is smooth since it has an etale cover by a smooth scheme (namely, A1). Note that this stack has non-separated diagonal (since the pullback G→A1 is non-separated), but the diagonal of [A1/(Z/2)] is separated, so the two stacks are non-isomorphic.

$\endgroup$
4
  • $\begingroup$ Do we know the answer to David's question if both stacks are required to be smooth? $\endgroup$
    – JSE
    Oct 25, 2009 at 1:18
  • $\begingroup$ Wait, what? The doubled affine line is etale over A^1? Sorry for my ignorance, but does smoothness in algebraic geometry not include any separation conditions? $\endgroup$ Oct 25, 2009 at 20:21
  • 1
    $\begingroup$ @Tyler: nope, no separation conditions. You really want smoothness to be a condition which is local on the domain, and separatedness is not something that can be checked locally. In what other kinds of geometry does smoothness include separation conditions? $\endgroup$ Oct 26, 2009 at 0:52
  • 4
    $\begingroup$ Topological manifolds are generally considered to be Hausdorff, and when thinking about "smooth curves" a P^1 with a double point never seems to be part of the discussion. I guess it simply ran counter to what I thought could be a Deligne-Mumford stack. Live and learn. $\endgroup$ Oct 26, 2009 at 4:36
7
$\begingroup$

I love this question so much that I can't stop thinking about it. Since this is a separate line of thought, I'll post it as a separate answer. Here's a general way to distinguish between DM stack whose coarse spaces are isomorphic with all the same residual gerbes.

Suppose a DM stack X contains a BG. Then the tangent space to the stack at that point is a representation of G. To get this representation, pull the sheaf of differentials of X back to BG. This is a coherent sheaf on BG, which is the same thing as a representation of G. Alternatively, there is a structure theorem for DM stacks (see Theorem 38.20 of my notes from Martin Olsson's course) that says that if G is the stabilizer of a geometric point x∈X, then there is an etale cover U→X of a neighborhood of x with a G action so that the neighborhood of x is the stack quotient [U/G]. I'm pretty sure that the action of G on the tangent space of the point over x is the same representation as in the other construction (or maybe it will be the dual representation).

Now the idea is that if two DM stacks have the same coarse space and the same residual gerbes, then you might still be able to tell them apart if they have different "residual tangent representations". In the three examples I gave in my other answer, the residual representations were (1) the sign representation of Z/2, (2) a two-dimensional representation (sign plus trivial) of Z/2, and (3) the trivial representation of Z/2. However, there is the annoying bit that you only recover G up to isomorphism, so if two representations differ by an automorphism of G, you can't conclude that the stacks are different.


Using this kind of thinking, we can construct two DM stacks which are both smooth, separated, and have any other kind of nice properties you can imagine, and have isomorphic coarse spaces with the same residual gerbes, but are non-isomorphic. Unfortunately, the coarse space is a surface.

Consider the action of Z/6 on A2 given by 1⋅(x,y)=(x,ζy), where ζ is a primative 6-th root of unity. This action is generated by pseudo-reflections, so by the Chevalley-Shephard-Todd theorem (the easy half of it), the coarse space of the quotient stack [A2/(Z/6)] is A2, with a residual B(Z/6) at the origin.

On the other hand, consider the action of Z/6 on A2 given by 1⋅(x,y)=(ζ2x,ζ3y). Again, the action is generated by pseudo-reflections, so the coarse space of the quotient stack is A2, with a residual B(Z/6) at the origin.

But the two residual representations of Z/6 are non-isomorphic, even if you twist by automorphisms of Z/6. The first representation has a vector invariant under the action (namely (1,0)), but the second does not.

$\endgroup$
1
  • $\begingroup$ Something is wrong! In the first stack, we have a residual B(Z/6) along the whole x-axis. In the second stack, we have a residual B(Z/3) along the whole x-axis and a residual B(Z/2) along the whole y-axis. I don't see a way to salvage this example. $\endgroup$ Sep 6, 2010 at 18:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.