Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
David E Speyer's user avatar