I have seen the notion of Homotopy come up in several contexts in schemes. For example, the book "Lectures on Motivic Cohomology" by Mazza, Weibel and Voevodsky uses this language to some extent. I.e. they talk about "homotopy invariant presheaves with transfers", and it seems to be fairly important (perhaps only technically? I can't tell yet.) to show that various objects are homotopy invariant. Eg, the Ninscevich sheaf associated to a homotopy invariant presheaf with transfers is also homotopy invariant.

There are lots of results in this language in that book. I assume that philosophically this language has something to do with "homotopy theory of schemes" - a subject on which there is plenty written. I was wondering if someone could direct me towards a good reference or better yet give me a good example from the theory of homotopy in schemes (or a reference to one).

I'd like to know how the theory could be useful, a bit of direction would be well appreciated.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.