2
$\begingroup$

We have our general notions of manifolds, schemes, et cetera, and other geometric "spaces", and we realize that a lot of these look like topological spaces with structure sheaves i.e. structured spaces.

In part 5 of Lurie's DAG, he describes this notion in terms of (infinity,1)-topoi. However, I don't see myself being able to read DAG any time soon (I'm still going through HTT), so I have a somewhat easier question:

If we consider the same topic in terms of the semiclassical constructions, that is, algebraic stacks and orbifolds, or even schemes and manifolds, can we describe precisely what our "structured spaces" should be to be useful? Why is it standard to talk about the sheaves on a scheme where we talk about bundles on a manifold? Aren't these concepts the same thing? How much of what we talk about in differential geometry and algebraic geometry can be jointly generalized to structured spaces?

If this question is too vague, then just tell me where I can find out.

Edit: To correct my previous vagueness, as Pete pointed out, we want local rings, or their appropriate counterparts for stacks.

Edit 2: To clarify, I'm looking for either a book that's a dumbed-down version of DAG book 5, or someone to dumb down the idea from (infinity,1)-categories to plain categories or sets.

Improve this question
$\endgroup$
5
  • $\begingroup$ I do find your question vague at the moment. Let's start at the beginning: by "structured space" do you mean "ringed space" as in en.wikipedia.org/wiki/Locally_ringed_space, or something else? $\endgroup$
    – Pete L. Clark
    Commented Dec 11, 2009 at 3:51
  • $\begingroup$ Yes, but the point is that the ring becomes "part of" the space, in that we can consider modules over the structure sheaf. $\endgroup$
    – Harry Gindi
    Commented Dec 11, 2009 at 4:00
  • $\begingroup$ I still don't understand why you don't say "ringed space" or "locally ringed space". One can indeed consider modules over a (locally) ringed space. Not coherent modules, in general, but modules. Moreover, I don't understand the first question: precisely what WHAT? $\endgroup$
    – Pete L. Clark
    Commented Dec 11, 2009 at 4:08
  • $\begingroup$ Could a moderator close this post? I guess the question wasn't good. $\endgroup$
    – Harry Gindi
    Commented Dec 11, 2009 at 4:50
  • $\begingroup$ Do you want this question deleted or just closed? $\endgroup$
    – Anton Geraschenko
    Commented Dec 11, 2009 at 7:03

1 Answer 1

Reset to default
1
$\begingroup$

I don't quite understand what you want, but here's a shot in the dark: SGA 4 has a notion of ringed topos, and this is generalized in Lurie's work. Schemes and stacks have their "underlying topoi" with respect to whatever topology you put on them. I think you can define notions like smoothness and tangents in this setting, but I haven't looked at it in a while.

Improve this answer
$\endgroup$
4
  • $\begingroup$ And do these same notions work for orbifolds/manifolds? $\endgroup$
    – Harry Gindi
    Commented Dec 11, 2009 at 4:23
  • $\begingroup$ And is there anything on the topic in english? $\endgroup$
    – Harry Gindi
    Commented Dec 11, 2009 at 4:26
  • $\begingroup$ I have heard that there is a book by Mac Lane and Moerdijk that is good, but I haven't looked at it. $\endgroup$
    – S. Carnahan ♦
    Commented Dec 11, 2009 at 4:36
  • 1
    $\begingroup$ Yes, the same notions work for manifolds, see the remark at the very very end of Lurie's "Structured spaces", which points to David Spivak's work on derived smooth manifolds ncatlab.org/nlab/show/derived+smooth+manifold . A summary of key ideas in "Structured Spaces" is, by the way, here: ncatlab.org/nlab/show/… $\endgroup$
    – Urs Schreiber
    Commented Dec 11, 2009 at 8:01

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