--- date: 2021-05-13 tags: [ web/quick-notes ] --- # 2021-05-13 ## 00:14 - $\pi_1(X)$ can be defined for schemes, see [etale fundamental group](etale%20fundamental%20group.md). - What are the higher homotopy groups of schemes? #todo/questions - What do they measure? - More fundamentally, what do higher homotopy groups of spheres measure about $\Top$ at all?? - What are the [Eilenberg-MacLane spaces](Eilenberg-MacLane%20spaces.md) in $\Sch$? - What are the Moore spaces in $\Sch$? - There should be an axiomatic characterization of these coming from [model categories](Model%20category%20theory.md) - What are the "spheres" for $\Sch$?