Last quarter, we introduced the closed diagonal condition for a prevariety to be a prevariety, and the “universally closed” condition for a variety to be complete. Earlier this quarter, we verified that in the case of complex prevarieties, these conditions are equivalent to the analytic topology being Hausdorff and compact, respectively. As we’ve discussed, in the scheme context a prevariety co...