Summer stacks

This is the page for the 2012 Summer stacks reading group.

Resources

The book in progress of Behrend, Fulton, Kresch and other people is available here: [1]

Thanks to Sukhendu we have a copy of Champs algebriques" by Laumon and Moret-Bailly, currently in Ed's office.

The Stacks Project: [2]

Milestones

6/1 Finish Chapter 1

6/14 Finish Chapter 2

6/29 Finish Chapter 3

7/14 Finish Chapter 4

7/28 Finish Chapter 5

Comments, Questions and (hopefully) Answers

Introduction

Q: On page 5, the authors talk about the fundamental groupoid of a topological space. I'm not excellent with fiber products, so I'm having trouble seeing how the map m they exhibit really is a map m as in the definition of a groupoid. More precisely, why is it okay that it's only defined when we can concatenate the paths? I'm assuming that this is the whole point of the definition of groupoid, and I'm missing it... -Christelle

A: I figured it out myself :) The fiber product is along s (source) and t (target), which I assume means that the elements of the fiber product are pairs (f,g) such that target(f)=source(g). Thus it's okay for m to only be defined on those elements because that's all there is.

Q: I'm finding the [math]\displaystyle{ \tilde{S} }[/math] construction in the segment on moduli space of triangles pretty confusing. Is it just (non-canonically) isomorphic to a disjoint union of 6 copies of [math]\displaystyle{ S }[/math]? (I'm emphasizing the non-canonicity thing since despite the notation it looks as though [math]\displaystyle{ \tilde{S} }[/math] ought to depend on [math]\displaystyle{ T }[/math] as well as [math]\displaystyle{ S }[/math] but I don't quite grok how that works) Dewey 21:23, 26 May 2012 (UTC)

Q: This question is sort of tangential, but working on the "moduli space of triangles section" now and I noticed something kind of funny. Usually saying that [math]\displaystyle{ \tilde{T} }[/math] is the moduli space of ordered triangles would just mean that there is a natural isomorphism from the functor [math]\displaystyle{ S \to \{X \to S\} }[/math] where [math]\displaystyle{ X \to S }[/math] is a family of ordered triangles on S, to the functor [math]\displaystyle{ Hom(-,\tilde{T}) }[/math]. But here this is more structure. Since the morphisms in [math]\displaystyle{ \tilde{\mathfrak{T}} }[/math] are required to be isometries on each fiber there is actually a functor from [math]\displaystyle{ \tilde{\mathfrak{T}} }[/math] to the category [math]\displaystyle{ \tilde{T}-Top }[/math] of spaces over [math]\displaystyle{ \tilde{T} }[/math], that is, the objects spaces with a specified maps to [math]\displaystyle{ \tilde{T} }[/math] and the morphisms are commutative triangles. Is there some way to phrase this in a way that is more like the traditional definition of a moduli space? Like, maybe replace [math]\displaystyle{ Hom(-,\tilde{T}) }[/math] with the functor Top --> Cat sending [math]\displaystyle{ S }[/math] to the fully subcategory of [math]\displaystyle{ \tilde{T}-Top }[/math] consisting of morphisms [math]\displaystyle{ S \to \tilde{T} }[/math]? Dewey 22:42, 27 May 2012 (UTC)

    Something similar is going on in the section on elliptic curves.  Rather than look at a moduli functor we look at a category of families of elliptic curves.  Interestingly the morphisms are all required to be cartesian commutative squares.  This should somehow correspond to the fact that in the moduli functor setup, the map on hom-sets is defined using pullback.  Maybe what is really giong on in the moduli space of triangles section is not that the map on fibers is required to be an isometry, but that this makes all the morphisms into Cartesian squares. 

Q: I think I'm confused about the groupoid coming from an atlas for an orbifold. On page 23 the book says that the map [math]\displaystyle{ R \to U \times U }[/math] is never injective unless X is just a manifold with its trivial orbifold structure. But consider the case [math]\displaystyle{ X = \mathbf{C} }[/math], with a single patch. In that case R is given by triples [math]\displaystyle{ (z_1,z_2,\phi) }[/math] with [math]\displaystyle{ \phi }[/math] a germ of a holomorphic map from a neighbourhood of the first point to a neighbourhood of the second. But complex discs have a whole [math]\displaystyle{ SL_2(\mathbf{R}) }[/math] of automorphisms, so the fiber of R over any point of [math]\displaystyle{ U \times U }[/math] should be a whole [math]\displaystyle{ SL_2(\mathbf{R}) }[/math], rather than a point. Dewey 16:58, 28 May 2012 (UTC)

A: Key point is that [math]\displaystyle{ \phi }[/math] is a map over X. In this case, where the coordinate patches are given by the identity [math]\displaystyle{ X \to X }[/math], [math]\displaystyle{ \phi }[/math] is necessarily the identity map.

Q: I (think I) solved problem 1.15, but to do it I needed to use the fact that the groups [math]\displaystyle{ G_\alpha }[/math] from the orbifold data are all finite. If you relax that condition and let them be infinite does anyone have a counterexample? I'm interested in this because supposedly orbifolds are analagous to DM stacks and when you relax the condition on the groups being infinit, but require them to be algebraic, you should get something like an Artin stack, so this infinite vs finite groups thing could be a big deal. Note: as far as the DM and Artin stacks thing goes, I have no idea what I am talking about.

C: I think a lot of the problems where you find a map of groupoids satisfying conditions i and ii boil down to the following statement: Let A and B be two groups acting on a space X such that the actions of A and B commute and B acts faithfully. Then A acts on Y, the quotient of X by B, and there is a map of groupoids [math]\displaystyle{ (A \times B \times X \rightrightarrows X) \to (A \times Y \rightrightarrows Y) }[/math] satisfying conditions i and ii

Chapter 1

Q:

A:

Summer plans

If you feel like telling us your general plans for the summer, so that we'll know when you are around Madison, please do so here:

Ed: Leaving June 2, back around August 1.

Jeff: Leaving June 17, back July 8.

Evan: Leaving May 22, back June 20.

Christelle: Leaving June 24, back July 20, leaving August 4.

David: Leaving June 17, back July 8. Leaving July 31, back August 14th.