All Questions
1 question
9
votes
0
answers
339
views
Is it decidable whether a finite type scheme is proper?
Let $k$ be a field and let $X$ be a finite type scheme over $k$, explicitly given by finitely many affine patches which are $\mathrm{Spec}$ of finitely generated $k$-algebras, glued along other affine ...