Miniproject
Completion requirements
Corrections and clarifications:
- Correction to third sentence of the miniproject defining an isomorphism of surjections. The original text defines a morphism of resolutions, but then the rest of the definition somehow got cut out. The version here skips the definition of a morphism of resolutions and just defines a morphism between surjective maps of locally free sheaves and then the corresponding notion of an isomorphism of such maps.
- we write, by standard abuse of notation, for a functor from schemes to sets, \(F(R)\) in place of \(F(\text{Spec}(R))\).
- the displayed equation in 2) should end with a ")" not a "}".
- the projective space in 3) should be \(\mathbb P^{\binom{n}{k}-1}_{\mathbb Z}.\)
- part 4) restated to clarify what is required.