Motivic Homotopy Theory

In the winter semester 2025/26, Lucas Piessevaux, Qi Zhu, and I are organizing a seminar on motivic homotopy theory. We’ll start from the basics and work our way up to the Hopkins–Morel–Hoyois theorem, as well as non-$A^1$-invariant motivic homotopy theory.

You can find the syllabus and the participation form here.

Here are typed up notes for the first talk. The typed up notes contain more content and proofs than the actual talk.