Skip to main content
Post Made Community Wiki
Source Link
BCnrd
  • 7.1k
  • 2
  • 66
  • 74

The non-classical aspect of this setup is that you're using a quasi-coherent sheaf that is not coherent, and beyond the coherent case one cannot expect information about a fiber (e.g., vanishing, 6 generators, etc.) to "propogate" to information in a neighborhoood (which would be the spirit behind the choice of word "coherent", I suppose). Computing the fiber of the field of all rational functions at a non-generic point likely has no classical counterpart, much as in number theory one doesn't ever try to reduce $\mathbf{Q}$ modulo 5, only $\mathbf{Z}_{(5)}$ or its subrings.