For schemes X,YX,Y, recall the natural map αX,Y ⁣:Mor⁡(X,Y)→Hom⁡(OY(Y),OX(X))\alpha_{X,Y}\colon \operatorname{Mor}(X,Y) \to \operatorname{Hom}( \mathcal{O}_Y(Y), \mathcal{O}_X(X)) induced by taking global sections. ("Natural" meaning "functorial" in XX and YY.)

If YY is a scheme such that αX,Y\alpha_{X,Y} is bijective for all schemes XX, must YY be affine?

Choose one answer

Type a concept, like “slope” or “photosynthesis”.

↑ ↓ to choose · Enter to openSearch explanations and problems