Jump to content

Talk:Derived algebraic geometry

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Sources

[edit]

I'm not going to tag this article, but note that so far it has no references to peer-reviewed sources. Deltahedron (talk) 07:55, 23 March 2014 (UTC)[reply]

It has links to some sources. Aren't they enough? (because they are not journal articles?) -- Taku (talk) 11:23, 23 March 2014 (UTC)[reply]
Blog posts and similar are usually self-published sources which cannot usually be verification. Deltahedron (talk) 12:38, 23 March 2014 (UTC) One might suggest Toën, Bertrand; Vezzosi, Gabriele (2004). "From HAG to DAG: derived moduli stacks". In Greenlees, J. P. C. (ed.). Axiomatic, enriched and motivic homotopy theory. Proceedings of the NATO Advanced Study Institute, Cambridge, UK, September 9–20, 2002. NATO Science Series II: Mathematics, Physics and Chemistry. Vol. 131. Dordrecht: Kluwer Academic Publishers. pp. 173–216. ISBN 1-4020-1833-9. Zbl 1076.14002. Or Vezzosi, Gabriele (2011). "What is ...a derived stack?" (PDF). Notices Am. Math. Soc. 58 (7): 955–958. Zbl 1228.14004. Deltahedron (talk) 12:51, 23 March 2014 (UTC)[reply]
I don't think Lurie's website is on a per with blog posts (it should count as a reliable source), but, anyway, I added more references as suggested. -- Taku (talk) 14:25, 23 March 2014 (UTC)[reply]

Derived categories

[edit]

This section is misleading:

The term "derived" is used in the same way as derived category. It is classic that many operations in algebraic geometry make sense only in the derived category of say quasi-coherent sheaves, rather than the category of such. In the much same way, one usually talks about the ∞-category of derived schemes, etc., as opposed to ordinary category.

It's misleading to say that operations in algebraic geometry only make sense in the derived category. What operations are these? Derived functors... so derived categories are used to make sense of derived functors. So really the question is about deriving functors. So, the "derived" refers to the fact that one is replacing the category of rings with a "derived" category of rings where one has derived operations on rings. The category isn't really the important thing here.

The connection between infinity categories and derived categories is also not very clear here. The point is that derived categories have an infinity categorical enrichment, in fact they are stable infinity categories. Derived rings form an infinity category that is not stable. Analogue: module categories are abelian, category of rings is not. I'll try to get references later but I'll edit it for now.

DrIdiot (talk) 02:54, 27 January 2020 (UTC)[reply]

Spectral algebraic geometry

[edit]

I wonder what is the best way to mention the term "spectral algebraic geometry". The problem is of course that the terms like DAG or SAG do not have the fixed universal meaning; e.g., for some authors, DAG and SAG mean (essentially) the same thing. Instead of pretending there is a single unique approach to this subject, we probably should list several known approaches, one among the should be Lurie's (and that perhaps the best place to mention SAG; and did I just answer my question myself??) —- Taku (talk) 04:30, 11 February 2020 (UTC)[reply]

Sounds good to me haha — MarkH21talk 19:41, 11 February 2020 (UTC)[reply]

Additional Sections

[edit]

Higher Stacks

[edit]

Simpson's higher stacks should include the axioms for smooth and geometric, and include the lead up to the equivalence over characteristic 0 to "nice enough" higher stacks and differential graded lie algberas concentraded in bounded degrees. This is a super helpful characterization of higher stacks since it makes them more tractable. Also, https://arxiv.org/abs/1105.4853 is immensely helpful in illuminating what a derived stack is using the simplicial language.

Here are some sections which could be included to motivate the study of derived algebraic geometry

Models of Derived Geometry

[edit]