# Michigan Derived Algebraic Geometry RTG Learning Workshop

## May 17-19, 2012

East Hall, University of Michigan
Organized by Bhargav Bhatt and Daniel Erman

## Goal of workshop

The goal of this workshop is for the participants to obtain a rudimentary understanding of the motivation and uses of derived algebraic geometry. Since this is a learning workshop, the talks will be given by non-experts, and the assumed background will be minimal. For instance, we assume that most of the audience (and most of the speakers!) will have little or no previous exposure to derived algebraic geometry.

This workshop is being partially funded by an NSF Grant for Michigan's RTG in Algebraic Geometry. We are grateful to the NSF and to the Michigan Department of Mathematics for making this workshop possible.

## Plan of lectures

We plan to have nine 50-minute lectures over the course of three days. Note that we are very open to suggestions from interested participants about how to improve this plan.
1. Motivation: Bezout's Theorem . Derived algebraic geometry gives a new perspective on Bezout's theorem, particularly in the case of degenerate intersections (e.g. interesting a line with itself in the projective plane.) The material will be drawn from the introduction to Lurie's thesis.
2. Simplicial sets and higher categories. We will introduce some of the category theory notions that appear in derived algebraic geometry.
3. Simplicial commutative rings, I. We introduce the notion of a simplicial commutative rings and include some examples.
4. Simplicial commutative rings, II. Further discussion of examples and properties of simplicial rings.
5. Cotangent complex, I. The cotangent complex is essential to the study of deformation theory. We outline these ideas in the "classical" format in which they were discovered by Quillen, Andre, and Illusie.
6. Cotangent complex, II. Derived algebraic geometry provides a clarifying perspective on the cotangent complex.
7. Derived schemes. This will be a discussion of to add a derived structure onto a scheme.
8. Application to obstruction theories. Obstruction theories, and the construction of a virtual fundamental class, can be seen in terms of the introduction of a derived structure. The focus will be on examples, such as M_g(X,\beta).
9. Application to loop spaces. Loop spaces provide interesting examples of derived schemes.

## References

There are lots of possible references for this workshop, and we have collected some of our favorites here. (And thanks to everyone who emailed us with their own suggestions! Further suggetions are very welcome.)

Background Material
We are asking all participants to do a bit of preparation before the workshop. In particular, we would like everyone to look at the following topics (possible references are given in each bullet point). Note that we do not expect you to be an expert on these topics! We just want you to have some familiarity with the following definitions and examples.
1. Simplicial sets and the Dold-Kan correspondence. We suggest notes by Akhil Matthew, available here.
2. Model Categories.. Many possible references here, including Wikipedia, a survey by Dwyer and Spalinski available here, or the book "Model Categories" by Hovey.
3. Spend an hour or two reading at least one of the "Introductory References" from below.
Introductory References on Derived Algebraic Geometry
There is a huge list of potential references for this workshop. We begin with a few introductory references.
1. "What is a Derived Stack" by Vezzosi. We strongly encourage all participants to read this 4-page introduction to some of the ideas in derived algebraic geometry. (PDF version )
2. "A note on the cotangent complex in derived algebraic geometry" by Vezzosi. This short note is quite readable, though it does assume some previous knowledge of deformation theory
3. "Simplicial presheaves and derived algebraic geometry" by Toen. ( PDF version ).
4. The introduction of Lurie's Thesis. This introduction provides motivation for the study of derived algebraic geometry. (PDF version).
Further References
Here are some further references that may be of interest.
1. "Higher and derived stacks: a global overview" by Toen (arXiv version).
2. "Andre-Quillen homology of commutative algebras" by Iyengar. (arXiv version).
3. Quillen's MIT notes "Homology of Commutative Rings".
4. Quillen's paper "On the (co-)homology of commutative rings".
5. Lurie's Higher Algebra, especially chapter 8.

Funding
The deadline for applying for funding has passed. Unfortunately, we do not expect to be able to any additional applicants at this point.

## Schedule

 Date and time Location Speaker Title Notes Thursday, May 17 9:00-10:10 Math Atrium (East Hall) Coffee and registration 10:10-11:00 260 Dennison Hall Daniel Erman Motivation: Bezout's Theorem Notes 11:10-12:00 260 Dennison Hall Philsang Yoo Simplicial sets and higher categories Notes 2:10-3:00 260 Dennison Hall Akhil Matthew Simplicial Commutative Rings, I Notes or LaTeX version of notes . 3:00-3:30 Math Atrium (East Hall) Tea 3:30-?? Math Atrium (East Hall) Informal Q&A 5:00-6:00 Dominic's Conference Happy Hour Friday, May 18 9:00-10:10 Math Atrium (East Hall) Coffee 10:10-11:00 296 Dennison Hall George Boxer Simplicial Commutative Rings, II Notes 11:10-12:00 296 Dennison Hall Daniel Litt Cotangent Complex, I Notes 2:10-3:00 296 Dennison Hall Alex Perry Cotangent Complex, II Notes 3:00-3:30 Math Atrium (East Hall) Tea 3:30-?? Math Atrium (East Hall) Informal Q&A Saturday, May 19 9:00-10:10 Math Atrium (East Hall) Coffee 10:10-11:00 296 Dennison Hall Bhargav Bhatt Derived Schemes Notes 11:10-12:00 296 Dennison Hall Jonathan Wise Applications to Obstruction Theories Notes 2:10-3:00 296 Dennison Hall Anatoly Preygel Applications to Loop Spaces Notes

## Participant List

Here is a partial list of participants. Please let us know about any misspellings.
1. Atanas Atanasov, Harvard
2. Bhargav Bhatt, Michigan
3. George Boxer , Harvard
4. Jonathan Campbell , Stanford
5. Jinwon Choi , UIUC
6. Atoshi Chowdhury , Stanford
7. Philip Egger , Northwestern
8. Chris Elliott , Northwestern
9. Daniel Erman, Michigan
10. Giovanni Faonte , Yale
11. Alberto Garcia Raboso , UPenn
12. Christopher Gomes , UIC
13. Francois Greer , Stanford
14. Nathan Grigg , UW
15. Wei Ho , Columbia
16. Xin Jin , Northwestern
17. Clemens Koppensteier , Northwestern
18. Raju Krishnamoorthy , Columbia
19. Binglin Li , UC Davis
20. Daniel Litt , Stanford
21. Luigi Lombardi , UIC
22. Akhil Mathew , Harvard
23. Evgeny Mayanski , PSU
24. Yusuf Mustopa , Michigan
25. Andrew Niles , Berkeley
26. Vivek Pal , Columbia
27. Xuanyu Pan , Columbia
28. Alex Perry , Harvard
29. Anatoly Preygel , MIT
30. Marius Radulescu , Chicago State University
31. Daniel Ross ,
32. Matt Satriano, Michigan
33. Daniel Schultheis , UCSD
34. Michel van Garrell , Caltech
35. Matt Wechter , UIC
36. Jonathan Wise ,
37. Matt Woolf , Harvard
38. Philsang Yoo , NW
39. Naizhen Zhang , UC Davis
40. Yi Zhu , Stonybrook
41. Runpo Zong , Princeton
42. Pal Zsamboki , UW
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8337439298629761, "perplexity": 6633.533351492221}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-42/segments/1414637900544.33/warc/CC-MAIN-20141030025820-00223-ip-10-16-133-185.ec2.internal.warc.gz"}