Homotopical algebra

Short description: Branch of mathematics

In mathematics, homotopical algebra is a collection of concepts comprising the nonabelian aspects of homological algebra, and possibly the abelian aspects as special cases. The homotopical nomenclature stems from the fact that a common approach to such generalizations is via abstract homotopy theory, as in nonabelian algebraic topology, and in particular the theory of closed model categories.

This subject has received much attention in recent years due to new foundational work of Vladimir Voevodsky, Eric Friedlander, Andrei Suslin, and others resulting in the A¹ homotopy theory for quasiprojective varieties over a field. Voevodsky has used this new algebraic homotopy theory to prove the Milnor conjecture (for which he was awarded the Fields Medal) and later, in collaboration with Markus Rost, the full Bloch–Kato conjecture.

References

• Goerss, P. G.; Jardine, J. F. (1999), Simplicial Homotopy Theory, Progress in Mathematics, 174, Basel, Boston, Berlin: Birkhäuser, ISBN 978-3-7643-6064-1 
• Hovey, Mark (1999), Model categories, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1359-1 
• Quillen, Daniel (1967), Homotopical Algebra, Berlin, New York: Springer-Verlag, ISBN 978-0-387-03914-5 

See also

• Derived algebraic geometry
• Derivator
• Cotangent complex - one of the first objects discovered using homotopical algebra
• L_∞ Algebra
• A_∞ Algebra
• Categorical algebra
• Nonabelian homological algebra

External links

• An abstract for a talk on the proof of the full Bloch–Kato conjecture