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>S \to \{X \to S\}<math> where <math>X \to S<math> is a family of ordered triangles on S, to the functor <math>Hom(-,\tilde{T})<math>. But here this is more structure. Since the morphisms in <math>\tilde{\mathfrak{T}}<math> are required to be isometries on each fiber there is actually a functor from <math>\tilde{\mathfrak{T}}<math> to the category <math>\tilde{T}-Top<math> of spaces over <math>\tilde{T}<math>, that is, the objects spaces with a specified maps to <math>\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>Hom(-,\tilde{T})<math> with the functor Top --> Cat sending <math>S<math> to the fully subcategory of <math>\tilde{T}-Top<math> consisting of morphisms <math>S \to \tilde{T}<math>? ~~~~

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.