Questions tagged [abstract-nonsense]
Arguments working entirely at a high level of abstraction, particularly category-theoretic arguments.
1 question
16
votes
2
answers
3k
views
If the direct image of f preserves coherent sheaves on noetherian schemes, how to show f is proper?
The other direction is well known.
I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove. I am also wondering ...