MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

2 added 28 characters in body

So one of the major problems with the categories of schemes and algebraic spaces is that the "correct quotients" are oftentimes not schemes or algebraic spaces. The way I've seen this sort of thing rectified is either by moving a step up the categorical ladder or by defining some nonstandard quotient to "fix" things. That is, the (sheafy) quotient of a scheme by an étale equivalence relation is an algebraic space, and the (stacky) quotient of an algebraic space by a smooth groupoid action is an algebraic stack (and it is my understanding that these descriptions characterize alg. spaces and stacks up to equivalence).

Derived algebraic geometry gives us a number of powerful tools and has some very nice features: We have a whole array of new, higher dimensional, affine objects (coming from simplicial commutative rings), and a good supply of higher-categorical objects, which we get "all at once", as it were, rather than piecemeal one-level-at-a-time descriptions.

Does the theory of derived algebraic geometry give us enough "n-categorical headroom" (to quote a recent comment of Jim Borger) to take quotients of geometric objects "with reckless abandon"abandon" (not a quote of Jim Borger)?

1

# Does derived algebraic geometry allow us to take quotients with reckless abandon?

So one of the major problems with the categories of schemes and algebraic spaces is that the "correct quotients" are oftentimes not schemes or algebraic spaces. The way I've seen this sort of thing rectified is either by moving a step up the categorical ladder or by defining some nonstandard quotient to "fix" things. That is, the (sheafy) quotient of a scheme by an étale equivalence relation is an algebraic space, and the (stacky) quotient of an algebraic space by a smooth groupoid action is an algebraic stack (and it is my understanding that these descriptions characterize alg. spaces and stacks up to equivalence).

Derived algebraic geometry gives us a number of powerful tools and has some very nice features: We have a whole array of new, higher dimensional, affine objects (coming from simplicial commutative rings), and a good supply of higher-categorical objects, which we get "all at once", as it were, rather than piecemeal one-level-at-a-time descriptions.

Does the theory of derived algebraic geometry give us enough "n-categorical headroom" (to quote a recent comment of Jim Borger) to take quotients of geometric objects "with reckless abandon"?